[論文レビュー] Infinite geodesic rays in the space of Kahler potentials

Claudio Arezzo, Gang Tian|ArXiv.org|Oct 24, 2002

Geometry and complex manifolds参考文献 19被引用数 48

ひとこと要約

本稿では、コンpakト・ケーラー多様体上の非自明な特殊退化と関連付けることにより、ケーラー潜在関数空間における無限長地獄線を構成する。退化した複素マロンゲ・アンペール方程式の解を用いて、退化が非自明である場合、そのような地獄線が存在し、無限の長さを持つことを証明する。これは、地獄線方程式の非自明な解を構成する新しい幾何学的枠組みを提供する。

ABSTRACT

In this paper we explore the connection between special degenerations of algebraic manifolds and geodesics in the space of Kahler metrics. We provide a new and general geometric construction of nontrivial solutions for the geodesic equation. We show how to associate to any special nontrivial degeneration a geodesic of inifite length.

研究の動機と目的

• ケーラー潜在関数空間における地獄線方程式の非自明な解を一般に幾何学的に構成すること。
• 特殊退化された複素構造とケーラー計量空間における無限長地獄線との関係を明らかにすること。
• 地獄線が代数的多様体の安定性特性（特にK安定性および極値／ケーラー＝アインシュタイン計量の存在）とどのように関係するかを理解すること。
• 地獄線に 沿ったマブーチ（K-）エネルギーの振る舞いを分析し、安定性および退化に関する意味を解明すること。
• 無限長地獄線に付随する幾何的不変量（一般化されたフタキ不変量など）を同定すること。

提案手法

• 著者らは、特殊退化された複素多様体への1パラメータ群作用を用いて、ケーラー潜在関数空間における地獄線を構成する。
• 実数パラメータ x ∈ (−∞, ∞) でパラメトライズされるケーラー計量族上で、退化した複素マロンゲ・アンペール方程式を解く。これは中心ファイバーへの退化をモデル化する。
• 地獄線方程式は、経路 φ(t) が φ''(t) − ½||∇tφ'(t)||² = 0 を満たす条件から導かれる。ここで計量は滑らかな関数上のL²内積によって定義される。
• この構成は、退化が非自明で、中心ファイバーの重複度が1である場合、x → ∞ において ∂Φ/∂x のC⁰ノルムが発散することに依存している。
• この方法では、正則写像に対する最大値原理に基づく背理法を用い、∂Φ/∂x が有界であれば、双正則な極限写像が存在することになり、退化の非自明性に矛盾する。
• 解析は、地獄線の漸近的挙動がケーラー計量の収束およびKエネルギー関数の極限とどのように関連するかを明らかにする。

実験結果

リサーチクエスチョン

• RQ1 ケーラー多様体の特殊退化が、ケーラー潜在関数空間における無限長地獄線を生じるための条件は何か？
• RQ2 退化の非自明性は、関連する地獄線の幾何的・解析的性質にどのように反映されるか？
• RQ3 一般化されたフタキ不変量は無限長地獄線に関連づけられるか？ その場合、極値計量の存在に対する安定性の障害に何を意味するか？
• RQ4 マロンゲ・アンペール方程式の初期データに必要な最小の正則性または整合性条件は何か？ これにより収束解および無限長地獄線が得られるか？
• RQ5 地獄線に 沿ったKエネルギーの時間微分が極限を持つことは、複素構造の退化から生じる地獄線を特徴づけるか？

主な発見

• 特殊退化 π: V → Δ が非自明で、中心ファイバーが滑らかで各成分の重複度が1である場合、退化マロンゲ・アンペール方程式による地獄線は無限の長さを持つ。
• パラメータ x → ∞ において地獄線の長さが発散する。これは ∂Φ/∂x のC⁰ノルムが有界でないためであり、有界な極限写像の存在と矛盾する。
• ∂Φ/∂x が有界であれば、写像 τ: M → Y が正則な極限写像として存在するが、このような写像は双正則でなければならず、退化の非自明性に反する。
• 地獄線に 沿ったKエネルギーの時間微分は t → ∞ で極限を持つ。これは、このような地獄線が複素構造の退化と本質的に関連していることを示唆する。
• この構成は、自己同型群に依存しない非自明な地獄線の生成法を提供し、S² やトーリック多様体における既知の例を拡張する。
• 結果は、無限長地獄線がK安定性および極値計量の存在を研究する上で関連するものであるという予想を支持する。