[논문 리뷰] Surgery and Invariants of Lagrangian Surfaces

Mei-Lin Yau|arXiv (Cornell University)|2013. 06. 22.

Geometric and Algebraic Topology참고 문헌 14인용 수 5

한 줄 요약

이 논문은 매끄러운 동치류를 유지하지만 심플렉틱 불변량을 변화시킬 수 있는 라그랑주 표면에 대한 새로운 수술 연산인 la-disk 수술을 제안한다. 이는 비해밀턴 동치류를 탐지할 수 있는 새로운 불변량인 y-인덱스를 구축하며, 심플렉틱 4차원 다양체 내에서 매끄럽게 동치이지만 해밀턴 동치가 아닌 라그랑주 토러스의 쌍을 특정하여 새로운 예를 제공한다.

ABSTRACT

We considered a surgery, called Lagrangian attaching disk surgery, that can be applied to a Lagrangian surface L at the presence of a Lagrangian attaching disk D, to obtain a new Lagrangian surface L' which is always smoothly isotopic to L. We showed that this type of surgery includes all even generalized Dehn twists as constructed by Paul Seidel. We also constructed a new symplectic invariant, called y-index, for orientable closed Lagrangian surfaces immersed in a parallelizable symplectic 4-manifold W. With y-index we proved that L and L' are not Hamiltonian isotopic. We also obtained new examples of nullhomologous Lagrangian tori which are smooth isotopic but not Hamiltonian isotopic.

연구 동기 및 목표

• 라그랑주 표면에 대해 매끄러운 동치류는 유지하지만 해밀턴 동치류를 깨뜨릴 수 있는 수술 절차를 개발한다.
• 평행화 가능한 심플렉틱 4차원 다양체 내에서 옹호된 닫힌 라그랑주 표면을 위한 새로운 심플렉틱 불변량인 y-인덱스를 구축한다.
• la-disk 수술을 통해 얻어진 표면이 매끄럽게 동치이더라도 원래 표면과 해밀턴 동치가 아니라는 것을 증명한다.
• 심플렉틱 4차원 다양체 내에서 매끄럽게 동치이지만 해밀턴 동치가 아닌 노르모로지어스 라그랑주 토러스의 새로운 예를 제공한다.

제안 방법

• 표면 내 경계 곡선의 호모토피 클래스에 기반하여, 포물형, 쌍곡형 또는 타원형 유형의 극성(폴라리티)을 가진 라그랑주 부착 디스크(la-disk)를 정의한다.
• 경계 곡선의 콤팩트 이웃 영역을 잘라내고, 라그랑주 애너루스를 다른 방식으로 붙여 라그랑주 구조를 유지하는 la-disk 수술 η_D를 구성한다.
• 라그랑주 표면의 교차 영역 내에서 방향을 가진 곡선을 따라 단계의 변화를 통합하여 y-인덱스를 심플렉틱 불변량으로 도입한다.
• 구면좌표계와 라그랑주 그라스만이안에 대한 군 작용을 사용하여 상대적 위상과 y-인덱스를 정의한다.
• 연속적인 수술을 거쳐 얻어진 y-값의 차이를 계산하여 비해밀턴 동치를 탐지한다.
• 해밀턴 동치를 유지하면서 영역을 변형시키는 데 사용할 수 있는 y-인덱스를 활용하여, 서로 동치가 아닌 토러스의 순서를 제어적으로 구성한다.

실험 결과

연구 질문

• RQ1 라그랑주 표면에 대한 수술이 매끄러운 동치류는 유지하면서도 해밀턴 동치류를 깰 수 있는가?
• RQ2 매끄럽게 동치이지만 해밀턴 동치가 아닌 라그랑주 표면을 식별할 수 있는 심플렉틱 불변량이 존재하는가?
• RQ3 심플렉틱 4차원 다양체 내에서 매끄럽게 동치이지만 해밀턴 동치가 아닌 라그랑주 토러스의 새로운 예를 만들 수 있는가?
• RQ4 y-인덱스는 la-disk 수술 하에서 어떻게 행동하며, 이를 통해 동치류를 구별하는 데 사용할 수 있는가?
• RQ5 la-disk 수술과 심플렉틱 위상수학에서의 일반화된 디엔 트위스트 사이의 관계는 무엇인가?

주요 결과

• la-disk 수술 η_D는 원래 표면 L과 매끄럽게 동치이지만 반드시 해밀턴 동치가 아닌 새로운 라그랑주 표면 L′을 생성한다.
• y-인덱스는 비해밀턴 동치를 탐지하는 심플렉틱 불변량이다: 만약 y(L′,q) ≠ y(L,q)이면, L과 L′는 해밀턴 동치가 아니다.
• 연속적인 la-disk 수술을 통해 생성된 토러스 T_k에 대해, y(T_k, q) = -4k (k = -1, 0, ..., n) 이다.
• T_k와 T_j 사이의 y-인덱스 차이는 y(T_k, T_j, q) = 4(j - k)이며, 이는 모든 T_k가 상호 비해밀턴 동치임을 증명한다.
• 이 구성은 W_n 내에서 n+2개의 상호 비해밀턴 동치인 단조 라그랑주 토러스를 생성하며, 모두 상호 매끄럽게 동치이다.
• y-인덱스는 기준점과 영역을 고정하는 해밀턴 동치에 대해 불변이므로, 동치류를 구별하는 데 적합하다.