Nonsimplicial toric Nullstellensatz and stacky GKZ theory

技术摘要：非单纯形托里奇零点定理与堆叠式 GKZ 理论

问题陈述
经典的托里奇几何在单纯形托里奇簇与多分次交换代数之间建立了稳健的字典，这主要通过 Cox 环 $S$ 和无关理想 $B$ 来实现。这一由 Cox 开创的框架将希尔伯特零点定理推广到了单纯形托里奇簇，并提供了闭子簇与包含在 $B$ 中的根齐次理想之间的双射对应关系。然而，这一对应关系对于非单纯形托里奇簇失效了。在非单纯形情况下，Cox 环 $S$（由全除子类群 $\text{Cl}(X)$ 分次）和无关理想 $B$ 并不足以唯一地分类子簇或子方案。具体而言，在 $S$ 中不同的根齐次理想可能对应相同的子簇，且由于簇 $X$ 不再是仿射方案由环面作用下的几何商，分类相干层也变得具有歧义。此外，虽然托里奇簇自然出现在 Gelfand–Kapranov–Zelevink (GKZ) 几何中的背景下，但当试图将这些构造提升到其关联的规范堆叠（canonical stacks）时，GKZ 扇中锥与托里奇簇之间的关联的函子性会发生崩溃。

方法论
作者通过将 Cox 环的分次从全除子类群 $\text{Cl}(X)$ 转移到 $\mathbb{Q}$-Cartier 除子子群 $\text{Q-Car}(X)$ 来解决这些缺陷。

1. $\mathbb{Q}$-Cartier Cox 环 ($\check{S}$): 论文定义了一个新环 $\check{S} = \bigoplus_{d \in \text{Q-Car}(X)} H^0(X, \mathcal{O}_X(d))$，它是标准 Cox 环 $S$ 的一个子环。相应的无关理想为 $\check{B} = B \cap \check{S}$。该构造将注意力限制在某些整数倍为 Cartier 除子的次数上。
2. $\mathbb{Q}$-Cartier 堆叠 ($X^{\text{Q-Car}}$): 作者将一个托里奇 Deligne–Mumford (DM) 堆叠与 $X$ 关联，定义为全局商 $X^{\text{Q-Car}} := [\text{Spec}(\check{S}) - V(\check{B}) / \check{G}]$，其中 $\check{G} = \text{Hom}_{\mathbb{Z}}(\text{Q-Car}(X), \mathbb{C}^*)$。
3. 托里奇堆叠数据: 为了提供 $X^{\text{Q-Car}}$ 的组合描述，作者构造了一个特定的托里奇堆叠数据 $(\tilde{N}, N, \tilde{\Sigma}, \beta)$。这涉及定义一个格 $\tilde{N}$，作为由表示非单纯形锥中射线线性相关性的子格生成的自由阿贝尔群的商。映射 $\beta$ 诱导了扇 $\tilde{\Sigma}$ 与原扇 $\Sigma$ 之间的组合等价。
4. 堆叠式 GKZ 理论: 该方法论被扩展到 GKZ 背景中。对于 GKZ 扇 $\Sigma_{\text{GKZ}}$ 中的每个锥 $\Gamma$，作者使用一个包含了“额外射线”（不在当前扇或无关理想中的权重）的修改后的堆叠数据来定义一个托里奇堆叠 $X_\Gamma$。这种构造确保了赋值 $\Gamma \mapsto X_\Gamma$ 是函子的。

核心贡献与结果

• 托里奇理想-簇对应关系 (定理 A): 论文证明了对于任何半射影托里奇簇 $X$（无论是单纯形的还是非单纯形的），在闭子簇与包含在 $\check{B} \subseteq \check{S}$ 中的根齐次理想 $I$ 之间存在双射对应关系。通过利用 $\mathbb{Q}$-Cartier Cox 环，该结果将 Cox 的结果推广到了非单纯形情况。证明是通过直接的代数几何（使用几何商）和堆叠理论两种方式提供的。
• 层与子方案的分类 (定理 B): 作者确立了 $X^{\text{Q-Car}}$ 是一个以 $X$ 为粗模空间的托里奇 DM 堆叠。至关重要的是，$X^{\text{Q-Car}}$ 对于“任何 $\mathbb{Q}$-Cartier 除子的拉回均为 Cartier 除子”这一性质是普遍的。
  • $X^{\text{Q-Car}}$ 上的拟相干层范畴等价于 $\text{Q-Car}(X)$-分次的 $\check{S}$-模关于 $\check{B}$-挠的模范畴。
  • 堆叠 $X^{\text{Q-Car}}$ 是光滑的，当且仅当 $X$ 是单纯形的。
  • 该框架解决了分类子方案时的歧义：$\check{S}$ 中不同的理想对应于堆叠中不同的子方案，只有当它们在 $\check{B}$-挠意义下相同时，才会映射到 $X$ 的同一个子方案。
• 与其他环的关系比较: 论文澄清了三个环之间的关系：标准 Cox 环 $S$（Weil 除子）、$\mathbb{Q}$-Cartier Cox 环 $\check{S}$ 以及 Picard 环 $S_{\text{Pic}}$（Cartier 除子）。它表明 $S_{\text{Pic}} \subseteq \check{S} \subseteq S$，并且其关联的堆叠构成了一系列态射 $X_{\text{can}} \to X^{\text{Q-Car}} \to X_{\text{Pic}} \to X$，其中 $X_{\text{Pic}}$ 同构于 $X$。
• 堆叠式 GKZ 理论 (定理 C): 论文构造了一个托里奇 DM 堆叠的函子图 $F: \Sigma_{\text{GKZ}} \to \{\text{DM 堆叠}\}$，提升了标准 GKZ 理论中对于簇的函子性。
  • 对于每个锥 $\Gamma \in \Sigma_{\text{GKZ}}$，存在一个粗模空间为 $X_\Gamma$ 的托里奇堆叠 $X_\Gamma$。
  • 该赋值对于锥的包含关系是函子的，恢复了在使用规范堆叠时丢失的函子性。
  • $X_\Gamma$ 通过有限映射介于簇 $X_\Gamma$ 与 $\mathbb{Q}$-Cartier 堆叠 $X_{\Gamma, \text{Q-Car}}$ 之间。当 $\Gamma$ 位于移动锥内时，$X_\Gamma = X_{\Gamma, \text{Q-Car}}$。
  • 此构造与先前工作中定义的共同细分 $\tilde{X}$ (BBB+25) 是兼容的，确保了函子性可以扩展到共同细分。

意义
论文声称，引入 $\mathbb{Q}$-Cartier Cox 环及其关联的 $\mathbb{Q}$-Cartier 堆叠，弥补了研究非单纯形托里奇簇时的根本缺陷。通过将焦点转向 $\mathbb{Q}$-Cartier 次数，作者恢复了此前在非单纯形情况下无法获得的理想-簇对应关系以及精确的模-层对应关系。此外，堆叠式 GKZ 理论的扩展为研究在规范堆叠失效时无法保持函子性的托里奇簇的形变几何提供了一个稳健的框架。这些结果通过堆叠的语言统一了单纯形和非单纯形托里奇簇的处理，提供了一个“正确”的几何对象 ($X^{\text{Q-Car}}$)，它既保留了 Cox 构造的组合简单性，又能准确反映底层簇的几何特性。