Tautological ring

Last updated July 18, 2020

In algebraic geometry, the tautological ring is the subring of the Chow ring of the moduli space of curves generated by tautological classes. These are classes obtained from 1 by pushforward along various morphisms described below. The tautological cohomology ring is the image of the tautological ring under the cycle map (from the Chow ring to the cohomology ring).

Definition

Let ${\overline {\mathcal {M}}}_{g,n}$ be the moduli stack of stable marked curves $(C;x_{1},\ldots ,x_{n})$ , such that

C is a complex curve of arithmetic genus g whose only singularities are nodes,

the n points x₁, ..., x_n are distinct smooth points of C,

the marked curve is stable, namely its automorphism group (leaving marked points invariant) is finite.

The last condition requires $2g-2+n>0$ in other words (g,n) is not among (0,0), (0,1), (0,2), (1,0). The stack ${\overline {\mathcal {M}}}_{g,n}$ then has dimension $3g-3+n$ . Besides permutations of the marked points, the following morphisms between these moduli stacks play an important role in defining tautological classes:

Forgetful maps ${\overline {\mathcal {M}}}_{g,n}\to {\overline {\mathcal {M}}}_{g,n-1}$ which act by removing a given point x_k from the set of marked points, then restabilizing the marked curved if it is not stable anymore^{[ clarification needed ]}.

Gluing maps ${\overline {\mathcal {M}}}_{g,n+1}\times {\overline {\mathcal {M}}}_{g',n'+1}\to {\overline {\mathcal {M}}}_{g+g',n+n'}$ that identify the k-th marked point of a curve to the l-th marked point of the other. Another set of gluing maps is ${\overline {\mathcal {M}}}_{g,n+2}\to {\overline {\mathcal {M}}}_{g+1,n}$ that identify the k-th and l-th marked points, thus increasing the genus by creating a closed loop.

The tautological rings $R^{\bullet }({\overline {\mathcal {M}}}_{g,n})$ are simultaneously defined as the smallest subrings of the Chow rings closed under pushforward by forgetful and gluing maps.^[1]

The tautological cohomology ring $RH^{\bullet }({\overline {\mathcal {M}}}_{g,n})$ is the image of $R^{\bullet }({\overline {\mathcal {M}}}_{g,n})$ under the cycle map. As of 2016, it is not known whether the tautological and tautological cohomology rings are isomorphic.

Generating set

For $1\leq k\leq n$ we define the class $\psi _{k}\in R^{\bullet }({\overline {\mathcal {M}}}_{g,n})$ as follows. Let $\delta _{k}$ be the pushforward of 1 along the gluing map ${\overline {\mathcal {M}}}_{g,n}\times {\overline {\mathcal {M}}}_{0,3}\to {\overline {\mathcal {M}}}_{g,n+1}$ which identifies the marked point x_k of the first curve to one of the three marked points y_i on the sphere (the latter choice is unimportant thanks to automorphisms). For definiteness order the resulting points as x₁, ..., x_k−1, y₁, y₂, x_k+1, ..., x_n. Then $\psi _{k}$ is defined as the pushforward of $-\delta _{k}^{2}$ along the forgetful map that forgets the point y₂. This class coincides with the first Chern class of a certain line bundle.^[1]

For $i\geq 1$ we also define $\kappa _{i}\in R^{\bullet }({\overline {\mathcal {M}}}_{g,n})$ be the pushforward of $(\psi _{k})^{i+1}$ along the forgetful map ${\overline {\mathcal {M}}}_{g,n+1}\to {\overline {\mathcal {M}}}_{g,n}$ that forgets the k-th point. This is independent of k (simply permute points).

Theorem.

R^{\bullet }({\overline {\mathcal {M}}}_{g,n})

is additively generated by pushforwards along (any number of) gluing maps of monomials in

\psi

and

\kappa

classes.

These pushforwards of monomials (hereafter called basic classes) do not form a basis. The set of relations is not fully known.

Theorem. The tautological rings are invariant under pullback along gluing and forgetful maps. There exist universal combinatorial formulae expressing pushforwards, pullbacks, and products of basic classes as linear combinations of basic classes.

Faber conjectures

The tautological ring $R^{\bullet }({\mathcal {M}}_{g,n})$ on the moduli space of smooth n-pointed genus g curves simply consists of restrictions of classes in $R^{\bullet }({\overline {\mathcal {M}}}_{g,n})$ . We omit n when it is zero (when there is no marked point).

