[論文レビュー] Dimension quotients

Manfred Hartl, Roman Mikhailov+1 more|arXiv (Cornell University)|Mar 24, 2008

Homotopy and Cohomology in Algebraic Topology被引用数 5

ひとこと要約

本稿は、群の次元商を研究するための2つの新規手法——ホモロジー的および単体的——を導入し、特に第4および第5次元商に焦点を当てる。外積ねんみん平方を用いた $ D_4(E,N) \cap N $ のホモロジー的特徴付けを確立し、単体的解体からスペクトル系列を導出し、第4次元商が指数2以下であるという新たな証明を示す。また、$ H_2(G) = 0 $、$ G_{ab} \wedge G_{ab} = 0 $、および $ \mathcal{D}_1 S_3(G_{ab}) = 0 $ の下で第5次元商が自明であるための十分条件を示す。本研究は、次元部分群と非加法的函手の導来函手、および単体的ホモトピー論との関係を明らかにする。

ABSTRACT

We present two approaches, one homological and the other simplicial, for the investigation of dimension quotients of groups. The theory is illustrated, in particular, with a conceptual discussion of the fourth and fifth dimension quotients.

研究の動機と目的

• 群の次元商を分析するためのホモロジー的および単体的枠組みを構築すること。
• 一般には取り扱いにくい第4および第5次元商の構造についての概念的洞察を提供すること。
• 次元部分群、非加法的函手の導来函手、および単体的ホモトピー論との関係を確立すること。
• スペクトル系列および多項式（上）ホモロジーを用いて、新たな道具と構造的洞察を提供すること。
• 相対次元部分群を用いて、2段階可解群の場合にリードハム＝グリーンが提起した問題を解決すること。

提案手法

• 群環 $ \mathbb{Z}[E] $ の増幅冪を用いて定義される多項式函手および相対次元部分群 $ D_n(E,N) $ の使用。
• 単体的解体を用いた群の圏における自己函手の導来函手の応用により、$ \mathcal{L}_i F(G) = \pi_i(F(\mathfrak{F})) $ を定義する（$ \mathfrak{F} \to G $ は自由単体的解体）。
• 関手 $ \gamma_i/\gamma_{i+1} $、$ \mathfrak{g}^i/\mathfrak{g}^{i+1} $ や自然な写像 $ \kappa: E(G) \to \overline{E}(G) $ から得られる2つのスペクトル系列 $ E(G) $ および $ \overline{E}(G) $ の構成。
• Dold-Puppeの導来函手を用いて、$ V_{n-1}(G) \subseteq \mathcal{D}_1 S_{n-1}(G_{ab}) $ から $ D_n(G)/\gamma_n(G) $ の部分商への標準的同型 $ v_n: V_{n-1}(G) \to \text{sub-quotient of } D_n(G)/\gamma_n(G) $ を定義する。
• アーベル群 $ A $ に対する外積ねんみん平方 $ A \wedge^* A $ を用いて、$ D_3(F,R)/\gamma_2(R)\gamma_3(F) $ を記述し、$ D_4(E,N) \cap N $ を特徴付ける。
• 同定定理（定理6.1）およびスペクトル系列の図式的解析により、$ v_4 $、$ v_5 $、および解体における微分の核・余核との関係を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 ホモロジー的道具を用いて、第4次元商 $ D_4(G)/\gamma_4(G) $ をどのように特徴付けることができるか？
• RQ2 外積ねんみん平方 $ G_{ab} \wedge^* G_{ab} $ は、相対次元部分群を記述する上で果たす役割は何か？
• RQ3 第5次元商 $ D_5(G)/\gamma_5(G) $ が自明であるための条件は何か？
• RQ4 非加法的函手の導来函手、例えば $ \mathcal{D}_1 S_{n-1}(G_{ab}) $ は、次元商とどのように関係するか？
• RQ5 単体的解体から得られるスペクトル系列は、次元商を体系的に研究するための枠組みを提供できるか？

主な発見

• 外積ねんみん平方を用いた $ D_4(E,N) \cap N $ の新しいホモロジー的特徴付けにより、第4次元商 $ D_4(G)/\gamma_4(G) $ が指数2以下であることが示された。
• 古典的結果である $ D_4(G)/\gamma_4(G) $ が指数≤2であるという事実に対する別証明が与えられ、$ D_4(E,N) \cap N $ の構造と外積平方の性質に基づく。
• 相対次元部分群を用いて、$ c=2 $ の場合にリードハム＝グリーンが提起した問題が解決された。同型 $ (F/R\gamma_2(F)) \wedge^* (F/R\gamma_2(F)) \cong D_3(F,R)/\gamma_2(R)\gamma_3(F) $ を用いた。
• $ v_4: V_3(G) \to D_4(G)/\gamma_4(G) $ の写像が構成され、スペクトル系列を用いてその核および像が分析された。
• 第5次元商が自明であるための十分条件が確立された：$ H_2(G) = 0 $、$ G_{ab} \wedge^* G_{ab} = 0 $、および $ \mathcal{D}_1 S_3(G_{ab}) = 0 $ ならば、$ D_5(G) = \gamma_5(G) $ である。
• 図式 (8.4) と同定定理（定理6.1）により、$ D_5(G) \cap \gamma_4(G)/\gamma_5(G) $ の構造が、スペクトル系列における微分の核・余核を用いて正確に記述可能となった。