Components and Cohomology of Fock's Baby Teichmüller Space

At an Oberwolfach problem session in 2006, V. Fock asked for the cohomology and the number of components of the space B_n of maps f: ℤ/n → ℝP¹ with f(i) ≠ f(i+1) and at least three values, modulo SL(2,ℝ). We answer both questions for all n ≥ 3. The space B_n is a real-analytic (n−3)-manifold with exactly n−1 components Bn,k, indexed by the winding number k. For k ≠ n/2 they are Hausdorff and contractible, and for k = 1 and k = n−1 they are the Teichmüller space of the ideal n-gon. For even n the middle component is not Hausdorff: two distinct points have no disjoint neighbourhoods exactly when one is represented by a map constant on the even positions and the other by a map constant on the odd positions, and both loci are spheres Sn/2−2. The middle component is weakly homotopy equivalent to Sⁿ⁻³. Hence H⁰(B_n; ℤ) ≅ ℤⁿ⁻¹, Hⁿ⁻³(B_n; ℤ) ≅ ℤ for even n, and all other singular cohomology vanishes; the cohomology of the constant sheaf agrees, and so does its Čech cohomology on the Hausdorff components and, on the middle component, in degrees at most 2. For n = 4 the de Rham cohomology of smooth forms differs, and B4,2 is weakly homotopy equivalent to a circle but not homotopy equivalent to it. Modulo PGL(2,ℝ) there are ⌊n/2⌋ components, and for even n the middle one is weakly homotopy equivalent to ℝPⁿ⁻³; for odd n the space of real tame frieze patterns of width n−3 has (n−1)/2 components, all contractible. This is an unrefereed note. Unrefereed preprint released for independent mathematical scrutiny. Publication on Zenodo does not constitute peer review. AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text. Corpus identifier: OWR-1275-010 (Oberwolfach Reports, "Teichmüller Space (Classical and Quantum)", Report 26/2006, problem session, p. 1607, V. Fock).