[论文解读] Unwrapped continuation invariance in Lagrangian Floer theory: energy and $C^0$ estimates

Yong‐Geun Oh|ArXiv.org|Oct 6, 2009

Geometric and Algebraic Topology参考文献 26被引用 3

一句话总结

本文在Weinstein流形上对具有圆锥形或渐近圆锥形端点的拉格朗日子流形，建立了未展开延续不变性。通过证明哈密顿同伦下伪全纯映射的统一能量与$C^0$界，构造了一个在同调上诱导同构的典范链映射，即使在原始非紧致拉格朗日子流形上不存在全局链映射时亦成立。

ABSTRACT

We consider pairs of Lagrangian submanifolds $(L_0,L), (L_1, L)$ belonging to the class of Lagrangian submanifolds with \emph{conic} ends on \emph{Weinstein manifolds}. The main purpose of the present paper is to define a canonical chain map $h_\CL: CF(L_0,L) o CF(L_1,L)$ of Lagrangian Floer complex inducing an isomorphism in homology, under the Hamiltonian isotopy $\CL=\{L_s\}_{0 \leq s\leq 1}$ generated by \emph{conic} Hamiltonian functions such that the intersections $L \cap L_s$ do not escape to infinity. The main ingredients of the proof is an a priori bound for general isotopy of the energy \emph{quadratic} at infinity and a $C^0$-bound for the \emph{$C^1$-small} isotopy $\CL = \{L_s\}$, for the associated pseudo-holomorphic map equations with \emph{moving} Lagrangian boundary induced by a conic Hamiltonian isotopy. For the Lagrangian submanifolds with \emph{asymptotically conic} ends, we construct a natural homomorphism $h_\LL: HF(L_0,L) o HF(L_1,L)$ for which the corresponding chain map may \emph{not} necessarily exist. This provides a more conventional construction of the chain isomorphism which replaces the sophisticated method using the Lagrangian cobordism via the machinery of \cite{kasturi-oh1,kasturi-oh2} whose details were only outlined in \cite{oh:gokova}.

研究动机与目标

• 解决由于非紧致性导致在具有圆锥形端点的非紧致拉格朗日子流形上，未展开拉格朗日Floer同调中缺乏典范链映射的问题。
• 在非紧致设定下，为哈密顿同伦下的伪全纯映射建立先验能量与$C^0$界。
• 在不存在全局链映射的情况下，构造典范同态$ h_{\tilde{\rho}}: HF(L_0, L) \to HF(L_1, L) $。
• 通过截断Floer复形的逆极限，将延续不变性原理推广至渐近圆锥形拉格朗日子流形。
• 为Weinstein流形上非恰当、非紧致拉格朗日子流形的$A_\infty$-结构与未展开Fukaya范畴构造提供严格的理论基础。

提出的方法

• 在$ T^*\mathbb{R} \times M $上使用悬垂cobordism构造，将同伦$ \{L_s\} $提升至分析更易处理的几何设定中。
• 应用强最大值原理与单调性论证，为受扰Cauchy-Riemann方程的解导出二次能量界。
• 通过控制具有移动拉格朗日边界条件的伪全纯映射的逐点导数，为$C^1$-小同伦建立$C^0$-界。
• 对大$ R $，利用紧支集哈密顿同伦，在截断Floer复形$ CF(L_{0,R}, L_R) \to CF(L_{1,R}, L_R) $上构造链映射$ h_{\mathcal{L}_R} $。
• 取$ R \to \infty $时这些映射的逆极限，得到在完整同调群上的典范同构$ h_{\mathcal{L}} $。
• 依赖于截断复形$ \{CF(L_{0,R}, L_R)\} $的逆系统结构及其相容链映射$ \iota_{RR'} $，通过极限定义未展开同调。

实验结果

研究问题

• RQ1 当由于非紧致性而不存在全局链映射时，是否能在未展开拉格朗日Floer同调中构造出典范链映射？
• RQ2 为确保具有移动拉格朗日边界条件的伪全纯曲线的紧致性与正则性，所需且足够的先验界（特别是能量与$C^0$）是什么？
• RQ3 如何在Weinstein流形上对具有圆锥形或渐近圆锥形端点的拉格朗日子流形建立延续不变性？
• RQ4 标准$A_\infty$-结构工具箱在非恰当、非紧致拉格朗日子流形（具有圆锥形端点）上可多大程度上被适配？
• RQ5 一对渐近圆锥形拉格朗日子流形的未展开Floer同调是否同构于截断Floer复形的逆极限？

主要发现

• 为哈密顿同伦下受扰Cauchy-Riemann方程的有限能量解，建立了统一能量界$ E_{g_{(\psi,J)}}(u) \leq C_6 $，其中$ C_6 $仅依赖于同伦类$ A $与数据$ (F,J) $，而不依赖于解$ u $。
• 通过逐点导数估计证明了伪全纯映射的$C^0$-界，确保映射像在同伦过程中不会逃逸至无穷远。
• 作为链映射$ h_{\mathcal{L}_R} $的逆极限，构造了典范链映射$ h_{\mathcal{L}}: HF(L_0, L) \to HF(L_1, L) $，且该映射在同调上诱导同构。
• 该构造并未产生全局链映射$ CF(L_0, L) \to CF(L_{1}, L) $，而是通过逆极限系统在同调层面定义了同构。
• 该能量界不仅适用于哈密顿同伦，也适用于由局部哈密顿向量场生成的一般辛同伦。
• 该框架可推广至$A_\infty$设定：在能量与$C^0$界成立的前提下，非恰当、非紧致拉格朗日子流形的未展开Fukaya范畴的完整$A_\infty$-结构可类似[FOOO1]地建立。