Nonsimplicial toric Nullstellensatz and stacky GKZ theory

Resumo Técnico: Nullstellensatz Torico Não-Simplicial e Teoria GKZ Estagiária (Stacky)

Enunciado do Problema
A geometria torica clássica estabelece um dicionário robusto entre a geometria de variedades toricas simpliciais e a álgebra comutativa multigraduada, principalmente através do anel de Cox $S$ e do ideal irrelevante $B$. Este arcabouço, pioneirismo de Cox, generaliza o Nullstellensatz de Hilbert para variedades toricas simpliciais, fornecendo uma correspondência bijetiva entre subvariedades fechadas e ideais homogêneos radicais contidos em $B$. No entanto, essa correspondência falha para variedades toricas não-simpliciais. No caso não-simplicial, o anel de Cox $S$ (graduado pelo grupo de classes de divisores completo $\text{Cl}(X)$) e o ideal irrelevante $B$ não são suficientes para classificar subvariedades ou subesquemas de forma única. Especificamente, distintos ideais homogêneos radicais em $S$ podem corresponder à mesma subvariedade, e a classificação de feixes coerentes torna-se ambígua porque a variedade $X$ não é mais um quociente geométrico de um esquema afim por um toro. Além disso, variedades toricas surgem naturalmente no contexto da teoria GKZ (Gelfand–Kapranov–Zelevinsky) de geometria biracional, mas a functoridade da associação entre cones no fan GKZ e variedades toricas quebra ao tentar elevar essas construções para seus respectivos stacks canônicos.

Metodologia
Os autores abordam essas deficiências deslocando a graduação do anel de Cox do grupo de classes de divisores completo $\text{Cl}(X)$ para o subgrupo de divisores $\mathbb{Q}$-Cartier, denotado por $\text{Q-Car}(X)$.

1. O Anel de Cox $\mathbb{Q}$-Cartier ($\check{S}$): O artigo define um novo anel $\check{S} = \bigoplus_{d \in \text{Q-Car}(X)} H^0(X, \mathcal{O}_X(d))$, que é um subanel do anel de Cox padrão $S$. O correspondente ideal irrelevante é $\check{B} = B \cap \check{S}$. Esta construção restringe a atenção aos graus onde algum múltiplo inteiro é um divisor de Cartier.
2. O Stack $\mathbb{Q}$-Cartier ($X^{\text{Q-Car}}$): Os autores associam a $X$ um stack de Deligne–Mumford (DM) torico definido como o quociente global $X^{\text{Q-Car}} := [\text{Spec}(\check{S}) - V(\check{B}) / \check{G}]$, onde $\check{G} = \text{Hom}_{\mathbb{Z}}(\text{Q-Car}(X), \mathbb{C}^*)$.
3. Dados do Stack Torico: Para fornecer uma descrição combinatória de $X^{\text{Q-Car}}$, os autores constroem um dado de stack torico específico $(\tilde{N}, N, \tilde{\Sigma}, \beta)$. Isso envolve definir um reticulado $\tilde{N}$ como um quociente do grupo abeliano livre sobre os raios por um subreticulado que codifica as dependências lineares dos raios em cones não-simpliciais. O mapa $\beta$ induz uma equivalência combinatória entre o fan $\tilde{\Sigma}$ e o fan original $\Sigma$.
4. Teoria GKZ Estagiária (Stacky): A metodologia é estendida para o cenário GKZ. Para cada cone $\Gamma$ no fan $\Sigma_{\text{GKZ}}$, os autores definem um stack torico $X_\Gamma$ usando um dado de stack modificado que incorpora "raios extrínsecos" (pesos que não estão no fan atual ou no ideal irrelevante). Esta construção garante que a atribuição $\Gamma \mapsto X_\Gamma$ seja functorial.

Principais Contribuições e Resultados

