[논문 리뷰] Convergence of the Eilenberg-Moore spectral sequence for generalized cohomology theories

Tilman Bauer|ArXiv.org|2008. 03. 26.

Homotopy and Cohomology in Algebraic Topology참고 문헌 16인용 수 6

한 줄 요약

이 논문은 특정 호모토피 조건 하에서 일반화된 코호몰로지 이론에 기반한 $K(n)$-기반 Eilenberg-Moore 스펙트럴 시퀀스(EMSS)의 수렴성을 확립한다: 기저 공간이 $(n+1)$번째 호모토피 군이 자명한 $p$-국소 유한 포스트니코프 체계일 경우이다. 주요 결과는 총공간과 섬유가 유한 CW-complexes일 경우, EMSS가 $K(n)$-호모로지의 호모토피 당김에 대해 인도-일致하게 수렴한다는 것이다. 이는 목표가 유한한 $K(n)_*$-모듈러임을 보장한다.

ABSTRACT

We prove that the Morava-$K$-theory-based Eilenberg-Moore spectral sequence has good convergence properties whenever the base space is a $p$-local finite Postnikov system with vanishing $(n+1)$st homotopy group.

연구 동기 및 목표

• 비연결된 일반화된 코호몰로지 이론, 특히 $K(n)$-이론에 대해 Eilenberg-Moore 스펙트럴 시퀀스의 수렴 문제를 해결한다.
• 클래식한 수렴이 실패하는 경우에도 수렴하는 정확한 호모토피 조건을 규명한다.
• $p$-국소 유한 포스트니코프 체계의 맥락에서 $K(n)$-기반 EMSS에 대해 강력한 수렴 프레임워크—인도-수렴—을 구축한다.
• 스펙트럴 시퀀스의 목표와 실제 섬유의 $K(n)$-호모로지 사이의 관계를 비연결 설정에서 명확히 한다.

제안 방법

• 기저 공간 $B$에 대해 이중 코바르 건축을 사용하여 $K(n)$-모듈러 스펙트럼의 타워 $T^\bullet(E_1,E_2)$를 구성한다.
• 유한 부분-CW-복합체 $E_1$와 $E_2$에 따라 인덱스가 매겨진 방향성 시퀀스로 EMSS를 분석함으로써, 인도-수렴 분석을 가능하게 한다.
• 인도-수렴의 개념을 적용하여, 비교 사상 $K(n)_*F \to \pi_*T^\bullet$ 가 인도-프로 아벨 군의 범주에서 동형임을 확인한다.
• Ravenel-Wilson의 $K_*(\underline{H}_*)$ 계산을 활용하여 $E^\infty$-페이지를 식별하고, 스펙트럴 시퀀스의 목표와 일치시킨다.
• 스틸레드 알제브라의 쌍대형과 $p$-진 자릿수 분해를 사용하여 $K(n)$-호모로지 클래스의 구조와 그 지속성의 성질을 분석한다.
• $E^\infty$-페이지 간의 비교와 각 총차수에서 유한 필터링이 안정화됨을 검증함으로써 수렴성을 확립한다.

실험 결과

연구 질문

• RQ1 비연결된 일반화된 코호몰로지 이론에 대해, 어떤 조건에서 $K(n)$-기반 Eilenberg-Moore 스펙트럴 시퀀스가 수렴하는가?
• RQ2 단순 연결 기저 공간일지라도 EMSS가 일부 경우에 수렴하지 못하는 이유는 무엇이며, 어떤 호모토피 장벽이 수렴을 방해하는가?
• RQ3 기저 공간에 대해 유한성과 $p$-국소성 조건을 부과함으로써, 비연결 설정에서 수렴을 복원할 수 있는가?
• RQ4 섬유의 $K(n)$-호모로지의 구조는 EMSS의 $E^\infty$-페이지와 어떻게 관련이 있는가?
• RQ5 EMSS에서 수렴의 정확한 성격(예: 프로-상수, 인도-수렴)은 무엇이며, 이는 고전적 수렴과 어떻게 다를까?

주요 결과

• 기저 공간 $B$가 $(n+1)$번째 호모토피 군이 자명한 $p$-국소 유한 포스트니코프 체계일 경우, $K(n)$-기반 EMSS는 항상 $K(n)_*F$로 인도-일致하게 수렴한다.
• 유한 CW-complexes $E_1$와 $E_2$에 대해 스펙트럴 시퀀스는 프로-상수로 수렴하며, 이는 $K(n)_*F$ 가 유한한 $K(n)_*$-모듈러임을 의미한다.
• EMSS의 $E^\infty$-페이지는 Ravenel-Wilson의 $K_*(\underline{H}_*)$ 계산과의 비교를 통해 섬유 $F$의 $K(n)$-호모로지와 동형임을 확인한다.
• 기저 공간의 $(n+1)$번째 호모토피 군이 자명하지 않으면 스펙트럴 시퀀스가 수렴하지 않으며, 이는 $K(\mathbb{Z}/2,2)$ 위의 경로-루프 필베이션의 반례로 입증된다.
• 스펙트럴 시퀀스 $\operatorname{Cotor}^{K(n)_*(\widetilde{\underline{H}}_t)}_{**}(K(n)_*,K(n)_*)\Rightarrow K(n)_*(\underline{H}_{t-1})$ 는 $t \neq n+1$ 일 때는 $2p^n$-상수로 수렴하지만, $t = n+1$ 일 때는 그렇지 않다.
• 타워 $T^\bullet$ 의 역극한으로부터 $K(n)_*F$ 에 대한 비교 사상은 인도-프로 범주에서 동형이며, 이는 인도-수렴을 확인한다.