Infinitesimal Lifting Does Not Imply Flatness for Green Functors
Manuscript 18 October 2026 · Online 18 October 2026
Abstract
Let k be any nonzero commutative ring of characteristic two. The ghost map from the constant C2-Tambara functor on k is finitely presented and has unique lifting against square-zero extensions, but is not flat for the relative Mackey box product. Its two orbit maps are the finite etale ring maps k to k x k and k to k, and both its Green and genuine Tambara differential modules vanish. An explicit monomorphism of modules acquires a nonzero top-supported kernel after tensoring. The ghost construction is known and is attributed to existing literature; the note applies it to the lifting-versus-flatness question in the 2016 AIM workshop report on equivariant derived algebraic geometry. It distinguishes infinitesimal lifting from Hill's flatness-based definition of formal etaleness. The broader derived geometry problem is not resolved. This is an AI-assisted, self-audited, unrefereed preprint with no absolute priority claim.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- [email protected] · GitHub
- Result
- Complete scoped counterexample
- Categories
- math.AT · math.AG · math.AC
- Manuscript
- 18 October 2026
- Online release
- 18 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, “Infinitesimal Lifting Does Not Imply Flatness for Green Functors,” EulerSolve Research Papers, AIM-ALGEBRAIC_GEOMETRY-0162, 2026. https://doi.org/10.5281/zenodo.23448648.
BibTeX
@misc{ferudun2026greenlifting,
author = {Ferudun, Alper},
title = {Infinitesimal Lifting Does Not Imply Flatness for Green Functors},
year = {2026},
howpublished = {EulerSolve Research Papers},
url = {https://eulersolve.org/papers/aim-algebraic-geometry-0162/},
doi = {10.5281/zenodo.23448648},
note = {AIM-ALGEBRAIC_GEOMETRY-0162; unrefereed preprint}
}