[論文レビュー] Milnor invariants of braids and welded braids up to homotopy

Jacques Darné|arXiv (Cornell University)|Apr 24, 2019

Geometric and Algebraic Topology参考文献 31被引用数 4

ひとこと要約

本稿は、ホモトピー的意味での純 welded ブレード群の分解を確立し、それが反復半直積として同定可能であり、この群におけるアンドレアダキス問題を解けるようにする。また、縮小自由群におけるアンドレアダキスフィルトレーションの関連する次数付きリーリングが、接ベクトル微分作用素の代数と一致することを証明し、生成子と関係式による提示を提供する。その結果、仮想的および welded 結び目理論におけるミルナー不変量および有限型不変量に影響を与える。

ABSTRACT

We consider the group of pure welded braids (also known as loop braids) up to (link-)homotopy. The pure welded braid group classically identifies, via the Artin action, with the group of basis-conjugating automorphisms of the free group, also known as the McCool group P $Σ$ n. It has been shown recently that its quotient by the homotopy relation identifies with the group hP $Σ$ n of basis-conjugating automorphisms of the reduced free group. In the present paper, we describe a decomposition of this quotient as an iterated semi-direct product which allows us to solve the Andreadakis problem for this group, and to give a presentation by generators and relations. The Andreadakis equality can be understood, in this context, as a statement about Milnor invariants; a discussion of this question for classical braids up to homotopy is also included.

研究の動機と目的

• ホモトピー的意味での純 welded ブレード群の構造を理解すること、すなわち hPΣn と呼ばれる群である。
• hPΣn における下部中心系列によるフィルトレーションを分析することで、hPΣn におけるアンドレアダキス問題を解くこと。
• その分解から得られる生成子と関係式を用いて、hPΣn の提示を確立すること。
• 縮小自由群の文脈において、ミルナー不変量をジョンソン準同型および接ベクトル微分作用素の観点から解釈すること。
• welded ブレードの文脈において、有限型不変量、ミルナー不変量、群のフィルトレーションの関係を明確にすること。

提案手法

• ホモトピー的意味でのアーティン作用を用いて、hPΣn を縮小自由群 RFn の基底の共役自己同型と同定する。
• 縮小自由群におけるマグニス展開のヴァージョンを適用し、RFn のリーリングが同じ生成子における縮小自由代数と同型であることを証明する。
• hPΣn を、正規閉包と商群を含む反復半直積としての分解を確立する。
• ジョンソン準同型を用いて、アンドレアダキスフィルトレーションの関連する次数付きリーリングを分析し、それが縮小自由代数の接ベクトル微分作用素の代数と一致することを同定する。
• リンドン語と線形木を用いて、自由リーリングの基底を構成し、リーモノーマル式における重複を制御する。
• テンソル代数 TV 内のコールゲブラおよび原始的要素の議論を適用し、原始的要素がリンドン語と一致することを示し、基底構成を支援する。

実験結果

リサーチクエスチョン

• RQ1 ホモトピー的意味での純 welded ブレード群 hPΣn は、代数的にどのように分解されるか？
• RQ2 hPΣn におけるアンドレアダキスフィルトレーションの関連する次数付きリーリングの構造は何か？
• RQ3 hPΣn に対してアンドレアダキス等号が成り立つか？ そしてそれはミルナー不変量に何を意味するか？
• RQ4 hPΣn の群の分解から、その提示を構成できるか？
• RQ5 ミルナー不変量は、縮小自由群の文脈において、有限型不変量および接ベクトル微分作用素とどのように関係するか？

主な発見

• 群 hPΣn は反復半直積として分解可能である：hPΣn ≅ ( (∏_{i<n} N(xn)/xi ) ⋊ (RFn/xn) ) ⋊ hPΣn−1 であり、右端の積はほとんど直積である。
• 縮小自由群 RFn のリーリングは、同じ生成子における縮小自由代数と同型である。これはマグニスの定理を一般化する。
• hPΣn におけるアンドレアダキスフィルトレーションの関連する次数付きリーリングは、縮小自由代数の接ベクトル微分作用素の代数と一致する。
• hPΣn におけるアンドレアダキス問題は肯定的に解決され、アンドレアダキスフィルトレーションが下部中心系列と一致することが確認された。
• 分解およびリーリング構造から得られる生成子と関係式を用いて、hPΣn の提示が得られた。
• 縮小自由リーリング RL[n]k の次数 k のリーモノーマルの空間には、右端の葉に最大のインデックスを持つ線形木からなる基底があり、その数は (k−1)! × (n choose k) 個である。