[논문 리뷰] Algebraic theories, span diagrams and commutative monoids in homotopy theory

James Cranch|arXiv (Cornell University)|2011. 09. 07.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 3

한 줄 요약

이 논문은 스파인 다이어그램을 사용하여 단순 가환 모노이드의 자연스러운 연산을 모델링함으로써, 준군집의 맥락에서 가환 모노이드에 대한 대수적 이론을 개발한다. 이로 인해 유도된 가환 모노이드의 개념이 루리에의 가환 대수 객체 개념과 고전적인 $E_\infty$-모노이드 모두와 동치임을 입증하며, 호모토피론적 가환 대수학을 위한 조합적으로 명확하고 기하학적으로 직관적인 프레임워크를 제공한다.

ABSTRACT

We adapt the notion of an algebraic theory to work in the setting of quasicategories developed recently by Joyal and Lurie. We develop the general theory at some length. We study one extended example in detail: the theory of commutative monoids (which turns out to be essentially just a 2-category). This gives a straightforward, combinatorially explicit, and instructive notion of a commutative monoid. We prove that this definition is equivalent (in appropriate senses) both to the classical concept of an E-infinity monoid and to Lurie's concept of a commutative algebra object.

연구 동기 및 목표

• 고전적인 대수적 이론의 개념을 준군집의 맥락으로 확장하여, 대수적 구조의 호모토피론적 일반화를 가능하게 한다.
• 스파인 다이어그램을 사용하여 호모토피 이론에서 가환 모노이드의 조합적으로 명확하고 기하학적으로 직관적인 정의를 제공한다.
• 이 새로운 정의가 기존의 개념들과 동치임을 입증한다: $E_\infty$-모노이드와 루리에의 가환 대수 객체.
• 자유 모델, 피브레이션, 극한을 포함한 준군집에서의 대수적 이론의 기초 이론을 개발한다.

제안 방법

• $(∞,1)$-범주 이론과 조일-루리에의 준군집 이론의 언어를 사용하여, 대수적 이론의 개념을 준군집에 적용한다.
• 유한 집합들 사이의 스파인 다이어그램을 모델링하는 $“\mathrm{Span}\u201d$ 준군집을 도입하여 복제 및 덧셈 연산을 포착한다.
• 로어버의 스타일의 이중성에 기반하여, 스파인 범주에서 유도된 특정 준군집적 이론에 대한 대수로써 가환 모노이드를 해석한다.
• 루리에의 *Higher Topos Theory* 에서 유도된 $q$-콜리미트, $q$-칸 확장, 그리고 좌/우 칸 확장 기준을 포함한 고차 범주론적 도구들을 적용한다.
• $\mathrm{Span}^\times$ 범주와 포함 사상 $\mathrm{FinSet}_* \to \mathrm{Span}$ 을 사용하여 모노이드 구조를 모델링하고, 대수 객체 조건을 검증한다.
• 두 단계의 칸 확장 추론을 통해 동치성을 증명한다: $q$-칸 확장의 존재성을 보이고, 부분범주 제약 조건을 통해 오른쪽 칸 확장 조건을 검증한다.

실험 결과

연구 질문

• RQ1 고전적인 대수적 이론의 개념을 준군집의 호모토피론적 맥락으로 어떻게 일반화할 수 있는가?
• RQ2 유한 집합 위의 스파인 다이어그램은 호모토피 이론에서 가환 모노이드의 자연스러운 연산을 완전하고 조합적으로 명확하게 기술할 수 있는가?
• RQ3 이 프레임워크에서 유도된 가환 모노이드의 개념은 준군집적 대칭 모노이드 범주에서 루리에의 가환 대수 객체 정의와 동치인가?
• RQ4 이 구성은 호모토피론적 맥락에서 고전적인 $E_\infty$-스페이스의 구조를 회복하는가?
• RQ5 $q$-콜리미트와 $q$-칸 확장은 이러한 대수적 구조의 보편 성질을 검증하는 데 어떤 역할을 하는가?

주요 결과

• 유한 집합들 사이의 스파인 다이어그램의 범주 $\mathrm{Span}$ 은 복제 및 덧셈 연산을 통해 가환 모노이드의 자연스러운 연산을 모델링하는 준군집을 이룬다.
• 이 프레임워크에서의 가환 모노이드 이론은 고전적인 $E_\infty$-모노이드의 구조와 동치이며, 둘 다 동일한 준군집적 대수적 이론에 의해 분류된다.
• 이 구성은 $q$-칸 확장 추론을 통해 스파인 준군집에서의 가환 모노이드가 루리에의 대칭 모노이드 준군집에서의 가환 대수 객체와 동치임을 입증한다.
• 스파인 이론에 대한 대수의 준군집에서 $\mathcal{C}^\otimes$-대수의 준군집으로의 제약 함자 는 순환 칸이므로, 올림의 존재성과 유일성을 보장한다.
• 핵심 기술적 결과는, 함자 $f: \mathcal{J} \to \mathcal{C}^\times$ 가 $\mathrm{FinSet}_*$ 에 대한 제약의 $q$-오른쪽 칸 확장임과 동치이기 위한 조건은, 점이 있는 유한 집합의 부분범주에서 $q$-콜리미트 조건을 만족해야 한다는 것이다.
• 증명은 $\mathcal{K}^{\prime\prime}_K$ (동형사상과 단사 사상이 포함된 스파인의 부분범주) 에 대한 제약의 $q$-콜리미트가 존재하고 보존됨을 보여, 따라서 $q$-칸 확장의 존재를 유도한다.