[論文レビュー] F-Signature of Affine Toric Varieties

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

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

ひとこと要約

この論文は、有理的多面体錐によって定義される正規単項式環であるアフィントーリック多様体のF-符号を計算し、それがその錐に関連する特定の多面体の体積に等しいことを示している。この手法はF-スプリット技術と階数付き加群分解を用い、トーラス因子を含む多様体に対しては既存の公式を是正し、正則および特異な場合を含め、一様な体積に基づく公式を提供する。この公式は、トーリック設定におけるペアや三重の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.

研究の動機と目的

• アフィントーリック多様体のF-符号を計算すること。アフィントーリック多様体は、有理的多面体錐に付随する正規単項式環の座標環である。
• WatanabeとYoshino（2004年）のF-符号の公式を是正し一般化すること。この公式は、多様体にトーラス因子を含む場合には成立しない。
• トーリック設定におけるペア (R,D) や三重 (R,D,𝔞ᵗ) のF-符号計算を拡張すること。
• 正則および特異な場合を含め、トーラス成分を含む場合にも適用可能な一様な、体積に基づくF-符号の公式を提供すること。
• F-符号とトーリック環における除数やイデアルに関連する幾何的不変量（多面体）との関係を確立すること。

提案手法

• F-スクリーンの引き戻しの自由部分のランクの極限を、環のサイズで正規化することでF-符号を計算し、R^{1/p^e} を自由部と非自由部に分解する。
• 鍵となる構成は、錐 σ の原始的生成元 v_i に対して、P_σ = {w ∈ M_ℝ | 0 ≤ w·v_i < 1 for all i} と定義することである。
• F-符号 s(R) が P_σ のユークリッド体積に等しいことを、階数付き加群およびトーリック設定におけるF-スプリットの性質を用いて示す。
• Watanabe（1999年）によるヒルベルト＝クンツ乗法の技術を応用し、加群分解と局所化を用いてF-符号に適用する。
• トーラス因子を含む環では、トーラス成分を因数分解することで、フル次元の場合に還元し、そのF-符号は1である。
• 証明は階数付き加群論および局所化を用い、階数付き環のF-符号がその斉次最大イデアルにおける局所化のF-符号に等しいことを示す。

実験結果

リサーチクエスチョン

• RQ1 全次元の強凸有理的多面体錐によって定義されるアフィントーリック多様体のF-符号は何か？
• RQ2 トーリック多様体にトーラス因子を含む場合、F-符号はどのように変化し、この場合の公式はどのように是正できるか？
• RQ3 トーリック環におけるペア (R,D) や三重 (R,D,𝔞ᵗ) のF-符号は、多面体の体積として表現可能か？
• RQ4 正規単項式環のF-符号を一様に表す公式は存在するか？この公式は正則および特異な場合を一般化するか？
• RQ5 F-符号は、双対格子に関連する関連多面体の幾何学的性質とどのように関係するか？

主な発見

• トーラス因子を含まないアフィントーリック多様体の座標環 R = k[S] のF-符号は、錐 σ の原始的生成元 v_i に対して、P_σ = {w ∈ M_ℝ | 0 ≤ w·v_i < 1 for all i} と定義される多面体の体積に等しい。
• X = X′ × T で T がトーラスであるトーリック多様体 X に対して、F-符号は s(k[X]) = s(k[X′]) = Volume(P_σ′) に等しい。ここで σ′ は σ が張る部分空間における錐である。
• WatanabeとYoshino（2004年）の誤りを是正する公式であり、多様体にトーラス因子を含む場合にはこの公式は成立しない。
• ペア (R,D) のF-符号は、トーラス不変除数 D に関連する多面体 P_σ^D の体積として与えられる。
• 三重 (R,D,𝔞ᵗ) のF-符号は、P_σ^{D,𝔞} = P_σ^D ∩ t·Newt(𝔞) として定義される多面体の体積に等しい。ここで Newt(𝔞) は単項イデアル 𝔞 のニュートン多面体である。
• Q-ゴレンシュタインペア (R,D) の場合、F-符号 s(R,D,𝔞ᵗ) は多面体 P_σ^D ∩ t·Newt(𝔞) の体積に等しく、多面体の交差に基づく符号の幾何的解釈が得られる。