[论文解读] The Orbifold Chow Ring of Hypertoric Deligne-Mumford Stacks

Yunfeng Jiang, Hsian‐Hua Tseng|ArXiv.org|Dec 9, 2005

Algebraic Geometry and Number Theory参考文献 15被引用 9

一句话总结

本文通过堆叠超平面排列引入了超辛 Deligne-Mumford 堆栈，并将其作为多扇形上斯坦利-雷思纳环的推广，计算了其轨道商环。关键贡献是基于多扇形结构上的分数部分与上取整函数，给出了轨道商环的组合公式，该公式在创痕性解析与轨道 Gromov-Witten 理论中具有应用。

ABSTRACT

Hypertoric varieties are determined by hyperplane arrangements. In this paper, we use stacky hyperplane arrangements to define the notion of hypertoric Deligne-Mumford stacks. Their orbifold Chow rings are computed. As an application, some examples related to crepant resolutions are discussed.

研究动机与目标

• 通过源自超平面排列与 Gale 对偶的堆叠超平面排列，定义超辛 Deligne-Mumford 堆栈。
• 利用多扇形与分数部分，将超辛簇的轨道商环推广至堆栈情形。
• 研究超凯勒几何中轨道商环与创痕性解析之间的关系。
• 探讨向堆叠超平面排列中添加射线是否能产生光滑的超辛簇或创痕性解析。
• 为研究超辛几何中的轨道上同调与 Gromov-Witten 不变量提供组合框架。

提出的方法

• 通过具有有限余核的同态 $\beta: \mathbb{Z}^m \to N$ 与 Gale 对偶 $DG(\beta)$ 中的通用元素 $\theta$，定义堆叠超平面排列 $\mathcal{A} = (N, \beta, \theta)$。
• 通过 $\overline{N}_L$ 中的单纯扇形 $\Sigma_\theta$，构造 $\beta$ 的 Lawrence 提升 $\beta_L$，从而定义 Lawrence 仿射 DM 堆栈 $\mathcal{X}(\mathbf{\Sigma_\theta})$。
• 通过商构造，将超辛 DM 堆栈 $\mathcal{M}(\mathcal{A})$ 定义为 Lawrence 仿射 DM 堆栈的闭子堆栈。
• 从 $\beta$ 的像模 torsion 构造多扇形 $\Delta_{\mathbf{\beta}}$，其锥对应于 $\{\overline{b}_1, \dots, \overline{b}_m\}$ 的线性无关子集。
• 定义集合 $Box(\Delta_{\mathbf{\beta}})$，其元素为对 $(v, \sigma)$，其中 $v \in N$，$\sigma$ 为锥，且 $\overline{v} = \sum \alpha_i \overline{b}_i$，满足 $0 < \alpha_i < 1$，该集合参数化扭扇形。
• 将轨道商环构造为分次环 $\mathbb{Q}[\Delta_{\mathbf{\beta}}] = \bigoplus_{(c,\sigma) \in N^{\Delta_{\mathbf{\beta}}}} \mathbb{Q} \cdot y^{(c,\sigma)}$，其乘法通过上取整函数与 $\epsilon$-函数定义，以确保在相交锥之间兼容。

实验结果

研究问题

• RQ1 如何系统地从堆叠超平面排列构造超辛 Deligne-Mumford 堆栈？
• RQ2 超辛 DM 堆栈的轨道商环结构为何？其如何推广拟阵的斯坦利-雷思纳环？
• RQ3 能否利用多扇形与分数部分，以组合方式描述轨道商环？
• RQ4 在超凯勒设定下，向堆叠超平面排列中添加射线是否能产生创痕性解析？
• RQ5 是否存在对超辛轨道簇的超凯勒解析的组合描述？

主要发现

• 超辛 DM 堆栈 $\mathcal{M}(\mathcal{A})$ 的轨道商环同构于分次环 $\mathbb{Q}[\Delta_{\mathbf{\beta}}]$，该环由满足 $c \in N$，$\sigma$ 为多扇形 $\Delta_{\mathbf{\beta}}$ 中的锥，且 $\overline{c} = \sum a_i \overline{b}_i$（$a_i > 0$ 为有理数）的对 $(c,\sigma)$ 构成。
• 环 $\mathbb{Q}[\Delta_{\mathbf{\beta}}]$ 上的分次由 $\deg(y^{(c,\sigma)}) = |\tau| + \sum m_i$ 定义，其中 $\tau$ 是 $c$ 的分数部分所关联的锥，$m_i$ 为分解 $c = v + \sum m_i b_i$ 中的整数。
• 乘法规则使用上取整函数 $\lceil c \rceil_\sigma = \sum_{\rho_i \subseteq \tau} b_i + \sum_{\rho_i \subseteq \sigma} m_i b_i$，结构常数 $\epsilon(c_1, c_2)$ 确保在相交锥之间兼容。
• 在例子 $\mathcal{M}(\mathcal{A}) = T^*(\mathbb{P}(1,1,2))$ 中，轨道商环为 $\mathbb{Q}[x_3, x_4]/(x_4^2, x_3^3, x_3 x_4)$，表明存在非平凡的轨道结构。
• 当通过 $\beta'$ 添加一条射线时，所得堆栈 $\mathcal{M}(\mathcal{A}')$ 的 Chow 环为 $\mathbb{Q}[x_3, x_4, v]/(x_3 x_4 + x_4^2, x_3^3, x_3^2 x_4, v^2, v x_3, v x_4)$，其与 $\mathcal{M}(\mathcal{A})$ 的 Chow 环不构同，表明轨道几何不同。
• Chow 环的非构同性以及扩展矩阵 $\beta'$ 的非单模性，表明 $\mathcal{M}(\mathcal{A}')$ 不是光滑的，也无法成为创痕性解析，说明一般情况下添加射线无法得到超凯勒解析。