# A new proof of characteristic-free Knörrer periodicity

Preprint · Graham J. Leuschke

- Archive id: arxiv:2609.37839
- Published: 2026-09-29
- arXiv: https://arxiv.org/abs/2609.37839
- Source URL: https://arxiv.org/abs/2609.37839
- PDF: https://arxiv.org/pdf/2609.37839
- Provenance: arxiv

## Abstract

Let $R = S/(f)$ be a complete local hypersurface ring and let $A = S\[\\!\[u,v\]\\!\]/(f+uv)$. Pfister and Popescu showed that the stable categories of maximal Cohen-Macaulay modules over $R$ and over $A$ are equivalent, with no assumption on the characteristic. We give a short proof. If $(Φ,Ψ)$ is a matrix factorization of $h$ and $\\partial$ is a derivation, then $(\\partialΨ,\\partialΦ)$ is a null-homotopy for multiplication by $\\partial h$. Since $u$ and $v$ are partial derivatives of $f+uv$, they act as zero on the stable category of $A$, so the Koszul complex on $u$ and $v$ splits in the singularity category, and this gives density. For the double branched cover $S\[\\!\[z\]\\!\]/(f+z^2)$ the same argument yields $2z$: it recovers Knörrer's lemma up to free summands on the double branched cover when $2$ is a unit, and we show by an example that this lemma, and periodicity for the iterated double branched cover $S\[\\!\[z,w\]\\!\]/(f+z^2+w^2)$, fail in characteristic two. We also compute the second syzygy over $A$ of a maximal Cohen-Macaulay $R$-module by an explicit resolution, and show that the change of basis used there cannot be given by a universal matrix formula.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.