[논문 리뷰] Fibrations of $\infty$-categories

David Ayala, John Francis|arXiv (Cornell University)|2017. 02. 09.

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

한 줄 요약

이 논문은 ∞-범주와 이들 사이의 이중모듈러스를 포함하는 ∞-범주 $‘{\/sf Corr}’$를 도입하여, 지수화 가능한 필라션을 분류함을 보이며, Lurie의 공변 및 코공변 필라션 분류를 일반화한다. 또한 $‘{\/sf LCorr}’$와 $‘{\/sf RCorr}’$를 각각 왼쪽 및 오른쪽 필라션을 분류하는 부분범주로 식별하고, 이들이 유니버설 필라션을 지닌다는 것을 증명한다.

ABSTRACT

We construct a flagged $\infty$-category ${\sf Corr}$ of $\infty$-categories and bimodules among them. We prove that ${\sf Corr}$ classifies exponentiable fibrations. This representability of exponentiable fibrations extends that established by Lurie of both coCartesian fibrations and Cartesian fibrations, as they are classified by the $\infty$-category of $\infty$-categories and its opposite, respectively. We introduce the flagged $\infty$-subcategories ${\sf LCorr}$ and ${\sf RCorr}$ of ${\sf Corr}$, whose morphisms are those bimodules which are \emph{left final} and \emph{right initial}, respectively. We identify the notions of fibrations these flagged $\infty$-subcategories classify, and show that these $\infty$-categories carry universal left/right fibrations.

연구 동기 및 목표

• 지수화 가능한 ∞-범주의 필라션을 분류하는 플래그된 ∞-범주 ${\sf Corr}$를 구성하는 것.
• Lurie의 공변 및 코공변 필라션에 대한 unstraightening 구성법을 더 넓은 지수화 가능한 필라션의 범주로 확장하는 것.
• ${\sf Corr}$ 내부의 부분범주 ${\sf LCorr}$ 및 ${\sf RCorr}$를 식별하여 각각 왼쪽 및 오른쪽 필라션을 분류하는 것.
• ${\sf LCorr}$ 및 ${\sf RCorr}$가 각각 유니버설 왼쪽 및 오른쪽 필라션을 지닌다는 것을 증명하는 것.
• bimodules와 ∞-범주적 맥락에서의 최종성 조건을 사용하여 필라션에 대한 호모토피 불변 프레임워크를 구축하는 것.

제안 방법

• ${\sf Corr}$를 ∞-범주와 그 사이의 이중모듈러스의 모리타 ∞-범주로 구성하는 것.
• 기저 변경이 왼쪽 수반을 갖는다는 조건을 만족시키기 위해, 당김에 대한 오른쪽 수반이 존재하는 필라션을 지수화 가능한 필라션으로 정의하는 것.
• unstraightening 구성법을 사용하여, ${\sf Corr}$로의 함자를 지수화 가능한 필라션과 정확히 일치시킨다는 것을 보이는 것.
• 왼쪽 최종성과 오른쪽 최초성 조건을 만족하는 이중모듈러스를 통해 플래그된 ∞-부분범주 ${\sf LCorr}$ 및 ${\sf RCorr}$를 도입하는 것.
• 상승 조건 및 최종성 결과(예: 보조정리 5.15, 보조정리 5.9)를 적용하여, 함자가 최초 또는 최종일 조건을 특성화하는 것.
• 수반의 복합과 국소화를 사용하여, 왼쪽 필라션-대체 함자 $\mathcal{J} \to \mathcal{J}^{\hat{}}_{\sf l.fib}$가 최초이고, $\mathcal{K}$ 위의 최초 함자들의 ∞-부분범주에서 최종 대상이라는 것을 증명하는 것.

실험 결과

연구 질문

• RQ1 ∞-범주에서의 지수화 가능한 필라션은 어떻게 대응 ∞-범주를 통해 분류될 수 있는가?
• RQ2 ∞-범주적 맥락에서 지수화 가능한 필라션과 이중모듈러스 사이의 정확한 관계는 무엇인가?
• RQ3 ${\sf Corr}$의 어떤 부분범주가 왼쪽 및 오른쪽 필라션을 분류하는가, 그리고 이들이 만족하는 유니버설 성질은 무엇인가?
• RQ4 ${\sf LCorr}$ 및 ${\sf RCorr}$에서 최종성 및 최초성 조건은 어떻게 유니버설 필라션을 감지하는가?
• RQ5 unstraightening 구성법은 공변 및 코공변 필라션을 넘어서 지수화 가능한 필라션으로까지 확장될 수 있는가?

주요 결과

• ${\sf Corr}$는 지수화 가능한 필라션을 분류하며, Lurie의 공변 및 코공변 필라션 분류를 일반화한다.
• ${\sf LCorr} \subset {\sf Corr}$는 왼쪽 필라션을 분류하고 유니버설 왼쪽 필라션을 지닌다.
• ${\sf RCorr} \subset {\sf Corr}$는 오른쪽 필라션을 분류하고 유니버설 오른쪽 필라션을 지닌다.
• 왼쪽 필라션-대체 함자 $\mathcal{J} \to \mathcal{J}^{\hat{}}_{\sf l.fib}$는 최초이며, $\mathcal{K}$ 위의 최초 함자들의 ∞-부분범주에서 최종 대상이다.
• 오른쪽 필라션-대체 함자 $\mathcal{J} \to \mathcal{J}^{\hat{}}_{\sf r.fib}$는 최종이며, $\mathcal{K}$ 위의 최종 함자들의 ∞-부분범주에서 최종 대상이다.
• 함수 $\mathcal{J}_0 \times_{\mathcal{K}} \mathcal{K}_{/x} \to \mathcal{J} \times_{\mathcal{K}} \mathcal{K}_{/x}$의 최종성은 보조정리 5.9 및 보조정리 5.15를 통해 분류 공간의 동치를 감지하는 데 충분하다.