AIM-ALGEBRAIC_GEOMETRY-0162 · Complete scoped counterexample

Infinitesimal Lifting Does Not Imply Flatness for Green Functors

Manuscript 18 October 2026 · Online 18 October 2026

math.ATmath.AGmath.ACUnrefereed preprint

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
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}
}

More research papers

Show all 317 other papers

All 318 research papers →