[논문 리뷰] Invertible Topological Field Theories

Christopher Schommer‐Pries|arXiv (Cornell University)|2017. 12. 21.

Homotopy and Cohomology in Algebraic Topology인용 수 6

한 줄 요약

이 논문은 Madsen-Tillmann 스펙트럼의 (n−d)-연결 덮개의 코homology와의 밀도를 보여줌으로써, (X,ξ)-구조를 가진 d차원 역전이 가능한 위상적 장 이론을 분류한다. 이 분류는 Galatius-Madsen-Tillmann-Weiss와 Bökstedt-Madsen의 이전 결과를 일반화함으로써 달성되며, (∞,n)-범주론적 구조에서 d- bordism의 분류 공간이 E∞-공간으로서 Ω^{∞−n}MTξ와 동치임을 규명함으로써 이루어진다.

ABSTRACT

A $d$-dimensional invertible topological field theory is a functor from the symmetric monoidal $(\infty,n)$-category of $d$-bordisms (embedded into $\mathbb{R}^\infty$ and equipped with a tangential $(X,ξ)$-structure) which lands in the Picard subcategory of the target symmetric monoidal $(\infty,n)$-category. We classify these field theories in terms of the cohomology of the $(n-d)$-connective cover of the Madsen-Tillmann spectrum. This is accomplished by identifying the classifying space of the $(\infty,n)$-category of bordisms with $Ω^{\infty-n}MTξ$ as an $E_\infty$-spaces. This generalizes the celebrated result of Galatius-Madsen-Tillmann-Weiss in the case $n=1$, and of Bokstedt-Madsen in the $n$-uple case. We also obtain results for the $(\infty,n)$-category of $d$-bordisms embedding into a fixed ambient manifold $M$, generalizing results of Randal-Williams in the case $n=1$. We give two applications: (1) We completely compute all extended and partially extended invertible TFTs of dimension $d \leq 4$ with target a certain category of $n$-vector spaces (for $n \leq 4$), and (2) we use this to give a negative answer to a question raised by Gilmer and Masbaum.

연구 동기 및 목표

• 확장된 (∞,n)-범주론적 프레임워크에서 (X,ξ)-구조를 가진 d차원 역전이 가능한 위상적 장 이론을 분류하는 것.
• bordism 범주의 분류 공간에 관한 Galatius-Madsen-Tillmann-Weiss 정리의 일반화를 통해 n이 더 높은 경우와 역전이 가능한 TFT에 대해 적용하는 것.
• Randal-Williams의 임베딩된 다각형에서의 bordism 범주에 대한 결과를 (∞,n)-범주론적 설정으로 확장하는 것.
• n ≤ 4인 경우 n-벡터 공간을 타겟 범주로 하는 확장형 및 부분 확장형 역전이 가능한 TFT의 완전한 분류를 제공하는 것.
• Gilmer와 Masbaum가 제기한, 위상적 장 이론에서 특정 불변량의 구조에 관한 질문을 해결하는 것.

제안 방법

• ℝ^∞에 임베딩된 (X,ξ)-구조를 가진 d-bordism의 (∞,n)-범주를 사용하며, 이를 BO(d)로 가는 피브레이션 ξ: X → BO(d)를 통한 탄성적 구조로 제공한다.
• Segal의 스캐닝 방법을 적용하여, 임베딩된 다각형의 분류 공간을 E∞-공간으로서의 무한 루프 공간 Ω^{∞−n}MTξ로 식별한다.
• n중 Segal 공간을 사용하여 bordism의 (∞,n)-범주를 모델링하고, 이 범주의 기하적 실현을 구성한다.
• 섬세한 톰 공간과 E_p-작용을 사용하여, 임베딩된 다각형의 공간과 톰 공간 사이의 E_p-등가를 확립한다.
• 특히 (n−d)-연결 덮개를 통해 Madsen-Tillmann 스펙트럼 MTξ를 사용하여 역전이 가능한 TFT를 분류하며, 이를 그 코homology를 통해 구현한다.
• 호모토피 이론적 기법을 적용하여 MTSO(d)의 저차원 호모토피 군을 계산하고, 오일러 지표 및 서명 불변량과의 관련성을 규명한다.

실험 결과

연구 질문

• RQ1 d차원에서의 역전이 가능한 위상적 장 이론은 어떻게 확장된 (∞,n)-범주론적 프레임워크에서 분류될 수 있는가?
• RQ2 (X,ξ)-구조를 가진 d-bordism의 (∞,n)-범주론적 분류 공간은 무엇이며, Madsen-Tillmann 스펙트럼과 어떻게 관련되는가?
• RQ3 bordism 범주의 분류는 n=1에서 일반적인 n으로 확장될 수 있으며, 이는 Galatius-Madsen-Tillmann-Weiss 결과를 어떻게 일반화하는가?
• RQ4 d = 1, 2, 3, 4일 때 π₀MTSO(d)의 구조는 어떻게 되며, 오일러 지표와 서명은 이에 어떻게 기여하는가?
• RQ5 모든 타겟 범주가 n-벡터 공간인 역전이 가능한 TFT는 (n−d)-연결 덮개의 코homology 클래스로부터 유도되는가?

주요 결과

• X,ξ-구조를 가진 d-bordism의 (∞,n)-범주는 E∞-공간으로서 Ω^{∞−n}MTξ와 동치인 분류 공간을 가진다.
• d=1일 때, π₀MTSO(1) ≅ ℤ/2ℤ이며, 이는 스펙트럼의 호모토피에서 [S¹] = 1이라는 관계로부터 기인한다.
• d=2일 때, π₀MTSO(2) ≅ ℤ이며, 이 등장사상은 표면 Σ_g를 (1−g)/2로 보내는 것으로 주어진다.
• d=3일 때, π₀MTSO(3) = 0이며, 모든 올림된 3-다양체가 오일러 지수가 0인 4-다양체를 경계로 하기 때문이다.
• d=4일 때, π₀MTSO(4)는 0 → ℤ → π₀MTSO(4) → ℤ → 0의 분리된 짧은 정규열로 나타나며, 핵은 반으로 나눈 오일러 지수이고, 상위는 서명이다.
• π₀MTSO(4) ≅ ℤ⊕ℤ의 명시적 분리는 M ↦ (½(χ(M)+σ(M)), σ(M))로 주어지며, 오일러 지수의 2를 넘어서는 모듈로 불확실성을 해결한다.