[论文解读] On the Grothendieck groups of toric stacks

Zheng Hua|ArXiv.org|Apr 18, 2009

Algebraic Geometry and Number Theory参考文献 2被引用 4

一句话总结

该论文通过柯兹ul复形技术和斯坦利-雷伊特纳环的科恩-麦克aul伊属性，证明了光滑完备的环面德利涅-穆尔弗雷德堆栈的格罗滕迪克群 $K_0$ 是无挠的。此外，还证明了当格点中存在挠时，该结果对环面堆栈依然成立；同时构造了一个开环面堆栈，其 $K$-理论中包含挠元，表明该结果无法推广至非完备堆栈。

ABSTRACT

In this note, we prove that the Grothendieck group of a smooth complete toric Deligne-Mumford stack is torsion free. This statement holds when the generic point is stacky. We also construct an example of open toric stack with torsion in K-theory. This is a part of the author's Ph.D thesis.

研究动机与目标

• 确定光滑完备环面德利涅-穆尔弗雷德堆栈的格罗滕迪克群 $K_0$ 的结构。
• 将无挠性结果扩展至在一般点具有非平凡稳定子群的堆栈（即当格点 $N$ 存在挠时）。
• 研究无挠性性质是否在非完备环面堆栈中依然成立。
• 构造一个非完备环面堆栈的显式例子，其 $K$-理论中包含挠元。

提出的方法

• 利用 [BH] 中建立的同构关系，将 $K_0({\mathcal{X}}_{\bf\Sigma})$ 表示为分式域 $R/I$ 的商，其中生成元 $x_i$ 映射到环面线丛类 $R_i$。
• 将定义关系 $h_j = \prod x_i^{\langle m_j,v_i\rangle} - 1$ 替换为 $g_j = \prod_{\langle m_j,v_i\rangle > 0} x_i^{\langle m_j,v_i\rangle} - \prod_{\langle m_j,v_i\rangle < 0} x_i^{-\langle m_j,v_i\rangle}$，以避免负指数并保持理想不变。
• 对序列 $g_1,\dots,g_d$ 及其扩展序列 $g_1,\dots,g_d,p$ 应用柯兹ul复形构造，利用映射锥关系 $K(g_1,\dots,g_d,p) = \operatorname{Cone}(\cdot p)[-1]$。
• 利用平坦基变换和在 $\mathbb{Z}$ 上逐纤维检查科恩-麦克aul伊性，证明斯坦利-雷伊特纳环 $A'$ 及其局部化 $A$ 的科恩-麦克aul伊性。
• 通过深度论证和柯兹ul上同调的消去定理，证明 $K_0({\mathcal{X}}_{\bf\Sigma})$ 上乘以 $p$ 的映射是单射，从而证明其无挠。
• 对于非约化情形，利用盖勒对偶群 $DG(\beta)$ 关于 $DG(\beta_{\text{red}})$ 的陪集分解，证明 $K_0$ 是约化堆栈的无挠 $K_0$ 的若干份的直和。

实验结果

研究问题

• RQ1 光滑完备环面德利涅-穆尔弗雷德堆栈的格罗滕迪克群 $K_0$ 是否无挠？
• RQ2 当格点 $N$ 存在挠时，$K_0$ 的无挠性是否仍对环面堆栈成立（即在一般点存在非平凡稳定子群）？
• RQ3 无挠性结果是否可能在非完备环面堆栈中失效？
• RQ4 $K_0$ 在开环面堆栈中的结构如何？其是否可能包含挠元？

主要发现

• 光滑完备环面德利涅-穆尔弗雷德堆栈 $K_0({\mathcal{X}}_{\bf\Sigma})$ 是 $\mathbb{Z}$ 上的自由模。
• 即使堆栈在一般点具有非平凡稳定子群（即格点 $N$ 存在挠），$K_0$ 的无挠性依然成立。
• 证明依赖于对所有素数 $p$，证明 $K_0$ 上乘以 $p$ 的映射是单射，利用柯兹ul复形映射锥的长正合列。
• 与扇图相关的斯坦利-雷伊特纳环在 $\mathbb{Z}$ 上是科恩-麦克aul伊环，这对深度和上同调消去论证至关重要。
• 对于非完备堆栈，结果不成立：构造了一个开环面堆栈，其 $K_0$ 中包含挠元。
• 在例子 $\mathcal{X} = \mathbb{P}(1,1,1,1,2,2) \setminus \{(E_1\cap E_2\cap E_3\cap E_4) \cup (E_5\cap E_6)\}$ 中，元素 $t(1-t)^2$ 是 $K_0(\mathcal{X})$ 中的挠元。