[論文レビュー] Invariant f-structures in the generalized Hermitian geometry

Vitaly V. Balashchenko|ArXiv.org|Mar 24, 2005

Geometry and complex manifolds参考文献 48被引用数 4

ひとこと要約

本稿は、一般化されたヘルミート幾何学の文脈において、複素フラッグ多様体 SU(3)/T_max 上の不変 f-構造を分類し、初めて知られる不変 Kiling f-構造の例を同定する。4-および 5-対称空間上の標準的 f-構造を用いて、ほぼケーラー、ヘルミート、G₁f-構造を体系的に分析し、Killing 条件を満たすのは特定の f-構造に限られることを確立するとともに、それらの構造が不変かつ非自明であるような計量のパラメータ化された族を明示的に提示する。

ABSTRACT

We collect the recent results on invariant f-structures in the generalized Hermitian geometry. Here the canonical f-structures on homogeneous k-symmetric spaces play a remarkable role. Specifically, these structures provide a wealth of invariant examples for the classes of nearly Kaehler f-structures, Hermitian f-structures and some others. Finally, we consider all invariant f-structures on the complex flag manifold SU(3)/T_{max} and describe them in the sense of generalized Hermitian geometry. In particular, it presents first invariant examples of Killing f-structures.

研究の動機と目的

• 一般化されたヘルミート幾何学の文脈において、複素フラッグ多様体 SU(3)/T_max 上のすべての不変 f-構造を包括的に分類すること。
• 長年の未解決問題である、一般化されたヘルミート幾何学における非自明な不変 Kiling f-構造の例を同定し、構成すること。
• k-対称空間上の標準的 f-構造とそれらが SU(3)/T_max 上にどのように実現されるかの関係を分析し、特に計量の適合性と曲率条件に注目する。
• 不変 f-構造がほぼケーラー、ヘルミート、G₁f-構造のどのクラスに属するかを特定し、さまざまな不変リーマン計量下での幾何的性質を特徴付けること。

提案手法

• 特に SU(3) の 4-および 5-対称空間を用いて、SU(3)/T_max 上の不変 f-構造を生成するため、同調的 k-対称空間上の標準的 f-構造を利用する。
• 正則 Φ-空間およびアフィノル構造の理論を用いて、SU(3)/T_max 上の古典的タイプ（f³ + f = 0）の f-構造を分類する。
• f-構造がヘルミート的であることを特定するため、合成テンソル T(X,Y) 及びその消滅条件を適用し、f-構造がほぼケーラー的であることを検出するため、条件 ∇_fX(f)X = 0 を用いる。
• 曲率および計量適合性の条件から明示的な代数的系を導出し、f-構造が Kiling であるときの条件を特定する。パラメータ化された計量 g = (1,t,s)（t,s > 0）を用いる。
• Levi-Civita 接続の構造とその f-構造への作用を、公式 ∇_fX(f)X = ½D(Â, B̂, Ĉ) を用いて分析し、Killing 条件を多項式方程式系に還元する。
• 表現論的および Lie 理論的道具を用いて、特定の f-構造が 4-または 5-対称空間上で標準的でないことを検証し、誤った構成を除外する。

実験結果

リサーチクエスチョン

• RQ1 SU(3)/T_max 上の不変 f-構造の中で、Killing f-構造であるものはどれであり、非自明な例は存在するか？
• RQ2 SU(3)/T_max 上でほぼケーラー f-構造が不変となり得るか？同型変換の下で、そのような構造はいくつ存在するか？
• RQ3 計量構造 g = (1,t,s) と SU(3)/T_max 上の f-構造の可積分性やヘルミート的性質との関係は何か？
• RQ4 SU(3)/T_max 上に不変 G₁f-構造は存在するか？もしあるならば、どのような条件下で生じるか？
• RQ5 6 次元多様体上の厳密なほぼケーラー f-構造は、すべて少なくとも一つの対応するエインシュタイン計量を持つのだろうか？SU(3)/T_max の事例が示唆する広範な予想について検討する。

主な発見

• 本稿は、同調的空間上における不変で非自明な Kiling f-構造の最初の既知の例を、具体的に SU(3)/T_max 上に提示する。
• SU(3)/T_max 上には、ランク 6 の不変厳密ほぼケーラー f-構造がちょうど一つ存在し、f₁ = (1,1,1) に対応し、計量 g = (1,1,1) である。
• ランク 4 の不変厳密ほぼケーラー f-構造については、3 種類の族が存在する：f₁ = (1,1,0) と g_s = (1,1,s)、f₂ = (1,0,1) と g_t = (1,t,1)、f₃ = (0,1,1) と g_t = (1,t,t)、それぞれ t,s > 0 でパラメータ化される。
• ランク 4 および 2 の f-構造 f₁ から f₉ は、すべての不変計量 g = (1,t,s)（t,s > 0）に関してヘルミート f-構造であるが、可積分ではない。
• フラッグ多様体 SU(3)/T_max は、f-構造のいずれに対しても T(X,X) = 0 を満たすことができないため、不変厳密 G₁f-構造をもたない。
• SU(3)/T_max 上の各不変厳密ほぼケーラー f-構造に対して、少なくとも一つのエインシュタイン計量が存在する：ランク 6 に対しては一つ、ランク 4 に対しては二つ、ランク 2 に対しては四つであり、この事例が示唆するより広範な予想（このような構造に対してエインシュタイン計量が存在する）を支持する。