[论文解读] The linearity problem for the unitriangular automorphism groups of free groups

В. А. Романьков|arXiv (Cornell University)|Sep 11, 2013

Advanced Differential Equations and Dynamical Systems参考文献 16被引用 3

一句话总结

该论文通过证明自由群的单位三角自同构群是线性群当且仅当自由群的秩至多为3，解决了单位三角自同构群的线性性问题。作者利用HNN扩张和Formanek–Procesi方法，证明了$ U_4 $不是线性群，从而进一步得出对所有$ n \geq 4 $，$ U_n $均非线性，完成了对所有相对自由群线性性的分类。

ABSTRACT

We prove that the unitriangular automorphism group of a free group of rank $n$ has a faithful representation by matrices over a field, or in other words, it is a linear group, if and only if $n \leq 3.$ Thus, we have completed a description of relatively free groups with linear the unitriangular automorphism groups. This description was initiated by Erofeev and the author in \cite{Erofeev}, where proper varieties of groups have been considered.

研究动机与目标

• 完成对单位三角自同构群为线性群的群类簇的分类。
• 解决单位三角自同构群线性性问题中最后的未解情况，特别是当类簇为所有群时的情形。
• 确定$ U_n $，即自由群$ F_n $的单位三角自同构群，是否对$ n \geq 4 $为线性群。

提出的方法

• 使用HNN扩张构造$ \mathcal{H}(G) = \langle G \times G, t \mid t(g,g)t^{-1} = (1,g) \rangle $来分析线性性障碍。
• 应用Brendle与Hamidi-Tehrani的定理3.2，证明若一个群映满到商群$ \mathcal{H}(F_2)/N $，且$ F_2 \times \{1\} $的像不是幂零-阿贝尔-有限群，则该群不是线性群。
• 通过生成元$ \lambda_{3,1}, \lambda_{3,2}, \lambda_{4,1}, \lambda_{4,2}, \lambda_{4,3} $构造$ U_4 $的一个子群$ H $，使其同构于$ \mathcal{H}(F_2) $的商群，并验证所需的关系。
• 证明$ H \cong \mathcal{H}(F_2)/N $，且$ F_2 \times \{1\} $的像不是幂零-阿贝尔-有限群，从而证明$ U_4 $不是线性群。
• 证明$ U_4' $，即$ U_4 $的导群，同构于$ W_4 = \langle \lambda_{3,j}, \lambda_{4,l} \mid j=1,2; l=1,2,3 \rangle $，因此$ U_4' $不是线性群。
• 通过证明$ \gamma_{n-2}(U_n) $，即$ U_n $的下中央列的第$ (n-2) $个项，不是线性群，将结果推广至所有$ n \geq 4 $。

实验结果

研究问题

• RQ1 在哪些群类簇中，单位三角自同构群$ U_n $是线性群？
• RQ2 自由群$ F_n $的单位三角自同构群$ U_n $是否对$ n \geq 4 $为线性群？
• RQ3 若$ U_3 $是线性群，是否能推出对所有$ n \geq 4 $，$ U_n $也是线性群？
• RQ4 导群$ U_n' $的结构如何？对$ n \geq 4 $，它是否为线性群？
• RQ5 是否能通过HNN扩张商群检测$ U_n $的非线性性？

主要发现

• 自由群$ F_n $的单位三角自同构群$ U_n $是线性群当且仅当$ n \leq 3 $，完成了对所有相对自由群线性性的完整分类。
• 导群$ U_4' $不是线性群，且同构于子群$ W_4 = \langle \lambda_{3,1}, \lambda_{3,2}, \lambda_{4,1}, \lambda_{4,2}, \lambda_{4,3} \rangle $，该子群是$ \mathcal{H}(F_2) $的商群，且其$ F_2 \times \{1\} $的像不是幂零-阿贝尔-有限群。
• 对每个$ n \geq 4 $，$ U_n $的下中央列的第$ (n-2) $个项$ \gamma_{n-2}(U_n) $均不是线性群。
• $ U_4' $同时也是$ U_4 $中$ f_1 $的稳定化子，表明该正规子群不是线性群。
• 该结果表明$ U_3 $为线性群并不蕴含对所有$ n \geq 4 $，$ U_n $为线性群，从而否定了从$ U_3 $情形推广的可能。
• 本文猜想存在类簇$ \mathcal{G}_m $，使得$ U_n $为线性群当且仅当$ n \leq m $，其中$ m \geq 3 $。