[논문 리뷰] Equivariant local coefficients and the RO(G)-graded cohomology of classifying spaces

Megan Elizabeth Shulman|arXiv (Cornell University)|2014. 05. 07.

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

한 줄 요약

이 논문은 국소 계수를 갖는 RO(G)-중급 Bredon 코hom로의 등변 스펙트럴 시퀀스를 개발하며, 고전적인 Serre 스펙트럴 시퀀스 기법을 등변 설정으로 확장한다. 이는 Lewis(1988)가 복소 프로젝티브 공간의 코homology에 대해 잘못된 증명을 제시한 데 대한 수정이며, 새로운 스펙트럴 시퀀스를 활용해 $B_{C_p}O(2)$의 RO(C_p)-중급 코homology를 계산하여, 그 스펙트럴 시퀀스의 구조를 $
\mathbb{Z}[p_1, \alpha, \beta]/(2\alpha=0, 2\beta=0, \beta^2 = p_1\alpha)$ 위의 등급 대수로 완전히 기술한다.

ABSTRACT

This thesis consists of two main parts. In the second part, we recall how a description of local coefficients that Eilenberg introduced in the 1940s leads to spectral sequences for the computation of homology and cohomology with local coefficients. We then show how to construct new equivariant analogues of these spectral sequences for RO(G)-graded Bredon homology and cohomology. Finally, we use these spectral sequences to complete a sample calculation, in which we use the equivariant Serre spectral sequence and the equivariant cohomology of complex projective spaces to compute the cohomology of the equivariant classifying space B_Cp O(2). However, to complete this sample computation, we need to know the cohomology of complex projective space. This calculation was done in a 1988 paper by Gaunce Lewis, but relies on a theorem whose proof as given was incorrect. We spend the first part of this thesis providing a correct proof and summarizing the results of Lewis's paper.

연구 동기 및 목표

• RO(G)-중급 Bredon 코homology에서 기본적인 계산의 부족 문제를 해결하기 위해, 특히 $G = C_p$의 경우에 대해.
• Lewis(1988)에서 복소 프로젝티브 공간의 등변 코homology에 관한 잘못된 보조정리 수정.
• RO(G)-중급 Bredon 코homology에 대한 국소 계수를 갖는 등변 Serre 스펙트럴 시퀀스를 구축하고 적용하기 위해.
• 이러한 도구를 사용하여 $B_{C_p}O(2)$의 RO(C_p)-중급 코homology를 계산하기 위해.
• 결과로 얻어진 코homology 링의 스펙트럴 구조를 확립하기 위해.

제안 방법

• 국소 계수의 Eilenberg 프레임워크를 등변 설정으로 일반화하여, RO(G)-중급 Bredon 코hom로의 스펙트럴 시퀀스를 가능하게 한다.
• Mackey 함수자 값 계수와 상자 곱을 사용하여 Serre 스펙트럴 시퀀스의 등변 대응체를 구성한다.
• Lewis의 핵심 보조정리에 대한 새로운 증명을 통해 $\mathbb{C}P(\mathcal{U}_\mathbb{C}) = B_{C_p}SO(2)$의 등변 코homology를 입력 자료로 사용한다.
• 스펙트럴 시퀀스를 $B_{C_p}O(2) \to B_{C_p}\mathbb{Z}/2$의 피브레이션에 적용하며, 여기서 섬유는 $B_{C_p}SO(2)$이다. $\operatorname{Ext}$ 군을 통해 $\mathbb{Z}[\mathbb{Z}/2]$ 위에서 $E_2$ 페이지를 계산한다.
• Leibniz 법칙과 토르션 고려를 통해 미분형과 확장 문제를 분석하고, 스펙트럴 시퀀스를 $E_\infty$에서 해소한다.
• 스펙트럴 시퀀스에서 유도된 생성자와 관계를 통해 최종 코homology 링의 스펙트럴 구조를 식별한다.

실험 결과

연구 질문

• RQ1 국소 계수 체계는 어떻게 RO(G)-중급 설정으로 일반화될 수 있는가?
• RQ2 Lewis(1988)에서 $B_{C_p}SO(2)$의 코homology에 관한 핵심 보조정리의 올바른 증명은 무엇인가?
• RQ3 Serre 스펙트럴 시퀀스는 어떻게 RO(G)-중급 Bredon 코homology에 대한 국소 계수를 갖는 등변 설정으로 조정될 수 있는가?
• RQ4 $H^*_{C_p}(B_{C_p}O(2); \mathbb{Z})$의 스펙트럴 구조는 무엇인가?
• RQ5 스펙트럴 시퀀스의 확장 문제와 미분형은 최종 코homology 링에 어떻게 영향을 미치는가?

주요 결과

• $\mathbb{Z}$ 계수를 갖는 $B_{C_p}O(2)$의 코homology는 $H^*_{C_p}(B_{C_p}O(2); \mathbb{Z}) \cong \mathbb{Z}[p_1, \alpha, \beta]/(2\alpha = 0, 2\beta = 0, \beta^2 = p_1\alpha)$로 계산되며, 이는 $\mathbb{Z}$ 위의 등급 대수이다.
• 스펙트럴 시퀀스는 $E_2$에서 붕괴하며, 차원 제약 조건으로 인해 $d_3$ 이외의 모든 미분형이 0이 된다.
• $H^2 \cong \mathbb{Z}/2$ 는 $\alpha$에 의해 생성되며, $H^3 \cong \mathbb{Z}/2$ 는 $\beta$에 의해 생성되며, $H^4 \cong \mathbb{Z} \oplus \mathbb{Z}/2$ 이며, $\mathbb{Z}$ 합성은 $p_1$에 의해 생성된다.
• $H^4$의 확장 문제는 $\mathbb{Z}$의 프로젝티브 성질로 인해 분리되며, 직접 합성 분해가 가능하다.
• $\alpha p_1 = \beta^2$ 관계는 적절한 생성자 변경 이후에 달성되며, 이는 스펙트럴 시퀀스의 필터링과 일관성을 확보한다.
• 최종 코homology 링의 구조는 $E_2$ 페이지, 스펙트럴 시퀀스의 붕괴, 그리고 확장 문제의 해소를 통해 완전히 결정된다.