[논문 리뷰] Milnor invariants of braids and welded braids up to homotopy

Jacques Darné|arXiv (Cornell University)|2019. 04. 24.

Geometric and Algebraic Topology참고 문헌 31인용 수 4

한 줄 요약

이 논문은 순수 와이어드 브레드 군의 호모토피에 대한 분해를 확립하여, 반복된 세미직접곱으로서 이를 식별함으로써 이 군에 대한 앤드리아카시스 문제를 해결한다. 이와 동시에, 축소 자유군 위의 앤드리아카시스 필터링의 관련 잉여 레이어 리 대수는 당김 도수의 대수와 일치하며, 생성자와 관계식을 통한 표현을 제공함으로써, 가상 끈 이론과 와이어드 끈 이론에서 밀너 불변량과 유형 1 불변량에 대한 함의를 가진다.

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.

연구 동기 및 목표

• 순수 와이어드 브레드 군의 구조를 이해하기 위해, 호모토피에 대해 알려진 hPΣn 그룹을 분석한다.
• hPΣn에 대한 하향 중심 시리즈를 통한 필터링을 분석하여, hPΣn에 대한 앤드리아카시스 문제를 해결한다.
• 그룹의 분해에서 유도된 생성자와 관계식을 사용하여 hPΣn의 표현을 수립한다.
• 축소 자유군의 맥락에서 존슨 사상과 당김 도수를 통한 밀너 불변량을 해석한다.
• 와이어드 브레드의 맥락에서 유형 1 불변량, 밀너 불변량, 군 필터링 간의 관계를 명확히 한다.

제안 방법

• 호모토피에 대한 아르틴 작용을 사용하여 hPΣn을 축소 자유군 RFn의 기저-공액동형사상과 동일시한다.
• 축소 자유군에 대한 맥클러스 확장의 한 형태를 적용하여, RFn의 리 링이 동일한 생성자들에 대한 축소 자유 대수와 동형임을 증명한다.
• 정규 닫힘과 몫군을 포함하는 반복된 세미직접곱의 형태로 hPΣn의 분해를 수립한다.
• 존슨 사상을 통한 앤드리아카시스 필터링의 관련 잉여 리 대수를 분석하여, 이가 축소 자유 대수의 당김 도수 대수와 일치함을 규명한다.
• 라이놀드 단어와 선형 트리를 사용하여 자유 리 대수의 기저를 구성하고, 리 단어 표현의 중복을 통제한다.
• 텐서 대수 TV에서의 코알제브와 원시 요소의 추론을 적용하여, 원시 요소가 라이놀드 단어와 일치함을 규명함으로써 기저 구성에 기여한다.

실험 결과

연구 질문

• RQ1 순수 와이어드 브레드 군 hPΣn의 호모토피에 대한 대수적 분해는 어떻게 이루어지는가?
• RQ2 hPΣn에 대한 앤드리아카시스 필터링의 관련 잉여 리 대수의 구조는 어떠한가?
• RQ3 hPΣn에 대해 앤드리아카시스 등식이 성립하는가? 그리고 이는 밀너 불변량에 어떤 함의를 갖는다?
• RQ4 hPΣn의 그룹 분해로부터 표현을 구성할 수 있는가?
• RQ5 밀너 불변량은 축소 자유군 맥락에서 유형 1 불변량과 당김 도수와 어떻게 관련되어 있는가?

주요 결과

• 군 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)개 존재한다.