[논문 리뷰] Chromatic homotopy is algebraic when $p > n^{2}+n+1$

Piotr Pstrągowski|arXiv (Cornell University)|2018. 10. 29.

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

한 줄 요약

이 논문은 높이 n인 p-국소 Landweber 정확한 호모로지 이론 E에 대해 소수 p가 n² + n + 1를 초과할 경우, E-국소 스펙트럼의 호모토피 범주가 미분 E∗E-코모듈의 호모토피 범주와 동치임을 확립한다. 이 결과는 Bousfield 및 Franke의 대수적 모델을 더 높은 높이로 일반화하며, E-국소 호모토피 유형의 완전한 대수적 분류를 제공하고, 주어진 소수 조건 하에서 삼각형 구조가 호모토피 2범주에 의해 결정됨을 보여준다.

ABSTRACT

We show that if $E$ is a $p$-local Landweber exact homology theory of height $n$ and $p > n^2+n+1$, then there exists an equivalence $h \mathcal{S}p_{E} \simeq h\mathcal{D}(E_{*}E)$ between homotopy categories of $E$-local spectra and differential $E_{*}E$-comodules, generalizing Bousfield's and Franke's results to heights $n > 1$.

연구 동기 및 목표

• 큰 소수에서 E-국소 스펙트럼의 호모토피 범주에 대한 대수적 모델을 확립하여 고전적 결과를 더 높은 크로모틱 높이로 일반화한다.
• 높이 n > 1에서 크로모틱 호모토피 이론이 대수적 모델을 갖는지 여부라는 오랫동안 미해결된 문제를 소수 조건 하에서 해결한다.
• p > n² + n + 1일 때, E-국소 스펙트럼의 호모토피 범주가 미분 E∗E-코모듈의 호모토피 범주와 동치임을 보여준다.
• 동일한 소수 조건 하에서, E-국소 범주의 삼각형 구조가 그 호모토피 2범주에 의해 결정됨을 보여준다.
• 호모로지 차원이 3를 초과하는 안정적 ∞-범주 간의 이국적인 동치의 새로운 예를 제공한다. 특히 n² + n인 경우를 포함한다.

제안 방법

• Goerss-Hopkins 이론을 사용하여 E-국소 스펙트럼의 구조와 관련된 Adams 유형의 스펙트럴 시리즈를 분석한다.
• ∞-범주인 E-국소 스펙트럼의 범주와 E∗E-코모듈의 유도된 ∞-범주 사이에 Bousfield 수반을 구축한다.
• 유도된 실현 함수를 적용하여 E∗E-코모듈을 E-국소 스펙트럼으로 올리며, 전사성과 본질적 전사성을 증명한다.
• 호모토피 k-범주를 활용하여 동치를 정밀화하며, p > n² + n + 2일 때 동치가 삼각형 구조를 유지함을 보여준다.
• Lurie의 안정적 ∞-범주 이론과 호모토피 2범주를 활용하여, hSpE의 삼각형 구조가 h₂SpE에 의해 결정됨을 보여준다.
• 호모토피 2범주 내의 1-코카르티esian 콘 구조를 사용하여 분별 삼각형을 재구성함으로써 삼각형 동치를 증명한다.

실험 결과

연구 질문

• RQ1 E가 높이 n인 Landweber 정확한 이론이고 p > n² + n + 1일 때, E-국소 스펙트럼의 호모토피 범주는 대수적으로 모델링될 수 있는가?
• RQ2 E-국소 스펙트럼과 미분 E∗E-코모듈 간의 동치는 높이 1을 초월하여 확장 가능한가? 만약 그렇다면 어떤 조건에서 가능한가?
• RQ3 소수 조건 하에서, E-국소 호모토피 범주의 삼각형 구조는 그 호모토피 2범주에 의해 결정되는가?
• RQ4 E∗E의 호모로지 차원이 3를 초과할 때, SpE와 D(E∗E) 사이의 동치의 성격은 무엇인가?
• RQ5 이 설정에서 초구조의 대수성과 유한 소수 대수성 간의 渐近적 대수성은 어떻게 관련되는가?

주요 결과

• p > n² + n + 1일 때, E-국소 스펙트럼의 호모토피 범주와 미분 E∗E-코모듈의 호모토피 범주 사이에 삼각형 동치가 존재한다.
• 동치는 이국적이다: 기저 ∞-범주 SpE와 D(E∗E)는 동치가 아니지만, 그 호모토피 범주는 동치이다.
• p > n² + n + 2일 때, 동치는 삼각형 구조를 유지한다. 이는 삼각형 구조가 호모토피 2범주에 의해 결정되기 때문이다.
• SpE의 호모토피 2범주는 그 호모토피 범주의 삼각형 구조를 결정하며, 이는 h₂C에서의 1-코카르티esian 콘을 통해 증명된다.
• 이 결과는 호모로지 차원이 3를 초과하는 안정적 ∞-범주 간의 첫 번째 알려진 이국적 동치를 제공한다.
• 구성은 모든 E∗E-코모듈이 E-국소 스펙트럼의 호모로지로서 표준적으로 실현될 수 있음을 암시하며, K(n)-국소 범주에서 피카르 군의 대수성이 강제된다.