[论文解读] Comments on toric varieties

Howard M Thompson|ArXiv.org|Oct 21, 2003

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

一句话总结

本文通过用对偶格点 M 中有限生成但未必饱和的幺半群族取代扇形，将环面代数簇推广至非正规情形。证明了此类族可通过幺半群代数定义非正规环面代数簇，并表明通过迭代地对 Weil 除子的符号幂进行环面爆破可实现奇点的解析，最终使代数簇成为单纯形的，且不引入新的 torus-不变 Weil 除子。主要贡献在于提出一种基于局部化与饱和化的构造性、幺半群理论方法用于环面奇点解析。

ABSTRACT

Here are few notes on not necessarily normal toric varieties and resolution by toric blow-up. These notes are independent of, but in the same spirit as the earlier preprint arXiv:math.AG/0306221. That is, they focus on the fact that toric varieties are locally given by monoid algebras.

研究动机与目标

• 通过用对偶格点 M 中有限生成子幺半群族替代标准扇形描述，将环面代数簇理论推广至非正规情形。
• 刻画此类幺半群族在何种条件下可定义良态代数簇，推广经典扇形-代数簇对应关系。
• 为非正规环面代数簇提供一种基于环面爆破的奇点解析构造性方法。
• 证明重复对类群中阶为无限的 Weil 除子的符号幂进行爆破，可得到单纯形环面代数簇，且不引入新的 torus-不变 Weil 除子。
• 建立每个环面代数簇均可通过星形细分以幺半群理论工具实现投影环面奇点解析。

提出的方法

• 将广义扇形定义为对偶格点 M 中有限生成子幺半群 S ⊆ M 的有限族 Δ，满足对局部化封闭，且任意两个元素之和是某一同质化。
• 通过粘合每个 S ∈ Δ 对应的幺半群代数 k[S] 的谱，构造关联的（未必正规的）环面代数簇 XΔ。
• 利用饱和化 S^sat = ℝ≥0S ∩ ℤS 将非正规代数簇与它们的正规化联系起来，后者为由扇形给出的标准环面代数簇。
• 通过除子类群 Cl(S) = M / ℤS 刻画奇点，其中有限阶元素对应 Cartier 除子。
• 对 k[S] 中高度为一的素理想对应的理想实施爆破，特别地，对 m 阶符号幂（m 为不包含于射线上的首个人为点的最小公倍数）进行爆破。
• 证明每次此类爆破对应于正规化扇形中的星形细分，且重复应用可使代数簇单纯化，且不引入新的 Weil 除子。

实验结果

研究问题

• RQ1 如何在不依赖锥与饱和幺半群对偶性的情况下，将环面代数簇理论推广至非正规情形？
• RQ2 对偶格点 M 中有限生成子幺半群族的何种条件可确保其定义良态代数簇？
• RQ3 是否可通过环面爆破实现非正规环面代数簇的奇点解析，同时保持 torus-不变除子结构？
• RQ4 符号幂在构造非单纯形环面代数簇的解析过程中的作用为何？
• RQ5 每个环面代数簇是否都可通过一系列环面爆破实现投影奇点解析？

主要发现

• 对偶格点 M 中有限生成子幺半群族 Δ，若对局部化与和-局部化条件封闭，则可通过粘合幺半群代数 k[S] 的谱定义（未必正规的）环面代数簇 XΔ。
• XΔ 的正规化是与族 { (ℝ≥0S)∨ | S ∈ Δ } 对应的扇形所定义的标准环面代数簇。
• 正规化映射为一次爆破，且因每个 k[S] 为整环，故 XΔ 为分离且整的。
• 若除子类群 Cl(S) = M / ℤS 对某 Weil 除子 D 为有限阶，则 D 为 Cartier 除子；否则 D 阶为无限，对应非 Cartier 除子。
• 对类群中阶为无限的 Weil 除子 D 的 m 阶符号幂实施爆破，对应星形细分，降低代数簇复杂度，且不引入新的 torus-不变 Weil 除子。
• 重复应用此类爆破可得单纯形环面代数簇，且因类群秩递减，过程终止，最终得到奇点的投影解析。