[논문 리뷰] Algebras over infinity-operads

Gijs Heuts|arXiv (Cornell University)|2011. 10. 08.

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

한 줄 요약

이 논문은 덴트로이드럴 세트의 코카르티에 피브레이션을 이용해 ∞-오페라드 위의 대수의 내재적 정의를 제시하며, 루리에의 그로텐디크 구성법을 ∞-오페라드로 일반화한다. 이는 덴트로이드럴 세트 X 위의 코카르티에 피브레이션의 ∞-카테고리와 관련된 심플리셜 오페라드 hcτ_d(X) 위의 대수의 ∞-카테고리 사이의 동치를 확립하여, ∞-오페라디크 대수에 대해 호모토피적으로 일관된 프레임워크를 제공한다.

ABSTRACT

We develop a notion of an algebra over an infinity-operad with values in infinity-categories which is completely intrinsic to the formalism of dendroidal sets. Its definition involves the notion of a coCartesian fibration of dendroidal sets and extends Lurie's definition of a coCartesian fibration of simplicial sets. We show how, for a dendroidal set X, the coCartesian fibrations over X fit together to form an infinity-category coCart(X). Using a generalization of the Grothendieck construction, we prove that coCart(X) is equivalent to the infinity-category of algebras in infinity-categories over the simplicial operad associated to X. This equivalence can be restricted to give an equivalence between algebras taking values in infinity-groupoids (or equivalently, spaces) and the infinity-category of so-called left fibrations over X.

연구 동기 및 목표

• 덴트로이드럴 세트 형식론에 완전히 내재된 ∞-오페라드 위의 대수의 정의를 개발하는 것.
• 루리에의 코카르티에 피브레이션 이론을 심플리셜 세트에서 덴트로이드럴 세트로 일반화하여, 오페라디크 구조의 고차 카테고리적 다루기를 가능하게 하는 것.
• 덴트로이드럴 세트 X 위의 코카르티에 피브레이션의 ∞-카테고리와 관련된 심플리셜 오페라드 hcτ_d(X) 위의 대수의 ∞-카테고리 간의 ∞-카테고리적 동치를 확립하는 것.
• 그로텐디크 구성법을 ∞-오페라드로 확장하여, 피브레이션과 대수적 구조 간의 호모토피적으로 일관된 대응을 제공하는 것.

제안 방법

• 심플리셜 세트의 루리에의 코카르티에 피브레이션을 일반화하여 덴트로이드럴 세트의 코카르티에 피브레이션의 개념을 도입한다.
• 마킹된 덴트로이드럴 세트의 모델 구조를 사용하여, 덴트로이드럴 세트 X 위의 코카르티에 피브레이션의 ∞-카테고리 coCart(X)를 정의한다.
• 클래식한 그로텐디크 구성법을 일반화하여, coCart(X)에서 심플리셜 오페라드 hcτ_d(X) 위의 대수의 ∞-카테고리로 가는 스트레잇닝 함수를 구성한다.
• 마킹된 덴트로이드럴 세트의 모델 구조를 사용하여, 마킹된 애노다인 사상과 코카르티에 동치를 포함한 호모토피적 프레임워크를 체계화한다.
• 일반화된 그로텐디크 구성법을 적용하여, coCart(X)가 ∞-카테고리에서 hcτ_d(X)-대수의 ∞-카테고리와 동치임을 보인다.
• 이 동치를 X 위의 왼쪽 피브레이션으로 제한하여, ∞-군열(공간)에 값이 있는 대수와의 동치를 보인다.

실험 결과

연구 질문

• RQ1 어떻게 덴트로이드럴 세트 형식론에 완전히 내재된 방식으로 ∞-오페라드 위의 대수를 정의할 수 있는가?
• RQ2 덴트로이드럴 세트 X 위의 코카르티에 피브레이션을 분류하는 ∞-카테고리적 구조는 무엇인가?
• RQ3 덴트로이드럴 세트를 통해 그로텐디크 구성법을 ∞-카테고리에서 ∞-오페라드로 일반화할 수 있는가?
• RQ4 덴트로이드럴 세트 X 위의 코카르티에 피브레이션과 관련된 심플리셜 오페라드 hcτ_d(X) 위의 대수 사이에 호모토피 이론적 동치가 존재하는가?
• RQ5 X 위의 왼쪽 피브레이션은 ∞-군열에 값이 있는 대수와 어떻게 관련이 있는가?

주요 결과

• 마킹된 덴트로이드럴 세트의 코카르티에 모델 구조를 통해 정의된 덴트로이드럴 세트 X 위의 코카르티에 피브레이션의 ∞-카테고리 coCart(X)는 잘 정의되어 있으며, ∞-카테고리로 구성된다.
• ∞-오페라디크 그로텐디크 구성법은 ∞-카테고리의 동치를 유도한다: coCart(X) ≃ Alg_hcτ_d(X)(Cat_∞), 이는 피브레이션과 대수 간의 기본적인 대응을 확립한다.
• 이 구성은 X 위의 왼쪽 피브레이션으로 제한되었을 때, ∞-군열에서 값이 있는 대수와의 동치로 일반화되며, 이는 ∞-카테고리에 대한 고전적 스트레잇닝을 일반화한다.
• 마킹된 덴트로이드럴 세트의 모델 구조가 좌측으로 적절하고 체계적임이 입증되어, 피브레이션의 호모토피적 분석을 지원한다.
• 덴트로이드럴 세트의 스트레잇닝 함수는 구성되었으며, 이는 루리에의 ∞-카테고리에 대한 스트레잇닝의 일반화로서, 쌍대 함수 동치의 일부로 밝혀졌다.
• 이 동치는 X에 대해 자연스럽고, 다이어그램 세트의 카테고리에서 코로니모스와 호모토피 극한과 호환된다.