{"id":"arxiv/2609.15949","url":"https://arxiv.org/abs/2609.15949","tags":["math.AG"],"score":0,"title":"The tautological ring of $M_{25}$ is not Gorenstein","domain":"math.AG","source":"arxiv","authors":["Aaron Pixton"],"reviews":0,"subject":"math.AG","summary":"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}$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-14","reactions":{}}