Nonsimplicial toric Nullstellensatz and stacky GKZ theory

Technische Zusammenfassung: Nicht-simpliziale torische Nullstellensatz und Stacky-GKZ-Theorie

Problemstellung
Die klassische torische Geometrie etabliert eine robuste Korrespondenz zwischen der Geometrie simplizialer torischer Varietäten und der multigraduierten kommutativen Algebra, primär durch den Cox-Ring $S$ und das irrelevante Ideal $B$. Dieser von Cox geprägte Rahmen generalisiert Hilbert's Nullstellensatz für simpliziale torische Varietäten, indem er eine bijektive Korrespondenz zwischen abgeschlossenen Untervarietäten und radikalen homogenen Idealen innerhalb von $B$ bereitstellt. Diese Korrespondenz versagt jedoch für nicht-simpliziale torische Varietäten. Im nicht-simplizialen Fall reichen der Cox-Ring $S$ (graduiert nach der vollen Divisorklassengruppe $\text{Cl}(X)$) und das irrelevante Ideal $B$ nicht aus, um Untervarietäten oder Teilschemata eindeutig zu klassifizieren. Speziell können verschiedene radikale homogene Ideale in $S$ zur selben Untervarietät führen, und die Klassifizierung kohärenter Garben wird mehrdeutig, da die Varietät $X$ keine geometrische Quotientenstruktur eines affinen Schemas durch eine Torus-Gruppe ist. Darüber hinaus treten torische Varietäten natürlicherweise im Kontext der Gelfand–Kapranov–Zelevinsky (GKZ)-Theorie der birationalen Geometrie auf, doch bricht die Funktorialität der Zuordnung von Kegeln im GKZ-Fan zu torischen Varietäten zusammen, wenn man versucht, diese Konstruktionen auf ihre assoziierten kanonischen Stacks zu heben.

Methodik
Die Autoren adressieren diese Defizite, indem sie die Graduierung des Cox-Rings von der vollen Divisorklassengruppe $\text{Cl}(X)$ auf die Untergruppe der $\mathbb{Q}$-Cartier-Divisoren, bezeichnet als $\text{Q-Car}(X)$, verschieben.

1. Der $\mathbb{Q}$-Cartier-Cox-Ring ($\check{S}$): Das Paper definiert einen neuen Ring $\check{S} = \bigoplus_{d \in \text{Q-Car}(X)} H^0(X, \mathcal{O}_X(d))$, der ein Unterring des Standard-Cox-Rings $S$ ist. Das entsprechende irrelevante Ideal ist $\check{B} = B \cap \check{S}$. Diese Konstruktion beschränkt die Aufmerksamkeit auf Grade, in denen ein Vielfaches ein Cartier-Divisor ist.
2. Der $\mathbb{Q}$-Cartier-Stack ($X^{\text{Q-Car}}$): Die Autoren assoziieren mit $X$ einen torischen Deligne–Mumford (DM) Stack, der als der globale Quotient $X^{\text{Q-Car}} := [\text{Spec}(\check{S}) - V(\check{B}) / \check{G}]$ definiert ist, wobei $\check{G} = \text{Hom}_{\mathbb{Z}}(\text{Q-Car}(X), \mathbb{C}^*)$.
3. Torische Stack-Daten: Um eine kombinatorische Beschreibung von $X^{\text{Q-Car}}$ zu liefern, konstruieren die Autoren ein spezifisches torisches Stack-Datum $(\tilde{N}, N, \tilde{\Sigma}, \beta)$. Dies beinhaltet die Definition eines Gitters $\tilde{N}$ als Quotient der freien abelschen Gruppe auf den Strahlen durch ein Untergitter, welches die linearen Abhängigkeiten der Strahlen in nicht-simplizialen Kegeln kodiert. Die Abbildung $\beta$ induziert eine kombinatorische Äquivalenz zwischen dem Fan $\tilde{\Sigma}$ und dem ursprünglichen Fan $\Sigma$.
4. Stacky-GKZ-Theorie: Die Methodik wird auf den GKZ-Kontext erweitert. Für jeden Kegel $\Gamma$ im GKZ-Fan $\Sigma_{\text{GKZ}}$ definieren die Autoren einen torischen Stack $X_\Gamma$ unter Verwendung eines modifizierten Stack-Datums, das „extraneöse Strahlen“ (Gewichte, die nicht im aktuellen Fan oder dem irrelevanten Ideal liegen) einbezieht. Diese Konstruktion stellt sicher, dass die Zuordnung $\Gamma \mapsto X_\Gamma$ funktoriel ist.

Wesentliche Beiträge und Ergebnisse

