[论文解读] Integration Theory for Zero Sets of Polyfold Fredholm Sections

Helmut Hofer, Kris Wysocki+1 more|ArXiv.org|Nov 6, 2007

Finite Group Theory Research参考文献 7被引用 14

一句话总结

本文通过引入考虑局部分支结构和对称性的“分支积分”方法，为通常因奇点和对称性而并非流形的多复形弗雷德霍姆截面零集建立了严格的积分理论。关键贡献是该积分理论的斯托克斯定理，即使在非流形解空间上也成立，从而使得辛几何场论及相关领域中不变量的定义成为可能。

ABSTRACT

In this paper we develop an integration theory for zero sets of polyfold Fredholm sections. The results are needed in the application of the polyfold theory. We use it for example in the construction of symplectic field theory.

研究动机与目标

• 为由于奇点和对称性而通常不是流形的多复形弗雷德霍姆截面零集建立严格的积分理论。
• 在范畴中对象的同构类上定义积分概念，即使解空间结构病态，也能捕捉其内在几何。
• 将经典积分和斯托克斯定理推广至多复形理论中出现的具有分支和角点结构的空间。
• 为辛几何场论及相关几何理论中不变量的定义提供基础，这些理论中横截性通常不成立。

提出的方法

• 通过在多复形弗雷德霍姆截面的零集上定义规范σ-代数，引入‘分支积分’概念，使非流形空间上的微分形式积分成为可能。
• 使用sc-光滑单位分解和sc-微分形式的庞加莱引理，在一级和零级集合上构造闭形式的局部原像。
• 在ep-群胚中应用平均化技术以构造不变形式，并将局部解全局化，同时保持对称性结构。
• 利用拼接核心和退化指标d对点进行分类（内部、边界、角点），从而实现对分支行为的局部分析。
• 通过自然投影r: V×E → K拉回微分形式，将问题约化到标准分析适用的模型空间。
• 证明：对于在多复形光滑点邻域上定义的闭sc-微分k-形式ω，存在一个局部(k−1)-形式τ，使得在一级集上有dτ = ω，其证明基于t∈[0,1]上的积分，形式为τ(y)(v₁,…,vₖ₋₁) = ∫₀¹ tᵏ⁻¹ ω(ty)(y,v₁,…,vₖ₋₁) dt。

实验结果

研究问题

• RQ1 当多复形弗雷德霍姆截面的零集因奇点和对称性而非流形时，如何定义其上的积分？
• RQ2 斯托克斯定理能否推广至具有分支和角点结构的非流形解空间上的微分形式？
• RQ3 群胚对称性和局部同构在构建此类解集的一致积分理论中起什么作用？
• RQ4 在多复形设定中，如何在具有退化性的空间（如边界点和角点）上构造闭微分形式的局部原像？

主要发现

• 在多复形弗雷德霍姆截面的零集上构造了规范σ-代数，使非流形解空间上微分形式的积分成为可能。
• 对于在多复形中光滑点邻近定义的任意闭sc-微分k-形式ω，存在一个局部(k−1)-形式τ，使得在一级集上有dτ = ω，该结果通过在t∈[0,1]上积分的参数形式得到证明。
• sc-微分形式在拼接核心上满足庞加莱引理，保证了闭形式的局部恰当性，构成原像构造的基础。
• 在ep-群胚设定中，通过平均化和从模型空间提升形式，证明了存在饱和开邻域U和满足在U¹上dτ = ω的(k−1)-形式τ。
• 该理论支持一种在分支积分上的斯托克斯定理版本，即使基空间不是流形也成立。
• 该框架允许对非横截或非光滑的解空间进行积分，适用于辛几何场论和格罗莫夫–威滕理论中的应用。