[論文レビュー] Some Gravitational Instantons

Don N. Page|ArXiv.org|Dec 27, 2009

Particle accelerators and beam dynamics参考文献 5被引用数 7

ひとこと要約

この論文は、正の宇宙定数（Λ > 0）を持つ既知の4次元重力インスタントンを分類し、それらがすべてTaub-NUT-Λ計量の特別な場合であることを示している。4つの例—S⁴、ℂP²、S²×S²、およびℂP²#ℂP̄²—はすべて局所的にコンフォールメイ・ケーラー的で、タイプDであり、4つ以上のキリングベクトルを有するビャンキIX形に表現可能である。最後の例は、ケーラー多様体上のすべてのアインシュタイン計量がケーラー的であるという予想に対する反例である。

ABSTRACT

All known gravitational instantons with $Λ> 0$ ($S^4, CP^2, S^2 imes S^2$ and $CP # \overline{CP}^2$) are described. They are all special cases of the Taub-NUT-$Λ$ local solution. Hence they are Type D and are locally conformably Kähler. They all may be expressed in Bianchi IX form and have four or more Killing vectors.

研究の動機と目的

• 1978年に、正の宇宙定数（Λ > 0）を持つすべての既知の重力インスタントンを特定し記述すること。
• これらのインスタントンがTaub-NUT-Λ計量解の特別な場合として生じることを示すこと。
• これらのインスタントンが局所的にコンフォールメイ・ケーラー的であり、ペトロフ分類でタイプDであることを確立すること。
• これらのインスタントンがすべてビャンキIX形に表現可能であり、4つ以上のキリングベクトルを有することを示すこと。
• このような対称性および構造が、Λ > 0 を持つ重力インスタントンの一般的特徴であるかどうかを調査すること。

提案手法

• 電磁場を伴うカーターの計量解に宇宙定数を導入した一般化されたTaub-NUT-Λ計量（6パラメータ）を導出。
• Taub-NUT-Λ計量に極限操作を適用して特定のインスタントンを抽出：S⁴（M=N→0 の極限）、ℂP²（N=r₀−ε で ε→0 の極限）、S²×S²（N→0 かつ ε→0 の極限）、ℂP²#ℂP̄²（パラメータの調整により）。
• 座標変換（例：r = r₀ cosχ、τ = r₀η）を用いて座標特異性を除去し、計量のグローバルな正則性を確認。
• SU(2) 上の左不変1形式 ω₁, ω₂, ω₃ を用いて、すべてのインスタントンをビャンキIX形に表現。スケール関数 f, a, b, c は χ に依存する。
• χ=0 および χ=π における計量の振る舞いを分析し、ナット（点）およびボルト（2次元球面）を特定。周期的同一化により正則性を確認。
• 各計量のコンフォールメイ構造を評価。ℂP²#ℂP̄² はコンフォールメイ・ケーラー的だがケーラー的ではないことが判明し、以前の予想と矛盾する。

実験結果

リサーチクエスチョン

• RQ1 Λ > 0 を持つ4次元重力インスタントンで、グローバルに正則的かつ完全なものはどれか？
• RQ2 すべてのこのようなインスタントンがTaub-NUT-Λ計量の特別な場合として得られるか？
• RQ3 これらのインスタントンは、タイプD または局所的にコンフォールメイ・ケーラー的といった共通の幾何的性質を持つだろうか？
• RQ4 これらのインスタントンは、すべてSU(2)の等長対称性と複数のキリングベクトルを有するビャンキIX形に表現可能だろうか？
• RQ5 ℂP²#ℂP̄² 上のアインシュタイン計量は、ケーラー多様体上のすべてのアインシュタイン計量がケーラー的であるという予想に対する反例となるだろうか？

主な発見

• 既知のすべてのΛ > 0 を持つ重力インスタントン—S⁴、ℂP²、S²×S²、およびℂP²#ℂP̄²—は、すべてTaub-NUT-Λ計量の特別な場合である。
• これらのインスタントンはすべてタイプDの時空であり、局所的にコンフォールメイ・ケーラー的である。特に、ℂP²#ℂP̄² の計量はコンフォールメイ・ケーラー的だがケーラー的ではないため、ある予想を反証する。
• 各インスタントンは、χ に依存する計量構造を持つビャンキIX形に表現可能であり、χ=0 および χ=π が正則な軸（ナットまたはボルト）である。
• S⁴ インスタントンは、de Sitter計量の解析接続であり、周期 2π(3/Λ)¹ᐟ² を持つ時間座標 τ を有する。
• ℂP² インスタントンには、χ=0 にナット（点）が、χ=π にボルト（2次元球面）が存在し、ψ の周期は 4π である。
• S²×S² インスタントンは、ωᵢ の1形式が周期 π（2π ではない）であるため、3次元球面上の対蹠的同一化（RP³）を必要とし、係数は 16 sin²(χ/2)、16 cos²(χ/2)、および 16 に比例する。