[论文解读] 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的域上自由幂零类为c的m-生成可解幂零李代数 $L_{m,c}$ 的正规自同构群及其正规外自同构的商群。通过雅可比矩阵技术和嵌入到圈积的方法，证明了正规自同构恰好是由换位子理想中的元素通过伴随作用的指数映射诱导的，并根据 $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的域上，自由m-生成的可解幂零李代数 $L_{m,c}$（幂零类为c）的正规自同构群 $\mathrm{N}(L_{m,c})$。
• 确定商群 $\mathrm{Aut}(L_{m,c})/\mathrm{N}(L_{m,c})$ 的结构，该群由正规外自同构构成。
• 通过将自由群和自由可解幂零群的自同构理论结果推广至李代数情形，拓展群与李代数自同构理论之间的类比。
• 利用雅可比矩阵技术，建立正规自同构在伴随表示中通过多项式系数进行参数化的理论。

提出的方法

• 将 $L_{m,c}$ 嵌入圈积 $A_m \mathrm{wr} B_m$ 模掉理想 $(A_m \mathrm{wr} B_m)^{c+1}$，从而可使用取值为多项式的偏导数与雅可比矩阵。
• 通过 $\exp(\mathrm{ad}u)$（其中 $u$ 属于换位子理想 $L_{m,c}'$）定义广义内自同构，并证明其保持所有理想不变。
• 将自同构 $\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})$，并通过雅可比矩阵条目的多项式条件分析其结构。
• 构造一系列内自同构 $\phi_1, \dots, \phi_{m-1}$，将任意正规IA-自同构约化为具有指定雅可比矩阵条目的标准形式。
• 应用李代数的自由性定理（Freiheitssatz）与霍普夫性质（Hopf property），排除自由李代数中存在非平凡正规自同构的可能性，从而凸显 $L_{m,c}$ 中更丰富的结构。

实验结果

研究问题

• RQ1 自由可解幂零李代数 $L_{m,c}$ 的正规自同构群 $\mathrm{N}(L_{m,c})$ 的结构是什么？
• RQ2 $\mathrm{N}(L_{m,c})$ 与在换位子理想模下作用平凡的自同构群 $\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-幂零群—阿贝尔群的扩张。
• 任意正规自同构 $\varphi$ 的雅可比矩阵具有形式 $J(\varphi) = I_m + \sum_{i=1}^m t_i G_i$，其中 $G_i$ 是条目属于 $K[t_1,\dots,t_m]$ 的矩阵，且满足特定多项式条件。
• 每个正规自同构 $\varphi$ 均可表示为若干形如 $\exp(\mathrm{ad}u)$ 的内自同构的复合（其中 $u$ 属于换位子理想），且由此产生的雅可比矩阵唯一确定该自同构。