[논문 리뷰] Homotopy groups of $E_{C}^{hG_{24}}\wedge A_1$

Viet‐Cuong Pham|arXiv (Cornell University)|2018. 11. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 26인용 수 2

한 줄 요약

이 논문은 호모토피 고정점 스펙트럼 시퀀스(HFPSS)를 사용하여 스펙트럼 $E_{C}^{hG_{24}} \wedge A_1$의 호모토피 군을 계산한다. 여기서 $A_1$는 모듈로 2 코homology가 랭크 1의 자유 $A(1)$-모듈과 동형인 유한 스펙트럼이며, $E_C$는 $
mathbb{F}_4$ 위의 초특이 타원곡선 $y^2 + y = x^3$에 대응하는 두 번째 모라바 E-이론이다. 주요 결과는 HFPSS가 $E_{C}^{hG_{24}} \wedge A_1$의 호모토피 군으로 수렴하며, 광범위한 미분과 주기성을 통해 $
pi_*$-군을 계산하고, $W(\mathbb{F}_4) \otimes_{\mathbb{Z}_2} \pi_*(\mathrm{tmf} \wedge A_1)/(κ, \nu)$와 $\pi_*(E_{C}^{hG_{24}} \wedge A_1)$ 사이의 동형을 96–192 스템에서 확립한다.

ABSTRACT

Let $A_1$ be any spectrum in a class of finite spectra whose mod $2$ cohomology is isomorphic to a free module of rank one over the subalgebra $\mathcal{A}(1)$ of the Steenrod algebra. Let $E_{C}$ be the second Morava-$E$ theory associated to a universal deformation of the formal completion of the supersingular elliptic curve $(C) : y^{2}+y = x^{3}$ defined over $\mathbb{F}_{4}$ and $G_{24}$ a maximal finite subgroup of automorphism group $\mathbb{S}_{C}$ of the formal completion of $C$. In this paper, we compute the homotopy groups of $E_{C}^{hG_{24}}\wedge A_1$ by means of the homotopy fixed point spectral sequence.

연구 동기 및 목표

• 모듈로 2 코homology가 $A(1)$-자유인 유한 스펙트럼 $A_1$를 갖는 $E_C^{hG_{24}} \wedge A_1$의 소수 2에서의 호모토피 군을 계산하는 것.
• 호모토피 고정점 스펙트럼 시퀀스(HFPSS)를 활용하여 소수 2에서 $K(2)$-국소 호모토피 범주의 구조를 이해하는 것.
• 스펙트럼 시퀀스 기법을 통해 $E_C^{hG_{24}} \wedge A_1$와 $\mathrm{tmf} \wedge A_1$의 호모토피 군 간 비교를 수립하는 것, 특히 $\kappa$와 $\nu$에 모odulo한 경우.
• HFPSS의 미분을 분석하고, 특정 클래스들이 $E_\infty$-항에 생존함을 증명하여 결과적으로 얻어지는 호모토피 군의 비자명성을 확보하는 것.

제안 방법

• 형식적 완비화된 초특이 타원곡선 $C: y^2 + y = x^3$의 자동사상군의 최대 유한부분군인 $G_{24}$에 대해 $E_C^{hG_{24}} \wedge A_1$의 호모토피 고정점 스펙트럼 시퀀스(HFPSS)를 활용한다.
• Davis-Mahowald 스펙트럼 시퀀스를 적용하여 $A_1$의 $A(2)^*$-코모듈 구조를 분석하고, 그 $A(1)$-자유 코homology를 활용하여 $E_2$-항을 계산한다.
• $\mathrm{tmf} \wedge A_1$에 대한 애드암 스펙트럼 시퀀스(АSS)를 사용하여 $\pi_*(\mathrm{tmf} \wedge A_1)/(\kappa, \nu)$를 계산하며, 흐물한 성격과 $\nu$-선형성을 활용하여 생존하는 클래스를 탐지한다.
• 특히 $d_2$, $d_3$, $d_4$ 미분을 분석하고, $\kappa$- 및 $\nu$-선형성과 $g$-곱의 작용을 이용하여 어떤 클래스가 생존하거나 사라지는지 결정한다.
• $\pi_*(E_C^{hG_{24}} \wedge A_1)$의 $\Delta^8$-주기성을 활용하여 96–144 스템에서의 결과를 144–192 스템으로 확장하고, 스펙트럼 시퀀스가 $W(\mathbb{F}_4) \otimes_{\mathbb{Z}_2} \pi_*(\mathrm{tmf} \wedge A_1)/(\kappa, \nu)$로 수렴함을 증명한다.
• HFPSS의 그림(22–29)을 구성하고 해석하며, $E_7$-항 이후부터 생존 클래스(•)와 미분(◦)을 표시한다. 주로 5.3.10조의 성질에서 유도된 생성자에 집중한다.

