[论文解读] On the Cartan matrix of Mackey algebras

Serge Bouc|arXiv (Cornell University)|Jan 2, 2010

Algebraic structures and combinatorial models参考文献 8被引用 3

一句话总结

本文为特征为 p > 0 的域 k 上的Mackey代数 μk(G) 的Cartan矩阵的行列式提供了显式公式，并确定了上同调Mackey代数 coμk(G) 的Cartan矩阵的秩。研究证明，coμk(G) 的Cartan矩阵非奇异当且仅当 G 是具有循环 Sylow p-子群的 p-幂零群，并将此结果推广至块：当且仅当块 b 是具有循环亏群的幂零块时，coμk(b) 的Cartan矩阵非奇异。

ABSTRACT

Let k be a field of characteristic p>0, and G be a finite group. The first result of this paper is an explicit formula for the determinant of the Cartan matrix of the Mackey algebra mu_k(G) of G over k. The second one is a formula for the rank of the Cartan matrix of the cohomological Mackey algebra comu_k(G) of G over k, and a characterization of the groups G for which this matrix is non singular. The third result is a generalization of this rank formula and characterization to blocks of comu_k(G) : in particular, if b is a block of kG, the Cartan matrix of the corresponding block comu_k(b) of comu_k(G) is non singular if and only if b is nilpotent with cyclic defect groups.

研究动机与目标

• 推导出在正特征 p 的域 k 上，Mackey代数 μk(G) 的Cartan矩阵行列式的显式公式。
• 确定上同调Mackey代数 coμk(G) 的Cartan矩阵的秩，并刻画其非奇异的条件。
• 将该刻画推广至 coμk(G) 的块，识别出 coμk(b) 的Cartan矩阵非奇异的条件。
• 建立Cartan矩阵的代数结构与群论性质（如幂零性与循环亏群）之间的精确联系。

提出的方法

• 利用 R 上Mackey函子范畴与 μR(G) 模范畴之间的等价性，借助这些代数的已知结构性质。
• 通过 p-完美子群对Mackey函子进行分解，并利用等价关系 Mackk(G) ≅ ∏H Mackk(NG(H)/H, 1)，聚焦于 μk(G, 1) 上的投射模。
• 使用 p-置换 kG-模的Green环 ppk(G)，结合对偶性与Brauer商函子 W ↦ W[Q]，分析模结构与特征关系。
• 利用诱导与提升函子，在 p-置换模与上同调Mackey函子的特征基之间构造三角过渡矩阵。
• 应用Brauer对应与块理论，特别是 b-Brauer 对 (R, c) 的结构，将Cartan矩阵的秩与不可约特征的轨道数联系起来。
• 在代数闭域上应用惯性商与模扩张技术，分析块中不可约表示的数量，尤其在幂零情形下。

实验结果

研究问题

• RQ1 在正特征域上，Mackey代数 μk(G) 的Cartan矩阵行列式的显式公式是什么？
• RQ2 对于哪些有限群 G，上同调Mackey代数 coμk(G) 的Cartan矩阵是非奇异的？
• RQ3 coμk(G) 的Cartan矩阵的秩如何与 G 的群论结构相关，特别是与 p-子群和 p'-元素的关系？
• RQ4 在何种条件下，上同调Mackey代数的块 coμk(b) 的Cartan矩阵是非奇异的？
• RQ5 块 b 的幂零性与 coμk(b) 的Cartan矩阵非奇异性之间存在何种精确关系？

主要发现

• μk(G) 的Cartan矩阵的行列式由涉及 p'-元素共轭类数与循环 p-子群数的显式公式给出。
• coμk(G) 的Cartan矩阵的秩等于满足 R 是 G 的循环 p-子群且 s 是 R 的中心化子中 p'-元素的对 (R, s) 的共轭类数。
• coμk(G) 的Cartan矩阵非奇异当且仅当 G 是具有循环 Sylow p-子群的 p-幂零群。
• 对于 kG 的块 b，coμk(b) 的Cartan矩阵非奇异当且仅当 b 是具有循环亏群的幂零块。
• 当 b 是具有循环亏群 D 的幂零块时，对每个循环 p-子群 R，kNG(R)BrR(b) 的不可约特征数等于 NG(R) 在 Irr(kCG(R)BrR(b)) 上的轨道数。
• 在具有循环亏群的幂零情形下，惯性商是平凡的（阶为 1），这保证了轨道数相等，从而确保了Cartan矩阵的非奇异。