[论文解读] Quilted Floer trajectories with constant components

Katrin Wehrheim, Chris Woodward|arXiv (Cornell University)|Jan 19, 2011

Geometric and Algebraic Topology参考文献 7被引用 4

一句话总结

本文通过引入确保此类轨迹模空间正则性的通用分拆哈密顿扰动，完成了具有常数分量的花边弗洛尔轨迹的横截性证明。结果表明，对于分拆几乎复结构和哈密顿扰动的通用选择，无论某些分量是否为常数，任意给定指标的花边弗洛尔轨迹的模空间均为光滑且维数符合预期。

ABSTRACT

We fill a gap in the proof of the transversality result for quilted Floer trajectories in arXiv:0905.1370 by addressing trajectories for which some but not all components are constant. Namely we show that for generic sets of split Hamiltonian perturbations and split almost complex structures, the moduli spaces of parametrized quilted Floer trajectories of a given index are smooth of expected dimension. An additional benefit of the generic split Hamiltonian perturbations is that they perturb the given cyclic Lagrangian correspondence such that any geometric composition of its factors is transverse and hence immersed.

研究动机与目标

• 填补文献[6]中关于部分但非全部分量为常数的花边弗洛尔轨迹横截性证明中的空白。
• 确立对于通用分拆扰动数据，此类轨迹的模空间为光滑且维数符合预期。
• 证明通用分拆哈密顿扰动可确保拉格朗日子对应几何复合的横截性。
• 表明花边轨迹中的常数分量对应于局部化的几何复合，从而支持归纳正则性论证。
• 证明在分拆几乎复结构空间中，正则几乎复结构的集合为余第一纲集，从而确保通用正则性。

提出的方法

• 在 $\mathcal{H}_{t}(\underline{\delta})$ 中引入一个分拆哈密顿扰动的余稠密开子集，使得拉格朗日子对应的几何复合成为横截且浸入的。
• 分析具有常数分量的轨迹的线性化柯西-黎曼算子 $D_{\underline{u}}\overline{\partial}_{\underline{J}}$，通过 $-J$-全纯截面与拉格朗日接缝条件聚焦于余核。
• 通过将常数分量的情形约化为在常数带上进行的局部化几何复合来处理，其中相邻的非常数分量在常数分量的切空间中诱导出迷向边界条件。
• 利用迷向子空间 $\Lambda_j(s)$ 和 $\Lambda_j'(s)$ 随 $s$ 变化的事实，证明 $J$-全纯截面 $\eta_j$ 必须消失，除非相关算子 $\partial_s + A$ 具有非平凡核，而这一情况在通用选择下可避免。
• 将线性化算子分解为非常数分量上的算子与常数分量间耦合算子的直和，通过归纳法和逐步正则性传递证明其满射性。
• 应用托布斯的交集论证，将 $\mathcal{C}^\ell$-正则性扩展至 $\mathcal{C}^\infty$-正则性，利用紧致性与粘合性证明正则性在 $\mathcal{C}^1$-极限下保持不变，并表明正则 $\underline{J}$ 的集合为余第一纲集。

实验结果

研究问题

• RQ1 在分拆扰动数据下，是否可为部分但非全部分量为常数的花边弗洛尔轨迹建立横截性？
• RQ2 通用分拆哈密顿扰动是否可确保拉格朗日子对应几何复合的横截性，从而使其为浸入？
• RQ3 是否可通过局部化几何复合，将具有常数分量的花边弗洛尔轨迹的模空间约化为低维花边问题？
• RQ4 在 $\mathcal{C}^\infty$-拓扑中，使所有相关线性化算子满射的分拆几乎复结构集合是否为余第一纲集？
• RQ5 是否可利用紧致性与粘合性论证，将模空间的正则性从 $\mathcal{C}^\ell$ 扩展至 $\mathcal{C}^\infty$？

主要发现

• 对于 $\mathcal{H}_{t}(\underline{\delta})$ 中的通用分拆哈密顿扰动，任意给定指标的花边弗洛尔轨迹的模空间均为光滑且维数符合预期。
• 在 $\mathcal{J}_{t}(\underline{\delta})$ 中，使线性化算子 $D_{\underline{u}}\overline{\partial}_{\underline{J}}$ 对所有轨迹 $\underline{u}$ 满射的分拆几乎复结构 $\underline{J}$ 的集合为余第一纲集。
• 通用分拆哈密顿扰动可确保循环拉格朗日子对应中各因子几何复合的横截性，从而使其为浸入。
• 具有常数分量的轨迹诱导出通过局部化几何复合获得的较短循环广义拉格朗日子对应的花边弗洛尔轨迹。
• 当 $\underline{J}$ 通用选择时，线性化算子 $D_{\underline{u}}\overline{\partial}_{\underline{J}}$ 对所有指标不超过 $k_0$ 的解 $\underline{u}$ 均为满射，通过算子分解并逐步证明满射性实现。
• 通过紧致性与粘合性论证，正则性结果可从 $\mathcal{C}^\ell$ 扩展至 $\mathcal{C}^\infty$，表明正则 $\underline{J}$ 的集合为可数个开稠密集的交集。