[論文レビュー] A note on the $K$-stability on toric manifolds

Xiaohua Zhu, Zhu, Xiaohua|ArXiv.org|Jun 4, 2007

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

ひとこと要約

本稿では、極小的計量の存在に対する、トーリック退化に関する相対K安定性が必須条件であることを確立し、極小的計量をもつトーリック曲面における $G_0$-不変キラー計量の空間における修正Kエネルギーが適切であることを証明する。結果は、Legendre変換および多面体上の修正Futaki不変量の解析を通じて得られ、Donaldsonの枠組みが相対安定性およびエネルギーの適切性へと拡張される。

ABSTRACT

In this note, we prove that on polarized toric manifolds the relative $K$-stability with respect to Donaldson's toric degenerations is a necessary condition for the existence of Calabi's extremal metrics, and also we show that the modified $K$-energy is proper in the space of $G_0$-invariant Kähler metrics for the case of toric surfaces which admit the extremal metrics.

研究の動機と目的

• 極小的計量の存在に対する、トーリック退化に関する相対K安定性の必要性を確立すること。
• 極小的計量をもつトーリック曲面における $G_0$-不変キラー計量の空間における修正Kエネルギー関数の適切性を証明すること。
• トーリック多様体における相対K安定性の設定へと、$K$-安定性および$K$-エネルギー解析のDonaldsonの枠組みを拡張すること。
• 多面体上の区分的線形関数およびLegendre双対性を用いて、修正Futaki不変量とそのモーメント多面体の幾何学的関係を分析すること。

提案手法

• モーメント多面体 $P$ 上の有理数値区分的線形関数によって誘導されるトーリック退化を用い、それらを極小的ベクトル場と整合するテスト配置に関連付ける。
• キラー計量 $\theta_\theta$ を多面体 $P$ 上の凸関数 $u$ にLegendre双対性を用いて変換し、修正$K$-エネルギーの解析を可能にする関数 $\mathcal{F}(u) = -\int_P \log(\det D^2u)\,dx + L(u)$ を導出する。
• 相対$K$-安定性を定義するため、修正Futaki不変量 $F_{\tilde{\beta}}(\tilde{\alpha}) = F(\tilde{\alpha}) - \frac{(\tilde{\alpha},\tilde{\beta})}{(\tilde{\beta},\tilde{\beta})}F(\tilde{\beta})$ を用い、中心ファイバーにおけるその非正性を分析する。
• 部分積分および $\delta \to 0$ における極限議論を用いて、恒等式 $\int_P \sum_{i,j} u^{ij}_{ij} f\,dx = -\int_{\partial P} f\,d\sigma + \sum_{\lambda<\mu} \int_{\partial P^\lambda \cap \partial P^\mu} \frac{\sum_{i,j} u^{ij}(c^{\alpha_\lambda}_i - c^{\alpha_\mu}_i)(c^{\alpha_\lambda}_j - c^{\alpha_\mu}_j)}{\sqrt{\sum_l (c^{\alpha_\lambda}_l - c^{\alpha_\mu}_l)^2}}\,d\sigma_0$ を導出し、$L(f) \geq 0$ を示す。
• 非アフィンな凸関数 $u_\infty \in \mathcal{C}_1$ が存在し $L(u_\infty) = 0$ であると仮定し、それによって Proposition 2.3 と矛盾することを示すことで、$L(u) \geq \lambda \int_{\partial P} u\,d\sigma$（$\lambda > 0$）の厳密な下界を証明し、修正$K$-エネルギーの適切性を導く。
• 修正$K$-エネルギー $\mu(\phi)$ が $\mathcal{F}(u)$ に比例することに依拠し、$L(u)$ に対する下界を用いて $\mu(\phi) \geq \delta \inf_{\sigma \in T} I(\phi_\sigma) - C$（$\delta, C > 0$）を導出し、$G_0$-不変設定における適切性を確認する。

実験結果

リサーチクエスチョン

• RQ1 極小的計量が極小的計量をもつ極小的計量をもつトーリック多様体上で存在するためには、トーリック退化に関する相対K安定性が必要条件であるか？
• RQ2 極小的計量をもつトーリック曲面における $G_0$-不変キラー計量の空間における修正Kエネルギー関数は、適切なままであるか？
• RQ3 多面体幾何学および区分的線形関数を用いて、修正Futaki不変量をトーリック設定における安定性条件を特徴付けるために使用できるか？
• RQ4 凸関数 $u$ に対して、関数 $L(u)$ と境界積分 $\int_{\partial P} u\,d\sigma$ の関係は何か？
• RQ5 $L(u) = 0$ が $u$ がアフィンであることを意味する条件は何か、そしてそれは修正Kエネルギーの適切性とどのように関係するか？

主な発見

• 極小的計量が極小的計量をもつ極小的計量をもつトーリック多様体上で存在するためには、すべてのトーリック退化に関する相対K安定性が必要条件である。
• 極小的計量をもつトーリック曲面における $G_0$-不変キラー計量の空間における修正Kエネルギーは、$L(u) \geq \lambda \int_{\partial P} u\,d\sigma$（$\lambda > 0$）を示すことにより適切であることが証明された。
• 多面体の境界およびcodimension-one面にわたる積分によって定義される関数 $L(f)$ は、すべての区分的線形関数 $f$ に対して $L(f) \geq 0$ を満たし、等号成立は $f$ がアフィンである場合に限る。
• 非アフィンな凸関数 $u_\infty$ が $L(u_\infty) = 0$ を満たすと仮定すると、Proposition 2.3 と矛盾するため、$L(u)$ の厳密な下界が示される。
• 修正Kエネルギー $\mu(\phi)$ は $\mu(\phi) \geq \delta \inf_{\sigma \in T} I(\phi_\sigma) - C$（$\delta, C > 0$）を満たし、$G_0$-不変設定における適切性が確認された。
• 証明は、キラー位相 $\phi$ をモーメント多面体上の凸関数 $u$ に変換するLegendre変換に依拠しており、これにより凸解析および多面体幾何学を安定性解析に応用可能となる。