[论文解读] Maximal tori determining the algebraic group

Shripad M. Garge|arXiv (Cornell University)|Sep 23, 2004

Algebraic Geometry and Number Theory参考文献 3被引用 4

一句话总结

本文证明了在有限域、全球域或局部非阿基米德域上，两个分裂的、连通的、半单代数群，若其共有的最大 $k$-环面集合（模 $k$-同构）相同，则它们在模中心的意义下被唯一确定。关键结果是，这些群的 Weyl 群彼此同构，其中 $B_n$ 与 $C_n$ 因子可能互换，该结论通过伽罗瓦上同调与 $GL_n(\mathbb{Z})$ 中 Weyl 群元素的特征多项式分析得出。该结果可推广至允许任意循环扩张的域，依据的是菲利普·吉勒近期关于伽罗瓦上同调映射满射性的定理。

ABSTRACT

Let k be a finite field, a global field or a local non-archimedean field. Let H_1 and H_2 be two split, connected, semisimple algebraic groups defined over k. We prove that if H_1 and H_2 share the same set of maximal k-tori up to k-isomorphism, then the Weyl groups W(H_1) and W(H_2) are isomorphic, and hence the algebraic groups modulo their centers are isomorphic except for a switch of a certain number of factors of type B_n and C_n. We remark that due to a recent result of Philippe Gille, above result holds for fields which admit arbitrary cyclic extensions.

研究动机与目标

• 确定在域 $k$ 上，一个分裂的、连通的、半单代数群在多大程度上可由其最大 $k$-环面（模 $k$-同构）唯一确定。
• 建立若两个此类群共享相同的最大 $k$-环面集合（模 $k$-同构），则其 Weyl 群同构。
• 研究 Weyl 群结构（特别是 $B_n$ 与 $C_n$ 类型的存在性）在多大程度上可从最大 $k$-环面的 $k$-同构类中恢复。
• 利用菲利普·吉勒关于伽罗瓦上同调映射满射性的近期结果，将结果推广至允许任意循环扩张的域。

提出的方法

• 利用伽罗瓦上同调，通过最大环素的正规化子上的伽罗瓦作用，描述最大 $k$-环面的 $k$-同构类。
• 通过其在分裂最大环面的字符群上的作用，将 Weyl 群表示为 $GL_n(\mathbb{Z})$ 的子群。
• 通过比较 $\mathbb{Z}$ 上的特征多项式，分析 Weyl 群中元素的共轭类。
• 定义多重性不变量 $\mathfrak{m}_i(W)$、$\mathfrak{m}_i'(W)$ 和 $\mathfrak{m}_{i,j}(W)$，以追踪特定 Weyl 群因子的存在性。
• 通过关于单因数最大秩的归纳法，利用多重性数据将问题约化为低秩情形。
• 应用定理 4.2，该定理表明匹配的多重性数据意味着 Weyl 群因子的同构，尤其适用于 $A_m$ 与 $B_n/C_n$ 类型。

实验结果

研究问题

• RQ1 若两个分裂的、连通的、半单代数群在有限域、全球域或局部非阿基米德域上具有相同的最大 $k$-环面集合（模 $k$-同构），则它们的 Weyl 群是否同构？
• RQ2 能否从最大 $k$-环面的 $k$-同构类中重构出分裂半单群的 Weyl 群？
• RQ3 在多大程度上 $B_n$ 与 $C_n$ 型群无法通过其最大 $k$-环面加以区分，以及在何种情况下可将其区分？
• RQ4 该结果是否可推广至允许任意循环扩张的域？若可推广，其上同调条件为何？
• RQ5 多重性不变量 $\mathfrak{m}_i(W)$、$\mathfrak{m}_i'(W)$ 与 $\mathfrak{m}_{i,j}(W)$ 是否能唯一确定 Weyl 群分解中各简单因子的构成？

主要发现

• 若两个分裂的、连通的、半单代数群在有限域、全球域或局部非阿基米德域上共享相同的最大 $k$-环面集合（模 $k$-同构），则其 Weyl 群 $W(H_1)$ 与 $W(H_2)$ 同构。
• W(H_1) 与 W(H_2) 的简单 Weyl 群分解在排列意义下完全相同，其中 $B_n$ 与 $C_n$ 因子可能互换。
• 对于中心平凡的群，每个简单因子的同构类型在 $B_n/C_n$ 对偶意义下被唯一确定，即 $H_1$ 与 $H_2$ 除可能的 $B_n$ 与 $C_n$ 因子外，模中心同构。
• 多重性不变量 $\mathfrak{m}_i(W)$、$\mathfrak{m}_i'(W)$ 与 $\mathfrak{m}_{i,j}(W)$ 唯一确定了分解中每个简单 Weyl 群因子的存在性与重数。
• 由于菲利普·吉勒的近期定理，该结果在允许任意循环扩张的域上依然成立，从而将适用范围扩展至原始域类之外。
• 证明依赖于 $GL_n(\mathbb{Z})$ 中 Weyl 群元素的特征多项式分析，以及通过多重性数据对 Weyl 群因子的归纳重构。