• Torische Ideal-Varietät-Korrespondenz (Theorem A): Das Paper beweist, dass für jede semiprojektive torische Varietät $X$ (simplizial oder nicht) eine bijektive Korrespondenz zwischen abgeschlossenen Untervarietäten von $X$ und radikalen homogenen Idealen $I \subseteq \check{B} \subseteq \check{S}$ besteht. Dies generalisiert Cox' Resultat für den nicht-simplizialen Fall unter Verwendung des $\mathbb{Q}$-Cartier-Cox-Rings. Der Beweis wird sowohl über direkte algebraische Geometrie (unter Verwendung geometrischer Quotienten) als auch über die Stack-Theorie erbracht.
• Klassifizierung von Garben und Teilschemata (Theorem B): Die Autoren etablieren, dass $X^{\text{Q-Car}}$ ein torischer DM-Stack mit dem groben Modulraum $X$ ist. Entscheidend ist, dass $X^{\text{Q-Car}}$ universal für die Eigenschaft ist, dass der Rückzug eines $\mathbb{Q}$-Cartier-Divisorsors ein Cartier-Divisor ist.
  • Die Kategorie der quasi-kohärenten Garben auf $X^{\text{Q-Car}}$ ist äquivalent zur Kategorie der $\text{Q-Car}(X)$-graduierten $\check{S}$-Moduln modulo $\check{B}$-Torsion.
  • Der Stack $X^{\text{Q-Car}}$ ist genau dann glatt, wenn $X$ simplizial ist.
  • Dieser Rahmen löst die Mehrdeutigkeit bei der Klassifizierung von Teilschemata auf: Distinkte Ideale in $\check{S}$ korrespondieren mit distinkten Teilschemata des Stacks, welche auf dasselbe Teilschema von $X$ abbilden, falls sie sich nur durch $\check{B}$-Torsion unterscheiden.
• Vergleich mit anderen Ringen: Das Paper klärt die Beziehung zwischen drei Ringen: dem Standard-Cox-Ring $S$ (Weil-Divisoren), dem $\mathbb{Q}$-Cartier-Cox-Ring $\check{S}$ und dem Picard-Ring $S_{\text{Pic}}$ (Cartier-Divisoren). Es zeigt, dass $S_{\text{Pic}} \subseteq \check{S} \subseteq S$ gilt und die assoziierten Stacks eine Sequenz von Morphismen $X_{\text{can}} \to X^{\text{Q-Car}} \to X_{\text{Pic}} \to X$ bilden, wobei $X_{\text{Pic}}$ isomorph zu $X$ ist.
• Stacky-GKZ-Theorie (Theorem C): Das Paper konstruiert ein funktorieles Diagramm torischer DM-Stacks $F: \Sigma_{\text{GKZ}} \to \{\text{DM Stacks}\}$, welches die Standard-Funktorialität der GKZ-Theorie für Varietäten hebt.
  • Für jeden Kegel $\Gamma \in \Sigma_{\text{GKZ}}$ existiert ein Stack $X_\Gamma$ mit dem groben Modulraum $X_\Gamma$.
  • Die Zuordnung ist bezüglich der Inklusion von Kegeln funktoriel, wodurch die Funktorialität wiederhergestellt wird, die bei der Verwendung kanonischer Stacks verloren ging.
  • $X_\Gamma$ liegt zwischen der Varietät $X_\Gamma$ und dem $\mathbb{Q}$-Cartier-Stack $X_{\Gamma, \text{Q-Car}}$ via endlicher Abbildungen. Wenn $\Gamma$ im Moving Cone liegt, gilt $X_\Gamma = X_{\Gamma, \text{Q-Car}}$.
  • Diese Konstruktion ist kompatibel mit dem gemeinsamen stacky-Refinement $\tilde{X}$, das in vorangegangener Arbeit (BBB+25) definiert wurde, wodurch sichergestellt wird, dass die Funktorialität auf das gemeinsame Refinement ausgedehnt wird.

Signifikanz
Das Paper behauptet, dass die Einführung des $\mathbb{Q}$-Cartier-Cox-Rings und des assoziierten $\mathbb{Q}$-Cartier-Stacks fundamentale Defizite in der Untersuchung nicht-simplizialer torischer Varietäten behebt. Durch die Verschiebung des Fokus auf $\mathbb{Q}$-Cartier-Grade stellen die Autoren die Ideal-Varietät-Korrespondenz sowie eine präzise Modul-Garben-Korrespondenz wieder her, die zuvor für nicht-simpliziale Fälle nicht verfügbar waren. Darüber hinaus bietet die stacky Erweiterung der GKZ-Theorie einen robusten Rahmen zur Untersuchung der birationalen Geometrie torischer Varietäten, in denen kanonische Stacks die Funktorialität nicht bewahren können. Diese Ergebnisse vereinigen die Behandlung von simplizialen und nicht-simplizialen torischen Varietäten innerhalb der Sprache der Stacks und bieten ein „korrektes“ geometrisches Objekt ($X^{\text{Q-Car}}$), das die kombinatorische Einfachheit der Cox-Konstruktion beibehält und gleichzeitig die Geometrie der zugrunde liegenden Varietät präzise widerspiegelt.