[論文レビュー] CR-submanifolds. A class of examples

Liviu Ornea|ArXiv.org|May 9, 2005

Geometric Analysis and Curvature Flows参考文献 13被引用数 4

ひとこと要約

本稿では、ケーラー、ササキアン、およびほぼヘルミート空間などの構造付き多様体における、ハミルトニアン群作用に関連する運動量写像の等高線集合として、CR部分多様体の一般的構成を提示する。主な貢献は、群作用がテンソル場と計量を保存する場合、その運動量写像のゼロ等高線がCR部分多様体をなすことの証明であり、さまざまな幾何的構造における一貫した例の供給を可能にする。

ABSTRACT

I present a class of examples of \CR-submanifolds of manifolds endowed with different structures, obtained as level sets of momentum maps associated to specific Hamiltonian actions.

研究の動機と目的

• 構文的Kähler設定を超えた構造付き多様体におけるCR部分多様体の自然な例の体系的クラスを提供すること。
• ハミルトニアン群作用からの運動量写像を用いて、ヘルミート的または接触的環境を超えたCR部分多様体の幾何的構成を拡張すること。
• 構造を保存する群作用に関連する運動量写像のゼロ等高線が、テンソル場および計量に関する一般条件の下でCR部分多様体をもたらすことを示すこと。
• 既知の例を一般化し、球面、複素ベクトル空間、およびハイパーケーラー多様体などの空間における明示的構成を提供すること。

提案手法

• 本稿では、1対1のテンソル場Fと計量に整合する(半-)リーマン多様体として構造付き多様体を定義し、ω(X,Y) = g(X,FY) が最大ランクの2形式であると仮定する。
• 次に、リー群Gのハミルトニアン作用の概念を導入し、計量およびテンソル場Fの両方を保存する必要があると仮定する。
• 等変運動量写像μ: M → 𝔤*の存在を仮定し、dμ(ζ) = ζ_M ⌋ ωおよびμ(g·x) = Ad*(g)μ(x)（ζ ∈ 𝔤）を満たすものとする。
• 主な手法は、0 ∈ 𝔤*がμの正則値であれば、μ⁻¹(0)がCR部分多様体であることを証明することであり、水平分布H_x = T_xμ⁻¹(0) ∩ (T_x(G·x))⊥がF-不変で、軌道接空間T_x(G·x)が完全に実的であることを示す。
• アーベル群作用や特定の共軛軌道（例：μ⁻¹(ℝ₊ζ)）の条件下で、非ゼロの正則値ζ ∈ 𝔤*に対しても一般化が可能である。
• 明示的例は、既知の群作用から導出される：S³, S⁵, S⁷におけるT²作用、複素行列空間におけるU(k)作用、ハイパーケーラー多様体におけるℝⁿ作用。

実験結果

リサーチクエスチョン

• RQ1 構造付き多様体（シンプレクティックやケーラーに限らない）における運動量写像の等高線集合がCR部分多様体をもたらすか？
• RQ2 テンソル場および計量を保存する群作用が、その運動量写像を通じてCR部分多様体を生成する条件は何か？
• RQ3 運動量写像の非ゼロ正則値がなぜ依然としてCR部分多様体をもたらすのか、幾何的意味は何か？
• RQ4 ササキアン、ケーラー、ハイパーケーラー多様体における、この方法で得られる明示的かつ自然なCR部分多様体の例は何か？

主な発見

• 構造を保存するハミルトニアン群作用に関連する運動量写像のゼロ等高線μ⁻¹(0)はCR部分多様体であり、水平空間H_xはF-不変で、軌道接空間T_x(G·x)は完全に実的である。
• アーベル群や特定の共転軌道（例：ℝ₊ζ）の下では、非ゼロの正則値ζ ∈ 𝔤*に対してもCR部分多様体が得られ、ゼロ等高線の場合を一般化する。
• 明示的例として、S³, S⁵, S⁷がS²ⁿ⁻¹におけるT²作用の下でCR部分多様体として得られ、運動量写像は線形で、等高線は特定の重みを持つ球面である。
• Stiefel多様体V_k(ℂⁿ⁺ᵏ)は、(n+k)×k複素行列空間におけるμ⁻¹(Id)として得られ、標準的複素構造およびFubini-Study計量の下でCR部分多様体である。
• ハイパーケーラー還元において、ℍⁿ×ℍⁿにおけるℝⁿ作用のi成分の運動量写像のゼロ等高線はCR部分多様体をなす。これはTaub-NUT計量の構成を一般化する。