# Contributions to the Stable Derived Categories of Gorenstein Rings

Preprint · Vincent Gélinas

- Archive id: arxiv:2610.32074
- Published: 2026-10-23
- arXiv: https://arxiv.org/abs/2610.32074
- Citations: 2
- Source URL: https://arxiv.org/abs/2610.32074
- PDF: https://arxiv.org/pdf/2610.32074
- Provenance: arxiv

## Abstract

The stable derived category $D\_{sg}(R)$ of a Gorenstein ring $R$ is the Verdier quotient of the bounded derived category $D^b(\\mathsf{mod}\\, R)$ by the thick subcategory of perfect complexes, and was introduced by Buchweitz as a homological measure of the singularities of $R$. This thesis contributes to its study, centered around representation-theoretic and Koszul duality aspects. In Part I, we complete (over $\\mathbb{C}$) the classification of homogeneous complete intersection isolated singularities $R$ for which $D^{\\mathbb{Z}}\_{sg}(R)$ (respectively, $D^b(\\mathsf{coh}\\, X)$ for $X = \\mathsf{proj}\\, R$) contains a tilting object. We then use results of Buchweitz-Iyama-Yamaura to describe the indecomposable objects in $D\_{sg}^{\\mathbb{Z}}(R\_Y)$ for $R\_Y$ the coordinate rings of $4$ points on $\\mathbb{P}^1$ and $4$ points on $\\mathbb{P}^2$ in general position, and classify their Betti tables. In Part II, for $R$ a Koszul Gorenstein algebra, we study a natural pair of subcategories whose intersection $\\mathcal{H}^{\\mathsf{lin}}(R) \\subseteq D\_{sg}^{\\mathbb{Z}}(R)$ consists of modules with eventually linear projective resolutions. We prove that such a pair forms a bounded t-structure if and only if $R$ is absolutely Koszul in the sense of Herzog-Iyengar, in which case $D^b(\\mathcal{H}^{\\mathsf{lin}}(R)) \\cong D\_{sg}^{\\mathbb{Z}}(R)$. We then relate the heart to modules over the Koszul dual $R^!$. This extends the BGG correspondence to any pair of Koszul dual algebras $(R, R^!)$ with $R$ absolutely Koszul Gorenstein, applying e.g. to elliptic normal curves and del Pezzo surfaces of degree $\\geq 4$. Finally, we relate our results to conjectures of Bondal and Minamoto on the graded coherence of AS-regular algebras and higher preprojective algebras; we characterise when these conjectures hold in a restricted setting, and give counterexamples to both in all dimensions $\\geq 4$.

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

Topics: [Landmark Results in Pure Mathematics](https://space-kitty.com/topics/landmark-math-results)

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