[논문 리뷰] Derived Koszul duality and TQ-homology completion of structured ring spectra

Michael Ching, John E. Harper|arXiv (Cornell University)|2015. 02. 24.

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

한 줄 요약

이 논문은 ${\mathcal{O}}$-대수 스펙트럼과 ${\mathsf{K}}$-코알gebra 스펙트럼 사이의 ${\mathsf{TQ}}$-호모로지를 통한 수반 관계가 $0$-연결된 ${\mathcal{O}}$-대수 스펙트럼으로 제한될 때 동치로 작용함을 보여, 구조가 있는 링 스펙트럼에 대한 유도된 코스줄 듀얼리티를 확립한다. 주요 결과는 프랜시스-게이츠고리의 추측의 $0$-연결 케이스를 해결하며, 퀼렌과 설리반의 유리수 호모토피 이론에 대한 스펙트럼 해석을 제공한다.

ABSTRACT

Working in the context of symmetric spectra, we consider any higher algebraic structures that can be described as algebras over an operad O. We prove that the fundamental adjunction comparing O-algebra spectra with coalgebra spectra over the associated comonad K, via topological Quillen homology (or TQ-homology), can be turned into an equivalence of homotopy theories by replacing O-algebras with the full subcategory of 0-connected O-algebras. This resolves in the affirmative the 0-connected case of a conjecture of Francis-Gaitsgory. This derived Koszul duality result can be thought of as the spectral algebra analog of the fundamental work of Quillen and Sullivan on the rational homotopy theory of spaces, and the subsequent p-adic and integral work of Goerss and Mandell on cochains and homotopy type---the following are corollaries of our main result: (i) 0-connected O-algebra spectra are weakly equivalent if and only if their TQ-homology spectra are weakly equivalent as derived K-coalgebras, and (ii) if a K-coalgebra spectrum is 0-connected and cofibrant, then it comes from the TQ-homology spectrum of an O-algebra. We construct the spectral algebra analog of the unstable Adams spectral sequence that starts from the TQ-homology groups TQ_*(X) of an O-algebra X, and prove that it converges strongly to pi_*(X) when X is 0-connected.

연구 동기 및 목표

• 구조가 있는 링 스펙트럼에 대한 프랜시스-게이츠고리의 추측에서 $0$-연결 케이스를 해결하는 것.
• 0-연결된 ${\mathcal{O}}$-대수 스펙트럼과 그들의 ${\mathsf{TQ}}$-호모로지 스펙트럼 간의 호모토피 이론 간 동치를 수립하는 것.
• ${\mathsf{TQ}}$-호모로지에서 시작하는 불안정한 애덤스 스펙트럼 수열을 구성하여, $0$-연결된 ${\mathcal{O}}$-대수 스펙트럼 $X$에 대해 $\pi_*(X)$로 강한 수렴성을 확보하는 것.
• ${\mathsf{TQ}}$-호모로지의 관점에서 완비화와 호모토피 유형을 이해하기 위한 호모토피적 프레임워크를 제공하는 것.
• 유리수 및 $p$-진 호모토피 이론의 기초 결과—예를 들어, 퀀렌 이론과 설리반 이론—을 $E_n$-링 스펙트럼 및 스펙트럼 위의 오페라드 대수의 맥락으로 확장하는 것.

제안 방법

