[논문 리뷰] Mapping spaces and R-completion

David Blanc, Debasis Sen|arXiv (Cornell University)|2013. 04. 22.

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

한 줄 요약

이 논문은 $R = \mathbb{F}_p$ 또는 $\mathbb{Q}$일 때 $A = K(R,n)$인 경우, 단순형 집합 $X$가 $\operatorname{map}_*(Y, A)$로 나타나는지의 조건을 완전히 특성화한다. 이를 위해 $\mathbf{\Theta}_R$라는 단순형으로 강화된 스케치를 통해 $X$에 매핑 대수의 구조를 도입한다. 주요 결과는 이러한 $X$가 $R$-동치에 대해 유일한 $Y$의 실현을 갖는다는 것으로, 코심플렉스 해상 및 스펙트럴 시퀀스를 통한 $R$-완비화의 새로운 호모토피적 프레임워크를 제공한다.

ABSTRACT

We study the questions of how to recognize when a simplicial set X is of the form X=map(Y,A) for a given space A, and how to recover Y from X, if so. A full answer is provided when A=K(R,n), for $R=\mathbb{F}_p$ or $\mathbb{Q}$, in terms of a mapping algebra structure on X (defined in terms of product-preserving simplicial functors out of a certain simplicially-enriched sketch). In addition, when A is a suitable infinite loop space for a suitable connective ring spectrum, we can recover Y from map(Y,A) given such a mapping algebra structure. Most importantly, our methods provide a new way of looking at the classical Bousfield-Kan R-completion.

연구 동기 및 목표

• 주어진 공간 $A$에 대해 단순형 집합 $X$가 $\operatorname{map}_*(Y, A)$와 약한 동치일 조건을 결정하는 것, 특히 $R = \mathbb{F}_p$ 또는 $\mathbb{Q}$일 때 $A = K(R,n)$인 경우.
• 추가적인 대수적 구조를 $X = \operatorname{map}_*(Y, A)$에 부여하여, $A$-동치에 대해 $Y$의 호모토피 유형을 재구성하는 것.
• 매핑 대수와 코심플렉스 해상의 관점에서 고전적인 $R$-완비화의 새로운 호모토피적 해석을 제공하는 것.
• 동일한 구조적 프레임워크를 사용하여 $K(R,n)$을 초월해 연결된 순환 스펙트럼 $\mathcal{A}$에 대해 $\Omega^\infty\mathcal{A}$로의 $Y$의 재구성 가능성을 확장하는 것.

제안 방법

• $K(R,n)$과 그들의 점을 가진 매핑 공간으로 생성되는 단순형으로 강화된 범주 $\mathbf{\Theta}_R$를 정의하여, 매핑 대수에 필요한 구조를 코딩하는 것.
• $\mathbf{\Theta}_R$에서 단순형 집합으로의 제품을 유지하는 단순형 함자를 $\mathbf{\Theta}_R$-매핑 대수로 정의하여, $\operatorname{map}_*(Y, A)$의 호모토피 유형을 모델링하는 것.
• $\mathbf{\Theta}_R$-매핑 대수의 자유 단순형 해상의 코심플렉스 해상에 의해 $Y$를 리드-피브란트 코심플렉스 공간의 총합으로 실현하는 것.
• $\mathbf{W}^\bullet$의 총합에 대한 호모로지 스펙트럴 시퀀스를 적용하여, 총합의 강한 수렴성과 결과로 얻어진 공간 $Y$의 $R$-완비성을 보이는 것.
• 이중단순형 군의 대각화를 통해 총합 $Y$의 매핑 대수와 원래의 $X$ 사이의 약한 동치를 확립하는 것.
• 쿼일렌의 스펙트럴 시퀀스와 강한 수렴성 정리들을 활용하여 $H_*(Y; R) \cong \Lambda^\dagger$임을 증명함으로써, $Y$가 $R$-완비이자 $R$-동치에 대해 유일하게 결정됨을 보장하는 것.

실험 결과

연구 질문

• RQ1 어떤 단순형 집합 $X$가 $R = \mathbb{F}_p$ 또는 $\mathbb{Q}$일 때 $\operatorname{map}_*(Y, K(R,n))$와 약한 동치일까?
• RQ2 추가적인 대수적 구조가 $X$에 있어야 $Y$가 $R$-동치에 대해 재구성 가능한가?
• RQ3 매핑 대수와 코심플렉스 해상을 통해 $R$-완비화를 어떻게 재해석할 수 있는가?
• RQ4 $K(R,n)$을 초월해 연결된 순환 스펙트럼 $\mathcal{A}$에 대해 $\Omega^\infty\mathcal{A}$로의 $Y$ 재구성 가능성을 확장할 수 있는가?
• RQ5 $\mathbf{\Theta}_R$-매핑 대수가 단순연결된 $R$-완비 공간 $Y$로부터 유래되려면 어떤 조건이 필요한가?

주요 결과

• 모든 단순연결된 $\mathbf{\Theta}_R$-매핑 대수 $\mathfrak{X}$는 $R = \mathbb{F}_p$ 또는 $\mathbb{Q}$일 때, 약한 동치에 대해 유일한 단순연결된 $R$-완비 공간 $Y$에 대해 $\mathfrak{M}_R(Y)$와 약한 동치이다.
• $\mathbf{\Theta}_R$-대수 $\Lambda$의 자유 해상 $V_\bullet \to \Lambda$의 코심플렉스 해상 $\mathbf{W}^\bullet$는 리드-피브란트 코심플렉스 공간이며, $\pi_n V_\bullet\{K(R,i)\} \cong \Lambda\{K(R,i)\}$는 0차에서만 비자명하고 나머지는 0이다.
• 호모로지 스펙트럴 시퀀스 $E^2_{m,t} \cong \pi^m H_t(\mathbf{W}^\bullet; R) \Rightarrow H_{t-m}(\operatorname{Tot}\mathbf{W}^\bullet; R)$는 강하게 수렴하여 총합 $Y = \operatorname{Tot}\mathbf{W}^\bullet$가 단순연결되고 $R$-완비임을 보장한다.
• 총합 $Y$는 $H_*(Y; R) \cong \Lambda^\dagger$를 만족하므로, $\mathfrak{X}$를 $\mathbf{\Theta}_R$-매핑 대수의 약한 동치로 실현한다.
• $c(Y)^\bullet \to \mathbf{W}^\bullet$의 자연스러운 사상은 단순형 $\mathbf{\Theta}_R$-매핑 대수 $\mathfrak{M}_R(Y) \to \mathfrak{Z} = \|\mathfrak{W}_\bullet\|$ 사이의 약한 동치를 유도하여 $Y$의 재구성 가능성을 확립한다.
• $Y$가 $R$-완비라는 가정 하에 [BK1, I, Lemma 5.5]에 의해 $Y$의 약한 동치에 대한 유일성이 도출된다.