[논문 리뷰] Knotted surfaces in 4-manifolds

Thomas E. Mark|ArXiv.org|2008. 01. 28.

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

한 줄 요약

이 논문은 Fintushel과 Stern의 4-다양체에서의 리姆 수술 구축을 Heegaard Floer homology와 Ozsváth-Szabó 불변량을 사용하여 확장하여, 자기교차수 $2-2g$ 이상인 심플렉틱 표면이 무수히 많은 매끄럽게 다른데도 위상적으로 동일한 매장이 존재함을 보여준다. 주요 결과는 이전의 자기교차수에 대한 음이 아닌 조건을 일반화하며, Ozsváth-Szabó 불변량에 대한 링크 수술 공식과 휠린 Floer homology 계산을 통해, 수술에 사용된 링크의 앨리오크스터 다항식을 통해 매끄러운 유형을 구별한다.

ABSTRACT

Fintushel and Stern have proved that if S \subset X is a symplectic surface in a symplectic 4-manifold such that S has simply-connected complement and nonnegative self-intersection, then there are infinitely many topologically equivalent but smoothly distinct embedded surfaces homologous to S. Here we extend this result to include symplectic surfaces whose self-intersection is bounded below by 2-2g, where g is the genus of S. We make use of tools from Heegaard Floer theory, and include several results that may be of independent interest. Specifically we give an analogue for Ozsvath-Szabo invariants of the Fintushel-Stern knot surgery formula for Seiberg-Witten invariants, both for closed 4-manifolds and manifolds with boundary. This is based on a formula for the Ozsvath-Szabo invariants of the result of a logarithmic transformation, analogous to one obtained by Morgan-Mrowka-Szabó for Seiberg-Witten invariants, and the results on Ozsvath-Szabo invariants of fiber sums due to the author and Jabuka. In addition, we give a calculation of the twisted Heegaard Floer homology of circle bundles of "large" degree over Riemann surfaces.

연구 동기 및 목표

• 심플렉틱 4-다양체에서 뭉친 표면의 매끄러운 유형에 대한 Fintushel과 Stern의 결과를 비음성 자기교차수 제약 조건을 초월하여 일반화하는 것.
• Seiberg-Witten 불변량에 대한 링크 수술 공식을 Ozsváth-Szabó 4-다양체 불변량, 특히 경계가 있는 다양체의 상대 불변량으로 확장하는 것.
• 리만 곡면 위의 고도가 큰 원판의 끈으로 이루어진 다양체에 대한 휠린 Heegaard Floer homology를 계산하여 주요 정리에 필요한 기본 도구를 제공하는 것.
• Ozsváth-Szabó 불변량에 대한 앨리오크스터 다항식의 작용을 통해 뭉친 표면의 매끄러운 유형을 구별하는 기준을 설정하는 것.

제안 방법

• S^3에 있는 링크 $K$를 사용하여 Fintushel과 Stern의 리姆 수술 구축을 변형하여 심플렉틱 4-다양체 $X$ 내의 표면 $Σ_0$를 수정한다.
• Ozsváth-Szabó 불변량에 대한 로그 변환 공식을 사용하여 링크 수술이 4-다양체의 보존에 미치는 영향을 분석한다.
• Ozsváth-Szabó 불변량에 대한 피브리드 합 공식을 적용하여 원래의 4-다양체와 수정된 4-다양체의 불변량을 연결한다.
• 표면 $Σ_0$의 보존에 대해, 표준 스피너$^c$ 구조와 차수 고려를 사용하여 휠린 Heegaard Floer homology에서 상대 불변량을 구성한다.
• 링크 수술에 의해 표면 보존의 Ozsváth-Szabó 불변량이 앨리오크스터 다항식 $\Delta_K(t)$에 의한 곱으로 변형됨을 증명한다.
• 자기교차수 $HF^{-}(Y_{2g-1}, \mathfrak{s}_{\pm(g-1)})$의 최고차수 부분이 $R_{Y_{2g-1}}$ 위의 랭크 1의 자유 모듈로 나타남을 보여, 비자명성을 감지하고 매끄러운 유형을 구별한다.

실험 결과

연구 질문

• RQ1 자기교차수가 0보다 작지만 $2-2g$ 이상일 경우, 원래 표면의 자기교차수가 음수이더라도 리姆 수술 구축이 심플렉틱 4-다양체 내에서 무수히 많은 매끄럽게 다른 표면을 생성할 수 있는가?
• RQ2 경계가 있는 4-다양체의 맥락에서 Fintushel-Stern의 링크 수술 공식이 Ozsváth-Szabó 불변량에 대해 유사한 형태로 존재하는가?
• RQ3 고도가 큰 리만 곡면 위의 원판에 대한 휠린 Heegaard Floer homology는 무엇이며, 4-다양체 불변량과 어떻게 관련되는가?
• RQ4 원래 표면의 자기교차수가 음수일 경우, 링크 수술 이후의 뭉친 표면의 매끄러운 유형을 Ozsváth-Szabó 불변량이 구별할 수 있는가?
• RQ5 앨리오크스터 다항식이 Ozsváth-Szabó 불변량에 작용하는 방식이 결과로 얻어진 표면의 매끄러운 유형을 구별하는가?

주요 결과

• 심플렉틱 표면 $\Sigma_0 \subset X$가 $g \geq 1$의 곡면과 $\pi_1(X \setminus \Sigma_0) = 1$, $\Sigma_0.\Sigma_0 \geq 2-2g$ 를 만족할 경우, 무수히 많은 표면 $\Sigma_n$이 $\Sigma_0$와 동치일 뿐만 아니라 위상적으로 동일하지만 매끄럽게 다른 표면이 존재함을 증명한다.
• 링크 수술에 의해 표면 보존의 Ozsváth-Szabó 불변량은 앨리오크스터 다항식 $\Delta_K(t)$에 의한 곱으로 변형되며, 이는 결과 표면을 구별하는 매끄러운 불변량이 된다.
• 자기교차수 $HF^{-}(Y_{2g-1}, \mathfrak{s}_{\pm(g-1)})$의 최고차수 부분은 $R_{Y_{2g-1}}$ 위의 자유 모듈로 랭크 1이다. 이는 비자명한 $\Delta_K(t)$가 비자명한 불변량을 유도함을 보장한다.
• $g > 1$일 경우, 표면 $\Sigma_0$의 보존에 대한 상대 Ozsváth-Szabó 불변량은 표준 스피너$^c$ 구조에서 비자명하며, 블로우업과 링크 수술 이후에도 유지된다.
• 수술에 의해 생성된 표면의 매끄러운 유형은 $\Delta_K(t)$ 모듈로 2의 작용을 통해 구별된다. 만약 $\Delta_{K_n}(t) \not\equiv \Delta_{K_m}(t) \mod 2$ 이면, $\widetilde{Z}_n$ 과 $\widetilde{Z}_m$ 은 디피오모르피아가 아니다.
• 이 결과는 Fintushel과 Stern의 정리를 확장하여, 자기교차수가 $2-2g$까지 음수가 되더라도 무수히 많은 매끄러운 유형이 존재함을 유지한다.