Skip navigation
Please use this identifier to cite or link to this item: http://arks.princeton.edu/ark:/88435/dsp01t722h888k
Title: The tautological ring of the moduli space of curves
Authors: Pixton, Aaron
Advisors: Pandharipande, Rahul
Contributors: Mathematics Department
Keywords: algebraic geometry
intersection theory
moduli of curves
tautological ring
Subjects: Mathematics
Issue Date: 2013
Publisher: Princeton, NJ : Princeton University
Abstract: The tautological ring of the moduli space of curves M_g is a subring R^*(M_g) of the Chow ring A^*(M_g). The tautological ring can also be defined for other moduli spaces of curves, such as the moduli space of curves of compact type M^c_g or the moduli space of Deligne-Mumford stable pointed curves Mbar_{g,n}. We conjecture and prove various results about the structure of the tautological ring. In particular, we give two proofs of the Faber-Zagier relations, a large family of relations between the kappa classes in R^*(M_g) that contains all known relations. The first proof (joint work with R. Pandharipande) uses the virtual geometry of the moduli space of stable quotients developed by Marian, Oprea, and Pandharipande. The second proof (joint work with R. Pandharipande and D. Zvonkine) uses Witten's class on the moduli space of 3-spin curves and the classification of semisimple cohomological field theories by Givental and Teleman. The second proof has the disadvantage that it only proves the image of the Faber-Zagier relations in cohomology, but the advantage that it also proves an extension of the relations to Mbar_{g,n} that was conjectured by the author. These relations on Mbar_{g,n} and their restrictions to smaller moduli spaces of curves seem to describe all known relations in the tautological ring. We also prove several combinatorial results about the structure of the Gorenstein quotient rings of R^*(M_g) and R^*(M^c_g). This includes several new families of relations that are similar to the Faber-Zagier relations, as well as joint work with F. Janda giving formulas for ranks of restricted socle pairings in R^*(M^c_g). The appendix presents data obtained by computer calculations of the tautological relations on Mbar_{g,n} and their restrictions to M^c_{g,n} and M^{rt}_{g,n} for small values of g and n. The data suggests several new locations in which the tautological ring might not be a Gorenstein ring.
URI: http://arks.princeton.edu/ark:/88435/dsp01t722h888k
Alternate format: The Mudd Manuscript Library retains one bound copy of each dissertation. Search for these copies in the library's main catalog
Type of Material: Academic dissertations (Ph.D.)
Language: en
Appears in Collections:Mathematics

Files in This Item:
File Description SizeFormat 
Pixton_princeton_0181D_10590.pdf798.82 kBAdobe PDFView/Download


Items in Dataspace are protected by copyright, with all rights reserved, unless otherwise indicated.