Nonsimplicial toric Nullstellensatz and stacky GKZ theory

Sintesi Tecnica: Nullstellensatz Torico Nonsimpliciale e Teoria GKZ Stacky

Enunciato del Probleo
La geometria torica classica stabilisce una robusta corrispondenza tra la geometria delle varietà toriche simpliciali e l'algebra commutativa multigradata, principalmente attraverso l'anello di Cox $S$ e l'ideale irrilevante $B$. Questo framework, pionierizzato da Cox, generalizza il Nullstellensatz di Hilbert alle varietà toriche simpliciali, fornendo una corrispondenza biunivoca tra sottovarietà chiuse e ideali omogenei radicali contenuti in $B$. Tuttavia, tale corrispondenza fallisce per le varietà toriche nonsimpliciali. Nel caso nonsimpliciale, l'anello di Cox $S$ (graduato dal pieno gruppo dei divisori di classe $\text{Cl}(X)$) e l'ideale irrilevante $B$ non sono sufficienti a classificare univocamente le sottovarietà o i sottoschemi; specificamente, distinti ideali omogenei radicali in $S$ possono corrispondere alla stessa sottovarietà, e la classificazione degli scemi coerenti diventa ambigua poiché la varietà $X$ non è più un quoziente geometrico di uno schema affine per un toro. Inoltre, mentre le varietà toriche emergono naturalmente nel contesto della teoria GKZ (Gelfand–Kapranov–Zelevinsky) della geometria birazionale, la funtorialità dell'associazione tra i coni in la fan GKZ e le varietà toriche si interrompe quando si tenta di elevare queste costruzioni ai loro stack canonici associati.

Metodologia
Gli autori affrontano queste carenze spostando la graduazione dell'anello di Cox dal gruppo di classe dei divisori $\text{Cl}(X)$ al sottogruppo dei divisori $\mathbb{Q}$-Cartier, indicato con $\text{Q-Car}(X)$.

