[논문 리뷰] Constructions of small symplectic 4-manifolds using Luttinger surgery

Scott Baldridge, Paul Kirk|ArXiv.org|2007. 03. 02.

Geometric and Algebraic Topology참고 문헌 20인용 수 4

한 줄 요약

이 논문은 루팅거 수술을 이용해 소형의 최소 심플렉틱 4차원 다양체를 구성하여, 아벨 기본군을 가진 최소한의 알려진 예를 만들어내며, 오일러 지표 6과 분류수 −2를 갖는다. 이는 유한, 무한 순환, 자유 아벨 군을 포함한다. 또한 $ℝ\mathbb{CP}^2\#3\overline{\mathbb{CP}}^2$와 $3\mathbb{CP}^2\#5\overline{\mathbb{CP}}^2$에 동형이지만 미분구조가 다른 다양체와 같은 빌딩 블록을 도입하여 4차원 다양체 구성에서 $E(1)$의 대체로 사용할 수 있도록 한다.

ABSTRACT

In this article we use the technique of Luttinger surgery to produce small examples of simply connected and non-simply connected minimal symplectic 4-manifolds. In particular, we construct: (1) An example of a minimal symplectic 4-manifold that is homeomorphic but not diffeomorphic to CP^2#3(-CP^2) which contains a symplectic surface of genus 2, trivial normal bundle, and simply connected complement and a disjoint nullhomologous Lagrangian torus with the fundamental group of the complement generated by one of the loops on the torus. (2) A minimal symplectic 4-manifold that is homeomorphic but not diffeomorphic to 3CP^2#5(-CP^2) which has two essential Lagrangian tori with simply connected complement. These manifolds can be used to replace E(1) in many known theorems and constructions. Examples in this article include the smallest known minimal symplectic manifolds with abelian fundamental groups including symplectic manifolds with finite and infinite cyclic fundamental group and Euler characteristic 6.

연구 동기 및 목표

• 주어진 아벨 기본군을 갖는 최소 심플렉틱 4차원 다양체를 소형 오일러 지표와 통제된 기본군을 갖도록 구성하는 것.
• 4차원 다양체 구성에서 수술 및 합 연산에 특화된, $E(1)$의 소형 이색 대체물(홈오모르피지만 미분구조가 다른 것)을 제공하는 것.
• 특정 기본군(예: $\mathbb{Z}$, $\mathbb{Z}/p \oplus \mathbb{Z}/q \oplus \mathbb{Z}/r$, 자유군)과 고정된 위상적 불변량을 갖는 심플렉틱 다양체를 생성하는 것.
• 주어진 아벨 기본군에 대해 최소 오일러 지표가 제곱수적으로 증가함을 보이며, $n$개의 생성자를 갖는 경우 주된 항이 $\frac{1}{2}n^2$임을 보여주는 것.
• 홈오모르피가 $ℝ\mathbb{CP}^2\#3\overline{\mathbb{CP}}^2$인 무한히 많은 쌍으로 서로 미분구조가 다른 심플렉틱 4차원 다양체의 존재를 확립하는 것.

제안 방법

• 심플렉틱 4차원 다양체를 라그랑주 토러스를 따라 디한 트위스트를 수행하는 루팅거 수술을 이용하여 수정함으로써 기본군을 변화시키면서도 심플렉틱 구조를 유지한다.
• 특히 라그랑주 토러스 위의 고리가 심플렉틱 합에서 어떻게 소멸하는지 추적함으로써, 심플렉틱 합 이후의 기본군을 계산하기 위해 시프트–반 캄펜 정리를 적용한다.
• 빌딩 블록(예: $X_1$, $B$, $X$)을 카허 표면인 $\mathrm{Sym}^2(F_g)$와 합성함으로써 원하는 기본군을 달성하기 위해 고무프의 심플렉틱 합 구성법을 적용한다.
• 수술 후 홈오모르피 유형이 유지됨을 보장하기 위해 프리드만의 정리를 사용하며, 시브버그–와이튼 이론을 통해 미분구조의 차이를 식별한다.
• $\mathrm{Sym}^2(F_g)$ 위의 심플렉틱 형식을 변형하여 라그랑주 토러스가 심플렉틱이고 서로 겹치지 않도록 하여 제어 가능한 심플렉틱 합을 가능하게 한다.
• 정리 23을 적용하여 $X_1$과의 심플렉틱 합이 $\pi_1$의 특정 원소(예: $x_4 a_4^{d_1}$)를 소멸시킴으로써 목표 기본군을 실현한다.

