[论文解读] Basic Riemannian Geometry and Sobolev Estimates used in Symplectic Topology

Aleksey Zinger|arXiv (Cornell University)|Dec 17, 2010

Geometric and Algebraic Topology参考文献 5被引用 9

一句话总结

本文提供了辛拓扑分析方法所必需的基础黎曼几何与Sobolev估计。它建立了伪全纯曲线上向量丛截面的联络、指数映射和Sobolev范数的统一有界性，关键结果表明Sobolev范数可通过$\bar{\partial}$-算子与映射的导数实现统一控制，这对Gromov-Witten理论中的紧致性论证至关重要。

ABSTRACT

This note collects a number of standard statements in Riemannian geometry and in Sobolev-space theory that play a prominent role in analytic approaches to symplectic topology. These include relations between connections and complex structures, estimates on exponential-like maps, and dependence of constants in Sobolev and elliptic estimates.

研究动机与目标

• 收集并系统化支撑辛拓扑分析方法的黎曼几何与Sobolev理论中的标准结果。
• 在几乎复流形中取值的伪全纯映射上的向量丛上，建立联络与$\bar{\partial}$-算子的统一估计。
• 从$\bar{\partial}$-算子、映射导数和截面本身的角度，推导出向量丛截面Sobolev范数的定量控制。
• 提供Sobolev与椭圆估计中依赖于底流形几何与拓扑的常数的自-contained参考。

提出的方法

• 通过实与复向量丛上的联络定义协变导数，并利用局部平凡化与依赖于基的联络一形式将它们与$\bar{\partial}$-算子关联。
• 应用Poincaré引理与类似指数的映射，控制局部几何，并将切空间结构与丛截面关联。
• 利用单位分解、局部坐标图与截面上的加权范数，在黎曼曲面上推导Sobolev与椭圆估计。
• 通过单位分解与局部估计建立统一有界性，表明截面的Sobolev范数受$\bar{\partial}$-范数、映射导数的$L^p$-范数与截面本身的$L^p$-范数控制。
• 利用$\nabla$与复结构可交换的事实，将局部$\bar{\partial}$-范数与全局Sobolev控制关联。
• 应用Moser型论证与递归Sobolev嵌入，推导高阶控制，最终得到$p > 2$时的$W^{1,p}$-界。

实验结果

研究问题

• RQ1 如何基于$\bar{\partial}$-算子与映射导数，推导出复向量丛截面在伪全纯映射上的统一Sobolev估计？
• RQ2 Sobolev与椭圆估计中的常数对黎曼度量与几乎复结构等几何数据的依赖关系为何？
• RQ3 联络与复结构在几乎复流形上向量丛的背景下如何相互作用？这种关系如何用于控制$\bar{\partial}$-算子？
• RQ4 指数映射与平行移动在关联向量丛的局部与全局几何中起什么作用？
• RQ5 如何统一控制截面的$W^{1,p}$-范数，使其依赖于其$\bar{\partial}$-导数的$L^p$-范数与映射导数的$L^p$-范数？

主要发现

• 对于$p > 2$，在伪全纯映射$u$上具有紧支集的截面$\theta$的$W^{1,p}$-范数，由依赖于$\norm{du}_p$、$D_u\theta$的$L^p$-范数与$\theta$的$L^p$-范数的常数有界，且在目标流形的紧子集上一致成立。
• 对于$p \neq 2$，在像位于紧子集$K$中的映射$u$上，截面$\theta$的$W^{1,p}$-范数由依赖于$\norm{du}_p$、$D_u\theta$的$L^p$-范数与$\theta$的$L^p$-范数的常数有界，且该常数关于$\norm{du}_p$连续。
• 在环形区域$A_2 \triangleleft_\rho A_1$上，$\nabla^u \theta$的$L^p$-范数由依赖于$K$、$\rho$、$p$与$A_1$的常数乘以$\norm{D_u\theta}_p$、$\norm{\nabla^u \theta}_2$与$\norm{\theta \times du}_p$之和有界。
• Sobolev估计中的常数连续依赖于伪全纯映射导数的$L^p$-范数，确保在小的$C^0$-扰动下保持稳定。
• 估计在目标流形的紧子集上一致成立，且仅依赖于底流形的几何与几乎复结构。
• 通过局部平凡化、单位分解以及递归应用Sobolev嵌入与椭圆正则性，推导出结果，最终实现$p > 2$时的全局$W^{1,p}$-控制。