[論文レビュー] The Kähler metric of a blow-up

Dmitri Bykov|arXiv (Cornell University)|Jul 10, 2013

Geometry and complex manifolds参考文献 10被引用数 6

ひとこと要約

この論文は、$m \geq 3$ に対して、$\mathds{CP}^1$ 上の線束 $\mathcal{O}(-m)$ の全空間に漸近的に局所的に双曲的であるケーラー＝アインシュタイン計量を構成する。$U(2)$-不変なケーラー潜在関数 $K = a\log x + b x^m + \cdots$ を用い、例外的 $\mathds{CP}^1$ 分岐除集合近辺で表現する。主な結果は、このような計量が存在し、チェーン＝ヴァイの公式と整合することであり、整数のトポロジカルな不変量とレンズ空間境界構造を得るには $m \geq 3$ が必要である。

ABSTRACT

After a review of the general properties of holomorphic spheres in complex surfaces we describe the local geometry in the vicinity of a CP^1 embedded with a negative normal bundle. As a by-product, we build (asymptotically locally hyperbolic) Kahler-Einstein metrics on the total spaces of the line bundles O(-m), m >= 3 over CP^1. We check that the behavior of the Kahler potential is compatible with the Chern-Weil formulas for the Euler characteristic and signature. We also describe two supersymmetric setups where relevant constructions arise.

研究の動機と目的

• $m \geq 3$ に対して、$\mathds{CP}^1$ 上の $\mathcal{O}(-m)$ の全空間に明示的なケーラー＝アインシュタイン計量を構成すること。
• 複素表面内の負の正規バンドル $\mathcal{O}(-m)$ を持つ埋め込まれた $\mathds{CP}^1$ 近傍の局所幾何を理解すること。
• ケーラー潜在関数の漸近的挙動 $K = a\log x + b x^m + \cdots$ が、オイラー特性やシグニフィケーションといったトポロジカル不変量と整合することを保証すること。
• $U(2)$ 対称性がケーラー潜在関数を常微分方程式に簡略化し、計量構造を単純化する役割を明確にすること。

提案手法

• $U(2)$-不変なケーラー潜在関数が $x = |z_1|^2 + |z_2|^2$ のみに依存すると仮定し、問題を常微分方程式に還元する。
• $Q(x) = xK'(x)$ を用いて四ベイン形式で計量を導出し、$S^3 = SU(2)$ 上の左不変1形式で線素を表現する。
• チェーン＝ヴァイ理論を適用し、整数オイラー特性とシグニフィケーションを保証するため $m$ を整数に制約する。
• ケーラー商構成を用いて $\mathbf{dP}_1$ と $\mathds{C}^2/\mathbb{Z}_2$ をブローモーとして実現し、物理的および幾何的動機を与える。
• $m \geq 2$ に対して $(z_1,z_2) \sim e^{2\pi i/m}(z_1,z_2)$ の $\mathbb{Z}_m$ 同相を課すことにより、レンズ空間境界 $S^3/\mathbb{Z}_m$ を保証し、トポロジカルな量子化と整合する。
• 漸近的ケーラー潜在関数 $K \sim a\log x + b x^m$ が退化を解消し、$x=0$ 近傍で非退化ケーラー計量を生成することを検証する。

実験結果

リサーチクエスチョン

• RQ1 $m \geq 3$ に対して、$\mathcal{O}(-m)$ の全空間に明示的なケーラー＝アインシュタイン計量を構成できるか？
• RQ2 $U(2)$-不変な設定下で、例外的 $\mathds{CP}^1$ 分岐除集合近辺におけるケーラー潜在関数の正確な漸近的形は何か？
• RQ3 トポロジカルデータ（オイラー特性、シグニフィケーション）が $m$ を整数に制限する理由は何か？許容される値は何か？
• RQ4 $m \geq 2$ のとき、境界構造が $S^3$ から $S^3/\mathbb{Z}_m$ にどのように変化するか？幾何的意味は何か？
• RQ5 物理的および幾何的観点から、$U(2)$ 対称性はケーラー潜在関数と計量構成を単純化するために果たす役割は何か？

主な発見

• $m \geq 3$ に対して、$\mathcal{O}(-m)$ の全空間にケーラー＝アインシュタイン計量が存在し、$x \to 0$ のとき漸近的ケーラー潜在関数 $K = a\log x + b x^m + \cdots$ を持つ。
• 計量は漸近的に局所的に双曲的であり、$\mathds{C}^2$ の単位球の境界付近でロバチェフスキー計量に近づく。
• チェーン＝ヴァイ理論による整数オイラー特性とシグニフィケーションの要請により $m$ が整数に制限され、整合性を保つには $m \geq 3$ が必須である。
• 座標の $\mathbb{Z}_m$ 同相により、空間の境界は $S^3$ ではなく $S^3/\mathbb{Z}_m$ となる。
• $U(2)$-不変性により、ケーラー潜在関数が $x = |z_1|^2 + |z_2|^2$ の関数に簡略化され、計量が常微分方程式系に単純化される。
• ケーラー潜在関数における補正項 $b x^m$ が、$\log x$ 項のみでは生じる退化を解消し、非退化ケーラー計量を生成する。