[論文レビュー] Crepant Resolutions of Gorenstein Toric Singularities and Upper Bound Theorem

Dimitrios I. Dais|ArXiv.org|Oct 25, 2001

Commutative Algebra and Its Applications参考文献 11被引用数 3

ひとこと要約

この論文は、単体的球体に対する上界定理（UBT）の変種を用いて、ゴレンシュタイントーリック特異点のトーラス-equivariantなクレパント解消の存在に必要な条件を確立する。関連する格子多面体の正規化体積に対する上界を導出し、その上界が満たされない場合にはクレパント解消が存在しないことを示す。これにより、特異点は3つのクラスに分類可能となる。そのうちの1つは、このような解消を許さないものである。

ABSTRACT

A necessary condition for the existence of torus-equivariant crepant resolutions of Gorenstein toric singularities can be derived by making use of a variant of the classical Upper Bound Theorem which is valid for simplicial balls.

研究の動機と目的

• ゴレンシュタイントーリック特異点のトーラス-equivariantなクレパント解消の存在に必要な条件を導出すること。
• 単体的球体に対する上界定理（UBT）の変種を、このような特異点に関連する格子多面体に適用すること。
• ゴレンシュタイントーリック特異点を3つのクラスに分類すること：終極的、クレパント解消を伴わない正則的、クレパント解消を伴う正則的。
• 多面体の体積と格子点数に基づく組合せ的基準を提示し、クレパント解消が存在しない場合を検出すること。
• 既存の巡回商特異点に関する結果を、体積制約を用いて一般のゴレンシュタイントーリック特異点へと一般化すること。

提案手法

• 論文は、格子多面体 $ P_{\tau} $ の境界複体を用いて、$ d $ 次元の単体的球体 $ \tau $ を定義し、その面数を $ \mathbf{f} $-および $ \mathbf{h} $-ベクトルを用いて分析する。
• 単体的球体に対する上界定理（UBT）の変種を用い、$ P_{\tau} $ の三角形分割における $ d $ 次元の面の数を上界で制約する。極値例として循環多面体 $ \text{CycP}_{d+1}(\mathfrak{b}) $ を用いる。
• 鍵となる不等式 (2.7) は、三角形分割における $ d $-単体の数を $ \mathfrak{f}_d(\text{CycP}_{d+1}(\mathfrak{b})) - (\mathfrak{b}' - d) $ で上から抑える。ここで $ \mathfrak{b} $ は格子点の総数、$ \mathfrak{b}' $ は境界上の格子点数である。
• 多面体 $ P_{\tau} $ の正規化体積は、基本的三角形分割における $ d $-単体の数に等しく、クレパント解消が存在するためにはそのような分割が存在しなければならない。
• 必要条件 (3.1) は、体積の等式とUBTに基づく面数の上界を組み合わせることで導出され、$ \text{Vol}_{\text{norm}}(P_{\tau}) \leq \mathfrak{f}_d(\text{CycP}_{d+1}(\#(P_{\tau} \cap \mathbb{Z}^d))) - (\#(\partial P_{\tau} \cap \mathbb{Z}^d) - d) $ が得られる。
• この手法を3次元単体（8個の格子点を含む）に適用し、正規化体積（20）がUBTの上界（19）を超えることを示し、クレパント解消が存在しないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 ゴレンシュタイントーリック特異点がトーラス-equivariantなクレパント解消を許す条件は何か？
• RQ2 単体的球体に対する上界定理を、トーリック幾何におけるクレパント解消の必要条件を導くために適応できるか？
• RQ3 クレパント解消の存在を妨げる格子多面体の組合せ的制約は何か？
• RQ4 循環多面体と面数の計数を用いて、格子多面体の正規化体積をどのように上界で制約できるか？
• RQ5 この手法は、クレパント解消を許す正則的特異点と許さない正則的特異点を区別できるか？

主な発見

• ゴレンシュタイントーリック特異点のクレパント解消が存在するための必要条件は、関連する格子多面体 $ P_{\tau} $ の正規化体積が $ \mathfrak{f}_d(\text{CycP}_{d+1}(\mathfrak{b})) - (\mathfrak{b}' - d) $ を超えてはならないこと。ここで $ \mathfrak{b} $ は格子点数、$ \mathfrak{b}' $ は境界上の格子点数である。
• 8個の格子点（4頂点と4内部点）を持つ3次元単体では、正規化体積は20であるが、UBTの上界は19であるため、クレパント解消は存在しない。
• 上界 (3.1) が満たされないことは、特異点がクラス (B) に属することを示唆する：正則的ではあるが、いかなるクレパント解消も持たない。
• この手法は、解消を明示的に構成することなく、このような特異点を検出する組合せ的基準を提供する。
• 結果として、既知の巡回商特異点に関する結果が、多面体不変量を用いて一般のゴレンシュタイントーリック特異点へと一般化される。
• 一般には上界は鋭くないが、強力な障害を提供する：上界が破られるならば、クレパント解消は存在し得ない。