[論文レビュー] The minimal log discrepancy

Florin Ambro|ArXiv.org|Nov 28, 2006

Analytic Number Theory Research参考文献 41被引用数 6

ひとこと要約

本稿は、代数幾何におけるキーとなる局所的不変量である最小対数特異点差（MLD）を導入し、そのサーベイを行う。MLDは、対数多様体における特異点の深刻さを測るものであり、 canonical ring 内のセクションの安定的消失順序および jet 空間と関連づけられ、特異点の組合せ的公式がトーリックの場合に確立されている。また、Fujita予想および log 連続閾値における上昇鎖条件（ACC）を通じて、双有理幾何および接続線形系への応用を探索する。

ABSTRACT

We survey the known and expected properties of the minimal log discrepancy, the local invariant of a log variety.

研究の動機と目的

• 対数多様体の局所的不変量としての最小対数差（MLD）を定義し、体系的に研究すること。
• MLD を canonical な次数付き環内のセクションの安定的消失順序および jet の幾何と関連付けること。
• 特にトーリック設定における MLD に関連する未解決問題を調査し、双有理幾何におけるグローバルな予想と関連付けること。
• log 連続閾値（LCT）およびその平坦な対数構造の構成と特異点のバウンディングにおける役割を探索すること。
• MLD、上昇鎖条件（ACC）、および Fujita や Shokurov の log フリップおよび有界性に関する予想との関係を確立すること。

提案手法

• 除法的分解（Zariski 分解）を用いて、除法子に付随する次数付き環内のセクションの成長を分析する。
• 特異点の Hironaka の解消を適用して canonical モデルを構成し、canonical 除法子の引き戻しを用いて不備を定義する。
• log 連続閾値（LCT）を、log 対が非 klt になる瞬間を検出するための主要な道具として用い、条件 $ a(P; X, B + \nu D) \geq 0 $ を使用する。
• 係数 $ \gamma_i $ の反復調整を通じて平坦な対数構造を構築し、各段階で $ a(\eta_C; X, B + \sum \gamma_i D_i) = 0 $ が成り立つように保証する。
• トーリック幾何を用いて、MLD および LCT の明示的な組合せ的公式を提供し、具体的な計算を可能にする。
• 上昇鎖条件（ACC）を、log 連続閾値の集合 $ \operatorname{Lct}(d, \mathcal{B}) $ に適用し、特に次元 2 および 3、およびトーリック特異点において検討する。

実験結果

リサーチクエスチョン

• RQ1 log 連続特異点の文脈において、最小対数差の構造的および算術的性質は何か？
• RQ2 最小対数差は、canonical な次数付き環内のセクションの安定的消失順序とどのように関連しているか？
• RQ3 log 連続閾値は上昇鎖条件（ACC）をどの程度満たし、その蓄積点は何か？
• RQ4 係数の反復調整を通じて、平坦な対数構造をアルゴリズム的に構築可能か？また、その有界性の性質は何か？
• RQ5 トーリック多様体における最小対数差および log 連続閾値はどのように振る舞い、組合せ論的手段により明示的に計算可能か？

主な発見

• 最小対数差は、対数多様体における特異点の深刻さを測る基本的な局所的不変量であり、canonical 環の幾何と深く結びついている。
• トーリックの場合、関連する多面体的除法子の構造に基づく明示的な組合せ的公式が MLD に存在する。
• log 連続閾値 $ \operatorname{Lct}(d, \mathcal{B}) $ は上昇鎖条件（ACC）を満たすことが示されており、次元 2 では完全に、次元 3 では部分的に証明されている。
• 不変除法子を有するトーリック特異点において、一般の超曲面の log 連続閾値は ACC を満たし、より広範な予想を支持する。
• 集合 $ \operatorname{Lct}_d = \operatorname{Lct}(d, \{0\}) $ は明示的に記述可能である：$ \operatorname{Lct}_1 = \{\frac{1}{n} \mid n \in \mathbb{Z}_{\geq 1}\} $、$ \operatorname{Lct}_2 \cap [\frac{1}{2},1] = \{\frac{1}{2} + \frac{1}{n} \mid n \geq 3\} \cup \{1\} $、および $ \operatorname{Lct}_3 \cap [\frac{41}{42},1] = \{\frac{41}{42}, 1\} $。
• 最小次数 $ \epsilon_d = 1 - \max(\operatorname{Lct}_d \cap (0,1)) $ は、係数が $ \{1 - \frac{1}{n} \} \cup \{1\} $ である $ d-1 $ 次元の log 連続モデルの最小次数であると予想されており、$ \epsilon_1 = \frac{1}{2} $、$ \epsilon_2 = \frac{1}{6} $、$ \epsilon_3 = \frac{1}{42} $ である。