[論文レビュー] On the Cartan matrix of Mackey algebras

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

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

ひとこと要約

本稿では、正の特性 p を持つ体 k 上のMackey代数 μk(G) のCartan行列の行列式および、コホモロジー的Mackey代数 coμk(G) のランクについて明示的な公式を提供する。また、coμk(G) のCartan行列が非特異であるための必要十分条件として、G が巡回Sylow p-部分群をもつ p-冪零群であること、およびブロックへの一般化として、coμk(b) のCartan行列が非特異であるのは、ブロック b が巡回のデフレクト群をもつ冪零ブロックである場合に限ることを示している。

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) のCartアン行列の行列式について明示的な公式を導出すること。
• コホモロジー的Mackey代数 coμk(G) のCartアン行列のランクを特定し、それが非特異となる条件を同定すること。
• この特徴づけをブロックへ一般化し、コホモロジー的Mackey代数のブロック coμk(b) のCartアン行列が非特異となる条件を同定すること。
• Cartアン行列の代数的構造と、冪零性や巡回のデフレクト群といった群論的性質との明確な関係を確立すること。

提案手法

• R 上のMackey函手の圏と、Mackey代数 μR(G) のモジュールの圏との同値性を用い、これらの代数の既知の構造的性質を活用する。
• p-完全部分群によるMackey函手の分解と、同値関係 Mackk(G) ≅ ∏H Mackk(NG(H)/H, 1) を用い、μk(G, 1) 上の射影的モジュールに焦点を当てる。
• p-置換 kG-モジュールのグリーン環 ppk(G) を用い、双対性およびブローバー商函手 W ↦ W[Q] を用いてモジュール構造と特徴関数の関係を分析する。
• 誘導およびインフレーション函手を用いて、p-置換モジュールとコホモロジー的Mackey函手の特徴関数基底間の三角行列変換を構成する。
• ブローバー対応およびブロック理論、特に b-ブローバー対 (R, c) の構造を用い、Cartアン行列のランクを、既約特徴関数への軌道数に関連付ける。
• 代数的に閉じた体上での慣性商およびモジュール拡張技術を用いて、特に冪零の場合に、ブロック内の既約表現の数を分析する。

実験結果

リサーチクエスチョン

• RQ1 正の特性を持つ体上でのMackey代数 μk(G) のCartアン行列の行列式について、明示的な公式は何か？
• RQ2 どの有限群 G に対して、コホモロジー的Mackey代数 coμk(G) のCartアン行列が非特異となるか？
• RQ3 coμk(G) のCartアン行列のランクは、特に p-部分群および p'-元に関して、群論的構造とどのように関係するか？
• RQ4 コホモロジー的Mackey代数のブロック coμk(b) のCartアン行列が非特異となる条件は何か？
• RQ5 ブロック b の冪零性と、coμk(b) のCartアン行列の非特異性との明確な関係は何か？

主な発見

• μk(G) のCartアン行列の行列式は、p'-元の共轭類および巡回 p-部分群の数を含む明示的公式で与えられる。
• coμk(G) のCartアン行列のランクは、G の巡回 p-部分群 R と、R の中心化群内の p'-元 s の共轭類のペア (R, s) の数に等しい。
• coμk(G) のCartアン行列が非特異であることは、G が巡回Sylow p-部分群をもつ p-冪零群であることと同値である。
• kG のブロック b に対して、coμk(b) のCartアン行列が非特異であるのは、b が巡回のデフレクト群をもつ冪零ブロックである場合に限る。
• b が巡回デフレクト群 D をもつ冪零ブロックであるとき、各巡回 p-部分群 R に対して、kNG(R)BrR(b) の既約特徴関数の数は、NG(R)-軌道数 |Irr(kCG(R)BrR(b)) / NG(R)| に等しい。
• 冪零かつ巡回デフレクト群をもつ場合、慣性商は自明（位数 1）であり、これにより軌道数の一致が保証され、結果としてCartアン行列の非特異性が得られる。