[논문 리뷰] Equivariant Eilenberg-Mac Lane spectra in cyclic $p$-groups

Mingcong Zeng|arXiv (Cornell University)|2017. 10. 04.

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

한 줄 요약

이 논문은 순환 $p$-군에 대해 등변 Eilenberg-Mac Lane 스펙트럼 $H\underline{\mathbb{Z}}$의 RO(G)-중량 호모토피 매키 편지함수를 계산하며, $C_{p^2}$에 대해 완전한 계산을 제공한다. 등변 안정 호모토피 이론과 $\underline{\mathbb{Z}}$-모듈의 호모로지 대수학 사이의 깊은 연결 고리를 확립하여, $\underline{Ext}^i_{\underline{\mathbb{Z}}}(\underline{M}, \underline{\mathbb{Z}})$ 가 3차수를 제외하고는 영이 되며, 3차수에서는 $\underline{M}$의 수준별 쌍대($\underline{M}^E$)와 동형임을 보이고, $\underline{Ext}$와 $\underline{Tor}$ 가 $H\underline{\mathbb{Z}}$의 스트레칭의 등변 호모토피 군을 통해 실현됨을 증명한다. 주요 기여는 등변 스펙트럼과 매키 편지함수 호모로지 대수학 사이의 계산적 다리를 구축한 것이다.

ABSTRACT

In this paper we compute $RO(G)$-graded homotopy Mackey functors of $H\underline{\mathbb{Z}}$, the Eilenberg-Mac Lane spectrum of the constant Mackey functor of integers for cyclic p-groups and give a complete computation for $G = C_{p^2}$ . We also discuss homological algebra of $\underline{\mathbb{Z}}$-modules for cyclic $p$-groups, and interactions between these two. The goal of this paper is to understand various slice spectral sequences as $RO(G)$-graded spectral sequences of Mackey functors.

연구 동기 및 목표

• G = C_{p^2}에 대해 $RO(G)$-중량 호모토피 매키 편지함수 $\underline{\pi}_{\bigstar}(H\underline{\mathbb{Z}})$ 를 계산하여 Eilenberg-Mac Lane 스펙트럼의 등변 호모토피 군에 대한 완전한 기술을 제공한다.
• 특히 순환 $p$-군에 대해 등변 안정 호모토피 이론의 맥락에서 $\underline{\mathbb{Z}}$-모듈에 대한 호모로지 대수 기법을 개발하고 적용한다.
• 유도된 함자 $\underline{Ext}^*_{\underline{\mathbb{Z}}}$와 $\underline{Tor}^*_{\underline{\mathbb{Z}}}$와 $H\underline{\mathbb{Z}}$의 스트레칭의 등변 호모토피 군 사이의 정확한 대응 관계를 확립한다.
• $\underline{M}(G/e) = 0$일 때 $\underline{Ext}^i_{\underline{\mathbb{Z}}}(\underline{M}, \underline{\mathbb{Z}})$ 가 $i \neq 3$ 에서는 영이 되며, 3차수에서는 수준별 쌍대 $\underline{M}^E$ 와 동형임을 보여주는 $\underline{\mathbb{Z}}$-모듈 이론에서의 구조적 결과를 제시한다.

제안 방법

• $C_{p^2}$에 대해 $\underline{\pi}_{\bigstar}(H\underline{\mathbb{Z}})$ 의 계산은 등변 안정 호모토피 이론의 슬라이스 필터링과 스펙트럼 수열 기법에 기반한다.
• 논문은 $\underline{\mathbb{Z}}$-모듈 $\underline{M}$ 에 대해 $H\underline{M} \simeq S^V \wedge H\underline{\mathbb{Z}}$ 의 동치를 사용하여, 호모로지 대수학을 등변 호모토피 이론으로 번역한다.
• 이를 통해 $\underline{\mathbb{Z}}$-모듈과 $H\underline{\mathbb{Z}}$-모듈 사이에 퀠렌 유형의 동치를 수립하여, 안정 호모토피 이론적 도구를 대수적 계산에 활용할 수 있도록 한다.
• 유도된 함자 $\underline{Ext}^*_{\underline{\mathbb{Z}}}$ 와 $\underline{Tor}^*_{\underline{\mathbb{Z}}}$ 는 $H\underline{M} \simeq S^{V_1} \wedge H\underline{\mathbb{Z}}$ 이므로 $\underline{Ext}^i_{\underline{\mathbb{Z}}}(\underline{M}, \underline{N}) \cong \underline{\pi}_{-i}(S^{V_2 - V_1} \wedge H\underline{\mathbb{Z}})$ 라는 식별을 통해 계산된다.
• $\underline{Ext}^i_{\underline{\mathbb{Z}}}(\underline{M}, \underline{\mathbb{Z}})$ 가 $i \neq 3$ 에서 영이 되는 증명은 대수적 방법(유한 프로젝티브 차원)과 기하적 방법(등변 스펙트럼)을 모두 사용한다.
• Lewis 다이어그램과 제약/전이 사상들을 사용하여 비자명한 확장의 구체적 예를 구성하여, $\underline{Ext}^1_{\underline{\mathbb{Z}}}$ 에서의 비분할 확장 존재성을 보여준다.

