[논문 리뷰] Parametrized higher category theory and higher algebra: Expos\'e II - Indexed homotopy limits and colimits

Jay Shah|arXiv (Cornell University)|2018. 09. 16.

Homotopy and Cohomology in Algebraic Topology참고 문헌 9인용 수 12

한 줄 요약

이 논문은 기저 ∞-범주 위에 매개화된 ∞-범주에서 색인화된 호모토피 극한과 쌍극을 위한 기초 이론을 수립하며, 주요 적용 사례로는 유한군 $G$의 $G$-등변 호모토피 이론을 포함한다. 이는 $G$-등변 ∞-범주가 수축 가능한 $G$-공간에 의한 $G$-쌍극에 의하여 자유롭게 생성됨을 증명하여 마이크 힐의 추측을 확인한다.

ABSTRACT

We develop foundations for the category theory of $\infty$-categories parametrized by a base $\infty$-category. Our main contribution is a theory of indexed homotopy limits and colimits, which specializes to a theory of $G$-colimits for $G$ a finite group when the base is chosen to be the orbit category of $G$. We apply this theory to show that the $G$-$\infty$-category of $G$-spaces is freely generated under $G$-colimits by the contractible $G$-space, thereby affirming a conjecture of Mike Hill.

연구 동기 및 목표

• 기저 ∞-범주 위에 매개화된 ∞-범주에서 색인화된 호모토피 극한과 쌍극에 대한 일반 이론을 개발하는 것.
• 기저를 유한군 $G$의 궤도 범주로 취하여 이 이론을 $G$-등변 호모토피 이론의 경우에 특수화하는 것.
• 기저가 $G$-공간의 $G$-∞-범주가 수축 가능한 $G$-공간에 의한 $G$-쌍극에 의하여 자유롭게 생성됨을 증명하는 것.
• 매개화된 고차 범주 이론을 사용하여 $G$-등변 ∞-범주의 호모토피적 기초를 제공하는 것.

제안 방법

• 기저 ∞-범주 위의 ∞-범주에서 색인화된 극한과 쌍극의 이론을 코카르티esian 필라션의 언어를 사용하여 체계화하는 것.
• 기저 위의 코카르티esian 필라션으로서 매개화된 ∞-범주를 모델링하기 위해 그로텐디크 구성법을 활용하는 것.
• 기저를 유한군 $G$의 궤도 범주로 취하여, $G$-쌍극을 색인화된 쌍극의 특수한 경우로 정의하는 것.
• 자유 생성의 보편 성질을 사용하여, $G$-공간의 $G$-∞-범주가 수축 가능한 $G$-공간을 통해 $G$-쌍극으로 유도됨을 보이는 것.
• 매개화된 ∞-범주에서의 왼쪽 수반 사상과 보편 성질 이론을 활용하여 자유성 조건을 검증하는 것.

실험 결과

연구 질문

• RQ1 기저 ∞-범주 위에 매개화된 ∞-범주에서 호모토피 극한과 쌍극을 체계적으로 정의할 수 있는 방법은 무엇인가?
• RQ2 기저가 유한군 $G$의 궤도 범주일 경우, 색인화된 쌍극과 $G$-쌍극 사이의 정확한 관계는 무엇인가?
• RQ3 기저가 $G$-공간의 $G$-∞-범주가 수축 가능한 $G$-공간에 의한 $G$-쌍극에 의하여 자유롭게 생성되는가?
• RQ4 매개화된 ∞-범주의 이론을 사용하여 등변 호모토피 이론의 기초적 결과를 증명할 수 있는가?

주요 결과

• 색인화된 호모토피 극한과 쌍극의 이론은 매개화된 ∞-범주를 통합하는 프레임워크를 제공하며, 고전적 범주론을 호모토피적 환경으로 일반화한다.
• 기저가 유한군 $G$의 궤도 범주일 경우, 색인화된 쌍극은 등변 호모토피 이론에서 표준적인 $G$-쌍극 개념을 복원한다.
• 기저가 $G$-공간의 $G$-∞-범주가 수축 가능한 $G$-공간에 의한 $G$-쌍극에 의하여 자유롭게 생성됨을 확인하여 마이크 힐의 추측을 지지한다.
• 이 결과는 쌍극 생성에 의한 $G$-공간의 보편 성질을 수립하여, 등변 ∞-범주의 구조적 통찰을 새롭게 제공한다.