[论文解读] Polyfold and SFT Notes II: Local-Local M-Polyfold Constructions

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

Geometric and Algebraic Topology参考文献 18被引用 3

一句话总结

本文为辛几何场论（SFT）发展了局部-局部 M-多胞形构造，聚焦于节点与周期轨道情形下的 sc-光滑性。它建立了关键映射（如 $\nabla$-映射和 $\tilde{B}_T$-映射）的光滑性，证明 $\tilde{B}_T$ 是一个在 0 处导数为 1 的光滑微分同胚，从而在多胞形理论中实现对粘合与拉伸构造的可控处理。

ABSTRACT

Some early chapters of the upcoming book "Polyfold Constructions: Tools, Techniques, and Functors"

研究动机与目标

• 使用局部-局部构建块为辛几何场论中的 M-多胞形与强丛建立基础框架。
• 为节点黎曼曲面与周期轨道构造中出现的映射建立 sc-光滑性准则。
• 证明关键过渡映射（如 $\tilde{B}_T$）是导数在 0 处为 1 的光滑微分同胚，从而在多胞形构造中实现一致的粘合与拉伸。
• 通过多胞形构造的“乐高”式系统，提供一种可检查、系统化地复用分析工作的工具包。

提出的方法

• 利用基本引理，通过 $C^1$-正则性及导数在 sc- Banach 空间层次结构中更低层级的延拓，刻画 sc-光滑性。
• 应用 $\nabla$-映射与 $\tilde{B}_T$-映射构造，以建模周期轨道附近与节点退化处的拉伸行为。
• 定义并分析映射 $\tilde{B}_T(x) = \frac{x}{1 + x \nabla(x)}$，其中 $\nabla(x) = \ln(T + D e^{-1/x})$，证明其光滑性及在 0 处导数为 1。
• 在 $\Omega$ 上构造映射 $B(r,c) = \varphi^{-1}(\varphi(r) + c)$，证明其光滑性，并证明在 $r=0$ 处所有高阶导数为零，这对局部模型至关重要。
• 通过复合 $\mathsf{C}_T(x,c) = \mathsf{B}_T \circ B(x, c/T)$，证明拉伸映射 $\mathsf{C}_T$ 在 $\Omega_T$ 上的光滑性，且满足 $\partial_x \mathsf{C}_T(0,c) = 1$。
• 应用 [38] 中的结果与 DM-理论，确保多胞形框架中局部构造的兼容性与普遍性。

实验结果

研究问题

• RQ1 如何通过 $C^1$-正则性及导数在 sc- Banach 空间层次结构中各层级的延拓，刻画 sc-光滑性？
• RQ2 何种条件可确保通过对数缩放定义的映射（如 $\tilde{B}_T(x) = \varphi^{-1}(T \cdot \varphi(x))$）在 $x=0$ 处光滑？
• RQ3 如何控制映射在 $x=0$ 附近的行为，以确保在周期轨道附近拉伸的背景下 $\partial_x \mathsf{C}_T(0,c) = 1$？
• RQ4 $\nabla$-映射在确保节点与周期轨道构造中过渡映射的光滑性方面起什么作用？
• RQ5 如何通过“乐高”式系统将局部-局部 M-多胞形构造组合为全局弗雷德霍姆理论框架？

主要发现

• 映射 $\tilde{B}_T(x) = \varphi^{-1}(T \cdot \varphi(x))$ 是在 $[0,1)$ 上的光滑微分同胚，满足 $\tilde{B}_T(0) = 0$ 且 $\tilde{B}_T'(0) = 1$，确保与粘合结构的兼容性。
• 函数 $g(x) = x \cdot \ln(T + D e^{-1/x})$ 在 $x=0$ 处光滑，满足 $g(0) = 0$，$g'(0) = \ln(T)$，且对所有 $n \geq 2$ 有 $g^{(n)}(0) = 0$，这构成了 $\tilde{B}_T$ 光滑性的基础。
• 映射 $B(r,c) = \varphi^{-1}(\varphi(r) + c)$ 在 $\Omega \subset [0,1) \times \mathbb{R}$ 上光滑，满足 $\partial_r B(0,c) = 1$，$\partial_c B(0,c) = 0$，且在 $r=0$ 处所有高阶导数为零。
• 复合映射 $\mathsf{C}_T(x,c) = \mathsf{B}_T \circ B(x, c/T)$ 在 $\Omega_T$ 上光滑，且对所有 $c$ 满足 $\partial_x \mathsf{C}_T(0,c) = 1$，这对在周期轨道附近实现一致拉伸至关重要。
• $\mathsf{C}_T$ 映射在 M-多胞形构造背景下提供了光滑过渡，确保在重缩放下 $x=0$ 处的导数保持为 1，这对弗雷德霍姆理论至关重要。
• 结果确认了局部-局部构造与全局多胞形框架兼容，从而实现了 SFT 中 M-多胞形与强丛的系统化构建。