[论文解读] A Finite Rank Bundle over $J$-Holomorphic map Moduli Spaces

An-Min Li, Sheng Li|arXiv (Cornell University)|Nov 12, 2017

Algebraic Geometry and Number Theory参考文献 8被引用 4

一句话总结

本文研究了在 $J$-全纯映射模空间邻域上的有限秩丛 $\mathbf{F}$，建立了胶合映射导数关于胶合参数的指数衰减性质。通过加权索伯列夫范数与巴拿赫空间中的隐函数定理，证明了该丛的胶合映射表现出快速衰减，这对于在辛拓扑中构造一致的格罗莫夫-威滕不变量至关重要。

ABSTRACT

We study a finite rank bundle $\mathbf{F}$ over a neighborhood of $J$-Holomorphic map Moduli Spaces, prove the exponential decay of the derivative of the gluing maps for $\mathbf{F}$ with respect to the gluing parameter.

研究动机与目标

• 分析有限秩丛 $\mathbf{F}$ 在 $J$-全纯映射模空间上的局部解析性质。
• 建立模空间邻域上丛 $\widetilde{\mathbf{F}}$ 的光滑性。
• 研究在具有节点的黎曼曲面退化情形下 $\widetilde{\mathbf{F}}$ 的胶合理论。
• 证明胶合映射导数关于胶合参数 $r$ 的指数衰减。
• 为相对格罗莫夫-威滕理论及模空间紧化提供基础。

提出的方法

• 将 $\mathbf{F}$ 局部平凡化为 $\widetilde{\mathbf{F}}$，定义于 $\mathbf{A} \times W^{k,2}(\Sigma, u^*TM)$，其中 $\mathbf{A}$ 是一个陶列茨基空间局部坐标图。
• 在巴拿赫空间中应用隐函数定理，证明弗雷德霍姆映射零点集的光滑性。
• 在加权索伯列夫空间上构造线性化算子 $D^{\widetilde{\mathbf{L}}}|_b$ 的有界右逆 $Q_b$。
• 使用加权 $L^{k,2,\alpha}$-范数与指数权函数，控制退化曲面端点处的衰减行为。
• 通过曲率与联络系数的衰减界推导加权椭圆估计。
• 利用一维族度量 $\mathbf{g}^\diamond$ 与节点附近的柱坐标分析胶合映射。

实验结果

研究问题

• RQ1 当底层黎曼曲面退化时，有限秩丛 $\mathbf{F}$ 如何行为？
• RQ2 当胶合参数 $r \to 0$ 时，从 $\widetilde{\mathbf{F}}|_u$ 到 $\widetilde{\mathbf{F}}|_{u_{(r)}}$ 的胶合映射的正则性如何？
• RQ3 能否证明胶合映射的导数在 $r$ 上呈指数衰减？
• RQ4 加权索伯列夫范数在控制线性化 $\overline{\partial}$-方程解的衰减中起什么作用？
• RQ5 节点黎曼曲面的几何如何影响丛的渐近行为？

主要发现

• 从 $\widetilde{\mathbf{F}}|_u$ 到 $\widetilde{\mathbf{F}}|_{u_{(r)}}$ 的胶合映射在关于胶合参数 $r$ 的导数上表现出指数衰减。
• 对任意 $0 < \alpha < \mathfrak{c}/2$，解 $h$ 在颈部区域的 $L^{k,2,\alpha}$-范数衰减为 $\mathsf{C}(e^{-(\mathfrak{c}-\alpha)(R'-R)} + e^{-(\mathfrak{c}-\alpha)R})$ 乘以初始范数。
• 线性化算子的右逆 $Q_b$ 在 $r$ 上一致有界，与胶合参数无关。
• 方程 $D^{\widetilde{\mathbf{L}}}|_b(h) = \eta$ 的解 $h$ 满足 $\|h|_{s_1 \geq R'}\|_{k,2,\alpha} \leq \mathsf{C}'[(e^{-(\mathfrak{c}-\alpha)(R'-R)} + e^{-(\mathfrak{c}-\alpha)R})\|\eta\|_{k-1,2,\alpha} + \|\eta|_{s_1 \geq R}\|_{k-1,2,\alpha}]$。
• 隐函数定理保证了 $F^{-1}(0)$ 在 $(a_o, x_o)$ 附近是 $C^\ell$-光滑流形，且对参数 $a$ 具有 $C^\ell$ 依赖性。
• 由于右逆与隐函数解的光滑依赖性，胶合映射族在参数 $a$ 上是 $C^\ell$-光滑的。