[論文レビュー] Homotopy groups of K-contact toric manifold

Eugene Lerman|ArXiv.org|Apr 5, 2002

Advanced Combinatorial Mathematics参考文献 7被引用数 5

ひとこと要約

この論文は、トーリック接触多様体のうちリーブ型と呼ばれるクラスであるK-contactトーリック多様体の1次および2次ホモトピー群を、トーラス作用に伴うモーメントコーンの解析によって計算する。基本群は、 facet の法線ベクトルが生成する部分格子 $ olimits\mathcal{L}$ を用いて $\mathbb{Z}_G / \mathcal{L}$ と表され、2次ホモトピー群は、モーメントコーンの facet 数 $N$ とトーラスの次元 $\dim G$ に依存する自由アーベル群で、ランクは $N - \dim G$ である。

ABSTRACT

We compute the first and second homotopy groups of a class of contact toric manifolds in terms of the images of the associated moment map.

研究の動機と目的

• リーブ型と呼ばれるK-contact多様体の部分クラスである接触トーリック多様体の1次および2次ホモトピー群を計算すること。
• これらのホモトピー不変量が、トーラス作用に関連するモーメントコーンの組合せ的データとどのように関係するかを明らかにすること。
• 接触トーリック多様体（ねじれが存在し、非自明な基本群を有する可能性がある）とトポロジカルトーリック多様体（単連結でねじれがない）との間の位相的差異を明確にすること。
• Sasakian多様体のホモトピー的分類ツールを提供すること。Sasakian多様体は、Einstein計量の構成において関心の高い対象である。
• コスフィアバンドル構成を用いて、トーリック可積分系を備えた多様体上の測地線流れを理解するための位相的枠組みを確立すること。

提案手法

• 論文は、接触多様体 $B$ におけるトーラス作用に関連するモーメントコーン $C \subset \mathfrak{g}^*$ を用いる。これは、厳密に凸な有理的多面体コーンである。
• facet の内部を向いた法線ベクトルが生成する部分格子 $\mathcal{L} \subset \mathbb{Z}_G$ を定義し、これによりトーリックデータを記述する。
• 基本群 $\pi_1(B)$ は、モーメントコーンの格子構造から導かれる有限アーベル群 $\mathbb{Z}_G / \mathcal{L}$ と同型であると特定する。
• 2次ホモトピー群 $\pi_2(B)$ は、モーメントコーン $C$ の facet 数 $N$ を用いて、ランク $N - \dim G$ の自由アーベル群として計算する。この計算には、複素数空間の補集合 $\mathbb{C}^N \setminus \bigcup_{I \in \mathcal{U}} V_I$ へのホモトピー同値が利用される。
• 証明はシンプレクティゼーションに依拠している：接触多様体 $B$ は、モーメント写像像が $C(\Psi)$ であるシンプレクティックコーン $M = B \times \mathbb{R}$ の商として得られる。
• 計算には、$Z = \Phi_T^{-1}(0) \setminus \{0\}$ が $\mathbb{C}^N \setminus \bigcup_{I \in \mathcal{U}} V_I$ とホモトピー同値であるという事実を用い、このような補集合のホモトピー型に関する代数的位相の結果を応用する。

実験結果

リサーチクエスチョン

• RQ1 K-contactトーリック多様体のリーブ型における基本群は何か？ そして、モーメントコーンの組合せ的データとどのように関係するか？
• RQ2 このような多様体の2次ホモトピー群は何か？ そのランクは facet 数とトーラスの次元にどのように依存するか？
• RQ3 接触トーリック多様体のホモトピー群は、トポロジカルトーリック多様体のそれらとどのように異なるか？ 特にねじれや連結性の観点から。
• RQ4 接触トーリック多様体のホモトピー型は、モーメントコーンの格子構造および面構造によって完全に特定可能か？
• RQ5 リーブ型条件は、K-contact構造の存在およびそれによる位相にどのように影響を与えるか？

主な発見

• リーブ型の接触トーリック多様体 $B$ の基本群 $\pi_1(B)$ は、モーメントコーン $C \subset \mathfrak{g}^*$ の facet の法線ベクトルが生成する部分格子 $\mathcal{L}$ を用いて、有限アーベル群 $\mathbb{Z}_G / \mathcal{L}$ と同型である。
• 2次ホモトピー群 $\pi_2(B)$ は、モーメントコーン $C$ の facet 数 $N$ を用いて、ランク $N - \dim G$ の自由アーベル群である。
• モーメントコーン $C$ は、厳密に凸な有理的多面体コーンであるため、ホモトピー不変量を計算するための明確な組合せ的構造が保証される。
• 接触多様体 $B$ のシンプレクティゼーションは、モーメント写像像が $C \cup \{0\}$ であるシンプレクティックコーンであり、この構造がホモトピー計算の根拠となる。
• 空間 $Z = \Phi_T^{-1}(0) \setminus \{0\}$ は、$\mathbb{C}^N \setminus \bigcup_{I \in \mathcal{U}} V_I$ とホモトピー同値であり、これにより複素代数的位相の道具が $\pi_2(B)$ の計算に利用可能になる。
• リーブ型条件は、$K$-contact構造の存在と同値であり、この同値性を用いて、ホモトピー解析に必要な適切な計量およびベクトル場構造を有する多様体であることを保証する。