[논문 리뷰] Grothendieck-Teichmueller group, operads and graph complexes: a survey

Sergei Merkulov|arXiv (Cornell University)|2019. 04. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 50인용 수 5

한 줄 요약

이 논문은 특성 0의 체 위에서 그로텐디크-타이히뮐러 군, 브레인드 군, 그리고 그들의 프루니피otent 완비화를 대수적 및 위상적 방법을 사용하여 조사한다. 이는 순수 브레인드 군의 프루니피otent 완비화 $ \widehat{\mathbb{P}\mathbb{B}}_3(\mathbb{K})$ 가 $ \widehat{F}_2(\mathbb{K}) \times \mathbb{K}$ 와 동형임을 규명하며, $ \widehat{\mathbb{B}}_3(\mathbb{K}) \simeq \mathbb{K}$ 이라는 결과를 도출함으로써 특성 0에서의 브레인드 군 표현과 그 변형의 깊이 있는 대수적 구조를 드러낸다.

ABSTRACT

This paper attempts to provide a more or less self-contained introduction into theory of the Grothendieck-Teichmueller group and Drinfeld associators using the theory of operads and graph complexes.

연구 동기 및 목표

• 특성 0의 체 위에서 순수 브레인드 군과 그들의 프루니피otent 완비화의 대수적 및 위상적 구조를 명확히 하는 것.
• 순수 브레인드 군 $\mathbb{P}\mathbb{B}_3$의 프루니피otent 완비화와 자유 리 대수 완비화 및 일차원 벡터 공간의 곱 사이의 동형을 확립하는 것.
• 중심 원소 $(b_1b_2)^3$ 이 $\widehat{\mathbb{P}\mathbb{B}}_3(\mathbb{K})$ 의 아벨 성분을 생성함을 보여주는 것.
• 브레인드 군 완비화 $\widehat{\mathbb{B}}_3(\mathbb{K})$ 가 $\mathbb{K}$ 와 동형임을 보여주며, 이 경우 브레인드 군 완비화의 단순화를 부각하는 것.
• 브레인드 군 표현과 그래프 복합체를 통한 그로텐디크-타이히뮐러 군을 이해하기 위한 기하학적 및 대수적 기초를 제공하는 것.

제안 방법

• 브레인드 군을 아르틴 생성자 $b_i$ 와 그들의 브레인드 관계를 통해 정의함으로써 $\mathbb{B}_n$ 과 $\mathbb{P}\mathbb{B}_n$ 을 정의한다.
• 브레인드 군 $\mathbb{B}_n$ 과 $\mathbb{P}\mathbb{B}_n$ 에 프루니피otent 완비화 함자를 적용하여 $\widehat{\mathbb{B}}_2(\mathbb{K}) \simeq \widehat{F}_1(\mathbb{K}) \simeq \mathbb{K}$ 임을 보여준다.
• 구성 공간 $C_n(\mathbb{C})$ 의 호모토피 정확수열을 활용하여 순수 브레인드 군의 반직접곱 구조 $\mathbb{P}\mathbb{B}_{n+1} \simeq F_n \rtimes \mathbb{P}\mathbb{B}_n$ 을 유도한다.
• 크로스세션을 통한 분할 피브레이션 $C_{n+1}(\mathbb{C}) \to C_n(\mathbb{C})$ 을 이용하여 반복적인 반직접곱 분해를 확립한다.
• 브레인드 관계 $b_1b_2b_1 = b_2b_1b_2$ 와 $(b_1b_2)^3$ 의 중심성 을 활용하여 $\mathbb{P}\mathbb{B}_3$ 의 구조를 도출한다.
• 프루니피otent 완비화 $\widehat{\mathbb{P}\mathbb{B}}_3(\mathbb{K})$ 가 $\lambda \in \mathbb{K}$ 에 대해 $[b_1^2]^\lambda$, $[b_2^2]^\lambda$, 및 $[(b_1b_2)^3]^\lambda$ 로 생성되며, 첫 두 원소 사이에 관계가 없음을 이용한다.

실험 결과

연구 질문

• RQ1 특성 0의 체 $\mathbb{K}$ 에 대해 프루니피otent 완비화 $\widehat{\mathbb{P}\mathbb{B}}_3(\mathbb{K})$ 의 구조는 무엇인가?
• RQ2 중심 원소 $(b_1b_2)^3$ 이 $\mathbb{P}\mathbb{B}_3$ 와 그 완비화의 군 구조에 미치는 영향은 무엇인가?
• RQ3 $\widehat{\mathbb{B}}_3(\mathbb{K})$ 가 $\mathbb{K}$ 와 동형임에도 불구하고 $\widehat{\mathbb{P}\mathbb{B}}_3(\mathbb{K})$ 가 $\widehat{F}_2(\mathbb{K}) \times \mathbb{K}$ 와 동형임은 이유가 무엇인가?
• RQ4 분할 피브레이션 $C_{n+1}(\mathbb{C}) \to C_n(\mathbb{C})$ 는 어떻게 순수 브레인드 군 $\mathbb{P}\mathbb{B}_{n+1}$ 의 반직접곱 분해를 이끌어내는가?
• RQ5 브레인드 관계 $b_1b_2b_1 = b_2b_1b_2$ 는 $\mathbb{B}_3$ 과 그 완비화의 대수적 구조를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 프루니피otent 완비화 $\widehat{\mathbb{B}}_2(\mathbb{K})$ 는 $\mathbb{B}_2$ 가 생성자 $b_1$ 한 개로 이루어진 자유군이므로 $\mathbb{K}$ 와 동형이다.
• 순수 브레인드 군 $\mathbb{P}\mathbb{B}_2$ 는 $b_1^2$ 로 생성되는 자유군과 동형이며, 그 프루니피otent 완비화 $\widehat{\mathbb{P}\mathbb{B}}_2(\mathbb{K})$ 역시 $\mathbb{K}$ 와 동형이다.
• 프루니피otent 완비화 $\widehat{\mathbb{P}\mathbb{B}}_3(\mathbb{K})$ 는 자유군 두 개의 생성자에 대한 완비화 $\widehat{F}_2(\mathbb{K})$ 와 $\mathbb{K}$ 의 곱과 동형이다.
• 원소 $(b_1b_2)^3$ 은 $\mathbb{B}_3$ 과 $\mathbb{P}\mathbb{B}_3$ 양쪽 모두에서 중심적이며, $\widehat{\mathbb{P}\mathbb{B}}_3(\mathbb{K})$ 의 $\mathbb{K}$-성분을 생성한다.
• 브레인드 군 $\mathbb{B}_3$ 의 프루니피otent 완비화 $\widehat{\mathbb{B}}_3(\mathbb{K})$ 는 $(b_1b_2)^3$ 의 중심성과 추가 관계의 부재로 인해 $\mathbb{K}$ 와 동형이다.
• 분할 피브레이션 $C_{n+1}(\mathbb{C}) \to C_n(\mathbb{C})$ 는 $1 \to F_n \to \mathbb{P}\mathbb{B}_{n+1} \to \mathbb{P}\mathbb{B}_n \to 1$ 의 분할 정확수열을 유도하며, 이는 반복적인 반직접곱 구조 $\mathbb{P}\mathbb{B}_{n+1} \simeq F_n \rtimes \cdots \rtimes F_1$ 을 이끈다.