[論文レビュー] Some Exceptional Beauville Structures

Ben Fairbairn|arXiv (Cornell University)|Jul 28, 2010

Advanced Topics in Algebra参考文献 12被引用数 4

ひとこと要約

本稿では、ティツ群 $^2F_4(2)'$ を含むすべての単純でないスパリック群、および $M_{11}$, $M_{23}$ とおそらく $2\bullet\beta$ と $\beta$ を除き、すべての unmixed strongly real Beauville 構造を有することを確立する。また、ほとんど単純なスパリック群のいずれにも mixed Beauville 構造が存在しないことを証明し、$A_6$ に対して明示的な strongly real Beauville 構造を構成することで、先行研究における誤りを是正し、交代群におけるこのような構造の分類を完了する。

ABSTRACT

We first show that every quasisimple sporadic group possesses an unmixed strongly real Beauville structure aside from the Mathieu groups M11 and M23 (and possibly 2B and M). We go on to show that no almost simple sporadic group possesses a mixed Beauville structure. We then go on to use the exceptional nature of the alternating group A6 to give a strongly real Beauville structure for this group explicitly correcting an earlier error of Fuertes and Gonzalez-Diez. In doing so we complete the classification of alternating groups that possess strongly real Beauville structures. We conclude by discussing mixed Beauville structures of the groups A6:2 and A6:2^2.

研究の動機と目的

• 単純でないスパリック群、特にティツ群 $^2F_4(2)'$ が strongly real Beauville 構造を有するかどうかを特定すること。
• ほとんど単純なスパリック群に mixed Beauville 構造が存在するかどうかを調査すること。
• $A_6$ の Beauville 構造に関する文献における誤りを是正し、交代群における strongly real Beauville 構造の分類を完了すること。
• 群論的および指標論的手段を用いて、$A_6:2^{(2)}$ の mixed Beauville 構造の有無を分析すること。

提案手法

• 有限群における明示的な生成三つ組 $(x_i, y_i, z_i)$ を構成し、Beauville 構造の条件を満たすことを確認する：$x_i y_i z_i = 1$、$l_i^{-1} + m_i^{-1} + n_i^{-1} < 1$、および二つの三つ組の共役類が互いに素であること。
• strong reality の基準を適用し、外的自己同型 $g$ を特定して $x_i^g = x_i^{-1}$ および $y_i^g = y_i^{-1}$ を満たすようにすることで、構造が strongly real であることを保証する。
• 自己同型群の構造、共役類、要素の位数などの群論的性質を用いて、mixed Beauville 構造の存在を除外する。
• 指標表と要素の位数解析を活用し、位数 2 もしくは 4 の要素が導来部分群の外にある場合には mixed 構造が不可能であることを示す。
• $A_6$ の例外的ケースを解析する際、$A_6$ を生成する位数 4 および 5 の明示的な置換を構成し、$g = (1,10)(2,8)(3,6)(4,5)(7,9)$ が生成元を反転することを検証する。
• Lemma 20（位数 2 の要素が導来部分群の外にある場合には mixed 構造が不可能である）を適用し、$PGL_2(9)$、$M_{10}$、$P\tilde{\nabla}L_2(9)$ のような群への応用を拡張する。

実験結果

リサーチクエスチョン

• RQ1 単純でないスパリック群、特にティツ群 $^2F_4(2)'$ が strongly real Beauville 構造を有するかどうかは？
• RQ2 いくつかのほとんど単純なスパリック群に mixed Beauville 構造が存在するか？
• RQ3 $A_6$ は strongly real Beauville 構造を有するか？もし持つならば、文献に正しい記述がなされているか？
• RQ4 $A_6:2^{(2)}$ の形をした群のうち、どの群が mixed Beauville 構造を有するか？
• RQ5 特定の要素の位数や共役類構造を持つ群において、mixed Beauville 構造を妨げる群論的障害は何か？

主な発見

• すべての単純でないスパリック群、特にティツ群 $^2F_4(2)'$ を含み、$2\bullet\beta$ と $\beta$ を除き、$M_{11}$ および $M_{23}$ を除くすべての群が unmixed strongly real Beauville 構造を有する。
• 要素の位数と共役類の構造を分析することで、ほとんど単一のスパリック群のいずれに対しても mixed Beauville 構造が存在しないことが示された。
• $A_6$ は型 $((4,4,4),(5,5,5))$ の strongly real Beauville 構造を有し、置換 $x_1, y_1, x_2, y_2$ を用いて明示的に構成され、外的自己同型 $g$ が生成元を反転することが確認された。
• Fuertes と González-Diez が提唱した $S_6$ に mixed Beauville 構造がないという主張は確認され、同様に外的位数 2 の要素を有する $PGL_2(9)$ に対しても同様の結論が成り立つ。
• $M_{10}$ は mixed Beauville 構造を有しない。すべての外部要素が位数 4 もしくは 8 であり、奇数位数の要素（3, 5）は一意な巡回部分群を形成するため、3つの異なる分岐点の条件を満たさない。
• $P\tilde{\nabla}L_2(9)$ も、導来部分群の外に位数 2 の要素が存在するため、Lemma 20 により mixed 構造は不可能である。