Pixton's conjecture: do Pixton's relations give all tautological relations on the moduli of stable curves?

Claims that Pixton's original relations are not complete in rational Chow or rational cohomology: on $\overline{\mathcal M}_{g,n}$ with $g=10^{60}$ and $n=3\binom{10^{60}}3$ an alternating product of corrected small diagonals vanishes but lies outside the span. It does NOT give a small counterexample (the parameters are not claimed minimal), does NOT address enlarged relation systems, and is distinct from the Gorenstein question already settled negatively (Petersen-Tommasi, Canning).

Exact FrontierDelta

Prior state unknown→disproved

Scope and record

Occurred: Sep 24, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: Pixton's conjecture: do Pixton's relations give all tautological relations on the moduli of stable curves? · Pixton completeness conjecture

Confidence: Not scored

Registry verification: unreviewed · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Evidence vector

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Named evidence

VibeMathed record: Pixton's conjecture: do Pixton's relations give all tautological relations on the moduli of stable curves?

specialist registry · passed

No independent mathematician has checked this yet. Theorem 1.1 and Corollary 1.2 were read against Pixton's Conjecture 2 as fixed in Section 2 of the paper: for $g=10^{60}$ and $n=3\binom g3$ an explicit formal class $Y$ maps to zero in rational Chow (hence in rational cohomology) but is not in Pixton's original relation span. The vanishing argument relies on derived Quot-scheme virtual classes and O'Sullivan's tensor reconstruction, cited inputs not checked here. No Lean formalization. The paper limits itself to the original relation system as it defines it.