[논문 리뷰] Connective versions of TMF(3)

Donald M. Davis, Mark Mahowald|arXiv (Cornell University)|2010. 05. 20.

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

한 줄 요약

이 논문은 위상적 모듈러 형식 스펙트럼 TMF(3)의 세 가지 연결 모델을 구축하고 분석하며, 특히 링 스펙트럼 $ X \wedge \operatorname{tmf} $에 초점을 맞춘다. 이 스펙트럼는 그 링 구조 덕분에 선호되는 모델임이 입증된다. 주요 기여는 아담스 스펙트럼을 사용하여 $ \operatorname{tmf}(3)_*(\mathbb{R}P^\infty) $를 완전히 계산하고, Ext 계산과 스펙트럼 수열 기법을 통해 $ X \wedge \operatorname{tmf} \wedge \Sigma \mathbb{R}P^\infty $의 호모토피 군을 확립하는 데 있다.

ABSTRACT

We study three connective versions of the spectrum for topological modular forms of level 3. All three were described briefly by Mahowald and Rezk in [Pure Appl Math Quar (2009)], but we add much detail to their discussion. Letting tmf(3) denote our connective model which is a ring spectrum, we compute the tmf(3)-homology of RP^infty.

연구 동기 및 목표

• 마호얼드와 레즈크가 [8]에서 약간 언급한 세 가지 연결 모델에 대해 명확히 하고 확장한다.
• $ X \wedge \operatorname{tmf} $가 링 스펙트럼이므로 $ \operatorname{tmf}(3) $의 선호되는 연결 모델임을 확립한다.
• $ \pi_*(X \wedge \operatorname{tmf} \wedge \Sigma \mathbb{R}P^\infty) $를 계산하여 $ \operatorname{tmf}(3)_*(\mathbb{R}P^\infty) $를 얻는다. 이는 장래에 TMF(3)를 장애이론에 응용하기 위한 첫 번째 단계이다.
• 다른 구조를 가진 두 모델과 첫 번째 모델 간의 Ext 계산을 직접적으로 연결한다.
• 스펙트럼 수열 분석을 통해 아담스 스펙트럼 수열에서 $ \operatorname{Ext}_{A_2}^{*,*}(L \otimes H^*\mathbb{R}P^\infty) $의 $ h_0 $-타워와 $ \eta^2 $-후크의 매칭을 해결한다.

제안 방법

• 하나의 기저 클래스에 대해 지정된 비자명한 스틴로드 연산을 갖는 9세포 CW 복합체 $ Y $를 구축하고, 이로부터 $ \alpha: \Sigma^3 Y \to S^0 $를 통해 $ 2\nu $를 확장하는 사상의 매핑 콘으로 스펙트럼 $ X $를 정의한다.
• $ f: X \to bo $를 통한 사상으로 $ X \wedge \operatorname{tmf} $를 링 스펙트럼으로 정의하고, $ \tilde{f} = f \wedge 1 $의 복합체를 통해 매핑 콘 $ C $를 정의한다. 이때 $ H^*(C) \cong \Sigma^4 A / A(\operatorname{Sq}^4, \operatorname{Sq}^5 \operatorname{Sq}^1) $는 $ A $-모듈로서 동형이다.
• 아담스 스펙트럼 수열 (ASS)을 사용하여 $ \pi_*(X \wedge \operatorname{tmf} \wedge \Sigma \mathbb{R}P^\infty) $를 계산하고, $ E_2 $-페이지로 $ \operatorname{Ext}_{A_2}^{s,t}(L \otimes H^*\mathbb{R}P^\infty) $를 사용한다. 여기서 $ L $은 특정한 $ A_2 $-모듈로 정의된다.
• 스펙트럼 수열 $ \bigoplus_s \phi^s \operatorname{Ext}_{A_2}^{*,*}(\Sigma^{-s} C_s \otimes H^*\mathbb{R}P^\infty) $을 사용하여 $ E_2 $-페이지의 구조를 분석하고, $ h_0 $-타워와 $ \eta^2 $-후크의 매칭을 해결한다.
• $ v_2^8 $-주기성과 $ \operatorname{Ext}_{A_2}(L \otimes Q) $에 대한 알려진 결과를 적용하여 스펙트럼 수열의 전체 구조를 결정하고, 수렴함을 확인한다.
• 필터링과 합성항의 수정을 거쳐 $ \pi_*(X \wedge \operatorname{tmf} \wedge \Sigma \mathbb{R}P^\infty) $와 $ \pi_*(C \wedge \mathbb{R}P^\infty) $ 사이의 정확한 수열을 사용하여 최종 호모토피 군을 유도한다.

