Source: Duke Math. J. Volume 161, Number 10
(2012), 1943-1969.
By the work of Harer, the reduced homology of the complex of curves is a fundamental cohomological object associated to all torsion-free finite index subgroups of the mapping class group. We call this homology group the Steinberg module of the mapping class group. It was previously proved that the curve complex has the homotopy type of a bouquet of spheres. Here, we give the first explicit homologically nontrivial sphere in the curve complex and show that under the action of the mapping class group, the orbit of this homology class generates the reduced homology of the curve complex.
References
[ABP] J. E. Andersen, A. J. Bene, and R. C. Penner, Groupoid extensions of mapping class representations for bordered surfaces, Topology Appl. 156 (2009), 2713–2725.
[As] A. Ash, Unstable cohomology of $\operatorname{SL}(n,\mathcal{O})$, J. Algebra 167 (1994), 330–342.
[AR] A. Ash and L. Rudolph, The modular symbol and continued fractions in higher dimensions, Invent. Math. 55 (1979), 241–250.
Mathematical Reviews (MathSciNet):
MR553998
[BF] M. Bestvina and M. Feighn, The topology at infinity of $\operatorname{Out}(F_{n})$, Invent. Math. 140 (2000), 651–692.
[Bi] R. Bieri, Homological Dimension of Discrete Groups, Queen Mary College Math. Notes, Math. Dept., Queen Mary College, London, 1976.
Mathematical Reviews (MathSciNet):
MR466344
[BE] R. Bieri and B. Eckmann, Groups with homological duality generalizing Poincaré duality, Invent. Math. 20 (1973), 103–124.
Mathematical Reviews (MathSciNet):
MR340449
[Bir] J. S. Birman, Mapping class groups and their relationship to braid groups, Comm. Pure Appl. Math. 22 (1969), 213–238.
Mathematical Reviews (MathSciNet):
MR243519
[BS] A. Borel and J.-P. Serre, Corners and arithmetic groups, with appendix “Arrondissement des variétés à coins” by A. Douady and L. Hérault, Comment. Math. Helv. 48 (1973), 436–491.
Mathematical Reviews (MathSciNet):
MR387495
[Br1] K. S. Brown, Cohomology of Groups, Grad. Texts in Math. 87, Springer, New York, 1982.
Mathematical Reviews (MathSciNet):
MR672956
[Br2] K. S. Brown, Buildings, reprint of the 1989 original, Springer Monogr. Math., Springer, New York, 1998.
[FM] B. Farb and D. Margalit, A Primer on Mapping Class Groups, Princeton Math. Ser. 49, Princeton Univ. Press, Princeton, N.J., 2012.
[G] P. E. Gunnells, Computing Hecke eigenvalues below the cohomological dimension, Experiment. Math. 9 (2000), 351–367.
[Ha1] J. L. Harer, Stability of the homology of the mapping class groups of orientable surfaces, Ann. of Math. (2) 121 (1985), 215–249.
Mathematical Reviews (MathSciNet):
MR786348
[Ha2] J. L. Harer, The virtual cohomological dimension of the mapping class group of an orientable surface, Invent. Math. 84 (1986), 157–176.
Mathematical Reviews (MathSciNet):
MR830043
[Ha3] J. L. Harer, “The cohomology of the moduli space of curves” in Theory of Moduli (Montecatini Terme, 1985), Lecture Notes in Math. 1337, Springer, Berlin, 1988, 138–221.
Mathematical Reviews (MathSciNet):
MR963064
[HZ] J. Harer and D. Zagier, The Euler characteristic of the moduli space of curves, Invent. Math. 85 (1986), 457–485.
Mathematical Reviews (MathSciNet):
MR848681
[Hv] W. J. Harvey, “Boundary structure of the modular group” in Riemann Surfaces and Related Topics: Proceedings of the 1978 Stony Brook Conference (State Univ. New York, Stony Brook, N.Y., 1978), Ann. of Math. Stud. 97, Princeton Univ. Press, Princeton, N.J., 1981, 245–251.
Mathematical Reviews (MathSciNet):
MR624817
[HV] A. Hatcher and K. Vogtmann, The complex of free factors of a free group, Quart. J. Math. Oxford Ser. (2) 49 (1998), 459–468.
[Iv1] N. V. Ivanov, Complexes of curves and the Teichmüller modular group (in Russian), Uspekhi Mat. Nauk 42, no. 3 (1987), 49–91, 255; English translation in Russian Math. Surveys 42 (1987), 55–107.
Mathematical Reviews (MathSciNet):
MR896878
[Iv2] N. V. Ivanov, Attaching corners to Teichmüller space (in Russian), Algebra i Analiz 1, no. 5 (1989), 115–143; English translation in Leningrad Math. J. 1 (1990), 1177–1205.
[Iv3] N. V. Ivanov, “Mapping class groups” in Handbook of Geometric Topology, North-Holland, Amsterdam, 2002, 523–633.
[IJ] N. Ivanov and L. Ji, Infinite topology of curve complexes and non-Poincaré duality of Teichmüller modular groups, Enseign. Math. (2) 54 (2008), 381–395.
[KLS] R. P. Kent, IV, C. J. Leininger, and S. Schleimer, Trees and mapping class groups, J. Reine Angew. Math. 637 (2009), 1–21.
[La] S. Lang, Algebra, 3rd ed., Grad. Texts in Math. 211, Springer, New York, 2002.
[Le] C. W. Lee, The associahedron and triangulations of the $n$-gon, European J. Combin. 10 (1989), 551–560.
[LS] R. Lee and R. H. Szczarba, On the homology and cohomology of congruence subgroups, Invent. Math. 33 (1976), 15–53.
Mathematical Reviews (MathSciNet):
MR422498
[Mo] L. Mosher, “A user’s guide to the mapping class group: Once punctured surfaces” in Geometric and Computational Perspectives on Infinite Groups (Minneapolis, Minn., and New Brunswick, N.J., 1994), DIMACS Ser. Discrete Math. Theoret. Comput. Sci. 25, Amer. Math. Soc., Providence, 1996, 101–174.
[PM] R. C. Penner and G. McShane,
Stable curves and screens on fatgraphs, preprint,
arXiv:0707.1468v2 [math.GT]
[So] L. Solomon, “The Steinberg character of a finite group with $BN$-pair” in Theory of Finite Groups (Symposium, Harvard Univ., Cambridge, Mass., 1968), Benjamin, New York, 1969, 213–221.
Mathematical Reviews (MathSciNet):
MR246951
[Sr] K. Strebel, Quadratic Differentials, Ergeb. Math. Grenzgeb. (3) 5, Springer, Berlin, 1984.
[Vo] K. Vogtmann, “Automorphisms of free groups and outer space” in Proceedings of the Conference on Geometric and Combinatorial Group Theory, Part I (Haifa, 2000), Geom. Dedicata 94 (2002), 1–31.