[論文レビュー] Basis log canonical thresholds, local intersection estimates, and asymptotically log del Pezzo surfaces

Ivan Cheltsov, Yanir A. Rubinstein+1 more|arXiv (Cornell University)|Jul 18, 2018

Geometry and complex manifolds参考文献 39被引用数 4

ひとこと要約

本稿では、対数的表面における基本対数特異点閾値（blct）を計算するための新しい局所的交点推定を構築し、対数正則性を評価する幾何的技法を提供する。漸近的に対数デル・ペッツォ表面は、有限個の族を除き、すべての族に対してKähler–Einsteinエッジ計量を有することを証明し、K-安定性に関する予想の重要な側面を確認するとともに、blctをTianの最大リッチ下界不変量に関連付ける。

ABSTRACT

The purpose of this article is to develop techniques for estimating basis log canonical thresholds on logarithmic surfaces. To that end, we develop new local intersection estimates that imply log canonicity. Our main motivation and application is to show the existence of Kahler-Einstein edge metrics on all but finitely many families of asymptotically log del Pezzo surfaces, partially confirming a conjecture of two of us. In an appendix we show that the basis log canonical threshold of Fujita-Odaka coincides with the greatest lower Ricci bound invariant of Tian.

研究の動機と目的

• 対数的表面における基本対数特異点閾値（blct）を推定するための内在的な幾何的技法を開発すること。
• blctを用いたK-安定性の必要十分条件を確立し、Kähler–Einsteinエッジ計量の存在を可能にすること。
• 漸近的に対数デル・ペッツォ表面に関する予想を解決し、有限個の族を除きすべての族に対してKähler–Einsteinエッジ計量が存在することを示すこと。
• Fujita–Odakaの基本対数特異点閾値とTianの最大リッチ下界不変量との同値性を証明すること。

提案手法

• グローバルまたはトーリック手法に依存しない、対数正則性を検出するための新しい局所的交点数基準を導入すること。
• 基本的除数の消失位数推定を用いて、blctの上界および下界を評価すること。
• 反カノニカル線形系の有理数倍におけるblctのスケーリング性質を用いて、安定性閾値を分析すること。
• Kähler–Einsteinエッジ（KEE）計量の存在定理およびその解析的性質を活用し、blctとKähler–Einstein閾値β(X)との関係を確立すること。
• m→∞の極限において、対数対 (X, (1−b)Δm/m, −bKX) を用いて離散的および連続的不変量を結びつけること。
• 一様K-安定性およびMabuchiエネルギーの境界に関するK-安定性理論の結果を用い、blctが1を超えると矛盾が生じることを導くこと。

実験結果

リサーチクエスチョン

• RQ1 トーリック的またはグローバル幾何に依存せずに、局所的交点推定を用いて対数的表面における基本対数特異点閾値を計算できるか？
• RQ2 対数的設定において、基本対数特異点閾値はTianの最大リッチ下界不変量と一致するか？
• RQ3 どの族の漸近的に対数デル・ペッツォ表面に対してKähler–Einsteinエッジ計量が存在するか？
• RQ4 Kähler–Einstein閾値β(X)と基本対数特異点閾値blct∞(X,−KX)との正確な関係は何か？

主な発見

• Fujita–Odakaの基本対数特異点閾値は、Tianの最大リッチ下界不変量と一致し、代数的不変量と解析的不変量の深い結びつきを確立する。
• 漸近的に対数デル・ペッツォ表面の有限個の族を除き、すべての族に対してKähler–Einsteinエッジ計量が存在することを確認し、著者の2人が提唱した予想の重要な側面を裏付ける。
• 本稿では、blct∞(X,−KX) = β(X) を証明し、対数デル・ペッツォ表面において基本対数特異点閾値がKähler–Einstein閾値に等しいことを示す。
• 新しい局所的交点基準により、対数正則性をテストする幾何的かつ内在的な手法が提供され、従来の代数的推定の強力な代替手段を提供する。
• この手法はトーリック表面に限らず、P²の非特異的、非特異的ブ lows-upに対しても適用可能であり、対数的表面への広範な適用可能性を実現する。
• 証明戦略は、KEE計量の存在と安定性理論を用いた背理法であり、blct∞(X,−bKX) > 1 が b > β(X) のとき矛盾を引き起こすことを示す。