A Characteristic-Two Counterexample to Rigidity for a Punctured Projective Line
Manuscript 27 October 2026 · Online 27 October 2026
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
- Contact
- [email protected] · GitHub
- 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}
}