[论文解读] Reality Properties of Conjugacy Classes in G_2

Anupam Singh, Maneesh Thakur|ArXiv.org|Apr 8, 2008

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

一句话总结

本文研究了在特征不为2的域上，$G_2$型代数群的共轭类的实性性质，证明了半单元素是实的当且仅当它们是两个对合的乘积，而幂幺元素总是这样的乘积。一个关键结果是，当$ \mathrm{cd}(k) \leq 1$时，$G_2(k)$中的半单元素是实的，其障碍与三次扩张的布饶尔群相关。

ABSTRACT

Let $G$ be an algebraic group over a field $k$. We call $g\in G(k)$ {\bf real} if $g$ is conjugate to $g^{-1}$ in $G(k)$. In this paper we study reality for groups of type $G_2$ over fields of characteristic different from 2. Let $G$ be such a group over $k$. We discuss reality for both semisimple and unipotent elements. We show that a semisimple element in $G(k)$ is real if and only if it is a product of two involutions in $G(k)$. Every unipotent element in $G(k)$ is a product of two involutions in $G(k)$. We discuss reality for $G_2$ over special fields and construct examples to show that reality fails for semisimple elements in $G_2$ over $\Q$ and $\Q_p$. We show that semisimple elements are real for $G_2$ over $k$ with $cd(k)\leq 1$. We conclude with examples of nonreal elements in $G_2$ over $k$ finite, with characteristic $k$ not 2 or 3, which are not semisimple or unipotent.

研究动机与目标

• 确定当$k$为特征$\neq 2$的域时，$G_2(k)$中的元素何时是实的，即在$G(k)$中与自身逆元共轭。
• 将$G_2(k)$中的半单与幂幺元素表征为两个对合的乘积，将实性与群论结构及上同调结构联系起来。
• 分析在$\mathbb{Q}$和$\mathbb{Q}_p$上半单元素实性失败的原因，并为特征$\neq 2,3$的有限域$k$构造$G_2(k)$中非实元素的显式例子。
• 证明当$\mathrm{cd}(k) \leq 1$时，$G_2(k)$中的每个半单元素都是实的，使用上同调方法和施泰因伯格定理。
• 通过三次域扩张的相对布饶尔群，解释$G_2(k)$中不可分解环面内半单元素实性障碍的几何意义。

提出的方法

• 将$G_2$实现为域$k$上八元数代数的自同构群，利用唯一八元数代数$\mathfrak{C}$的同构关系$G \cong \mathrm{Aut}(\mathfrak{C})$。
• 利用$G_2$中极大环面的结构，区分可分解与不可分解环面，并通过其在四元数或二次 étale 子代数上的作用分析半单元素。
• 应用沃内布尔的定理于$SU(3)$与$SL(3)$子群中对合乘积的性质，将实性问题约化为经典群中的已知结果。
• 使用伽罗瓦上同调与正合列$1 \to T \to N(T) \to W \to 1$，当$\mathrm{cd}(k) \leq 1$时有$H^1(k,T) = 0$，从而将Weyl群元素$w_0 = -1$提升至$G(k)$。
• 通过三次扩张$\mathcal{E}/L$的商$ L^1 / N(\mathcal{E}^1) $与$\mathcal{F}/k$的$ k^* / N(\mathcal{F}^*) $分析实性障碍，并引入布饶尔群的解释。
• 通过$SU(3)$型子群中的特征值与行列式矛盾，在$\mathbb{Q}$、$\mathbb{Q}_p$和有限域上显式构造$G_2(k)$中的非实元素。

实验结果

研究问题

• RQ1 当$k$为特征$\neq 2$的域时，$G_2(k)$中的半单元素在什么条件下在$G(k)$中与自身逆元共轭？
• RQ2 在什么条件下，$G_2(k)$中的半单元素是两个对合的乘积？
• RQ3 为何在$\mathbb{Q}$和$\mathbb{Q}_p$上，$G_2(k)$中某些半单元素的实性会失败，尽管该群是拟单的？
• RQ4 在$G_2(k)$的不可分解环面中，半单元素实性的上同调或伽罗瓦理论障碍是什么？
• RQ5 是否存在$G_2(k)$中既非半单也非幂幺的非实元素？若存在，这类元素在哪些域上存在？

主要发现

• 在$G_2(k)$中，半单元素是实的当且仅当它是$G(k)$中两个对合的乘积，从而建立了实性的群论表征。
• 在$G_2(k)$中，每个幂幺元素都是$G(k)$中两个对合的乘积，因此是实的。
• 在$G_2(k)$的可分解环面中，半单元素总是实的，这是由于其在$SL(3)$或$SU(3)$子群中的嵌入结构。
• 当$\mathrm{cd}(k) \leq 1$时（如有限域），$G_2(k)$中的每个半单元素都是实的，因为$H^1(k,T) = 0$确保了Weyl群元素$w_0 = -1$可被提升至$G(k)$。
• 在$\mathbb{Q}$和$\mathbb{Q}_p$上，存在$G_2(k)$中的半单元素不是实的，这些元素通过$SU(3)$型子群中的特征值与行列式矛盾构造而成。
• 在特征$\neq 2,3$的有限域$k$上，$G_2(k)$中存在既非半单也非幂幺的非实元素，表明实性失败不仅限于半单与幂幺情形。