algebra / Polynomial automorphisms, coordinates

The Stable Coordinate Conjecture in ambient dimension five

Corollary 1.2: the explicit H∈P=C[p,s,u,F,J]H\in P=\mathbb C[p,s,u,F,J] is a coordinate of P[w]P[w] (by the Dutta-Lahiri theorem, since HH is a residual coordinate over C[p]\mathbb C[p]) but not a coordinate of PP, because otherwise P/(H)≅C[4]P/(H)\cong\mathbb C^{[4]}, contradicting Theorem 1.1. So the conjecture fails over C\mathbb C in ambient dimension five after one stabilization. Lower ambient dimensions are not addressed. A four-variable counterexample, the first possible dimension, was given in a later OpenAI math release manuscript (5 October 2026), see stable-coordinate-conjecture-four-variables.

22Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

algebraSep 23, 2026Significance 22/100Registry: unreviewed

The Stable Coordinate Conjecture in ambient dimension five

Prior state unknown→disproved

Corollary 1.2: the explicit H∈P=C[p,s,u,F,J]H\in P=\mathbb C[p,s,u,F,J] is a coordinate of P[w]P[w] (by the Dutta-Lahiri theorem, since HH is a residual coordinate over C[p]\mathbb C[p]) but not a coordinate of PP, because otherwise P/(H)≅C[4]P/(H)\cong\mathbb C^{[4]}, contradicting Theorem 1.1. So the conjecture fails over C\mathbb C in ambient dimension five after one stabilization. Lower ambient dimensions are not addressed. A four-var…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Corollary 1.2: the explicit H∈P=C[p,s,u,F,J]H\in P=\mathbb C[p,s,u,F,J] is a coordinate of P[w]P[w] (by the Dutta-Lahiri theorem, since HH is a residual coordinate over C[p]\mathbb C[p]) but not a coordinate of PP, because otherwise P/(H)≅C[4]P/(H)\cong\mathbb C^{[4]}, contradicting Theorem 1.1. So the conjecture fails over C\mathbb C in ambient dimension five after one stabilization. Lower ambient dimensions are not addressed. A four-variable counterexample, the first possible dimension, was given in a later OpenAI math release manuscript (5 October 2026), see stable-coordinate-conjecture-four-variables.

Corollary 1.2: the explicit H∈P=C[p,s,u,F,J]H\in P=\mathbb C[p,s,u,F,J] is a coordinate of P[w]P[w] (by the Dutta-Lahiri theorem, since HH is a residual coordinate over C[p]\mathbb C[p]) but not a coordinate of PP, because otherwise P/(H)≅C[4]P/(H)\cong\mathbb C^{[4]}, contradicting Theorem 1.1. So the conjecture fails over C\mathbb C in ambient dimension five after one stabilization. Lower ambient dimensions are not addressed. A four-variable counterexample, the first possible dimension, was given in a later OpenAI math release manuscript (5 October 2026), see stable-coordinate-conjecture-four-variables.

Recorded attempts

Evidence graph

Connected research record