[논문 리뷰] Braids, trees, and operads

Jack Morava|ArXiv.org|2001. 09. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 8

한 줄 요약

이 논문은 실수 사영선 상의 점들의 컴팩티피케이션된 구성공간에서 유도된 새로운 종류의 오페라드를 제안하며, 이들이 기본군이 브레인드 군을 일반화하는 아스퍼리컬임을 보여준다. 스타셰프 아소시아헤드론에 의한 타일링과 양자 코hom로지 및 후카야의 라그랑주 코hom로지 간의 연결을 통해, 이러한 모듈리 공간 ${\overline{\mathcal{M}}}_{0,k}(\mathbb{R})$ 는 군oids 내의 오페라드를 지닌다. 이들의 호모토피 몫은 일반화된 브레인드 유사 구조를 유도하며, 고전적 오페라드 및 위상수학적 구성들을 실대수기하학으로 확장한다.

ABSTRACT

The space of unordered configurations of distinct points in the plane is aspherical, with Artin's braid group as its fundamental group. Remarkably enough, the space of ordered configurations of distinct points on the real projective line, modulo projective equivalence, has a natural compactification (as a space of equivalence classes of trees) which is also (by a theorem of Davis, Januszkiewicz, and Scott) aspherical. The classical braid groups are ubiquitous in modern mathematics, with applications from the theory of operads to the study of the Galois group of the rationals. The fundamental groups of these new configuration spaces are not braid groups, but they have many similar formal properties.

연구 동기 및 목표

• 실수 사영선 상의 $k$개의 서로 다른 점들의 사영 동치에 대한 구성공간 ${\overline{\mathcal{M}}}_{0,k}(\mathbb{R})$ 의 위상수학적 및 대수적 구조를 조사하는 것.
• 이 공간들이 아스퍼리컬임을 보이며, 복소수의 경우에 대한 순서 없는 구성공간의 고전적 아스퍼리컬리티를 일반화하는 것.
• ${\overline{\mathcal{M}}}_{0,k}(\mathbb{R})$ 의 기본군oids 에서 군oids 내 오페라드를 구성하여, 브레인드 오페라드를 실구성으로 확장하는 것.
• 그로모프-윈터 이론과 편평한 히포모르픽 다각형을 통한 Gromov-Witten 불변량을 통해 이 새로운 오페라드를 양자 코hom로지 및 후카야의 라그랑주 플로어 코hom로지와 연결하는 것.
• ${\overline{\mathcal{M}}}_{0,k}(\mathbb{R})$ 의 기본군들과 갈로아 군, 칼로제르모저 시스템, 그리고 그로텐디크-타이히뮐러 군 간의 연결고리를 탐색하는 것.

제안 방법

• ${\overline{\mathcal{M}}}_{0,k}(\mathbb{R})$ 가 조각적 음의 곡률을 가진 메트릭을 지닌다는 것을 다이비스-자누스키에프-스코트 정리를 통해 확립하여, 이는 $K(\pi,1)$ 공간임을 의미한다.
• $\Sigma_k \times_{D_k} K_{k-3} \to {\overline{\mathcal{M}}}_{0,k}(\mathbb{R})$ 의 전사 사상 구축을 통해, 이 공간이 스타셰프 아소시아헤드론에 의해 타일링됨을 보여준다.
• 구성공간 $\mathrm{Config}^n(\mathbb{R}P^1)$ 의 기본군oids 를 분석하며, 몫 $[\Sigma_n / \mathrm{Br}_n]$ 을 통해 브레인드 군과의 관련성을 규명한다.
• 실수와 복소 구성공간 사이의 교환도를 수립하여, 실수 모자자 오페라드가 $A_\infty$ 오페라드 및 리틀 디스크 오페라드와 연결됨을 보여준다.
• 포incare 쌍대성과 그로모프-윈터 이론을 적용하여, $H_*({\overline{\mathcal{M}}}_{0,k+1}(\mathbb{R})) \to \mathrm{End}_k(H_*(L,\Lambda))$ 의 사상 정의를 통해 플로어 코hom로지 위에 작용함을 보여준다.
• '버블트리' 컴팩티피케이션 개념을 도입하여, 초구형 다각형을 이용한 나무꼴 붕괴를 통해 점의 충돌을 모델링한다.

실험 결과

연구 질문

• RQ1 ${\overline{\mathcal{M}}}_{0,k}(\mathbb{R})$ 의 기본군들이 후카야의 라그랑주 플로어 코호몰로지 위에 자연스럽게 작용하는가?
• RQ2 $\mathbf{D}$ 라는 카테고리가 군oids 내 오페라드에 대한 보편 대수로 정의될 때, 마르클의 추적을 가진 순환 오페라드의 관점에서 이를 해석할 수 있는가?
• RQ3 ${\overline{\mathcal{M}}}_{0,k}(\mathbb{R})$ 의 기본군들이 실수선 상의 칼로제르모저 시스템 해에 대한 갈로아 군과 동형인가?
• RQ4 ${\overline{\mathcal{M}}}_{0,*}(\mathbb{R})$ 에 의해 정의된 군oids 내 오페라드의 자기동형사상들이 그로텐디크-타이히뮐러 군과 유사한 성질을 갖는가?
• RQ5 $H_1({\overline{\mathcal{M}}}_{0,k+1}(\mathbb{R}))$ 의 첫 번째 호모로지 군의 계수가 $\binom{n}{3}$ 과 같은가?

주요 결과

• ${\overline{\mathcal{M}}}_{0,k}(\mathbb{R})$ 는 아스퍼리컬이며, 기본군 $\pi_1({\overline{\mathcal{M}}}_{0,k}(\mathbb{R}))$ 는 브레인드 군을 일반화하는 군oids 를 이룬다.
• ${\overline{\mathcal{M}}}_{0,k}(\mathbb{R})$ 는 스타셰프 아소시아헤드론에 의해 타일링되며, 차원이 $n$ 인 면에서 $2^n$ 대 1 사상이 $\Sigma_k \times_{D_k} K_{k-3}$ 에서 모듈리 공간으로 존재한다.
• 실구성공간의 기본군oids 는 $[\Sigma_n / \mathrm{Br}_n]$ 과 동형이며, 이는 브레인드 범주를 보편 브레인드 모노이드 카테고리로 일반화한다.
• $\{{\overline{\mathcal{M}}}_{0,k}(\mathbb{R})\}$ 오페라드는 $H_*({\overline{\mathcal{M}}}_{0,k+1}(\mathbb{R})) \to \mathrm{End}_k(H_*(L,\Lambda))$ 의 사상에 의해 라그랑주 부분다양체의 호모로지 위에 작용하며, 양자 코호몰로지의 구조를 실수 경우로 확장한다.
• ${\overline{\mathcal{M}}}_{0,5}(\mathbb{R})$ 는 12개의 오각형 면을 지닌 디오데카헤드론 유사 다면체이며, 토러스 상의 세 개의 삼중 충돌점의 블로잉업을 통해 유도된다.
• ${\overline{\mathcal{M}}}_{0,4}(\mathbb{C})$ 는 교차비를 통해 $\mathbb{C}P^1$ 과 동형이며, ${\overline{\mathcal{M}}}_{0,3}(\mathbb{C})$ 는 한 점이므로, 세 점 구성의 강성(rigidity)을 반영한다.