[논문 리뷰] Suspension spectra and higher stabilization

Jacobson R. Blomquist, John E. Harper|arXiv (Cornell University)|2016. 12. 16.

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

한 줄 요약

이 논문은 점지된 공간에서 스펙트럼으로의 안정화 함자(Stabilization functor)가 호모토피적 강하(Homotopical descent)를 만족함을 증명하며, 안정화 이후 1-연결된 점지된 공간들과 1-연결된 $\tilde{\mathsf{K}}$-코알제브라 스펙트럼 사이에 유도된 동치(derived equivalence)를 확립한다. 이는 타일러 로우슨(Tyler Lawson)이 제기한 반복 순환 공간에 대한 오랜 동안 미해결이었던 추측을 해결하기 위해, 반복 안정화 맵에서 유도되는 입방형 다이어그램(cube)에 대한 균일한 카르테시안 성질 추정을 제공하는 고차 안정화 정리(Higher stabilization theorem)를 도입함으로써 달성된다.

ABSTRACT

We prove that the stabilization of spaces functor---the classical construction of associating a spectrum to a pointed space by tensoring with the sphere spectrum---satisfies homotopical descent on objects and morphisms. This is the stabilization analog of the Quillen-Sullivan theory main result that the rational chains (resp. cochains) functor participates in a derived equivalence with certain coalgebra (resp. algebra) complexes, after restriction to 1-connected spaces up to rational equivalence. In more detail, we prove that the stabilization of spaces functor participates in a derived equivalence with certain coalgebra spectra (where the stabilization construction naturally lands), after restriction to 1-connected spaces up to weak equivalence. This resolves in the affirmative the infinite case, involving stabilization and suspension spectra, of a question/conjecture posed by Tyler Lawson on (iterated) suspension spaces almost ten years ago. A key ingredient of our proof, of independent interest, is a higher stabilization theorem for spaces that provides strong estimates for the uniform cartesian-ness of certain cubical diagrams associated to n-fold iterations of the spaces-level stabilization map; this is the stabilization analog of Dundas' higher Hurewicz theorem.

연구 동기 및 목표

• 점지된 공간에서 스펙트럼으로의 고전적 안정화 함자 $\Sigma^\infty$ 에 대해 호모토피적 강하를 확립하는 것.
• 반복 순환 공간과 안정화에 대한 타일러 로우슨의 추측인 무한한 경우에 대한 개방된 추측을 해결하는 것.
• 1-연결된 점지된 공간들과 1-연결된 $\tilde{\mathsf{K}}$-코알제브라 스펙트럼 사이에 유도된 동치를 증명하는 것, 여기서 $\tilde{\mathsf{K}} = \Sigma^\infty \tilde{\Omega}^\infty$.
• $n$-중으로 반복된 공간 수준의 안정화 맵에서 유도되는 입방형 다이어그램에 대한 균일한 카르테시안 성질에 대한 강력한 추정을 제공하는 것.
• 던다스의 고차 허리츠 정리(Hurewicz theorem)에 유사한 고차 안정화 정리(Higher stabilization theorem)를 확립하여 안정화 과정에 적용 가능한 것.

제안 방법

• $(\Sigma^\infty, \Omega^\infty)$-수반 관계로부터 유도되는 $({\Sigma}^\infty, \tilde{\Omega}^\infty)$-수반 관계에 기반한 점지된 공간과 $\tilde{\mathsf{K}}$-코알제브라 스펙트럼 사이의 유도된 수반 관계를 활용한다.
• 반복된 안정화 맵을 통한 코심플렉스 해상법을 사용하여 공간의 $\tilde{\Omega}^\infty \Sigma^\infty$-완비화를 구성한다.
• 코심플렉스 다이어그램 $\mathfrak{C}(Y)$ 에 대한 호모토피 극한을 적용하여 스펙트럼 위의 $\tilde{\mathsf{K}}$-코알제브라 구조를 복원한다.
• 수반 관계에서의 유도된 쌍대단위(map)와 단위(map)를 사용하여 약한 동치를 확립함으로써, 1-연결된 대상에서의 유도된 동치를 증명한다.
• 반복된 안정화 맵의 $n$-중 반복에서 유도되는 다이어그램의 균일한 카르테시안 성질을 추정하는 고차 안정화 정리를 도입한다.
• 대칭 스펙트럼 위의 삽입형 안정 모델 구조와 유도된 함자 $\tilde{\Omega}^\infty$ 및 $\tilde{\mathsf{K}}$ 를 이용하여 프리브리니티와 안정성을 보장한다.

실험 결과

연구 질문

• RQ1 안정화 함자 $\Sigma^\infty$ 는 1-연결된 점지된 공간에서 호모토피적 강하를 만족하는가?
• RQ2 1-연결된 점지된 공간의 호모토피 범주와 1-연결된 $\tilde{\mathsf{K}}$-코알제브라 스펙트럼의 호모토피 범주 사이에 유도된 동치가 존재하는가?
• RQ3 1-연결된 공간의 $\tilde{\Omega}^\infty \Sigma^\infty$-완비화가 원래 공간과 약한 동치로 복원되는가?
• RQ4 반복된 안정화 맵의 $n$-중 반복에서 유도되는 입방형 다이어그램에 대해 균일한 카르테시안 성질 추정을 확립할 수 있는가?
• RQ5 안정화 함자가 $\tilde{\mathsf{K}}$-코알제브라 구조로 전이된 후, 1-연결된 대상 간의 사상 공간에 대해 약한 동치를 유도하는가?

주요 결과

• 안정화 함자 $\Sigma^\infty$ 는 1-연결된 점지된 공간의 호모토피 범주와 1-연결된 $\tilde{\mathsf{K}}$-코알제브라 스펙트럼의 호모토피 범주 사이에 유도된 동치를 유도한다.
• 모든 1-연결된 $\tilde{\mathsf{K}}$-코알제브라 스펙트럼 $Y$ 에 대해 유도된 쌍대단위 맵 $\Sigma^\infty \operatorname{holim}_\Delta \mathfrak{C}(Y) \xrightarrow{\simeq} Y$ 는 약한 동치이며, 이는 호모토피적 전성의 확인을 의미한다.
• 모든 1-연결된 점지된 공간 $X'$ 에 대해 유도된 단위 맵 $X' \xrightarrow{\simeq} \operatorname{holim}_\Delta \mathfrak{C}(\Sigma^\infty X')$ 는 약한 동치이며, 이는 $\Sigma^\infty$ 가 1-연결된 공간 위에서 호모토피적으로 전부일관적(full-faithful)임을 보여준다.
• 1-연결된 공간 $X$ 의 $\tilde{\Omega}^\infty \Sigma^\infty$-완비화는 $\operatorname{holim}_\Delta \mathfrak{C}(\Sigma^\infty X)$ 와 약한 동치이므로 자연스러운 약한 동치의 지그재그를 확립한다.
• 고차 안정화 정리가 증명되었으며, 이는 덩다스의 고차 허리츠 정리에 유사하게 $n$-중 반복된 안정화 다이어그램의 카르테시안 성질에 대해 강력한 균일한 추정을 제공한다.
• $\tilde{\Omega}^\infty \Sigma^\infty$-완비화이자 프리브리니티인 $X'$ 에 대해 자연스러운 맵 $\Sigma^\infty \colon \operatorname{Map}(X,X') \xrightarrow{\simeq} \operatorname{Map}_{\mathsf{coAlg}_{\tilde{\mathsf{K}}}}(\Sigma^\infty X, \Sigma^\infty X')$ 는 약한 동치이며, 이는 사상 공간에서의 전성(fullness)을 확인한다.