[논문 리뷰] Noncomplex smooth 4-manifolds with Lefschetz fibrations

Mustafa Korkmaz|ArXiv.org|2001. 03. 22.

Geometric and Algebraic Topology참고 문헌 1인용 수 15

한 줄 요약

이 논문은 표면의 매핑 클래스 군에서의 일반화된 관계를 사용하여, $S^2$ 위에 존재하는 고리수-$g$ 리프슐츠 피브레이션을 가지지만 어떤 복소 구조도 지니지 않는 무한히 많은 쌍으로서 비홈오모르픽인 매끄러운 4차원 다양체를 구성한다. 이 구성은 매스모토의 고리수-2 관계를 브레인 군으로 올리고 표면 매핑 클래스로 투영하는 데 기반하며, 기본군이 $\mathbb{Z} \oplus \mathbb{Z}_n$이고 $b_2^+ = 1$인 4차원 다양체를 얻는다. 이러한 성질은 알려진 심플렉틱 장벽으로 인해 복소 구조를 지닐 수 없음을 의미한다.

ABSTRACT

For every integer g greater than or equal to 2, there exist infinitely many pairwise nonhomeomorphic smooth 4-manifolds that admit genus-g Lefschetz fibrations over S^2 but do not carry any complex structure with either orientation. This extends a recent result of Ozbagci and Stipsicz.

연구 동기 및 목표

• 매스모토의 고리수-2 리프슐츠 피브레이션 관계를 브레인 군으로의 올림을 통해 고리수 $g$ 표면로 일반화한다.
• 매핑 클래스 군의 모노드로미 관계를 사용하여 고리수-$g$ 리프슐츠 피브레이션을 가지지만 복소 구조를 지니지 않는 4차원 다양체를 구성한다.
• 이러한 4차원 다양체의 기본군이 모든 $n$에 대해 $\mathbb{Z} \oplus \mathbb{Z}_n$임을 보이고, 이를 통해 심플렉틱 장벽 정리에 의해 복소 구조의 부재를 추론한다.
• 결과로 얻어진 4차원 다양체의 미분형질을 규명하여, 짝수인 $g$에 대해 $\Sigma_{g/2} \times S^2 \# 4\overline{\mathbb{CP}^2}$, 홀수인 $g$에 대해 $\Sigma_{(g-1)/2} \times S^2 \# 8\overline{\mathbb{CP}^2}$임을 보인다.

제안 방법

• 매스모토의 고리수-2 관계(여덟 개의 오른쪽 데인 트위스트 포함)를 브레인 군 $\mathrm{B}_6$로 올리고, 임의의 $g \geq 2$에 대해 $\mathrm{B}_{2g+2}$로 일반화한다.
• 일반화된 브레인 관계를 초타원적 몫을 통한 표면의 매핑 클래스 군으로 투영한다.
• 고리수-$g$ 표면의 매핑 클래스 군에서 $2g+4$개(짝수 $g$) 또는 $2g+10$개(홀수 $g$)의 데인 트위스트를 포함하는 모노드로미 관계를 구성하여, 리프슐츠 피브레이션의 전반적 모노드로미에 대응한다.
• 특정 매핑 클래스와 이 관계의 쌍대 공액을 곱하여, 기본군이 $\mathbb{Z} \oplus \mathbb{Z}_n$인 4차원 다양체를 갖는 모노드로미를 설계한다.
• 이전 연구에서 알려진 바에 따르면, 기본군이 $\pi_1 \cong \mathbb{Z} \oplus \mathbb{Z}_n$인 심플렉틱 4차원 다양체는 복소 구조를 지닐 수 없음을 이용한다.
• 스티프시츠의 분류 결과를 적용: $b_2^+ = 1$이고 $2g+4$개(또는 $2g+10$개)의 사라지는 순환을 가지는 4차원 다양체는 각각 $\Sigma_{g/2} \times S^2 \# 4\overline{\mathbb{CP}^2}$ (또는 $\Sigma_{(g-1)/2} \times S^2 \# 8\overline{\mathbb{CP}^2}$)와 미분형질이 같다.

실험 결과

연구 질문

• RQ1 매스모토의 고리수-2 리프슐츠 피브레이션 관계를 고리수 $g$ 표면로 일반화하여, 제어된 기본군을 지닌 비복소 4차원 다양체를 구성할 수 있는가?
• RQ2 비자명한 고리수-$g$ 리프슐츠 피브레이션의 경우, $S^2$ 위에서 최소 몇 개의 특이 섬유를 가질 수 있으며, 이는 모노드로미 관계로 실현될 수 있는가?
• RQ3 기본군이 $\mathbb{Z} \oplus \mathbb{Z}_n$이고 $b_2^+ = 1$인 4차원 다양체는 복소 구조를 지닐 수 있는가? 그리고 이를 어떻게 장벽할 수 있는가?
• RQ4 모노드로미가 일반화된 관계로 주어진 고리수-$g$ 리프슐츠 피브레이션의 4차원 다양체의 미분형질은 무엇인가?

주요 결과

• 모든 $g \geq 2$에 대해, $S^2$ 위에 고리수-$g$ 리프슐츠 피브레이션을 가지며 어느 방향으로도 복소 구조를 지니지 않는 무한히 많은 쌍으로서 비홈오모르픽인 4차원 다양체가 존재한다.
• 비자명한 고리수-$g$ 리프슐츠 피브레이션에서 특이 섬유의 최소 개수는 짝수인 $g$에 대해 최대 $2g+4$, 홀수인 $g$에 대해 최대 $2g+10$이며, 이 경계는 정확하다.
• 모노드로미 관계에 대응하는 4차원 다양체 $X_n$의 기본군은 $\mathbb{Z} \oplus \mathbb{Z}_n$과 동형이며, 이는 알려진 심플렉틱 위상수학 결과에 의해 복소 구조의 존재를 막는다.
• 짝수인 $g$에 대해, 4차원 다양체는 $\Sigma_{g/2} \times S^2 \# 4\overline{\mathbb{CP}^2}$와 미분형질이 같으며, 오일러 특성은 $8 - 2g$, 위상수는 $-4$이다.
• 홀수인 $g \geq 3$에 대해, 4차원 다양체는 $\Sigma_{(g-1)/2} \times S^2 \# 8\overline{\mathbb{CP}^2}$와 미분형질이 같으며, 오일러 특성은 $14 - 2g$, 위상수는 $-8$, $b_2^+ = 1$, $b_2^- = 9$이다.
• 홀수인 $g$에 대한 위상수 계산은 일곱 개의 $(-2)$-구면과 자기 교차수 $-2$인 고리수-$(g-1)/2$ 표면을 구성하여, 7차원 부분공간에서 교차 형식이 음의 정부호임을 보이고, 쌍대성을 이용하여 $b_2^- = 9$임을 도출한다.