[论文解读] Surjectivity of certain word maps on PSL(2,C) and SL(2,C)

Tatiana Bandman, Yuri G. Zarhin|arXiv (Cornell University)|Jul 13, 2014

Finite Group Theory Research参考文献 11被引用 5

一句话总结

该论文证明了在特征为零的代数闭域上，自由群 $n \geq 2$ 个生成元的导出子群 $F^{(1)} \setminus F^{(2)}$ 中非平凡换位子所定义的词映射在 $\mathrm{PSL}(2,\mathbb{C})$ 和 $\mathrm{SL}(2,\mathbb{C})$ 上是满射的。通过使用 Magnus 嵌入定理的一个变体，并对上三角矩阵上的词映射进行显式基于迹的分析，作者证明了某些词的满射性，包括一个位于 $F^{(2)}$ 中但仍在 $\mathrm{SL}(2,\mathbb{C})$ 上满射的特定例子 $[[x,[x,y]],[y,[x,y]]]$，从而解决了简单代数群上词映射满射性问题的一个开放情况。

ABSTRACT

We show that an element w of a free group F on n generators defines a surjective word map of PSL(2,C)^n onto PSL(2,C) unless w belongs to the second derived subgroup of F. We also describe certain words maps that are surjective on SL(2,C) x SL(2,C). Here C is the field of complex numbers.

研究动机与目标

• 解决关于 $\mathrm{PSL}(2,\mathbb{C})$ 和 $\mathrm{SL}(2,\mathbb{C})$ 上非幂词的词映射满射性的开放问题。
• 确定 $\mathrm{SL}(2,\mathbb{C})$ 和 $\mathrm{PSL}(2,\mathbb{C})$ 上词映射满射或几乎满射的条件。
• 提供满射词映射的显式准则与例子，包括经典结果未覆盖的第二导出子群 $F^{(2)}$ 中的词。
• 应用 Magnus 嵌入定理与迹映射分析，以刻画 $\mathrm{SL}(2,\mathbb{C})$ 上词映射的像。

提出的方法

• 使用 Magnus 嵌入定理的一个变体，分析代数闭域 $K$（特征为零）上 $\mathrm{SL}(2,K)$ 上词映射的像。
• 对 $\mathrm{SL}(2,\mathbb{C})$ 中上三角矩阵的词映射 $w(x,y) = \prod_{i=1}^k x^{a_i} y^{b_i}$ 进行显式计算，推导基于迹的准则。
• 分析迹映射 $\mathrm{tr}(w(x,y))$，以确定像是否包含所有半单元、幂幺元及负幂幺元。
• 利用 Gröbner 基与多项式理想计算（通过 Magma 实现），验证特定仿射子集上矩阵条目不恒为零，从而确保在幂幺元与负幂幺元上的满射性。
• 通过参数化族构造显式矩阵 $x,y \in \mathrm{SL}(2,\mathbb{C})$，使得 $w(x,y) = -id$ 或 $w(x,y)$ 为负幂幺矩阵。
• 通过证明其像包含所有共轭类（包括 $-id$ 和负幂幺矩阵），验证词 $v(x,y) = [[x,[x,y]],[y,[x,y]]]$ 在 $\mathrm{SL}(2,\mathbb{C})$ 上的满射性。

实验结果

研究问题

• RQ1 是否每个 $w \in F^{(1)} \setminus F^{(2)}$ 作为 $\mathrm{PSL}(2,\mathbb{C})$ 上的词映射都是满射的？
• RQ2 能否通过迹条件与指数奇偶性来刻画 $\mathrm{SL}(2,\mathbb{C})$ 上词映射的满射性？
• RQ3 是否存在属于 $F^{(2)}$ 的词，其在 $\mathrm{SL}(2,\mathbb{C})$ 上仍为满射，尽管其形式不预示会排除满射性？
• RQ4 在 $w(x,y) = \prod_{i=1}^k x^{a_i} y^{b_i}$ 中，指数 $a_i, b_i$ 的何种条件可保证在 $\mathrm{SL}(2,\mathbb{C})$ 上的满射或几乎满射？
• RQ5 能否构造显式矩阵使得 $w(x,y) = -id$ 或为负幂幺矩阵，即使 $w \in F^{(2)}$？

主要发现

• 任何 $w \in F^{(1)} \setminus F^{(2)}$ 所定义的词映射在代数闭域 $K$（特征为零）上的 $\mathrm{PSL}(2,K)$ 上均为满射。
• 对于 $w(x,y) = \prod_{i=1}^k x^{a_i} y^{b_i}$ 且所有 $b_i > 0$ 的情形，词映射要么是满射，要么是另一词的真幂。
• 词 $v(x,y) = [[x,[x,y]],[y,[x,y]]]$ 在 $\mathrm{SL}(2,\mathbb{C})$ 上是满射的，尽管其属于 $F^{(2)}$，且其像包含 $-id$ 与所有负幂幺矩阵。
• 显式矩阵 $x = \begin{pmatrix}1-d&1\\ -2/3&d\end{pmatrix}, y = \begin{pmatrix}2-3d&0\\ 0&3d-1\end{pmatrix}$ 在 $d^2 - d + 1/3 = 0$ 时满足 $v(x,y) = -id$，当 $d$ 为一个38次不可约多项式的根时，$v(x,y)$ 为负幂幺矩阵。
• 迹映射 $\mathrm{tr}(w(x,y))$ 被用于验证像包含所有迹 $\neq \pm 2$ 的半单元、迹为2的所有幂幺元，以及迹为-2且 $\neq -id$ 的所有负幂幺元，从而确保完全满射。
• 通过 Magma 的计算确认，在 $\mathrm{tr}(v(x,y)) = \pm 2$ 的集合上，像矩阵的 $q_{12}$-条目不恒为零，从而证明这些共轭类中的非单位元均属于像。