[논문 리뷰] The Relative Symplectic Cone and T^2-Fibrations

Josef G. Dorfmeister, Tianjun Li|arXiv (Cornell University)|2008. 05. 19.

Geometry and complex manifolds참고 문헌 29인용 수 4

한 줄 요약

이 논문은 토러스($T^2$-fibrations)로 분할된 4차원 다양체 위의 심플렉틱 구조를 연구하기 위해 상대 심플렉틱 콘을 도입한다. 심플렉틱 섬유 합과 Taubes의 Seiberg-Witten 및 Gromov 불변량 사이의 대응을 분석함으로써, 코다이라 차원 1이고 $p_g > 0$인 일부 최소 Kähler 표면에 대해, 그 심플렉틱 콘은 캐논리컬 클래스와 그 부정의 양의 콘의 합집합과 일치한다는 추측을 검증한다. 이 결과는 기존의 추측 적용 범위를 새로운 종류의 $T^2$-fibrations로 확장한다.

ABSTRACT

In this note we introduce the notion of the relative symplectic cone. As an application, we determine the symplectic cone of certain T^2-fibrations. In particular, for some elliptic surfaces we verify a conjecture on the symplectic cone of minimal Kaehler surfaces raised by the second author.

연구 동기 및 목표

• 심플렉틱 4차원 다각형에 대해 codimension-2 심플렉틱 부분다양체 $V$를 갖는 경우 상대 심플렉틱 콘 ${\mathcal{C}}^{V}_{M}$을 정의하고 연구한다.
• 섬유 합 구조를 사용하여 $T^2$-fibrations, 특히 $T^2 \times \Sigma_g$ 및 $X \#_{T^2} (T^2 \times \Sigma_k)$의 심플렉틱 콘을 규명한다.
• 참고문헌 [18]의 추측 1.1을 검증한다. 이 추측은 최소 Kähler 표면에 대해 심플렉틱 콘은 ${\mathcal{P}}^{c_1(M)} \cup {\mathcal{P}}^{-c_1(M)}$와 일치한다고 주장하며, 코다이라 차원 $\kappa = 1$이고 $p_g > 0$인 경우에 대해 검증한다.
• 심플렉틱 곡선이 클래스 $[V]$에 속할 때, $V$가 편의적으로 편의화된 곡선이 되도록 보장하는 거의 복소 구조의 일반성 결과를 확립한다.

제안 방법

• 고정된 방향과 심플렉틱 부분다양체 $V \subset M$과 호환되는 심플렉틱 형식으로 표현되는 $H^2(M;\mathbb{R})$의 코homology 클래스 집합으로서 상대 심플렉틱 콘 ${\mathcal{C}}^{V}_{M}$을 정의한다.
• 기존의 심플렉틱 4차원 다각형으로부터 $M = X \#_{V} Y$의 심플렉틱 섬유 합 구조를 사용하여 새로운 심플렉틱 4차원 다각형을 구성한다. 여기서 $V$는 접합 부위이다.
• 섬유 합의 상대 콘 ${\mathcal{C}}^{V}_{X}$ 및 ${\mathcal{C}}^{V}_{Y}$를 바탕으로 합의 형식 콘 $\mathcal{C}^{\text{sum}}$에 대한 접합 공식을 유도하며, 이는 $\mathcal{C}^{\text{sum}} = {\mathcal{C}}^{V}_{M}$가 되는 위상적 조건을 만족할 때 성립한다.
• Seiberg-Witten 불변량과 Gromov 불변량 사이의 Taubes의 대응을 적용하여, 캐논리컬 클래스와 예외적 클래스를 통해 심플렉틱 콘을 제약한다.
• 선형화된 $\overline{\partial}$의 선형성에 대한 일반성 조건을 도입하여, $J$-호몰로지 임bedding의 $J$-해석이 $k([V])$의 값에 따라 전사 또는 단사가 되도록 한다.
• 특히 $k([V]) \geq 0$일 경우, 일반적인 $(J, \Omega)$ 쌍은 매끄럽고 0차원인 모듈리 공간 $\mathcal{K}_{V}^{[V]}(J,\Omega)$을 유도하며, $k([V]) < 0$일 경우 $V$는 일반적인 $J$에 대해 강성( rigid )이 된다.

실험 결과

연구 질문

• RQ1 코다이라 차원 $\kappa = 1$이고 $p_g > 0$인 최소 Kähler 표면의 심플렉틱 콘은 ${\mathcal{P}}^{c_1(M)} \cup {\mathcal{P}}^{-c_1(M)}$와 일치하는가?
• RQ2 심플렉틱 섬유 합 연산을 통해 $T^2$-fibrations에 대해 상대 심플렉틱 콘 ${\mathcal{C}}^{V}_{M}$을 계산할 수 있는가?
• RQ3 섬유 합의 형식 콘 $\mathcal{C}^{\text{sum}}$이 전체 상대 심플렉틱 콘 ${\mathcal{C}}^{V}_{M}$과 일치하는 조건은 무엇인가?
• RQ4 일반적인 거의 복소 구조 $J$는 클래스 $[V]$의 편의화된 곡선의 존재성과 정규성에 어떤 영향을 미치는가?
• RQ5 Seiberg-Witten 기본 클래스와 캐논리컬 클래스는 $T^2$-fibrations의 심플렉틱 콘에 어떤 제약을 가하는가?

주요 결과

• 섬유 합 $M = X \#_{V} Y$에 대해 위상적 조건이 충족되면, 상대 심플렉틱 콘 ${\mathcal{C}}^{V}_{M}$은 합의 형식 콘 $\mathcal{C}^{\text{sum}}$과 일치함을 보였다. 특히 $V$의 정규(bundle)이 자명할 경우에 해당한다.
• $T^2 \times \Sigma_g$의 경우 심플렉틱 콘은 완전히 규명되었으며, ${\mathcal{P}}^{c_1(M)} \cup {\mathcal{P}}^{-c_1(M)}$와 일치함을 보여 추측 1.1이 이 다양체에 대해 검증되었다.
• $X \#_{T^2} (T^2 \times \Sigma_k)$의 심플렉틱 콘은 섬유 합 기법을 통해 계산되었으며, $X$가 $p_g = 0$ 또는 $\kappa = 0$이면 이와 같은 $T^2$-fibrations에 대해 추측이 확인되었다.
• 밀도 있는 $G_\delta$ 부분집합 $\mathcal{J}_V$ 내의 일반적인 $J$에 대해, $k([V]) \geq 0$이면 $J$-호몰로지 임bedding에서 $\overline{\partial}$의 선형화가 전사이고, $k([V]) < 0$이면 단사함을 보였으며, 이는 모듈리 공간의 정규성을 보장한다.
• $k([V]) < 0$일 경우, $\mathcal{J}_{[V]}$의 일반적인 $J$ 집합은 클래스 $[V]$ 내에서 $V$가 유일한 편의화된 대표자임을 보여주며, 이는 강성( rigidity )을 의미한다.
• $k([V]) \geq 0$일 경우 $\mathcal{J}_{[V]}$는 $\mathcal{J}_V \times X^{k([V])}$에 밀도 있게 존재하며, 일반적으로 모듈리 공간 $\mathcal{K}_{V}^{[V]}(J,\Omega)$는 매끄럽고 0차원 다양체가 된다. 다만 $m > k([V])$인 경우는 일반적으로 공집합이 된다.