실험 결과

연구 질문

• RQ1 소수 2에서 $E_C^{hG_{24}} \wedge A_1$의 호모토피 군은 무엇이며, $\mathrm{tmf} \wedge A_1$의 군과 어떻게 관련이 있는가?
• RQ2 $E_C^{hG_{24}} \wedge A_1$의 HFPSS에서의 미분은 클래스의 수렴에 어떤 영향을 미치며, 어떤 클래스들이 $E_\infty$-항에 생존하는가?
• RQ3 $\pi_*(E_C^{hG_{24}} \wedge A_1)$의 $\Delta^8$-주기성은 낮은 스템에서의 결과를 더 높은 스템으로 확장하는 데 얼마나 기여하는가?
• RQ4 HFPSS를 통해 $W(\mathbb{F}_4) \otimes_{\mathbb{Z}_2} \pi_*(\mathrm{tmf} \wedge A_1)/(\kappa, \nu)$와 $\pi_*(E_C^{hG_{24}} \wedge A_1)$ 사이의 동형을 96–192 범위에서 확립할 수 있는가?
• RQ5 $\nu$-선형성과 $g$-곱 클래스는 스펙트럼 시퀀스에서 비자명한 원소를 탐지하고 그 수렴에 어떤 역할을 하는가?

주요 결과

• 모든 클래스들이 96–144 및 144–192 스템에서 비자명한 원소로 수렴함을 보여주며, $\pi_*(E_C^{hG_{24}} \wedge A_1)$의 호모토피 군이 HFPSS를 통해 계산된다.
• $\nu w_2^2 e[0,0], \nu w_2^2 e[1,5], \dots, \nu w_2^2 e[4,23]$ 클래스들은 $E_\infty$-항에 생존하며, 96–144 스템에서 $\pi_*(\mathrm{tmf} \wedge A_1)/(\kappa, \nu)$의 비자명한 원소로 수렴한다.
• $\nu w_3^2 e[0,0], \nu w_3^2 e[1,5], \dots, \nu w_3^2 e[4,23]$ 클래스들은 모두 $E_\infty$-항에 생존하며, 144–192 스템에서 $\pi_*(\mathrm{tmf} \wedge A_1)/(\kappa, \nu)$의 비자명한 원소로 수렴한다.
• $W(\mathbb{F}_4) \otimes_{\mathbb{Z}_2} \pi_*(\mathrm{tmf} \wedge A_1)/(\kappa, \nu)$에서 $\pi_*(E_C^{hG_{24}} \wedge A_1)/(\kappa, \nu)$로의 사상 $\Theta'$는 전성과 $\Delta^8$-주기성을 통해 동형임을 증명한다.
• HFPSS의 그림(22)–(29)는 $E_7$-항 이후부터 생존 클래스(•)와 미분(◦)을 보여주며, 144–197 범위에서 $\Delta^8$-주기성이 명백히 드러난다.
• 스펙트럼 시퀀스는 $E_\infty$에서 붕괴하며, $W(\mathbb{F}_4) \otimes_{\mathbb{Z}_2} \pi_*(\mathrm{tmf} \wedge A_1)/(\kappa, \nu)$와 $\pi_*(E_C^{hG_{24}} \wedge A_1)$ 사이의 동형은 96–192 스템에서 성립하며, $\Delta^8$-주기성이 확장을 보장한다.