×

The Euler characteristic of the moduli space of curves. (English) Zbl 0616.14017

Let \(\Gamma^ 1_ g\), \(g\geq 1\), be the mapping class group consisting of all isotopy classes of base-point and orientation preserving homeomorphisms of a closed, oriented surface of genus \(g.\) Main theorem:
\(\chi(\Gamma^ 1_ g)=\zeta (1-2g),\) where \(\zeta(s)\) is the Riemann zeta function, and \(\chi(\Gamma^ 1_ g)=[\Gamma^ 1_ g:\Gamma]^{- 1}\chi (E/\Gamma)\) for any torsion free subgroup \(\Gamma\) of finite index in \(\Gamma^ 1_ g\). E is a contractible space on which \(\Gamma\) acts freely and properly discontinuously. \(\chi(E/\Gamma)\) is the usual Euler characteristic.
For every positive integer n, consider a fixed 2n-gon with sides \(S_ 1,...,S_{2n}\). Then denote by \(\epsilon_ g(n)\) the number of ways of grouping \(S_ 1,...,S_{2n}\) into n pairs making a surface of genus \(g\) under suitable identification of sides and denote by \(\lambda_ g(n)\) the number of such groupings which do not contain the special two types of configurations. The authors prove a formula for \(\chi(\Gamma^ 1_ g)\) expressed by \(\lambda_ g(n)\) in theorem 1 and a formula for \(\epsilon_ g(n)\) as (essentially) the coefficient of \(x^{2g}\) in \((x/\tanh (x))^{n+1}\) in theorem 2 and combine them to deduce the main theorem aforementioned.
The authors write that the proof of theorem 2 is rather indirect, but the idea of their ’indirect’ proof is very interesting: the main point is the integral formula for \(C(n,k)=\sum_{0\leq g\leq n}\epsilon_ g(n)k^{n+1-2g}\) given in § 4. - In § 6, the Euler characteristic of \(\Gamma^ 1_ g\) is given (theorems 4 and 4’).
Reviewer: K.Katayama

MSC:

14F45 Topological properties in algebraic geometry
11M06 \(\zeta (s)\) and \(L(s, \chi)\)
14H10 Families, moduli of curves (algebraic)
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] Abikoff, W.: The real analytic theory of Teichmüller space. Lect. Notes Math.820. Berlin-Heidelberg-New York: Springer 1980 · Zbl 0452.32015
[2] Borel, A.: Cohomologie de sous-groupes discrets et représentations de groupes semisimples. Astérisque,32-33, 73-112 (1976)
[3] Bowditch, B., Epstein, D.: (to appear)
[4] Brown, K.: Cohomology of groups. Graduate texts in Mathematics 87. Berlin-Heidelberg-New York: Springer 1982 · Zbl 0584.20036
[5] Brown, K.: Complete Euler characteristics and fixed-point theory. J. Pure Appl. Algebra24, 103-121 (1982) · Zbl 0493.20033 · doi:10.1016/0022-4049(82)90008-1
[6] Harder, G.: A Gauss-Bonnet formula for discrete arithmetically defined groups. Ann. Sci. ENS4, 409-455 (1971) · Zbl 0232.20088
[7] Harer, J.: Stability of the homology of the mapping class groups of orientable surfaces. Ann. Math.121, 215-249 (1985) · Zbl 0579.57005 · doi:10.2307/1971172
[8] Harer, J.: The virtual cohomology dimension of the mapping class group of an orientable surface (to appear in Invent. Math.) · Zbl 0592.57009
[9] Miller, E.: The homology of the mapping class group and the moduli space (Preprint 1982)
[10] Morita, S.: Characteristic classes of surface bundles I, (Preprint 1984) · Zbl 0579.55006
[11] Mosher, L.: Pseudo-Anosovs on punctural surfaces. Thesis, Princeton University 1983
[12] Nielsen, J.: Abbildungsklassen endlicher Ordnung. Acta Math.75, 23-115 (1943) · Zbl 0027.26601 · doi:10.1007/BF02404101
[13] Serre, J.-P.: Cohomologie des groupes discrets. Prospects in Mathematics70, 77-169 (1971) · Zbl 0229.57016
[14] Wall, C.T.C.: Rational Euler characteristics. Proc. Cambridge Phil. Soc.57, 182-3 (1961) · Zbl 0100.25701 · doi:10.1017/S030500410003499X
[15] Zieschang, H.: Finite groups of mapping classes of surfaces. Lect. Notes Math.875, Berlin-Heidelberg-New York: Springer (1980) · Zbl 0472.57006
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.