[论文解读] A General Fredholm Theory I: A Splicing-Based Differential Geometry

Helmut Hofer, Kris Wysocki+1 more|ArXiv.org|Dec 20, 2006

Geometric and Algebraic Topology参考文献 14被引用 6

一句话总结

本文提出了一种基于微分几何中拼接构造的广义弗雷德霍姆理论，使得一类新的光滑空间——多叶流形（polyfolds）得以建立，从而能够对具有变维数和非紧性现象（如泡状解、颈部拉伸）的模空间实现紧化。其核心贡献在于证明了在拼接丛上一个截面的弗雷德霍姆性质，等价于其填充版本的弗雷德霍姆性质，且指标保持不变，这为辛拓扑与 gauge 理论中的扰动与横截性理论奠定了坚实基础。

ABSTRACT

This is the first paper in a series introducing a generalized Fredholm theory in a new class of smooth spaces called polyfolds. The theory will be illustrated in upcoming papers by applications to Floer Theory, Gromov-Witten Theory and Symplectic Field Theory.

研究动机与目标

• 开发一种广义弗雷德霍姆理论，以处理因泡状解和颈部拉伸等现象导致非紧性的模空间。
• 通过拼接核心作为局部模型，引入一类新的光滑空间——多叶流形，其切空间维数可变。
• 为具有非恒定定义域与目标维数的无限维情形，建立扰动与横截性理论的基础。
• 提供一个基于 sc-结构与强丛的泛函分析框架，支持在此广义背景下隐函数定理与弗雷德霍姆理论。

提出的方法

• 在巴拿赫空间上引入 sc-结构，作为光滑结构的推广，其中嵌套的巴拿赫空间 $E_m$ 满足当 $n > m$ 时，包含映射 $E_n \hookrightarrow E_m$ 是紧的。
• 定义开子集之间的 sc-光滑映射，确保链式法则成立，从而在该设定下支持微分学。
• 发展拼接的概念，通过相容的巴拿赫空间族与线性映射族构造新的局部模型（即拼接核心）。
• 引入定义在拼接核心上的强丛，其纤维丛以 sc-巴拿赫空间为模型，并定义可填充的强丛结构，以支持截面的紧化。
• 利用填充映射的概念，将截面从拼接核心扩展至更大的空间，从而构造出保持弗雷德霍姆性质的截面的填充版本。
• 通过线性化填充后的截面，证明原始截面与其填充版本在弗雷德霍姆性质与指标上完全等价。

实验结果

研究问题

• RQ1 在模空间中存在泡状解与颈部拉伸等非紧性现象时，如何构建广义弗雷德霍姆理论？
• RQ2 如何对光滑结构与微分几何进行适当的推广，以容纳具有变维数切空间的流形？
• RQ3 如何定义弗雷德霍姆截面，并在通过拼接构造实现紧化时保持其性质？
• RQ4 在什么条件下，拼接丛上截面的线性化是弗雷德霍姆算子？其与截面填充版本的关系为何？
• RQ5 能否利用拼接框架将扰动与横截性理论推广至具有非恒定维数的无限维空间？

主要发现

• 在拼接丛上，截面 $f$ 在光滑点处的线性化是 sc-Fredholm 当且仅当其填充版本 $\overline{\mathbf{f}}$ 的线性化也是 sc-Fredholm。
• 原始截面与填充版本的弗雷德霍姆指标完全相同，确保了拓扑不变量的一致性。
• 填充版本 $\overline{\mathbf{f}}$ 通过一个 sc-光滑映射 $\mathbf{f}^c$ 构造而成，该映射在投影 $\pi_v$ 的核上保持线性同构，从而保持弗雷德霍姆结构。
• 填充版本 $\overline{\mathbf{f}}$ 的线性化可分解为一个分块矩阵，其中包含原始线性化与一个 sc-同构 $C$，从而确保弗雷德霍姆性质被保持。
• 该理论表明，基于拼接的框架能够支持完整的弗雷德霍姆工具包，包括扰动与横截性理论，即使在非紧与维数可变的设定下亦然。
• 该构造为在辛场论、格罗莫夫-威滕理论与弗洛尔理论中，利用多叶流形作为环境空间来实现模空间的紧化，提供了严格的理论基础。