실험 결과

연구 질문

• RQ1 연결된 TMF(3) 스펙트럼 $ \operatorname{tmf}(3) $의 호모토피 군은 무엇이며, 특히 $ \operatorname{tmf}(3)_*(\mathbb{R}P^\infty) $의 맥락에서 어떻게 되는가?
• RQ2 세 가지 연결 모델 간의 관계는 무엇이며, 왜 $ X \wedge \operatorname{tmf} $가 선호되는 모델인가?
• RQ3 아담스 스펙트럼 수열을 사용하여 $ \pi_*(X \wedge \operatorname{tmf} \wedge \Sigma \mathbb{R}P^\infty) $를 어떻게 계산할 수 있으며, $ E_2 $-페이지의 구조를 해결하기 위해 어떤 스펙트럼 수열 기법이 필요한가?
• RQ4 $ v_2^8 $-주기성과 $ A_2 $-모듈로 구조는 $ L \otimes H^*\mathbb{R}P^\infty $의 Ext 군을 결정하는 데 어떤 역할을 하는가?
• RQ5 $ h_0 $-타워와 $ \eta^2 $-후크가 다양한 필터링에서 어떻게 매칭되는가? 패턴을 완성하기 위해 어떤 확장이 필요한가?

주요 결과

• 스펙트럼 수열 $ \pi_*(X \wedge \operatorname{tmf} \wedge \Sigma \mathbb{R}P^\infty) $를 계산하는 아담스 스펙트럼 수열은 $ E_2 $-페이지에서 수렴하며, 어떤 미분이나 확장도 존재하지 않는다.
• $ \pi_*(X \wedge \operatorname{tmf} \wedge \Sigma \mathbb{R}P^\infty) $의 호모토피 군은 $ \pi_*(C \wedge \mathbb{R}P^\infty) $의 군을 수정하여 얻는다: $ e_2 = 0 $인 합성항을 제거하고, $ e_1 \equiv 2 \pmod{4} $일 때 $ b_{e_1,0} $와 $ \eta b_{e_1,0} $를 제거하며, $ i \geq 1 $일 때 순서 2인 $ c_{8i+3,0} $를 추가하고, 모든 필터링을 1만큼 감소시킨다.
• $ X \wedge \operatorname{tmf} $는 링 스펙트럼이므로 $ \operatorname{tmf}(3) $의 선호되는 연결 모델이며, $ v_2 $를 역으로 하면 다른 모델들과 동치이다.
• $ h_0 $-타워의 바닥에 위치한 $ \eta^2 $-후크는 $ H^*(C) $의 구조에서 명확하게 드러나며, 스펙트럼 수열의 구조를 매칭하는 데 필수적이다. 그러나 $ s $-필터링 스펙트럼 수열에서는 쉽게 보이지 않는다.
• $ \operatorname{Ext}_{A_2}^{s,t}(L \otimes H^*\mathbb{R}P^\infty) $의 $ E_2 $-페이지는 $ v_2^8 $-주기성과 $ \operatorname{Ext}_{A_2}(L \otimes Q) $의 알려진 구조를 사용하여 완전히 결정된다.
• 최종 결과로 $ \operatorname{tmf}(3)_*(\mathbb{R}P^\infty) $가 완전히 규명되었으며, 이는 향후 장애이론 응용에 필수적이다.