[論文レビュー] On the variety of Lagrangian subalgebras

Sam Evens, Jiang-Hua Lu|ArXiv.org|Sep 1, 1999

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用数 20

ひとこと要約

本稿は、複素単純リー代数 𝔤 とその虚数部のカルタン形式に関する、variety 𝒟 における自然なポアソン構造 Π を導入する。各既約成分は一般化フラグ多様体上への滑らかなファイバー束であり、そのファイバーは De Concini-Procesi のコンパクト化の実数点とコンパクトな同調空間の積と同型である。このポアソン構造はリー双代数の二重構成から生じ、多様体に豊かな幾何学的およびポアソン理論的性質（ポアソン部分多様体、ワイル群による対称性など）をもたらす。

ABSTRACT

We study Lagrangian subalgebras of a semisimple Lie algebra with respect to the imaginary part of the Killing form. We show that the variety $\Lagr$ of Lagrangian subalgebras carries a natural Poisson structure $Π$. We determine the irreducible components of $\Lagr$, and we show that each irreducible component is a smooth fiber bundle over a generalized flag variety, and that the fiber is the product of the real points of a De Concini-Procesi compactification and a compact homogeneous space. We study some properties of the Poisson structure $Π$ and show that it contains many interesting Poisson submanifolds.

研究の動機と目的

• 複素単純リー代数 𝔤 とその虚数部のカルタン形式に関するラグランジュ部分代数の多様体の幾何学的およびポアソン的構造を理解すること。
• この多様体がリー双代数の二重構成から生じる自然なポアソン構造 Π を持つことを確立すること。
• この多様体の既約成分を特定し、それらが一般化フラグ多様体上にファイバー束としてどのように構成されるかを記述すること。
• 特に同調空間とワイル群の対称性から生じるポアソン部分多様体を同定すること。
• 低ランクの場合（例：𝔰𝔩(2,ℂ)）におけるポアソン構造の明示的実現を行い、既知のポアソン同調空間と関連付けること。

提案手法

• リー双代数の二重構成を用いて、複素単純リー代数の実形式である二重代数上でラグランジュ部分代数の多様体にポアソン構造 Π を構成する。
• 二重代数上の対称的スカラー積を用い、カルタン形式の虚数部に関して自己双対となる半次元の部分代数としてラグランジュ部分代数を定義する。
• ドリンフェルドの定理（ポアソン同調空間）を応用し、ラグランジュ部分代数と同調空間上の U-不変ポアソン構造との関係を確立する。
• ラグランジュ部分代数の多様体を一般化フラグ多様体上へのファイバー束として解析し、そのファイバーを De Concini-Procesi のコンパクト化の実数点とコンパクトな同調空間の積に分解する。
• 𝔰𝔩(2,ℂ) の場合に明示的にポアソン構造 Π を計算し、エルミート行列への作用を通じて ℝP³ 上の2次ポアソン構造に同定する。
• R-行列の構成を用いてエルミート行列空間上のポアソン括弧を導出し、その後射影空間 ℝP³ へと降下する。

実験結果

リサーチクエスチョン

• RQ1 複素単純リー代数のラグランジュ部分代数の多様体は、どのように自然なポアソン構造をもつか？
• RQ2 この多様体の既約成分の幾何学的構造は何か？
• RQ3 同調空間から生じるポアソン部分多様体（例：K/T の形のポアソン同調空間）は、多様体内でどのように埋め込まれているか？
• RQ4 ワイル群や対称性は、多様体上のポアソン構造において果たす役割は何か？
• RQ5 低ランクの場合（例：𝔰𝔩(2,ℂ)）におけるポアソン構造は、どのように明示的に計算できるか？

主な発見

• ラグランジュ部分代数の多様体は、対応するリー群のアドジョイント作用に関して不変な自然なポアソン構造 Π を持つ。
• 多様体の各既約成分は滑らかであり、一般化フラグ多様体上へのファイバー束であり、そのファイバーは De Concini-Procesi のコンパクト化の実数点とコンパクトな同調空間の積と同型である。
• ポアソン構造 Π には、K/T の形のポアソン同調空間に対応する多くのポアソン部分多様体が含まれる（K はコンパクト実形式）。
• 𝔰𝔩(2,ℂ) の場合、ラグランジュ部分代数の多様体は ℝP³ に同定され、エルミート行列空間上の座標 (x,y,u,v) における2次括弧で明示的に与えられるポアソン構造を持つ。
• Casimir 関数 c₁ = x + y および c₂ = xy − u² − v² が保存されることから、SU(2)-軌道がポアソン部分多様体であることが示される。
• ℝP³ 上のポアソン構造は、R-行列の構成によってエルミート行列上の2次ポアソン構造から誘導され、パrameter a = 1/2 のとき反対称写像が対称性をもつ。