[논문 리뷰] The Picard group in equivariant homotopy theory via stable module categories

Achim Krause|arXiv (Cornell University)|2020. 08. 12.

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

한 줄 요약

이 논문은 등변 안정 호모토피 이론에서 밀도가 높은 물체에 대한 새로운 등방성 분리 메커니즘을 소개한다. 안정 모듈러 범주를 사용하여 기하적 고정점과 웨일 군 안정 모듈러 범주에서의 붙임 데이터를 통해 역행 가능한 $G$-스펙트럼을 기술한다. 주요 기여는 $G = A_5$에 대한 피카르 군의 완전한 계산으로, 이는 표현 구면과 특정 차원 함수를 가진 이국적인 역행 가능한 스펙트럼에 의해 생성되며, 이는 모듈로 조건에 의해 제약을 받는다.

ABSTRACT

We develop a mechanism of "isotropy separation for compact objects" that explicitly describes an invertible $G$-spectrum through its collection of geometric fixed points and gluing data located in certain variants of the stable module category. As an application, we carry out a complete analysis of invertible G-spectra in the case $G=A_5$. A further application is given by showing that the Picard groups of $\mathrm{Sp}^G$ and a category of derived Mackey functors agree.

연구 동기 및 목표

• 기하적 고정점과 안정 모듈러 범주에서의 붙임 데이터를 사용하여 역행 가능한 $G$-스펙트럼을 기술하는 카테고리적 프레임워크를 개발한다.
• 차원 함수와 모듈로 제약 조건을 통한 역행 가능한 $A_5$-스펙트럼의 완전한 분류를 제공한다.
• 진정한 $G$-스펙트럼의 피카르 군과 웨일 군과 관련된 안정 모듈러 범주의 피카르 군 간의 정확한 연결 고리를 확립한다.
• 스펙트럼의 피카르 군 $\operatorname{Sp}^G$가 $H\mathbb{Z}_G$의 올림을 통해 유도 매크리 함수 범주 $\operatorname{Mod}_{\operatorname{Sp}^G}(H\mathbb{Z}_G)$의 피카르 군과 일치함을 보인다.

제안 방법

• 기하적 고정점과 웨일 군의 안정 모듈러 범주를 통해 $\operatorname{Pic}(\operatorname{Sp}^G)$를 분해하는 1-카테고리 다이어그램을 도입한다.
• 등방성 분리 프레임워크를 사용하여 기하적 고정점과 $\operatorname{StMod}(\mathbb{Z}W_G(K))$에서의 붙임 동형사상으로부터 역행 가능한 $G$-스펙트럼을 순환적으로 재구성한다.
• 차원 호모모르피즘 $\operatorname{Pic}(\operatorname{Sp}^G) \to \prod_{\operatorname{Orb}(G)} \mathbb{Z}$를 적용하고, 부분군의 몫군 $C_p \times C_p$에서의 제약 조건을 분석한다.
• 다이드랄 군 $D_{2p}$의 테이트 코hom로지의 4주기성을 활용하여 $\operatorname{StMod}(\mathbb{Z}D_{2p})$에서의 차원 함수 실현 가능성 결정한다.
• 스미스 정규형을 사용하여 $\mathcal{D}(A_5)$에서 실현 가능한 일반화된 차원 함수의 부분군에 대한 기저를 계산한다.
• 특히 $p=3$과 $p=5$에 대해 시로우 부분군과 정규화군으로의 제약 조건을 검토하여 실현 가능성 조건을 검증한다.

실험 결과

연구 질문

• RQ1 진정한 $A_5$-스펙트럼의 피카르 군의 구조는 무엇이며, 차원 함수와 어떻게 관련되어 있는가?
• RQ2 $A_5$에서 실현 가능한 일반화된 차원 함수는 무엇인가?
• RQ3 웨일 군의 안정 모듈러 범주는 어떻게 역행 가능한 $G$-스펙트럼의 붙임 데이터를 제어하는가?
• RQ4 스펙트럼의 피카르 군은 웨일 군의 안정 모듈러 범주로부터 순수하게 계산될 수 있는가?
• RQ5 $D_{2p}$의 테이트 코호몰로지에서의 4주기성은 어떻게 역행 가능한 $G$-스펙트럼을 제약하는가?

주요 결과

• 스펙트럼의 피카르 군 $\operatorname{Sp}^{A_5}$는 $\mathbb{Z}^7$와 동형이며, 일곱 개의 독립적인 역행 가능한 스펙트럼에 의해 생성된다.
• 첫 네 개의 기저 원소는 $A_5$의 자명한, 4차원, 5차원, 3차원 기약 표현의 표현 구면에 해당한다.
• 남은 네 개의 기저 원소는 이국적인 것으로, 기하학적으로 구성 가능하지 않으며, 자명한 부분군에서 비자명한 $\mathbb{Z}/4$-값을 가진 붙임 데이터를 가진 차원 함수에 해당한다.
• 차원 함수 $d_{A_5} = 1$이고 모든 $H \neq A_5$에 대해 $d_H = 0$인 경우는 실현 가능하며, 이는 모든 진부한 부분군에서 고정점이 자명한 비자명한 역행 가능한 스펙트럼이 존재함을 시사한다.
• 일반화된 차원 함수 $d$의 실현 가능성은 파리 조건과 모듈로 4에서의 정수 방정식을 포함한 아홉 개의 조건에 의해 결정되며, 특히 $d_e - 3d_{C_2} + 2d_{C_2 \times C_2} = 0$와 $d_e - 2d_{C_2} - d_{C_3} + 2d_{D_6} \equiv 0 \pmod{4}$가 포함된다.
• 스펙트럼의 피카르 군 $\operatorname{Sp}^G$는 $\operatorname{Mod}_{\operatorname{Sp}^G}(H\mathbb{Z}_G)$의 피카르 군과 일치하며, 이는 피카르 군이 $\pi_0(H\mathbb{Z}) = \mathbb{Z}$에만 의존한다는 것을 보여준다.