[論文レビュー] 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$-群を分類し、$p > 3$ の場合、このような群はちょうど $Φ_{10}$ 同型族に存在し、非同型な群の数は $φ(p-1,4) + φ(p-1,3) + 1$ 個であることを示している。分類は、非アーベル外積と多項式的表現を用いたボゴモロフ乗数の組み合わせ的記述に依拠しており、コホロロジー的道具を避ける。

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.

研究の動機と目的

• 奇素数 $p$ に対して、このような群が存在することを Hoshi と Kang の結果に従い、位数 $p^5$ のすべての群で非自明な未分岐ブラウアー群を持つ群の分類問題を解決すること。
• $p > 3$ の場合、位数 $p^5$ の有限 $p$-群でボゴモロフ乗数が消えない群の完全な分類を提供すること。
• 特に $p$ の算術的関数 $\gcd(p-1,4) + \gcd(p-1,3) + 1$ を用いて、その正確な個数を特定すること。
• 位数 $p^5$ の群の中で、非自明なボゴモロフ乗数を持つのは $Φ_{10}$ 同型族に限ることを示し、以前の自明性に関する主張を否定的に解決すること。

提案手法

• ボゴモロフ乗数 $\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)$ を決定する。
• 可換子部分群とべき関係の構造に基づいて、クラス $\leq 3$ の $p$-群における $\operatorname{B}_0(G)$ の自明性の十分条件を導出する。
• クラス $\leq 5$ の冪零群における一般化された交換子展開（補題 3.7）を用い、特に $Φ_8$、$Φ_9$、$Φ_{10}$ 家族における $[G,G^\varphi]$ の元の位数を分析する。
• 同型族 $Φ_k$（$k = 2, \dots, 10$）に対して、生成元と関係式の構造を用いて、$\operatorname{M}^*(G) = \operatorname{M}^*_0(G)$ となるかをケースバイケースで検証し、$\operatorname{B}_0(G) = 0$ を示す。
• Hoshi と Kang [9] の先行結果を用いて、$Φ_{10}$ に対して $\operatorname{B}_0(G)$ が非自明であることを確認し、分類を完成させる。

実験結果

リサーチクエスチョン

• RQ1 位数 $p^5$ で $p > 3$ の場合、どの群が非自明な未分岐ブラウアー群を持つのか？
• RQ2 ボゴモロフは 1987 年に、すべての位数 $p^5$ の群が自明なボゴモロフ乗数を持つと主張したが、これは正しいか？
• RQ3 非同型な位数 $p^5$ の群で、非自明なボゴモロフ乗数を持つものはいくつあるか？
• RQ4 位数 $p^5$ の群の中で、非自明なボゴモロフ乗数を持つのは $Φ_{10}$ 同型族に限るのか？

主な発見

• $p > 3$ の場合、非自明な未分岐ブラウアー群を持つ位数 $p^5$ の群は $Φ_{10}$ 同型族に限る。
• 非同型な位数 $p^5$ の群で非自明なボゴモロフ乗数を持つものの数は、ちょうど $\gcd(p-1,4) + \gcd(p-1,3) + 1$ 個である。
• 同型族 $Φ_2$、$Φ_3$、$Φ_4$、$Φ_6$、$Φ_8$、$Φ_9$ において、$p > 3$ の場合、すべての群でボゴモロフ乗数は自明である。
• この結果は、ボゴモロフが 1987 年にすべての位数 $p^5$ の群が自明なボゴモロフ乗数を持つと主張したことを反証し、$Φ_{10}$ が唯一非自明な乗数を持つ族であることを確認する。
• 分類は、コホロロジー的道具を避けるために、多項式的表現と非アーベル外積の構造に基づく組み合わせ的メソッドによって確立されている。
• $p = 3$ の場合も一般式と整合しており、$\gcd(2,4) + \gcd(2,3) + 1 = 2 + 1 + 1 = 4$ となり、$3^5$ に対して既知の結果と一致する。