[論文レビュー] Vector Braids

Vincent Moulton|arXiv (Cornell University)|Jul 15, 1994

Geometric and Algebraic Topology被引用数 5

ひとこと要約

この論文は、任意の $ m+1 $ 個の点がアフィン的に $$\mathbb{C}^m$$ を張るような、$ n $ 個の無順序点の運動として定義される、古典的ブレード群の一般化であるベクトルブレード群 $B_n^m$ を導入する。主な焦点は $B_n^2$ の純ブレード部分群 $P_n^2$ に向けられ、$P_n^2$ に上から押さえられる群 $PL_n$ の提示を提供し、一次および二次の整数ホモロジーにおいて同型であることを示し、$P_n^2$ の無限小提示を導出する。また、$$\mathbb{P}^m$$ 上のブレード群への拡張も考察される。

ABSTRACT

In this paper we define a new family of groups which generalize the {\it classical braid groups on} $\C $. We denote this family by $\{B_n^m\}_{n \ge m+1}$ where $n,m \in \N$. The family $\{ B_n^1 \}_{n \in \N}$ is the set of classical braid groups on $n$ strings. The group $B_n^m$ is the set of motions of $n$ unordered points in $\C^m$, so that at any time during the motion, each $m+1$ of the points span the whole of $\C^m$ as an affine space. There is a map from $B_n^m$ to the symmetric group on $n$ letters. We let $P_n^m$ denote the kernel of this map. In this paper we are mainly interested in understanding $P_n^2$. We give a presentation of a group $PL_n$ which maps surjectively onto $P_n^2$. We also show the surjection $PL_n o P_n^2$ induces an isomorphism on first and second integral homology and conjecture that it is an isomorphism. We then find an infinitesimal presentation of the group $P_n^2$. Finally, we also consider the analagous groups where points lie in $¶^m$ instead of $\C^m$. These groups generalize of the classical braid groups on the sphere.

研究の動機と目的

• $$\mathbb{C}$ から $$\mathbb{C}^m$$ への古典的ブレード群の一般化を、$n \geq m+1$ の族 $B_n^m$ を用いて行う。
• $B_n^2$ から $n$ 個の文字の対称群への写像の核として得られる純ブレード群 $P_n^2$ を研究する。
• $P_n^2$ に上から押さえられる群 $PL_n$ を構成し、そのホモロジー的性質を分析する。
• 代数的および幾何的技法を用いて、$P_n^2$ の無限小提示を導出する。
• $\mathbb{P}^m$ 上のブレード群への枠組みの拡張を、球面ブレード群の一般化として行う。

提案手法

• $B_n^m$ を、$$\mathbb{C}^m$$ 内の $n$ 個の無順序点の運動として定義する。ここで、任意の $m+1$ 個の点が $$\mathbb{C}^m$$ をアフィン的に張る。
• $PL_n$ から $P_n^2$ への全射を構成し、$B_n^2 \to S_n$ の自然な写像の核であることを証明し、一次および二次の整数ホモロジーにおいて同型を誘導することを示す。
• 代数的トポロジーおよび群提示技法を用いて、$P_n^2$ の無限小提示を導出する。
• 点配置に幾何的制約を課し、ブレード運動の全過程でアフィン的生成が保たれることを保証する。
• $\mathbb{P}^m$ に拡張する際には、類似の生成条件を満たす複素射影空間内の運動を考察することで、構成を拡張する。
• 対称群の商構造を用いて純ブレード部分群を特定し、その群論的性質を分析する。

実験結果

リサーチクエスチョン

• RQ1 点配置におけるアフィン的生成条件を用いて、古典的ブレード群を高次元複素空間へ一般化する方法は何か？
• RQ2 $\mathbb{C}^2$ 内の純ブレード群 $P_n^2$ の構造は何か？ そして、より大きなブレード群 $B_n^2$ とどのように関係しているか？
• RQ3 $P_n^2$ に上から押さえられる提示として構成された群 $PL_n$ は、整数ホモロジーの次数 1 および 2 で同型を誘導するか？
• RQ4 点の運動における代数的および幾何的制約を用いて、$P_n^2$ の無限小提示を導出できるか？
• RQ5 $\mathbb{C}^m$ の代わりに $\mathbb{P}^m$ 内の点に対して、これらの構成はどのように拡張されるか？

主な発見

• $PL_n$ は $P_n^2$ に上から押さえられ、この全射は一次および二次の整数ホモロジー群において同型を誘導する。
• ホモロジー的証拠に基づき、この全射 $PL_n \to P_n^2$ が実際に同型であると論文は予想している。
• $P_n^2$ の無限小提示が明示的に構成され、$$\mathbb{C}^2$$ 内の純ブレード群の新しい代数的記述が得られる。
• $\{B_n^m\}$ の族は古典的ブレード群を一般化し、$B_n^1$ は $n$ 本のストリングの古典的ブレード群に一致する。
• 構成は $$\mathbb{P}^m$$ に自然に拡張され、球面ブレード群の一般化が得られる。
• 任意の $m+1$ 個の点がアフィン的に $$\mathbb{C}^m$$ を張るという生成条件は、$B_n^m$ の定義において本質的であり、非退化な運動を保証する。