[논문 리뷰] Iterated delooping and desuspension of structured ring spectra

Jacobson R. Blomquist|arXiv (Cornell University)|2019. 10. 28.

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

한 줄 요약

이 논문은 호모토피 이중단과 단순단을 사용하여 구조화된 링 스펙트럼과 그의 반복된 승강/역승강 구조 간의 유도 동치를 수립한다. 0-연결된 $Ο$-대수와 관련된 이중단에 대해 반복된 승강 함수자에 의한 완비화는 유도 동치를 유도하며, 이는 이중단에 대한 $r$-연결된 코대수에 대해 성립한다. 반대로, 반복된 루프를 통한 코완비화는 이중단에 대해 $r$-연결된 $Ο$-대수와 0-연결된 루프-승강 단순단에 대한 대수에 대해 유도 동치를 유도한다. 이는 대칭 스펙트럼에서 정교한 호모토피 대수학을 사용하여 이루어진다.

ABSTRACT

We study completion with respect to the iterated suspension functor on $\mathcal{O}$-algebras, where $\mathcal{O}$ is a reduced operad in symmetric spectra. This completion is the unit of a derived adjunction comparing $\mathcal{O}$-algebras with coalgebras over the associated iterated suspension-loop homotopical comonad via the iterated suspension functor. We prove that this derived adjunction becomes a derived equivalence when restricted to 0-connected $\mathcal{O}$-algebras and $r$-connected $ ildeΣ^r ildeΩ^r$-coalgebras. We also consider the dual picture, using iterated loops to build a cocompletion map from algebras over the iterated loop-suspension homotopical monad to $\mathcal{O}$-algebras. This is the counit of a derived adjunction, which we prove is a derived equivalence when restricting to $r$-connected $\mathcal{O}$-algebras and $0$-connected $ ildeΩ^r ildeΣ^r$-algebras.

연구 동기 및 목표

• 반복된 승강 및 역승강 작용이 구조화된 링 스펙트럼의 호모토피 유형과 완비화 및 코완비화를 통해 어떻게 관련되는지 이해하기 위해.
• 호모토피 설정에서 반복된 승강-루프 함수자에 대해 $Ο$-대수와 코대수(또는 대수) 간의 유도 동치를 수립하기 위해.
• 클래식한 결과들, 예를 들어 프뢰우덴탈 승강 정리와 바우즈필드-칸 완비화를 대칭 스펙트럼 내의 $Ο$-대수의 맥락으로 일반화하기 위해.
• 유도된 수반 관계가 잘 행동하도록 보장하기 위해 피브라ント/코피브라트 치환과 바르 구조를 사용하는 적절한 호모토피 이론 프레임워크를 개발하기 위해.

제안 방법

• 호모토피적 의미를 확보하기 위해 피브라트 및 코피브라트 치환을 사용하는 반복 승강 함수자 $σ^r = σ^r C$ 와 루프 함수자 $τ^r = τ^r F$ 를 사용한다.
• 완비화를 통해 반복 승강-루프 이중단에 대한 $Ο$-대수와 코대수 간의 유도 수반 관계를 구성한다.
• 해결의 모델링을 위해 코바르 유사 구조를 적용하여 호모토피 설정에서 적절한 (코)바르 구조를 보장한다.
• 호모토피 이론을 정의하기 위해 $Ο$-대수에서의 양면 평탄한 안정 모델 구조를 사용하고, 사상 공간들로부터 위상적 $A_∞$-범주를 구성한다.
• 고차 블라커스-마스키 정리와 연결성 추정치를 사용하여 해결에서의 큐브의 카르테시안 성질을 증명하고, 완비화 과정의 수렴성을 확보한다.
• 사상 공간의 경로 성분을 통해 $Ο$-대수의 호모토피 범주를 정의하고, 사상이 동치일 조건이 그 기저 사상이 약한 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 반복된 승강 함수자에 의한 완비화가 관련 이중단에 대한 $Ο$-대수와 코대수 간의 유도 동치를 유도하는 조건은 무엇인가?
• RQ2 반복된 루프를 통한 코완비화 과정은 $Ο$-대수의 호모토피 이론과 어떻게 관련되는가?
• RQ3 반복된 승강 또는 루프 사상이 충분히 높은 연결성을 가지기 위해 필요한 연결성 조건은 무엇인가?
• RQ4 클래식한 프뢰우덴탈 승강 정리는 $Ο$-대수의 맥락에서 구조화된 링 스펙트럼으로 일반화될 수 있는가?
• RQ5 유도된 범주 내의 호모토피 바르 구조와 (코)대수적 구조는 어떻게 행동하는가?

주요 결과

• 0-연결된 $Ο$-대수와 $r$-연결된 $σ^r τ^r$-코대수로 제한할 경우, $Ο$-대수와 $σ^r τ^r$-코대수 간의 유도 수반 관계는 유도 동치가 된다.
• 반대로, 반복된 루프-승강 단순단을 통한 코완비화는 $r$-연결된 $Ο$-대수와 0-연결된 $τ^r σ^r$-대수 간의 유도 동치를 유도한다.
• 이중 프뢰우덴탈 사상 $F\tilde{\Sigma}^r \tilde{\Omega}^r X \to FX$ 의 연결성은 $k$-연결된 $X$ 에 대해 $2k+3-r$ 이며, 이는 수렴성에 대한 핵심 추정치를 제공한다.
• 논문은 구조화된 링 스펙트럼에 대한 고차 허리우이치 정리를 증명한다: 만약 $n$-큐브가 $({\rm id}+1)(k+1)$-카르테시안이라면, $UQ$를 통한 완비화 역시 $({\rm id}+1)(k+1)$-카르테시안이다.
• 적절한 연결성 조건 하에서 $UQ$를 통한 완비화 과정은 카르테시안 성질을 유지하며, 이 증명은 고차 블라커스-마스키 정리와 코카르테시안 추정치에 기반한다.
• 유도된 $Ο$-대수 사상이 호모토피 범주에서 동치일 조건은 그 기저 사상 $CA \to A'$ 가 약한 동치일 때이다. 이는 대수적 구조와 호모토피 동치를 연결한다.