[论文解读] Gluing pseudoholomorphic quilted disks

S. Ma’u|ArXiv.org|Sep 17, 2009

Geometric and Algebraic Topology参考文献 7被引用 13

一句话总结

本文利用全纯花边构造伪全纯花边盘的模空间，并证明了孤立、正则花边盘的粘合定理。关键贡献在于通过以Stasheff多胞体参数化的族，为拉格朗日对应关系所关联的$A_{u}$函子建立了分析基础。

ABSTRACT

We construct families of quilted surfaces parametrized by the multiplihedra, and define moduli spaces of pseudoholomorphic quilted disks using the theory of pseudoholomorphic quilts of Wehrheim and Woodward. We prove a gluing theorem for regular, isolated pseudoholomorphic quilted disks. This analytical result is a fundamental ingredient for the construction of A-infinity functors associated to Lagrangian correspondences.

研究动机与目标

• 将弗洛尔同调的$A_\infty$-范畴框架扩展至通过全纯花边实现的拉格朗日对应关系。
• 定义以带标记花边盘的实模空间$\mathcal{R}^{d,0}$为参数的伪全纯花边盘的模空间。
• 为孤立、正则的伪全纯花边盘构造粘合映射，从而实现$A_\infty$结构中高阶复合的定义。
• 为辛拓扑中拉格朗日对应关系的链水平函子性提供分析基础。
• 将多胞体实现为模空间$\mathcal{R}^{d,0}$的紧化形式，将其与$A_\infty$-函子联系起来。

提出的方法

• 构造以Stasheff多胞体为参数的花边曲面族，其为标准$A_\infty$理论中使用的阿西俄科赫德拉的推广。
• 将伪全纯花边盘的模空间定义为在带边界条件的花边定义域上满足扰动柯西-黎曼方程的解。
• 利用Wehrheim与Woodward提出的全纯花边框架，为广义拉格朗日对应关系定义弗洛尔型链复形。
• 应用正则性与紧致性论证，确保伪全纯花边盘的正则性与孤立性。
• 通过能量泛函上的凸性估计，证明能量充分解的指数衰减估计。
• 通过先验估计与平均值不等式证明粘合定理，表明长条带上小能量解呈指数衰减。

实验结果

研究问题

• RQ1 如何构造并参数化伪全纯花边盘的模空间，以建模$A_\infty$-函子中的高阶复合？
• RQ2 伪全纯花边盘在边界分量与交点附近的分析行为如何？
• RQ3 在全纯花边的背景下，能否为孤立、正则的伪全纯花边盘建立粘合定理？
• RQ4 模空间$\mathcal{R}^{d,0}$的紧化形式如何与多胞体及$A_\infty$-结构相关联？
• RQ5 在长条带上，能量有界的伪全纯映射的统一衰减估计是什么？它们如何支持粘合过程？

主要发现

• 证明了$(d+1)$-标记花边盘的模空间$\mathcal{R}^{d,0}$紧化为多胞体$J_d$，为$A_\infty$-函子提供了几何模型。
• 为孤立、正则的伪全纯花边盘建立了粘合定理，使得可从拉格朗日对应关系构造$A_\infty$-函子。
• 证明了指数衰减估计：对伪全纯条带$v$，有$|\partial_s v|_{J_t}^2 \leq A\delta e^{-\kappa|s|}$，其中$s \in [-\rho+1, \rho-1]$，常数$A, \kappa > 0$仅依赖于几何结构。
• 对能量$E(v) < \delta$的长条带，其中心区域的能量满足$E(T) \leq e^{-\kappa T} E(v)$，确认了统一衰减。
• 能量泛函$f(s) = \frac{1}{2}\int_0^1 |\partial_t u|_{J_t}^2 dt$在横截交点附近满足凸性估计$\ddot{f}(s) \geq \kappa^2 f(s)$。
• 粘合映射是良定义且连续的，其依赖于指数衰减以及由平均值不等式与凸性导出的先验估计。