[論文レビュー] The relative second Fox and third dimension subgroup of arbitrary groups

Manfred Hartl|arXiv (Cornell University)|Jul 2, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用数 5

ひとこと要約

本稿は、任意の群 $ G $、部分群 $ K, H $、および可換環 $ R $ に対して、第3相対次元部分群 $ D_{3,R}^{u}(G,K) $ と第2相対フォックス部分群 $ G \cap (1 + I_R(K)I_R(H) + I_R^2(G)I_R(H)) $ の完全な代数的特徴付けを提供する。群論的構成（交換子、$ p $- torsion、部分群フィルトレーション）を用いて明示的な公式を確立し、低次元における相対次元部分群およびフォックス部分群理論における長年の未解決問題を解決する。

ABSTRACT

Let $I_R(G)$ denote the augmentation ideal of the group algebra $R(G)$ of a group $G$ with coefficients in a commutative ring $R$. We give a complete description of the third relative dimension subgroup $G\cap(1+I_R(K)I_R(G)+I^3_R(G))$ and the second relative Fox subgroup $G\cap(1+I_R(K)I_R(H)+I^2_R(G)I_R(H))$ for any subgroups $K$ and $H$ of $G$.

研究の動機と目的

• 任意の部分群 $ K \leq G $ および係数環 $ R $ に対して、$ n=3 $ の相対次元部分群問題を解明し、古典的結果を拡張すること。
• 第2および第3次元の相対次元部分群と相対フォックス部分群の研究を統合し、$ n=2 $ および $ n=3 $ の共通の枠組みを提供すること。
• 任意の部分群 $ H, K \leq G $ に対して、第2相対フォックス部分群 $ G \cap (1 + I_R(K)I_R(H) + I_R^2(G)I_R(H)) $ を計算し、先行研究を一般化すること。
• 相対次元部分群問題における等号が成立しない正確な条件を同定し、$ R = \mathbb{Z} $ および $ \mathcal{N} = \gamma $ の場合に、最小の反例（位数 $ 2^6 $）を提供すること。
• テンソル代数および外積代数を用いたホモロジー的かつ関手的な手法を確立し、群代数のフィルトレーションを通じて群部分群を分析すること。

提案手法

• 群代数 $ R[G] $ の増幅イデアル $ I_R(G) $ 及びそのべきを用いて、$ n $-次元部分群およびフォックス部分群に対応するフィルトレーションを定義する。
• N系列 $ \mathcal{N} = \{N_i\} $ を用いて、$ I_R^{n,\mathcal{N}}(G) $ を定義し、これは総インデックス和 $ \geq n $ となる $ (a_i - 1) $ の積で生成される $ R $-部分加群である。
• ホモロジー的道具を適用：第2フォックス部分群は写像 $ p_{2,R} \colon H_2(H) \to P_{2,R}(H) $ を通じて分析され、その核はサンディングの公式により $ D_3(H) $ と関連づけられる。
• テンソル積および外積を用いて定義される部分群 $ T_m $ を導入し、写像 $ i \otimes \text{id} \otimes R $ の核と関連づけ、相対フォックス部分群と結びつける。
• 群 $ G $ の商 $ (G/KG_2) \otimes (H/H_2) \otimes R $ とその商との同型を用いて、群論的条件をコhomological制約に翻訳する。
• 集合 $ \sigma(R) $、すなわち $ p^n R = p^{n+1} R $ を満たす素数 $ p $ の集合の構造を用いて、$ p $- torsion 部分群 $ t_p(G \mod U_0N_3) $ を定義し、最終的な公式に不可欠な役割を果たす。

実験結果

リサーチクエスチョン

• RQ1 任意の部分群 $ K \leq G $ および N系列 $ \mathcal{N} $ と、任意の可換環 $ R $ に対して、第3相対次元部分群 $ D_{3,R}^\mathcal{N}(G,K) $ の正確な構造は何か？
• RQ2 包含関係 $ K_2 N_3 \subset D_{3,\mathbb{Z}}^\mathcal{N}(G,K) $ は常に成り立つのか？ もし成り立たない場合、最小の反例は何か？
• RQ3 任意の部分群 $ H, K \leq G $ に対して、第2相対フォックス部分群 $ G \cap (1 + I_R(K)I_R(H) + I_R^2(G)I_R(H)) $ は完全に記述可能か？
• RQ4 低次元における相対次元部分群およびフォックス部分群の構成は、どのように統一され、どのような代数的道具がそれらの明示的計算を可能にするか？
• RQ5 $ R = \mathbb{Z} $ の場合に、$ p $- torsion および $ p $- べき条件がこれらの相対部分群の構造に果たす役割は何か？

主な発見

• 第3相対次元部分群は、$ D_{3,R}^\mathcal{N}(G,K) = U_0 N_3 Z_2 \prod_{p \in \sigma(R),\, p \text{ odd}} t_p(G \mod U_0 N_3) \cap (U_{p^e} N_3 G^{p^e}) $ で与えられる。ここで $ U_m $ は、$ a^k, b^k \in K N_2 G^m $ を満たす交換子 $ [a,b^k] $ で生成される。
• $ R = \mathbb{Z} $ の場合、相対次元部分群 $ D_{3,\mathbb{Z}}^\gamma(G,K) $ は一般には $ K_2 N_3 $ に等しくない。最小の反例の位数は $ 2^6 $ である。
• 第2相対フォックス部分群 $ G \cap (1 + I_R(K)I_R(H) + I_R^2(G)I_R(H)) $ は、$ H/H_2H^m $ 上のテンソル積および外積を用いて定義される部分群 $ T_m $ の像によって完全に決定される。
• 群 $ H $ が有限生成であるとき、部分群 $ T_m^{fg} $ は写像 $ i \otimes \text{id} \otimes R $ の核の有限生成表示を提供し、明示的計算を可能にする。
• $ p_{2,R} \colon H_2(H) \to P_{2,R}(H) $ の核は $ V_H^{(m)} $ に含まれ、この核は正確に $ D_3(H) $ に一致する。これによりフォックス部分群理論と次元部分群理論が結びつけられる。
• 第2相対フォックス部分群の公式は、グッパ、カーツィオ、タハラ–ヴェルマニ–ラズダンらの先行結果を一般化・統合しており、相対次元部分群の公式からは導出不可能である。