Minerval
Sourceunknowntext stored

https://arxiv.org/abs/2607.20968

Author not recordedDate not recordedOriginal︎ ↗

Claims1
ExaminationsNone
TextStored, not divided
VersionsOne known
CopiesNone recorded
CorrectionsNot checked
Facts not yet checked
ReachNo copies recorded
StructureIn 1 claim's map2 sources downstream across 1 claim
Evidence1 reading · 1 read wholeSupports 1No claim cites an examination's findings
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.

As quoted

Since $2\neq 3$, this gives a counterexample to the usual Adjamagbo, or separable, formulation of the Jacobian conjecture in characteristic $2$.

The separable Jacobian conjecture is false in dimension three in characteristic two.VerifiedReading · this claim’s Steward

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

Draws on · none recorded
This source
https://arxiv.org/abs/2607.20968
in 1 claim's map
Drawn on by · 2

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

  1. Sep 14, 2026ReadingSteward of “The separable Jacobian conjecture is false in d…” · supports, read whole
  2. Sep 14, 2026Entered the graphEntered the graph; copy stored