[论文解读] Groups of order $p^5$ and their unramified Brauer groups

Primož Moravec|arXiv (Cornell University)|Mar 15, 2012

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

一句话总结

该论文对所有阶为 $p^5$ 的有限 $p$-群中具有非平凡无挠布饶尔群（Bogomolov乘子）的情形进行了分类，表明当 $p > 3$ 时，此类群仅存在于同构类族 $\Phi_{10}$ 中，且恰好有 $\gcd(p-1,4) + \gcd(p-1,3) + 1$ 个非同构的群。该分类基于通过非交换外平方与多项式幂零表示对 Bogomolov 乘子进行的组合描述，避免了上同调工具的使用。

ABSTRACT

We classify all groups of order $p^5$ with non-trivial unramified Brauer groups. We show that if $p>3$, then there are precisely $\gcd (p-1,4)+\gcd (p-1,3)+1$ such groups.

研究动机与目标

• 为解决 Hoshi 和 Kang 的结果所引发的开放问题——即对所有阶为 $p^5$ 且具有非平凡无挠布饶尔群的群进行分类，该结果表明此类群在奇素数下存在。
• 为 $p > 3$ 时所有阶为 $p^5$ 的有限 $p$-群提供其 Bogomolov 乘子非零的完整分类。
• 利用 $p$ 的算术函数精确计算此类群的数量，具体为 $\gcd(p-1,4) + \gcd(p-1,3) + 1$。
• 证明仅同构类族 $\Phi_{10}$ 包含阶为 $p^5$ 且具有非平凡 Bogomolov 乘子的群，从而否定早期关于其平凡性的断言。

提出的方法

• 利用 Bogomolov 乘子 $\operatorname{B}_0(G)$ 的组合描述，即 $\operatorname{M}(G)/\operatorname{M}_0(G)$，其中 $\operatorname{M}(G)$ 是非交换外平方 $G \wedge G$ 上换位子映射的核，而 $\operatorname{M}_0(G)$ 是由满足 $[x,y] = 1$ 的 $x \wedge y$ 生成的子群。
• 应用 $p$-群的多项式幂零表示，以计算 $[G,G^\varphi]$ 及其子群 $\operatorname{M}^*_0(G)$ 与 $\operatorname{M}^*(G)$ 的结构，这些子群决定了 $\operatorname{B}_0(G)$。
• 采用 $p$-群的幂零类 $\leq 3$ 时 $\operatorname{B}_0(G)$ 平凡性的充分条件，该条件源自换位子子群与幂关系的结构。
• 使用引理 3.7（对幂零类 $\leq 5$ 的幂零群的广义换位子展开式）分析 $[G,G^\varphi]$ 中元素的阶，特别是在 $\Phi_8$、$\Phi_9$ 和 $\Phi_{10}$ 家族中的情形。
• 对同构类族 $\Phi_k$（$k = 2, \dots, 10$）进行逐个分析，利用生成元与关系的结构，验证何时 $\operatorname{M}^*(G) = \operatorname{M}^*_0(G)$，从而推出 $\operatorname{B}_0(G) = 0$。
• 通过 Hoshi 和 Kang [9] 的先前结果，确认 $\Phi_{10}$ 中 $\operatorname{B}_0(G)$ 的非平凡性，从而完成分类。

实验结果

研究问题

• RQ1 对于 $p > 3$，哪些阶为 $p^5$ 的群具有非平凡无挠布饶尔群？
• RQ2 Bogomolov 在 1987 年声称所有阶为 $p^5$ 的群的 Bogomolov 乘子均为平凡，这一说法是否成立？
• RQ3 有多少个非同构的阶为 $p^5$ 的群具有非平凡 Bogomolov 乘子？
• RQ4 在阶为 $p^5$ 的群中，是否只有同构类族 $\Phi_{10}$ 中的群才具有非平凡 Bogomolov 乘子？

主要发现

• 当 $p > 3$ 时，阶为 $p^5$ 且具有非平凡无挠布饶尔群的群仅存在于同构类族 $\Phi_{10}$ 中。
• 阶为 $p^5$ 且具有非平凡 Bogomolov 乘子的非同构群的数量恰好为 $\gcd(p-1,4) + \gcd(p-1,3) + 1$。
• 当 $p > 3$ 时，同构类族 $\Phi_2$、$\Phi_3$、$\Phi_4$、$\Phi_6$、$\Phi_8$ 与 $\Phi_9$ 中的所有群的 Bogomolov 乘子均为平凡。
• 该结果否定了 Bogomolov 在 1987 年提出的“所有阶为 $p^5$ 的群的 Bogomolov 乘子均为平凡”的断言，并确认 $\Phi_{10}$ 是唯一具有非平凡乘子的族。
• 该分类通过基于多项式幂零表示与非交换外平方结构的组合方法建立，避免了复杂的上同调工具。
• 当 $p = 3$ 时，该公式依然成立，因为 $\gcd(2,4) + \gcd(2,3) + 1 = 2 + 1 + 1 = 4$，与已知的 $3^5$ 情形一致。