[논문 리뷰] Algebraic topology and modular forms

Michael J. Hopkins|ArXiv.org|2002. 12. 01.

Algebraic structures and combinatorial models참고 문헌 39인용 수 106

한 줄 요약

이 논문은 대칭형식과 위상수학을 통합하는 새로운 코homology 이론인 위상적 모듈라 형식(tmf)을 소개한다. tmf는 타원곡선의 호모토피 이론적 모듈리 공간으로 구성되며, 위튼의 성질, p진 모듈라 형식, 그리고 보우스필드-쿠한 로그와 아틴 연산자를 통한 단위 스펙트럼 간의 깊은 연결 고리를 드러낸다.

ABSTRACT

Modular forms appear in many facets of mathematics, and have played important roles in geometry, mathematical physics, number theory, representation theory, topology, and other areas. Around 1994, motivated by technical issues in homotopy theory, Mark Mahowald, Haynes Miller and I constructed a topological refinement of modular forms, which we call {\em topological modular forms}. At the Zurich ICM I sketched a program designed to relate topological modular forms to invariants of manifolds, homotopy groups of spheres, and ordinary modular forms. This program has recently been completed and new directions have emerged. In this talk I will describe this recent work and how it informs our understanding of both algebraic topology and modular forms.

연구 동기 및 목표

• 안정적인 2차원 구면의 호모토피 군을 캡처하고 모듈라 형식과 관련지어주는 새로운 코homology 이론인 tmf를 구성하기.
• 이전 연구에서 제안된 프로그램을 완성하기 위해 tmf를 타원곡선의 호모토피 이론적 모듈리 공간으로 확립하기.
• 보우스필드-쿠한 로그와 아틴 연산자를 통해 tmf의 단위 스펙트럼을 p진 모듈라 형식과 연결하기.
• 기하학적 불변량인 아르프 불변량과 프레임드 코바르디즘의 안정적 호모토피 군과의 관계를 설명하기.
• tmf에서 로그 사상의 섬유의 호모토피 유형을 조사하여 라마누잔 τ-함수를 통해 산술 정보를 드러내기.

제안 방법

• 타원 코hom로지와 타원곡선의 모듈리 공간 이론을 사용하여 위상적 모듈라 형식을 나타내는 스펙트럼으로 tmf를 구성하기.
• 보우스필드-쿠한 함자를 사용하여 tmf의 단위 스펙트럼을 모라바 K-이론에 대한 국소화, 특히 L_{K(1)}tmf와 연결하기.
• p진 완비화 후 3-연결 커버를 거친 후 등가가 되는 로그 사상 log_p^{tmf}: gl_1(tmF) → tmf_p 정의하기.
• 로그 사상, 아틴 연산자 U, 국소화를 포함하는 호모토피 카르테시안 정사각형을 확립하여 로그 사상이 동형이 되지 않는 실패와 U의 스펙트럼 간의 연결 고리 드러내기.
• 로그 사상 log_p^{tmf}의 호모토피 섬유를 분석하여 특히 p를 모듈로로 한 라마누잔 τ-함수를 통해 산술 정보 추출하기.
• L_{K(1)}tmf에서의 아틴 연산자 U를 p진 모듈라 형식의 고전적 히케 연산자에 대응하는 위상적 히케 연산자로 구현하기.

실험 결과

연구 질문

• RQ1 안정적 호모토피 이론과 모듈라 형식을 통합하는 코homology 이론은 어떻게 구성할 수 있는가?
• RQ2 tmf와 p진 모듈라 형식을 연결하는 데 있어 단위 스펙트럼 gl_1(tmF)의 역할은 무엇인가?
• RQ3 p진 모듈라 형식의 맥락에서 보우스필드-쿠한 로그가 tmf에서 아틴 연산자와 어떻게 관련되는가?
• RQ4 로그 사상 log_p^{tmf}의 호모토피 섬유에 어떤 산술 정보가 암호화되어 있는가?
• RQ5 τ(p) ≡ 1 mod p 를 만족하는 소수 p는 무엇이며, 이는 log_p^{tmf}의 섬유 호모토피 군에 어떤 영향을 미치는가?

주요 결과

• p = 691일 때, 로그 사상의 섬유 F에 대해 π_23(F) ≅ ℤ_p 이고, p ≠ 691일 때 π_23(F) ≅ ℤ_p ⊕ ℤ_p/(τ(p)−1) 이다.
• p ≠ 691일 때 π_23(F)의 토크션 부분군의 순서는 (τ(p)−1)의 p진 절댓값에 의해 결정되며, 35,000 미만에서 τ(p) ≡ 1 mod p 를 만족하는 소수는 11, 23, 691 뿐이다.
• L_{K(1)}tmf에서의 아틴 연산자 U는 위상적 히케 연산자로 실현되어 tmf와 p진 모듈라 형식을 연결한다.
• 로그 사상 log_p^{tmf}는 p진 완비화 후 3-연결 커버를 거치면 등가가 되며, 깊은 이중성 구조를 드러낸다.
• 타원곡선의 모듈리 공간으로서 tmf의 구성은 위튼의 성질을 통한 대수적 위상수학과 모듈라 형식 간의 연결 프로그램을 완성한다.
• tmf 이론은 프레임드 코바르디즘 불변량, 아르프 불변량, 그리고 2차원 구면의 안정적 호모토피 군을 통합하는 프레임워크를 제공한다.