[논문 리뷰] The Pontrjagin Dual of 3-Dimensional Spin Bordism

G. W. Brumfiel, James P. Morgan|arXiv (Cornell University)|2016. 12. 08.

Geometric and Algebraic Topology참고 문헌 2인용 수 13

한 줄 요약

이 논문은 유한군 Γ에 계수를 가진 3차원 스핀 bordism 군의 폰트랴긴 쌍대를, 코homological 데이터와 스핀 다양체 사이의 명시적인 연속 쌍대성에 의해 계산한다. dw + ½p² = 0을 만족하는 삼중체 (w, p, a)에 대해 비아벨 군 구조를 정의하고, 이 쌍대성이 Ω³spin(X)의 폰트랴긴 쌍대에 이sovorphism을 유도함을 증명한다. 또한, ℝ/ℤ에서의 쌍대값을 주는 기하학적 공식을 제시하며, 이 공식은 아르프 불변량과 스핀 구조를 포함한다.

ABSTRACT

For each space X we define an explicit group, G(X), functorially in X. This group is constructed from the groups of cochains on X. Furthermore, we construct an explicit functorial pairing with values in R/Z between the cochain representatives for elements of G(X) and maps of closed 3-dimensional spin manifolds to X. This pairing induces a pairing between G(X) and the 3-dimensional spin bordism group of X and identifies each with the Pontrjagin dual of the other.

연구 동기 및 목표

• 공간 X에 대해 3차원 스핀 bordism 군 Ω³spin(X)의 폰트랴긴 쌍대를 계산하는 것.
• 유한군 Γ에 대해 Anton Kapustin이 제기한 Hom(Ω³spin(BΓ), ℝ/ℤ)의 구조에 대한 질문을 해결하는 것.
• 코homological 데이터와 스핀 3-다양체 사이의 기하학적 쌍대성을 구성하여, 이 쌍대성이 폰트랴긴 쌍대에 이sovorphism을 유도하는 것.
• 특정 코homological 조건을 만족하는 삼중체 (w, p, a)에 대해 연속 군 구조를 수립하여 쌍대성을 실현하는 것.

제안 방법

• C(X) = (C³(X;ℝ/ℤ)/dC²(X;ℝ/ℤ)) × Z²(X;ℤ/2) × Z¹(X;ℤ/2)에 고차 코homology 곱과 특수한 리프트를 포함한 비아벨 곱셈을 정의하여 컴act 군 구조를 부여한다.
• D: C(X) → C⁴(X;ℝ/ℤ)를 D(w,p,a) = dw + ½p²로 정의하며, 이는 연속 호모로피즘임을 증명한다.
• C′(X) = C¹(X;ℤ/2) × C⁰(X;ℤ/2)에 곱셈 (t,x)·(s,y) = (t+s+xdy, x+y)를 정의하고, D′: C′(X) → C(X)를 D′(t,x) = ((½)tdt, dt, dx)로 정의한다.
• D∘D′ = 0임을 보이고, Im(D′)가 C(X)의 정상 부분군이며 교환자 부분군을 포함함을 증명한다.
• G(X) = Ker(D)/Im(D′)를 정의하며, 이는 컴팩트 아벨 군으로의 함자이며, G(X) × Ω³spin(X) → ℝ/ℤ의 쌍대를 구성한다.
• 이 쌍대가 연속적이고 이중선형이며, G(X)와 Ω³spin(X)의 폰트랴긴 쌍대 사이의 이sovorphism(또한 위상동형)을 유도함을 증명한다.

실험 결과

연구 질문

• RQ1 공간 X에 대해 3차원 스핀 bordism 군 Ω³spin(X)의 폰트랴긴 쌍대의 구조는 무엇인가?
• RQ2 dw + ½p² = 0 조건이 Hom(Ω³spin(X), ℝ/ℤ)의 원소를 기하학적으로 의미 있는 방식으로 매개할 수 있는가?
• RQ3 f* a에 대한 Poincaré 쌍대 곡면 Σf*a의 아르프 불변량이 ℝ/ℤ에서의 쌍대값에 어떻게 기여하는가?
• RQ4 코homological 데이터 (w,p,a)에 대해 폰트랴긴 쌍대를 실현하는 연속 군 구조가 존재하는가?
• RQ5 폰트랴긴 제곱을 포함한 Kapustin의 제안된 방정식이 코체 수준의 정확성에 의해 더 단순한 방정식 dw + ½p² = 0으로 변환될 수 있는가?

주요 결과

• dw + ½p² = 0을 만족하는 코체 (w,p,a)의 군 G(X) = Ker(D)/Im(D′)는 Ω³spin(X)의 폰트랴긴 쌍대와 이sov모르피즘일 뿐 아니라 위상동형이다.
• G(X)에 속한 (w,p,a)가 스핀 3-다양체 f: M → X에 대해 정의하는 쌍대값은 ∫[M] f*w + ½[Spin(Z)] + ⅛Arf(Σf*a) ∈ ℝ/ℤ로 주어지며, 여기서 Z는 φ: M → S²의 정상값에 대한 원상이다.
• Arf(Σf*a) ∈ ℤ/8은 M 속의 Poincaré 쌍대 곡면 Σf*a의 보르다 불변량으로, M의 스핀 구조로부터 유도된 Pin⁻ 구조를 상속한다.
• D′: C′(X) → C(X)의 이미지는 C(X)의 교환자 부분군에 포함되어 있어 G(X)가 아벨임을 보장한다.
• a ∈ Z¹(X;ℤ/2)의 ℤ/2 코호몰로지 코chain에 대한 특수한 리프트 A ∈ C¹(X;ℤ)는 dA = 2A²를 만족하며, 폰트랴긴 제곱 P(a²)는 A⁴ mod 4로 표현된다.
• 방정식 dw + ½p² = 0은 항등식 d(⅛A³) = ¼P(a²)를 통해 Kapustin의 원래 방정식(폰트랴긴 제곱 포함)과 등가이며, 두 표현 간의 변환 가능성을 보장한다.