[논문 리뷰] Total Cofibres of Diagrams of Spectra

Thomas Huettemann|ArXiv.org|2005. 08. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 2인용 수 3

한 줄 요약

이 논문은 부분순서집합에 인덱스가 매겨진 스펙트럼 다이어그램에 대한 총 코파일러 구성을 도입한다. 이는 부분순서집합의 호모토피 콜리미트로의 포함 사상의 호모토피 코파일러로 정의된다. 부분순서집합 쌍이 안정적 코호모티피 조건을 만족할 경우, 호모토피 리미트와 총 코파일러로의 매핑 스펙트럼 사이에 안정적 동치를 확립한다. 이는 층 코호모로지에 대한 스펙트럼 수열을 일반화하고, Bousfield-Kan 방법을 통해 스펙트럼과 위상공간으로의 결과를 확장한다.

ABSTRACT

If Y is a diagram of spectra indexed by an arbitrary poset C together with a specified sub-poset D, we define the total cofibre Γ(Y) of Y as the strict cofibre of the map from hocolim_D (Y) to hocolim_C (Y). We construct a comparison map from the homotopy limit of Y to a looping of a fibrant replacement of Gamma (Y), and characterise those poset pairs (C,D) for which this comparison map is a stable equivalence. The characterisation is given in terms of stable cohomotopy of spaces related to C and D. For example, if C is a finite polytopal complex with underlying space an m-ball with boundary sphere D, then holim_C (Y) and Γ(Y) agree up to m-fold looping and up to stable equivalence. As an application of the general result we give a spectral sequence for the homotopy groups of Γ(Y) with E_2-term involving higher derived inverse limits of π_* (Y), generalising earlier constructions for space-valued diagrams indexed by the face lattice of a polytope.

연구 동기 및 목표

• 부분순서집합 쌍 $\mathcal{D} \subset \mathcal{C}$에 인덱스가 매겨진 스펙트럼 다이어그램의 총 코파일러를 정의하고 연구함으로써, 공간가치 다이어그램에서의 구성들을 일반화한다.
• 호모토피 리미트에서 총 코파일러로의 매핑 스펙트럼으로의 비교 사상을 구성한다.
• 이 비교 사상이 안정적 동치가 되는 정확한 부분순서집합 쌍 $\mathcal{D} \subset \mathcal{C}$를 규명한다.
• Bousfield-Kan 호모토피 리미트 스펙트럼 수열을 총 코파일러의 설정으로 일반화하여, 다각형 복합체 위의 다이어그램에 대해 확장한다.
• 만일 $|\mathcal{C}|$가 PL 공이고 $|\mathcal{D}|$가 그 경계일 경우, 총 코파일러와 호모토피 리미트 사이에 $m$-중 반복 루프 이후 안정적 동치를 확립한다.

제안 방법

• 스펙트럼 다이어그램 $Y$가 부분순서집합 $\mathcal{C}$에 대해 정의되고 부분순서집합 $\mathcal{D}$를 포함할 때, 총 코파일러 $\Gamma(Y)$를 $\mathrm{hocolim}_{\mathcal{D}}(Y) \to \mathrm{hocolim}_{\mathcal{C}}(Y)$의 호모토피 코파일러로 정의한다.
• 다이어그램의 호모토피 리미트에서 총 코파일러로의 매핑 스펙트럼으로의 비교 사상 $\hat{\Gamma}_Y: \mathrm{holim}_{\mathcal{C}}(Y) \to \hom(Z, \hat{\Gamma}(Y))$를 구성한다. 여기서 $Z$는 $\mathcal{C}$와 $\mathcal{D}$로부터 유도된 단체적 집합이며, $\hat{\Gamma}(Y)$는 $\Gamma(Y)$의 피브라ント 대체이다.
• 안정적 동치를 $Z$의 안정적 코호모티피에 따라 특성화하여, $\hat{\Gamma}_Y$가 안정적 동치일 조건은 $n < 0$에 대해 $\pi_s^n(Z) = 0$임을 보인다.
• 호모토피 리미트에 대한 Bousfield-Kan 스펙트럼 수열을 사용하여, $\pi_*(\Gamma(Y))$에 대한 스펙트럼 수열을 구성하고, $E^2$-항은 고차수 유도 역극한 $\lim^p(\pi_*(Y))$를 포함한다.
• 만일 $\mathcal{C}$가 유한한 다각형 복합체이고 $|\mathcal{C}| \cong B^m$, $|\mathcal{D}| \cong S^{m-1}$일 경우, 비교 사상은 $m$-중 반복 루프 이후 안정적 동치가 된다는 것을 증명한다.
• 결과를 위상공간 스펙트럼 다이어그램과 $H\mathbb{Z}$를 통한 Eilenberg-MacLane 스펙트럼을 통한 공간가치 다이어그램에 적용하여, 이전의 스펙트럼 수열을 복구하고 일반화한다.

