[논문 리뷰] The homotopy of the K(2)-local Moore spectrum at the prime 3 revisited

Hans-Werner Henn, Nasko Karamanov외 1명|2008. 11. 03.

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

한 줄 요약

이 논문은 군 $ꈑ$에 대한 자명한 $\mathbb{Z}_3$-모듈러의 유한 순열 해상에 기반한 새로운 대수적 접근을 사용하여 소수 3에서 $K(2)$-국소화 무어 스펙트럼의 호모토피 군을 재검토한다. 이 방법은 문제를 $K(2)$-국소화된 위상적 모듈러 형식(TMF)과 관련된 다루기 쉬운 조각들로 분해함으로써 애드민스-노비코프 미분의 더 정밀하고 체계적인 결정을 가능하게 한다. 주요 결과는 $\pi_*(L_{K(2)}V(0))$가 $\mathbb{F}_3[v_2^{\pm 9}, \beta] \otimes \Lambda(\zeta)$-모듈로써 정밀하게 기술된 것으로, 명시적인 $d_5$ 및 $d_9$ 미분과 쇠미무라의 이전 계산보다 더 정확하고 구체적인 구조를 포함한다.

ABSTRACT

In this paper we use the approach introduced in an earlier paper by Goerss, Henn, Mahowald and Rezk in order to analyze the homotopy groups of L_{K(2)}V(0), the mod-3 Moore spectrum V(0) localized with respect to Morava K-theory K(2). These homotopy groups have already been calculated by Shimomura. The results are very complicated so that an independent verification via an alternative approach is of interest. In fact, we end up with a result which is more precise and also differs in some of its details from that of Shimomura. An additional bonus of our approach is that it breaks up the result into smaller and more digestible chunks which are related to the K(2)-localization of the spectrum TMF of topological modular forms and related spectra. Even more, the Adams-Novikov differentials for L_{K(2)}V(0) can be read off from those for TMF.

연구 동기 및 목표

• 이전에 쇠미무라에 의해 계산되었지만 매우 복잡한 $p=3$에서의 $L_{K(2)}V(0)$의 호모토피 군에 대해 독립적이고 더 체계적인 검증을 제공하는 것.
• 호모토피 군을 $K(2)$-국소화된 위상적 모듈러 형식(TMF) 스펙트럼의 국소화와 연관시켜 문제를 더 작은, 해석 가능한 구성요소들로 분해하는 방법을 개발하는 것.
• 유한하고 자기쌍대적인 순열 해상 $0 \to C_3 \to C_2 \to C_1 \to C_0 \to \mathbb{Z}_3 \to 0$을 이용하여 자명한 $ꈑ$-모듈러에 대해 $ꈑ^1$에 대해 구성된 해상에 기반해 군 코homology를 효율적으로 계산할 수 있는 대수적 스펙트럼 수열을 구축하고 적용하는 것.
• 이 해상에 관련된 스펙트럼 수열의 $E_1$-페이지에서의 애드민스-노비코프 미분 $d_5$ 및 $d_9$를 결정함으로써 $E_\infty$-페이지의 더 정밀한 기술을 이끌어내는 것.

제안 방법

• 저자들은 [5]에서 구성된 군 $ꈑ^1$에 대한 자명한 $ꈑ$-모듈러에 대한 유한하고 자기쌍대적인 순열 해상 $0 \to C_3 \to C_2 \to C_1 \to C_0 \to \mathbb{Z}_3 \to 0$을 사용하며, 여기서 $C_0 = C_3 = \mathbb{Z}_3[[\uA211^1/G_{24}]]$ 이고 $C_1 = C_2 = \mathbb{Z}_3[[\uA211^1]] \otimes_{\mathbb{Z}_3[SD_{16}]} \chi$이다.
• 이 해상을 $\uA211^1$-모듈러 $M = (E_2)_*V(0)$에 적용하여 대수적 스펙트럼 수열 $E_1^{s,t} = \mathrm{Ext}_{\mathbb{Z}_3[[\uA211^1]]}^t(C_s, M) \Rightarrow H^{s+t}(\uA211^1, M)$을 도출한다. 이 수열은 $L_{K(2)}V(0)$의 애드민스-노비코프 스펙트럼 수열의 $E_2$-페이지를 계산한다.
• $E_1$-항은 $G_{24}$ 및 $SD_{16}$의 군 코homology를 통해 계산되며, $H^*(G_{24}, M) \cong \mathbb{F}_3[[v_1^6\Delta^{-1}]][\Delta^{\pm 1}, v_1, \beta, \alpha, \widetilde{\alpha}]/(\alpha^2, \widetilde{\alpha}^2, v_1\alpha, v_1\widetilde{\alpha}, \alpha\widetilde{\alpha} + v_1\beta)$ 이고, $\mathrm{Hom}_{\mathbb{Z}_3[SD_{16}]}(\chi, M) \cong \omega^2 u^4 \mathbb{F}_3[[u_1^4]][v_1, u^{\pm 8}]$ 이다.
• 스펙트럼 수열의 구조와 차수 고려를 통해 $d_5$ 및 $d_9$ 미분을 명시적으로 계산하며, 이는 $k \mod 9$에 따라 비영이 되며, 결과는 $E_\infty$-페이지를 계산하는 데 사용된다.
• 최종 결과는 $P = \mathbb{F}_3[v_2^{\pm 9}, \beta] \otimes \Lambda(\zeta)$ 위의 모듈러의 직접합으로 표현되며, $v_2^k e_0$, $v_2^k \alpha e_0$ 등 생성자들에 대해 특정한 관계와 토피컬 조건이 있으며, $\beta$-토르션의 순서는 생성자에 따라 2, 3, 4, 또는 5이다.
• 저자들은 $L_{K(2)}V(0)$의 미분을 $TMF$의 것과 연결하여, $L_{K(2)}V(0)$의 애드민스-노비코프 미분을 $TMF$의 것에서 직접 읽어낼 수 있도록 한다.

