[论文解读] Prototypes of higher algebroids with applications to variational calculus

Michał Jóźwikowski, Mikołaj Rotkiewicz|arXiv (Cornell University)|Jun 14, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 25被引用 8

一句话总结

本文引入了高阶代数群胚作为李群胚的高阶切丛约化所生成的几何结构，将李代数群胚推广至高阶设定。通过Zakrzewski映射发展了该结构上的变分法框架，并将其应用于统一高阶力学、对称性约化系统以及一阶代数群胚问题，其关键贡献在于通过分次丛与微分关系，给出了高阶欧拉-拉格朗日方程的几何表述。

ABSTRACT

Reductions of higher tangent bundles of Lie groupoids provide natural examples of geometric structures which we would like to call higher algebroids. Such objects can be also constructed abstractly starting from an arbitrary almost Lie algebroid. A higher algebroid is, in principle, a graded bundle equipped with a differential relation of special kind (a Zakrzewski morphism). In the paper we investigate basic properties of higher algebroids and show some applications. Namely, we develop a geometric framework for variational calculus on higher algebroids (including both forces and momenta). Such a formalism covers simultaneously variational problems on higher tangent bundles, first-order problems on algebroids and higher-order problems reduced by symmetries.

研究动机与目标

• 定义并研究高阶代数群胚作为李群胚高阶切丛约化所自然产生的几何结构。
• 利用Zakrzewski映射与分次丛结构，将经典李代数群胚框架推广至高阶设定。
• 在高阶代数群胚上发展统一的几何变分法，涵盖高阶拉格朗日系统、动量与作用力。
• 通过分次丛上的内在微分关系，提供高阶欧拉-拉格朗日方程的几何表述。
• 统一高阶切丛上的变分问题、一阶代数群胚与对称性约化高阶系统。

提出的方法

• 将高阶代数群胚构造为李群胚 $\mathcal{G}$ 的高阶切丛 $\mathrm{T}^k\mathcal{G}$ 的约化，具体为沿源纤维的 $k$-速度丛 $\mathcal{A}^k(\mathcal{G})$。
• 通过总空间切丛上的微分关系（Zakrzewski映射）$\kappa$ 定义高阶代数群胚，取代经典代数群胚中的李括号。
• 利用对偶映射 $\varepsilon = \tilde{\Lambda} \circ \mathbf{R}$ 定义 $\kappa$，使其为从 $\mathrm{T}^*E$ 到 $\mathrm{T}E^*$ 关于锚映射 $\rho$ 的向量丛映射的对偶关系。
• 通过将拉格朗日函数提升至分次丛并利用几何分部积分法，推导出高阶欧拉-拉格朗日方程，从而在高阶代数群胚上建立变分法框架。
• 将该框架应用于高阶系统在流形上的情形以及对称性约化动力学等实例，验证其与已知情形的一致性。
• 利用关系的切丛提升保持结构不变，确保变分框架与几何运算的兼容性。

实验结果

研究问题

• RQ1 李群胚 $\mathcal{G}$ 的 $k$-阶切丛 $\mathrm{T}^k\mathcal{G}$ 约化后，会涌现出何种几何结构？
• RQ2 在无自然李括号的高阶设定下，如何将经典李代数群胚结构（通过李括号与锚映射定义）推广至高阶情形？
• RQ3 Zakrzewski映射 $\kappa$ 在编码高阶代数群胚的代数与几何结构中起何种作用？
• RQ4 如何几何地表述高阶代数群胚上的变分问题，包括作用力与动量？
• RQ5 该框架在多大程度上统一了高阶力学、一阶代数群胚动力学与对称性约化系统？

主要发现

• 高阶代数群胚被定义为带有特殊微分关系（Zakrzewski映射）$\kappa$ 的分次丛，其将经典李代数群胚结构推广至一阶以上。
• Zakrzewski映射 $\kappa$ 构造为复合映射 $\varepsilon = \tilde{\Lambda} \circ \mathbf{R}$ 的对偶，其中 $\tilde{\Lambda}$ 源于对偶丛上的典型泊松张量，$\mathbf{R}$ 为典型反辛同胚。
• 该框架成功将变分法推广至高阶代数群胚，实现了在分次丛上高阶欧拉-拉格朗日方程的几何表述。
• 该方法统一了三类变分问题：流形上的高阶系统、代数群胚上的一阶问题，以及对称性约化高阶系统。
• 关系的切丛提升保持Zakrzewski映射的结构，确保变分法在几何运算下的一致性。
• 该方法通过可容许曲线的同伦关系，自然地将李代数群胚的积分理论推广至高阶设定。