[论文解读] The Exponential Decay of Gluing Maps for $J$-Holomorphic map Moduli Spaces

An-Min Li, Sheng Li|arXiv (Cornell University)|Jun 21, 2015

Holomorphic and Operator Theory参考文献 12被引用 5

一句话总结

本文建立了 $J$-全纯曲面模空间中粘合映射导数的指数衰减估计，证明当 $r \to \infty$ 时，粘合映射关于粘合参数 $r$ 的变化率呈指数衰减。分析依赖于加权索伯列夫空间和巴拿赫空间中的隐函数定理，以控制在节点点附近线性化 $\bar{\partial}$-算子的行为，确保对粘合参数的光滑依赖性，并为格罗莫夫-威滕理论提供基础估计。

ABSTRACT

We prove the exponential decay of the derivative of the gluing maps with respect to the gluing parameter.

研究动机与目标

• 在 $J$-全纯曲面模空间中，建立关于粘合参数 $r$ 的粘合映射导数的精确衰减估计。
• 通过使用加权索伯列夫空间 $W^{k,2,\alpha}$，将线性化 $\bar{\partial}$-算子的弗雷德霍姆理论扩展至具有节点的黎曼曲面。
• 通过巴拿赫空间中的隐函数定理，确保粘合构造对粘合参数 $r$ 和 $\tau$ 的光滑依赖性。
• 通过量化粘合映射导数的衰减率，为格罗莫夫-威滕不变量中使用的粘合构造提供严格的分析基础。

提出的方法

• 在节点退化的曲面 $\Sigma_{(r)} = \Sigma_1 \#_r \Sigma_2$ 上，利用柱坐标和粘合参数 $r$ 与 $\tau$，构造一族复结构 $j_{(r),a}$。
• 在拉回丛 $u^*TM$ 上定义加权索伯列夫范数，以处理非紧致的柱状端部，确保线性化 $\bar{\partial}$-算子是弗雷德霍姆算子。
• 在适当的小量条件下，应用巴拿赫空间中的隐函数定理，求解粘合曲面上的 $\bar{\partial}$-方程，且解关于 $r$ 和 $\tau$ 光滑依赖。
• 利用复结构变化诱导的 $\wedge^{0,1}$-丛之间的同构 $\Psi_{j_o,j}$，在粘合区域关联不同加权索伯列夫范数。
• 分析线性化算子 $D_u = \frac{\partial}{\partial s} + J_0\frac{\partial}{\partial t} + F_u^1 + F_u^2\frac{\partial}{\partial t}$ 在柱状端部的渐近行为，表明扰动项关于 $s$ 指数衰减。
• 通过估计线性化算子逆的算子范数，并利用隐函数定理对导数的控制，推导出粘合映射关于 $r$ 的导数的统一有界性。

实验结果

研究问题

• RQ1 当 $r \to \infty$ 时，粘合映射导数关于粘合参数 $r$ 的衰减速率如何？
• RQ2 隐函数定理能否在 $r$ 上一致应用，以在粘合曲面 $\Sigma_{(r)}$ 上构造 $J$-全纯映射？
• RQ3 线性化 $\bar{\partial}$-算子在节点黎曼曲面柱状端部的精确渐近行为是什么？
• RQ4 加权索伯列夫范数如何控制在粘合过程中靠近节点点处解的正则性和衰减性？
• RQ5 粘合映射对复结构模空间以及粘合参数 $r, \tau$ 的依赖关系如何？

主要发现

• 当 $r \to \infty$ 时，粘合映射关于粘合参数 $r$ 的导数呈指数衰减，即存在 $\mu > 0$ 使得 $\|D_r \text{粘合映射}\| \leq C e^{-\mu r}$。
• 巴拿赫空间中的隐函数定理给出了 $\Sigma_{(r)}$ 上 $\bar{\partial}$-方程的 $C^1$-光滑解族，且解关于 $r$ 和 $\tau$ 光滑依赖。
• 在柱状端部，线性化 $\bar{\partial}$-算子收敛于 $J_0 \frac{d}{dt}$，且扰动项 $F_u^1, F_u^2$ 关于 $s$ 指数衰减。
• 当复结构变化 $H$ 较小时，$\wedge^{0,1}$-丛之间的同构 $\Psi_{j_o,j}$ 在算子范数下一致有界，确保了粘合区域的一致性。
• 线性化算子 $D_xF(a,x)$ 的逆具有有界右逆 $Q$，其范数一致有界于常数 $\mathsf{C}$，从而支持隐函数定理的应用。
• 解映射的导数满足 $\|D_a x\| \leq C$，其中 $C$ 仅依赖于 $C_1$、$\mathsf{C}$、$\delta'$、$\|f_a\|$ 和 $\|D^2_{ax}F\|$，确保了对参数的受控依赖。