In the case $n=0$ of curves with no marked point, Mumford conjectured, and Madsen and Weiss proved, that for any $d>0$ the map $\mathbb {Q} [\kappa _{1},\kappa _{2},\ldots ]\to H^{\bullet }({\mathcal {M}}_{g})$ is an isomorphism in degree d for large enough g. In this case all classes are tautological.

Conjecture (Faber). (1) Large-degree tautological rings vanish:

R^{d}({\mathcal {M}}_{g})=0

for

d>g-2.

(2)

R^{g-2}({\mathcal {M}}_{g})\cong \mathbb {Q}

and there is an explicit combinatorial formula for this isomorphism. (3) The product (coming from the Chow ring) of classes defines a perfect pairing

R^{d}({\mathcal {M}}_{g})\times R^{g-d-2}({\mathcal {M}}_{g})\to R^{g-2}({\mathcal {M}}_{g})\cong \mathbb {Q} .

Although $R^{d}({\mathcal {M}}_{g})$ trivially vanishes for $d>3g-3$ because of the dimension of ${\mathcal {M}}_{g}$ , the conjectured bound is much lower. The conjecture would completely determine the structure of the ring: a polynomial in the $\kappa _{j}$ of cohomological degree d vanishes if and only if its pairing with all polynomials of cohomological degree $g-d-2$ vanishes.

Parts (1) and (2) of the conjecture were proven. Part (3), also called the Gorenstein conjecture, was only checked for $g<24$ . For $g=24$ and higher genus, several methods of constructing relations between $\kappa$ classes find the same set of relations which suggest that the dimensions of $R^{d}({\mathcal {M}}_{g})$ and $R^{g-d-2}({\mathcal {M}}_{g})$ are different. If the set of relations found by these methods is complete then the Gorenstein conjecture is wrong. Besides Faber's original non-systematic computer search based on classical maps between vector bundles over ${\mathcal {C}}_{g}^{d}$ , the d-th fiber power of the universal curve ${\mathcal {C}}_{g}={\mathcal {M}}_{g,1}\twoheadrightarrow {\mathcal {M}}_{g}$ , the following methods have been used to find relations:

Virtual classes of the moduli space of stable quotients (over $\mathbb {P} ^{1}$ ) by Pandharipande and Pixton.^[2]

Witten's r-spin class and Givental-Telemann's classification of cohomological field theories, used by Pandharipande, Pixton, Zvonkine.^[3]

Geometry of the universal Jacobian over ${\mathcal {M}}_{g,1}$ , by Yin.

Powers of theta-divisor on the universal abelian variety, by Grushevsky and Zakharov.^[4]

These four methods are proven to give the same set of relations.

Similar conjectures were formulated for moduli spaces ${\overline {\mathcal {M}}}_{g,n}$ of stable curves and ${\mathcal {M}}_{g,n}^{\text{c.t.}}$ of compact-type stable curves. However, Petersen-Tommasi^[5] proved that $R^{\bullet }({\overline {\mathcal {M}}}_{2,20})$ and $R^{\bullet }({\mathcal {M}}_{2,8}^{\text{c.t.}})$ fail to obey the (analogous) Gorenstein conjecture. On the other hand, Tavakol^[6] proved that for genus 2 the moduli space of rational-tails stable curves ${\mathcal {M}}_{2,n}^{\text{r.t.}}$ obeys the Gorenstein condition for every n.

Related Research Articles

In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometry, it is referred to as algebraic K-theory. It is also a fundamental tool in the field of operator algebras. It can be seen as the study of certain kinds of invariants of large matrices.

In mathematics, in particular in algebraic topology, differential geometry and algebraic geometry, the Chern classes are characteristic classes associated with complex vector bundles. They have since found applications in physics, Calabi-Yau manifolds, string theory, Chern-Simons theory, knot theory, Gromov-Witten invariants, topological quantum field theory, the Chern theorem etc.

In mathematics, in particular algebraic geometry, a moduli space is a geometric space whose points represent algebro-geometric objects of some fixed kind, or isomorphism classes of such objects. Such spaces frequently arise as solutions to classification problems: If one can show that a collection of interesting objects can be given the structure of a geometric space, then one can parametrize such objects by introducing coordinates on the resulting space. In this context, the term "modulus" is used synonymously with "parameter"; moduli spaces were first understood as spaces of parameters rather than as spaces of objects. A variant of moduli spaces are formal moduli.

