[论文解读] Higher algebroids via differential relations

Michał Jóźwikowski, Mikołaj Rotkiewicz|arXiv (Cornell University)|Aug 10, 2017

Homotopy and Cohomology in Algebraic Topology被引用 1

一句话总结

本文通过将高阶代数胚（higher algebroids）建模为在分次线丛之间满足自然公理的扎克尔夫斯基态射（Zakrzewski morphisms）——即特殊的微分关系——来将其作为李代数胚（Lie algebroids）和高阶切丛（higher tangent bundles）的推广。该框架统一了高阶几何中的几何结构，并为几何力学中的应用提供了新工具。

ABSTRACT

We introduce the concept of a higher algebroid, naturally generalizing the notions of an algebroid and a higher tangent bundle. Our ideas are based on a description of (Lie) algebroids as Zakrzewski morphisms -- differential relations of a special kind. In our approach higher algebroids are Zakrzewski morphism between graded-linear bundles satisfying natural axioms. We provide natural examples and discuss applications in geometric mechanics.

研究动机与目标

• 通过微分关系将李代数胚和高阶切丛推广为统一框架。
• 基于扎克尔夫斯基态射建立高阶代数胚的自然公理基础。
• 提供一种几何与代数结构，将经典代数胚理论扩展至高阶设定。
• 探索几何力学中自然的实例与应用，特别是在高阶动力系统方面。

提出的方法

• 将代数胚表示为扎克尔夫斯基态射——满足特定相容性条件的向量丛之间的微分关系。
• 将此概念扩展至分次线丛，以将高阶代数胚定义为高阶微分关系。
• 对这些态射施加自然公理，以确保与分次结构及类括号运算的相容性。
• 利用分次丛与喷射结构的框架来模拟高阶切丛类行为。
• 将形式化方法应用于构建来自经典几何力学的实例，如高阶拉格朗日系统。
• 采用微分几何与范畴论语言，形式化高阶代数胚的公理结构。

实验结果

研究问题

• RQ1 如何通过微分关系将李代数胚推广为高阶结构？
• RQ2 扎克尔夫斯基态射必须满足哪些公理条件，才能定义一致的高阶代数胚？
• RQ3 在几何力学或高阶切丛中，自然的高阶代数胚实例有哪些？
• RQ4 高阶代数胚如何与高阶微分几何与喷射理论中的现有结构相关联？
• RQ5 该框架在何种方式下可增强对几何力学中高阶动力系统的描述？

主要发现

• 高阶代数胚被成功定义为分次线丛之间的扎克尔夫斯基态射，同时推广了李代数胚与高阶切丛。
• 公理框架确保了与分次丛结构的相容性，并提供了稳定的高阶括号运算。
• 该构造自然地包含了高阶切丛等实例，作为高阶代数胚的特例。
• 形式化方法为高阶力学系统提供了几何设定，扩展了基于经典代数胚的公式化方法。
• 该方法通过单一、连贯的微分关系框架，统一了高阶几何中的多种几何结构。
• 该框架通过为描述高阶动力学与对称性提供新语言，支持了在几何力学中的应用。