[論文レビュー] Mabuchi geometry of big cohomology classes with prescribed singularities

Mingchen Xia|arXiv (Cornell University)|Jul 16, 2019

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

ひとこと要約

本稿は、特異点が指定された一意分岐Kähler空間上の大きなコhomology類に対して、Mabuchi幾何学の枠組みを確立し、Monge–Ampère方程式を解かずに、有限エネルギーポテンシャルの空間 $\mathcal{E}^p(X,\theta;[\phi])$ 上に距離 $d_p$ を導入する。非多様体的積分と特異版Lelong予想の証明により、特異多様体上の複素ポテンシャル論理と距離幾何学の統一的取り扱いを可能にする。

ABSTRACT

Let $X$ be a compact Kähler unibranch complex analytic space of pure dimension. Fix a big class $α$ with smooth representative $θ$ and a model potential $ϕ$ with positive mass. We define and the study non-pluripolar products of quasi-plurisubharmonic functions on $X$. We study the spaces $\mathcal{E}^p(X,θ;[ϕ])$ of finite energy Kähler potentials with prescribed singularities for each $p\geq 1$. We define a metric $d_p$ and show that $(\mathcal{E}^p(X,θ;[ϕ]),d_p)$ is a complete metric space. This construction generalizes the usual $d_p$-metric defined for an ample class.

研究の動機と目的

• 滑らかな多様体上の正則クラスにおけるMabuchi $d_p$-距離理論を、特異な一意分岐Kähler空間上の大きなコhomology類へ拡張すること。
• 特異多様体上での強固な複素ポテンシャル論理、特に非多様体的積分を、特異点の解消と一意分岐構造を活用して構築すること。
• 指定された特異点を持つ有限エネルギーポテンシャルの空間 $\mathcal{E}^p(X,\theta;[\phi])$ を定義・研究し、古典的 $\mathcal{E}^p$ 空間を一般化すること。
• Monge–Ampère方程式を解かずに $\mathcal{E}^p$ 上に距離 $d_p$ を構成し、正則および大きなネフの場合に既存の定義と整合することを保証すること。
• 空間 $\mathcal{R}^1$ のgeodesic rayに、完全な $d_1$-距離を備えたルーフトップ構造を確立し、滑らかな解体から等長同型に引き上げること。

提案手法

• 特異空間 $X$ から滑らかな空間 $Y$ への特異点の解消 $\pi: Y \to X^{\operatorname{red}}$ を用い、一意分岐性により連結なファイバーとpsh関数上の $\pi^*$-同型を保証することで、複素ポテンシャル論理を $X$ から $Y$ に移す。
• 一意分岐空間上では無視可能な集合が多様体的集合と一致することを証明し、Lelong予想の特異版を一般化し、Bedford–Taylor積の局所性を保証し、非多様体的積分を可能にする。
• 滑らかな空間上の既知の理論と、psh関数上での $\pi^*$ の全単射性を用い、$Y$ への引き戻しにより $X$ 上の擬psh関数の非多様体的積を定義する。
• モデルポテンシャル $\phi$ による特異点が制御された $\theta$-psh関数の集合として、空間 $\mathcal{E}^p(X,\theta;[\phi])$ を定義し、$\phi$ に関する有限 $p$-エネルギーを満たすものとする。
• エネルギー汎関数 $E^\phi$ を用いて $\mathcal{E}^p$ 上に $d_p$-距離を構成し、$p=1$ の場合 $d_p(\varphi,\psi) = E^\phi(\varphi) + E^\phi(\psi) - 2E^\phi(\varphi \land \psi)$ と定義し、$p>1$ ではエネルギー差の $L^p$-ノルムに拡張する。
• geodesic rayの空間 $\mathcal{R}^1(X,\theta)$ に、点ごとの下限によるルーフトップ構造を確立し、$\pi^*$ が $\mathcal{R}^1(X,\theta)$ と $\mathcal{R}^1(Y,\pi^*\theta)$ 間の等長同型を誘導することを証明する。

実験結果

リサーチクエスチョン

• RQ1 Monge–Ampère方程式を解かずに、特異な一意分岐Kähler空間上の大きなコhomology類に対して、$\mathcal{E}^p$ 空間上の $d_p$-距離を定義できるか？
• RQ2 擬psh関数の非多様体的積は特異な一意分岐空間へ拡張可能か？ また、複素細位相に関して局所的か？
• RQ3 特異な設定下で、指定された特異点を持つ有限エネルギーポテンシャルの空間 $\mathcal{E}^p(X,\theta;[\phi])$ は適切に定義されており、geodesicであるか？
• RQ4 $\mathcal{E}^1$ の距離的完備化は、正則および大きなネフの場合に既知の定義と一致する $d_1$-距離によって特徴付けられるか？
• RQ5 特異多様体上のgeodesic ray空間 $\mathcal{R}^1$ は、その解体上での完全なルーフトップ距離構造を、等長同型を介して引き継ぐか？

主な発見

• 本稿は、コンpactな一意分岐Kähler空間上では、集合 $E \subseteq X$ が無視可能であることと、多様体的であることとは同値であることを証明し、Lelong予想の特異版を確認した。
• 擬psh関数の非多様体的積は、特異な一意分岐空間上で適切に定義され、複素細位相に関して局所的である。これにより、特異多様体上での $\mathcal{E}^p$ 空間の構成が可能になった。
• $\mathcal{E}^p(X,\theta;[\phi])$ 上の距離 $d_p$ は、Monge–Ampère方程式を解かずに定義され、特異多様体上の大きなコhomology類への古典的 $d_p$-距離の一般化を実現した。
• $p=1$ の場合、距離 $d_1(\varphi,\psi) = E^\phi(\varphi) + E^\phi(\psi) - 2E^\phi(\varphi \land \psi)$ は、[DDNL18] および [Tru22] で知られている定義と一致し、$p>1$ ではエネルギーに基づくノルムに拡張された。
• geodesic ray空間 $\mathcal{R}^1(X,\theta)$ は、1-厳密な完全なルーフトップ構造を備え、引き戻し $\pi^*$ が $\mathcal{R}^1(X,\theta)$ と $\mathcal{R}^1(Y,\pi^*\theta)$ 間の等長同型を誘導する。
• $\mathcal{E}^p(X,\theta;[\phi])$ 上の $d_p$-距離は、[DNL20] で定義された大きなネフクラスの定義と一致し、一般の大きなクラスに対する特異多様体上での理論への拡張を実現した。