[논문 리뷰] Computation of the homotopy of the spectrum tmf

Tilman Bauer|arXiv (Cornell University)|2003. 11. 19.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 33

한 줄 요약

이 논문은 2와 3에서의 위상적 모듈러 형식 스펙트럼 tmf의 호모토피 군을 완전히 계산한다. 타원 곡선 호프 알gebroid에서 타원형 애덤스–노비코프 스펙트럴 시퀀스의 E2 항을 계산하기 위해 대수적 보크슈타인 스펙트럴 시퀀스를 사용한 후, 스펙트럴 시퀀스의 모든 미분들을 결정한다. 주요 결과는 히프스와 마하울드가 원래 계산한 호모토피 링의 구조를 이제 체계적인 대수적 접근을 통해 명시적이고 접근 가능한 형태로 확인한다.

ABSTRACT

This paper contains a complete computation of the homotopy ring of the spectrum of topological modular forms constructed by Hopkins and Miller. The computation is done away from 6, and at the (interesting) primes 2 and 3 separately, and in each of the latter two cases, a sequence of algebraic Bockstein spectral sequences is used to compute the E_2 term of the elliptic Adams-Novikov spectral sequence from the elliptic curve Hopf algebroid. In a further step, all the differentials in the latter spectral sequence are determined. The result of this computation is originally due to Hopkins and Mahowald (unpublished).

연구 동기 및 목표

• 2와 3에서의 위상적 모듈러 형식 스펙트럼 tmf의 호모토피 링을 완전하고 명시적으로 계산하는 것.
• 출판되지 않은 채로 남아 있던 히프스와 마하울드가 수행한 계산을 재구성하고 접근 가능하게 만드는 것.
• tmf의 호모토피 군이 p=2와 p=3에서 안정적 호모토피 군의 많은 수를 탐지함으로써, tmf가 안정적 스템스에 대한 강력한 근사임을 보여주는 것.
• 대수적 보크슈타인 스펙트럴 시퀀스와 타원형 애덤스–노비코프 스펙트럴 시퀀스에서의 미분 계산을 통한 체계적인 방법을 확립하는 것.

제안 방법

• 타원 곡선 호프 알gebroid의 구조에서 타원형 애덤스–노비코프 스펙트럴 시퀀스의 E2 항을 계산하기 위해 대수적 보크슈타인 스펙트럴 시퀀스를 사용한다.
• E2 항이 호프 알gebroid (A, Γ) 위에서의 Ext로 주어진 스펙트럴 시퀀스를 적용한다. 여기서 A와 Γ는 ℤ 위의 다항식 링이다.
• 타다 브라켓 관계와 알려진 확장들을 사용하여 타원형 애덤스–노비코프 스펙트럴 시퀀스의 모든 미분을 결정한다.
• 스펙트럴 시퀀스의 주기성(주기성 차원 96)을 활용하여 초기 범위를 초월해 계산을 연장한다.
• 곱셈 확장과 타다 브라켓 계산을 통해 매쓰 프로덕트와 고차원 관계를 해결한다.
• tmf의 E∞-링 구조를 이용한 비교 및 일관성 검증을 통해 결과를 검증한다.

실험 결과

연구 질문

• RQ1 소수 2와 3에서 호모토피 링 π∗(tmf)의 완전한 구조는 무엇인가?
• RQ2 타원 곡선 호프 알gebroid에서 타원형 애덤스–노비코프 스펙트럴 시퀀스의 E2 항은 어떻게 대수적으로 계산할 수 있는가?
• RQ3 π∗(tmf)로 수렴하는 타원형 애덤스–노비코프 스펙트럴 시퀀스의 모든 미분은 무엇인가?
• RQ4 tmf 내의 타다 브라켓과 매쓰 프로덕트는 스펙트럴 시퀀스의 미분과 확장과 어떻게 관련이 있는가?
• RQ5 스펙트럴 시퀀스에서 주기성의 역할은 무엇이며, 이것이 최종 호모토피 군에 어떻게 반영되는가?

주요 결과

• 소수 2와 3에서 호모토피 링 π∗(tmf)가 완전히 계산되었으며, 히프스와 마하울드가 원래 수행한 비공개 계산을 확인하였다.
• 타원형 애덤스–노비코프 스펙트럴 시퀀스의 E2 항은 타원 곡선 호프 알gebroid에 대수적 보크슈타인 스펙트럴 시퀀스를 적용한 순서로 계산되었다.
• 스펙트럴 시퀀스의 모든 미분이 결정되었으며, 이는 긴 미분 d23(e[121,1]) = g6 및 d23(e[146,2]) = e[145,25]를 포함한다.
• Toda 셔플링과 알려진 확장을 통해 e[124,6]η = e[125,21] 및 e[149,7]η = 2e[150,10] = e[150,22]와 같은 곱셈 확장이 확립되었다.
• 클래스 Δ⁴ = g⁴는 스펙트럴 시퀀스와 π∗(tmf)의 주기적 생성자로 작용하며, 주기성 차원은 96이다.
• 스펙트럴 시퀀스는 차원 192부터 완전한 주기성을 보이며, 다음 주기까지 모든 클래스가 소멸함을 확인하여 Δ⁸가 전체 호모토피 링의 다항식 생성자임을 확인한다.