[論文レビュー] Optimal bounds for the volumes of Kähler-Einstein Fano manifolds

Kento Fujita|arXiv (Cornell University)|Aug 19, 2015

Geometry and complex manifolds参考文献 26被引用数 37

ひとこと要約

本稿では、任意の $n$-次元ファノ多様体がケーラー＝エインシュタイン計量を許容するならば、その反 canonical 体積は $(n+1)^n$ 以下であることが示され、等号が成り立つのはその多様体が $\mathbb{P}^n$ に同型である場合に限る。証明は Ding 半安定性を用い、理想層からテスト配置を構成することで、対数正則特異点閾値および体積積分を介して体積を評価する。

ABSTRACT

We show that any $n$-dimensional Fano manifold $X$ admitting Kähler-Einstein metrics satisfies that the anti-canonical volume is less than or equal to the value $(n+1)^n$. Moreover, the equality holds if and only if $X$ is isomorphic to the $n$-dimensional projective space.

研究の動機と目的

• 任意の $n$-次元ファノ多様体がケーラー＝エインシュタイン計量を許容する場合、その反 canonical 体積が $(n+1)^n$ 以下であることを証明すること。
• 等号成立の条件を同定し、等号が成り立つのはその多様体が $\mathbb{P}^n$ に同型である場合に限ることを示すこと。
• 対称性やトーリック仮定の下での先行結果を拡張し、一般に代数的技法を用いてこの上界を確立すること。
• Ding 半安定性の概念を導入し、フィルター付き線型系およびテスト配置を用いて体積上界を導出すること。
• 体積上界を幾何学的・解析的技法を通じて Seshadri 定数および対数正則特異点閾値と結びつけること。

提案手法

• Berman の仕事に裏付けられ、Ding ポリスタビリティおよび Ding 半安定性を、Ding 関数の勾配の代数的解釈として導入する。
• 非ゼロの適切な閉部分多様体 $Z \subset X$ を用いて、吹き上げと理想層を介して特定のテスト配置を構成する。
• 安定性を体積積分で測る $\beta(Z)$ 不変量を $\operatorname{lct}(X;I_Z) \cdot \operatorname{vol}_X(-K_X) - \int_0^\infty \operatorname{vol}_{\hat{X}}(\sigma^*(-K_X) - xF)\,dx$ として定義する。
• フィルター付き線型系の飽和性を用いて、テスト配置の系列に沿った Ding 不変量の極限を分析する。
• 定理 2.3 を適用し、Seshadri 定数と体積積分を関連づけ、$\mathbb{P}^n$ の場合と比較可能にする。
• $\beta(Z) \geq 0$ からの体積上界と、Seshadri 定数に関する既知の結果を組み合わせ、最大体積が $(n+1)^n$ であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 ケーラー＝エインシュタイン計量を許容する $n$-次元ファノ多様体の反 canonical 体積の最良上界は何か？
• RQ2 この上界における等号が成立するのはいつか？ そのときの幾何的構造はどのような特徴を持つのか？
• RQ3 $\mathbb{G}_m$-作用などの対称性仮定に依存せずに、体積上界を代数的に確立できるか？
• RQ4 対数正則特異点閾値および吹き上げに沿った体積積分は、反 canonical 体積をどのように制約するか？
• RQ5 Ding 半安定性は、フィルター付き線型系およびテスト配置を介して、体積上界をどの程度まで示唆するか？

主な発見

• ケーラー＝エインシュタイン計量を許容する任意の $n$-次元ファノ多様体の反 canonical 体積は、$(n+1)^n$ 以下に抑えられる。
• 体積上界における等号が成り立つのは、その多様体が $\mathbb{P}^n$、すなわち $n$-次元複素射影空間に同型である場合に限る。
• 任意の適切な閉部分多様体 $Z \subset X$ に対して、Ding 半安定性のもとで $\beta(Z) \geq 0$ が成り立つことが保証され、これが体積制約をもたらす。
• 体積積分 $\int_0^\infty \operatorname{vol}_{\hat{X}}(\sigma^*(-K_X) - xF)\,dx$ は $\sqrt[n]{((-K_X)^{\cdot n})} \cdot \frac{n}{n+1}((-K_X)^{\cdot n})$ 以上に下から抑えられ、Seshadri 定数と関連づけられる。
• 体積が $(n+1)^n$ に等しいとき、任意の滑らかな点における Seshadri 定数は $n+1$ に等しくなる。これは既知の結果により $\mathbb{P}^n$ を特徴づける。
• フィルター付き線型系からテスト配置を構成する新規な手法を用いて、解析的測地線レール法を避けることで、結果を一般化して証明した。