[論文レビュー] A note on the α-invariant of the Mukai-Umemura 3-fold

Simon Donaldson|arXiv (Cornell University)|Nov 27, 2007

Advanced Algebra and Geometry被引用数 6

ひとこと要約

この論文は、Mukai-Umemura 3次元多様体の $SO(3)$ 行動に関して $α$-不変量を計算し、特異な反標準除集合上での直接積分的議論により $α_{SO(3)}(X) = 5/6$ を証明する。この結果は、周囲の変形がそのような計量を許容しないにもかかわらず、$X$ にKähler-Einstein計量が存在することを示し、Fano幾何における微妙な安定性現象を強調する。

ABSTRACT

We give an elementary argument to compute the $α$-invariant of this Fano 3-fold, which implies the existence of a Kahler-Einstein metric.

研究の動機と目的

• 高次元の対称性を持つ特別なFano 3次元多様体としてのMukai-Umemura 3次元多様体の $SO(3)$-不変 $\alpha$-不変量を計算すること。
• 先行理論におけるより一般的な手法とは対照的に、$\alpha$-不変量の値を直接的・初等的に証明すること。
• Tianの基準を用いて、Mukai-Umemura 3次元多様体上にKähler-Einstein計量が存在することを確立すること。
• 任意に小さな変形がKähler-Einstein計量を許容しないことにより、Kähler-Einstein計量の変形における不安定性を示すこと。

提案手法

• G-不変Kählerポテンシャル $\phi$ に対して $\int_Z e^{-\beta\phi} d\mu_0$ が一様有界であるような $\beta$ の上限として、$\alpha$-不変量 $\alpha_G(Z)$ を定義する。
• グリーン関数の議論を用いて、ある $M$ に対して $\int_X \phi \, d\mu_0 \geq -M$ が成り立つことを示し、$\alpha$-不変量が正であることを保証する。
• ${\Sigma}$ に沿って消える $PSL(2,\mathbb{C})$-不変切断 $s$ を用いて、$X \setminus \Sigma$ 上の関数 $f_0 = -\log|s|^2$ を構成し、$i\partial\bar{\partial}f_0 = 2\pi\omega_0$ を満たす。
• 局所座標とスケーリングによる特異性の型の分析を通じて、原点近傍での $|z^2 - w^3|^{-2\beta}$ の可積分性に帰着させ、$\exp(\beta f_0)$ が $\beta < 5/6$ のとき可積分であることを証明する。
• $\phi$ の $SO(3)$-不変性と $f = f_0 + 2\pi\phi$ の関係を用いて、$L^p$-可積分性条件を $PSL(2,\mathbb{C})$ の群に移す。この際、軌道構造を活用する。
• ルナのスライス定理と正規バンドル解析を用いて、$\Sigma$ の特異点が $z^2 = w^3$ のタイプのカスプ特異点であることを確認し、可積分性推定に不可欠な役割を果たす。

実験結果

リサーチクエスチョン

• RQ1 Mukai-Umemura 3次元多様体の $SO(3)$-不変 $\alpha$-不変量の正確な値は何か？
• RQ2 $\alpha$-不変量は、反標準除集合の幾何とその特異点を用いて直接計算可能か？
• RQ3 $\alpha$-不変量が $3/4$ を超えると、この3次元多様体にKähler-Einstein計量が存在するのを保証するか？
• RQ4 元の多様体にKähler-Einstein計量が存在するにもかかわらず、なぜ任意に小さな変形はそのような計量を許容しないのか？

主な発見

• Mukai-Umemura 3次元多様体の $\alpha$-不変量 $\alpha_{SO(3)}(X)$ は正確に $5/6$ である。
• 反標準除集合 $\Sigma$ 上のカスプ的特異点 $z^2 = w^3$ のスケーリング解析を通じて、$\exp(\beta f_0)$ が $\beta < 5/6$ のとき可積分であることが確立された。
• $5/6 > 3/4 = \frac{n}{n+1}$（$n=3$ のとき）であるため、Tianの基準により、$X$ 上にKähler-Einstein計量が存在することが保証される。
• Mukai-Umemura 3次元多様体は、Kähler-Einstein条件の開性に対する反例である：任意に小さな変形はKähler-Einstein計量を許容しない。
• 特異な反標準除集合 $\Sigma$ は、対角線上にカスプ特異点を持つ $\mathbb{P}^1 \times \mathbb{P}^1$ に同型であり、$z^2 = w^3$ のモデルで記述される。
• Corti らの一般理論と整合的であるが、この特殊な場合に限定して、より簡潔かつ自己完結的な証明が得られた。