[논문 리뷰] Combinatorial $N_\infty$ operads

Jonathan E. Rubin|arXiv (Cornell University)|2017. 05. 10.

Homotopy and Cohomology in Algebraic Topology참고 문헌 23인용 수 14

한 줄 요약

이 논문은 $N_∞$ 작도의 호모토피 이론이 이산 작도의 이론과 동치임을 증명함으로써 $N_∞$ 작도의 조합론적 분류를 확립한다. 또한 모든 색인 체계에 대해 자유 및 결합 법칙적 실현을 구축함으로써 블룸버그와 힐의 추측을 해결한다. 핵심 결과는 그래프 부분군으로 구성된 이산적이고 코프리피언트 작도를 통해 색인 체계와 $N_∞$ 작도 사이의 완전하고 명시적인 대응 관계를 확립하는 것이다.

ABSTRACT

We prove that the homotopy theory of $N_\infty$ operads is equivalent to a homotopy theory of discrete operads, and we construct free and associative operadic realizations of every indexing system. This resolves a conjecture of Blumberg and Hill in the affirmative.

연구 동기 및 목표

• 모든 $N_\infty$ 작도의 호모토피 이론이 이산 작도의 이론과 동치임을 증명하는 것.
• 모든 색인 체계에 대해 명시적인 자유 및 결합 법칙적 작도적 실현을 구축하는 것.
• $N_\infty$ 작도의 조합론적 모델을 제공하여 모든 등변 호모토피 일관된 교환 구조를 포괄하는 것.
• 색인 체계와 $N_\infty$ 작도 사이의 호모토피 범주에서의 전사적이고 충실한 대응 관계를 확립하는 것.

제안 방법

• 그래프 부분군 집합 $\mathcal{T}$ 위에서 자유 $G$-작도 $\mathbf{F}_{\mathcal{T}}$ 를 구성함으로써, 이는 이산적이고 코프리피언트임을 보장한다.
• 곱의 기법을 사용하여 $N_\infty$ 작도의 호모토피 범주가 이산 $G$-작도의 호모토피 범주와 동치임을 보인다.
• 각 $N_\infty$ 작도에 대해 그에 대응하는 색인 체계를 부여하는 할당 $A: \textnormal{Ho}(N_\infty\textnormal{-}\mathbf{Op}^G) \to \mathbf{Ind}(G)$ 를 정의한다.
• 할당 $A$ 가 전사적이고 충실하며, 따라서 범주 동치임을 증명한다.
• 작은 물체 방법과 순서수 초과 합성을 사용하여 최종 작도 $\mathbf{Com}$ 의 $\mathcal{I}$-코프리피언트 대체를 $N_\infty$ 작도로 실현한다.
• 모나드 바 구조와 단순형 모델을 비교하여 기존의 $N_\infty$ 작도와의 동치성을 보여준다.

실험 결과

연구 질문

• RQ1 모든 $N_\infty$ 작도의 호모토피 이론은 이산 작도의 이론과 동치인가?
• RQ2 모든 색인 체계는 자유 또는 결합 법칙적 구조를 통해 $N_\infty$ 작도의 색인 체계로 실현될 수 있는가?
• RQ3 구티에르스-화이트와 본베트레-페레이라의 구조는 여기서 제시된 자유 $N_\infty$ 작도와 어떻게 관련이 있는가?
• RQ4 호모토피 범주에서 $N_\infty$ 작도에서 색인 체계로의 할당은 충실하고 본질적으로 전사적인가?
• RQ5 곱의 기법을 사용하여 $N_\infty$ 작도의 호모토피 범주에서 전성(fully faithfulness)을 증명할 수 있는가?

주요 결과

• 모든 $N_\infty$ 작도의 호모토피 이론은 이산 $G$-작도의 이론과 동치임을 증명함으로써, 그 분류에 대한 조합론적 기초를 확립한다.
• 모든 색인 체계 $\mathcal{I}$ 는 최종 작도 $\mathbf{Com}$ 의 $\mathcal{I}$-코프리피언트 대체인 자유 $N_\infty$ 작도 $\mathbf{F}_{\mathbf{O}(\mathcal{I})}$ 를 갖는다.
• 호모토피 범주에서 $N_\infty$ 작도에서 색인 체계로의 할당 $A$ 는 범주 동치이다.
• 자유 $N_\infty$ 작도 $\mathbf{F}_{\mathbf{N}(\mathcal{I})}$ 와 $\mathbf{F}_{\mathbf{O}(\mathcal{I})}$ 는 $\mathcal{I}$-코프리피언트이며, $\mathcal{I}$-이성적 필라션을 통해 $\mathbf{Com}$ 으로 가는 사상이 존재한다.
• 구티에르스와 화이트, 본베트레와 페레이라의 구조는 코프리피언트 대체 및 바 구조 기법을 통해 자유 $N_\infty$ 작도와 동치임을 보였다.
• 분류 증명은 $N_\infty$ 작도와 이산 $N$ 작도 사이의 동치성에만 의존하며, 모든 위상적 입력은 이 핵심 동치성으로 압축된다.