[논문 리뷰] Holomorphic curves for Legendrian surgery

Tobias Ekholm|arXiv (Cornell University)|2019. 06. 17.

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

한 줄 요약

이 논문은 Weinstein 다양체 내의 레전드리안 수술에 사용되는 해석적 곡선의 핵심 기하적 성질에 대한 엄밀한 증명을 제공하며, 코코어 라그랑주 디스크의 랩프드 플로어 코homology와 레전드리안 미분 대수의 자연스러운 동형사상을 확립한다. 해석적 구면의 점근적 마킹을 가진 모듈리 공간에 대한 페르투브레이션 이론을 통해 전방성과 컴팩트성의 증명이 이루어지며, 이는 심플렉틱 토폴로지의 기초 결과를 완성하고 해석적 곡선 기법을 통한 불변량의 정확한 계산을 가능하게 한다.

ABSTRACT

Let $X$ be a Weinstein manifold with ideal contact boundary $Y$. If $Λ\subset Y$ is a link of Legendrian spheres in $Y$ then by attaching Weinstein handles to $X$ along $Λ$ we get a Weinstein cobordism $X_Λ$ with a collection of Lagrangian co-core disks $C$ corresponding to $Λ$. In \cite{BEE, EL} it was shown that the wrapped Floer cohomology $CW^{\ast}(C)$ of $C$ in the Weinstein manifold $X'_Λ=X\cup X_Λ$is naturally isomorphic to the Legendrian differential graded algebra $CE^{\ast}(Λ)$ of $Λ$ in $Y$. The argument uses properties of moduli spaces of holomorphic curves, the proofs of which were only sketched. The purpose of this paper is to provide proofs of these properties.

연구 동기 및 목표

• 레전드리안 수술에서 랩프드 플로어 코hom로지의 계산에 사용되는 해석적 곡선의 기하적 성질에 대한 완전하고 엄밀한 증명을 제공하는 것.
• 웨이스타인 코버디즘에서 점근적 마킹이 있는 해석적 구면의 모듈리 공간에 대해 전방성과 컴팩트성을 확립하는 것.
• 코코어 디스크의 랩프드 플로어 코hom로지와 레전드리안 미분 대수 간의 동형사상에 대한 기초 프레임워크를 완성하는 것.
• 안정된 페르투브레이션 방법을 통해 해석적 곡선 기법의 적용 범위를 유연성 있고 임계적인 웨이스타인 다양체로 확장하는 것.

제안 방법

• 해석적 구면의 모듈리 공간에서 전방성을 확보하기 위해 도메인에 의존하는 거의 복소構조의 페르투브레이션을 사용하여 코쉬-리만 방정식을 변형한다.
• 참고문헌 [15]의 점근적 분석을 적용하여 도메인 유형을 안정화하고, 원래의 모듈리 공간 주변의 함수해석적 이웃을 정의한다.
• 웨이스타인 코브อรḋ즘의 음의 끝에서 해석적 평면을 사용하여 깨진 곡선을 세는 앵커링 기법을 활용하여 컴팩트성을 유지한다.
• 대칭성을 깨고 페르투브레이션 이론에서 정수 값을 갖는 계수를 가능하게 하기 위해 경계에 특별한 마킹이 있는 점을 사용한다.
• 해석적 구면의 페르투브레이션된 모듈리 공간의 컴팩트하고 옹호된, 모서리가 있는 경계를 가진 콤팩트화를 구축한다.
• 접합 및 작용 분석을 적용하여 1차원 모듈리 공간을 분석하고 끝을 세며, 기본 해석적 디스크의 대수적 계수가 ±1임을 증명한다.

실험 결과

연구 질문

• RQ1 웨이스타인 코버디즘에서 점근적 마킹이 있는 해석적 구면의 모듈리 공간에 대해 전방성이 어떻게 엄밀하게 확보될 수 있는가?
• RQ2 편미분된 해석적 구면의 콤팩트화된 모듈리 공간의 구조는 무엇이며, 이는 어떻게 정수 값을 갖는 불변량을 지원하는가?
• RQ3 해석적 평면을 사용한 앵커링 기법은 어떻게 랩프드 플로어 코hom로지 계산에서 컴팩트성을 보장하는가?
• RQ4 레전드리안 수술의 맥락에서 해석적 디스크의 정확한 대수적 계수는 무엇이며, 이는 레전드리안 DGA와 어떻게 관련되는가?
• RQ5 리브 오비트에 마킹을 놓는 위치가 해석적 디스크의 계수에 어떻게 영향을 주며, 마킹의 이동에 대해 계수는 불변인가?

주요 결과

• 일반적인 페르투브레이션 λ에 대해, 리브 오비트 γ에서 점근적 마킹을 가진 해석적 구면의 모듈리 공간 M^λ(γ)는 차원 |γ| = CZ(γ) + (n−3)인 전방성으로 잘린 다양체이다.
• 콤팩트화된 M^λ(γ)̅는 경계와 모서리가 있는 컴팩트하고 옹호된 다양체이며, 여러 수준의 곡선으로 구성되어 있다.
• 충분히 작은 ε > 0 에 대해, X(ε) 내의 (a; a₁c₁…cₘ)-cord-chord 디스크의 대수적 수는 ±1이다.
• 충분히 작은 ε > 0 에 대해, X(ε) 내의 (b; a₁c₁…cₘaₘ)-orbit-chord 디스크의 대수적 수는 ±1이다.
• 충분히 작은 ε > 0 에 대해, Y_Λ(ε)×ℝ 내의 (a₁,a₂; b)-cord 디스크의 대수적 수는 ±1이다.
• 중간 작용 수준이 존재하지 않기 때문에, 해석적 디스크의 계수는 리브 오비트의 점근적 마킹 위치와 무관하다.