[논문 리뷰] Synthetic spectra and the cellular motivic category

Piotr Pstrągowski|arXiv (Cornell University)|2018. 03. 05.

Homotopy and Cohomology in Algebraic Topology인용 수 5

한 줄 요약

이 논문은 $E$-homology를 통해 위상수학적 및 대수적 구조를 $\tau$-작용을 통해 연결함으로써 스펙트럼의 안정적 $\infty$-분류계의 변형으로서 합성 스펙트럼을 도입한다. $\mathrm{MU}$-기반 합성 스펙트럼의 짝수 변형과 $p$-완비 셀룰러 모티빅 스펙트럼 사이의 동치를 확립함으로써, 아담스 스펙트럼 수열을 $\tau$-보크슈타인 스펙트럼 수열로 간주함으로써 크로마틱 호모토피 이론과 모티빅 호모토피 이론을 통합한다.

ABSTRACT

To an Adams-type homology theory we associate a notion of a synthetic spectrum, this is a product-preserving sheaf on the site of finite spectra with projective $E$-homology. We prove that the $\infty$-category $Syn_{E}$ of synthetic spectra based on $E$ is in a precise sense a deformation of the $\infty$-category of spectra into quasi-coherent sheaves over a certain algebraic stack, and show that this deformation encodes the $E$-based Adams spectral sequence. We describe a symmetric monoidal functor from cellular motivic spectra over the complex numbers into an even variant of synthetic spectra based on $MU$ and show that it induces an equivalence between the $\infty$-categories of $p$-complete objects for all primes $p$. In particular, it follows that the $p$-complete cellular motivic category can be described purely in terms of chromatic homotopy theory.

연구 동기 및 목표

• 아담스 유형의 호모로지 이론 $E$와 관련된 대수적 스택 $\mathcal{M}_E$ 위의 준연속층의 분류계로 스펙트럼의 $\infty$-분류계를 변형하는 것.
• 끝으로 $E$-호모로지가 프로젝티브인 유한 스펙트럼 위의 곱을 보존하는 층으로서 합성 스펙트럼을 정의하고, $\tau$-작용을 통해 위상수학적 및 대수적 자료를 코딩하는 것.
• $\textnormal{Spec}(\mathbb{C})$ 위의 $p$-완비 셀룰러 모티빅 스펙트럼의 분류계와 $\mathrm{MU}$-기반 합성 스펙트럼의 짝수 변형 사이의 대칭 모노이드 동치를 확립하는 것.
• 아담스 스펙트럼 수열이 $E_*$-기반인 것이 합성 프레임워크 내에서 $\tau$-보크슈타인 스펙트럼 수열로 자연스럽게 나타나며, 새로운 계산 도구를 가능하게 하는 것.

제안 방법

• 아담스 유형의 호모로지 이론 $E$에 대해, $E_*$-코모듈의 값으로 갖는 유한 스펙트럼의 사이트 위에서 곱을 보존하는 층으로서 합성 스펙트럼을 정의한다.
• $\tau$-작용을 통해 $\mathcal{S}p$의 변형으로서 $\infty$-분류계 $\mathcal{S}yn_E$를 구성하며, $\mathcal{S}yn_E$를 $E$-호모로지에 대한 스펙트럼의 유도된 $\infty$-분류계로 간주한다.
• 호프 알gebroid 위의 코모듈 이론과 하브리의 안정적 $\infty$-분류계를 활용하여 변형의 대수적 측면을 모델링한다.
• 유한한 $\mathrm{MGL}$-프로젝티브 스펙트럼을 다리로 삼아, $\textnormal{Spec}(\mathbb{C})$ 위의 셀룰러 모티빅 스펙트럼에서 $\mathrm{MU}$-기반 합성 스펙트럼의 짝수 변형으로의 대칭 모노이드 함자를 구성한다.
• 호모토피 군과 초완비 층 조건의 비교를 통해 모든 소수 $p$에 대해 $p$-완비 대상에 대한 동치를 증명한다.
• 합성 프레임워크 내에서 $E_*$-기반 아담스 스펙트럼 수열이 $\tau$-보크슈타인 스펙트럼 수열로 식별됨을 보이며, 깊이 있는 계산 메커니즘을 드러낸다.

실험 결과

연구 질문

• RQ1 어떻게 스펙트럼의 $\infty$-분류계를 아담스 유형의 호모로지 이론 $E$와 관련된 대수적 스택 $\mathcal{M}_E$ 위의 준연속층의 분류계로 체계적으로 변형할 수 있는가?
• RQ2 합성 프레임워크 내에서 위상수학적 스펙트럼과 대수적 층 사이의 변형을 매개하는 엔도모르피즘 $\tau$의 역할은 무엇인가?
• RQ3 모티빅 스펙트럼의 $p$-완비 셀룰러 분류계는 합성 구조를 통해 크로마틱 호모토피 이론으로 완전히 기술될 수 있는가?
• RQ4 합성 프레임워크 내에서 $E_*$-기반 아담스 스펙트럼 수열은 어떻게 $\tau$-보크슈타인 스펙트럼 수열로 나타나는가?
• RQ5 셀룰러 모티빅 스펙트럼과 $\mathrm{MU}$-기반 합성 스펙트럼 사이의 정확한 관계는 무엇이며, 이는 모든 $p$-완비 대상에 대해 동치로 확장되는가?

주요 결과

• $E$-기반 아담스 유형 호모로지 이론에 기반한 합성 스펙트럼의 $\infty$-분류계 $\mathcal{S}yn_E$는 스택 $\mathcal{M}_E$ 위의 인코herent 층의 $\infty$-분류계로의 스펙트럼의 $\infty$-분류계의 변형이며, 이 변형은 $\tau$로 매개화된다.
• 합성 분류계 내에서 $E_*$-기반 아담스 스펙트럼 수열은 $\tau$-보크슈타인 스펙트럼 수열로 식별되며, 새로운 계산적 해석을 제공한다.
• $\textnormal{Spec}(\mathbb{C})$ 위의 셀룰러 모티빅 스펙트럼의 $\infty$-분류계에서 $\mathrm{MU}$-기반 합성 스펙트럼의 짝수 변형으로의 대칭 모노이드 함자가 존재한다.
• 이 함자는 모든 소수 $p$에 대해 $p$-완비 대상의 $\infty$-분류계 사이의 동치를 유도하며, $p$-완비 셀룰러 모티빅 스펙트럼의 분류계의 위상수학적 실현을 확립한다.
• 결과적으로, $\textnormal{Spec}(\mathbb{C})$ 위의 $p$-완비 셀룰러 모티빅 스펙트럼의 분류계는 합성 프레임워크를 통해 크로마틱 호모토피 이론으로 완전히 기술된다.
• 이 구성은 모티빅 기원을 가진 $\infty$-분류계에 대한 처음으로 순수한 위상수학적 기술을 제공하며, 셀룰러 모티프와 크로마틱 호모토피 이론 간의 관계의 미스터리를 해결한다.