[논문 리뷰] Embeddings of non-simply-connected 4-manifolds in 7-space. I. Classification modulo knots

Diarmuid Crowley, A. Skopenkov|arXiv (Cornell University)|2016. 11. 15.

Geometric and Algebraic Topology참고 문헌 27인용 수 6

한 줄 요약

이 논문은 호몰로지 군 H₁이 토퍼션 없는 경우, 폐포적이고 연결되어 있으며 양측 가능한 4차원 다양체의 매장에 대한 완전하고 즉시 계산 가능한 분류를 ℝ⁷로 제공한다. 이 분류는 동치류와 S⁴의 매장과의 연결합에 대해 이루어지며, Boéchat-Haefliger 불변량 κ(f) ∈ H₂, Seifert 이차형식 λ(f): H₃ × H₃ → ℤ, 그리고 H₁의 몫에 값이 존재하는 β-불변량을 사용한다. 특히 N = S¹ × S³의 경우, ℤ ⊕ ℤ의 몫에 해당하는 등급이 있는 기하적 대응 관계가 명시적으로 존재한다.

ABSTRACT

We work in the smooth category. Let $N$ be a closed connected orientable 4-manifold with torsion free $H_1$, where $H_q:=H_q(N;Z)$. Our main result is a complete readily calculable classification of embeddings $N o R^7$, up to the equivalence relation generated by isotopy and embedded connected sum with embeddings $S^4 o R^7$. Such a classification was already known only for $H_1=0$ by the work of Boéchat, Haefliger and Hudson from 1970. Our classification involves the Boéchat-Haefliger invariant $\varkappa(f)\in H_2$, Seifert bilinear form $λ(f):H_3 imes H_3 o Z$ and $β$-invariant $β(f)$ which assumes values in a quotient of $H_1$ defined by values of $\varkappa(f)$ and $λ(f)$. In particular, for $N=S^1 imes S^3$ we give a geometrically defined 1-1 correspondence between the set of equivalence classes of embeddings and an explicit quotient of the set $Z\oplus Z$. Our proof is based on development of Kreck modified surgery approach, involving some simpler reformulations, and also uses parametric connected sum.

연구 동기 및 목표

• 단순연결된 경우 외의 ℝ⁷로의 4차원 다각형 매장 분류를 확장하는 것.
• H₁이 토퍼션 없는 비단순연결된 4차원 다각형에 대해 완전하고 즉시 계산 가능한 분류를 제공하는 것.
• Boéchat-Haefliger 불변량을 일반화하고, 비단순연결된 상황에서의 동치류를 포괄하기 위해 새로운 β-불변량을 도입하는 것.
• 특정 다각형(예: S¹ × S³)에 대해 매장 동치류와 대수적 불변량 사이의 기하적 대응 관계를 확립하는 것.
• 비단순연결된 기본군을 다룰 수 있도록 수정된 수술 이론과 매개변수 연결합 기법을 개발하고 적용하는 것.

제안 방법

• 저자들은 장애 이론 계산을 단순화하기 위해 재구성된 Kreck의 수정된 수술 이론을 사용한다.
• κ(f) ∈ H₂(N; ℤ)를 동치류에 대한 주요 장애물로 정의한다.
• Seifert 이차형식 λ(f): H₃(N; ℤ) × H₃(N; ℤ) → ℤ는 연결 정보를 캡처하는 보조 불변량으로 사용된다.
• κ와 λ의 정보를 조합하여 κ(f)와 λ(f)의 생성을 포함하는 H₁(N; ℤ)/⟨κ(f), λ(f)⟩에 값이 존재하는 새로운 β-불변량이 구성된다.
• S⁴ → ℝ⁷ 매장과의 연결합에 대한 불변량의 덧셈성을 확보하기 위해 매개변수 연결합 연산을 사용한다.
• 스핀 및 스트링 번들의 동형에 관한 보조정리, 공동 Seifert 클래스, 그리고 호몰로지 대수학을 통한 β-불변량 계산에 기반한 증명이 이루어진다.

실험 결과

연구 질문

• RQ1 비단순연결된 4차원 다각형이 ℝ⁷로 매장될 때, 동치류와 S⁴ 매장과의 연결합에 대해 어떻게 분류할 수 있는가?
• RQ2 H₁이 토퍼션 없는 경우, 이러한 매장을 분류하기 위해 필요한 충분한 불변량은 무엇인가?
• RQ3 Boéchat-Haefliger 불변량과 Seifert 형식은 비단순연결된 경우에 추가 불변량을 통해 일반화될 수 있는가?
• RQ4 S¹ × S³와 같은 다각형에 대해, 매장의 동치류와 대수적 자료 사이에 기하적이고 명시적인 대응 관계가 존재하는가?
• RQ5 매개변수 연결합과 수정된 수술 이론 기법은 비자명한 π₁을 가진 매장 분류에 어떻게 적용될 수 있는가?

주요 결과

• H₁이 토퍼션 없는 폐포적이고 양측 가능한 4차원 다각형에 대해, ℝ⁷로의 매장 분류는 완전하고 명시적으로 계산 가능하다.
• 매장의 동치류는 세 가지 불변량에 의해 결정된다: κ(f) ∈ H₂, λ(f): H₃ × H₃ → ℤ, 그리고 β(f) ∈ H₁ / ⟨κ(f), λ(f)⟩.
• N = S¹ × S³의 경우, 매장의 동치류와 κ와 λ에 의해 정의된 등급 관계에 대한 ℤ ⊕ ℤ의 몫 사이에 1대1 기하적 대응 관계가 존재한다.
• β-불변량은 잘 정의되어 있으며, κ와 λ의 값으로부터 생성된 H₁의 몫에 값이 존재한다.
• 증명 과정에서 불변량이 매개변수 연결합에 대해 덧셈성을 가지며, 등급 관계와 일관성을 유지함을 보였다.
• 이 논문은 2m < 3n + 4인 4차원 다각형에 대한 매듭 문제의 오랜 공백을 해결하였으며, 이전의 단순연결된 경우 결과를 일반화하였다.