OWR-14218-004 · Positive-characteristic counterexample

Higher Koszul Homology of Square-Zero Algebras in Positive Characteristic

Manuscript 26 October 2026 · Online 26 October 2026

math.RAUnrefereed preprint

Abstract

We compute the higher Koszul homology, defined by the Euler cap differential, of A=k plus V with V squared zero and finite-dimensional V. In each total weight, the calculation is the natural map from invariants to coinvariants of a signed cyclic rotation. A word orbit contributes higher classes exactly when its sign is compatible and its length is divisible by the characteristic. An explicit necklace formula gives every bigraded dimension. In every positive characteristic, k[x,y]/(x,y)^2 is Koszul but has nonzero higher Koszul homology; a three-term characteristic-three cycle and boundary witness are displayed. The first nonzero positive homological degree is p-1 in characteristic p. This is a complete counterexample to a characteristic-free extension of Koszul acyclicity and the comparison with left Koszul homology. It does not resolve the characteristic-zero converse associated with UnsolvedMath record OWR-14218-004. Classical cyclic-word decomposition is credited. The English, AI-assisted preprint includes a complete proof, a self-audit and105 exact diagnostic checks. It is unrefereed; no absolute priority or formal verification is claimed.

Record

Affiliation
Mercury Software GmbH
Result
Positive-characteristic counterexample
Categories
math.RA
Manuscript
26 October 2026
Online release
26 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, “Higher Koszul Homology of Square-Zero Algebras in Positive Characteristic,” EulerSolve Research Papers, OWR-14218-004, 2026. https://doi.org/10.5281/zenodo.23669461.

BibTeX
@misc{ferudun2026higherkoszul,
  author = {Ferudun, Alper},
  title = {Higher Koszul Homology of Square-Zero Algebras in Positive Characteristic},
  year = {2026},
  howpublished = {EulerSolve Research Papers},
  url = {https://eulersolve.org/papers/owr-14218-004/},
  doi = {10.5281/zenodo.23669461},
  note = {OWR-14218-004; unrefereed preprint}
}

More research papers

Show all 450 other papers

All 451 research papers →