[论文解读] Finite subgroups of PGL(2,K)

Arnaud Beauville|ArXiv.org|Sep 22, 2009

Finite Group Theory Research参考文献 3被引用 6

一句话总结

本文使用伽罗瓦上同调，对特征不整除群阶的域 K 上的 PGL₂(K) 的有限子群按共轭分类。它为循环群、二面体群及交错群（A₄、S₄、A₅）在 PGL₂(K) 中的实现提供了明确准则，并通过上同调不变量与根系上的伽罗瓦作用，完全描述了 (Z/2Z)² 和 Dᵣ 的共轭类。

ABSTRACT

We classify, up to conjugacy, the finite subgroups of PGL(2,K) of order prime to char(K).

研究动机与目标

• 在群阶与 char(K) 互素时，对 PGL₂(K) 的所有有限子群按共轭进行分类。
• 确定经典有限子群（Z/rZ、Dᵣ、A₄、S₄、A₅）在任意域 K 上是否可嵌入 PGL₂(K)。
• 利用伽罗瓦上同调与伽罗瓦下降，完整描述这些子群的共轭类集合。
• 阐明在 (Z/2Z)² 情况下第二伽罗瓦上同调的作用，解决早期工作中提出的问题。

提出的方法

• 应用非交换伽罗瓦上同调，对有限群 H 到 G(K) 的嵌入按 G(K)-共轭进行分类。
• 利用同构 PGL₂(K) ≅ SO(K, q)，其中 q 是 K³ 上的二次型，将群作用与二次型联系起来。
• 将共轭类的分类归约为计算 H¹(K, Z) → H¹(K, G) 的核，其中 Z 是 H 在 G(Kₛ) 中的中心化子。
• 对于 (Z/2Z)²，通过满足 Hilbert 符号 (α, β)₂ = 0 的对 (α, β) ∈ (K*/K*²)² 参数化共轭类。
• 分析 PGL₂(Kₛ) 中 H 的正规化子 N 对上同调类的作用，以确定不同的共轭类。
• 通过有理分式变换显式构造子群实现，例如循环群的 z ↦ (λ+1)z−1 / z+1。

实验结果

研究问题

• RQ1 当 K 是特征不整除群阶的任意域时，PGL₂(K) 的哪些有限子群可作为子群出现？
• RQ2 在 PGL₂(K) 中，每个有限子群（如 (Z/2Z)²、Dᵣ、A₅）有多少个共轭类，它们如何参数化？
• RQ3 伽罗瓦上同调在分类这些共轭类中起什么作用，特别是在 (Z/2Z)² 的情况下？
• RQ4 在何种域论条件下，A₅ 可嵌入 PGL₂(K)？
• RQ5 正规化子对上同调类的作用如何决定不同共轭类的数量？

主要发现

• 在特征不整除群阶的条件下，PGL₂(K) 的有限子群同构于 Z/rZ、Dᵣ、A₄、S₄ 或 A₅。
• Z/rZ 嵌入 PGL₂(K) 当且仅当 K 包含一个本原 r 次单位根 ζ 的 ζ + ζ⁻¹。
• A₄ 和 S₄ 嵌入 PGL₂(K) 当且仅当 −1 是 K 中两个平方数之和。
• A₅ 嵌入 PGL₂(K) 当且仅当 −1 是 K 中两个平方数之和且 5 是 K 中的平方数。
• (Z/2Z)² 在 PGL₂(K) 中的共轭类由满足对所有 α, β ∈ G 有 (−α, −β)₂ = 0 的子群 G ⊂ K*/K*² 参数化，且 |G| ≤ 4。
• 对于 Dᵣ，共轭类由 H¹(K, Z/2Z) 参数化，正规化子作用通过乘以 η² 修改参数，其中 η 是本原 2r 次单位根。