Nonsimplicial toric Nullstellensatz and stacky GKZ theory

Resumen Técnico: Nullstellensatz Torico No Simplicial y Teoría GKZ de Estructuras (Stacks)

Planteamiento del Problema
La geometría torica clásica establece un diccionario robusto entre la geometría de las variedades toricas simpliciales y el álgebra conmutativa multigraduada, principalmente a través del anillo de Cox $S$ y el ideal irrelevante $B$. Este marco, iniciado por Cox, generaliza el Nullstellensatz de Hilbert a las variedades toricas simpliciales, proporcionando una correspondencia biyectiva entre subvariedades cerradas e ideales homogéneos radicales contenidos en $B$. Sin embargo, esta correspondencia falla para las variedades toricas no simpliciales. En el caso no simplicial, el anillo de Cox $S$ (graduado por el grupo de clases de divisores completo $\text{Cl}(X)$) y el ideal irrelevante $B$ no bastan para clasificar unicamente las subvariedades o subesquemas, ya que distintos ideales homogéneos radicales en $S$ pueden corresponder a la misma subvariedad, y la clasificación de los haces coherentes se vuelve ambigua porque la variedad $X$ ya no es un cociente geométrico de un esquema afín por un toro. Además, las variedades toricas surgen naturalmente en el contexto de la teoría de Gelfand–Kapranov–Zelevinsky (GKZ) de la geometría biracional, pero la functorialidad de la asociación entre los conos en el fan GKZ y las variedades toricas se rompe al intentar elevar estas construcciones a sus estructuras asociadas (canonical stacks).

Metodología
Los autores abordan estas deficiencias desplazando la graduación del anillo de Cox desde el grupo de clases de divisores completo $\text{Cl}(X)$ hacia el subgrupo de divisores $\mathbb{Q}$-Cartier, denotado como $\text{Q-Car}(X)$.

1. El Anillo de Cox $\mathbb{Q}$-Cartier ($\check{S}$): El artículo define un nuevo anillo $\check{S} = \bigoplus_{d \in \text{Q-Car}(X)} H^0(X, \mathcal{O}_X(d))$, que es un subanillo del anillo de Cox estándar $S$. El ideal irrelevante correspondiente es $\check{B} = B \cap \check{S}$. Esta construcción restringe la atención a los grados donde algún múltiplo entero es un divisor de Cartier.
2. La Estructura (Stack) $\mathbb{Q}$-Cartier ($X^{\text{Q-Car}}$): Los autores asocian a $X$ una estructura de Deligne–Mumford (DM) torica definida como el cociente global $X^{\text{Q-Car}} := [\text{Spec}(\check{S}) - V(\check{B}) / \check{G}]$, donde $\check{G} = \text{Hom}_{\mathbb{Z}}(\text{Q-Car}(X), \mathbb{C}^*)$.
3. Datos de la Estructura Torica: Para proporcionar una descripción combinatoria de $X^{\text{Q-Car}}$, los autores construyen un dato de estructura torica específico $(\tilde{N}, N, \tilde{\Sigma}, \beta)$. Esto implica definir una red $\tilde{N}$ como un cociente del grupo abeliano libre sobre un subgrupo de la red que codifica las dependencias lineales de los rayos en los conos no simpliciales. El mapa $\beta$ induce una equivalencia combinatoria entre el fan $\tilde{\Sigma}$ y el fan original $\Sigma$.
4. Teoría GKZ de Estructuras: La metodología se extiende al entorno GKZ. Para cada cono $\Gamma$ en el fan $\Sigma_{\text{GKZ}}$, los autores definen una estructura torica $X_\Gamma$ utilizando un dato de estructura modificado que incorpora "rayos extrínsecos" (pesos que no están en el fan actual o en el ideal irrelevante). Esta construcción asegura que la asignación $\Gamma \mapsto X_\Gamma$ sea functorial.

Contribuciones Clave y Resultados

