[論文レビュー] Fusion systems on metacyclic 2-groups

Benjamin Sambale|arXiv (Cornell University)|Aug 6, 2009

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

ひとこと要約

この論文は、メタシクリック2群上の融合系を分類し、群が最大クラス（ダイハドラル、セミダイハドラル、またはクaternion）またはホモシクリックでない限り、そのような融合系は冪零であることを証明する。主な結果として、メタシクリックなデフレクト群をもつ2ブロックは、デフレクト群が最大クラスまたはホモシクリックでない限り冪零であり、k(B)、l(B)、k_i(B)といった数値的不変量の明示的計算が可能になる。

ABSTRACT

Let P be a finite metacyclic 2-group and F a fusion system on P. We prove that F is nilpotent unless P has maximal class or P is homocyclic, i.e. P is a direct product of two isomorphic cyclic groups. As a consequence we obtain the numerical invariants for 2-blocks with metacyclic defect groups. This paper is a part of the author's PhD thesis.

研究の動機と目的

• 有限メタシクリック2群上の融合系を分類し、それがいつ冪零であるかを特定すること。
• 有限群における2-冪零性に関する既知の結果を、より広い融合系の設定へと拡張すること。
• メタシクリックなデフレクト群をもつ2ブロックの数値的不変量（k(B)、l(B)、k_i(B)）を計算すること。
• 自己同型群と部分群の作用の分析を通じて、メタシクリック2群上の融合系の構造を解明すること。
• 非冪零の場合を含め、デフレクト群の型に基づいて2ブロック不変量を完全に分類すること。

提案手法

• 文献[5]の融合系の枠組みを用い、すべてのQ ≤ Pに対してAut_F(Q)が2群であることで冪零性を定義する。
• 補題1を適用して、Pがホモシクリックでない限り、または位数8のクaternionでない限り、Aut(P)が2群であることを示す。
• 補題2を用いて、Q ≅ C_{2^k}^2 かつ k ≥ 2 のとき、N_P(Q)/Q は Q/Φ(Q) 上に忠実に作用できないことを証明する。
• アルペリンの融合定理を用い、Fにおける自己同型をAut(P)の制限に還元し、Aut(P)が2群であることに依存する。
• Aut_F(Q) が Q/Φ(Q) 上に作用する様子を分析し、O_2(Aut_F(Q)) ≠ 1 であることを示し、強く2-埋め込まれた部分群の存在と矛盾する。これにより、冪零性が保証される。
• ブラウアー、オルソン、プア、ウサミ、および他の研究者によるブロックと融合系に関する既知の結果を応用し、各ケースにおける不変量を計算する。

実験結果

リサーチクエスチョン

• RQ1 メタシクリック2群上の融合系はいつ冪零であるか？
• RQ2 どのメタシクリック2群が非冪零な融合系を許容するか？
• RQ3 メタシクリックなデフレクト群をもつ2ブロックの数値的不変量k(B)、l(B)、k_i(B)は何か？
• RQ4 ダイハドラル、セミダイハドラル、クaternion、ホモシクリック2群上の融合系は、そのブロック不変量においてどのように異なるか？
• RQ5 自己同型群の構造は、メタシクリック2群上の融合系の冪零性を決定づける役割を果たすか？

主な発見

• メタシクリック2群上の融合系は、群が最大クラス（ダイハドラル、セミダイハドラル、またはクaternion）またはホモシクリックでない限り冪零である。
• 最大クラスのデフレクト群では、ブロック不変量は融合系に依存する：位数2^n ≥ 8のダイハドラル群では、k(B) = 2^{n-2}+3、l(B)=2または3。
• 位数8のクaternionデフレクト群では、k(B)=7、k_0(B)=4、k_1(B)=l(B)=3。
• 位数2^n ≥ 16のクaternion群では、2つの融合系が存在し、それぞれk(B) = 2^{n-2}+4 または 2^{n-2}+5、l(B)=2または3。
• 位数2^n ≥ 16のセミダイハドラル群では、3つの融合系が存在し、それぞれk(B) = 2^{n-2}+3、2^{n-2}+4、l(B)=2または3。
• ホモシクリックなデフレクト群D ≅ C_{2^n}^2 では、k(B) = k_0(B) = (|D|+8)/3 かつ l(B)=3、e(B)=3 であるため、非冪零な融合系が存在する。