In mathematics, a complex analytic K3 surface is a compact connected complex manifold of dimension 2 with trivial canonical bundle and irregularity zero. An (algebraic) K3 surface over any field means a smooth proper geometrically connected algebraic surface that satisfies the same conditions. In the Enriques–Kodaira classification of surfaces, K3 surfaces form one of the four classes of minimal surfaces of Kodaira dimension zero. A simple example is the Fermat quartic surface

In mathematics, deformation theory is the study of infinitesimal conditions associated with varying a solution P of a problem to slightly different solutions P_ε, where ε is a small number, or vector of small quantities. The infinitesimal conditions are therefore the result of applying the approach of differential calculus to solving a problem with constraints. One might think, in analogy, of a structure that is not completely rigid, and that deforms slightly to accommodate forces applied from the outside; this explains the name.

In mathematics, specifically in algebraic geometry, the Grothendieck–Riemann–Roch theorem is a far-reaching result on coherent cohomology. It is a generalisation of the Hirzebruch–Riemann–Roch theorem, about complex manifolds, which is itself a generalisation of the classical Riemann–Roch theorem for line bundles on compact Riemann surfaces.

In algebraic geometry, the Kodaira dimensionκ(X) measures the size of the canonical model of a projective variety X.

In mathematics, specifically in symplectic topology and algebraic geometry, Gromov–Witten (GW) invariants are rational numbers that, in certain situations, count pseudoholomorphic curves meeting prescribed conditions in a given symplectic manifold. The GW invariants may be packaged as a homology or cohomology class in an appropriate space, or as the deformed cup product of quantum cohomology. These invariants have been used to distinguish symplectic manifolds that were previously indistinguishable. They also play a crucial role in closed type IIA string theory. They are named after Mikhail Gromov and Edward Witten.

In algebraic geometry, a moduli space of (algebraic) curves is a geometric space whose points represent isomorphism classes of algebraic curves. It is thus a special case of a moduli space. Depending on the restrictions applied to the classes of algebraic curves considered, the corresponding moduli problem and the moduli space is different. One also distinguishes between fine and coarse moduli spaces for the same moduli problem.

In mathematics, an Azumaya algebra is a generalization of central simple algebras to R-algebras where R need not be a field. Such a notion was introduced in a 1951 paper of Goro Azumaya, for the case where R is a commutative local ring. The notion was developed further in ring theory, and in algebraic geometry, where Alexander Grothendieck made it the basis for his geometric theory of the Brauer group in Bourbaki seminars from 1964–65. There are now several points of access to the basic definitions.

In algebraic geometry, the Chow groups of an algebraic variety over any field are algebro-geometric analogs of the homology of a topological space. The elements of the Chow group are formed out of subvarieties in a similar way to how simplicial or cellular homology groups are formed out of subcomplexes. When the variety is smooth, the Chow groups can be interpreted as cohomology groups and have a multiplication called the intersection product. The Chow groups carry rich information about an algebraic variety, and they are correspondingly hard to compute in general.

In mathematics, an algebraic cycle on an algebraic variety V is a formal linear combination of subvarieties of V. These are the part of the algebraic topology of V that is directly accessible by algebraic methods. Understanding the algebraic cycles on a variety can give profound insights into the structure of the variety.

In mathematics, elliptic cohomology is a cohomology theory in the sense of algebraic topology. It is related to elliptic curves and modular forms.

In mathematics, the ELSV formula, named after its four authors Torsten Ekedahl, Sergei Lando, Michael Shapiro, Alek Vainshtein, is an equality between a Hurwitz number and an integral over the moduli space of stable curves.

Aaron C. Pixton is an American mathematician at the University of Michigan. He works in enumerative geometry, and is also known for his chess playing, where he is a FIDE Master.

This is a glossary of algebraic geometry.

In algebraic geometry, the $-conjecture$ gives a particularly simple formula for certain integrals on the Deligne–Mumford compactification $of the moduli space of curves with marked points. It was first found as a consequence of the Virasoro conjecture by E. Getzler and R. Pandharipande (1998). Later, it was proven by C. Faber and R. Pandharipande (2003) using virtual localization in Gromov-Witten theory. It is named after the factor of, the g th Chern class of the Hodge bundle, appearing in its integrand. The other factor is a monomial in the, the first Chern classes of the n cotangent line bundles, as in Witten's conjecture.$

