[论文解读] Classification of normal toric varieties over a valuation ring of rank one

Walter Gubler, Alejandro Soto|arXiv (Cornell University)|Mar 8, 2013

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

一句话总结

本文将正常toric概形在域和离散赋值环上的分类推广至任意秩一赋值环，利用Sumihiro定理的非诺特推广。它建立了此类赋值环上正常toric概形与ℝⁿ×ℝ₊中的Γ-可接受扇之间的双射对应，从而为热带几何中至关重要的这些概形提供了凸几何描述。

ABSTRACT

Normal toric varieties over a field or a discrete valuation ring are classified by rational polyhedral fans. We generalize this classification to normal toric varieties over an arbitrary valuation ring of rank one. The proof is based on a generalization of Sumihiro's theorem to this non-noetherian setting. These toric varieties play an important role for tropicalizations.

研究动机与目标

• 将经典正常toric概形在域和离散赋值环上的分类推广至任意秩一赋值环。
• 在赋值环上建立正常toric概形与ℝⁿ×ℝ₊中Γ-可接受扇之间的双射对应。
• 将Sumihiro定理中关于T-不变仿射开邻域存在的结论推广至赋值环的非诺特情形。
• 为理解赋值环上的toric概形（尤其与tropicalization的关系）提供基础框架。

提出的方法

• 通过半不变截面和到射影空间的开浸入，将Sumihiro定理推广至秩一赋值环上的正常toric概形。
• 从ℝⁿ×ℝ₊中的Γ-可接受锥σ构造仿射T-toric概形𝒱_σ，其中Γ-可接受性纳入了赋值结构。
• 利用toric概形中的轨道-面对应关系，将几何轨道与扇中锥的面联系起来。
• 证明仿射T-toric概形的交集是仿射的，并与面的交集相对应，从而确保仿射部分的粘合产生良定义的扇。
• 采用线性化技巧和线丛的全局截面，构造概形中点的T-不变仿射开邻域。
• 通过证明仿射部分的粘合数据可通过面交集重构为扇，建立正常T-toric概形与Γ-可接受扇之间的双射。

实验结果

研究问题

• RQ1 能否通过类似有理多面体扇的组合数据对任意秩一赋值环上的正常toric概形进行分类？
• RQ2 Sumihiro定理中关于T-不变仿射开邻域的存在性是否在赋值环的非诺特情形下依然成立？
• RQ3 此类toric概形的通用纤维与特殊纤维如何与经典toric概形及热带几何相关联？
• RQ4 精确的组合结构（即扇）是什么，它能对秩一赋值环上的正常T-toric概形进行分类？

主要发现

• 每个秩一赋值环上的正常T-toric概形均来自ℝⁿ×ℝ₊中的Γ-可接受扇，从而实现了完整分类。
• 此类toric概形的通用纤维对应于扇中锥的渐近锥所确定的toric概形。
• 特殊纤维是对应于多面复形Σ ∩ (ℝⁿ×{1})的顶点的toric概形的并集，但其本身不一定是toric概形。
• 本设定下Sumihiro定理的证明依赖于通过线丛的半不变全局截面构造T-不变仿射开邻域。
• 即使赋值非离散，分类依然成立，附加条件为：对非离散赋值，σ ∩ (ℝⁿ×{1})的顶点必须位于Γⁿ×{1}中。
• 该构造将Rohrer在Spec(ℤ)上的toric概形作为特例推广，但可通过基变换推广至更一般的基概形。