[論文レビュー] Test configurations and Geodesic rays

Xiuxiong Chen, Yudong Tang|ArXiv.org|Jul 27, 2007

Geometry and complex manifolds参考文献 15被引用数 14

ひとこと要約

この論文は、コンパクトなケーラー多様体上のケーラー計量空間における滑らかなテスト構成と $C^{1,1}$ 滑らかな測地線の間の直接的な対応関係を確立する。全空間の幾何とルジャンドル変換を用いて、すべての滑らかなテスト構成が一意に相対的 $C^{1,1}$ 測地線を誘導することを証明し、単純なテスト構成の場合に一般化されたフタキ不変量が $ackslash$yen{} 不変量と一致することを示し、測地線を介して代数的安定性と幾何的安定性を結びつける。

ABSTRACT

For smooth test configurations, there always exist C^{1,1} geodesic rays in Kahler metric space parallel to the algebraic ray. The $\yen$ invariant agrees with Futaki invariant, at least under nice assumptions. Explicit examples in Toric cases are calculated. On simple test configurations, Donaldson's correspondence between HCMA solution and holomorphic disc family is extended.

研究の動機と目的

• 代数的テスト構成とケーラー計量空間内の測地線の間の幾何的対応関係を確立すること。
• すべての滑らかなテスト構成が、任意の初期ケーラー潜在関数から相対的 $C^{1,1}$ 測地線を誘導することを証明すること。
• テスト構成を介して誘導される測地線を介して、代数的不変量（フタキ、$\backslash$yen{}）と幾何的安定性概念を結びつけること。
• 周期的ファイブレーションを持つ測地線がテスト構成にコンパクト化可能かどうかを調査すること。
• トーリック退化へと対応関係を拡張し、誘導された測地線が多面体表現における区分的線形関数に対応することを示すこと。

提案手法

• テスト構成のファイバーに沿った計量潜在関数のルジャンドル変換により測地線を構成する。
• 測度 $C^{1,1}$ の正則性条件を用いて、二階微分が有界であり、測地線と代数的潜在関数の差が一様に有界であることを保証する。
• 単純なテスト構成において、モンジュ＝アンペール方程式を適用し、代数的測地線と幾何的測地線の間の対応関係を確立する。
• 多面体表現を用いて、測地線を凸関数の線形補間として記述する。
• $\mathbb{P}^4$ の部分多様体に $C^*$-作用を施したトーリック例において、明示的な計算を行い、$C^{1,1}$ 測地線の正当性を検証する。
• 幾何的潜在関数 $h_t$ と代数的潜在関数 $h_{0,t}$ の差が一様に有界であることを示し、幾何的測地線と代数的測地線が平行であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 すべての滑らかなテスト構成が、ケーラー潜在関数空間内に相対的 $C^{1,1}$ 測地線を誘導するか？
• RQ2 テスト構成の文脈において、一般化されたフタキ不変量が $ackslash$yen{} 不変量と一致する条件は何か？
• RQ3 周期的ファイブレーションを持つ測地線を用いてテスト構成を構成可能か？
• RQ4 トーリック退化から誘導される測地線が、多面体表現における区分的線形関数 $f$ と等価か？
• RQ5 測地線がテスト構成によって誘導される代数的測地線と平行であるための幾何的条件は何か？

主な発見

• すべての滑らかなテスト構成が、任意の初期ケーラー潜在関数から一意に相対的 $C^{1,1}$ 測地線を誘導し、周囲の幾何が有界である。
• 単純なテスト構成の場合、一般化されたフタキ不変量は $ackslash$yen{} 不変量と一致し、代数的安定性と幾何的安定性を結びつける。
• トーリック退化から誘導される測地線は、多面体表現において $u = u_0 + t f$ に対応する。ここで $f$ は極値の区分的線形関数である。
• 幾何的潜在関数 $h_t$ と代数的潜在関数 $h_{0,t}$ の差が一様に有界であるため、測地線が代数的測地線と平行であることが確認された。
• $C^{1,1}$ 測地線は、不連続点でジャンプを示す区分的滑らかさの二階微分を持つが、全体で $C^3$ の正則性は持たない。
• $\mathbb{P}^4$ を基にした明示的計算により、$C^{1,1}$ 測地線が正当であり、$h_t - h_{0,t}$ の一様有界性が検証された。