1. L'Anello di Cox $\mathbb{Q}$-Cartier ($\check{S}$): Il documento definisce un nuovo anello $\check{S} = \bigoplus_{d \in \text{Q-Car}(X)} H^0(X, \mathcal{O}_X(d))$, che è un sottianello dell'anello di Cox standard $S$. Il corrispondente ideale irrilevante è $\check{B} = B \cap \check{S}$. Questa costruzione restringe l'attenzione ai gradi in cui un qualche multiplo è un divisore Cartier.
2. Lo Stack $\mathbb{Q}$-Cartier ($X^{\text{Q-Car}}$): Gli autori associano a $X$ uno stack di Deligne–Mumford (DM) torico definito come il quoziente globale $X^{\text{Q-Car}} := [\text{Spec}(\check{S}) - V(\check{B}) / \check{G}]$, dove $\check{G} = \text{Hom}_{\mathbb{Z}}(\text{Q-Car}(X), \mathbb{C}^*)$.
3. Dati dello Stack Torico: Per fornire una descrizione combinatoria di $X^{\text{Q-Car}}$, gli autori costruiscono un dato specifico di stack torico $(\tilde{N}, N, \tilde{\Sigma}, \beta)$. Ciò comporta la definizione di un reticolo $\tilde{N}$ come quoziente del gruppo abeliano libero sui raggi per un sottoreticolo che codifica le dipendenze lineari dei raggi in coni nonsimpliciali. La mappa $\beta$ induce un'equivalenza combinatoria tra la fan $\tilde{\Sigma}$ e la fan originale $\Sigma$.
4. Teoria GKZ Stacky: La metodologia è estesa al contesto GKZ. Per ogni cono $\Gamma$ nella fan $\Sigma_{\text{GKZ}}$, gli autori definiscono uno stack torico $X_\Gamma$ utilizzando un dato di stack modificato che incorpora "raggi estrinseci" (pesi non presenti nella fan corrente o nell'ideale irrilevante). Questa costruzione assicura che l'associazione $\Gamma \mapsto X_\Gamma$ sia funtoriale.

Contributi Chiave e Risultati

• Corrispondenza Ideale-Varietà Torica (Teorema A): Il documento dimostra che per ogni varietà torica semiproiettiva $X$ (simpliciale o meno), esiste una corrispondenza biunivoca tra sottovarietà chiuse di $X$ e ideali omogenei radicali $I \subseteq \check{B} \subseteq \check{S}$. Questo generalizza il risultato di Cox al caso nonsimpliciale utilizzando l'anello di Cox $\mathbb{Q}$-Cartier. La prova è fornita sia tramite geometria algebrica diretta (usando i quozienti geometrici) sia tramite la teoria degli stack.
• Classificazione di Scemi e Sottoschemi (Teorema B): Gli autori stabiliscono che $X^{\text{Q-Car}}$ è uno stack DM torico con spazio moduli coarse $X$. Fondamentalmente, $X^{\text{Q-Car}}$ è universale per la proprietà che il pullback di ogni divisore $\mathbb{Q}$-Cartier sia Cartier.
  • La categoria degli scemi quasi-coerenti su $X^{\text{Q-Car}}$ è equivalente alla categoria degli $\check{S}$-moduli graduati $\text{Q-Car}(X)$ modulo il $\check{B}$-torsione.
  • Lo stack $X^{\text{Q-Car}}$ è liscio se e solo se $X$ è simpliciale.
  • Questo framework risolve l'ambiguità nella classificazione dei sottoschemi: distinti ideali in $\check{S}$ corrispondono a distinti sottoschemi dello stack, che mappano allo stesso sottoschema di $X$ solo se differiscono per $\check{B}$-torsione.
• Confronto con Altri Anelli: Il documento chiarisce la relazione tra tre anelli: l'anello di Cox standard $S$ (divisori Weil), l'anello di Cox $\mathbb{Q}$-Cartier $\check{S}$, e l'anello di Picard $S_{\text{Pic}}$ (divisori Cartier). Mostra che $S_{\text{Pic}} \subseteq \check{S} \subseteq S$ e che gli stack associati formano una sequenza di morfismi $X_{\text{can}} \to X^{\text{Q-Car}} \to X_{\text{Pic}} \to X$, dove $X_{\text{Pic}}$ è isomorfo a $X$.
• Teoria GKZ Stacky (Teorema C): Il documento costruisce un diagramma funtoriale di stack DM torici $F: \Sigma_{\text{GKZ}} \to \{\text{stack DM}\}$ che eleva la standard funtorialità della teoria GKZ per le varietà.
  • Per ogni cono $\Gamma \in \Sigma_{\text{GKZ}}$, esiste uno stack $X_\Gamma$ con spazio moduli coarse $X_\Gamma$.
  • L'assegnazione è funtoriale rispetto alle inclusioni di coni, ripristinando la funtorialità persa quando si utilizzano gli stack canonici.
  • $X_\Gamma$ si colloca tra la varietà $X_\Gamma$ e lo stack $\mathbb{Q}$-Cartier $X_{\Gamma, \text{Q-Car}}$ tramite mappe finite. Quando $\Gamma$ risiede nel cono mobile, $X_\Gamma = X_{\Gamma, \text{Q-Car}}$.
  • Questa costruzione è compatibile con il comune raffinamento stacky $\tilde{X}$ definito nel lavoro precedente (BBB+25), assicurando che la funtorialità si estenda al raffinamento comune.

Significatività
Il documento sostiene che l'introduzione dell'anello di Cox $\mathbb{Q}$-Cartier e del relativo stack $\mathbb{Q}$-Cartier rimedia deficienze fondamentali nello studio delle varietà toriche nonsimplesi. Spostando l'attenzione sui gradi $\mathbb{Q}$-Cartier, gli autori recuperano la corrispondenza ideale-varietà e una precisa corrispondenza modulo-schemo che precedentemente non erano disponibili per i casi nonsimplesi. Inoltre, l'estensione stacky della teoria GKZ fornisce un framework robusto per studiare la geometria birazionale delle varietà toriche dove gli stack canonici falliscono nel preservare la funtorialità. I risultati unificano il trattamento delle varietà toriche semplici e nonsimplesi all'interno del linguaggio degli stack, offrendo un oggetto geometrico "corretto" ($X^{\text{Q-Car}}$) che mantiene la semplicità combinatoria della costruzione di Cox pur riflettendo accuratamente la geometria della varietà sottostante.