Projective Units and Witt Vanishing for Stable Module Categories
Manuscript 19 October 2026 · Online 19 October 2026
Abstract
Let G be a finite group and let k be any field of odd positive characteristic. We prove that the symmetric and skew-symmetric Cartan homomorphisms from the Witt groups of projective kG-modules to those of all finite-dimensional kG-modules are isomorphisms. The proof constructs a projective symmetric form whose module Witt class is the trivial line. An explicit middle-layer calculation supplies this form for groups with normal cyclic Sylow subgroups; Dress's classical 2-local induction theorem then gives it for arbitrary G. Tensoring by a projective lift of the unit inverts both Cartan maps. Balmer's kernel-cokernel formulas consequently imply W^i(kG-stab)=0 for every integer i. No splitting-field hypothesis is required. The scope is the ordinary contragredient duality in odd positive characteristic, not characteristic-two variants, Grothendieck-Witt groups, support restrictions or endotrivial twists. This is an AI-assisted, self-audited, unrefereed preprint. No independent expert review, proof-assistant verification or absolute priority is claimed.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- [email protected] · GitHub
- Result
- Complete proof
- Categories
- math.KT · math.RT
- Manuscript
- 19 October 2026
- Online release
- 19 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, “Projective Units and Witt Vanishing for Stable Module Categories,” EulerSolve Research Papers, OWR-1315-001, 2026. https://doi.org/10.5281/zenodo.23481009.
BibTeX
@misc{ferudun2026projectiveunits,
author = {Ferudun, Alper},
title = {Projective Units and Witt Vanishing for Stable Module Categories},
year = {2026},
howpublished = {EulerSolve Research Papers},
url = {https://eulersolve.org/papers/owr-1315-001/},
doi = {10.5281/zenodo.23481009},
note = {OWR-1315-001; unrefereed preprint}
}