[論文レビュー] Kaehler-Ricci solitons on homogeneous toric bundles (I)

Fabio Podestà, Andrea Spiro|ArXiv.org|Apr 4, 2006

Geometry and complex manifolds参考文献 16被引用数 7

ひとこと要約

本稿では、シンプレクティックデータを用いて、フラッグ多様体上のファノ同調的トーリック bundle の代数的特徴付けを提供し、このような bundle が Kähler-Ricci solitonic 度 metric を持つための必要十分条件が、ファノであることであることを確立している。主な結果は、ファイバーのミラーマップ像とフラッグ多様体のウェイルチャネルに基づく基準であり、凸多面体とリー代数のデータを用いて、第一チーン類の正性を明示的に計算可能にする。

ABSTRACT

This is the first of a sequence of two papers. Here, a simple algebraic characterization of the Fano manifolds in the class of homogeneous toric bundles over a flag manifold G^C/P is provided in terms of symplectic data. The result of this paper is used in the second paper, where it is proved that an homogeneous toric bundle over a flag manifold admits a Kaehler-Ricci solitonic metric if and only if it is Fano.

研究の動機と目的

• フラッグ多様体上の同調的トーリック bundle がファノであるかどうかを特定するための代数的で、シンプレクティックに基づく基準を提供すること。
• 第一チーン類の正性に関する必要十分条件を、ミラーマップデータとリー代数構造を用いて確立すること。
• シリーズ第二部で Kähler-Ricci soliton の存在を証明するために必要な基礎的特徴付けを構築すること。
• Koiso と Sakane の Kähler-Einstein 度 metric に関する定理を、より広い同調的トーリック bundle のクラスに一般化すること。

提案手法

• 論文は、旗多様体 $G^\bC/P$ 上の Kähler 形式に関連するミラーマップを用いて、安定化子 $K$ のリー代数の中心の双対空間内に自然な点 $Z_V$ を定義する。
• ファイバー $F$ に対して、メトリック的に正規化されたミラーマップ $\mu_\rho: F \to \mathfrak{t}^*$ を導入し、その像 $\Delta_F$ は $\rho$ の選択に依存しない凸多面体である。
• 引き戻し $\mu_\rho^\tau = (\tau|_{\mathfrak{z}(\mathfrak{k})})^* \circ \mu_\rho$ により、$\mathfrak{z}(\mathfrak{k})^*$ 内の多面体 $\Delta_{\tau,F}$ が定義され、これはファイバー上のトーラス作用を符号化する。
• 主な基準は、$\mu(eP) + \Delta_{\tau,F} \subset \mathcal{C}^\vee$ である。ここで $\mathcal{C}^\vee$ は $\mathfrak{z}(\mathfrak{k})^*$ 内の正のウェイルチャネルの双対である。
• 論文は、$F$ 上の $T^m$-作用から $\Delta_F$ を明示的に計算するためのアルゴリズムを提供し、条件 (1.1) を計算可能な有限個の代数的不等式系に再定式化する。
• この手法は、カルタン＝キリング形式と双対性に依拠し、幾何的正性をリー代数の重みとホモモーマルズ $\tau: P \to (T^m)^\bC$ に関する代数的条件に翻訳する。

実験結果

リサーチクエスチョン

• RQ1 フラッグ多様体上の同調的トーリック bundle がファノであるための条件は何か？
• RQ2 シンプレクティック的およびリー理論的データを用いて、第一チーン類の正性を代数的にどのように特徴付けられるか？
• RQ3 このような bundle に Kähler-Ricci soliton が存在するための条件を、ファノ条件に還元できるか？
• RQ4 ファイバーのミラーマップ像と基底フラッグ多様体のウェイルチャネルとの正確な関係は何か？
• RQ5 $c_1(M)$ の正性に関する基準を、計算的に有効なものにできるか？

主な発見

• 同調的トーリック bundle $M = G^\bC \times_{P,\tau} F$ が第一チーン類を正に持つための必要十分条件は、$F$ がファノであり、かつ $\mu(eP) + \Delta_{\tau,F} \subset \mathcal{C}^\vee$ であることである。ここで $\mathcal{C}^\vee$ は正のウェイルチャネルの双対である。
• ファイバー $F$ のミラーマップ像 $\Delta_F$ は、$c_1(F)$ 内の $T^m$-不変 Kähler 形式の選択に依存せず、トーラス作用から明示的に計算可能である。
• $F = \mathbb{C}P^1$ の場合、bundle $F_n$ がファノであるための必要十分条件は $n < 2$ であり、これは基準 $-\frac{1}{8\pi} + [-\frac{n}{16\pi}, \frac{n}{16\pi}] \subset \{x < 0\}$ によって確認される。
• $F = \mathbb{C}P^2$ の場合、$G = \mathrm{SO}(4n)$ とすると、bundle $M = G \times_{K,\tau} \mathbb{C}P^2$ がファノであるための必要十分条件は $n \geq 5$ である。これは、ホモモーマルズ $\tau$ を通じて定義される点 $P_o$ と $P_1$ が正のウェイルチャネル $\mathcal{C}$ 内にあることの確認によって示される。
• 基準 (1.1) は、$\tau$ に関連する行列 $C = [c_i^j]$ を用いて、有限個の代数的不等式系に再定式化可能であり、ファノ条件のアルゴリズム的検証を可能にする。
• 本構成により、Koiso と Sakane の結果が一般化される：同調的トーリック bundle が Kähler-Einstein であるための必要十分条件は、それがファノであり、かつその Futaki 功能が恒等的にゼロであることである。