[論文レビュー] Bogomolov multipliers for unitriangular groups

Ivo M. Michailov|arXiv (Cornell University)|Aug 15, 2013

Finite Group Theory Research参考文献 9被引用数 5

ひとこと要約

本稿は、$ \mathbb{F}_p $ 上のユニトリエンギュラー群、それらの下位中心列の部分群および商群、およびこのような群の中心積について、Bogomolov 乗数 $ B_0(G) $ がすべて 0 に等しいことを証明することで、未解決問題を解決する。非アーベル外積 $ G\wedge G $ を通じる交換子に基づくアプローチにより、交換子写像の核 $ M(G) $ に属するすべての元が、互いに可換なペアによって生成される部分群 $ M_0(G) $ に属することを示し、$ B_0(G) \cong M(G)/M_0(G) = 0 $ を確立する。

ABSTRACT

The Bogomolov multiplier $B_0(G)$ of a finite group $G$ is defined as the subgroup of the Schur multiplier consisting of the cohomology classes vanishing after restriction to all abelian subgroups of $G$. In this paper we give a positive answer to an open problem posed by Kang and Kunyavskiĭ in \cite{KK}. Namely, we prove that if $G$ is either a unitriangular group over $\f$, a quotient of its lower central series, a subgroup of its lower central series, or a central product of two unitriangular groups, then $B_0(G)=0$.

研究の動機と目的

• Kang と Kunyavskiï¿ が提起した、$ \mathbb{F}_p $ 上のユニトリエンギュラー群についての Bogomolov 乗数の自明性に関する未解決問題を解決すること。
• この結果をユニトリエンギュラー群の下位中心列の部分群および商群に拡張すること。
• 中心積として得られる二つの群の $ B_0 $ が自明であるとき、その中心積の Bogomolov 乗数も自明であるかどうかを調査すること。
• 非アーベル外積を用いた一般枠組みを確立し、$ B_0(G) $ を $ M(G)/M_0(G) $ の商として分析すること。

提案手法

• 交換子写像 $ G\wedge G \to [G,G] $ の核 $ M(G) $ と、可換な $ x,y \in G $ による $ x\wedge y $ で生成される部分群 $ M_0(G) $ を用いて、$ B_0(G) \cong M(G)/M_0(G) $ の同型を用いる。
• ユニトリエンギュラー群における交換子に部分順序を定義し、生成子の積を標準単項式 $ \prod t_{i,i+k}^{n(i,k)} $ に体系的に分類する。
• 補題 2.1 を繰り返し適用することで、$ M(G) $ の任意の元が $ M_0(G) $ に属することを示し、交換関係を用いて $ M_0(G) $ を法として交換子積を簡約する。
• 中心の同型を保つように、ユニトリエンギュラー群 $ G_1 \to G_2 $ 間の群準同型 $ \theta $ を構成し、定理 1.1 の条件を満たすようにする。
• 定理 1.1 を用いて、$ B_0(G_1) = B_0(G_2) = 0 $ かつ中心の同型が保たれる場合、中心積 $ G_1 * G_2 $ の Bogomolov 乗数が 0 に等しいことを証明する。
• 写像 $ \theta $ が群の乗法と交換関係を保つことを確認し、$ G_1 $ の中心が $ G_2 $ の中心に同型に写ることを保証することで、それが適切に定義された準同型であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 ユニトリエンギュラー群 $ \mathrm{UT}_n(\mathbb{F}_p) $ について、Bogomolov 乗数 $ B_0(G) $ は自明か？
• RQ2 ユニトリエンギュラー群の下位中心列の部分群および商群について、$ B_0(G) = 0 $ が成り立つか？
• RQ3 二つの $ B_0 $ が自明な群の中心積について、その Bogomolov 乗数も自明か？
• RQ4 ユニトリエンギュラー群の構造を活用して、交換関係を用いて $ M(G) \subseteq M_0(G) $ を示せるか？
• RQ5 中心積の条件を満たすために、ユニトリエンギュラー群間の準同型を構成できるか？

主な発見

• 定理 3.1 で示されるように、すべてのユニトリエンギュラー群 $ \mathrm{UT}_n(\mathbb{F}_p) $ について Bogomolov 乗数 $ B_0(G) $ は自明である。
• この結果は、ユニトリエンギュラー群の下位中心列の部分群および商群、特に $ \Gamma_{n,k} $（$ \mathrm{UT}_n(\mathbb{F}_p) $ の下位中心列の項による商）に対しても拡張可能である。
• 中心積 $ G_1 * G_2 $ について、Corollary 3.2 で示されるように Bogomolov 乗数 $ B_0(G) $ は 0 に等しい。
• 証明は、中心上に同型を誘導する準同型 $ \theta: G_1 \to G_2 $ を構成することに依存している。
• 著者らは、交換子に部分順序を定め、補題 2.1 を適用して $ M_0(G) $ を法として積を簡約することで、$ M(G) $ のすべての元が $ M_0(G) $ に属することを示した。
• 同型 $ B_0(G) \cong M(G)/M_0(G) $ を用いて、$ B_0(G) $ が 0 に等しいことが示され、この場合 $ M(G) = M_0(G) $ が成り立つ。