실험 결과

연구 질문

• RQ1 $G = C_{p^2}$ 일 때 $RO(G)$-중량 호모토피 매키 편지함수 $\underline{\pi}_{\bigstar}(H\underline{\mathbb{Z}})$ 는 무엇인가?
• RQ2 $\underline{\mathbb{Z}}$-모듈에 대한 유도된 함자 $\underline{Ext}^*_{\underline{\mathbb{Z}}}$ 와 $\underline{Tor}^*_{\underline{\mathbb{Z}}}$ 는 $H\underline{\mathbb{Z}}$ 의 스트레칭의 등변 호모토피 군과 어떻게 관련이 있는가?
• RQ3 $\underline{M}(G/e) = 0$ 일 때 $\underline{Ext}^i_{\underline{\mathbb{Z}}}(\underline{M}, \underline{\mathbb{Z}})$ 의 구조는 무엇이며, 어떤 조건에서 영이 되는가?
• RQ4 비자명한 $\underline{\mathbb{Z}}$-모듈의 확장을 명시적으로 구성할 수 있으며, 그로 인해 $\underline{\mathbb{Z}}$-모듈의 범주에 대해 무엇을 밝혀내는가?
• RQ5 $\underline{\mathbb{Z}}$-모듈의 호모로지 대수학은 등변 안정 호모토피 이론의 슬라이스 스펙트럼 수열과 어떻게 상호작용하는가?

주요 결과

• $G = C_{p^2}$ 일 때, $RO(G)$-중량 호모토피 매키 편지함수 $\underline{\pi}_{\bigstar}(H\underline{\mathbb{Z}})$ 는 완전히 계산되었으며, 슬라이스 스펙트럼 수열의 기초 입력 자료로 기능한다.
• $\underline{M}(G/e) = 0$ 일 때, $\underline{Ext}^i_{\underline{\mathbb{Z}}}(\underline{M}, \underline{\mathbb{Z}})$ 는 $i \neq 3$ 에서는 영이며, $\underline{Ext}^3_{\underline{\mathbb{Z}}}(\underline{M}, \underline{\mathbb{Z}}) \cong \underline{M}^E$ 로서 $\underline{M}$ 의 수준별 쌍대이다.
• $\underline{Ext}^1_{\underline{\mathbb{Z}}}(\underline{\mathbb{Z}}_{1,0}, \underline{\mathbb{Z}}_{0,1})(G/G) \cong \mathbb{Z}/2$ 이며, 이는 $\underline{\mathbb{Z}}$-모듈의 범주에 비자명한 확장 존재를 확인한다.
• $\underline{\mathbb{Z}}_{1,0} \otimes_{\underline{\mathbb{Z}}} \underline{\mathbb{Z}}_{1,0}$ 에 대한 $\underline{Tor}^*_{\underline{\mathbb{Z}}}$ 계산은 $\underline{Tor}^0 \cong \underline{\mathbb{Z}}_{1,1} \oplus \underline{\mathbb{B}}_{0,1}$ 과 $\underline{Tor}^1 \cong \underline{\mathbb{B}}_{1,0}$ 을 가져오며, 고차수에서는 영이 된다.
• $\underline{Ext}^*_{\underline{\mathbb{Z}}}(\underline{M}, \underline{N}) \cong \underline{\pi}_{-*}(S^{V_2 - V_1} \wedge H\underline{\mathbb{Z}})$ 의 식별은 등변 스펙트럼을 통해 유도된 함자들의 기하적 실현을 제공한다.