[論文レビュー] Symplectic and Hamiltonian properties of holomorphic coadjoint orbits

Guillaume Deltour|arXiv (Cornell University)|Jan 20, 2011

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

ひとこと要約

本学位論文は、特に非コンパクトで単純かつヘルミート対称空間である実再帰的リー群 G に対して、正則共軛軌道の射影（モーメント写像像）を特徴付ける完全な線形不等式系を確立する。不変複素構造とワイル群における well-covering ペアの組合せ論を用いて、著者は明示的なモーメントポリトープ方程式を導出し、Ressayre の基準を一般化するとともに、SU(p,q)、Sp(2n,R)、SO*(2n) に対する計算的枠組みを提供する。

ABSTRACT

This thesis studies the symplectic structure of holomorphic coadjoint orbits, and their projections. A holomorphic coadjoint orbit O is an elliptic coadjoint orbit which is endowed with a natural invariant Kählerian structure. These coadjoint orbits are defined for a real semi-simple connected non-compact Lie group G with finite center, such that G/K is a Hermitian symmetric space, where K is a maximal compact subgroup of G. Holomorphic coadjoint orbits are a generalization of the Hermitian symmetric space G/K. In this thesis, we prove that the McDuff's symplectomorphism on Hermitian symmetric spaces, has an analogous for holomorphic coadjoint orbits. Then, using this symplectomorphism and recent GIT arguments from Ressayre, we compute the equations of the projection of the O, relatively to the maximal compact subgroup K.

研究の動機と目的

• 非コンパクトな実再帰的リー群 G におけるモーメント写像像（正則共軌道の射影）を特徴付けること。
• モーメントポリトープに対する Ressayre の基準を、非コンパクトな設定における正則共軌道へ一般化すること。
• well-covering ペアとワイル群の組合せ論を用いて、モーメントポリトープ方程式を体系的に計算する方法を提供すること。
• Sp(2n,R)、SU(p,q)、SO*(2n)、SO(2p,2) などの古典的群に結果を適用し、特にヘルミート対称の場合に焦点を当てる。
• リー代数の非コンパクト部における複素構造とモーメントポリトープ方程式との関係を確立すること。

提案手法

• G を最大コンパクト部分群 K を持つ実再帰的リー群とするとき、分解 𝔤 = 𝔨 ⊕ 𝔭 を用いる。
• K 不変複素構造を 𝔭 に導入し、K の中心の元による随伴作用を用いて 𝔭⁺ と 𝔭⁻ を複素ベクトル空間として定義する。
• 著者の先行研究における補題 E を適用し、集合 𝒫₀(𝔭⁻) 内の well-covering ペア (C(w,w′,0), λ) を用いてモーメントポリトープの不等式を導出する。
• 完全フラッグ多様体 GLₙ(ℂ) のコホモロジーにおけるカップ積を計算するための Chevalley 公式を用いる。これは well-covering 条件の検証に不可欠である。
• 複素化された最大トーラス Tℂ の、支配的かつ非可約で 𝔭-適応的な 1 時間パラメータ群 λ の体系的計算を行う。
• 不等式 ⟨wλ, ξ⟩ ≤ ⟨w₀w′λ, Λ⟩ をすべての such well-covering ペアに対して満たす解集合として、モーメントポリトープ Δ_K(𝒪_Λ) を導出する。

実験結果

リサーチクエスチョン

• RQ1 最大コンパクト部分群の作用下での正則共軌道のモーメント写像像を特徴付ける完全な線形不等式系は何か？
• RQ2 非コンパクトな実再帰的リー群における正則共軌道に、モーメントポリトープに対する Ressayre の基準をどのように拡張できるか？
• RQ3 リー代数の非コンパクト部 𝔭 における K 不変複素構造が、モーメントポリトープに与える役割は何か？
• RQ4 具体的には、ワイル群における well-covering ペアという組合せ的データが、古典的群のモーメントポリトープをどのように決定するか？
• RQ5 SU(p,q)、Sp(2n,R)、SO*(2n) などの特定の群に対して、明示的なモーメントポリトープ方程式を計算できるか？

主な発見

• 正則共軌道のモーメントポリトープ Δ_K(𝒪_Λ) は、集合 𝒫₀(𝔭⁻) 内のすべての well-covering ペア (C(w,w′,0), λ) に対して不等式 ⟨wλ, ξ⟩ ≤ ⟨w₀w′λ, Λ⟩ を満たす解集合として特徴付けられる。
• G が単純かつ非コンパクトで、ヘルミート対称的かつ中心が有限の場合は、定理 G に示される不等式によってモーメントポリトープが完全に記述される。
• 著者は、Sp(2n,R)、SU(p,q)、SO*(2n)、SO(2p,2) などの古典的群について、すべての支配的かつ非可約で 𝔭-適応的な 1 時間パラメータ群 λ を計算した。
• 本手法は、SU(n,1)、SO*(6)、SO*(8)、SU(2,2) についてもモーメントポリトープを効果的に計算できることを示しており、フレームワークの有効性を裏付けている。
• 本研究では、SU(n,1) における特定のホーン型三重 (I,J,L) が、モーメントポリトープ方程式のインデックス三重として出現することを証明し、問題をホーンの予想に関連づけた。
• 𝔭⁻ における複素構造は、リー代数 𝔤 の負の非コンパクト根に対応し、モーメントポリトープ方程式の導出において不可欠な役割を果たす。