##
**Homology of hyperelliptic mapping class groups for surfaces.**
*(English)*
Zbl 0892.57008

A closed surface \(F_g\) of genus \(g\) may be considered as a branch cover of the 2-sphere with \(2g+2\) branch points. The hyperelliptic involution \(j\) is an involution of \(F_g\) with \(2g+2\) fixed point. The hyperelliptic mapping class group \(\Delta_g\) is a subgroup of the mapping class group defined as the centralizer of \(j\). Its cohomology has previously been determined in [C.-F. Bödigheimer, F. R. Cohen and M. D. Peim, Mapping class groups and function spaces, preprint in Mathematica Gottingensis, Heft 5 (1989), unpublished]. The author’s approach in this paper is more elementary and geometric. His methods however also only recover the cohomology at primes \(p\) for \(p>g\).

Bödigheimer, Cohen and Peim start from the non-split central extension \(1\to\mathbb{Z}/2 \mathbb{Z}\to \Delta_g\to \Gamma^{2g+2} \to 1\) where \(\Gamma^{2g+2}\) denotes the braid group on \(2g+2\) strand of the sphere, that is the mapping class group of the sphere with \(2g+2\) marked points. Its cohomology is therefore that of \(\Delta_g\) for any trivial coefficients \(R\) containing \({1\over 2}\). They then proceed to describe the classifying space of \(\Gamma^k\) as the fiberwise configuration space of \(k\) unordered distinct points of the fibration \(S^2\to BSO(2) @>\mu>> BSO(3)\) where \(\mu\) is induced by the inclusion \(SO(2)\to SO(3)\). The analysis that then follows uses previous results of Bödigheimer and Cohen on stable and unstable splittings of mapping spaces, as well as further homotopy theoretic considerations when calculating the cohomology of \(\Gamma^k\) at different primes.

In the paper under review, in order to avoid problems arising in the presence of finite subgroups, the author considers surfaces with a boundary component and the associated hyperelliptic mapping class group \(\Delta_{g,1}\). The cohomology of \(\Delta_{g,1}\) (and hence of \(\Delta_g)\) is computed at primes \(p\) with \(p>g\) when the cohomology of Artin’s braid groups of the plane \(\beta_{2g+1}\) and \(\beta_{2g+2}\) are simple.

The key geometric result is the following. Let \(H_{g,1}\) be the moduli space of hyperelliptic curves of genus \(g\) with a marked point and a fixed tangent direction at the marked point. Then \(H_{g,1}\) is a classifying space for \(\Delta_{g,1}\). Let \(W_g\) be a subset of \(H_{g,1}\) where the marked point is a Weierstrass point. Then there are holomorphic isomorphisms \(W_g \simeq X_{2g+1}\) and \(H_{g,1}- W_g \simeq X_{2g+2}\) where \(X_n\) denotes the space of barycentered unordered configurations in \(\mathbb{C}^n\). As \(X_n\) is a classifying space for the braid group \(\beta_n\), the cohomology of \(\Delta_{g,1}\) can be deduced from that of the braid groups via the Gysin long exact sequence relating \(H_{g,1}\), \(X_{2g+1}\) and \(X_{2g+2}\).

Bödigheimer, Cohen and Peim start from the non-split central extension \(1\to\mathbb{Z}/2 \mathbb{Z}\to \Delta_g\to \Gamma^{2g+2} \to 1\) where \(\Gamma^{2g+2}\) denotes the braid group on \(2g+2\) strand of the sphere, that is the mapping class group of the sphere with \(2g+2\) marked points. Its cohomology is therefore that of \(\Delta_g\) for any trivial coefficients \(R\) containing \({1\over 2}\). They then proceed to describe the classifying space of \(\Gamma^k\) as the fiberwise configuration space of \(k\) unordered distinct points of the fibration \(S^2\to BSO(2) @>\mu>> BSO(3)\) where \(\mu\) is induced by the inclusion \(SO(2)\to SO(3)\). The analysis that then follows uses previous results of Bödigheimer and Cohen on stable and unstable splittings of mapping spaces, as well as further homotopy theoretic considerations when calculating the cohomology of \(\Gamma^k\) at different primes.

