[论文解读] Smooth toric DM stacks

Barbara Fantechi, Étienne Mann+1 more|ArXiv.org|Aug 9, 2007

Algebraic Geometry and Number Theory参考文献 20被引用 43

一句话总结

本文通過 Deligne-Mumford 環的作用，以幾何方式定義光滑 тор型 Deligne-Mumford 堆疊，並證明其與 Borisov、Chen 和 Smith 的組合堆疊扇形定義等價。主要貢獻在於自下而上的分類：任何此類堆疊均可表示為在單純性 тор型代數曲面之上的一系列根堆疊構造，其明確不變量與除子次數及 Picard 群中的線叢類相關。

ABSTRACT

We give a new definition of smooth toric DM stacks in the same spirit of toric varieties. We show that our definition is equivalent to the one of Borisov, Chen and Smith in terms of stacky fans. In particular, we give a geometric interpretation of the combinatorial data contained in a stacky fan. We also give a bottom up classification in terms of simplicial toric varieties and fiber products of root stacks.

研究动机与目标

• 提供一種基於作用的幾何定義，以定義光滑 тор型 Deligne-Mumford 堆疊，使其與組合堆疊扇形框架一致。
• 建立在單純性 тор型代數曲面上，透過連續根堆疊擴張，對光滑 тор型 DM 堆疊進行自下而上的構造。
• 特徵化光滑 тор型 DM 堆疊的 Picard 群，並用其分類完備的 тор型軌道與加權投影堆疊。
• 證明對於具有平凡通用穩定子的堆疊，其 Brauer 群到開稠密環的映射是單射。
• 透過堆疊版本的 Zariski 主定理，證明在通用穩定子情形下，從慣性堆疊到粗模空間的自然態射是同構。

提出的方法

• 將 Deligne-Mumford 環定義為與 $T \times \mathcal{B}G$ 同構的 Picard 堆疊，其中 $T$ 為環，$G$ 為有限交換群。
• 將光滑 тор型 DM 堆疊構造為光滑、分離的 Deligne-Mumford 堆疊，其上具有 Deligne-Mumford 環作用，且其開稠密軌道同構於環。
• 利用標準堆疊構造，將粗模空間態射分解為 $\mathcal{X}^{\mathrm{rig}} \to \mathcal{X}^{\mathrm{can}} \to X$，其中 $X$ 為單純性 тор型代數曲面。
• 將 $\mathcal{X}^{\mathrm{rig}}$ 實現為在扇形射線對應的 тор型除子上取根堆疊的纖積，其次數 $a_i$ 對應於扇形的射線。
• 將 $\mathcal{X}$ 實現為在 $\mathrm{Pic}(\mathcal{X}^{\mathrm{rig}})$ 中的線叢 $L_j$ 上取根堆疊的纖積，其階數為 $b_j$，且 $[L_j]$ 在 $\mathrm{Pic}(\mathcal{X}^{\mathrm{rig}})/b_j\mathrm{Pic}(\mathcal{X}^{\mathrm{rig}})$ 中唯一確定。
• 證明堆疊版本的 Zariski 主定理：在光滑 DM 堆疊之間，若態射為可表、雙有理、擬有限且滿射，則其為同構。

实验结果

研究问题

• RQ1 如何透過群作用，不依賴堆疊扇形，幾何地定義光滑 тор型 Deligne-Mumford 堆疊？
• RQ2 如何精確地透過根堆疊與單純性 тор型代數曲面，自下而上構造光滑 тор型 DM 堆疊？
• RQ3 堆疊扇形中的組合數據如何幾何對應於堆疊結構與不變量？
• RQ4 光滑 тор型 DM 堆疊的 Picard 群結構為何？其如何用於分類此類堆疊？
• RQ5 對於具有平凡通用穩定子的光滑 тор型 DM 堆疊，其 Brauer 群到開稠密環的映射是否為單射？

主要发现

• 透過 Deligne-Mumford 環作用定義的光滑 тор型 DM 堆疊的幾何定義，與 Borisov、Chen 和 Smith 的堆疊扇形定義等價。
• 每一個具有環 $T \times \mathcal{B}G$ 的光滑 тор型 DM 堆疊 $\mathcal{X}$，均可表示為在 $\mathcal{X}^{\mathrm{rig}}$ 上取根堆疊的纖積，其中次數 $a_i$ 由扇形射線唯一確定。
• 堆疊 $\mathcal{X}$ 同構於在 $\mathrm{Pic}(\mathcal{X}^{\mathrm{rig}})$ 中的線叢 $L_j$ 上取根堆疊的纖積，且 $[L_j]$ 在 $\mathrm{Pic}(\mathcal{X}^{\mathrm{rig}})/b_j\mathrm{Pic}(\mathcal{X}^{\mathrm{rig}})$ 中唯一確定。
• 加權投影堆疊被特徵化為具有循環 Picard 群的完備 тор型軌道。
• 對於具有平凡通用穩定子的光滑 тор型 DM 堆疊，其 Brauer 群到開稠密環的映射是單射。
• 堆疊版本的 Zariski 主定理成立：在光滑 DM 堆疊之間，若態射為可表、雙有理、擬有限且滿射，則其為同構。