[論文レビュー] On the Nilpotent Multiplier of a Free Product

Behrooz Mashayekhy|arXiv (Cornell University)|Mar 30, 2011

Geometric and Algebraic Topology参考文献 10被引用数 13

ひとこと要約

この論文は、互いに素な位数の巡回群の自由積に関して、$c$-冪零被覆（クラスが高々$c$の冪零群の多様体に対するBaer不変量）が可換であることを証明する。BurnsとEllisのホモロジー的結果を用いて、$M^{(c)}(C_1 * \cdots * C_t) \cong \bigoplus M^{(c)}(C_i)$ を示し、各$M^{(c)}(C_i) = 1$ であるため、$c$-冪零被覆は自明であることが判明する。これは、この条件下での函子的整合性を確認するものである。

ABSTRACT

In this paper, using a result of J. Burns and G. Ellis (Math. Z. 226 (1997) 405-28.), we prove that the $c$-nilpotent multiplier (the Baer-invariant with respect to the variety of nilpotent groups of class at most $c$, ${\cal N}_c$.) {\it does commute} with the free product of cyclic groups of mutually coprime order.

研究の動機と目的

• $c$-冪零被覆函手$M^{(c)}(-)$ が自由積を保存するかどうか、特に巡回群に対して調べること。
• 自由積の$c$-冪零被覆が因子の被覆の直和と同型である条件を特定すること。
• シュール被覆（コプロダクトを保存する）に関する既知の結果を、より高い冪零被覆へと拡張すること。
• 互いに素な位数の巡回群に対して、その自由積の$c$-冪零被覆が自明であることを確立すること。

提案手法

• BurnsとEllis（2000年）の自由積の第二冪零被覆の構造に関する重要な結果を用いる。
• 自由表示$F/R = G$ に対して、$M^{(c)}(G) = \frac{R \cap \gamma_{c+1}(F)}{[R,_{c}F]}$ として$c$-冪零被覆を定義する。
• $S = \langle r_1^F, \dots, r_t^F \rangle$ とおくとき、$\rho_n(S)$ を自由群$F$における$S$で生成される語的部分群とする（$S$は関係式の正規閉包）。
• 巡回群の位数が互いに素であるという仮定の下で、数学的帰納法と交換子恒等式を用いて、すべての$n \geq 1$ に対して$S \cap \gamma_n(F) = \rho_n(S)$ を証明する。
• 基本交換子による$\gamma_{c+1}(F)/\gamma_{c+2}(F)$ が自由アーベル群であるという事実を応用し、関係式が互いに素な位数のべきである場合、商が自明になることを導く。
• 直接計算により結論を導く：$M^{(c)}(C_i) = 1$ であるため、自由積の被覆も自明であり、$c$-冪零被覆函手はコプロダクト（自由積）を保存する。

実験結果

リサーチクエスチョン

• RQ1 $c$-冪零被覆函手は、特に互いに素な位数の巡回群の自由積を保存するか？
• RQ2 $M^{(c)}(G_1 * G_2) \cong M^{(c)}(G_1) \oplus M^{(c)}(G_2)$ が成り立つ条件は何か？
• RQ3 互いに素な位数の巡回群の自由積の$c$-冪零被覆がなぜ消えるのか？
• RQ4 互いに素な位数の条件が、自由積の$c$-冪零被覆の構造にどのように影響するか？

主な発見

• 互いに素な位数の巡回群の自由積の$c$-冪零被覆は自明である：すべての$c \geq 1$ に対して$M^{(c)}(C_1 * \cdots * C_t) = 1$。
• 各巡回群$C_i$ に対して$M^{(c)}(C_i) = 1$ であるため、被覆の直和も自明である。
• 互いに素な位数の仮定の下で、$S \cap \gamma_{c+1}(F) = \rho_{c+1}(S)$ が成り立つ。これは被覆の自明性に不可欠な条件である。
• 証明は、数学的帰納法と自由群における交換子恒等式を用いて、$\rho_n(S) \cap \gamma_{n+1}(F) = \rho_{n+1}(S)$ が成り立つという事実に依存している。
• この結果により、因子が巡回群であり、かつ互いに素な位数をもつ場合、$c$-冪零被覆函手が群の圏におけるコプロダクト（自由積）を保存することを確認した。