[论文解读] Fredholm notions in scale calculus and Hamiltonian Floer theory

Katrin Wehrheim|arXiv (Cornell University)|Sep 18, 2012

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

一句话总结

本文提出了尺度微分学中非线性映射弗雷德霍姆性质的简化且等价的定义，相较于基于压缩胚芽的原始多叶定义，该定义更易于验证。证明了该新概念蕴含标准的sc-弗雷德霍姆性质，并将其应用于哈密顿弗洛尔理论，建立了在断裂轨迹附近扰动的柯西-黎曼算子的弗雷德霍姆性质，从而以更稳健的分析框架取代了经典的粘合与横截性技术。

ABSTRACT

We give an equivalent definition of the Fredholm property for linear operators on scale Banach spaces and introduce a (nonlinear) scale Fredholm property with respect to a splitting of the domain. The latter implies the Fredholm property introduced by Hofer-Wysocki-Zehnder in terms of contraction germs, but is easier to check in practice and holds in applications to holomorphic curve moduli spaces. We demonstrate this at the example of trajectory breaking in Hamiltonian Floer theory.

研究动机与目标

• 为尺度巴拿赫空间上的线性算子提供一个更简单且等价的弗雷德霍姆性质定义。
• 在域的分解背景下，引入尺度微分学中更实用的非线性弗雷德霍姆性质。
• 证明该新非线性弗雷德霍姆性质蕴含基于压缩胚芽的原始sc-弗雷德霍姆性质。
• 将新框架应用于哈密顿弗洛尔理论，证明在断裂轨迹附近填充弗洛尔截面的sc-弗雷德霍姆性质。
• 表明该方法可取代弗洛尔同调构造中的经典横截性与粘合技术。

提出的方法

• 针对域分解为有限维粘合参数与无限维函数空间，提出一种新的非线性弗雷德霍姆性质定义。
• 证明新非线性弗雷德霍姆性质与基于压缩胚芽标准型的原始sc-弗雷德霍姆性质等价。
• 在黎曼曲面的柱状端上应用尺度微分学，利用加权索伯列夫范数与指数衰减控制柱状区域附近的行为。
• 在断裂轨迹附近构造预粘合映射作为多叶图册映射，利用指数映射与局部平凡化定义非线性截面。
• 通过加权赫尔德范数与索伯列夫范数估计，建立线性化算子中误差项的紧性，确保弗雷德霍姆指标不变性。
• 通过将线性化弗洛尔算子替换为线性化梯度流算子，将证明结构推广至莫尔斯理论，保持弗雷德霍姆结构不变。

实验结果

研究问题

• RQ1 能否以一种更易验证的方式重新定义尺度微分学中的弗雷德霍姆性质，同时保持与原始定义的等价性？
• RQ2 该新非线性弗雷德霍姆性质是否蕴含基于压缩胚芽的标准sc-弗雷德霍姆性质？
• RQ3 该新框架能否用于证明哈密顿弗洛尔理论中，在断裂轨迹附近扰动柯西-黎曼算子的弗雷德霍姆性质？
• RQ4 该新方法如何简化或取代弗洛尔同调中的经典粘合与横截性技术？
• RQ5 该方法在多大程度上可推广至莫尔斯理论？对梯度流算子需要进行哪些修改？

主要发现

• 如定理4.5所示，相对于分解的新型非线性弗雷德霍姆性质与基于压缩胚芽的原始sc-弗雷德霍姆性质等价。
• 由于算子范数估计中误差项的紧性，对所有 r ≥ 0，线性化算子 D_B Φ(r,0) 均为弗雷德霍姆算子，且指标与 r 无关。
• 如定理5.4所示，通过加权索伯列夫与赫尔德范数估计验证了新非线性弗雷德霍姆条件，填充弗洛尔截面为sc-弗雷德霍姆算子。
• 弗雷德霍姆性质在各尺度上一致成立，限制到更高正则性尺度或有限余维子空间时，仍保持sc-弗雷德霍姆性质，且指标减少量等于余维数。
• 通过将线性化弗洛尔算子替换为线性化梯度流算子，该方法可直接推广至莫尔斯理论，且保持弗雷德霍姆结构不变。
• 该方法在无泡出现的情况下消除了对经典粘合与横截性技术的需求，代之以单一、连贯的正则化框架。