[論文レビュー] The Metric Completion Of The Riemannian Space Of K\"{A}Hler Metrics

Vincent Guedj|arXiv (Cornell University)|Jan 30, 2014

Geometry and complex manifolds参考文献 25被引用数 29

ひとこと要約

本稿では、固定されたケーラー類内のケーラー計量の空間の、Mabuchi L²計量を備えた計量的完備化が、E²(α)と呼ばれる有限エネルギーカレントの空間に等長写像であることを確立する。幾何学的測度論と複素Monge-Ampère理論の技法を用いて、著者らはこの完備化がCAT(0)ハダマード空間であることを証明し、トーリック設定では、トーリックケーラー計量の完備化がE²_tor(α)に等長写像であり、測地線がデルツァント多面体上の直線に一致することを示す。

ABSTRACT

Let X be a compact K ̈ahler manifold and α ∈ H 1 , 1 ( X, R ) a K ̈ahler class. We study the metric completion of the space H α of K ̈ahler metrics in α , when endowed with the Mabuchi L 2 -metric d . Using recent ideas of Darvas, we show that the metric complet ion ( H α , d ) of ( H α , d ) is a CAT(0) space which can be identified with E 2 ( α ), a subset of the class E 1 ( α ) of positive closed currents with finite energy. We further prove, in the toric setting, that H α,tor = E 2 tor ( α ).

研究の動機と目的

• 固定されたケーラー類内のケーラー計量の空間の、Mabuchi L²計量下での計量的完備化を特定すること。
• この完備化が非正曲率（CAT(0)）空間（ハダマード空間）であり、有限エネルギークラスE²(α)と同定されることを確立すること。
• トーリック設定への理論の拡張：デルツァント多面体上のLegendre双対性により幾何学が単純化されること。
• 完備化内の弱測地線が長さ最小化であることを証明し、計量幾何学と複素Monge-Ampère方程式を結びつけること。
• Mabuchi距離と他の位相（例：Sobolev、L²）を比較し、有限エネルギークラスにおける相対的強さを明確にすること。

提案手法

• 正規化された体積形式MA(ϕ) = ωⁿϕ / Vαによる積分を介して定義される、ケーラー汎関数Hα上のMabuchi L²計量の使用。
• Darvasの核心的洞察の応用：ポテンシャルにおける「min演算」によりMabuchi距離が減少することを示し、経路の極限を制御可能にする。
• Aubin-Mabuchi汎関数とエネルギークラスを用いて、計量的完備化(Hα, d)を有限エネルギーカレントの空間E²(α)に同定する。
• デルツァント多面体P上でのLegendre双対性によるトーリックケースへの還元：ケーラー計量はP上の凸関数に対応し、測地線はP上の直線に対応する。
• Legendre変換を用いてMabuchi距離を多面体上でのL²ノルムに翻訳し、d(ϕ,ψ) = ||Gϕ - Gψ||_{L²(P)}を示す（トーリックポテンシャルに対して）。
• トーリック定理の証明：Mabuchi距離における収束とP上でのLegendre変換のL²収束を比較することで実行する。

実験結果

リサーチクエスチョン

• RQ1 固定されたケーラー類内の滑らかなケーラー計量の空間の、Mabuchi L²計量下での計量的完備化は何か？
• RQ2 この完備化は非正曲率（CAT(0)）空間であり得るか？ また、既知のカレントクラスと同定可能か？
• RQ3 トーリック設定では、トーリックケーラー計量上のMabuchi距離が、デルツァント多面体上でのLegendre変換のL²ノルムに対応するか？
• RQ4 完備化内の弱測地線は長さ最小化であるか？ また、複素Monge-Ampère方程式の解とどのように関係するか？
• RQ5 有限エネルギークラスにおいて、Mabuchi距離は他の位相（例：Sobolev、L¹、L∞）とどのように比較できるか？

主な発見

• ケーラー類α内のケーラー計量の空間の計量的完備化(Hα, d)は、有限エネルギーカレントの空間E²(α)に等長写像であり、CAT(0)ハダマード空間である。
• トーリック設定では、H_torの完備化はE²_tor(α)に等長写像であり、Mabuchi距離はデルツァント多面体上でのLegendre変換のL²ノルムに対応する。
• 完備化内の弱測地線は長さ最小化であり、有限エネルギー端点を持つ同次複素Monge-Ampère方程式の一般化された解に対応する。
• n=1の場合、Mabuchi計量はSobolev空間W¹,²ノルムを支配する。W¹,²で収束する列はMabuchi計量で収束しない可能性があり、後者の方が厳密に強いことを示す。
• Mabuchi距離dはd ≤ 2I₂およびI₂ ≤ cₙd（ϕ ≤ ψのとき）を満たし、cₙ = 2²⁺ⁿᐟ²であるため、dとI₂位相の準同値性が示唆される。
• トーリックの場合、Mabuchi距離はd(ϕ,ψ)² = ∫_P |Gϕ - Gψ|² dsと表され、Gϕは凸ポテンシャルのLegendre変換である。これは等長写像を明示的に証明する。