[論文レビュー] 2-step nilpotent Lie groups arising from semisimple modules

Patrick Eberlein|ArXiv.org|Jun 17, 2008

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

ひとこと要約

この論文は、コンパクトな半単純リー代数の有限次元実表現から、複素化と表現論を用いて2段階可解なリー群を構成する。主な貢献は、ウェイリ群作用と重み空間分解を用いて、完全測地的かつ有理的である部分代数を明示的に構成することであり、有理的構造とシェバリィの基底への応用を含む。

ABSTRACT

Every finite dimensional real representation of a compact real semisimple Lie algebra determines a metric 2-step nilpotent Lie algebra and a corresponding simply connected metric 2-step nilpotent Lie group N. We study the differential geometry of N using representation theory of the complexified complex semisimple Lie algebra.

研究の動機と目的

• コンパクトな半単純リー代数の有限次元実表現から生じる2段階可解なリー群の微分幾何的性質を調査すること。
• 重み空間分解とルート系を用いて、複素化されたリー代数の構造を分析すること。
• 有理的重み空間を持つシェバリィの有理的構造がリー代数上に存在することを確立すること。
• 関連するリー代数の根と重みを用いて、完全測地的かつ有理的である部分代数を構成すること。

提案手法

• 実リー代数 $\mathfrak{N}_0 = U \oplus \mathfrak{G}_0$ を複素化し、$\mathfrak{N} = V \oplus \mathfrak{G}$（ここで $V = U^\mathbb{C}$ かつ $\mathfrak{G} = \mathfrak{G}_0^\mathbb{C}$）とする。これにより、複素表現論を適用する。
• 複素 $\mathfrak{G}$-加群 $V$ の重み空間分解を用いて、$\mathfrak{N}$ の括弧積構造を記述する。
• ウェイリ群作用を用いて、$\mathfrak{N}_0$ 上の自己同型および左不変計量の等長変換を構成し、リー代数構造を保存する。
• $\mathfrak{G}_0$ に対してシェバリィの基底を構成し、重み空間が有理的部分空間となるように $\mathfrak{N}_0$ 上に有理的構造を定義する。
• 根と重み系を用いて、部分代数が完全測地的かつ有理的であるための条件を同定する。
• $\mathfrak{G} = C_n$ の場合に $\Phi^+ - \beta_{\text{max}} \subset W_1(\Delta)$ が成り立つことを証明し、部分代数構成に必要な主要な被覆性質を確立する。

実験結果

リサーチクエスチョン

• RQ1 有限次元実表現からコンパクトな半単純リー代数を生成する2段階可解なリー群を、どのように体系的に構成できるか？
• RQ2 ウェイリ群は、このようなリー群における幾何的および代数的構造を保存するために果たす役割は何か？
• RQ3 シェバリィの有理的構造の下で、モジュール $U$ の重み空間が有理的部分空間となる条件は何か？
• RQ4 根と重み系を用いて、完全測地的部分代数をどのように明示的に構成できるか？
• RQ5 有理的構造と自己同型の文脈において、複素と実の重み空間分解の関係は何か？

主な発見

• 複素化されたリー代数 $\mathfrak{N} = V \oplus \mathfrak{G}$ は、$[\mathfrak{N}, \mathfrak{N}] = \mathfrak{G}$ を満たす自然な2段階可解構造を備え、スケーリングを除いて一意である。
• リー代数 $\mathfrak{G}$ のウェイリ群は、$\mathfrak{N}_0$ 上でリー代数自己同型および左不変計量の等長変換として作用する。
• $\mathfrak{G} = C_n$ の場合、集合 $\Phi^+ - \beta_{\text{max}}$ は、ウェイリ群の軌道の和集合 $W_1(\alpha_1) \cup W_1(\alpha_2)$ に含まれる。この性質により、有理的部分代数の構成が可能になる。
• 実リー代数 $\mathfrak{N}_0$ は、$U$ のすべての重み空間が有理的部分空間であるシェバリィの有理的構造を備える。
• 適切な抽象的重みと根系を用いて、完全測地的かつ有理的である部分代数 $\mathfrak{N}_0$ を構成できる。
• 各重み空間 $V_\lambda$ に対し、$\operatorname{ad}_v : v \in V_\lambda$ の像が $\mathfrak{G}_\lambda$ 上で全射であることが保証され、括弧関係の構造的制御が可能になる。