• Correspondência Ideal-Variedade Torica (Teorema A): O artigo prova que para qualquer variedade torica semiprojetiva $X$ (simplicial ou não), existe uma correspondência bijetiva entre subvariedades fechadas de $X$ e ideais homogêneos radicais $I \subseteq \check{B} \subseteq \check{S}$. Isso generaliza o resultado de Cox para o caso não-simplicial ao utilizar o anel de Cox $\mathbb{Q}$-Cartier. A prova é fornecida tanto via geometria algébrica direta (usando quocientes geométricos) quanto via teoria de stacks.
• Classificação de Feixes e Subesquemas (Teorema B): Os autores estabelecem que $X^{\text{Q-Car}}$ é um stack DM torico com espaço de módulos coarse $X$. Crucialmente, $X^{\text{Q-Car}}$ é universal para a propriedade de que o pullback de qualquer divisor $\mathbb{Q}$-Cartier é Cartier.
  • A categoria de feixes quase-coerentes em $X^{\text{Q-Car}}$ é equivalente à categoria de módulos $\check{S}$ graduados por $\text{Q-Car}(X)$ módulo o $\check{B}$-torção.
  • O stack $X^{\text{Q-Car}}$ é suave se, e somente se, $X$ é simplicial.
  • Este arcabouço resolve a ambiguidade na classificação de subesquemas: distintos ideais em $\check{S}$ correspondem a distintos subesquemas do stack, que mapeiam para o mesmo subesquema de $X$ apenas se diferirem por $\check{B}$-torção.
• Comparação com Outros Anéis: O artigo esclarece a relação entre três anéis: o anel de Cox padrão $S$ (divisores de Weil), o anel de Cox $\mathbb{Q}$-Cartier $\check{S}$, e o anel de Picard $S_{\text{Pic}}$ (divisores de Cartier). Mostra que $S_{\text{Pic}} \subseteq \check{S} \subseteq S$ e que os stacks associados formam uma sequência de morfismos $X_{\text{can}} \to X^{\text{Q-Car}} \to X_{\text{Pic}} \to X$, onde $X_{\text{Pic}}$ é isomórfico a $X$.
• Teoria GKZ Estagiária (Stacky) (Teorema C): O artigo constrói um diagrama functorial de stacks DM toricos $F: \Sigma_{\text{GKZ}} \to \{\text{stacks DM}\}$ que eleva a functoridade padrão da teoria GKZ para variedades.
  • Para cada cone $\Gamma \in \Sigma_{\text{GKZ}}$, existe um stack $X_\Gamma$ com espaço de módulos coarse $X_\Gamma$.
  • A atribuição é functorial em relação às inclusões de cones, restaurando a functoridade perdida ao usar stacks canônicos.
  • $X_\Gamma$ situa-se entre a variedade $X_\Gamma$ e o stack $\mathbb{Q}$-Cartier $X_{\Gamma, \text{Q-Car}}$ via mapas finitos. Quando $\Gamma$ está no cone de movimento, $X_\Gamma = X_{\Gamma, \text{Q-Car}}$.
  • Esta construção é compatível com o refinamento estagiário comum $\tilde{X}$ definido no trabalho anterior (BBB+25), garantindo que a functoridade se estenda ao refinamento comum.

Significância
O artigo afirma que a introdução do anel de Cox $\mathbb{Q}$-Cartier e do respectivo stack $\mathbb{Q}$-Cartier remedia deficiências fundamentais no estudo de variedades toricas não-simpliciais. Ao deslocar o foco para graus $\mathbb{Q}$-Cartier, os autores recuperam a correspondência ideal-variedade e uma correspondência módulo-feixe precisa que anteriormente não estavam disponíveis para casos não-simpliciais. Além disso, a extensão estagiária da teoria GKZ fornece um arcabouço robusto para estudar a geometria biracional de variedades toricas onde os stacks canônicos falham em preservar a functoridade. Os resultados unificam o tratamento de variedades toricas simpliciais e não-simpliciais dentro da linguagem de stacks, oferecendo um objeto geométrico "correto" ($X^{\text{Q-Car}}$) que retém a simplicidade combinatória da construção de Cox enquanto reflete com precisão a geometria da variedade subjacente.