[論文レビュー] Beauville $p$-groups of wild type and groups of maximal class

Gustavo A. Fernández‐Alcober, Norberto Gavioli+2 more|arXiv (Cornell University)|Jan 25, 2017

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

ひとこと要約

本稿は、2つの大きな族である可解的 $p$-群および類数が2以下である最大部分群をもつ $p$-群において、最大類数の Beauville $p$-群を分類する。その結果、このような群が Beauville であるための必要十分条件は、$p \geq 5$ であり、かつすべての非fratricidal元の位数が $p$ であるか、または特定の条件下で位数 $p$ の元がちょうど2つの最大ブランチを形成することである。本研究の核心は、商群 $G/\Phi(G)$ からの Beauville 構造の持ち上げに失敗する「野生型」の Beauville $p$-群が無限に存在することを証明し、従来の「穏やか型」に限らない、より広範な Beauville $p$-群の体系を拡張したことにある。

ABSTRACT

Let $G$ be a Beauville finite $p$-group. If $G$ exhibits a `good behaviour' with respect to taking powers, then every lift of a Beauville structure of $G/Φ(G)$ is a Beauville structure of $G$. We say that $G$ is a Beauville $p$-group of wild type if this lifting property fails to hold. Our goal in this paper is twofold: firstly, we fully determine the Beauville groups within two large families of $p$-groups of maximal class, namely metabelian groups and groups with a maximal subgroup of class at most $2$; secondly, as a consequence of the previous result, we obtain infinitely many Beauville $p$-groups of wild type.

研究の動機と目的

• 可解的 $p$-群および類数が2以下である最大部分群をもつ $p$-群の族において、最大類数の Beauville $p$-群を分類すること。
• このような群が Beauville であるための条件を特定すること、特に「穏やか型」と「野生型」の $p$-群の違いに注目すること。
• 商群 $G/\Phi(G)$ からの Beauville 構造の持ち上げに失敗する「野生型」の Beauville $p$-群が無限に存在することを確立すること。
• 小規模な位数および限定的な族に限った既存の Beauville $p$-群の結果を、はるかに広範な最大類数の $p$-群族へと拡張すること。

提案手法

• 著者たちは、2つの生成集合 $S_1$ および $S_2$ を用いた Beauville 群の群論的特徴付けを用いる。ここで $\Sigma(S_1) \cap \Sigma(S_2) = 1$ が成り立ち、$\Sigma(S)$ は三重組 $T = \{x,y,xy\}$ の元が生成する巡回部分群の共役の和集合を表す。
• 最大類数の $p$-群の構造を分析し、特に分類において中心的役割を果たす最大部分群 $G_1 = C_G(G'/\gamma_4(G))$ に注目する。
• 最大部分群 $M$ に対して $B(M) = M \setminus \Phi(G)$ と定義される「最大ブランチ」の概念を用い、特に Beauville 構造の持ち上げに関連して、位数 $p$ および $p^2$ の元の分類を実施する。
• 証明は2つの場合に分かれる：(i) $G_1$ の外側のすべての元が位数 $p$ をもつ、(ii) 位数 $p$ の元が群の位数 $n$ に関する特定の合同条件を満たす2つの最大ブランチを形成する。
• 既知の $p$-群の指数 $p^e$ に関する結果と、$p \geq 5$ のときの条件 $|G^{p^{e-1}}| \geq p^2$ を適用するが、この基準が成立しない場合を特定する。
• 最大類数の無限プロ $p$-群の構造を用いて、特に穏やか型群の無限族を構成する。

実験結果

リサーチクエスチョン

• RQ1 最大類数の $p$-群で、可解的または類数が2以下の最大部分群をもつ群が Beauville 群であるための条件は何か？
• RQ2 最大類数の $p$-群において、野生型 Beauville $p$-群と穏やか型 Beauville $p$-群の違いは何か？
• RQ3 最大類数の $p$-群族内に、無限に多くの野生型 Beauville $p$-群を構成できるか？
• RQ4 野生型群では、$G/\Phi(G) \cong C_p \times C_p$ からの Beauville 構造の持ち上げがどのように失敗するか？
• RQ5 最大部分群 $G_1 = C_G(G'/\gamma_4(G))$ は、Beauville 性質を決定づける上でどのような役割を果たすか？

主な発見

• 位数が $p^{p+1}$ 以上の最大類数の $p$-群で、可解的であるか、または最大部分群の類数が2以下であるものは、$p \geq 5$ かつ $G_1$ の外側のすべての元が位数 $p$ をもつ、または位数 $p$ の元が特定の合同条件を満たす2つの最大ブランチを形成する場合に限り Beauville である。
• 条件 (i) を満たす群はすべて穏やか型であり、$G/\Phi(G)$ からの Beauville 構造のすべての持ち上げが $G$ で Beauville 構造を導く。
• 条件 (ii) を満たす群は野生型であり、$G/\Phi(G)$ に Beauville 構造が存在しても、中心における $p$ 乗の非自明な交わりのため、$G$ に持ち上げられない場合がある。
• 本稿では、$[G_1, G_2] = G_{n-p+2}$ を満たす可解的 $p$-群の最大類数族を分析し、特に $n \not\equiv 2 \pmod{p-1}$ のとき、無限に多くの野生型 Beauville $p$-群を構成する。
• 最大類数の $p$-群 ($p \geq 5$) の任意の真の商群は、すべて穏やか型の Beauville 群である。これは、Beauville 性質が商の格子において下方向に保存されることを示している。
• すべての非アーベル元が位数 $p$ をもつ最大類数の無限プロ $p$-群の存在により、有限商群を用いて無限に多くの穏やか型 Beauville $p$-群が得られる。