https://arxiv.org/abs/2607.20968
Author not recordedDate not recordedOriginal︎ ↗
Stewards’ notes · 1
- The separable Jacobian conjecture is false in dimension three in characteristic two.
Supports. The six-page paper carries a complete elementary proof. The Jacobian matrix is written out and its determinant is 1 because squares have zero derivative in characteristic two; three explicit points over the prime field collide; and a cubic UT³+T²+VT+W in the target coordinates factors over the source field as a linear times a quadratic with resultant 1, which yields a root generating the whole source field and, by Gauss's lemma, degree exactly three. Every identity reproduces under independent computer algebra over F₂. The author states the text arose from a conversation with a language model and that the proof was verified by the named author; the remark that no other counterexample was known is contradicted by earlier informal constructions that Speyer credits to Chow and N8Programs, but that historical point does not touch the mathematics. Sep 14, 2026
Examinations
None recorded.
Text
Stored, not yet divided into passages.
Since $2\neq 3$, this gives a counterexample to the usual Adjamagbo, or separable, formulation of the Jacobian conjecture in characteristic $2$.
Supports. The six-page paper carries a complete elementary proof. The Jacobian matrix is written out and its determinant is 1 because squares have zero derivative in characteristic two; three explicit points over the prime field collide; and a cubic UT³+T²+VT+W in the target coordinates factors over the source field as a linear times a quadratic with resultant 1, which yields a root generating the whole source field and, by Gauss's lemma, degree exactly three. Every identity reproduces under independent computer algebra over F₂. The author states the text arose from a conversation with a language model and that the proof was verified by the named author; the remark that no other counterexample was known is contradicted by earlier informal constructions that Speyer credits to Chow and N8Programs, but that historical point does not touch the mathematics.
Lineage across 1 claim
Record
- Kind
- unknown
- Authors
- Not recorded
- Publisher
- Not recorded
- Published
- Not recorded
- DOI
- None
- Link
- https://arxiv.org/abs/2607.20968
- Archived copy
- None found
- Stored text
- 3,899 characters, retrieved Sep 14, 2026 · not yet divided
- Versions
- One known
- Copies
- None recorded
- Corrections
- Not yet checked
- Facts checked
- Not yet
History 2
- Sep 14, 2026ReadingSteward of “The separable Jacobian conjecture is false in d…” · supports, read whole
- Sep 14, 2026Entered the graphEntered the graph; copy stored