[논문 리뷰] Symplectic Divisorial Capping in Dimension 4

Tianjun Li, Cheuk Yu Mak|arXiv (Cornell University)|2014. 07. 02.

Geometric and Algebraic Topology참고 문헌 24인용 수 11

한 줄 요약

이 논문은 4차원 다양체 내의 심플렉틱 나열에 대한 오목 또는 볼록 이웃의 존재를 위한 필수적이고 충분한 조건을 수립한다. 특히, 심플렉틱 형식이 경계에서 정확할 경우, 그 형식을 변형함으로써 그러한 이웃이 존재함을 보여준다. 주요 기여는 경계 기본군이 유한한 심플렉틱 캄파크팅 나열의 분류와, 이러한 조건 하에서의 채움의 유한성 결과이다.

ABSTRACT

We investigate the notion of symplectic divisorial compactification for symplectic 4-manifolds with either convex or concave type boundary. This is motivated by the notion of compactifying divisors for open algebraic surfaces. We give a sufficient and necessary criterion, which is simple and also works in higher dimensions, to determine whether an arbitrarily small concave/convex neighborhood exist for an $ω$-orthogonal symplectic divisor (a symplectic plumbing). If deformation of symplectic form is allowed, we show that a symplectic divisor has either a concave or convex neighborhood whenever the symplectic form is exact on the boundary of its plumbing. As an application, we classify symplectic compactifying divisors having finite boundary fundamental group. We also obtain a finiteness result of fillings when the boundary can be capped by a symplectic divisor with finite boundary fundamental group.

연구 동기 및 목표

• 4차원 심플렉틱 다양체 내의 심플렉틱 나열 주위에 오목 또는 볼록 이웃이 존재하는지를 판단하는 기준을 개발하기 위해.
• 심플렉틱 나열이 경계가 있는 심플렉틱 4차원 다양체의 캄파크팅 나열로 기능할 수 있는 조건을 조사하기 위해.
• 경계 기본군이 유한한 심플렉틱 캄파크팅 나열을 분류하기 위해.
• 경계가 경계 기본군이 유한한 심플렉틱 나열에 의해 캄파크팅될 수 있을 경우, 심플렉틱 채움의 유한성 결과를 확립하기 위해.
• 심플렉틱 캄파크팅 이론을 심플렉틱 형식의 변형을 포함하도록 확장하고, 에너지 한계와 랩핑 수를 통해 장애 요소를 다루기 위해.

제안 방법

• 심플렉틱 플럼빙을 사용하여 심플렉틱 나열 주위의 이웃을 정의하고, $b_2^\pm(D)$와 경계 기본군과 같은 위상적 불변량을 사용하기 위해.
• GS 구성과 랩핑 수를 적용하여 나열의 경계에 접촉 구조의 존재를 확립하기 위해.
• 오목 채움에 대한 장애 요소를 유도하기 위해 에너지 하한과 단조성 보조정리(lemmas)를 사용하기 위해.
• 심플렉틱 형식 $\omega_0$를 $W$에서 $\omega_1$로 변형하면서 $D$에서의 심플렉틱 구조를 유지하기 위해. 조건은 $\omega_0$가 $\partial D$에서 정확해야 한다.
• 존재가 오목 채움이 있고 랩핑 수가 음이 아닌 경우를 가정할 때, $J$-홀로모르픽 커브와 리우빌 벡터장, 스토크스 정리를 통해 모순을 이끌어내기 위해.
• 예외적 나열 주변의 피아노-홀로모르픽 사상 분석과 리우빌 흐름의 특이점 근처 행동 제어를 위해 블로우업 및 블로우다운 기법을 사용하기 위해.

실험 결과

연구 질문

• RQ1 심플렉틱 다양체 내의 심플렉틱 나열이 오목 또는 볼록 이웃을 가질 수 있는 조건은 무엇인가?
• RQ2 심플렉틱 나열이 닫힌 심플렉틱 4차원 다양체에 매장될 수 있는 조건은 무엇이며, 언제 캄파크팅 나열로 기능하는가?
• RQ3 경계 기본군이 유한한 심플렉틱 캄파크팅 나열의 분류는 무엇인가?
• RQ4 경계가 경계 기본군이 유한한 심플렉틱 나열에 의해 캄파크팅될 수 있을 경우, 심플렉틱 채움에 대해 어떤 유한성 조건이 발생하는가?
• RQ5 랩핑 수와 에너지 한계는 오목 채움의 존재를 저해하는 데 어떻게 기여하는가?

주요 결과

• 심플렉틱 나열 $D$는 그 플럼빙의 경계에서 심플렉틱 형식 $\omega_0$가 정확할 경우, 형식을 변형한 후에 오목 또는 볼록 이웃을 가질 수 있다.
• 형식 $\omega_0$가 $\partial D$에서 정확할 경우, 심플렉틱 형식을 변형함으로써 $D$가 오목 나열이 되도록 보장할 수 있으며, 이는 필요 및 충분 조건이 된다.
• 만약 $D$가 매장 가능한 나열이고 $\omega_0|_{\partial D}$가 정확할 경우, 심플렉틱 변형을 통해 $D$는 캄파크팅 나열이 된다.
• 논문은 경계가 경계 기본군이 유한한 심플렉틱 나열에 의해 캄파크팅될 수 있는 4차원 다양체의 심플렉틱 채움이 유한개 뿐임을 증명한다.
• 오목 채움에 대한 장애 요소는 음이 아닌 랩핑 수에서 기인한다. 특히, 랩핑 수가 음이 아닌 경우 오목 이웃은 존재하지 않는다.
• 증명에서의 모순은 리우빌 벡터장이 경계 근처에서는 안쪽을 향하고 특이점 근처에서는 바깥쪽을 향하는 데서 발생하며, 음이 아닌 에너지로 인해 스토크스 정리 위반을 초래한다.