In algebraic geometry, Behrend's trace formula is a generalization of the Grothendieck–Lefschetz trace formula to a smooth algebraic stack over a finite field, conjectured in 1993 and proven in 2003 by Kai Behrend. Unlike the classical one, the formula counts points in the "stacky way"; it takes into account the presence of nontrivial automorphisms.

In algebraic geometry, convexity is a restrictive technical condition for algebraic varieties originally introduced to analyze Kontsevich moduli spaces $in quantum cohomology.These moduli spaces are smooth orbifolds whenever the target space is convex. A variety is called convex if the pullback of the tangent bundle to a stable rational curve has globally generated sections. Geometrically this implies the curve is free to move around infinitesimally without any obstruction. Convexity is generally phrased as the technical condition$

In mathematics, Mirror symmetry is a conjectural relationship between certain Calabi–Yau manifolds and a constructed "mirror manifold" which allows one to relate Gromov–Witten invariants to period integrals on a variation of Hodge structures. In short, this means there is a relation between the number of genus $algebraic curves of degree on a Calabi-Yau variety and integrals on a dual variety . These relations were original discovered by Candelas, De la Ossa, Green, and Schwarts in a paper studying a generic quintic threefold in as the variety and a construction from the quintic Dwork family giving . Shortly after, Sheldon Katz wrote a summary paper outlining part of their construction and conjectures what the rigorous mathematical interpretation could be.$

References

1 2 Faber, C.; Pandharipande, R. (2011). "Tautological and non-tautological cohomology of the moduli space of curves". arXiv: 1101.5489 [math.AG].
↑ Pandharipande, R.; Pixton, A. (2013). "Relations in the tautological ring of the moduli space of curves". arXiv: 1301.4561 [math.AG].
↑ Pandharipande, R.; Pixton, A.; Zvonkine, D. (2016). "Tautological relations via r-spin structures". arXiv: 1607.00978 [math.AG].
↑ Grushevsky, Samuel; Zakharov, Dmitry (2012). "The zero section of the universal semiabelian variety, and the double ramification cycle". Duke Mathematical Journal. 163 (5): 953–982. arXiv: 1206.3534 . doi:10.1215/00127094-26444575.
↑ Petersen, Dan; Tommasi, Orsola (2012). "The Gorenstein conjecture fails for the tautological ring of $\mathcal{\bar M}_{2,n}$". Inventiones mathematicae. 196 (2014): 139. arXiv: 1210.5761 . Bibcode:2014InMat.196..139P. doi:10.1007/s00222-013-0466-z.
↑ Tavakol, Mehdi (2011). "The tautological ring of the moduli space M_{2,n}^rt". arXiv: 1101.5242 [math.AG].

Vakil, Ravi (2003), "The moduli space of curves and its tautological ring" (PDF), Notices of the American Mathematical Society, 50 (6): 647–658, MR 1988577
Graber, Tom; Vakil, Ravi (2001), "On the tautological ring of ${\overline {\mathcal {M}}}_{g,n}$ " (PDF), Turkish Journal of Mathematics, 25 (1): 237–243, MR 1829089

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[auto-1] 1 2 Faber, C.; Pandharipande, R. (2011). "Tautological and non-tautological cohomology of the moduli space of curves". arXiv: 1101.5489 [math.AG].

[2] Pandharipande, R.; Pixton, A. (2013). "Relations in the tautological ring of the moduli space of curves". arXiv: 1301.4561 [math.AG].

[3] Pandharipande, R.; Pixton, A.; Zvonkine, D. (2016). "Tautological relations via r-spin structures". arXiv: 1607.00978 [math.AG].

[4] Grushevsky, Samuel; Zakharov, Dmitry (2012). "The zero section of the universal semiabelian variety, and the double ramification cycle". Duke Mathematical Journal. 163 (5): 953–982. arXiv: 1206.3534 . doi:10.1215/00127094-26444575.

[5] Petersen, Dan; Tommasi, Orsola (2012). "The Gorenstein conjecture fails for the tautological ring of $\mathcal{\bar M}_{2,n}$". Inventiones mathematicae. 196 (2014): 139. arXiv: 1210.5761 . Bibcode:2014InMat.196..139P. doi:10.1007/s00222-013-0466-z.

[6] Tavakol, Mehdi (2011). "The tautological ring of the moduli space M_{2,n}^rt". arXiv: 1101.5242 [math.AG].