[論文レビュー] ACC for log canonical thresholds

Christopher D. Hacon, James McKernan+1 more|arXiv (Cornell University)|Aug 21, 2012

Polynomial and algebraic computation参考文献 22被引用数 12

ひとこと要約

本稿は、すべての次元において対数正則特異点の閾値に対するACC（上昇鎖条件）を証明し、DCCを満たす係数をもつ対数正則対の閾値の集合が、無限増加列を含まない良整列集合であることを確立する。証明は帰納法、対数対の有界性、除法的対数終票変形、および接続技術に依拠し、最終的に閾値の蓄積点が次元が低い閾値集合に属することを示す。

ABSTRACT

We show that log canonical thresholds satisfy the ACC

研究の動機と目的

• 任意次元における対数正則閾値のACC予想を証明すること。
• DCC集合に係数をもつ対数対の有界性特性を確立すること。
• 高次元代数幾何における帰納的アプローチの基礎的結果を提供すること。
• 正則偏極多様体のモジュライ空間の有界性を支援すること。
• Shokurov、Alexeev、Kollárが提起した、対数正則閾値の構造に関する長年の予想を解決すること。

提案手法

• 次元に関する帰納法を用い、接続およびMMP技術により問題を次元が低い場合に還元する。
• 特異点を単純化し係数を制御するために、除法的対数終票（dlt）変形を適用する。
• 数的に自明な正則除法群をもつ対数対の有界性を用いて、体積および係数集合を制御する。
• 擬有効閾値および対数正則閾値を用いて、対の列の極限挙動を分析する。
• MMPスケーリングを用いて、ピカール数が1の多様体の状況に還元する。
• 係数集合のDCC性質を活用し、極限における係数タイプが有限個に制限されることを保証する。

実験結果

リサーチクエスチョン

• RQ1 DCC集合に係数をもつ対数正則対の対数正則閾値の集合は、すべての次元でACCを満たすか？
• RQ2 DCC集合に係数をもつ対数対に対して、体積および双有理写像の有界性を確立できるか？
• RQ3 対数正則閾値の蓄積点は、次元が低い対の閾値集合に含まれるか？
• RQ4 対数正則閾値のACCから、ファノ多様体およびモジュライ空間の有界性を導けるか？
• RQ5 正則除法群が数的に自明である対数正則対の係数集合の構造はいかなるものか？

主な発見

• 係数集合IとJがDCCを満たす限り、対数正則閾値LCT_n(I,J)の集合はACCを満たす。
• ある定数δ > 0が存在し、DCC集合に係数をもつ対数正則対に対して、K_X + Δの体積が下から有界である。
• K_X + Δが大きな対数対に対しては、体積が0から離れており、ある固定されたmに対して、多様体の正則写像が双有理的である。
• 数的に自明なK_X + Δをもつ対数正則対におけるΔの係数は、元の係数集合Iの有限部分集合に属する。
• 対数正則閾値の蓄積点は次元n−1の閾値集合に属し、帰納ステップが証明される。
• 証明により、対数正則閾値の集合が無限増加列を含まない良整列集合であることが示され、ACC予想が確認される。