[論文レビュー] Normal and normally outer automorphisms of free metabelian nilpotent Lie algebras

Şehmus Fındık|arXiv (Cornell University)|Jul 22, 2010

Finite Group Theory Research参考文献 9被引用数 4

ひとこと要約

この論文は、特性 0 の体上の自由メタア贝尔的冪零 Lie 環 $L_{m,c}$ における正規自己同型の群および正規的に外部な自己同型の商群を特徴づける。ヤコビ行列の技術と wreath 積への埋め込みを用いて、正規自己同型は、交換子の理想の元を用いた随伴作用の指数関数によって誘導されるものであることを示し、$m$ と $c$ に応じて $ \mathrm{N}(L_{m,c})$ がアーベル的、冪零的、またはメタアベル的であることを分類する。主な結果は、随伴表現における多項式係数を用いた正規自己同型の完全なパラメータ化である。

ABSTRACT

Let L be the free m-generated metabelian nilpotent of class c Lie algebra over a field of characteristic 0. An automorphism f of L is called normal if f(I)=I for every ideal I of the algebra L. Such automorphisms form a normal subgroup N(L) of Aut(L) containing the group of inner automorphisms. We describe the group of normal automorphisms of L and the quotient group of Aut(L) modulo N(L).

研究の動機と目的

• 特性 0 の体上の、クラス $c$ の自由 $m$ 個生成メタアベル的冪零 Lie 環 $L_{m,c}$ の正規自己同型群 $\mathrm{N}(L_{m,c})$ を記述すること。
• 正規的に外部な自己同型からなる商群 $\mathrm{Aut}(L_{m,c})/\mathrm{N}(L_{m,c})$ の構造を特定すること。
• 自由群および自由メタアベル的冪零群の理論からの結果を Lie 環の文脈へ一般化することで、群と Lie 環の自己同型理論の類似を拡張すること。
• ヤコビ行列の技術を用いて、随伴表現における多項式係数を用いた正規自己同型のパラメータ化を確立すること。

提案手法

• Lie 環 $L_{m,c}$ を $A_m \mathrm{wr} B_m$ に modulo $(A_m \mathrm{wr} B_m)^{c+1}$ として埋め込み、多項式係数の部分導関数およびヤコビ行列の使用を可能にする。
• 交換子の理想 $L_{m,c}'$ に属する $u$ に対して $\exp(\mathrm{ad}u)$ を用いて一般化された内部自己同型を定義し、すべての理想を保存することを示す。
• 自己同型 $\varphi$ のヤコビ行列 $J(\varphi)$ を主要な不変量とし、$\mathrm{IE}(F_m)$ を $M_m(K[t_1,\dots,t_m])$ に単射に写像する。
• 正規自己同型が $m \geq 3, c \geq 2$ または $m=2, c \geq 4$ のとき $\mathrm{IA}(L_{m,c})$ に属することを証明し、ヤコビ行列の成分における多項式的条件を用いてその構造を分析する。
• 任意の正規 IA-自己同型を、指定されたヤコビ行列成分を持つ標準形に還元するための内部自己同型 $\phi_1, \dots, \phi_{m-1}$ の列を構成する。
• Lie 環の Freiheitssatz および Hopf の性質を適用し、自由 Lie 環では非自明な正規自己同型が存在しないことを示し、$L_{m,c}$ におけるより豊かな構造と対照的にする。

実験結果

リサーチクエスチョン

• RQ1 自由メタアベル的冪零 Lie 環 $L_{m,c}$ の正規自己同型群 $\mathrm{N}(L_{m,c})$ の構造は何か？
• RQ2 $\mathrm{N}(L_{m,c})$ と、交換子の理想を modulo して自明に作用する自己同型の群 $\mathrm{IA}(L_{m,c})$ との関係は何か？
• RQ3 商群 $\mathrm{Aut}(L_{m,c})/\mathrm{N}(L_{m,c})$ の性質は何か？ そして、どのようにパラメータ化できるか？
• RQ4 $m$ と $c$ に対して、$\mathrm{N}(L_{m,c})$ がアーベル的、2 階冪零的、またはメタアベル的となる条件は何か？
• RQ5 正規自己同型のヤコビ行列は、その成分における多項式的条件によって完全に特徴づけられるか？

主な発見

• $m \geq 3, c = 2$ のとき、群 $\mathrm{N}(L_{m,c})$ はアーベル的である。
• $m \geq 3, c = 3$ のとき、群 $\mathrm{N}(L_{m,c})$ は 2 階冪零である。
• $m \geq 2, c \geq 4$ または $(m,c) = (2,2)$ のとき、群 $\mathrm{N}(L_{m,c})$ はメタアベル的である。
• $(m,c) = (2,3)$ のとき、群 $\mathrm{N}(L_{m,c})$ は 2 階冪零群のアーベル的拡張（2 階冪零群のアーベル的拡張）である。
• 任意の正規自己同型 $\varphi$ のヤコビ行列は、$J(\varphi) = I_m + \sum_{i=1}^m t_i G_i$ の形をとり、各 $G_i$ は $K[t_1,\dots,t_m]$ の成分を持つ行列で、特定の多項式的条件を満たす。
• すべての正規自己同型 $\varphi$ は、交換子の理想に属する $u$ を用いた内部自己同型 $\exp(\mathrm{ad}u)$ の合成として表され、その結果得られるヤコビ行列が自己同型を一意に決定する。