[논문 리뷰] Generalized cohomology of pro-spectra

Daniel C. Isaksen|ArXiv.org|2004. 08. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 20인용 수 8

한 줄 요약

이 논문은 안정 호모토피 프로군으로서 약한 동치가 감지되는 프로스펙트럼 위에 닫힌 모델 구조를 수립한다. 이는 잘 수렴하는 아티야-히르체브루흐 스펙트럴 시퀀스를 가능하게 하며, 일반화된 코homology 이론을 프로스펙트럼에 대해 정의한다. 이 이론은 이 스펙트럴 시퀀스를 통해 위상수학적 K-코호몰로지와 기타 일반화된 코호몰로지 이론을 정확히 계산할 수 있게 하며, 나태한 코일리미트 정의의 실패를 해결한다.

ABSTRACT

We present a closed model structure for the category of pro-spectra in which the weak equivalences are detected by stable homotopy pro-groups. With some bounded-below assumptions, weak equivalences are also detected by cohomology as in the classical Whitehead theorem for spectra. We establish an Atiyah-Hirzebruch spectral sequence in this context, which makes possible the computation of topological K-theory (and other generalized cohomology theories) of pro-spectra.

연구 동기 및 목표

• 프로스펙트럼 위에서 일반화된 코호몰로지 이론의 호모토피 이론적 기초를 마련한다.
• 프로스펙트럼 위에서 K-코호몰로지의 나태한 코일리미트 정의가 잘 수렴하지 않는 스펙트럴 시퀀스를 유도하므로 이를 해결한다.
• 안정 호모토피 프로군으로서 약한 동치가 감지되는 프로스펙트럼 위에 닫힌 모델 구조를 수립한다.
• 일반화된 코호몰로지를 프로스펙트럼에서 잘 수렴하는 성질을 갖는 스펙트럴 시퀀스로 계산할 수 있도록 한다.
• 에탈 K-코호몰로지, 호모토피 고정점, 특성 p를 갖는 체 위의 이차형식 등에 응용할 수 있는 프레임워크를 제공한다.

제안 방법

• 프로스펙트럼 위에 모델 구조를 정의하며, 필라션과 약한 동치는 프로호모토피 군으로 결정된다.
• 프로스펙트럼 $X$의 일반화된 코호몰로지를 $E^r(X) = [Σ^{-r}X, E]_{\textup{pro}}$로 정의한다. 여기서 $E$는 상수 프로스펙트럼이다.
• 스펙트럴 시퀀스를 구성하며, $E_2$-항은 $E_2^{p,q} = H^{-p}(X; \pi_{-q}Y)$이며, $[X,Y]_{\textup{pro}}^{p+q}$로 수렴한다.
• 프로스펙트럼 $X$ 또는 $Y$가 아래로 유계이면 조건부 수렴을 증명한다.
• 스펙트럼의 포스트니코프 타워를 프로스펙트럼 모델 구조에서 필라션 대체로 사용한다.
• 장대한 완전열과 필터링된 코일리미트를 사용하여 스펙트럴 시퀀스의 수렴성을 분석하고, 코일리미트에서의 동형을 확인한다.

실험 결과

연구 질문

• RQ1 왜 프로스펙트럼 위에서 일반화된 코호몰로지의 나태한 코일리미트 정의는 K-코호몰로지를 정확히 계산하지 못하는가?
• RQ2 안정 호모토피 프로군으로서 약한 동치가 감지되는 프로스펙트럼 위에 닫힌 모델 구조를 구성할 수 있는가?
• RQ3 수렴 성질이 양호한 아티야-히르체브루흐 스펙트럴 시퀀스가 프로스펙트럼에 존재하는가?
• RQ4 스펙트럴 시퀀스가 올바른 코호몰로지 군으로 조건부 수렴하기 위한 조건은 무엇인가?
• RQ5 스펙트럼의 포스트니코프 타워를 통한 필라션 대체가 프로스펙트럼의 일반화된 코호몰로지와 어떻게 관련되는가?

주요 결과

• 프로스펙트럼의 아티야-히르체브루흐 스펙트럴 시퀀스는 $E_2$-항이 $E_2^{p,q} = H^{-p}(X; \pi_{-q}Y)$이며, $X$ 또는 $Y$가 아래로 유계이면 $[X,Y]_{\textup{pro}}^{p+q}$로 조건부 수렴한다.
• 스펙트럴 시퀀스는 $X$가 본질적으로 레벨별로 아래로 유계이거나, $Y$가 상수이면서 $* \to X$가 본질적으로 레벨별로 $n$-동치이면 조건부 수렴한다.
• 나태한 정의 $KU^*(X) = \operatorname{colim}_s KU^*(X_s)$는 스펙트럴 시퀀스의 코일리미트가 잘 수렴하지 않기 때문에 계산적으로 실패한다.
• 필라션 프로스펙트럼은 호모토피 군이 위로 유계인 스펙트럼의 반복적 다이어그램이며, $KU$의 포스트니코프 타워는 상수 프로스펙트럼으로서 $KU$의 필라션 대체로 사용된다.
• 아래로 유계인 가정 하에 프로스펙트럼의 화이트헤드 정리가 성립한다: 약한 동치는 코호몰로지 동형으로 감지된다.
• 각 레벨 $X_s$에 대한 스펙트럴 시퀀스의 코일리미트는 $KU^*(X)$를 정확히 계산하지 못하지만, 새로운 모델 구조는 정확하고 계산 가능한 대체를 제공한다.