실험 결과

연구 질문

• RQ1 주어진 아벨 기본군을 갖는 최소 심플렉틱 4차원 다양체에 대해 최소 오일러 지표는 얼마인가?
• RQ2 루팅거 수술을 통해 오일러 지표 6, 유한, 무한 순환, 또는 자유 아벨 군을 갖는 소형 심플렉틱 4차원 다양체를 생성할 수 있는가?
• RQ3 작은 오일러 지표와 통제된 기본군을 갖는 이색(홈오모르피지만 미분구조가 다른) 심플렉틱 4차원 다양체를 구성할 수 있는가?
• RQ4 표준적인 4차원 다양체 구성에서 타원면 $E(1)$를 더 작은 심플렉틱 4차원 다양체로 대체할 수 있는가?
• RQ5 $n$개의 생성자를 갖는 아벨 기본군을 가진 심플렉틱 4차원 다양체에 대해 최소 오일러 지표의 渐近 성장률은 얼마인가?

주요 결과

• 논문은 $ℝ\mathbb{CP}^2\#3\overline{\mathbb{CP}}^2$와 홈오모르피지만 미분구조가 다른 최소 심플렉틱 4차원 다양체를 구성하였으며, 이는 심플렉틱 종수 2 표면과 그 보조로 분리된 노른호모로지적 라그랑주 토러스를 포함하고 있으며, 이 토러스의 보조에서의 기본군은 토러스 위의 한 고리로 생성된다.
• 논문은 $3\mathbb{CP}^2\#5\overline{\mathbb{CP}}^2$와 홈오모르피지만 미분구조가 다른 최소 심플렉틱 4차원 다양체를 구성하였으며, 이는 기본군이 자명하고 정규 번들의 노름이 0인 두 개의 본질적인 라그랑주 토러스를 포함한다.
• 오일러 지표 $e(X_1) = 6$, 분류수 $\sigma(X_1) = -2$, 기본군 $\pi_1(X_1) \cong \mathbb{Z}$인 최소 심플렉틱 다양체 $X_1$를 구성하였으며, 이는 심플렉틱 토러스 $T$가 정규 번지를 갖으며, 포함사상 $X_1 - T \to X_1$가 $\pi_1$에 대해 동형을 유도하고, 포함사상 $T \to X_1$가 $\pi_1(T)$의 한 생성자를 소멸시킨다.
• 모든 유한 생성 아벨 군 $G$에 대해 $n$개의 생성자를 갖는 경우, 오일러 지표 $e(N_G) = \frac{1}{2}n^2 + \frac{19}{2}n + 36$와 분류수 $\sigma(N_G) = -\frac{5}{2}n - 8$를 갖는 심플렉틱 4차원 다양체 $N_G$가 존재함을 보여, 최소 오일러 지표가 $n$에 대해 제곱수적으로 증가함을 입증한다.
• 노른호모로지적 라그랑주 토러스와 [11]의 방법을 사용하여 $ℝ\mathbb{CP}^2\#3\overline{\mathbb{CP}}^2$와 홈오모르피지만 서로 미분구조가 다른 무한한 쌍의 심플렉틱 4차원 다양체를 구성하였다.
• 모든 음이 아닌 정수 $n$에 대해, 기본군이 순서 $n$의 자유군이며, 오일러 지표 $e = 10$, 분류수 $\sigma = -2$인 심플렉틱 4차원 다양체가 존재함을 보여, 자유 기본군을 갖는 소형 이색 다양체의 존재를 입증한다.