[논문 리뷰] An infinite loop space machine for infinity-operads

Gijs Heuts|arXiv (Cornell University)|2011. 12. 03.

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

한 줄 요약

이 논문은 ∞-오르더드에 대한 무한 루프 공간 기계를 구축하기 위해, E∞에 대한 덴트로이드럴 세트의 공변 모델 구조와 E∞-공간의 프로젝티브 모델 구조 사이의 쿠일렌 동치를 정의함으로써, 덴트로이드럴 세트에서 E∞-공간으로의 함자를 정의한다. 주요 결과는 E∞-공간의 호모토피 이론이 ∞-오르더드의 호모토피 이론의 왼쪽 보우스필드 국소화임을 보여주며, 이는 고전적 칸-퀴렌 모델 구조가 덴트로이드럴 세트로 일반화된 것이다.

ABSTRACT

This paper describes a consequence of the more general results of a previous paper which is of independent interest. We construct a functor from the category of dendroidal sets, which models the theory of infinity-operads, into the category of E-infinity-spaces. Applying May's infinite loop space machine for E-infinity-spaces then gives an infinite loop space machine for infinity-operads. We show that our machine exhibits the homotopy theory of E-infinity-spaces as a localization of the homotopy theory of infinity-operads.

연구 동기 및 목표

• ∞-오르더드로부터의 체계적 무한 루프 공간 구축을 위한 방법을 확립하고, 고전적 무한 루프 공간 기계를 ∞-오르더드의 맥락으로 일반화한다.
• E∞에 대한 덴트로이드럴 세트의 공변 모델 구조를 정의하여, 심플리셜 세트의 칸-퀴렌 모델 구조를 일반화한다.
• 결과적으로 얻어진 E∞-공간의 호모토피 이론이 ∞-오르더드 호모토피 이론의 왼쪽 보우스필드 국로컬라이제이션임을 보여준다.
• E∞에 대한 덴트로이드럴 세트에서 E∞-공간으로의 스트레이트닝 함자가 쿠일렌 동치를 유도함으로써, 무한 루프 공간의 구조를 전달할 수 있음을 보여준다.

제안 방법

• 끝점이 아닌 덴트로이드럴 세트의 코프리멘트 해체 E∞를 정의하여, 가환 오르더드를 표현한다.
• dSets/E∞의 슬라이스 카테고리에 대해 공변 모델 구조를 정의하여, 심플리셜 세트의 칸-퀴렌 모델 구조를 덴트로이드럴 세트로 일반화한다.
• 스트레이트닝 함자는 루리에의 심플리셜 세트에 대한 스트레이트닝을 일반화한 것으로, E∞에 대한 덴트로이드럴 세트를 심플리셜 오르더드 hcτd(E∞)의 대수로 매핑한다.
• 스트레이트닝 함자가 dSets/E∞에 대한 공변 모델 구조와 E∞-공간의 프로젝티브 모델 구조 사이의 쿠일렌 동치를 유도함을 보였다.
• 공변 모델 구조가 dSets/E∞에 대한 시신스키-무에르디크 모델 구조의 왼쪽 보우스필드 국로컬라이제이션임을 증명하였다.
• 내부 홀 인클루전과 트리의 리프 삽입을 포함한 생성자 왼쪽 애노드룸 사상의 집합을 통해 국로컬라이제이션을 특성화하였다.

실험 결과

연구 질문

• RQ1 덴트로이드럴 세트의 프레임워크를 사용하여 ∞-오르더드에 대한 무한 루프 공간 기계를 어떻게 구성할 수 있는가?
• RQ2 E∞에 대한 덴트로이드럴 세트의 어떤 모델 구조가 E∞-공간의 호모토피 이론을 실현하는가?
• RQ3 E∞에 대한 덴트로이드럴 세트에서 E∞-공간으로의 스트레이트닝 함자는 쿠일렌 동치인가?
• RQ4 dSets/E∞에 대한 공변 모델 구조는 시신스키-무에르디크 모델 구조와 어떻게 관련이 있는가?
• RQ5 dSets/E∞에 대한 공변 모델 구조는 시신스키-무에르디크 모델 구조의 왼쪽 보우스필드 국로컬라이제이션로 기술될 수 있는가?

주요 결과

• dSets/E∞에 대한 공변 모델 구조는 시신스키-무에르디크 모델 구조의 왼쪽 보우스필드 국로컬라이제이션이며, 생성자 왼쪽 애노드룸 사상의 집합에 의해 결정된다.
• 스트레이트닝 함자는 dSets/E∞에 대한 공변 모델 구조와 E∞-공간의 프로젝티브 모델 구조 사이의 쿠일렌 동치를 유도한다.
• 공변 모델 구조의 프레임트 오브젝트는 정확히 덴트로이드럴 캐논 콤���스이며, 이는 칸 콤파크스를 덴트로이드럴 맥락으로 일반화한다.
• 공변 모델 구조는 고전적 칸-퀴렌 모델 구조를 일반화한다. 이는 dSets/η ≅ sSets의 동형이 모델 구조를 유지함으로써 뒷받침된다.
• 공변 모델 구조의 프레임트 오브젝트는 모든 유니어리 코랄라가 동치임을 만족하며, 이는 기본 심플리셜 세트가 칸 콤파크스임을 암시한다.
• E∞-공간의 호모토피 이론은 ∞-오르더드 호모토피 이론의 국로컬라이제이션으로 실현되며, 이는 E∞-공간이 ∞-오르더드의 ∞-카테고리의 완전한 부분카테고리임을 확인한다.