Nonsimplicial toric Nullstellensatz and stacky GKZ theory

Technische Samenvatting: Niet-simpliciale Torische Nullstellensatz en Stacky GKZ-theorie

Probleemstelling
Klassieke torische meetkunde vestigt een robuuste correspondentie tussen de meetkunde van simpliciale torische variëteiten en multigraadige commutatieve algebra, primair via de Cox-ring $S$ en het irrelevante ideaal $B$. Dit kader, gepionierd door Cox, generaliseert Hilbert's Nullstellensatz naar simpliciale torische variëteiten door middel van een bijectieve correspondentie tussen gesloten subvariëteiten en radicale homogene idealen bevattende $B$. Echter, deze correspondentie faalt voor niet-simpliciale torische variëteiten. In het niet-simpliciale geval volstaan de Cox-ring $S$ (gegradeerd door de volledige divisor klassengroep $\text{Cl}(X)$) en het irrelevante ideaal $B$ niet om subvariëteiten of subschema's uniek te classificeren. Specifiek kunnen verschillende radicale homogene idealen in $S$ corresponderen met dezelfde subvariëteit, en is de classificatie van coherente schoven ambigu omdat de variëteit $X$ niet langer een geometisch quotient is van een affiene schema door een torus. Bovendien ontstaan torische variëteiten van nature in de context van de Gelfand–Kapranov–Zelevinsky (GKZ) theorie van birationale meetkunde, maar de functorialiteit van de associatie tussen conussen in de GKZ-fan en torische variëteiten breekt af wanneer men probeert deze constructies te liften naar hun geassocieerde canonieke stacks.

Methodologie
De auteurs pakken deze tekortkomingen aan door de gradatie van de Cox-ring te verschuiven van de volledige divisor klassengroep $\text{Cl}(X)$ naar de subgroep van $\mathbb{Q}$-Cartier divisors, aangeduid als $\text{Q-Car}(X)$.

1. De $\mathbb{Q}$-Cartier Cox-ring ($\check{S}$): Het artikel definieert een nieuwe ring $\check{S} = \bigoplus_{d \in \text{Q-Car}(X)} H^0(X, \mathcal{O}_X(d))$, die een subring is van de standaard Cox-ring $S$. Het bijbehorende irrelevante ideaal is $\check{B} = B \cap \check{S}$. Deze constructie beperkt de aandacht tot graden waar een veelvoud een Cartier-divisor is.
2. De $\mathbb{Q}$-Cartier Stack ($X^{\text{Q-Car}}$): De auteurs associëren aan $X$ een torische Deligne–Mumford (DM) stack gedefinieerd als het globale quotient $X^{\text{Q-Car}} := [\text{Spec}(\check{S}) - V(\check{B}) / \check{G}]$, waarbij $\check{G} = \text{Hom}_{\mathbb{Z}}(\text{Q-Car}(X), \mathbb{C}^*)$.
3. Torische Stack-data: Om een combinatorische beschrijving van $X^{\text{Q-Car}}$ te bieden, construeren de auteurs een specifieke torische stack-datum $(\tilde{N}, N, \tilde{\Sigma}, \beta)$. Dit behelst het definiëren van een rooster $\tilde{N}$ als een quotient van de vrije abelse groep op de stralen door een subrooster dat de lineaire afhankelijkheden van stralen in niet-simpliciale conussen codeert. De afbeelding $\beta$ induceert een combinatorische equivalentie tussen de fan $\tilde{\Sigma}$ en de oorspronkelijke fan $\Sigma$.
4. Stacky GKZ-theorie: De methodologie wordt uitgebreid naar de GKZ-setting. Voor elke conus $\Gamma$ in de GKZ-fan $\Sigma_{\text{GKZ}}$ definiëren de auteurs een torische stack $X_\Gamma$ met behulp van een gemodificeerde stack-datum die "extraneïteitstralen" (gewichten die niet in de huidige fan of het irrelevante ideaal zitten) incorporeert. Deze constructie zorgt ervoor dat de toewijzing $\Gamma \mapsto X_\Gamma$ functorieel is.

Kernbijdragen en Resultaten

