[논문 리뷰] The rational homotopy of the K(2)-local sphere and the chromatic splitting conjecture for the prime 3 and level 2

Paul G. Goerss, Hans Werner Henn외 1명|arXiv (Cornell University)|2012. 10. 26.

Homotopy and Cohomology in Algebraic Topology인용 수 10

한 줄 요약

이 논문은 소수 $p=3$ 에서 $K(2)$-국소화된 2차원 구면의 유리 호모토피를 계산하며, 그것이 두 생성자를 각각 차수 $-1$ 과 $-3$ 에 가진 외부 대수 $ Lambda_{ Q_3}( Zeta, e)$ 와 동형임을 증명한다. $E_2$-스펙트럼을 통한 호모토피 고정점의 분해를 이용하여, 저자들은 $p=3$ 과 $n=2$ 에서 홉킨스의 크로마틱 분할 추측을 확인하며, 약한 동치 $L_1L_{K(2)}S^0 \simeq L_1(S_3^0 \vee S_3^{-1}) \vee L_0(S_3^{-3} \vee S_3^{-4})$ 를 수립한다. 이 방법은 $ pi_*(L_{K(2)}S^0)$ 의 전면적 계산을 피하기 위해 $L_{K(2)}(S/3)$ 에 대한 애덤스-노비코프 스펙트럴 시리즈의 $E_2$-항을 활용한다.

ABSTRACT

We calculate the rational homotopy and the K(1)-local homotopy of the K(2)-local sphere at the prime 3 and level 2. We use this to verify the chromatic splitting conjecture in this case.

연구 동기 및 목표

• 소수 $p=3$ 에서 $K(2)$-국소화된 2차원 구면의 유리 호모토피 군을 계산하는 것.
• $p=3$ 과 $n=2$ 에서 홉킨스의 크로마틱 분할 추측을 확인하는 것.
• 이sovolumetric $(E_2)_*$-모듈을 가진 $K(2)$-국소화 스펙트럼에 대해 $E(1)$-국소화 범주에서 약한 동치를 수립하는 것.
• 전체 $ pi_*$-군의 계산을 피하기 위해 부분적 스펙트럴 시리즈 자료를 활용하는 유리 호모토피 계산 방법을 제공하는 것.
• 유사한 스펙트럴 시리즈 결과를 활용하여 다른 소수 $p>3$ 에도 이 프레임워크를 확장하는 것.

제안 방법

• 유한부분군 $F \subset \mathbb{G}_2$ 에 대한 호모토피 고정점 스펙트럼 $E_2^{hF}$ 를 통한 $L_{K(2)}S^0$ 의 분해를 활용한다.
• 호모토피 군 $ pi_{t-s}(L_{K(2)}S^0)$ 에 수렴하는 $E_2$-항 $H^s(\mathbb{G}_2, (E_2)_t)$ 를 가진 애덤스-노비코프 스펙트럴 시리즈를 적용한다.
• 전체 $ pi_*(L_{K(2)}S^0)$ 의 계산을 피하기 위해 $L_{K(2)}(S/3)$ 에 대한 ANSS 의 $E_2$-항을 핵심 입력 자료로 활용한다.
• 크로마틱 분해 정사각형과 국소화 함자 $L_0$, $L_1$ 을 사용하여 $K(2)$-국소화 및 $E(1)$-국소화 자료를 연결한다.
• 국소화된 투르히츠 호모모르피즘과 $(E_2)_*X$ 에 대한 왜곡된 $ G_2$-모듈 구조를 활용하여 주기성과 토르션을 탐지한다.
• $E_2$-호모로지의 $ G_2$--equivariant 구조와 애덤스 작용 $ psi$ 의 작용을 활용하여 고정점과 필터링을 분석한다.

실험 결과

연구 질문

• RQ1 소수 $p=3$ 에서 $K(2)$-국소화된 2차원 구면의 유리 호모토피 유형은 무엇인가?
• RQ2 $p=3$ 과 $n=2$ 에서 크로마틱 분할 추측이 성립하는가?
• RQ3 전체 $ pi_*$-군의 결정 없이도 $L_{K(2)}S^0$ 의 유리 호모토피를 계산할 수 있는가?
• RQ4 이sovolumetric $(E_2)_*$-모듈을 가진 $K(2)$-국소화 스펙트럼의 $E(1)$-국소화는 어떻게 분해되는가?
• RQ5 $L_{K(2)}(S/3)$ 에 대한 ANSS 의 $E_2$-항이 유리 호모토피 계산에 어떤 역할을 하는가?

주요 결과

• 소수 $p=3$ 에서 $L_{K(2)}S^0$ 의 유리 호모토피는 두 생성자 $ Zeta \in \pi_{-1}$ 과 $e \in \pi_{-3}$ 를 가진 외부 대수 $\Lambda_{\mathbb{Q}_3}(\zeta, e)$ 와 동형이다.
• 크로마틱 분할 추측은 $p=3$ 과 $n=2$ 에서 성립하며, $L_1L_{K(2)}S^0 \simeq L_1(S_3^0 \vee S_3^{-1}) \vee L_0(S_3^{-3} \vee S_3^{-4})$ 라는 약한 동치가 성립한다.
• 모듈러 $X \in \kappa_2$ 에 대해 국소화된 투르히츠 호모모르피즘 $\pi_0L_1X \to \pi_0L_1L_{K(2)}(E_2 \wedge X)$ 는 단사적이다.
• $L_{K(1)}S^0 \simeq L_{K(1)}L_{K(2)}E_2^{h\mathbb{G}_2^1}$ 는 $L_{K(1)}S^0 \vee L_{K(1)}S^{-1} \simeq L_{K(1)}L_{K(2)}S^0$ 로 올라가며, 이는 $\pi_0E_2^{h\mathbb{G}_2^1}$ 의 단위원에서 기인한 $-1$-차수 생성자 $\zeta$ 를 포함한다.
• 결과는 크로마틱 분할 추측의 예측과 일치하며, 전체 ANSS 데이터 없이 부분적 ANSS 자료만으로도 유리 호모토피를 복원하는 데 새로운 방법을 제공한다.
• 이 방법은 $p>3$ 에 대해서도 일반화되며, $L_{K(2)}(S/p)$ 에 대한 유사한 $E_2$-항 계산 결과에 기반한다.