[論文レビュー] Centralizers of Lie Algebras Associated to the Descending Central Series of Certain Poly-Free Groups

Daniel C. Cohen, Fred Cohen+1 more|ArXiv.org|Mar 20, 2006

Geometric and Algebraic Topology参考文献 19被引用数 8

ひとこと要約

この論文は、上三角形McCool群、軌道配置空間群、C*への巡回群作用を含む多自由群の降下中心系列Lie代数におけるLie部分代数の中心化群を計算する。主な結果は、このような群からの準同型の忠実性が、最上位の自由因子および中心におけるLie代数レベルでの忠実性に帰着できることを示している。この手法はホモロジー論的およびLie代数的技法を組み合わせており、FormanekとProcesiの「毒の群」によって、これらの基準が失敗することを示している。

ABSTRACT

Poly-free groups are constructed as iterated semidirect products of free groups. The class of poly-free groups includes the classical pure braid groups, fundamental groups of fiber-type hyperplane arrangements, and certain subgroups of the automorphism groups of free groups. The purpose of this article is to compute centralizers of certain natural Lie subalgebras of the Lie algebra obtained from the descending central series of poly-free groups G including some of the geometrically interesting classes of groups mentioned above. The main results here extend results of Cohen and Prassidis for such groups. These results imply that a homomorphism out of G is faithful, essentially, if it is faithful when restricted to the level of Lie algebras obtained from the descending central series for the product F x Z, where F is the "top" free group in the semidirect products of free groups and Z is the center of G. The arguments use a mixture of homological, and Lie algebraic methods applied to certain choices of extensions. The limitations of these methods are illustrated using the "poison groups" of Formanek and Procesi, poly-free groups whose Lie algebras do not have certain properties considered here.

研究の動機と目的

• 上三角形McCool群や軌道配置空間群を含む、多自由群の降下中心系列Lie代数における自然なLie部分代数の中心化群を計算すること。
• 純ブレード群およびファイバータイプ配置と関連するLie代数における中心化群に関する先行研究を拡張すること。
• 群の準同型が忠実であるかどうかを、降下中心系列Lie代数への誘導写像を分析することで特定する条件を確立すること。
• FormanekとProcesiの「毒の群」を用いた反例を構成することで、Lie理論的技法の限界を示すこと。

提案手法

• 多自由群Gから、連続的商群G_n / G_{n+1}と交換子括弧を用いて降下中心系列Lie代数gr*(G)を構成する。
• スプリット拡大構造を有する群に対して、ホモロジー論的技法およびLie代数的手法を用いてgr*(G)における部分代数の中心化群の構造を分析する。
• 群の拡大1 → F_α(n) → Γ_n → Γ_{n-1} → 1がホモロジーに自明な作用を持つことから誘導されるLie代数のスプリット完全系列を用いる。
• 包含写像gr*(F_α(n)) → gr*(Γ_n)の像が、gr*(Γ_n)の中心を通じて因数分解されることを示す。
• 準同型写像gr*(p × α): gr*(H) → gr*(F_2 × H_1(H))を用いて忠実性基準をテストし、群では核をもつにもかかわらず、Lie代数レベルでは単射であることを示す。
• 「毒の群」において、F_3の像がgr*(H)の中心に含まれることを示し、Lie代数構造が非忠実な群表現を検出できないことを示す。

実験結果

リサーチクエスチョン

• RQ1 群の準同型f: Γ → Gが、その誘導写像が降下中心系列Lie代数上で単射である場合、どのような条件下で忠実性を保つのか？
• RQ2 自由群の反復半直積として構成される多自由群に対して、gr*(G)におけるLie部分代数の中心化群はどのように振る舞うか？
• RQ3 降下中心系列Lie代数の構造は、多自由群の忠実な表現をどの程度検出できるか？
• RQ4 なぜ標準的なLie理論的基準は、たとえば「毒の群」のような特定の多自由群では失敗するのか？
• RQ5 Lie代数gr*(G)のどのような構造的特徴が、自由因子の像が中心に含まれるかどうかを決定するのか？

主な発見

• 上三角形McCool群や軌道配置空間群を含む多自由群では、最上位自由因子F_α(n)に対応するLie部分代数の中心化群は、a_3の類によって生成されるℤに同型である。
• 誘導写像gr*(j): gr*(F_α(n)) → gr*(Γ_n)は、gr*(Γ_n)の中心を通じて因数分解される。
• 商群gr*(Γ_n) / C(gr*(Γ_n))はgr*(Γ_{n-1})に同型であり、Lie代数構造が拡大の下位群によって制御されることを示している。
• 自然な写像p × α: H → F_2 × H_1(H)は非自明な核を持つが、降下中心系列Lie代数のレベルでは単射を誘導する。
• 「毒の群」Hに対して、自由因子F_3の像はgr*(H)の中心に完全に含まれており、中心はℤに同型である。これは、Lie代数的手法が非忠実な埋め込みを検出できないことを示している。
• 「毒の群」の事例におけるLie理論的基準の失敗は、根本的な限界を示している：gr*(f)が単射であっても、fが忠実でない可能性がある。