[论文解读] F-Signature of Affine Toric Varieties

Michael Von Korff|arXiv (Cornell University)|Oct 4, 2011

Advanced Combinatorial Mathematics参考文献 6被引用 11

一句话总结

本文通过证明其等于与锥相关联的特定多面体的体积，计算了仿射toric簇的F-示性数——即由有理多面锥定义的正规单项式环。该方法运用Frobenius分裂技术和分次模分解，扩展了先前的工作，修正了含torus因子的簇的公式，并为toric设定下的F-示性数对与三元组提供了统一的基于体积的公式。

ABSTRACT

We express the F-signature of the coordinate ring of an affine toric variety as the volume of a certain polytope, generalizing a formula of Watanabe and Yoshida. We also compute the F-signature of pairs and triples of a toric singularity.

研究动机与目标

• 计算由有理多面锥定义的仿射toric簇的F-示性数，即与之关联的正规单项式环的坐标环。
• 修正并推广Watanabe与Yoshino（2004）的F-示性数公式，该公式在簇包含torus因子时失效。
• 将F-示性数的计算扩展至toric设定下的F-示性数对(R,D)与三元组(R,D,𝔞ᵗ)。
• 为F-示性数提供一个统一的基于体积的公式，适用于奇异与正则情形，包括含torus分量的情形。
• 建立F-示性数与toric环中除子与理想相关联的几何不变量（如多面体）之间的联系。

提出的方法

• 通过Frobenius拉回的自由秩的极限，经环大小归一化，计算F-示性数，利用R^{1/p^e}在自由与非自由部分的分解。
• 关键构造涉及定义多面体P_σ = {w ∈ M_ℝ | 0 ≤ w·v_i < 1 对所有i成立}，其中v_i为锥σ的本原生成元。
• 通过分次模与toric设定下Frobenius分裂的性质，证明F-示性数s(R)等于P_σ的欧几里得体积。
• 该方法改编了Watanabe（1999）关于Hilbert-Kunz乘子的技术，通过模分解与局部化将其应用于F-示性数。
• 对于含torus因子的环，通过消去torus分量（其F-示性数为1）将公式简化为全维情形。
• 证明利用分次模理论与局部化，表明分次环的F-示性数等于其在齐次极大理想的处的局部化的F-示性数。

实验结果

研究问题

• RQ1 由全维强凸有理多面锥定义的仿射toric簇的F-示性数是什么？
• RQ2 当toric簇包含torus因子时，F-示性数如何变化？该情形下的公式应如何修正？
• RQ3 在toric环中，对(R,D)或三元组(R,D,𝔞ᵗ)的F-示性数能否表示为多面体的体积？
• RQ4 是否存在一个统一的F-示性数公式，适用于正规单项式环，同时推广正则与奇异情形？
• RQ5 F-示性数如何与对偶格点中相关联多面体的几何性质相关联？

主要发现

• 不含torus因子的仿射toric簇的坐标环R = k[S]的F-示性数等于多面体P_σ = {w ∈ M_ℝ | 0 ≤ w·v_i < 1 对所有i成立}的体积，其中v_i为锥σ的本原生成元。
• 对于X = X′ × T的toric簇，其中T为torus，有s(k[X]) = s(k[X′]) = Volume(P_σ′)，其中σ′为σ张成子空间中的锥。
• 该公式修正了Watanabe与Yoshino（2004）的错误，后者在簇含torus因子时不成立。
• 对(R,D)的F-示性数由与torus不变除子D相关联的多面体P_σ^D的体积给出。
• 对三元组(R,D,𝔞ᵗ)的F-示性数为多面体P_σ^{D,𝔞}的体积，定义为P_σ^D与t·Newt(𝔞)的交集，其中Newt(𝔞)为单项式理想𝔞的Newton多面体。
• 在Q-Gorenstein对(R,D)的情形下，F-示性数s(R,D,𝔞ᵗ)等于P_σ^D ∩ t·Newt(𝔞)的体积，为签名提供了基于多面体交集的几何解释。