[论文解读] Fusion systems on metacyclic 2-groups

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

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

一句话总结

本文对拟循环2-群上的融合系统进行分类，证明除非该群属于极大类（二面体、半二面体或四元数群）或同态循环群，否则此类系统均为幂零的。关键结果表明，具有拟循环缺陷群的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阶四元数群时，Aut(P)为2-群。
• 运用引理2，证明当Q ≅ C_{2^k}^2且k ≥ 2时，N_P(Q)/Q不能在Q/Φ(Q)上忠实作用。
• 利用Alperin的融合定理，将F中自同构的限制归约为Aut(P)的限制，利用Aut(P)为2-群的性质。
• 分析Aut_F(Q)在Q/Φ(Q)上的作用，证明O_2(Aut_F(Q)) ≠ 1，从而与非平凡强2-嵌入子群的存在性矛盾，除非系统为幂零。
• 应用Brauer、Olsson、Puig、Usami等人的已知块与融合系统结果，计算每种情形下的不变量。

实验结果

研究问题

• RQ1 在拟循环2-群上，何时融合系统为幂零的？
• RQ2 哪些拟循环2-群允许存在非幂零的融合系统？
• RQ3 具有拟循环缺陷群的2-块的数值不变量k(B)、l(B)和k_i(B)是什么？
• RQ4 二面体、半二面体、四元数和同态循环2-群上的融合系统在块不变量方面有何差异？
• RQ5 自同构群结构在决定拟循环2-群上融合系统幂零性方面起什么作用？

主要发现

• 拟循环2-群上的融合系统为幂零的，除非该群属于极大类（二面体、半二面体或四元数群）或同态循环群。
• 对于极大类缺陷群，块不变量依赖于融合系统：当二面体群阶为2^n ≥ 8时，k(B) = 2^{n-2}+3，且l(B)=2或3。
• 对于8阶四元数缺陷群，k(B)=7，k_0(B)=4，k_1(B)=l(B)=3。
• 对于阶为2^n ≥ 16的四元数群，存在两种融合系统，分别给出k(B) = 2^{n-2}+4或2^{n-2}+5，且l(B)=2或3。
• 对于阶为2^n ≥ 16的半二面体群，存在三种融合系统，分别给出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表明融合系统非幂零。