• 오페라드 ${\mathcal{O}}$에 대해 ${\mathcal{O}}$-대수 스펙트럼을 정의하고 연구하기 위해 대칭 스펙트럼의 범주 안에서 작업한다.
• 위상적 퀄렌 호모로지(${\mathsf{TQ}}$-호모로지)를 유도된 아벨리안화 함수로 정의하며, 이는 분해 불가능 몫의 전체 왼쪽 유도함수로 정의된다.
• ${\mathcal{O}}$-대수와 그들의 ${\mathsf{TQ}}$-호모로지 스펙트럼 사이의 수반 관계를 통해 ${\mathcal{O}}$-대수 위에 코모나드 ${\mathsf{K}}$를 구성한다.
• ${\mathcal{O}}$-대수와 ${\mathsf{K}}$-코알gebra 사이의 수반 관계가 $0$-연결된 ${\mathcal{O}}$-대수로 제한될 때 쿼일렌 동치로 작용함을 증명한다.
• 특히 $\operatorname{Tot}$ 와 $\operatorname{holim}_{\Delta}$를 사용하여 코심플렉스 해상의 호모토피 유형을 비교하기 위해 총화 및 호모토피 극한 기법을 활용한다.
• ${\mathsf{TQ}}_*(X)$에서 시작하는 불안정한 애덤스 스펙트럼 수열이 $0$-연결된 $X$에 대해 $\pi_*(X)$로 강한 수렴성을 보이기 위해 리드-프레비언트 치환과 쿼일렌 동치의 논증을 활용한다.

실험 결과

연구 질문

• RQ1 수반 관계가 ${\mathsf{TQ}}$-호모로지를 통한 ${\mathcal{O}}$-대수 스펙트럼과 ${\mathsf{K}}$-코알gebra 스펙트럼 사이에서 쿼일렌 동치로 전환될 수 있는가?
• RQ2 프랜시스-게이츠고리의 추측에 따르면, 구조가 있는 링 스펙트럼에 대한 유도된 코스줄 듀얼리티가 $0$-연결 설정에서 성립하는가?
• RQ3 ${\mathsf{TQ}}$-호모로지에서 시작하는 불안정한 애덤스 스펙트럼 수열을 구성하여, $0$-연결된 ${\mathcal{O}}$-대수 스펙트럼 $X$에 대해 $\pi_*(X)$로 강한 수렴성을 확보할 수 있는가?
• RQ4 ${\mathsf{TQ}}$-호모로지 스펙트럼이 $0$-연결된 ${\mathcal{O}}$-대수 스펙트럼을 약한 동치에 대해 분류하는 데 얼마나 잘 작용하는가?
• RQ5 ${\mathsf{TQ}}$-호모로지와 관련된 코모나드 ${\mathsf{K}}$의 호모토피적 성질이 $E_n$-링 스펙트럼과 오페라드 대수의 대수적-위상수학적 구조를 어떻게 반영하는가?

주요 결과

• ${\mathcal{O}}$-대수 스펙트럼과 ${\mathsf{K}}$-코알gebra 스펙트럼 사이의 수반 관계가 $0$-연결된 ${\mathcal{O}}$-대수 스펙트럼의 전체 부분범주로 제한될 때 쿼일렌 동치로 작용한다.
• $0$-연결된 ${\mathcal{O}}$-대수 스펙트럼 $X$가 다른 스펙트럼과 약한 동치일 조건은 그들의 ${\mathsf{TQ}}$-호모로지 스펙트럼이 유도된 ${\mathsf{K}}$-코알게브라로서 약한 동치일 때이다.
• 모든 $0$-연결되고 코프레임된 ${\mathsf{K}}$-코알gebra 스펙트럼은 어떤 ${\mathcal{O}}$-대수의 ${\mathsf{TQ}}$-호모로지 스펙트럼으로서 나타난다.
• 모든 $0$-연결된 ${\mathcal{O}}$-대수 스펙트럼 $X$에 대해 ${\mathsf{TQ}}_*(X)$에서 시작하는 불안정한 애덤스 스펙트럼 수열은 $\pi_*(X)$로 강한 수렴성을 보인다.
• ${\mathsf{TQ}}$-호모로지의 유도된 분해 불가능 몫 함수로의 구성은 퀄렌의 유리수 호모토피 이론과 고어스-만델의 $p$-진 이론에 대한 스펙트럼 해석을 제공한다.
• 증명은 총화, 리드-프레비언트 치환, 단순체와 컴act하게 생성된 하우스도르프 공간 사이의 쿼일렌 동치를 포함한 고급 호모토피 기법들에 의존하여 필요한 약한 동치를 확보한다.