[論文レビュー] A construction of finite-dimensional faithful representation of Lie algebra

Yury A. Neretin|arXiv (Cornell University)|Feb 19, 2002

Advanced Topics in Algebra被引用数 11

ひとこと要約

本稿では、再帰的構成的手法によりアドーの定理を自然に証明する。任意の有限次元リーリング代数に対して、再帰的代数とネイピオント代数の半直積構造を用いて、有限次元の忠実な表現を構成する。この構成では、ネイピオント部分の包あらわし代数を用い、適切なイデアルで商をとることで有限性を保証し、再帰的部分が誘導する微分作用素を用いて作用を定義する。その結果、忠実な加群が得られる。

ABSTRACT

We give a natural proof of the Ado theorem.

研究の動機と目的

• 任意の有限次元リーリング代数に対して、有限次元の忠実な表現が存在することを示すアドーの定理の自然かつ構成的証明を提供すること。
• 代数的包あらわしのチェヴァリの構成に依存しないようにし、半直積分解を可能にするための鍵となる補題を直接証明することにより、その依存関係を排除すること。
• 任意のリーリング代数を、完全可約作用を持つ再帰的代数とネイピオントイデアルの半直積に埋め込むための体系的な方法を確立すること。
• コードイメンション1のイデアルを通じて段階的に埋め込みを構築するためのツールとして、基本的拡張（elementary expansions）の概念を導入すること。
• 包あらわし代数を適切に選んだイデアルで割った商空間上で、微分作用素を用いて忠実な表現を明示的に構成できることを示すこと。

提案手法

• リーリング代数 𝔤 を、再帰的代数 𝔭 とネイピオント代数 𝔫 の半直積 𝔭 ⋉ 𝔫 として扱い、𝔫 における 𝔭 の随伴作用が忠実であることを仮定する。
• 表現空間として、𝔫 の普遍包あらわし代数 U(𝔫) を用い、𝔫 の左乗法と、Leibniz則に従う 𝔭 による微分作用を導入する。
• 𝔫 の冪零クラスを k とするとき、長さが k+2 を超えるすべての積の生成するイデアル I を定義し、有限性を保証する。
• 商空間 U(𝔫)/I を構成し、𝔫 と 𝔭 の作用を通じて、この空間が有限次元の 𝔤-加群構造を有することを示す。
• I ∩ A = 0 であることを証明し、ここで A は 1, x, x₁x₂ の線形包である。これにより、商が有限次元的であり、作用が忠実であることが保証される。
• 基本的拡張（elementary expansions）を用い、導分のジョルダン＝チエヴァリ分解に基づく形式的生成子 y と z を導入し、再帰的に必要な半直積構造を構築する。

実験結果

リサーチクエスチョン

• RQ1 代数的包あらわしの構成に依存せずに、アドーの定理を構成的証明することは可能か？
• RQ2 リーマン分解の構造を用いて、リーリング代数の有限次元忠実表現を明示的に構成する方法は何か？
• RQ3 再帰的部分代数がネイピオントイデアルに作用する際に、完全可約かつ忠実であるための条件は何か？
• RQ4 リーマン代数を再帰的およびネイピオント部分代数の半直積に埋め込むことは、有限回の基本的拡張の繰り返しによって達成可能か？
• RQ5 導分のジョルダン＝チエヴァリ分解は、包あらわし代数を用いた忠実表現の構成において、どのような役割を果たすか？

主な発見

• I が長さ > k+2 の積の生成するイデアルであるとき、U(𝔫)/I を形成することで、任意の有限次元リーリング代数に対して有限次元忠実表現が得られる。
• 𝔤 = 𝔭 ⋉ 𝔫 が U(𝔫)/I に作用するは、well-defined かつ忠実である。I ∩ A = 0 により、非退化性が保証される。
• イデアル I は、𝔭 が誘導する微分作用 d_z に関して不変であり、加群構造が保たれる。
• 本手法は、随伴作用が忠実かつ完全可約である再帰的部分代数 𝔭 とネイピオントイデアル 𝔫 が存在することに依存する。
• 補題1は、チェヴァリの構成を用いずに直接証明され、このような分解の存在を保証する。
• 基本的拡張により、必要な半直積構造を段階的に構築でき、問題を繰り返し縮小することで、望ましい埋め込みが得られる。