[论文解读] Polyfold and Fredholm Theory I: Basic Theory in M-Polyfolds

Helmut Hofer, Kris Wysocki+1 more|arXiv (Cornell University)|Jul 11, 2014

Geometric and Algebraic Topology参考文献 23被引用 17

一句话总结

本文通过引入尺度微分结构框架，建立了M-多复形（M-polyfolds）中Sc-Fredholm截面的基础理论——M-多复形是具有变化局部维数的广义Banach流形。该理论为处理具有紧致性与横截性问题的非线性椭圆PDE提供了稳健的Fredholm理论。核心贡献在于为辛几何场论中的奇异极限提供了系统性处理方法，包括一个新形式的隐函数定理，以及在这些空间上对Fredholm算子一致构造行列式丛的方法。

ABSTRACT

The main topic is the development of a Fredholm theory in a new class of spaces called M-polyfolds. In the subsequent Volume II the theory will be generalized to an even larger class of spaces called polyfolds, which can also incorporate local symmetries. The whole package provides a functional analytic framework to deal with compactness and transversality issues as they occur in moduli problems of symplectic geometry. Applications of the theory cover Floer-type theories as they occur in symplectic geometry. M-polyfolds and the more general polyfolds are smooth spaces which can be finite-dimensional as well as infinite-dimensional. In applications of interest they in general have locally varying dimensions. Despite the fact that the spaces are much more general than Banach manifolds a nonlinear Fredholm theory with the usual features is possible (Sard-Smale type perturbation theory). This generalized Fredholm theory can be applied to classes of nonlinear elliptic problems which show bubbling-off phenomena but allow for certain kind of compactifications.

研究动机与目标

• 为具有变化维数的空间（特别是辛几何场论SFT）中的非线性椭圆PDE发展广义微分与Fredholm理论。
• 解决伪全纯曲线理论中因泡状发散与退化而产生的紧致性与横截性问题。
• 引入一类新空间——M-多复形，通过在递减的Banach空间序列上的收缩子构造，推广流形概念。
• 为适当的Sc-Fredholm截面建立一致的Fredholm理论，包括明确定义的行列式丛与方向传播。
• 提供可重用的分析框架（“黑箱”），用于在应用中构建多复形，提升透明度并减少易错证明。

提出的方法

• 在Banach空间上引入sc-结构，即具有紧嵌入与稠密交集的递减Banach空间序列，作为尺度微分的基础。
• 将M-多复形定义为局部同胚于sc-Banach空间收缩子的空间，推广流形以允许局部维数变化及边界/角点结构。
• 定义Sc-Fredholm截面为M-多复形上强丛的截面，其核与余核有限维，且满足sc-Fredholm条件。
• 通过涉及核与余核的恰当序列链，定义sc-设定下Fredholm算子的行列式丛。
• 在R^n的部分象限中证明隐函数定理，并将其推广至M-多复形，从而实现带边界与角点约束的非线性方程的局部解理论。
• 通过局部行列式丛定义方向传播，并利用行列式丛为适当Sc-Fredholm截面建立不变量。

实验结果

研究问题

• RQ1 如何将Fredholm理论推广至具有变化局部维数与边界结构的空间（如SFT中出现的空间）？
• RQ2 在具有节点或泡状极限的伪全纯曲线模空间中，处理紧致性与横截性的正确分析框架是什么？
• RQ3 如何在尺度结构的不同层级之间一致地定义与传输Fredholm算子的行列式丛？
• RQ4 能否在M-多复形（特别是具有角点与部分象限的空间）的背景下，形式化一致的隐函数定理？
• RQ5 如何在该推广设定下系统性地传播与计算适当Sc-Fredholm截面的方向与不变量？

主要发现

• 本文在M-多复形上建立了明确定义的Sc-Fredholm理论，其中Fredholm截面具有有限维核与余核，并满足尺度正则性条件。
• 在R^n的部分象限中证明了隐函数定理，并将其推广至M-多复形，从而支持带边界与角点约束的非线性方程的局部解理论。
• 通过涉及核与余核的恰当序列链，构造了Fredholm算子的行列式丛，并建立了相关算子行列式丛之间的典范同构。
• 证明了行列式同构γ^Q_T与γ^P_QT的复合等于γ^P_T，从而证明了在算子复合下行列式丛构造的一致性。
• 本文证明了行列式丛在算子复合下是良好定义且相容的，其等式γ^P_QT ∘ γ^Q_T = γ^P_T在行列式元素层面上成立。
• 该理论通过行列式丛支持了适当Sc-Fredholm截面的不变量构造，为SFT及相关理论中的辛不变量奠定了基础。