The rational cohomology of M₄
algebraic curves over global fieldscohomology ringsdiscriminantal varietiesHodge structuresmoduli spaces of curves
Curves over finite and local fields (11G20) Transcendental methods, Hodge theory (algebro-geometric aspects) (14C30) Topological properties in algebraic geometry (14F45) Families, moduli of curves (algebraic) (14H10) Arithmetic ground fields for curves (14H25) Discriminantal varieties and configuration spaces in algebraic topology (55R80)
Denote by \(M_g\) the moduli space of smooth projective complex curves of genus \(g\), and let \(\overline M_g\) its Deligne-Mumford compactification, i.e., the moduli space of stable complex curves of genus \(g\). The topological study of these classifying spaces has turned out to be a rather delicate matter, involving individual case-by-case inspections (with respect to the genus \(g)\) and varying advanced techniques. In this context, one of the most important problems in the moduli theory of algebraic curves is to determine the structure of the (rational) cohomology ring of these moduli spaces, together with its natural Hodge decomposition. In the paper under review, the authors present two general approaches to the study of the cohomology of moduli spaces of curves, which are then applied to compute the rational cohomology of the particular moduli space \(\overline M_4\) of stable complex curves of genus 4, thereby adding a further explicit result to the overall picture. Using the fact that \(\overline M_4\) is a proper and smooth Deligne-Mumford stack, it is argued that the rational cohomology of \(\overline M_4\) is completely determined by its Hodge-Euler characteristic \[ e(\overline M_4):=\sum_{j\in\mathbb{Z}}(-1)^j[H_c^j(M_4, \mathbb{Q})] \] of the cohomology with compact support in the Grothendieck group of rational mixed Hodge structures. On the other hand, the Hodge-Euler characteristic \(e(\overline M_4)\) is tackled by showing that the moduli space \(\overline M_4\) admits a natural stratification by finite quotients of products of moduli spaces \(M_{g,n}\) of smooth genus \(g\) curves with \(n\) marked points, where \(g\leq 4\) and \(n\leq 8-2g\), and by determining the \(S_n\)-equivariant Hodge-Euler characteristics of those spaces \(M_{g,n}\) separately. The latter task, the crucial point of the entire approach, is accomplished in two different ways. The first method is based on the equivariant count of the number of points of \(M_{g,n}\) defined over finite fields, whereas the second method uses stratifications of moduli spaces by quotients of complements of discriminants in a complex vector space by the action of a reductive group. The computation of the rational cohomology of such strata is carried out by following an adapted version of a procedure due to A. Gorinov and V. Vassiliev [cf.: \textit{V. Vassiliev}, Proc. Steklov Inst. Math. 225, 121--140 (1999; Zbl 0981.55008)], which is recalled at the end of the paper. The main result finally states that the Hodge-Euler characteristic is given by the formula \[ e(\overline M_4)= \mathbb{L}^9+4\mathbb{L}^8+13\mathbb{L}^7+32 \mathbb{L}^6+50\mathbb{L}^5+50 \mathbb{L}^4+32\mathbb{L}^3+13 \mathbb{L}^2+4 \mathbb{L}+1 \] where \(\mathbb{L}\) denotes the class of the Tate-Hodge structure of weight 2 in the Grothendieck group of rational Hodge structures. This explicit formula enhances the picture shaped by previous related results of \textit{E. Arbarello} and \textit{M. Cornalba} [Publ. Math., Inst. Hautes Étud. Sci. 88, 97--127 (1998; Zbl 0991.14012)] and others.
- Rational cohomology of the moduli space of genus 4 curves
- The fourth tautological group of \(\overline{\mathcal{M}}_{xi,n}\) and relations with the cohomology.
- Calculating cohomology groups of moduli spaces of curves via algebraic geometry
- Cohomology of moduli spaces of stable curves
- Cohomology of the moduli space of non-hyperelliptic genus four curves
- A Maple package for symmetric functions
- Algebraic Stacks Whose Number of Points over Finite Fields is a Polynomial
- Calculating cohomology groups of moduli spaces of curves via algebraic geometry
- Cohomology of moduli spaces of curves of genus three via point counts
- Equivariant counts of points of the moduli spaces of pointed hyperelliptic curves
- Equivariant Poincaré polynomials and counting points over finite fields
- scientific article; zbMATH DE number 3674235 (Why is no real title available?)
- scientific article; zbMATH DE number 51906 (Why is no real title available?)
- scientific article; zbMATH DE number 3572315 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1242982 (Why is no real title available?)
- scientific article; zbMATH DE number 1027930 (Why is no real title available?)
- scientific article; zbMATH DE number 2100978 (Why is no real title available?)
- scientific article; zbMATH DE number 1422908 (Why is no real title available?)
- Modular operads
- On the cohomology of local systems on the moduli spaces of curves of genus 2 and of abelian surfaces. I
- On the cohomology of local systems on the moduli spaces of curves of genus 2 and of Abelian surfaces. II.
- Operads and moduli spaces of genus 0 Riemann surfaces
- Rational cohomology of the moduli space of genus 4 curves
- Real cohomology groups of the space of nonsingular curves of degree 5 in \(\mathbb{C}\mathbb{P}^2\)
- Resolving mixed Hodge modules on configuration spaces
- Supersingular Curves of Genus 2 over Finite Fields of Characteristic 2
- The irreducibility of the space of curves of a given genus
- The Lefschetz trace formula for algebraic stacks
- The projectivity of the moduli space of stable curves, II: The stacks $M_{g,n}$
- The semi-classical approximation for modular operads
- Topological recursion relations in genus \(2\)
- Calculating cohomology groups of moduli spaces of curves via algebraic geometry
- Poincaré polynomial of the space \(\overline{\mathcal M_{0,n}}(\mathbb{C})\) and the number of points of the space \(\overline{\mathcal M_{0,n}}(F_q)\)
- The space of cubic surfaces equipped with a line
- Cohomology of the moduli space of non-hyperelliptic genus four curves
- Equivariant cohomology of the moduli space of genus three curves with symplectic level two structure via point counts
- Counting the number of trigonal curves of genus 5 over finite fields
- Intersections of loci of admissible covers with tautological classes
- The fourth tautological group of \(\overline{\mathcal{M}}_{xi,n}\) and relations with the cohomology.
- The equivariant Euler characteristic of moduli spaces of curves
- Four-fold Massey products in Galois cohomology
- Cohomology of moduli spaces of curves of genus three via point counts
- Rational cohomology of the moduli space of genus 4 curves
- Tropical curves, graph complexes, and top weight cohomology of ℳ_{ℊ}
- A new cohomology class on the moduli space of curves
- On the rational cohomology of moduli spaces of curves with level structures
- [[:Publication:6952500|Notes on the cohomology of local systems of small weight on \(\mathcal{M}_Template:2\)]]
- Rational cohomology of \(\mathcal{M}_{4, 1}\)
- Polynomial point counts and odd cohomology vanishing on moduli spaces of stable curves
- On the Chow and cohomology rings of moduli spaces of stable curves
- A census of genus 6 curves over \(\mathbb{F}_2\)
- The \(S_n\)-equivariant Euler characteristic of \(\overline{\mathcal{M}}_{1, n}(\mathbb{P}^r ,d)\)
This page was built for publication: The rational cohomology of \(\overline{\mathcal{M}}_4\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q884700)
