[논문 리뷰] Algebraic Theories and (Infinity,1)-Categories

James Cranch|arXiv (Cornell University)|2010. 11. 14.

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

한 줄 요약

이 논문은 쿼시카테고리(Quasicategory)를 사용하여 $(\infty,1)$-카테고리의 대수적 프레임워크를 개발하며, Lawvere의 대수적 이론을 일반화하여 호모토피-일관된 대수적 구조, 예를 들어 $E_\infty$ 모노이드와 세미링을 모델링한다. $E_\infty$ 링 공간을 모델링하기 위해 쿼시카테고리 내에서 분배 법칙의 이론을 도입하고, 연결 스펙트럼과 $K$-이론에 대한 새로운 접근법을 제공하며, 링 스펙트럼의 단위와 모노이드 쿼시카테고리의 $K$-이론에 관한 결과들을 재구성한다.

ABSTRACT

We adapt the classical framework of algebraic theories to work in the setting of (infinity,1)-categories developed by Joyal and Lurie. This gives a suitable approach for describing highly structured objects from homotopy theory. A central example, treated at length, is the theory of E_infinity spaces: this has a tidy combinatorial description in terms of span diagrams of finite sets. We introduce a theory of distributive laws, allowing us to describe objects with two distributing E_infinity stuctures. From this we produce a theory of E_infinity ring spaces. We also study grouplike objects, and produce theories modelling infinite loop spaces (or connective spectra), and infinite loop spaces with coherent multiplicative structure (or connective ring spectra). We use this to construct the units of a grouplike E_infinity ring space in a natural manner. Lastly we provide a speculative pleasant description of the K-theory of monoidal quasicategories and quasicategories with ring-like structures.

연구 동기 및 목표

• 쿼시카테고리를 활용하여 고전적 대수적 이론을 호모토피적 환경으로 일반화하여, 일관된 고차 호모토피를 갖는 대수적 구조를 모델링할 수 있도록 한다.
• 분배 법칙을 활용한 $\Delta$-스팬 구성에서의 쿼시카테고리적 프레임워크를 통해 $E_\infty$ 모노이드와 세미링을 모델링한다.
• 쿼시카테고리 이론의 군 완성에 기반하여 연결 스펙트럼과 연결 링 스펙트럼의 새로운 모델을 제시한다.
• 모노이드적 및 링 쿼시카테고리에 대한 $K$-이론 프레임워크를 구축하여 Elmendorf-Mandell의 접근법에 대체할 수 있는 방법을 제공한다.
• 새로운 쿼시카테고리 형식을 사용하여 링 스펙트럼의 단위와 $K$-이론에 관한 핵심 결과들을 재구성하고 재유도한다.

제안 방법

• 쿼시카테고리를 $(\infty,1)$-카테고리 모델로 사용하며, 단순형 집합을 통한 Joyal과 Lurie의 $(\infty,1)$-카테고리 이론을 기반으로 한다.
• $E_\infty$ 모노이드를 모델링하기 위해 $\Delta$-스팬 쿼시카테고리 $\Delta\mathrm{Span}$ 을 도입하고, $E_\infty$ 세미링을 모델링하기 위해 그 확장인 $\Delta\mathrm{RSpan}$ 을 사용하며, 분배 법칙을 적용한다.
• Lawvere의 대칭 모노이드 카테고리 이론을 적용하여 교환 법칙을 갖는 대수적 객체의 쿼시카테고리 모델을 구축한다.
• $B$-함수를 사용해 $\Omega$-군oid 완성을 수행한 후, 군 완성 $Q$ 를 적용하여 쿼시카테고리 이론의 모델에 대한 $K$-이론을 정의한다.
• 쿼시카테고리에서의 수반 함자 정리와 호모토피 극한/극대를 활용하여 구성의 표현 가능성과 함자성의 성립을 확립한다.
• 쿼시카테고리에서의 너스 구조와 매핑 실린더를 활용하여 고차 대수적 구조와 자연 변환을 모델링한다.

실험 결과

연구 질문

• RQ1 고전적 대수적 이론은 어떻게 $(\infty,1)$-카테고리에서 호모토피-일관된 대수적 구조를 모델링할 수 있는가?
• RQ2 쿼시카테고리에서 분배 법칙의 대응은 무엇이며, 이를 어떻게 $E_\infty$ 세미링을 모델링하는 데 활용할 수 있는가?
• RQ3 쿼시카테고리적 군 완성을 통해 $E_\infty$ 이론의 군 완성으로 연결 스펙트럼과 연결 링 스펙트럼의 새로운 모델을 구성할 수 있는가?
• RQ4 제안된 모노이드 쿼시카테고리에 대한 $K$-이론 구축은 Elmendorf-Mandell의 기존 프레임워크와 어떻게 비교될 수 있는가?
• RQ5 이 새로운 쿼시카테고리 형식을 통해 링 스펙트럼의 단위를 재구성할 수 있으며, Ando 등이 도출한 기존 결과를 회복할 수 있는가?

주요 결과

• 논문은 $\Delta$-스팬 구성에서의 분배 법칙을 활용하여 $E_\infty$ 세미링 공간을 모델링하는 쿼시카테고리 이론 $\Delta\mathrm{RSpan}$ 을 구축한다.
• 쿼시카테고리 이론의 군 완성을 통해 군적 성질을 가진 $E_\infty$ 모노이드(연결 스펙트럼)와 $E_\infty$ 링 공간(연결 링 스펙트럼)에 대한 새로운 모델을 제공한다.
• 모델 $A: T \to \mathrm{Cat}_\infty$ 의 $K$-이론은 $K(A) = Q(B(A))$ 로 정의되며, 여기서 $B$ 는 $\infty$-군oid 완성이고 $Q$ 는 군 완성으로, 공간 값을 갖는 $K$-이론 함자를 얻는다.
• 이 구축은 $\mathrm{RSpan}$ 의 모델로 벡터 공간의 $K$-이론을 회복하여 곱셈적 $K$-이론에 대한 새로운 프레임워크를 제공한다.
• 이 프레임워크는 원래 Ando, Blumberg, Gepner, Hopkins, Rezk에 의해 도출된 링 스펙트럼의 단위에 관한 정리를 쿼시카테고리 방법을 사용하여 재구성한다.
• 논문은 제안된 곱셈적 $K$-이론 구조가 Elmendorf와 Mandell의 것과 일치할 것이라 추측하지만, 완전한 일치는 증명되지 않았다.