• Correspondencia Ideal-Variedad Torica (Teorema A): El artículo demuestra que para cualquier variedad torica semiproyectiva $X$ (simplicial o no), existe una correspondencia biyectiva entre las subvariedades cerradas de $X$ e ideales homogéneos radicales $I \subseteq \check{B} \subseteq \check{S}$. Esto generaliza el resultado de Cox a los casos no simpliciales mediante el uso del anillo de Cox $\mathbb{Q}$-Cartier. La prueba se proporciona tanto vía geometría algebraica directa (usando cocientes geométricos) como vía teoría de estructuras.
• Clasificación de Haces y Subesquemas (Teorema B): Los autores establecen que $X^{\text{Q-Car}}$ es una estructura (stack) DM torica con espacio de módulos grueso $X$. Crucialmente, $X^{\text{Q-Car}}$ es universal para la propiedad de que la tracción de cualquier divisor $\mathbb{Q}$-Cartier es de Cartier.
  • La categoría de haces cuasicoherentes en $X^{\text{Q-Car}}$ es equivalente a la categoría de $\check{S}$-módulos graduados por $\text{Q-Car}(X)$ módulo el $\check{B}$-torsión.
  • La estructura $X^{\text{Q-Car}}$ es suave si y solo si $X$ es simplicial.
  • Este marco resuelve la ambigüedad en la clasificación de subesquemas: distintos ideales en $\check{S}$ corresponden a distintos subesquemas de la estructura, los cuales mapean al mismo subesquema de $X$ solo si difieren por $\check{B}$-torsión.
• Comparación con Otros Anillos: El artículo clarifica la relación entre tres anillos: el anillo de Cox estándar $S$ (divisores de Weil), el anillo de Cox $\mathbb{Q}$-Cartier $\check{S}$, y el anillo de Picard $S_{\text{Pic}}$ (divisores de Cartier). Muestra que $S_{\text{Pic}} \subseteq \check{S} \subseteq S$ y que las estructuras asociadas forman una secuencia de morfismos $X_{\text{can}} \to X^{\text{Q-Car}} \to X_{\text{Pic}} \to X$, donde $X_{\text{Pic}}$ es isomórfica a $X$.
• Teoría GKZ de Estructuras (Teorema C): El artículo construye un diagrama functorial de estructuras DM toricas $F: \Sigma_{\text{GKZ}} \to \{\text{Estructuras DM}\}$ que eleva la functorialidad estándar de la teoría GKZ para variedades.
  • Para cada cono $\Gamma \in \Sigma_{\text{GKZ}}$, existe una estructura $X_\Gamma$ con espacio de módulos grueso $X_\Gamma$.
  • La asignación es functorial con respecto a las inclusiones de conos, restaurando la functorialidad perdida al usar estructuras canónicas.
  • $X_\Gamma$ se sitúa entre la variedad $X_\Gamma$ y la estructura $\mathbb{Q}$-Cartier $X_{\Gamma, \text{Q-Car}}$ mediante mapas finitos. Cuando $\Gamma$ está en el cono de movimiento, $X_\Gamma = X_{\Gamma, \text{Q-Car}}$.
  • Esta construcción es compatible con la estructura de refinamiento común $\tilde{X}$ definida en el trabajo previo (BBB+25), asegurando que la functorialidad se extienda al refinamiento común.

Significancia
El artículo sostiene que la introducción del anillo de Cox $\mathbb{Q}$-Cartier y la estructura $\mathbb{Q}$-Cartier asociada remedia deficiencias fundamentales en el estudio de las variedades toricas no simpliciales. Al desplazar el enfoque hacia los grados $\mathbb{Q}$-Cartier, los autores recuperan la correspondencia ideal-variedad y una correspondencia precisa entre módulos y haces que anteriormente no estaban disponibles para los casos no simpliciales. Además, la extensión de la teoría GKZ a las estructuras proporciona un marco robusto para estudiar la geometría biracional de las variedades toricas donde las estructuras canónicas fallan en preservar la functorialidad. Estos resultados unifican el tratamiento de las variedades toricas simpliciales y no simpliciales dentro del lenguaje de las estructuras, ofreciendo un objeto geomético "correcto" ($X^{\text{Q-Car}}$) que retiene la simplicidad combinatoria de la construcción de Cox mientras refleja con precisión la geometría de la variedad subyacente.