[논문 리뷰] Vector Braids

Vincent Moulton|arXiv (Cornell University)|1994. 07. 15.

Geometric and Algebraic Topology인용 수 5

한 줄 요약

이 논문은 $n$개의 순서 없는 점이 $$\mathbb{C}^m$$에서 움직이는 것을 다루는 벡터 브레이드 군 $B_n^m$을 도입한다. 여기서는 임의의 $m+1$개의 점이 애매하게 공간을 생성하도록 한다. 주로 $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$를 구성하고, 이 사상이 첫 번째 및 두 번째 정수 호모로지에서 동형을 유도함을 증명한다.
• 대수적 위상수학 및 군 표현 기법을 사용하여 $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$으로 자연스럽게 확장되어, 구면 브레이드 군의 일반화를 얻는다.
• $\mathbb{C}^m$을 애매하게 생성하는 조건—임의의 $m+1$개의 점이 애매하게 $\mathbb{C}^m$을 생성함—은 군 $B_n^m$을 정의하는 데 필수적이며, 비퇴화된 운동을 보장한다.