실험 결과

연구 질문

• RQ1 부분순서집합 쌍 $\mathcal{D} \subset \mathcal{C}$에 대해, 호모토피 리미트에서 총 코파일러로의 매핑 스펙트럼으로의 비교 사상이 안정적 동치가 되는 조건은 무엇인가?
• RQ2 스펙트럼에 대한 총 코파일러 구성은 안정 호모토피 이론에서 고전적 호모토피 리미트와 어떻게 관련이 있는가?
• RQ3 호모토피 리미트에 대한 Bousfield-Kan 스펙트럼 수열은 총 코파일러의 호모토피 군을 계산하는 데 어떻게 응용될 수 있는가?
• RQ4 총 코파일러와 대수기하학에서의 층 코호모로지 사이의 관계는 무엇인가, 특히 토릭 다양체의 맥락에서 어떻게 되는가?
• RQ5 다각형 복합체 위의 다이어그램에 대해, 공 모양의 부분순서집합을 가진 경우 총 코파일러의 호모토피 군을 지배하는 스펙트럼 수열은 무엇인가?

주요 결과

• 비교 사상 $\hat{\Gamma}_Y: \mathrm{holim}_{\mathcal{C}}(Y) \to \hom(Z, \hat{\Gamma}(Y))$는 $Z$의 안정적 코호모티피 군 $\pi_s^n(Z)$가 모든 $n < 0$에 대해 0일 때이고 그때에만 안정적 동치이다. 여기서 $Z$는 부분순서집합 쌍 $\mathcal{D} \subset \mathcal{C}$와 관련된 단체적 집합이다.
• 만일 $\mathcal{C}$가 $|\mathcal{C}| \cong B^m$이고 $|\mathcal{D}| \cong S^{m-1}$인 유한한 다각형 복합체일 경우, 총 코파일러 $\Gamma(Y)$와 호모토피 리미트 $\mathrm{holim}_{\mathcal{C}}(Y)$는 $m$-중 반복 루프 이후 안정적 동치이다.
• $m$차원 다각형 볼 위의 다이어그램에 대해, $E^2_{p,q} = \lim^p(\pi_q Y) \Rightarrow \pi_{m+q-p}(\Gamma(Y))$의 강한 수렴 스펙트럼 수열이 총 코파일러의 호모토피 군을 계산한다.
• 만일 $Y = X \wedge H\mathbb{Z}$이고 $X: \mathcal{C} \to \mathrm{Top}_*$일 경우, 스펙트럼 수열은 $E^2_{p,q} = \lim^p(\tilde{H}_q(X;\mathbb{Z})) \Rightarrow \tilde{H}_{m+q-p}(\Gamma(X);\mathbb{Z})$가 되며, 이는 다각형에 대한 이전 결과를 일반화한다.
• 스펙트럼에 대한 총 코파일러 구성은 층 코호모로지의 안정적 동치이며, 대수기하학에서의 전역 단위와 유도 함자들을 대체한다.
• 스펙트럼 수열 $\lim^p(\pi_q Y)$를 통한 $\Gamma(Y)$의 스펙트럼 수열은 안정 호모토피 이론에서 고차수 유도 역극한의 호모토피적 해석을 제공한다.