[논문 리뷰] Exponentiable Higher Toposes

Mathieu Anel, Damien Lejay|arXiv (Cornell University)|2018. 02. 28.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 3

한 줄 요약

이 논문은 ∞-위상공간이 가역 가능할 조건을 그에 대응하는 ∞-층의 범주가 연속적임으로 특징짓는다. 즉, 인덴트 객체에서의 쌍대극한 함자에 왼쪽 수반 함자가 존재하는 것이다. 이 논문은 유한한 극한과 필터링된 극한 조건을 만족하는 ω-연속적 함수를 도입하고, 이를 통해 가역 가능한 ∞-위상공간 위에서의 안정된 ∞-층의 범주가 현존하는 안정된 ∞-범주들의 범주에서 이중가능함을 보인다.

ABSTRACT

We characterise the class of exponentiable $\infty$-toposes: $\mathcal X$ is exponentiable if and only if $\mathcal S\mathrm{h}(\mathcal X)$ is a continuous $\infty$-category. The heart of the proof is the description of the $\infty$-category of $\mathcal C$-valued sheaves on $\mathcal X$ as an $\infty$-category of functors that satisfy finite limits conditions as well as filtered colimits conditions (instead of limits conditions purely); we call such functors $ω$-continuous sheaves. As an application, we show that when $\mathcal X$ is exponentiable, its $\infty$-category of stable sheaves $\mathcal S\mathrm{h}(\mathcal X, \mathrm{Sp})$ is a dualisable object in the $\infty$-category of presentable stable $\infty$-categories.

연구 동기 및 목표

• 가역 가능한 ∞-위상공간을 그에 대응하는 ∞-층의 범주의 연속성에 따라 특징짓는다.
• 유한한 극한과 필터링된 극한 조건을 만족하는 ω-연속적 함자를 사용하여 ∞-위상공간 위의 C-값을 가진 ∞-층에 대한 새로운 기술을 개발한다.
• 가역 가능한 ∞-위상공간 위에서의 안정된 ∞-층의 범주가 현존하는 안정된 ∞-범주들의 범주 내에서 이중가능함을 확립한다.
• ∞-범주 간의 텐서곱과 ∞-위상공간들의 범주 내의 곱 구조 간의 관계를 규명하여 가역적인 대상의 구조적 분석을 가능하게 한다.

제안 방법

• 작은, 유한한 쌍대극한을 가진 부분범주 D에서 ∞-범주 C로 가는 함수로 ω-연속적 ∞-층을 정의하며, 이는 bimodule w: Dop × D → S 를 포함하는 쌍대극한 조건을 만족한다.
• 가역 가능한 ∞-위상공간 X 위의 C-값 ∞-층을 표현하기 위해 공식 F(a) ≃ ∫_{b ∈ D} w(a,b) ⊗ F(b) 를 사용한다.
• ∞-범주에서의 쌍대극한과 왼쪽 케일리 확장 이론을 적용하여, ∞-층의 범주는 인덴트 객체의 코레플렉티브 국소화로 기술됨을 보인다.
• 자유 ∞-로고이드의 보편 성질과 수반 함자 정리에 기반하여, 왼쪽 정확한 함수를 통해 ∞-층의 범주를 특징짓는다.
• 현존하는 ∞-범주와 안정적인 범주 간의 관계를 설명하기 위해 안정화 함자 C ↦ C ⊗ Sp 를 사용하고, 이를 통해 Presst 내에서의 이중가능성을 증명한다.
• 대칭 모나드 ∞-범주에서 이중가능한 객체의 재구성은 이중가능함을 보장하므로, Sh(X, Sp)의 이중가능성을 결론짓는다.

실험 결과

연구 질문

• RQ1 가역 가능한 ∞-위상공간은 그에 대응하는 ∞-층의 범주의 어떤 성질에 의해 특징지워지나?
• RQ2 유한한 극한과 필터링된 극한 조건을 사용하여 ∞-위상공간 위의 ∞-층의 범주는 어떻게 기술될 수 있는가? (오직 극한 조건만을 사용하는 것이 아니라)
• RQ3 어떤 조건에서 ∞-위상공간 위의 안정된 ∞-층의 범주는 현존하는 안정된 ∞-범주들의 범주 내에서 이중가능한가?
• RQ4 ∞-범주 간의 텐서곱은 ∞-위상공간들의 범주 내의 곱 구조와 어떻게 상호작용하는가?
• RQ5 Sh(X, Sp)의 이중가능성은 인덴트 객체와 안정화를 사용하여 Presst 내에서 재구성의 방법으로 증명될 수 있는가?

주요 결과

• ∞-위상공간 X가 가역 가능할 조건은 그에 대응하는 ∞-층의 범주 Sh(X)가 연속적일 때이다. 즉, Ind(Sh(X)) → Sh(X) 의 쌍대극한 함자에 왼쪽 수반 함자가 존재할 때이다.
• 가역 가능한 ∞-위상공간 X 위의 C-값 ∞-층의 범주는, 모든 a ∈ D 에 대해 F(a) ≃ ∫_{b ∈ D} w(a,b) ⊗ F(b) 를 만족하는 ω-연속적 함수 F: Dop → C 의 범주와 동치이다.
• X가 가역 가능할 경우, 안정된 ∞-층의 범주 Sh(X, Sp)는 현존하는 안정된 ∞-범주들의 범주 내에서 이중가능하다.
• Presst 내의 이중가능한 객체는 정확히 P(D) ⊗ Sp 의 형태이거나 그 재구성이며, Sh(X, Sp)는 이러한 범주로부터의 재구성임을 보였다.
• 안정화 함자는 이중가능성을 유지하며, D가 유한한 쌍대극한을 가질 경우 Ind(D) ⊗ Sp 는 Presst 내에서 P(D) ⊗ Sp 의 재구성이다.
• 증명은 ∞-범주 간의 텐서곱과 쌍대극한에 의한 내부 함자 표현을 통해 일반화된 고전적 ∞-층 이론을 ∞-범주적 맥락으로 확장하는 데 의존한다.