[논문 리뷰] Rational $G$-spectra for profinite $G$

Danny Sugrue|arXiv (Cornell University)|2019. 10. 28.

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

한 줄 요약

이 논문은 $G$가 프로파인트 군일 때, $G$의 닫힌 부분군들의 공간 $SG$ 위에서 $\mathbb{Q}$-모듈의 와일-$G$-층의 체인 복합체를 사용하여 유리 $G$-스펙트럼에 대한 대수적 모델을 수립한다. 주요 기여는 이 범주—따라서 유리 $G$-맥케이 함수의 범주—의 임베딩 차원이 $SG$의 칸토어-벤디크슨 랭크에 의해 결정됨을 보여주는 것으로, $SG$가 산란되고 유한한 경우 임베딩 차원은 $\operatorname{CB\text{-}rank}(SG) - 1$와 같고, 그 외의 경우 무한대이다.

ABSTRACT

In this thesis we will investigate rational G-spectra for a profinite group G. We will provide an algebraic model for this model category whose injective dimension can be calculated in terms of the Cantor-Bendixson rank of the space of closed subgroups of G, denoted SG. The algebraic model we consider is chain complexes of Weyl-G-sheaves of rational vector spaces over the spaces. The key step in proving that this is an algebraic model for G-spectra is in proving that the category of rational G-Mackey functors is equivalent to Weyl-G-sheaves. In addition to the fact that this sheaf description utilises the topology of G and the closed subgroups of G in a more explicit way than Mackey functors do, we can also calculate the injective dimension. In the final part of the thesis we will see that the injective dimension of the category of Weyl-G-sheaves can be calculated in terms of the Cantor-Bendixson rank of SG, hence giving the injective dimension of the category of Mackey functors via the earlier equivalence.

연구 동기 및 목표

• 프로파인트 군 $G$에 대해 유리 $G$-스펙트럼의 호모토피 범주의 대수적 모델을 개발하는 것.
• $G$의 닫힌 부분군들의 공간 $SG$ 위에서의 층 이론적 구조에 대해 유리 $G$-맥케이 함수를 기술하는 것.
• 유리 $G$-맥케이 함수 범주의 임베딩 차원을 $SG$의 위상적 불변량, 특히 칸토어-벤디크슨 랭크를 사용하여 계산하는 것.
• 유리 $G$-맥케이 함수와 $\mathbb{Q}$-모듈의 와일-$G$-층 간의 동치를 확립하여 호몰로지 대수 기법을 가능하게 하는 것.

제안 방법

• 유리 $G$-맥케이 함수의 범주와 $SG$ 위에서의 $\mathbb{Q}$-모듈의 와일-$G$-층의 범주 간의 동치를 구축하는 것.
• $G$-동차 고데멘트 분해를 사용하여 $\mathbb{Q}$-모듈의 $G$-층의 임베딩 분해를 계산하는 것.
• 프로파인트 군 $G$-공간 $SG$의 칸토어-벤디크슨 랭크를 위상적 불변량으로 정의하여 층 범주의 임베딩 차원을 유계화하는 것.
• 만약 $SG$가 산란되어 있고 유한한 랭크를 가진다면, $SG$ 위에서의 와일-$G$-층의 임베딩 차원이 $\operatorname{CB\text{-}rank}(SG) - 1$임을 증명하는 것.
• 맥케이 함수와 와일-$G$-층 간의 동치를 적용하여, 임베딩 차원 결과를 유리 $G$-맥케이 함수의 범주로 이전하는 것.
• 버누즈 링의 구조와 버누즈 링 내의 아이디포텐트를 사용하여 맥케이 함수의 분해를 분석하는 것.

실험 결과

연구 질문

• RQ1 프로파인트 군 $G$에 대해 유리 $G$-스펙트럼은 어떻게 층 이론적 구조를 사용하여 대수적으로 모델링할 수 있는가?
• RQ2 유리 $G$-맥케이 함수의 범주의 임베딩 차원은 무엇이며, 이는 $SG$의 위상과 어떻게 관련이 있는가?
• RQ3 유리 $G$-맥케이 함수의 범주는 $SG$ 위에서의 층의 범주로 동치적으로 기술될 수 있는가?
• RQ4 왜 $SG$의 칸토어-벤디크슨 랭크가 유리 $G$-스펙트럼의 호몰로지 성질을 제어하는가?
• RQ5 프로파인트 군 $G$에 대해 $SG$ 위에서의 $G$-동차 $\mathbb{Q}$-모듈의 층의 임베딩 차원은 얼마인가?

주요 결과

• 유리 $G$-맥케이 함수의 범주는 $SG$ 위에서의 $\mathbb{Q}$-모듈의 와일-$G$-층의 범주와 동치이며, 이는 맥케이 함수의 층 이론적 기술을 제공한다.
• 만약 $SG$가 산란되어 있고 칸토어-벤디크슨 랭크가 유한한 경우, $SG$ 위에서의 $\mathbb{Q}$-모듈의 와일-$G$-층의 범주의 임베딩 차원은 $\operatorname{CB\text{-}rank}(SG) - 1$와 같다.
• 만약 $SG$의 칸토어-벤디크슨 랭크가 무한대라면, $SG$ 위에서의 와일-$G$-층의 임베딩 차원은 무한대이다.
• 만약 $G = \mathbb{Z}_p$이면, $SG$의 칸토어-벤디크슨 랭크는 2이므로, 유리 $G$-스펙트럼의 대수적 모델의 임베딩 차원은 1이다.
• 유한군 $G$의 경우 $SG$는 이산적이고 유한하므로 $\operatorname{CB\text{-}rank}(SG) = 1$이며, 대수적 모델의 임베딩 차원은 0이다.
• 만약 $G = \prod_{i=1}^n \mathbb{Z}_{p_i}$이면, $SG$의 칸토어-벤디크슨 랭크는 $n+1$이므로, 대수적 모델의 임베딩 차원은 $n$이다.