[論文レビュー] Subgroups of depth three and more

Sebastian Burciu, Lars Kadison|arXiv (Cornell University)|Jan 20, 2009

Algebraic structures and combinatorial models参考文献 17被引用数 6

ひとこと要約

本稿は、誘導・制限の特性表と包含行列を用いて、有限群の部分群が深さ3以上であるかどうかを判定する行列に基づく基準を導入する。Frobenius群におけるFrobenius補完集合が深さ3の部分群であることを証明し、部分代数のコアを用いて、Hopf代数の深さ3の塔について必要十分条件を確立する。これにより、Frobenius拡大における深さ2理論をより高い深さへ一般化する。

ABSTRACT

A subalgebra pair of semisimple complex algebras B < A with inclusion matrix M is depth two if MM^t M < nM for some positive integer n and all corresponding entries. If A and B are the group algebras of finite group-subgroup pair H < G, the induction-restriction table equals M and S = MM^t satisfies S^2 < nS iff the subgroup H is depth three in G; similarly depth n > 3 by successive right multiplications of this inequality with alternately M and M^t. We show that a Frobenius complement in a Frobenius group is a nontrivial class of examples of depth three subgroups. Depth-3 towers of Hopf algebras are also considered: a tower of Hopf algebras A > B > C is shown to be depth-3 if C < core(B).

研究の動機と目的

• 有限群代数およびFrobenius拡大の文脈において、深さ2の部分群の概念を深さ3以上へ一般化すること。
• 包含行列とその積に基づく行列論的基準——部分群が有限深さであるかどうかを判定するためのもの——を提供すること。
• 特にFrobenius群におけるFrobenius補完集合を含む、非自明な深さ3の部分群の例を特定・特徴づけること。
• コアに基づく条件を導入することにより、特にHopf代数において、代数の塔への深さの理論を拡張すること。
• 深さ条件とMackey理論との関係を確立し、特性表の計算により深さを検証可能にする。

提案手法

• 群-部分群のペア $ H < G $ の包含行列 $ M $ を用い、各成分が誘導・制限における既約表現の重複度を数える。
• 深さ3の部分群を定義するための条件 $ MM^tM rianglelefteq nM $（成分ごとの不等号）を適用し、深さ2の条件 $ MM^tM rianglelefteq nM $ を一般化する。
• Mackeyの定理とFrobeniusの随伴性を用いて内積 $ ext{Res}( ext{Ind} ho) ig| au $ を計算し、深さ3の部分群が1つの追加の誘導・制限ステップにおいても特性の成分を保存することを示す。
• Hopf部分代数 $ ext{core}(B) $ の概念を導入し、塔 $ A riangleright B riangleright C $ が深さ3であるための条件として $ C rianglelefteq ext{core}(B) $ を証明する。
• Frobeniusシステムと双対基底を用いて、深さ3の拡大における準基底を構成し、深さ2の準基底構成を一般化する。
• 同型 $ ext{Hom}_B(A igotimes_B A, A) \to (A igotimes_B A igotimes_B A)^B $ を適用し、自己準同型と不変量を関連づけ、深さ3の条件の代数的特徴づけを可能にする。

実験結果

リサーチクエスチョン

• RQ1 有限群 $ G $ の部分群 $ H $ が深さ3であるための包含行列 $ M $ における代数的条件は何か？
• RQ2 正規でない非自明な深さ3の部分群の例は存在するか？そして、それらは体系的に構成可能か？
• RQ3 Hopf代数の文脈において、代数の塔 $ A riangleright B riangleright C $ の深さ3条件は、$ B $ のコアとどのように関係するか？
• RQ4 Mackey理論と内積の計算を用いて、特性表のデータから深さ3の性質を検出可能か？
• RQ5 群代数の塔に対して、$ C rianglelefteq ext{core}(B) $ は深さ3であるための必要十分条件か？

主な発見

• 有限群の部分群 $ H < G $ が深さ3であるための必要十分条件は、$ M $ を誘導・制限行列として、ある整数 $ n $ に対して $ MM^tM rianglelefteq nM $ が成り立つことである。
• Frobenius群におけるFrobenius補完集合は、特性表の計算とMackeyの定理により、非自明な深さ3の部分群の例として示された。
• 群代数に対して、塔 $ k[G] riangleright k[H] riangleright k[K] $ が深さ3であるための必要十分条件は、$ K rianglelefteq ext{core}(H) $ である。ここで $ ext{core}(H) $ は $ G $ に含まれる $ H $ の最大の正規部分群である。
• 行列 $ ilde{S} = MM^t $ に対して、$ ilde{S}^2 rianglelefteq n ilde{S} $ が成り立つことと、$ H $ が $ G $ において深さ3であることとは同値であり、これは特性論的テストを提供する。
• Hopf代数の塔 $ A riangleright B riangleright C $ が深さ3であるための条件は $ C rianglelefteq ext{core}(B) $ であり、一般には必要条件であると予想されている。
• 深さ3の条件は、任意の $ H $ の既約特性 $ \rho $ に対して、$ ext{Res}( ext{Ind}( ho)) $ の中で $ ext{Ind}( ho) $ に既存する成分を超える新しい既約成分が現れないことに等しい。