[論文レビュー] On wild Lie algebras

Ievgen Makedonskyi|arXiv (Cornell University)|Feb 7, 2012

Algebraic structures and combinatorial models参考文献 6被引用数 3

ひとこと要約

この論文は、特性が0の代数的に閉じた体上の有限次元リーモノイドを、表現分類問題の複雑さに基づいて「なめらか」または「制御された野生的」に分類する。5つのクラスのリーモノイドのみがなめらかであることを証明している：単純代数、1次元代数、それらの直和、2次元の非可約モジュール $I$ を伴う $\mathfrak{sl}_2 \rightthreetimes I$、およびこれらの直和を含むもの。それ以外のすべてのリーモノイドは制御された野生的であり、これは同時に相似変換の下での行列のペアの分類と同程度に複雑であることを意味する。

ABSTRACT

We give a criterion of tameness and wildness for a finite-dimensional Lie algebra over an algebraically closed field.

研究の動機と目的

• 代数的に閉じた体で特性が0の有限次元リーモノイドの表現分類問題がなめらかまたは野生的であるかを特定すること。
• なめらかリーモノイドを完全に分類し、制御された野生的ものと区別すること。
• クイバー表現およびコホモロジー的技法を用いて、アーベル的または非アーベル的ラディカルをもつリーモノイドの構造を分析すること。
• 非アーベル的ラディカルをもつ任意のリーモノイドが野生的であることを証明し、すべての有限次元リーモノイドへの分類を拡張すること。

提案手法

• リーマン分解 $\widehat{L} = L \rightthreetimes R$ を用い、$L$ を単純代数、$R$ をラディカルとする構造を分析する。
• シュールの補題および単純代数表現の完全可約性を適用し、モジュールを非可約成分のテンソル積に分解する。
• $\widehat{L}$ の表現問題を関係を持つクイバー表現に還元し、特にアーベル的イデアル $I$ に対して $\operatorname{Hom}(I \otimes M, M)$ を分析する。
• 第二コホモロジー群の消滅を用いたコホモロジー的技法を用い、特定の拡張が分裂することを示し、構造的性質が保たれることを示す。
• ラディカル $R$ の1次元商 $R/[R,R]$ の非可約モジュールへの作用を分析し、クイバーモデルを用いて野生的であるかどうかを特定する。
• 既知のクイバー問題の野生的性質（例：$\alpha_2\beta = \beta\alpha_1$）の結果を用い、特定のリーモノイドが野生的であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 代数的に閉じた体で特性が0の有限次元リーモノイドのうち、その有限次元表現の分類問題がなめらかであるものはどれか？
• RQ2 リーモノイドの構造的条件として、表現問題が野生的または制御された野生的であることを保証するのはどのようなものか？
• RQ3 ラディカル $R$ 及びその商 $R/[R,R]$ の作用が、表現問題のなめらかさまたは野生的さにどのように影響するか？
• RQ4 非アーベル的ラディカルをもつリーモノイドの表現理論はクイバー問題に還元可能か？ そして、その還元が野生的性質を引き起こすのはいつか？
• RQ5 $\mathfrak{sl}_2 \rightthreetimes I$ で $I$ が2次元非可約モジュールであるものは、直和を除いて唯一の非単純ななめらかリーモノイドであるのはなぜか？

主な発見

• 代数的に閉じた体で特性が0の有限次元リーモノイドのなめらかクラスは、ちょうど5つである。
• 単純代数は、古典的表現理論によってなめらかである。
• 1次元リーモノイドはなめらかであり、単純代数と1次元代数のすべての直和もなめらかである。
• $\mathfrak{sl}_2 \rightthreetimes I$（$I$ は2次元非可約モジュール）はなめらかであり、単純代数との直和に対してもなめらかである。
• それ以外のすべての有限次元リーモノイドは制御された野生的であり、1次元より大きいすべての可解リーモノイドおよび非アーベル的ラディカルをもつすべてのリーモノイドが含まれる。
• $\mathfrak{sl}_2 \rightthreetimes I$ の表現問題はなめらかである。なぜなら、その表現が非可約 $\mathfrak{sl}_2$-モジュールとジョルダン標準形のテンソル積に分解され、不分解性が保たれるからである。