Categorical characterizations of regularity for algebraic stacks

1. Problemstellung und Motivation

Das zentrale Ziel des Artikels ist die Erweiterung kategorischer Charakterisierungen der Regulärität von Schemata auf algebraische Stacks.

• Hintergrund: Für Noethersche Schemata $X$ endlicher Krull-Dimension hat Neeman kürzlich gezeigt, dass die Regularität von $X$ äquivalent zu zwei kategorischen Eigenschaften der Kategorie der perfekten Komplexe $\text{Perf}(X)$ ist:
  1. Die Existenz eines starken Generators (strong generator).
  2. Die Existenz einer beschränkten t-Struktur auf $\text{Perf}(X)$.
• Das Problem: Diese Ergebnisse lassen sich nicht direkt auf algebraische Stacks übertragen, da sich die Beziehung zwischen perfekten Komplexen und kompakten Objekten in $D_{qc}(X)$ (der unbeschränkten abgeleiteten Kategorie quasi-kohärenter Garben) bei Stacks von der Situation bei Schemata unterscheidet. Bei Schemata fallen $\text{Perf}(X)$ und die kompakten Objekte $D_{qc}(X)^c$ zusammen; bei allgemeinen Stacks ist dies nicht der Fall.
• Ziel: Die Autoren wollen zeigen, dass diese kategorischen Charakterisierungen für eine große Klasse von Noetherschen algebraischen Stacks (insbesondere „konzentrierte" Stacks) gültig bleiben, und dabei die technischen Hindernisse überwinden, die durch die Stack-Struktur (z. B. nicht-triviale Stabilisatoren) entstehen.

2. Methodik und Vorgehensweise

Die Autoren verwenden eine Kombination aus homologischer Algebra, der Theorie der triangulierten Kategorien und der Geometrie algebraischer Stacks.

• Reduktion auf konzentrierte Stacks: Ein wesentlicher Schritt ist die Einschränkung auf konzentrierte algebraische Stacks. Ein Stack ist konzentriert, wenn die Struktur-Morphismus $X \to \text{Spec}(\mathbb{Z})$ quasi-kompakt, quasi-getrennt ist und wenn das direkte Bild unter Basiswechsel endliche Kohomologie-Dimension hat. Für solche Stacks fallen die perfekten Komplexe mit den kompakten Objekten in $D_{qc}(X)$ zusammen ($\text{Perf}(X) = D_{qc}(X)^c$).
• Homologische Charakterisierung der Regularität: Ein zentrales technisches Lemma (Proposition 1.3 / Korollar 3.8) etabliert, dass ein decenter, quasi-kompakter, lokal Noetherscher Stack genau dann regulär ist, wenn $\text{Perf}(X) = D^b_{\text{coh}}(X)$ gilt. Dies ist die algebraische Stack-Version eines klassischen Satzes für Schemata.
• Induktionsprinzipien: Die Beweise nutzen das Induktionsprinzip für algebraische Stacks (basierend auf [HR18]), um Eigenschaften von offenen und abgeschlossenen Unterräumen auf den gesamten Stack zu übertragen.
• Rekollemente und t-Strukturen: Für die Charakterisierung via t-Strukturen verwenden die Autoren die Theorie der Rekollemente (Recollements) triangulierter Kategorien. Sie zeigen, dass sich t-Strukturen entlang von Rekollementen „kleben" lassen, wobei sie spezifische Bedingungen an die Äquivalenzklassen der t-Strukturen stellen (Hypothese ★).
• Approximation durch kompakte Objekte: Die Arbeit nutzt Ergebnisse aus [HLLP25], die zeigen, dass Stacks mit quasi-endlichem und getrenntem Diagonalen die „Approximation durch kompakte Objekte" erfüllen. Dies ist entscheidend, um die Verbindung zwischen starken Generatoren und der Regularität herzustellen.

3. Schlüsselbeiträge und Hauptergebnisse

Die Arbeit liefert drei Hauptergebnisse, die die Theorie von Neeman auf algebraische Stacks verallgemeinern:

A. Äquivalenz von Regularität und Gleichheit der Kategorien (Proposition 1.3)

Für einen decenten, quasi-kompakten, lokal Noetherschen algebraischen Stack $X$ gilt:
$$X \text{ ist regulär} \iff \text{Perf}(X) = D^b_{\text{coh}}(X)$$
Dies ist ein fundamentaler Baustein, da er die Regularität rein kategorisch (durch die Struktur der abgeleiteten Kategorie) charakterisiert, ohne auf lokale Ringe zurückzugreifen.

B. Charakterisierung durch starke Generatoren (Theorem 1.1 / Theorem 5.4)

Sei $X$ ein konzentrierter, getrennter, Noetherscher algebraischer Stack mit affinem Diagonalen und endlicher Krull-Dimension, der die „Approximation durch kompakte Objekte" erfüllt. Dann gilt:
$$X \text{ ist regulär} \iff \text{Perf}(X) \text{ besitzt einen starken Generator.}$$
Dies verallgemeinert das Ergebnis von Neeman [Nee21] für Schemata auf den Stack-Kontext. Die Autoren zeigen zudem, dass die Existenz eines starken Generators die Endlichkeit der Krull-Dimension impliziert.

C. Charakterisierung durch beschränkte t-Strukturen (Theorem 1.2 / Theorem 6.7)

Sei $X$ ein konzentrierter Noetherscher Stack endlicher Krull-Dimension, der entweder

1. einen quasi-endlichen und getrennten Diagonalen hat, oder
2. ein Deligne-Mumford-Stack der Charakteristik 0 ist.

Dann gilt für jede abgeschlossene Teilmenge $Z \subseteq |X|$:
$$Z \subseteq \text{reg}(X) \iff \text{Perf}_Z(X) \text{ besitzt eine beschränkte t-Struktur.}$$
Hierbei bezeichnet $\text{Perf}_Z(X)$ die Kategorie der perfekten Komplexe, die auf $Z$ unterstützt sind.

D. Existenz klassischer Generatoren (Proposition 1.5)

Die Arbeit liefert ein Kriterium für die Existenz eines klassischen Generators für $D^b_{\text{coh}}(Z)$ für jeden integralen abgeschlossenen Unteralgebra-Stack $Z$. Dies verallgemeinert Ergebnisse von Iyengar/Takahashi und Dey/Lank von Schemata auf Stacks.

4. Technische Hindernisse und Lösungen

Ein wesentlicher Teil der Arbeit besteht darin, die spezifischen Schwierigkeiten bei algebraischen Stacks zu adressieren:

• Unterschied zwischen Perfekten und Kompakten: Bei Stacks wie $B\mathbb{G}_a$ (im Charakteristik $p > 0$) gibt es keine nicht-trivialen kompakten Objekte in $D_{qc}(X)$, aber $\text{Perf}(X)$ und $D^b_{\text{coh}}(X)$ sind dennoch nicht-trivial. Die Autoren umgehen dies, indem sie die Regularität über die perfekten Garben der verbleibenden Gerben (residual gerbes) an abgeschlossenen Punkten detektieren und die „Konzentriertheit" als notwendige Bedingung für die Äquivalenz $\text{Perf} = D^c$ fordern.
• Hypothese ★: Für die Charakterisierung via t-Strukturen müssen die Autoren sicherstellen, dass die Standard-t-Struktur auf $D_{qc, Z}(X)$ in der „bevorzugten Äquivalenzklasse" liegt (die durch einen kompakten Generator definiert wird). Dies ist für Stacks mit unendlichen Stabilisatoren (wie $B\mathbb{G}_m$) im Allgemeinen falsch. Die Autoren beweisen jedoch, dass diese Hypothese für Stacks mit quasi-endlichem Diagonalen und für Deligne-Mumford-Stacks der Charakteristik 0 erfüllt ist (Proposition 6.6).
• Vermeidung von „Weak Approximability": Im Gegensatz zu Neemans ursprünglichem Ansatz für Schemata, der auf der schwachen Approximierbarkeit von $D_{qc, Z}(X)$ beruhte, nutzen die Autoren hier Induktionsprinzipien und Rekollemente, um den Nachweis der Approximierbarkeit zu umgehen oder zu vereinfachen.

5. Bedeutung und Ausblick

• Verallgemeinerung der Theorie: Die Arbeit schließt eine Lücke in der homologischen Geometrie, indem sie zeigt, dass die tiefen Zusammenhänge zwischen der geometrischen Regularität eines Raumes und der kategorischen Struktur seiner abgeleiteten Kategorie auch im Kontext von algebraischen Stacks (einem fundamentalen Objekt der modernen algebraischen Geometrie) bestehen.
• Anwendbarkeit: Die Ergebnisse gelten für eine breite Klasse von Stacks, die in der Praxis häufig vorkommen, einschließlich Quotientenstacks und Deligne-Mumford-Stacks.
• Methodischer Fortschritt: Die Entwicklung von Techniken, um t-Strukturen auf Stacks zu handhaben und die Beziehung zwischen kompakten Objekten und perfekten Komplexen zu nutzen, bietet neue Werkzeuge für die Untersuchung der abgeleiteten Kategorien von Stack-Objekten.
• Folgerungen: Die Ergebnisse haben Implikationen für die Existenz von Generatoren in $D^b_{\text{coh}}$ und für das Verständnis der Singuläritätskategorien $D_{sg}(X)$ auf Stacks.

Zusammenfassend stellt dieser Artikel einen bedeutenden Schritt dar, um die kategorische Algebraische Geometrie von Schemata auf den allgemeineren Rahmen algebraischer Stacks zu erweitern und dabei die subtilen Unterschiede in der Struktur der abgeleiteten Kategorien sorgfältig zu berücksichtigen.