[논문 리뷰] The Lubin-Tate stack and Gross-Hopkins duality

Sanath K. Devalapurkar|arXiv (Cornell University)|2017. 11. 13.

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

한 줄 요약

이 논문은 $K(n)$-국소 스펙트럼 이론의 핵심 결과를 재유도하고 개념적으로 설명하기 위해 루빈-타이트 스택 $\operatorname{Spf}E/\Gamma$를 활용한 유도적 대수기하학 프레임워크를 수립한다. 이는 허프킨스-마하울드-사도프스키 정리(최근 $K(n)$-국소 피카르 군에 관한 것)와 바르텔-보드리-스토야노스카의 고차 실 $K$-이론의 앤더슨 자기 dualit성에 대한 개념적 설명을 포함한다. 주요 기여는 루빈-타이트 스택 위의 선다발에 대한 단일화 작용을 통한 그로스-호프킨스 dualit성의 내림이론적 증명이다.

ABSTRACT

Morava $E$-theory $E$ is an $E_\infty$-ring with an action of the Morava stabilizer group $Γ$. We study the derived stack $\operatorname{Spf} E/Γ$. Descent-theoretic techniques allow us to deduce a theorem of Hopkins-Mahowald-Sadofsky on the $K(n)$-local Picard group, as well as a recent result of Barthel-Beaudry-Stojanoska on the Anderson duals of higher real $K$-theories.

연구 동기 및 목표

• 루빈-타이트 스택 $\operatorname{Spf}E/\Gamma$ 위에서 내림 이론적 기법을 사용하여 $K(n)$-국소 피카르 군에 관한 허프킨스-마하울드-사도프스키 정리를 재유도한다.
• 유도적 dualit성과 준구성층을 통한 기하적 해석을 통해 고차 실 $K$-이론, 특히 $EO_{p-1}$의 앤더슨 자기 dualit성에 대한 개념적 설명을 제공한다.
• 스펙트럼의 호모토피적 및 코homological 조건을 사용하여, 짝수 주기적 유도적 델 라이니-무르담 스택 위에서 이중화층을 식별하는 기준을 수립한다.
• 스펙트럼 열 계산과 HFPSS를 사용하여 $G=C_p$일 때 높이 $n(p-1)$에서의 스파너-화이트헤드 자기 dualit성 $E_{n(p-1)}^{hG}$를 증명한다.

제안 방법

• 유도적 대수기하학을 활용하여 $\operatorname{Spf}E/\Gamma$를 루빈-타이트 스택으로 해석함으로써 $K(n)$-국소 스펙트럼의 내림 이론적 분석이 가능하도록 한다.
• $\operatorname{QCoh}(\operatorname{Spf}E/\Gamma) \simeq L_{K(n)}\mathrm{Sp}$의 동치를 적용하여 준구성층과 $K(n)$-국소 카테고리 간의 관계를 규명한다.
• $\Gamma$가 $\operatorname{Spf}E/\Gamma$ 위의 선다발에 작용하는 단일화 작용을 구성함으로써, 사상 $\operatorname{Pic}_n \to H^1_c(\Gamma; E_0^\times)$를 기하학적으로 해석한다.
• 힐-홉킨스-레이븐델의 미분형 결과를 활용하여 $E_{n(p-1)}^{hC_p}$의 호모토피 고정점 스펙트럼 열(HFPSS)의 $E_2$-항을 계산한다.
• 토다 스타일의 미분형과 $d_{2p^i-1}$-미분형을 사용하여 $\delta_n^N \gamma$ 가 영구 순환임을 보이고, 이는 $DE^{hC_p} \simeq \Sigma^k E^{hC_p}$를 유도한다.
• 레일라-호크쉬لد-세르 스펙트럼 열을 활용하여 $C_p$에서 일반적인 유한부분군 $G \subset \Gamma$로의 결과를 확장한다. 여기서 $C_p$는 $G$의 시로우 $p$-부분군이다.

실험 결과

연구 질문

• RQ1 루빈-타이트 스택 위에서 내림 이론을 사용하여 $K(n)$-국소 피카르 군에 관한 허프킨스-마하울드-사도프스키 정리를 어떻게 재유도할 수 있는가?
• RQ2 $\operatorname{Pic}_n \to H^1_c(\Gamma; E_0^\times)$ 사상은 $\operatorname{Spf}E/\Gamma$ 위의 선다발에 대한 단일화 작용으로서 어떻게 기하학적으로 해석될 수 있는가?
• RQ3 $L_{K(n)}I_{\mathbf{Z}}EO_{p-1} \simeq \Sigma^{(p-1)^2 - 1}EO_{p-1}$가 성립하는 이유는 무엇이며, 고차 실 $K$-이론에서의 앤더슨 자기 dualit성의 기하학적 근본 이유는 무엇인가?
• RQ4 스펙트럼 열 방법과 HFPSS를 통해 $E_{n(p-1)}^{hC_p}$의 스파너-화이트헤드 자기 dualit성은 어떻게 증명할 수 있는가?
• RQ5 스펙트럼 $R$가 $\operatorname{Spec}S$에 대한 이중화층이 되기 위한 조건은 무엇이며, 이를 호모토피적 자료를 통해 어떻게 탐지할 수 있는가?

주요 결과

• $\operatorname{QCoh}(\operatorname{Spf}E/\Gamma) \simeq L_{K(n)}\mathrm{Sp}$의 동치가 확립되어, $K(n)$-국소 스테이블 호모토피 이론에 대한 유도 기하학적 해석이 가능해진다.
• 허프킨스-마하울드-사도프스키 정리는 $\operatorname{Spf}E \to \operatorname{Spf}E/\Gamma$의 에탈 커버를 따라 내림 이론적 문장으로 재유도된다.
• $\operatorname{Pic}_n \to H^1_c(\Gamma; E_0^\times)$ 사상은 $\operatorname{Spf}E/\Gamma$ 위에서 $K(n)$-국소적으로 가역인 스펙트럼에 대응하는 선다발에 대한 단일화 작용으로 해석된다.
• 기준이 증명된다: $p$-완비 스펙트럼 $R$는 $\operatorname{Spec}S$에 대한 이중화층이 되는 것과 동치이며, $\operatorname{Map}(H\mathbf{Z}/p, R) \simeq \Sigma^{-1}H\mathbf{Z}/p$를 만족한다.
• $E_{n(p-1)}^{hC_p}$의 스파너-화이트헤드 자기 dualit성은 HFPSS에서 $\delta_n^N \gamma$ 가 영구 순환임을 보여서 증명된다. 이는 $DE^{hC_p} \simeq \Sigma^k E^{hC_p}$를 유도한다.
• 노름 불변성에 기반하여 HFPSS를 통해 결과는 $C_p$를 시로우 $p$-부분군으로 가지는 모든 유한부분군 $G \subset \Gamma$로 확장된다.