[논문 리뷰] Topological Modular Forms of Level 3

Mark Mahowald, Charles Rezk|ArXiv.org|2008. 12. 10.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 4

한 줄 요약

이 논문은 탑로지컬 모듈라 형식 스펙트럼 TMF(Γ₀(3))의 3차 수준에서 소수 2에서의 호모토피 군을 계산한다. 이는 타원 곡선의 3차 수준 구조와 관련된 '빌딩 복합체'와 연결된 코심플리셜 스펙트럼 구조를 사용한다. K(2)-로컬 구조에서의 코프라이어 시퀀스를 확립하고, MString 및 ER(2)와 관련된 TMF(Γ₀(3))의 연결 모델을 제공하며, 관련된 A(2)-모듈러스에 대한 애덤스 스펙트럴 시퀀스와 Q(3)의 호모토피를 명시적으로 계산한다.

ABSTRACT

We describe and compute the homotopy of spectra of topological modular forms of level 3. We give some computations related to the "building complex" associated to level 3 structures at the prime 2. Finally, we note the existence of a number of connective models of the spectrum TMF(Gamma_0(3)).

연구 동기 및 목표

• 3차 수준에서 소수 2에서의 탑로지컬 모듈라 형식 스펙트럼 TMF(Γ₀(3))의 호모토피 군을 계산한다.
• 타원 곡선의 3차 수준 구조와 관련된 '빌딩 복합체'에서 유도된 코심플리셜 스펙트럼 Q(3)의 호모토피를 이해한다.
• TMF(Γ₀(3))을 MString 및 실수 존슨-윌리엄스 스펙트럼 ER(2)와 같은 다른 크로마틱 스펙트럼과 연관시킨다.
• 베렌스의 추측에 대한 증거를 제공한다. 이 추측은 Q(3)의 쌍대체와 K(2)-로컬 구조에서의 스펙트럼 간의 K(2)-로컬 코프라이어 시퀀스를 포함한다.
• Q(3)의 호모토피에서 유도된 A(2)-모듈러스에 대한 애덤스 스펙트럴 시퀀스를 분석하고, TMF(Γ₀(3))의 호모토피와의 관계를 규명한다.

제안 방법

• 타원 곡선의 3차 수준 구조와 관련된 '빌딩 복합체'에서 출발하여, 일반화된 타원 곡선의 모듈리 스택의 에탈 코버를 이용해 코심플리셜 스펙트럼 Q(3)을 구성한다.
• 고어스-호프킨스-밀러 정리를 적용하여, 컴actified 모듈리 스택 Mbar 위에 E∞-sheaf of ring spectra O_tmf를 정의하고, TMF(Γ₀(3))를 전역 단면으로 삼는다.
• 에탈 사상 f: N → Mbar에 대해, 스펙트럴 시퀀스 E2 = H^s(N, f^*ω^⊗k) ⇒ π_{2k−s}O_tmf(f)를 사용하여 호모토피 군을 계산한다.
• 모듈라 형식과 그들의 TMF(Γ₀(3))로의 올림에 대한 지도 δ = q* − f*를 분석하고, 2를 모듈로로 하는 형식적 멱급수를 통해 Δ 및 c4에 대한 작용을 계산한다.
• 특히 A(2)-모듈러스의 Ext 군을 계산하고, bo-Brown-Gitler 스펙트럼과의 관련성을 규명하는 애덤스 스펙트럴 시퀀스를 적용한다. 특히, A(2){a44,a49}/(Sq1,Sq5,Sq7,Sq4)와 같은 모듈러스에 대해 Ext 군을 계산한다.
• K(2)-로컬 호모토피 이론에서의 인식 원리를 사용하여, TMF, TMF(Γ₀(3)), 그리고 bo-스펙트럼의 위젯의 합성에 대한 코프라이어 시퀀스를 확립한다.

실험 결과

연구 질문

• RQ1 소수 2에서 TMF(Γ₀(3))의 호모토피 군은 무엇인가?
• RQ2 3차 수준 구조의 맥락에서 지도 δ = q* − f*는 Δ 및 c4와 같은 모듈라 형식에 어떻게 작용하는가?
• RQ3 코심플리셜 스펙트럼 Q(3)의 구조는 무엇이며, K(2)-로컬 구조에서의 스펙트럼과 어떻게 관련되는가?
• RQ4 MString 및 ER(2)의 맥락에서 TMF(Γ₀(3))의 연결 모델은 어떻게 유도되는가?
• RQ5 Q(3)에 관련된 A(2)-모듈러스에 대한 애덤스 스펙트럴 시퀀스는 명시적으로 계산할 수 있으며, 이는 TMF(Γ₀(3))의 호모토피에 대해 무엇을 드러내는가?

주요 결과

• TMF(Γ₀(3))의 호모토피 군은 완전히 계산되었으며, π_*TMF(Γ₀(3))는 Z[1/6] 계수를 갖는 3차 수준의 모듈라 형식의 환과 동형이며, 스펙트럼은 2-완비이다.
• δ(Δ^{2^r(2k+1)}) ≡ a₁^{3·2^{r+1}}a₃^{2^{r+1}(4k+1)} mod 2 이며, 이는 q*와 f*의 차이가 2-진 전개에서 첫 번째 비영인 항을 올리는 것을 보여준다.
• A(2)-모듈러스 M = A(2){a44,a49}/(Sq1,Sq5,Sq7,Sq4)에 대한 애덤스 스펙트럴 시퀀스는 비차이를 가지며, M₁ 및 M₂를 포함하는 짧은 정확시퀀스를 통해 Ext 군을 계산한다. M₂는 알려진 정확시퀀스에 들어간다.
• K(2)-로컬 맥락에서, Σ³²TMF → (Σ⁸bo₁ ∪ Σ¹⁶bo₂) ∧ TMF → TMF(Γ₀(3)) 형태의 코프라이어 시퀀스가 존재하며, 이는 TMF(Γ₀(3))을 TMF 및 연결 스펙트럼과 연결한다.
• TMF(Γ₀(3))는 자연스럽게 MString 스펙트럼에서 나타나는 연결 모델을 갖는다. 그 호모토피는 bo-Brown-Gitler 스펙트럼을 통한 사상으로 탐지된다.
• Q(3)의 호모토피는 지도 TMF(Γ₀(3)) → bo ∨ Σ⁸bo의 피보어의 11번째 호모토피 스켈레톤과 일치한다. 이 피보어는 H*(bo)⊗2/Σ₂의 A(2)-모듈러스 구조를 통해 탐지된다.