[논문 리뷰] Group Operads and Homotopy Theory

Wen-Bin Zhang|arXiv (Cornell University)|2011. 11. 30.

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

한 줄 요약

이 논문은 작도론의 맥락에서 군의 일반화인 군 작도론을 도입하여 고전적 호모토피 이론의 구성들을 통합하고 확장한다. 체계적으로, 위상적 작도론의 기본군은 군 작도론이 되며, 고차 호모토피 군은 이 군 작도론의 작용을 지닌다. 이를 통해 커버링 작도론 이론을 수립하고, $K(\pi,1)$ 작도론을 그 기본군 작도론으로 재구성할 수 있다. 주요 기여는 대칭군 및 브레인드군 작도론을 사용하여, 표준화 사상 $\Omega^2\Sigma^2X \hookrightarrow \Omega^\infty\Sigma^\infty X$ 의 호모토피 섬세함에 대한 자유군 모델을 제공하는 것이다.

ABSTRACT

We introduce the classical theory of the interplay between group theory and topology into the context of operads and explore some applications to homotopy theory. We first propose a notion of a group operad and then develop a theory of group operads, extending the classical theories of groups, spaces with actions of groups, covering spaces and classifying spaces of groups. In particular, the fundamental groups of a topological operad is naturally a group operad and its higher homotopy groups are naturally operads with actions of its fundamental groups operad, and a topological $K(π,1)$ operad is characterized by and can be reconstructed from its fundamental groups operad. Two most important examples of group operads are the symmetric groups operad and the braid groups operad which provide group models for $Ω^{\infty} Σ^{\infty} X$ (due to Barratt and Eccles) and $Ω^2 Σ^2 X$ (due to Fiedorowicz) respectively. We combine the two models together to produce a free group model for the canonical stabilization $Ω^2 Σ^2 X \hookrightarrow Ω^{\infty} Σ^{\infty} X$, in particular a free group model for its homotopy fibre.

연구 동기 및 목표

• 고전적 군-위상수학 이중성의 작도론으로의 일반화를 위한 군 작도론 이론을 개발한다.
• 커버링 공간 이론을 커버링 작도론으로 일반화하고, 군 작도론과 $K(\pi,1)$ 작도론을 연결한다.
• 군 작도론을 사용하여 $\Omega^\infty\Sigma^\infty X$ 와 $\Omega^2\Sigma^2X$ 와 같은 표준적 호모토피 이론적 대상에 대한 대수적 모델을 구축한다.
• 표준화 사상 $\Omega^2\Sigma^2X \to \Omega^\infty\Sigma^\infty X$ 의 호모토피 섬세함에 대한 자유군 모델을 제공한다.

제안 방법

• 각 $G_n$ 에 군의 구조가 있으며, 대칭군 작도론 $\mathscr{S}$ 로의 사상과 교차 호모모르피즘 조건을 만족하는 복합 사상 조건을 갖는 작도론 $\mathscr{G} = \{G_n\}_{n \geq 0}$ 를 군 작도론으로 정의한다.
• 위상적 작도론의 기본군은 자연스럽게 군 작도론이 되며, 고차 호모토피 군은 이 기본군 작도론의 작용을 지닌다.
• 군 작도론 $\mathscr{G}$ 의 분류 작도론을, 그 기본군 작도론이 $\mathscr{G}$ 가 되는 위상적 $K(\pi,1)$ 작도론으로 구성한다.
• 표준화 사상에 대한 $\Omega^\infty\Sigma^\infty X$ 의 Barratt-Eccles 모델($\mathscr{S}X$) 과 $\Omega^2\Sigma^2X$ 의 Fiedorowicz 모델($\mathscr{B}X$) 을 사용하여 사상 $U\pi: U\mathscr{B}X \to U\mathscr{S}X$ 를 구성한다.
• $\mathscr{S}X$ 의 작도론 필터링의 역상으로 $\mathscr{B}X$ 에 필터링을 수립함으로써, $\Omega^2\Sigma^2X$ 에 대한 새로운 필터링을 도출한다.
• 반사 및 거듭제곱 사상과 같은 브레인드군 간의 군 준동형사상으로 $\Omega^2\Sigma^2X$ 의 자기사상들을 표현한다.

실험 결과

연구 질문

• RQ1 군 이론과 위상수학 간의 상호작용은 공간에서 작도론으로 일반화될 수 있는가? 이를 위한 통합된 군 작도론 개념이 존재하는가?
• RQ2 위상적 작도론의 호모토피 군은 어떻게 작도론의 구조를 상속하는가? 기본군은 어떤 역할을 하는가?
• RQ3 커버링 공간 이론은 작도론으로 확장될 수 있으며, $K(\pi,1)$ 작도론은 그 기본군 작도론으로 재구성될 수 있는가?
• RQ4 표준화 사상 $\Omega^2\Sigma^2X \to \Omega^\infty\Sigma^\infty X$ 는 군 작도론을 사용하여 대수적으로 모델링될 수 있는가? 그 호모토피 섬세함의 구조는 어떠한가?
• RQ5 $\Omega^2\Sigma^2X$ 의 자기사상은 어떻게 브레인드군 작도론 내의 군 준동형사상으로 표현될 수 있는가?

주요 결과

• 위상적 작도론의 기본군은 자연스럽게 군 작도론이 되며, 고차 호모토피 군은 이 기본군 작도론의 작용을 지닌다.
• 위상적 $K(\pi,1)$ 작도론은 특징지어지고, 그 기본군 작도론으로 재구성될 수 있으며, 고전적 $K(\pi,1)$ 공간 이론을 일반화한다.
• 대칭군 작도론 $\mathscr{S}$ 와 브레인드군 작도론 $\mathscr{B}$ 는 각각 $\Omega^\infty\Sigma^\infty X$ 와 $\Omega^2\Sigma^2X$ 의 대수적 모델을 제공한다.
• 표준화 사상 $\Omega^2\Sigma^2X \hookrightarrow \Omega^\infty\Sigma^\infty X$ 의 호모토피 섬세함에 대한 자유군 모델이 사상 $U\pi: U\mathscr{B}X \to U\mathscr{S}X$ 를 통해 구성되며, 이 섬세함은 자유군이다.
• $\Omega^2\Sigma^2X$ 의 자기사상, 예를 들어 차수 $k$ 및 거듭제곱 $k$ 사상은 반사 및 스케일링 사상 등을 포함한 특정한 브레인드군 간 군 준동형사상으로 표현된다.
• $\mathscr{S}X$ 의 작도론 필터링과 그 역상인 $\mathscr{B}X$ 는 $\Omega^2\Sigma^2X$ 에 대한 새로운 표준 필터링을 제공하며, 이는 공간의 구조적 통찰을 제공한다.