In the paper under review, in order to avoid problems arising in the presence of finite subgroups, the author considers surfaces with a boundary component and the associated hyperelliptic mapping class group \(\Delta_{g,1}\). The cohomology of \(\Delta_{g,1}\) (and hence of \(\Delta_g)\) is computed at primes \(p\) with \(p>g\) when the cohomology of Artin’s braid groups of the plane \(\beta_{2g+1}\) and \(\beta_{2g+2}\) are simple.

The key geometric result is the following. Let \(H_{g,1}\) be the moduli space of hyperelliptic curves of genus \(g\) with a marked point and a fixed tangent direction at the marked point. Then \(H_{g,1}\) is a classifying space for \(\Delta_{g,1}\). Let \(W_g\) be a subset of \(H_{g,1}\) where the marked point is a Weierstrass point. Then there are holomorphic isomorphisms \(W_g \simeq X_{2g+1}\) and \(H_{g,1}- W_g \simeq X_{2g+2}\) where \(X_n\) denotes the space of barycentered unordered configurations in \(\mathbb{C}^n\). As \(X_n\) is a classifying space for the braid group \(\beta_n\), the cohomology of \(\Delta_{g,1}\) can be deduced from that of the braid groups via the Gysin long exact sequence relating \(H_{g,1}\), \(X_{2g+1}\) and \(X_{2g+2}\).

Reviewer: U.Tillmann (Oxford)

### MSC:

57N05 | Topology of the Euclidean \(2\)-space, \(2\)-manifolds (MSC2010) |

57S05 | Topological properties of groups of homeomorphisms or diffeomorphisms |

57R50 | Differential topological aspects of diffeomorphisms |

20F36 | Braid groups; Artin groups |

20F38 | Other groups related to topology or analysis |

20J05 | Homological methods in group theory |

14H15 | Families, moduli of curves (analytic) |

14H52 | Elliptic curves |

14H55 | Riemann surfaces; Weierstrass points; gap sequences |

### Software:

Mathematica
Full Text:
DOI

### References:

[1] | Arnol’d, V. I., On some topological invariants of algebraic functions, Trans. Moscow Math. Soc., 21, 30-52 (1970) · Zbl 0225.14005 |

[2] | Benson, D. J.; Cohen, F. R., Mapping class groups of low genus and their cohomology, Mem. Amer. Math. Soc., 443 (1991) · Zbl 0732.57003 |

[3] | Birman, J.; Hilden, H., On the mapping class groups of closed surfaces as covering spaces, (Advances in the Theory of Riemann Surfaces. Advances in the Theory of Riemann Surfaces, Ann. of Math. Stud., 66 (1971)), 81-115 · Zbl 0217.48602 |

[4] | C.F. Boedigheimer, F.R. Cohen and M.D. Peim, Mapping class groups and function spaces, Preprint.; C.F. Boedigheimer, F.R. Cohen and M.D. Peim, Mapping class groups and function spaces, Preprint. |

[5] | Cohen, F. R., Cohomology of braid spaces, Bull. Amer. Math. Soc., 79, 763-766 (1973) · Zbl 0272.55012 |

[6] | Cohen, F. R., Homology of mapping class groups for surfaces of low genus, Contemp. Math., 58, 21-30 (1987) · Zbl 0655.57006 |

[7] | Cohen, F. R., On the mapping class groups for punctured spheres, the hyperelliptic mapping class groups, SO(3), \(Spin^c\)(3), Amer. J. Math., 115, 389-434 (1993) · Zbl 0804.57006 |

[8] | Fuks, D. B., Cohomologies of the group COS mod 2, Functional Anal. Appl., 4, 143-151 (1970) · Zbl 0222.57031 |

[9] | Kawazumi, N., On the homotopy type of the moduli space of \(n\)-point sets of \(P^1\), J. Fac. Sci. Univ. Tokyo, 37, 263-287 (1990), Sect. IA · Zbl 0718.57005 |

[10] | Kerckhoff, S. P., The Nielsen realization problem, Ann. of Math., 117, 235-265 (1983) · Zbl 0528.57008 |

[11] | Morita, S., Characteristic classes of surface bundles, Invent. Math., 90, 551-577 (1987) · Zbl 0608.57020 |

[12] | Mumford, D., Towards an enumerative geometry of the moduli space of curves, (Arithmetic and Geometry. Arithmetic and Geometry, Progr. Math., 36 (1983)), 271-328 · Zbl 0554.14008 |

[13] | Vainshtein, F. V., Cohomologies of braid groups, Functional Anal. Appl., 12, 135-137 (1978) · Zbl 0424.55015 |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.