[논문 리뷰] The tangent bundle of a model category

Yonatan Harpaz, Joost Nuiten외 1명|arXiv (Cornell University)|2018. 02. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 21인용 수 4

한 줄 요약

이 논문은 모델 범주 M에 대해 ∞-범주 M∞의 ∞-카테고리적 탄성 범주를 제시하는 모델 범주적 탄성 범주 TM → M를 구성한다. TM은 M 위의 상대 모델 범주로, 각각의 섬유가 M/A 위의 스펙트럼을 모델링하며, M이 적절한 범주 S에 대해 텐서로 되어 있을 경우 TM은 부가적인 풍부한 구조를 물려받는다. 이는 오페라드에 대한 대수와 풍부한 카테고리에의 응용을 가능하게 한다.

ABSTRACT

This paper studies the homotopy theory of parameterized spectrum objects in a model category from a global point of view. More precisely, for a model category $\mathcal{M}$ satisfying suitable conditions, we construct a relative model category $\mathcal{TM} o \mathcal{M}$, called the tangent bundle, whose fibers are models for spectra in the various over-categories of $\mathcal{M}$, and which presents the $\infty$-categorical tangent bundle. Moreover, the tangent bundle $\mathcal{TM}$ inherits an enriched model structure when such a structure exists on $\mathcal{M}$. This additional structure is used in subsequent work to identify the tangent bundles of algebras over an operad and of enriched categories.

연구 동기 및 목표

• 모델 범주 M에서 매개변수화된 스펙트럼의 호모토피 이론을 위한 전역적 모델-카테고리적 프레임워크를 개발하기 위해.
• 각각의 섬유가 M/A 위의 스펙트럼을 모델링하는 상대 모델 범주 TM → M를 구성하여, M∞의 ∞-카테고리적 탄성 범주를 제시하기 위해.
• M이 적절한 모델 범주 S에 대해 텐서로 되어 있을 경우 TM이 부가적인 풍부한 모델 구조를 물려받는 것을 보여주어, 오페라드에 대한 대수와 풍부한 카테고리에의 응용을 가능하게 하기 위해.
• 모델-카테고리적 탄성 범주 TM과 ∞-카테고리적 탄성 범주 ∫A∈M∞ Sp((M∞)/A) 사이의 비교를 수립하여, 이들이 동치임을 증명하기 위해.
• 단순형 또는 쿠올렌 수반 구조가 필요하지 않은 상황에서도 모델 범주에서의 스펙트럼과 M∞의 ∞-카테고리적 안정화 사이의 쿠올렌 동치를 제공하기 위해.

제안 방법

• 비대각선 항목이 약한 제로 대상이 되고, 대각선 정사각형이 호모토피 카르테시안인 (N × N)-다이어그램을 통해 M 내의 스펙트럼 대상을 정의한다.
• 이러한 스펙트럼 대상의 모델 범주 Sp(M)를 구성하고, ∞-카테고리적 동치를 통해 M∞의 안정화를 나타냄을 보인다.
• M × M 위의 전역 다이어그램 범주 구성법을 사용하여, M 위의 상대 모델 범주인 TM을 정의한다.
• TM이 객체 A ∈ M 위에서의 섬유가 Sp(MA//A)와 동치임을 증명하여, A에서의 ∞-카테고리적 탄성 ∞-범주를 모델링함을 보인다.
• 상대 범주 이론과 쿠올렌 수반 구조를 사용하여, 사영 π: TM → M가 TM이 ∞-카테고리적 탄성 범주를 위한 모델임을 나타냄을 보인다.
• M이 대칭 모노이드 모델 범주 S에 대해 텐서로 되어 있을 경우, TM이 S-풍부한 모델 구조를 물려받는다는 것을 확립하여, 풍부한 호모토피 이론을 가능하게 한다.

실험 결과

연구 질문

• RQ1 단순형 또는 쿠올렌 수반 구조가 없는 상황에서 ∞-범주 M∞의 ∞-카테고리적 탄성 범주의 모델-카테고리적 표현을 어떻게 구성할 수 있는가?
• RQ2 M 내의 스펙트럼 대상의 모델 범주가 M∞의 안정화를 어떻게 보장하는가?
• RQ3 M이 대칭 모노이드 모델 범주에 대해 텐서로 되어 있을 경우, 모델 범주 M의 탄성 범주에 풍부한 모델 구조를 부여할 수 있는가?
• RQ4 모델-카테고리적 탄성 범주 TM은 ∞-카테고리적 탄성 범주 ∫A∈M∞ Sp((M∞)/A)와 어떻게 관련이 있는가?
• RQ5 모델-카테고리적 설정에서 안정화의 다양한 모델을 비교할 때, Ω-스펙트럼과 축소된 에크스큐시브 함숫름의 역할은 무엇인가?

주요 결과

• 상대 모델 범주 TM → M는 각 객체 A ∈ M에 대해 M/A 위의 스펙트럼의 모델 범주와 동치인 섬유를 가지며, 이는 A에서의 ∞-카테고리적 탄성 ∞-범주를 제시한다.
• 이러한 구성은 스펙트럼과 루프 함수의 쿠올렌 수반 구조의 존재에 의존하지 않아, 풍부한 카테고리와 오페라드와 같은 비단순형 맥락에도 적용 가능하다.
• M이 왼쪽으로 적절하고, 계산 가능한 모델 범주일 경우, 유도된 ∞-함수 π∞: (TM)∞ → M∞는 (TM)∞가 M∞의 탄성 범주임을 나타내며, 루리에의 ∞-카테고리적 프레임워크와의 호환성을 확인한다.
• M∞의 안정화는 MN×N 내의 Ω-스펙트럼의 전체 부분범주 Sp′(M)에 의해 모델링되며, 이는 Sp(M)와 쿠올렌 동치이므로, 일반적인 안정화 구성법을 제공한다.
• M이 대칭 모노이드 모델 범주 S에 대해 텐서로 되어 있을 경우, TM은 S-풍부한 모델 구조를 물려받으며, 이는 오페라드에 대한 대수와 풍부한 카테고리의 탄성 범주를 분석하는 데 필수적이다.
• 모델-카테고리적 탄성 범주와 ∞-카테고리적 탄성 범주 사이의 비교는 ∞-범주들 (TM)∞와 ∫A∈M∞ Sp((M∞)/A) 사이의 쿠올렌 동치를 통해 확립되며, 이는 구성의 정확성을 확인한다.