The tautological ring of $M_{25}$ is not Gorenstein

Aaron Pixton

Source record

Source: arXiv

Published: Sep 14, 2026

arXiv: 2609.15949

Open original source ↗

Source abstract

We show that the tautological ring of $M_{25}$ is not Gorenstein, disproving a conjecture of Faber from 1993. This also implies that the Faber-Zagier relations are the complete list of tautological relations on $M_{25}$ .

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.