[论文解读] Holomorphic curves for Legendrian surgery

Tobias Ekholm|arXiv (Cornell University)|Jun 17, 2019

Geometric and Algebraic Topology参考文献 14被引用 16

一句话总结

本文為 Weinstein 流形中 Legendrian 切除手術所用全純曲線的關鍵幾何性質提供了嚴謹的證明，確立了全純 Floer 上同調與 Legendrian 微分代數之間的自然同構。透過對具有漸近標記的全純球面模空間應用擾動理論，作者證明了橫截性與緊緻性，完成辛拓撲學的基礎結果，並使全純曲線技術得以精確計算不變量。

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.

研究动机与目标

• 提供全純曲線幾何性質的完整且嚴謹證明，用於 Legendrian 切除手術中全純 Floer 上同調的計算。
• 在 Weinstein 邊界中，確立具有漸近標記的全純球面模空間的橫截性與緊緻性。
• 完成全純 Floer 上同調與 Legendrian 微分代數之間同構的基礎框架。
• 透過穩定擾動方法，將全純曲線技術的適用性擴展至彈性與臨界的 Weinstein 流形。

提出的方法

• 使用與定域相關的幾乎複結構擾動來處理柯西-黎曼方程，以在具有漸近標記的全純球面模空間中達成橫截性。
• 應用 [15] 中的漸近分析，以穩定定域類型並定義未擾動模空間的功能分析鄰域。
• 運用固定技術，透過計數cobordism負端的全純平面來維持緊緻性。
• 使用具有標記的特殊邊界 puncture 來打破對稱性，進而允許擾動理論中的整數計數。
• 構造擾動後全純球面模空間的緊緻、可定向、帶邊界與角的緊化。
• 應用黏合與作用量論證，分析一維模空間並計數端點，證明基本全純盤的代數計數為 ±1。

实验结果

研究问题

• RQ1 如何在 Weinstein 邊界中，為具有漸近標記的全純球面模空間嚴謹地建立橫截性？
• RQ2 擾動後全純球面模空間的緊化結構為何？其如何支援整數值不變量？
• RQ3 全純平面的固定技術如何在全純 Floer 上同調計算中確保緊緻性？
• RQ4 在 Legendrian 切除手術背景下，全純盤的精確代數計數為何？其與 Legendrian DGA 的關係為何？
• RQ5 Reeb 圓周上標記的位置如何影響全純盤的計數？該計數是否在標記移動下不變？

主要发现

• 對於一般擾動 λ，具有在 Reeb 圓周 γ 處漸近標記的全純球面模空間 M^λ(γ) 是一個橫截截出的流形，其維度為 |γ| = CZ(γ) + (n−3)。
• 緊化 M^λ(γ)̅ 是一個緊緻、可定向的流形，具有邊界與角，由多層曲線組成。
• 在 X(ε) 中，(a; a₁c₁…cₘ)-弦-弦盤的代數數量對充分小的 ε > 0 等於 ±1。
• 在 X(ε) 中，(b; a₁c₁…cₘaₘ)-軌道-弦盤的代數數量對充分小的 ε > 0 等於 ±1。
• 在 Y_Λ(ε)×ℝ 中，(a₁,a₂; b)-弦盤的代數數量對充分小的 ε > 0 等於 ±1。
• 全純盤的計數與漸近標記在 Reeb 圓周上的位置無關，原因在於中間作用量層次的缺失。