[論文レビュー] On homogeneous and symmetric CR manifolds

Andrea Altomani, Costantino Medori+1 more|arXiv (Cornell University)|Oct 23, 2009

Advanced Algebra and Geometry参考文献 15被引用数 3

ひとこと要約

本稿は、CR代数を用いたリー代数的枠組みを構築し、半単純な実リー群上の左不変CR構造および複素リー群の完全フラッグ多様体上のCR対称構造を分類する。J性質とCR対称性の深い関係を確立し、既知のすべてのCR対称多様体がJ性質を満たす一方で、例外型群E₈における新しい例が存在し、それらは弱J性質即ちJ性質ですら満たさないことが示され、CR多様体の構造理論における根本的な差異が明らかになった。

ABSTRACT

We consider canonical fibrations and algebraic geometric structures on homogeneous CR manifolds, in connection with the notion of CR algebra. We give applications to the classifications of left invariant CR structures on semisimple Lie groups and of CR-symmetric structures on complete flag varieties.

研究の動機と目的

• CR代数を用いた一様なCR多様体の幾何学に対する体系的なリー代数的アプローチを構築すること。
• コンパクトでない場合を含めた半単純な実リー群上の左不変最大CR構造の分類をすること。
• 複素リー群のフラッグ多様体の文脈において、J性質とCR対称性の関係を調査すること。
• 複素代数的多様体への埋め込みを通じて、代数的CR多様体と弱代数的CR多様体を区別すること。
• E₈のルート系における最大CR代数の構成と分類を行い、J性質を満たさないCR対称構造の新しい例を同定すること。

提案手法

• 著者らは、リー群G₀のリー代数g₀と、gの複素化における複素部分代数qからなるCR代数(g₀, q)を用い、一様なCR構造をパrametrizeする。
• 標準的なファイブレーション（レヴィ＝マルツェフ型およびジョルダン＝シェヴァリエ型）を用いてCR代数を分解し、全空間、底空間、および纤维の幾何を研究する。
• 抽象的なCR代数からG₀-一様なCR多様体を構成する手法を導入し、新たな実現を得るための障害要因と修正法を同定する。
• 代数幾何学的手法を適用し、代数的CR多様体が複素代数的多様体の正則点に自然に埋め込まれることを示す。
• E₈のルート系を解析し、内積とルートの包含条件を用いて最大性およびQ₀, Q_s, Q_Υへの属するかを確認することで、最大CR代数の構成と分類を行う。
• J性質および弱J性質の検証には、CR構造と整合性を持つ特定の積分可能性条件を満たすg₀上の内部自己同型Jの存在を確認する。

実験結果

リサーチクエスチョン

• RQ1 半単純な実リー群上の左不変CR構造のうち、最大であるものは何か。また、コンパクトでない場合の分類はどのように可能か？
• RQ2 一様なCR多様体において、J性質とCR対称性の正確な関係は何か？
• RQ3 複素リー群の完全フラッグ多様体上のすべてのCR対称構造が、必然的にJ性質を満たすのか？
• RQ4 E₈のような例外型群上に、弱J性質ですら満たさないCR対称構造が存在するのか？
• RQ5 E₈ルート系における最大CR代数は何か。また、それらはQ₀, Q_s, Q_Υにどのように分割されるか？

主な発見

• 本稿は、E₈ルート系に9つの明示的な最大CR代数を構成し、Q_s(E₈) \ Q_Υ(E₈)に属する例を提示することで、J性質を満たさないCR対称構造の存在を示した。
• E₈ルート系において、最大CR代数Q₈,₁,β₀,β₁₂₃₄,β₁₂₅₆,β₁₂₃₄,β₁₂₅₆ ∈ Q_s(E₈) \ Q_Υ(E₈)を同定し、それが最大かつQ_Υに属さないことを確認した。
• 新たな最大CR代数Q₈,₁,β₀,β₁₂₃₄,β₁₂₅₆,β₃₄₅₆,β₁₃₅₇がQ₀(E₈)に属することを示し、集合に属するすべてのルートに対してα(E₈,₁) = 1であり、それが最大であることを確認した。
• 集合Q₈,₂,β₇₈,β₅₆は最大であり、Q₀(E₈)に属する。すべてのルートに対してα(E₈,₂) = 1であり、最大性および代数的性質が確認された。
• 最大CR代数Q₈,₂,β₇₈,β₅₆,β₃₄ ∈ Q₀(E₈)と、Q₈,₂,β₇₈,β₅₆,β₃₄,β₁₂ ∈ Q₀(E₈)を構成し、両者とも最大かつ代数的であることを確認した。
• 著者らは、E₈フラッグ多様体上に弱J性質を満たすが全J性質を満たさないCR対称構造、および弱J性質ですら満たさない構造を提示した。これにより、CR対称性のためにはJ性質が必須ではないことが証明された。