[论文解读] Lectures on Polyfolds and Symplectic Field Theory

Joel W. Fish, Helmut Hofer|arXiv (Cornell University)|Aug 21, 2018

Algebraic Geometry and Number Theory参考文献 50被引用 7

一句话总结

本文利用范畴论结构上的高级微分几何与弗雷德霍姆理论，构建了辛场论（SFT）的多面体框架。它建立了伪全纯曲线模空间的横截性与扰动技术，实现了在扰动下保持哈密顿量 $m{H}_{π}$ 不变，其应用涵盖周期轨道与康利-泽恩德指标。

ABSTRACT

This is a lecture note prepared for the SFT 9 workshop in Augsburg, Germany. The text describes a polyfold approach to the construction of symplectic field theory and focuses on the perturbation and transversality theory.

研究动机与目标

• 为辛场论（SFT）提供系统性的多面体理论基础，解决伪全纯曲线模空间的紧化与扰动挑战。
• 通过局部-局部与局部-全局技术，建立模块化构造框架，实现复杂几何与解析结构的复用与简化。
• 为 M-多面体上的 $̅{\partial}_{ʹ{J}}$ 算子建立扰动与横截性理论，确保正规化模空间的存在性。
• 在稳定哈密顿结构与周期轨道的背景下，定义并计算不变量，如康利-泽恩德指标与 Maslov 指标。
• 展示不同扰动 $π$ 产生等价不变量，确保在复结构与辛钴管变化下具有鲁棒性。

提出的方法

• 利用 M-多面体框架——基于稳定黎曼曲面与稳定映射的范畴论结构——通过统一化器与过渡芽定义全局光滑结构。
• 应用压印法与粘合构造，构建局部-局部模型，通过相容形变函子从局部数据构造 M-多面体。
• 引入核心对象 M-多面体，通过横截约束与 sc-光滑结构构建，用于建模伪全纯曲线的模空间。
• 采用强多面体丛结构与 $Π$-包含及 sc-弗雷德霍姆理论，分析 $̅{\partial}_{ʹ{J}}$ 算子的线性化。
• 应用归纳紧致性控制与扰动方案以实现横截性，确保截面零点集为行为良好的 M-多面体。
• 使用权重选择器与可接受的 $δ$-值，控制渐近算子在零点附近的谱间隙，确保周期轨道的非退化性。

实验结果

研究问题

• RQ1 如何利用局部-局部与局部-全局技术，在 SFT 中稳定映射的模空间上构建一致且模块化的多面体结构？
• RQ2 在 M-多面体上，$̅{\partial}_{ʹ{J}}$ 算子的横截性需满足何种条件？如何系统地应用扰动以实现正规化模空间？
• RQ3 在稳定哈密顿结构的周期轨道背景下，康利-泽恩德指标与 Maslov 指标如何定义与计算？它们在弗雷德霍姆理论中扮演何种角色？
• RQ4 不同扰动 $π$ 的选择如何影响对应的哈密顿量 $̊{H}_{π}$？何种条件确保其在 $J$ 或钴管变化下的不变性？
• RQ5 谱间隙与可接受的 $δ$-值在确保 SFT 框架中周期轨道的非退化性与稳定性方面起何作用？

主要发现

• 本文利用源自稳定黎曼曲面与建筑结构的统一化器与过渡芽，在 SFT 中稳定映射的模空间上构建了明确定义的 M-多面体结构。
• 通过基于归纳紧致性控制与 sc-弗雷德霍姆理论的扰动方案实现横截性，确保 $̅{\partial}_{ʹ{J}}$ 算子的零点集为正规的 M-多面体。
• 康利-泽恩德指标由同伦不变性、直和下的可加性及在圆周旋转上的归一化唯一确定，且对 $γ(t) = e^{\pi it} \text{Id}_{{\mathbb{R}}^2}$ 有 $\mu_{CZ}^1(\gamma) = 1$。
• Maslov 指标被表征为 $Π_1(\text{Sp}(n), \text{Id}) \cong \mathbb{Z}$ 上的唯一整数值函数，满足归一化与可加性，并诱导同构。
• 定义权重选择器 $δ_o: \mathcal{P}^* \to (0, \infty)$，使得当 $\sigma(\bm{\gamma}, J) \cap [-\delta, \delta] = \emptyset$ 时，$δ$ 对 $(\bm{\gamma}, J)$ 可接受，从而确保谱间隙控制。
• 哈密顿量 $̊{H}_{π}$ 被构造为在扰动 $π$ 下的不变量，评估映射的微分形式拉回为 sc-微分形式，从而实现对模空间的积分。