[논문 리뷰] Cyclonic spectra, cyclotomic spectra, and a conjecture of Kaledin

Clark Barwick, Saul Glasman|arXiv (Cornell University)|2016. 02. 05.

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

한 줄 요약

이 논문은 $\infty$-범주에서 $\epsilon$-집합의 2-category 위의 스파나이스에 대한 스펙트럼의 스펙트럼 매크리 함수로 구성된 순환 스펙트럼의 대수적, 호모토피 이론적 프레임워크를 개발한다. 순환 객체—유한 부분군에 대한 상대적인 원형 등변 스펙트럼—을 통해 칼레딘의 추측을 증명하며, $\Phi_N$-고정점 위의 호모토피 쌍대극한을 통해 $N$-순환 객체를 구성함으로써, 비가환 아핀 스킴 위의 모듈러 범주와 순환 스펙트럼 사이의 대칭 모노이드 동치를 확립한다.

ABSTRACT

With an explicit, algebraic indexing $(2,1)$-category, we develop an efficient homotopy theory of cyclonic objects: circle-equivariant objects relative to the family of finite subgroups. We construct an $\infty$-category of cyclotomic spectra as the homotopy fixed points of an action of the multiplicative monoid of the natural numbers on the category of cyclonic spectra. Finally, we elucidate and prove a conjecture of Kaledin on cyclotomic complexes.

연구 동기 및 목표

• 등변 올림포드 스펙트럼이나 스마시 프로덕트를 갖는 함자에 의존하지 않고 순환 스펙트럼을 순수하게 대수적으로 구성하는 것.
• 유리수 회전을 2-동형사로 갖는 $\epsilon$-집합의 2-category 위에서 순환 스펙트럼을 스펙트럼 매키 함수로 형식화하는 것.
• 비가환 브레이브 뉴 스킴에 대한 칼레딘의 추측을 $\Phi_N$-행동의 호모토피 고정점으로서 $N$-순환 객체를 구성하여 해결하는 것.
• 비가환 아핀 스킴 위의 모듈러 범주와 순환 스펙트럼 사이의 대칭 모노이드 동치를 확립하는 것.
• $h\mathbf{Sp}_{\Phi_N}$의 삼각형 텐서 범주를 안정적이고, 표준적이며, 대칭 모노이드인 $\infty$-범주 $\mathbf{Sp}_{\Phi_N}$로 일반화하는 것.

제안 방법

• 유리수 회전에 해당하는 2-동형사로 $\mathbf{Q}/\mathbf{Z}$-집합을 풍부화시켜 순환 집합의 2범주 $\mathbf{F}_{\Omega}$를 구성한다.
• 스펙트럼의 $\infty$-범주인 $\mathbf{Sp}$로의 스팬에서 $A^{\text{eff}}(\mathbf{F}_{\Omega})$로의 스펙트럼 매키 함수로 순환 스펙트럼을 정의한다.
• 순환 스펙트럼에 대한 곱셈 모노이드 $\mathbf{N}$의 작용을 도입하며, 순환 스펙트럼은 그 작용의 호모토피 고정점으로 정의된다.
• 표준적인 대칭 모노이드 $\infty$-범주 이론을 사용하여 $\Phi_N$-고정점 구성법을 안정적이고 대칭 모노이드인 구조로 $\mathbf{Sp}_{\Phi_N}$로 승격시킨다.
• $\mathbf{A}_{\Psi_N} = ((\mathbf{A}^{\text{op}})_{\Phi_N})^{\text{op}}$로 정의하여 순환 스펙트럼의 구조를 역전시키는 $N$-순환 객체를 정의한다.
• $\mathbf{Pr}^{L}_{\text{st}}$에서의 쌍대극한 및 극한 구성법을 통해 $\mathbf{A}_{\Phi_N} \simeq \operatorname{Fun}^L(\mathbf{Sp}_{\Psi_N}, \mathbf{A})$라는 핵심 동치를 확립한다.

실험 결과

연구 질문

• RQ1 순환 스펙트럼은 올림포드 스펙트럼에 의존하지 않고 순수하게 대수적, 비등변 프레임워크에서 구성될 수 있는가?
• RQ2 유리수 회전 데이터를 지닌 순환 객체—스펙트럼—는 2범주적 스팬을 통해 어떻게 순환 구조를 캡슐화하는가?
• RQ3 비가환 스킴의 맥락에서 $N$-순환 객체와 $\Phi_N$-고정점 구성법 사이의 정확한 관계는 무엇인가?
• RQ4 칼레딘의 추측—비가환 아핀 스킴의 끌고 있는 제곱에 대해—모듈러 $\infty$-범주 간의 동치로 올라갈 수 있는가?
• RQ5 $h\mathbf{Sp}_{\Phi_N}$의 삼각형 텐서 범주를 안정적이고, 표준적이며, 대칭 모노이드인 $\infty$-범주로 향상시킬 수 있는가?

주요 결과

• $\infty$-범주인 순환 스펙트럼는 순환 스펙트럼의 $\infty$-범주 위에 $\mathbf{N}$의 작용의 호모토피 고정점으로서 실현된다.
• $\mathbf{Sp}_{\Phi_N}^\otimes$의 구성은 표준적이고, 대칭 모노이드이며, 안정적인 $\infty$-범주로 이어지며, 카리 말키치의 $h\mathbf{Sp}_{\Phi_N}$에서의 삼각형 텐서 구조를 승격시킨다.
• $N$-순환 객체인 $\mathbf{A}_{\Psi_N}$는 $\mathbf{A}_{\Phi_N} \simeq \operatorname{Fun}^L(\mathbf{Sp}_{\Psi_N}, \mathbf{A})$를 만족하여 순환과 역순환 구조 사이의 이중성을 확립한다.
• $\mathbf{Pr}^{L}_{\text{st}}$에서 $\mathbf{A}_{\Psi_N} \simeq \mathbf{A} \otimes \mathbf{Sp}_{\Psi_N}$의 동치가 성립하며, 이는 $\mathbf{Sp}_{\Psi_N}$가 유일한 $N$-순환 생성자로 작용함을 보여준다.
• 칼레딘의 추측은 증명되었다: $\operatorname{Spec}\mathbf{A}_{\Psi_N} \simeq \operatorname{Spec}\mathbf{A} \times \operatorname{Spec}\mathbf{Sp}_{\Psi_N}$이며, $\mathbf{Mod}(\operatorname{Spec}\mathbf{A}_{\Psi_N}) \simeq \mathbf{Mod}(\operatorname{Spec}\mathbf{A})_{\Phi_N}$이다.
• $\mathbf{Pr}^{L}_{\text{st}}$에서의 전체 $\infty$-범주적 극한 및 쌍대극한 구성법을 사용하여 $\mathbf{A}_{\Phi_N} \simeq \mathbf{A} \otimes \mathbf{Sp}_{\Psi_N}$의 동치를 도출함으로써 추측의 증명을 완성한다.