{"entities":{"Q2032695":{"pageid":2043437,"ns":120,"title":"Item:Q2032695","lastrevid":57704916,"modified":"2026-04-01T00:10:40Z","type":"item","id":"Q2032695","labels":{"en":{"language":"en","value":"Relations in the tautological ring of the moduli space of curves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7358273"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032695$E0FFA0A3-28C9-4CCD-85CE-E627D4583055","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9eeedf6e02151877e879a34d0300ec8b0e26f4a5","datavalue":{"value":{"text":"Relations in the tautological ring of the moduli space of curves","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2032695$58392DC0-4FAC-405B-95B7-17D1976CEB50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68ca090af40efae08fb18c8a21fabc0dcc90d67b","datavalue":{"value":"1491.14078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032695$0F854331-38BC-47A4-A325-F027853E178C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72ea59eb0c50c7a747c2be098d57296c02ee1a78","datavalue":{"value":{"entity-type":"item","numeric-id":392593,"id":"Q392593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032695$8D6CFFF0-CA13-4356-8C41-53997CAE80D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca59465d6c1c4cf228bcdad4e0ba5581c9fe75b6","datavalue":{"value":{"entity-type":"item","numeric-id":392592,"id":"Q392592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032695$0DD46964-6880-4570-BAC4-46A472A7A392","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"12f40850d5344b832934d40c986ed7bb5e36295a","datavalue":{"value":{"entity-type":"item","numeric-id":315559,"id":"Q315559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032695$6BC9A8A0-B59F-449E-A654-608BAC34862D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e3cc057fc0f295f9082b73bf1f37a9692cb13f4","datavalue":{"value":{"time":"+2021-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2032695$E7AAECA8-8CC6-4C75-B3FC-D86892CD537B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9006e488c28eb0089db7aa31a257cccbbeb5b3ae","datavalue":{"value":"https://arxiv.org/abs/1301.4561","type":"string"},"datatype":"url"},"type":"statement","id":"Q2032695$F9BCFE21-9B13-4217-AB81-4D026D1C7154","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cd20221944101cd550b319c2af184ba75a24b437","datavalue":{"value":"Let \\(\\mathcal{M}_g\\) be the space of nonsingular, projective, genus \\(g\\) curves over \\(\\mathbb{C}\\). A classical fundamental problem is the study of its (Chow) cohomology ring and in particular the structure of a certain subring, the \\emph{tautological ring}. To set some notation, denote by \\(\\pi:\\mathcal{C}_g\\to \\mathcal{M}_g\\) the universal curve and by \\(\\omega_\\pi\\) the dualizing sheaf. Define the \\emph{cotangent line class} \\[ \\psi=c_1(\\omega_\\pi)\\in A^1(\\mathcal{C}_g, \\mathbb{Q}) \\] and the \\emph{kappa} classes \\[ \\kappa_r=\\pi_*(\\psi^{r+1})\\in A^r(\\mathcal{M}_g). \\] The tautological ring \\[ R^*(\\mathcal{M}_g)\\subset A^r(\\mathcal{M}_g, \\mathbb{Q}) \\] is the \\(\\mathbb{Q}\\)-subalgebra generated by all the \\(\\kappa\\) classes, in other words there is a presentation \\[ \\mathbb{Q}[\\kappa_1, \\kappa_2, \\dots]\\to R^*(\\mathcal{M}_g)\\to 0. \\] By Mumford's conjecture -- proved by \\textit{I. Madsen} and \\textit{M. Weiss} [Ann. Math. (2) 165, No. 3, 843--941 (2007; Zbl 1156.14021)] -- the kappa classes exhaust all the \\emph{stable cohomology} \\[ \\lim_{g\\to \\infty}H^*(\\mathcal{M}_g, \\mathbb{Q})=\\mathbb{Q}[\\kappa_1, \\kappa_2, \\dots]. \\] Taking the opposite perspective, for a fixed \\(g\\) one may ask which relations generate the tautological ring. Furthermore, from the enumerative point of view, a large body of cycle class computations on \\(\\mathcal{M}_g\\) lie in the tautological ring, and appear naturally in various algebro-geometric contexts (such as Brill-Noether theory).  Faber-Zagier conjectured a remarkable set of relations among the kappa classes in the tautological ring \\( R^*(\\mathcal{M}_g)\\). The main result of the authors is a proof of such relations -- under a suitable formulation of the latter -- by a geometric construction involving the virtual class of the moduli space of stable quotients.  The authors define the polynomial \\[ \\gamma^{FZ}=\\sum_\\sigma\\sum_{r=0}^\\infty C_r^{FZ}(\\sigma), \\kappa_r t^r \\mathbf{p}^\\sigma, \\] where \\(\\sigma\\) is a partition, \\(t,\\mathbf{p} \\) are (multi)variables and \\(C_r^{FZ}(\\sigma) \\) are some given explicit constants. The main result of the authors is the Faber-Zagier relation in \\(R^r(\\mathcal{M}_g)\\) \\[ [\\exp(-\\gamma^{FZ})]_{t^r\\mathbf{p}^\\sigma}=0, \\] whenever \\(g-1+|\\sigma|< 3r\\) and \\(g\\equiv r+|\\sigma|+1 \\bmod 2\\). Here, \\([-]_{t^r\\mathbf{p}^\\sigma} \\) denotes the coefficient of \\(t^r\\mathbf{p}^\\sigma\\), which is a polynomial in the \\(\\kappa_r\\). It has to be noticed that this result yields \\emph{finitely} many relations, for every given genus \\(g\\) and codimension \\(r\\).  The main result is obtained via Graber-Pandharipande virtual localization on the moduli space of stable quotients, where the problem is addressed with a combination of techniques from Geometry and Combinatorics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2032695$40E2FD02-EDAF-4383-B0AE-B5A129F58B5E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8a126618a5ba2edd7647165375528bdc63cd59d7","datavalue":{"value":{"entity-type":"item","numeric-id":2003979,"id":"Q2003979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032695$8814E239-EE73-487C-B678-7554B31BCA6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f43004a1074fdc6de6863b2b48b98108765214f","datavalue":{"value":"14N35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032695$2E2B9ACF-7AB9-41A5-B273-5ED2D68A51AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4033640730fa5f082c04324ad7ab004dff8623e9","datavalue":{"value":"14H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032695$9B88DB83-8C19-4671-A7F3-28CC21ED71A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff964d87999bf2081788f1b91197ebbd2b8795fa","datavalue":{"value":"7358273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032695$F0AE6C46-510D-4F79-9BC9-EF0DB9BD03A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40241f744b4229afed9f0a4de1386f9a46c5d270","datavalue":{"value":"Faber-Zagier relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2032695$611FD064-6CB2-40EE-8641-BC2FD4296240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"608ed6b3e0fd923753aaf72f7c658ffba996fd48","datavalue":{"value":"tautological rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2032695$4E7F876F-AFB2-40DE-86AA-D4996C969BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0e5961416342d0ce5291fd38c8d47ab9cbc7445","datavalue":{"value":"moduli space of curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q2032695$44E372B4-EF13-4440-A9B3-BB4E6A0FC78D","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2032695$C758C3F7-86E7-4A29-AD9D-D3FDA65089AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b07dcb91c46fb3f6071d0bc756d210ec88696b0","datavalue":{"value":"W3160795004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032695$8B8A0688-639A-4AE3-8FEB-8123A0F31927","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"449dcc2c86344fa60f22293feff4d774a68ce65f","datavalue":{"value":"10.4310/PAMQ.2021.V17.N2.A7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2032695$5056DBBB-12A5-410D-81D5-55C3EF5B5A99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d14f0cf689c62226e387f6cb130cdde4ab50a40","datavalue":{"value":{"entity-type":"item","numeric-id":2566607,"id":"Q2566607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f2ba2697cb68a4946f3d5d428228c936f98ca66","datavalue":{"value":{"amount":"+0.8563409447669983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2032695$552B1891-4E2A-40AC-AA7E-64D1F5F39793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec91b31b5cde15f435914b3c4f25020c1f5931d","datavalue":{"value":{"entity-type":"item","numeric-id":657357,"id":"Q657357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7cef5265bf446f8f2255dadfada7440dc970e38","datavalue":{"value":{"amount":"+0.853449285030365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2032695$D05764EE-BFB4-4F2D-A049-C1B1732492B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58c3339ed7bd5ec646b3a5684b6bbf04349e3e3a","datavalue":{"value":{"entity-type":"item","numeric-id":2832803,"id":"Q2832803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b38e4204f4f830892ead3a7e504fc0765513929","datavalue":{"value":{"amount":"+0.8366472125053406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2032695$6690751C-7BCE-4921-8AAB-00FB39F70EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20fc15a163a86bfa12728a1da7db60d02a14bfc9","datavalue":{"value":{"entity-type":"item","numeric-id":3216763,"id":"Q3216763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55e1bd30fcffdbbeb857afdbb419a3b58beb4c70","datavalue":{"value":{"amount":"+0.8218936920166016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2032695$6BC2ED6B-3945-4A11-9BED-04900E234EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36df7f4ee95547f92a8406392239cb4e97fb8502","datavalue":{"value":{"entity-type":"item","numeric-id":5133761,"id":"Q5133761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8785479e97d0e315d51bb17c10f9adb7ae8b947","datavalue":{"value":{"amount":"+0.820001482963562","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2032695$322C025C-86BB-48B2-9AC8-4BD9D111BD83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2032695","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2032695"}}}}}