[논문 리뷰] Strings and the stable cohomology of mapping class groups

Ulrike Tillmann|ArXiv.org|2003. 04. 21.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 10

한 줄 요약

이 논문은 호모토피 이론적 프레임워크를 구축하여 끈 이론과 매핑 클래스 군의 안정(co)호모로지 사이의 연결고리를 밝혀내며, 안정 호모로지가 타우토로지 클래스들에 대한 다항식 대수와 동형임을 증명한다. 무한 루프 공간 이론과 끈의 범주를 이용하여 무머포드의 추측을 해결하며, 안정 호모로지를 무한 루프 공간의 호모로지로 식별하고, 무한한 토르션 클래스의 가닥을 탐지하며, 타우토로지 클래스의 p진 나눗셈을 규명한다.

ABSTRACT

Twenty years ago, Mumford initiated the systematic study of the cohomology ring of moduli spaces of Riemann surfaces. Around the same time, Harer proved that the homology of the mapping class groups of oriented surfaces is independent of the genus in low degrees, increasing with the genus. The (co)homology of mapping class groups thus stabelizes. At least rationally, the mapping class groups have the same (co)homology as the corresponding moduli spaces. This prompted Mumford to conjecture that the stable rational cohomology of moduli spaces is generated by certain tautological classes that he defines. Much of the recent interest in this subject is motivated by mathematical physics and, in particular, by string theory. The study of the category of strings led to the discovery of an infinite loop space, the cohomology of which is the stable cohomology of the mapping class groups. We explain here a homotopy theoretic approach to Mumford's conjecture based on this fact. As byproducts infinite families of torsion classes in the stable cohomology are detected, and the divisibility of the tautological classes is determined. An analysis of the category of strings in a background space leads to the formulization of a parametrized version of Mumford's conjecture. The paper is chiefly a summary of the author's work and her collaboration with Ib Madsen. Earlier this year Madsen and Weiss announced a solution of Mumford's conjecture. We touch on some of the consequences and the ideas behind this most exciting new developement.

연구 동기 및 목표

• 리만 표면의 모듈리 공간의 안정 유리 호모로지에 대한 무머포드의 추측에 대한 호모토피 이론적 해석을 제공한다.
• 공간 X에서의 끈의 범주와 매핑 클래스 군의 안정 호모로지 사이의 연결고리를 구축한다.
• 매핑 클래스 군의 안정 호모로지에 무한한 토르션 클래스의 가닥을 탐지한다.
• 무한 루프 공간 이론과 애덤스 작용을 이용하여 타우토로지 클래스 κ_i의 p진 나눗셈을 규명한다.
• 배경 공간에서의 끈 범주를 통해 무머포드의 추측의 매개변수화된 형태를 제안한다.

제안 방법

• 표면가 X로 가는 사상에 대해 미분형이행의 작용을 받는 호모토피 오비트 공간으로서 공간 X에서의 끈의 범주를 구성한다.
• 안정 매핑 클래스 군의 분류공간 BΓ⁺_∞를 무한 루프 공간으로 간주하며, 이는 심플렉틱 스펙트럼 Th(−L)와 연결된다.
• 쿼일렌의 플러스-구성법을 적용하여 분류공간을 안정화하고, 유리 호모로지를 유지한다.
• 지그린 사상과 피브어 적분을 이용하여 타우토로지 클래스 κ_i = ∫_F e^{i+1} 를 H^{2i}(BΓ_∞; ℤ) 에 정의한다.
• 애덤스 작용 ψ^k 와 p진 완비화를 이용하여 기껏해야 홀수 소수에서 안정 호모로지의 구조를 분석한다.
• 필립스-그로모프의 h-원리에 따라 닫힌 다양체 위의 부분사상 유사 구조를 개방 확장을 통해 부분사상으로 변형한다.

실험 결과

연구 질문

• RQ1 모듈리 공간의 리만 표면의 안정 유리 호모로지는 무머포드의 타우토로지 클래스들에 의해 생성되는가?
• RQ2 매핑 클래스 군의 안정 호모로지는 무한 루프 공간의 호모로지로 실현될 수 있는가?
• RQ3 특히 κ_i의 나눗셈을 고려할 때, 안정 호모로지의 토르션 소수에서의 구조는 어떠한가?
• RQ4 공간 X에서의 끈의 범주와 매핑 클래스 군의 안정 호모로지 사이의 관계는 무엇인가?
• RQ5 끈의 범주를 이용하여 무머포드의 추측의 매개변수화된 형태를 제안하고 증명할 수 있는가?

주요 결과

• 매핑 클래스 군의 안정 호모로지 BΓ_∞ 는 다항식 링 ℚ[κ₁, κ₂, …] 과 동형이며, 이는 무머포드의 추측이 유리수에서 참임을 확인한다.
• α: ℤ × BΓ⁺_∞ → Ω^∞Th(−L) 는 호모토피 동치이며, 매핑 클래스 군과 심플렉틱 스펙트럼 사이의 깊은 연결고리를 확립한다.
• 홀수 소수 p에서, Q(ℙ^∞) 위에서의 다이어-라쇼프 작용을 통해 H_*(BΓ_∞; ℤ) 에서 무한한 p-토르션 클래스의 가닥이 탐지된다.
• 홀수 소수 p에 대해, i ≡ −1 mod (p−1) 이면 κ_i 는 p^{1+ν_p(i+1)} 으로 나누어지며, 그렇지 않으면 나누어지지 않는다.
• p진 완비화 (BΓ⁺_∞)^∧_p 는 BU^∧_p × V_p 로 분해되며, 이는 BΓ_∞ 의 유리 호모로지에 ℤ_p[c₁, c₂, …] 와 동형인 분리된 합성부가 포함되어 있음을 보여준다.
• α의 기하학적 형태를 코버디즘 동치로 제시함으로써, 모든 쌍 (π: E → M, ˆπ) 이 부분사상과 코버디즘적임을 확인하며, 매드센-위스 정리의 기초를 다진다.