{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2391372","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2391372","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q2391372","kernelVersion":"v1","immutable":true,"modified":"2026-04-02T22:59:20Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q2391372","name":"A remark on a conjecture of Hain and Looijenga","headline":"A remark on a conjecture of Hain and Looijenga","description":"scientific article; zbMATH DE number 6193025","url":"https://portal.mardi4nfdi.de/entity/Q2391372","datePublished":"2013-07-31","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q227446"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q4557581"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.5802/AIF.2792","url":"https://doi.org/10.5802/AIF.2792"},"sameAs":["https://doi.org/10.5802/AIF.2792"],"comment":"Let \\(\\overline{M}_{g,n}\\) be the moduli space of stable genus \\(g\\) curves with \\(n\\) ordered marked points. Let \\(M_{g,n}^{ct}\\) (resp. \\(M_{g,n}^{rt}\\)) be the subspace parameterizing curves of compact type (resp. with rational tails). Denote by \\(R^{\\bullet}(-)\\) the tautological ring for these spaces. Define \\(R_c^{\\bullet}(M_{g,n}^{rt})\\) as the set of elements in \\(R^{\\bullet}(\\overline{M}_{g,n})\\) that restrict trivially to \\(\\overline{M}_{g,n} \\backslash M_{g,n}^{rt}\\). In this paper under review, the author shows that \\(R^{\\bullet}(M_{g,n}^{rt})\\) and \\(R^{\\bullet}(\\overline{M}_{g,n})\\) are Gorenstein for all \\((g,n)\\) if and only if \\(R_c^{\\bullet}(M_{g,n}^{rt})\\) is a free \\(R^{\\bullet}(M_{g,n}^{rt})\\)-module of rank one for all \\((g,n)\\).  Reviewer's note: \\textit{D. Petersen} and \\textit{O. Tommasi} have proved that the Gorenstein conjecture fails for the tautological ring of \\(\\overline{M}_{2,n}\\) for \\(n\\) equal to at least one of the integers \\(8, 12, 16, 20\\) [Invent. Math., online first, (2013; \\url{doi:10.1007/s00222-013-0466-z})].","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q4952555"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3192606"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5954559"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1769379"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1396345"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2719828"},{"@id":"https://portal.mardi4nfdi.de/entity/Q814686"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4379890"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4006664"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1899741"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4549303"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2447401"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2391373"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2937703"}]},"provenance":{"prov:generatedAtTime":"2026-04-02T22:59:20Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}