Dice Question Streamline Icon: https://streamlinehq.com

Church–Farb–Putman high-dimensional vanishing conjecture for mapping class groups

Determine whether, for integers g and i with g sufficiently large relative to i, the rational cohomology groups H^{4g−5−i}(MCG(Σ_g); Q) and H^{4g−5−i}(M_g; Q) vanish.

Information Square Streamline Icon: https://streamlinehq.com

Background

The mapping class group MCG(Σ_g) is a virtual duality group with vcd(MCG(Σ_g)) = 4g−5, and its rational cohomology matches that of the moduli space M_g. Church–Farb–Putman proposed an analogue of their SL_n(Z) conjecture in this setting, predicting vanishing of high-dimensional cohomology in low codimension.

While the codimension i = 0 case was proved, subsequent work constructed many non-trivial high-dimensional classes for M_g, showing the conjecture is false in numerous codimensions; the quoted formulation records the original conjecture.

References

Church--Farb--Putman’s analogue of \cref{conj_cfp} in this setup Conjecture 9 asked whether H{4g-5-i}(\mathrm{MCG}(\Sigma_g);\mathbb{Q}) \cong H{4g-5-i}(\mathcal{M}_g;\mathbb{Q}) = 0 \text{ for } g\gg i ?

(Non-)Vanishing of high-dimensional group cohomology (2404.15026 - Brück, 23 Apr 2024) in Section 3 (MCG), displayed equation labeled eq_conjecture_MCG