OWR-7155441-002 · Complete counterexample

A Characteristic-Two Counterexample to Rigidity for a Punctured Projective Line

Manuscript 27 October 2026 · Online 27 October 2026

math.AGUnrefereed preprint

Abstract

We construct a characteristic-two counterexample to the two-factor rigidity assertion in Conjecture 4 of Rosengarten's contribution to Oberwolfach Report 20/2021, exactly the frozen UnsolvedMath record OWR-7155441-002. Over k=F_2(s,t), let X be the projective line with the single degree-four closed point defined by T^4+sT^2+t removed. We give an explicit nonzero morphism X times X to a smooth connected commutative k-wound unipotent group of dimension three, zero on both coordinate slices through infinity. Four rational functions and one polynomial identity give the construction; irreducibility, woundness and global regularity are proved directly. We also give two choices of embeddings of the factors of one finite reduced algebra whose composita have imperfection one and two, disproving the embedding-independence assertion in Proposition 2.5 of arXiv:2307.04649v4. The closed point is not geometrically irreducible; no claim is made about that restricted variant, characteristic different from two, corrected invariants or unrelated applications. This four-page English unrefereed preprint was developed with AI assistance and self-audited. Exact polynomial checks supplement the written proof; independent review, formal proof-assistant verification and absolute priority are not claimed.

Record

Affiliation
Mercury Software GmbH
Result
Complete counterexample
Categories
math.AG
Manuscript
27 October 2026
Online release
27 October 2026
Version
1.0
License
Creative Commons Attribution 4.0 International

Files and verification

The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.

Citation

Alper Ferudun, “A Characteristic-Two Counterexample to Rigidity for a Punctured Projective Line,” EulerSolve Research Papers, OWR-7155441-002, 2026. https://doi.org/10.5281/zenodo.23683405.

BibTeX
@misc{ferudun2026characteristictworigidity,
  author = {Ferudun, Alper},
  title = {A Characteristic-Two Counterexample to Rigidity for a Punctured Projective Line},
  year = {2026},
  howpublished = {EulerSolve Research Papers},
  url = {https://eulersolve.org/papers/owr-7155441-002/},
  doi = {10.5281/zenodo.23683405},
  note = {OWR-7155441-002; unrefereed preprint}
}

More research papers

Show all 461 other papers

All 462 research papers →