[論文レビュー] A converse to the Second Whitehead Lemma

Pasha Zusmanovich|arXiv (Cornell University)|Apr 29, 2007

Quantum Mechanics and Applications参考文献 8被引用数 13

ひとこと要約

この論文は、第二ホワイトヘッド補題の逆を確立する。標数0の体上の有限次元リーリング代数で、すべての有限次元加群において第二コホモロジーが消えるものは、半単純代数、または半単純代数と1次元代数の直和に限られる。証明はスペクトル系列、コホモロジーの消滅、次元に関する帰納法を用い、可解根基が自明または1次元でなければならないことを示し、このような代数の分類に至る。

ABSTRACT

We show that finite-dimensional Lie algebras over a field of characteristic zero such that the second cohomology group in every finite-dimensional module vanishes, are, essentially, semisimple.

研究の動機と目的

• 標数0の体上の有限次元リーリング代数で、すべての有限次元モジュールにおいて第二コホモロジーが消えるものを探ること。
• 第一ホワイトヘッド補題の既知の逆と類似する第二ホワイトヘッド補題の逆を確立すること。
• このコホモロジー消滅条件を満たすすべてのリーリング代数を分類すること。
• リーリング代数コホモロジーにおける第二コホモロジー消滅条件に関して、以前未解決であった問題を解消すること。

提案手法

• 1次元のイデアルに関するホッチルド–セルルスペクトル系列と半直積分解を用いる。
• 1次元のコホモロジー分解に関するディクシエの結果を適用する。
• すべての有限次元 $ L $-モジュール $ V $ に対して $ H^2(L, V) $ が消えることにより、可解根基 $ \mathrm{Rad}(L) $ の構造を制約する。
• 次元に関する帰納法を用い、問題を1次元のイデアルを持つ代数とその直和分解に還元する。
• 命題1.2を適用し、次元>1のノルム的リーリング代数は非自明な $ H^2 $ を持つことから、非自明なノルム的根基を除外する。
• $ S $ が半単純部分代数であるとき、すべての $ S $-モジュール $ V $ に対して $ (H^2(\mathrm{Rad}(L), K) \otimes V)^S = 0 $ であるという事実を活用し、 $ H^2(\mathrm{Rad}(L), K) = 0 $ を強制する。

実験結果

リサーチクエスチョン

• RQ1 標数0の体上の有限次元リーリング代数で、すべての有限次元モジュールにおいて第二コホモロジーが自明となるものはどれか？
• RQ2 第二ホワイトヘッド補題の逆は成り立つか：すべての有限次元 $ V $ に対して $ H^2(L, V) $ が消えると、$ L $ は半単純または半単純に近いか？
• RQ3 このコホモロジー的消滅条件を満たすリーリング代数の構造は、完全に分類可能か？
• RQ4 なぜ逆は正標数では成り立たないのか？また、コホモロジー的挙動はどのように異なるのか？

主な発見

• 標数0の体上の有限次元リーリング代数で、すべての有限次元モジュールにおいて第二コホモロジーが自明となるのは、半単純リーリング代数、1次元リーリング代数、または半単純代数と1次元代数の直和に限られる。
• このようなリーリング代数の可解根基 $ \mathrm{Rad}(L) $ は、自明または1次元でなければならない。そうでなければ $ H^2(\mathrm{Rad}(L), K) \neq 0 $ となり、コホモロジーの消滅と矛盾する。
• 2-自明なリーリング代数における1次元のイデアルは直和成分であるから、帰納法による分解が可能になる。
• 2次元のリーリング代数は、アーベルでない限り2-自明にはなり得ないが、次元>1のアーベルリーリング代数は非自明な $ H^2 $ を持つため、2次元代数は2-自明ではない。
• すべての $ S $-モジュール $ V $ に対して $ (H^2(\mathrm{Rad}(L), K) \otimes V)^S = 0 $ であるという条件から、 $ H^2(\mathrm{Rad}(L), K) = 0 $ が強制され、非自明なノルム的根基は除外される。
• 分類は完全である：3つの指定されたタイプ以外に、2-自明条件を満たすリーリング代数は存在しない。