실험 결과

연구 질문

• RQ1 어떻게 $K(2)$-국소화 무어 스펙트럼 $L_{K(2)}V(0)$의 호모토피 군을 $TMF$와 관련된 더 다루기 쉬운 조각들로 분해하는 방법을 사용하여 재계산할 수 있는가?
• RQ2 애드민스-노비코프 스펙트럼 수열의 정확한 구조, 특히 $d_5$ 및 $d_9$ 미분은 무엇이며, 쇠미무라의 원래 계산과 어떻게 다를 수 있는가?
• RQ3 $V(0)$의 $K(2)$-국소화 호모토피는 위상적 모듈러 형식(TMF) 스펙트럼의 $K(2)$-국소화를 통해 어느 정도 이해될 수 있는가?
• RQ4 자기쌍대적인 유한 순열 해상에 의한 자명한 $ꈑ$-모듈러의 $ꈑ^1$에 대한 적용은 호모토피 군 계산의 계산 가능성과 정밀도를 어떻게 향상시키는가?

주요 결과

• $L_{K(2)}V(0)$의 호모토피 군은 $P = \mathbb{F}_3[v_2^{\pm 9}, \beta] \otimes \Lambda(\zeta)$ 위의 모듈러의 직접합으로 표현되며, 생성자로 $v_2^k e_0$, $v_2^k \alpha e_0$, $v_2^k \omega^2 u^{-4} \beta e_0$, $v_2^k \omega^2 u^{-4} \alpha e_0$, $\Sigma^{48} v_2^k e_3$, $v_2^{k+2} \omega^2 u^{-4} e_2$, $\Sigma^{48} v_2^k \omega^2 u^{-4} e_3$, $\Sigma^{48} v_2^k \omega^2 u^{-4} \alpha e_3$ 가 있으며, 각 생성자에 대해 $\beta$-토르션의 순서가 다름.
• $d_5$ 미분은 $k \mod 9$에 따라 비영이 되며, $k \equiv 2,3,4,6,7,8 \mod 9$일 때 $d_5(v_2^k e_0) = \pm v_2^{k-2} \omega^2 u^{-4} \alpha \beta^2 e_0$ 이고, 다른 생성자들에 대해서도 유사한 비영이 되는 경우가 있음.
• $d_9$ 미분은 $k \equiv 3,4,8 \mod 9$일 때 $v_2^k \alpha e_0$, $v_2^k \omega^2 u^{-4} \alpha e_0$, $v_2^{k+2} \omega^2 u^{-4} e_2$, $\Sigma^{48} v_2^k \omega^2 u^{-4} \alpha e_3$ 에서만 비영이 되며, 이 경우 $d_9(v_2^k \alpha e_0) = \pm v_2^{k-3} \beta^5 e_0$ 이다.
• 스펙트럼 수열의 $E_\infty$-페이지는 $\pi_*(L_{K(2)}V(0))$와 동형이며, 최종 구조는 쇠미무라의 결과와 비교해 복잡성과 토피컬 구조에서 더 정밀하고 세부적으로 다름.
• $L_{K(2)}V(0)$의 미분은 $TMF$의 것에서 유도될 수 있으며, $V(0)$의 호모토피와 위상적 모듈러 형식 이론 사이의 직접적인 연결 고리를 확립한다.
• 저자들은 $v_1^6 \Delta^{-1}$ 가 $G_{24}$-불변이며, $u_1^4$ 가 $SD_{16}$-불변임을 확인하였으며, 관련 코homology 링은 특성 3에서의 모듈러 형식의 링의 완비화임을 확인하였으며, 예를 들어 $\mathcal{M}_3 = \mathbb{F}_3[\Delta^{\pm 1}, v_1]$ 와 같다.