At genus 10^60 with 3 times binomial(10^60,3) markings, an explicitly defined formal tautological class maps to zero in the Chow ring and rational cohomology of the compactified pointed-curve moduli space but lies outside the span of Pixton’s original graph-formula relations.
At genus 10^60 with 3 times binomial(10^60,3) markings, an explicitly defined formal tautological class maps to zero in the Chow ring and rational cohomology of the compactified pointed-curve moduli space but lies outside the span of Pixton’s original graph-formula relations.
At genus 10^60 with 3 times binomial(10^60,3) markings, an explicitly defined formal tautological class maps to zero in the Chow ring and rational cohomology of the compactified pointed-curve moduli space but lies outside the span of Pixton’s original graph-formula relations.
If correct, disproves the Chow and rational-cohomological completeness of Pixton’s original relation system.
Do Pixton’s original tautological relations generate every relation in the Chow ring of pointed stable curves?
Publication dates and editorial changes.
OpenAI reports a high-arity counterexample to Pixton completeness
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.
