[论文解读] Slice theorem for Fréchet group actions and covariant symplectic field theory

Tobias Diez|arXiv (Cornell University)|May 9, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 39被引用 4

一句话总结

本文为基于局部凸空间的无穷维流形上的微分形式构建了一个严格的框架，解决了余切丛无法赋予光滑结构的问题。通过定义微分形式为局部表示的光滑性而非丛截面，该工作在该设定下确立了外微分、楔积和外微分收缩等运算，从而为协变辛场论和弗雷歇群作用奠定了基础。

ABSTRACT

A general slice theorem for the action of a Fréchet Lie group on a Fréchet manifolds is established. The Nash-Moser theorem provides the fundamental tool to generalize the result of Palais to this infinite-dimensional setting. The presented slice theorem is illustrated by its application to gauge theories: the action of the gauge transformation group admits smooth slices at every point and thus the gauge orbit space is stratified by Fréchet manifolds. Furthermore, a covariant and symplectic formulation of classical field theory is proposed and extensively discussed. At the root of this novel framework is the incorporation of field degrees of freedom F and spacetime M into the product manifold F * M. The induced bigrading of differential forms is used in order to carry over the usual symplectic theory to this new setting. The examples of the Klein-Gordon field and general Yang-Mills theory illustrate that the presented approach conveniently handles the occurring symmetries.

研究动机与目标

• 解决当模型空间非范数化时，无穷维流形的余切丛缺乏光滑结构的问题。
• 提供一种基于代数的微分形式替代定义，避免对余切丛的可微结构的依赖。
• 通过局部代表的光滑性，将外微分、楔积和收缩等标准运算推广至无穷维设定。
• 通过建立坚实的微积分基础，支持协变辛场论的发展以及弗雷歇群作用的截面定理。
• 证明在非范数化设定下，可用便利微积分（Kriegl-Michor）替代经典微积分来处理光滑性。

提出的方法

• 将 $V$-值 $k$-形式定义为集合论丛 $\Lambda^k(M,V) = \bigsqcup_{m\in M} \Lambda^k((T_mM)^",V)$ 的截面，其中 $V$ 为局部凸空间。
• 若其局部表示 $U \times E^k \to V$，由 $\alpha(x, X^{(1)}, \dots, X^{(k)}) = \alpha_{\kappa^{-1}(x)}((\kappa^{-1})'_x X^{(1)}, \dots)$ 给出，且在便利微积分意义下光滑，则称截面 $\alpha$ 光滑。
• 利用局部表示定义外微分：$ (\mathrm{d}\alpha)_m(X^{(0)}_m, \dots, X^{(k)}_m) = \sum_{i=0}^k (-1)^i (\mathrm{d}_1\alpha)_m(X^{(i)}_m; X^{(0)}_m, \dots, \widehat{X^{(i)}}_m, \dots, X^{(k)}_m) $，确保光滑性与反对称性。
• 借助便利微积分框架（Kriegl-Michor），确保即使在对偶空间 $E'$ 无使自身成为流形的拓扑时，映射 $ (x,\alpha) \mapsto \alpha \circ \psi'_x $ 仍为光滑。
• 以代数恒等式（如Cartan公式）替代基于局部坐标或流的动力学构造，以保持几何一致性，避免依赖向量场动力学。
• 证明标准运算——楔积、外微分、收缩——可通过局部代表的光滑性而非丛几何，被推广至无穷维设定。

实验结果

研究问题

• RQ1 当余切丛无法赋予光滑结构时，是否可在无穷维流形上一致地定义微分形式？
• RQ2 在余切丛无可微结构的条件下，外微分如何定义并证明其光滑性？
• RQ3 在无穷维设定下，微分形式的标准运算（如楔积、收缩等）在多大程度上可被保留？
• RQ4 便利微积分框架（Kriegl-Michor）是否可用于在不需对偶空间范数化的情况下定义光滑微分形式？
• RQ5 代数恒等式（如Cartan公式）在无穷维几何中替代局部或动力学定义时起何作用？

主要发现

• 当模型空间 $E$ 非范数化时，余切丛 $T^*M$ 无法赋予光滑结构，因为泛函 $E' \times E \to \mathbb{R}$ 在 $E'$ 的任意向量空间拓扑下于零点处不连续。
• 当 $E$ 非范数化时，由微分同胚 $\psi$ 导出的映射 $ (x,\alpha) \mapsto \alpha \circ \psi'_x $ 在对偶空间 $E'$ 上不连续（因而不光滑），从而破坏了余切丛作为光滑丛的标准构造。
• 尽管余切丛无法成为光滑丛，微分形式仍可通过其局部表示 $ U \times E^k \to V $ 的光滑性来定义，此类表示在便利微积分中仍保持良好定义。
• 通过涉及 $\mathrm{d}_1\alpha$ 的局部公式，外微分 $\mathrm{d}\alpha$ 在无穷维设定下仍良好定义且光滑，该公式确保了反对称性与扩展无关性。
• 便利微积分的使用使得即使映射 $ (x,\alpha) \mapsto \alpha \circ \psi'_x $ 不连续，也能保持其光滑性，从而消除了定义光滑微分形式的障碍。
• 通过依赖局部代表的光滑性而非丛几何，楔积、外微分和收缩等标准运算可被成功推广至无穷维情形。