[論文レビュー] Poisson Geometry of Discrete Series Orbits, and Momentum Convexity for Noncompact Group Actions

Alan Weinstein|ArXiv.org|Dec 6, 2000

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用数 11

ひとこと要約

本稿では、非コンパクトな半単純リー群のハミルトニアン作用におけるモーメント写像の凸性定理を確立し、その像が離散的系列表現に対応する特定の開部分集合 𝒟 ⊂ 𝔤* に含まれることを示している。ポisson幾何学とコンパクトなリー代数双対へのモラータ同値性を活用することで、著者たちは問題をキルワンの凸性結果に還元し、適切な条件のもとで像が閉じていて、凸であり、局所的に多面体的であることを証明した。

ABSTRACT

The main result of this paper is a convexity theorem for momentum mappings of certain hamiltonian actions of noncompact semisimple Lie groups. The image is required to fall within a certain open subset D of the (dual of the) Lie algebra, and the momentum map itself is required to be proper as a map to D. The set D corresponds roughly, via the orbit method, to the discrete series of representations of the group, Much of the paper is devoted to the study of D itself, which consists of the Lie algebra elements which have compact centralizer. When the group is Sp(2n), these elements are the ones which are called "strongly stable" in the theory of linear hamiltonian dynamical systems, and our results may be seen as a generalization of some of that theory to arbitrary semisimple Lie groups. As an application, we prove a new convexity theorem for the frequency sets of sums of positive definite hamiltonians with prescribed frequencies.

研究の動機と目的

• 非コンパクトな半単純リー群作用へのモーメント凸性定理の拡張、特に離散的系列表現に関連するもの。
• coadjoint作用が適切である開部分集合 𝒟 ⊂ 𝔤* を特定・特徴づけ、これは軌道法によって離散的系列に対応する。
• シンプレクティック群体とモラータ同値性を用いた、非コンパクトな 𝒟 とコンパクトな 𝔨* 間のポisson幾何的枠組みを確立する。
• 𝒟 に値をとる適切なモーメント写像が、凸で局所的に多面体的な像を与えることを証明し、キルワンのコンパクトな場合を一般化する。

提案手法

• 𝒟 ⊂ 𝔤* を、coadjoint 指標群がコンパクトである要素の集合として定義する。これは 𝔤 内の強い安定的要素と同値である。
• Cartan 分解 𝔤 = 𝔨 ⊕ 𝔰 とKilling形式を用い、G/K 上での微分作用の原点 eK における非退化性が、𝒟 に属する要素の特徴づけであることを示す。
• シンプレクティック群体構造を用いて、𝒟 ⊂ 𝔤* と 𝔨* の開部分集合との間でモラータ同値性を確立する。
• コンパクト双対 𝔨* に対してキルワンの凸性定理を適用し、モラータ同値性を用いて結果を 𝒟 に持ち上げる。
• 像が閉じていて、凸であることを保証するため、モーメント写像 J: M → 𝒟 の適切性を証明する。
• coadjoint軌道上の対角作用と加法写像 A: 𝒪₁ × 𝒪₂ → 𝔤* を用い、正定値ハミルトニアンの和を分析する。

実験結果

リサーチクエスチョン

• RQ1 非コンパクト群作用における凸性定理の適切なポisson幾何的設定は何か？
• RQ2 非コンパクトな半単純リー群の離散的系列表現は、coadjoint軌道の観点から幾何的にどのように特徴づけられるか？
• RQ3 非コンパクト群作用におけるモーメント写像の像が凸であるための条件は何か？
• RQ4 シンプレクティック群体とモラータ同値性の手法を用いて、モーメント写像の凸性をコンパクトな場合に還元できるか？
• RQ5 この凸性定理は、線形力学系における正定値ハミルトニアンの和にどのような意味を持つのか？

主な発見

• coadjoint 指標群がコンパクトである要素の集合 𝒟 ⊂ 𝔤* は開集合であり、coadjoint作用に関して不変であり、軌道法によって離散的系列に正確に対応する。
• 𝒟 の要素は、μ ∈ 𝔤 が対応するベクトル場が対称空間 G/K の原点 eK で非退化であることに特徴づけられる。
• ポisson多様体 𝒟 ⊂ 𝔤* は、𝔨* の開部分集合とモラータ同値であり、非コンパクトな凸性問題をコンパクトな場合に還元可能である。
• 適切なモーメント写像 J: M → 𝒟 に対して、像 J(M) は 𝒟 内の閉じていて、凸で、局所的に多面体的な部分集合である。
• すべての μ ∈ J(M) に対して、レベル集合 J⁻¹(μ) は連結であるため、逆像に対する位相的制御が可能である。
• ℝ²ⁿ 上の正定値二次ハミルトニアン H₁ + H₂ の和に対して、周波数タプルの集合 F(H₁ + H₂) は、F(H₁) と F(H₂) が固定されているとき、閉じていて、凸で、局所的に多面体的である。