• Torische Ideaal-Variëteit Correspondentie (Stelling A): Het artikel bewijst dat voor elke semiprojectieve torische variëteit $X$ (simpliciaal of niet), er een bijectieve correspondentie bestaat tussen gesloten subvariëteiten van $X$ en radicale homogene idealen $I \subseteq \check{B} \subseteq \check{S}$. Dit generaliseert Cox' resultaat naar het niet-simpliciale geval door gebruik te maken van de $\mathbb{Q}$-Cartier Cox-ring. Het bewijs wordt geleverd via zowel directe algebraïsche meetkunde (gebruikmakend van geometrische quotients) als via stacktheorie.
• Classificatie van Schoven en Subschema's (Stelling B): De auteurs stellen vast dat $X^{\text{Q-Car}}$ een torische DM stack is met een grove moduli-ruimte $X$. Cruciaal is dat $X^{\text{Q-Car}}$ universeel is voor de eigenschap dat de pullback van elke $\mathbb{Q}$-Cartier divisor Cartier is.
  • De categorie van quasi-coherente schoven op $X^{\text{Q-Car}}$ is equivalent aan de categorie van $\text{Q-Car}(X)$-gegradeerde $\check{S}$-modules modulo $\check{B}$-torsie.
  • De stack $X^{\text{Q-Car}}$ is glad indien en slechts indien $X$ simpliciaal is.
  • Dit kader lost de ambiguïteit in de classificatie van subschema's op: verschillende idealen in $\check{S}$ corresponderen met verschillende subschema's van de stack, die slechts naar hetzelfde subschema van $X$ mappen indien zij verschillen door $\check{B}$-torsie.
• Vergelijking met Andere Ringen: Het artikel verheldert de relatie tussen drie ringen: de standaard Cox-ring $S$ (Weil-divisors), de $\mathbb{Q}$-Cartier Cox-ring $\check{S}$, en de Picard-ring $S_{\text{Pic}}$ (Cartier-divisors). Het toont aan dat $S_{\text{Pic}} \subseteq \check{S} \subseteq S$ en dat de geassocieerde stacks een sequentie van morfismen vormen $X_{\text{can}} \to X^{\text{Q-Car}} \to X_{\text{Pic}} \to X$, waarbij $X_{\text{Pic}}$ isomorf is aan $X$.
• Stacky GKZ-theorie (Stelling C): Het artikel construeert een functorieel diagram van torische DM stacks $F: \Sigma_{\text{GKZ}} \to \{\text{DM stacks}\}$ dat de standaard functorialiteit van de GKZ-theorie voor variëteiten lift.
  • Voor elke conus $\Gamma \in \Sigma_{\text{GKks}}$ bestaat er een stack $X_\Gamma$ met een grove moduli-ruimte $X_\Gamma$.
  • De toewijzing is functorieel met betrekking tot inclusies van conussen, wat de functorialiteit herstelt die verloren ging bij het gebruik van canonieke stacks.
  • $X_\Gamma$ ligt tussen de variëteit $X_\Gamma$ en de $\mathbb{Q}$-Cartier stack $X_{\Gamma, \text{Q-Car}}$ via eindige afbeeldingen. Wanneer $\Gamma$ in de bewegingsconus (moving cone) ligt, geldt $X_\Gamma = X_{\Gamma, \text{Q-Car}}$.
  • Deze constructie is compatibel met de gemeenschappelijke stacky verfijning $\tilde{X}$ gedefinieerd in eerder werk (BBB+25), waardoor de functorialiteit zich uitstrekt tot de gemeenschappelijke verfijning.

Betekenis
Het artikel beweert dat de introductie van de $\mathbb{Q}$-Cartier Cox-ring en de geassocieerde $\mathbb{Q}$-Cartier stack fundamentele tekortkomingen in de studie van niet-simpliciale torische variëteiten aanpakt. Door de focus te verleggen naar $\mathbb{Q}$-Cartier graden, herstellen de auteurs de ideaal-variëteit correspondentie en een precieze module-schove correspondentie die voorheen onbeschikbaar waren voor niet-simpliciale gevallen. Verder biedt de stacky uitbreiding van de GKZ-theorie een robuust kader voor het bestuderen van de birationale meetkunde van torische variëteiten waar canonieke stacks de functorialiteit niet behouden. De resultaten verenigen de behandeling van simpliciale en niet-simpliciale torische variëteiten binnen de taal van stacks, en bieden een "correct" geometrisch object ($X^{\text{Q-Car}}$) dat de combinatorische eenvoud van de Cox-constructie behoudt terwijl het de geometrie van de onderliggende variëteit accuraat reflecteert.