[论文解读] Differentials of higher order in non commutative differential geometry

Robert Coquereaux|ArXiv.org|Dec 30, 1996

Nonlinear Waves and Solitons参考文献 1被引用 5

一句话总结

本文通过在迭代框架代数 $ F_n A = A^{\bigotimes 2^n} $ 内定义高阶微分的莱布尼茨形式，将非交换微分几何中的高阶微分概念化，推广了经典喷射理论微分。该研究建立了一套系统性的非交换设定下高阶微分的代数框架，恢复了交换情形，并为这些形式提供了生成元与模结构。

ABSTRACT

In differential geometry, the notation d^n f along with the corresponding formalism has fallen into disuse since the birth of exterior calculus. However, differentials of higher order are useful objects that can be interpreted in terms of functions on iterated tangent bundles (or in terms of jets). We generalize this notion to the case of non commutative differential geometry. For an arbitrary associative algebra A, one already knows how to define the differential algebra Omega(A) of universal differential forms over A. We define Leibniz forms of order n (these are not forms of degree n, ie they are not elements of Omega^n A) as particular elements of what we call the ``iterated frame algebra'' of order n, F_n A, which is itself defined as the 2^n tensor power of the algebra A. We give a system of generators for this iterated frame algebra and identify the A-module of forms of order n as a particular vector subspace included in the space of universal one-forms built over the iterated frame algebra of order n-1. We study the algebraic structure of these objects, recover the case of the commutative differential calculus of order n (Leibniz differentials) and give a few examples.

研究动机与目标

• 将经典微分几何中通过喷射或迭代切丛定义的高阶微分概念，推广至非交换微分几何。
• 定义一种新的代数结构——迭代框架代数 $ F_n A $，即结合代数 $ A $ 的 $ 2^n $ 重张量积，作为高阶形式的基础。
• 引入并表征阶 $ n $ 的莱布尼茨形式，其与 $ n $-阶微分形式不同，是 $ F_{n-1} A $ 上的普遍一形式空间中的元素。
• 当 $ A $ 为交换代数时，证明该构造可恢复经典交换情形下的高阶微分（即莱布尼茨微分），作为特例。
• 为迭代框架代数提供一组生成元，并将 $ A $-模的 $ n $-阶形式识别为 $ F_{n-1} A $ 上普遍一形式空间的子空间。

提出的方法

• 将迭代框架代数 $ F_n A $ 构造为结合代数 $ A $ 的 $ 2^n $ 重张量积，推广支撑高阶微分的代数结构。
• 将阶 $ n $ 的莱布尼茨形式定义为 $ F_{n-1} A $ 上普遍一形式空间中的特定元素，而非 $ \Omega^n A $ 中的元素，从而将其与标准微分形式区分开来。
• 以 $ A $ 上的普遍微分代数 $ \Omega(A) $ 为起点，将形式系统扩展至迭代代数 $ F_n A $，以构建高阶结构。
• 将 $ A $-模的 $ n $-阶形式识别为 $ F_{n-1} A $ 上普遍一形式空间的向量子空间，确保与非交换框架的一致性。
• 为 $ F_n A $ 提供一组生成元，支持在非交换设定下进行显式计算与结构分析。
• 证明在交换情形下，该构造可恢复经典高阶微分理论（即莱布尼茨微分），验证了推广的合理性。

实验结果

研究问题

• RQ1 如何将经典几何中通过喷射或迭代切丛定义的高阶微分，推广至非交换代数？
• RQ2 在非交换微分几何中，何种代数结构可作为定义高阶微分的自然域？
• RQ3 阶 $ n $ 的莱布尼茨形式与标准微分形式 $ \Omega^n A $ 有何关系？为何它们并非 $ \Omega^n A $ 的元素？
• RQ4 该非交换框架中是否可将经典高阶微分理论（即莱布尼茨微分）作为特例恢复？
• RQ5 迭代框架代数 $ F_n A $ 在组织高阶微分代数结构中扮演何种角色？

主要发现

• 引入迭代框架代数 $ F_n A = A^{\bigotimes 2^n} $ 作为非交换几何中定义高阶微分的基础代数结构。
• 阶 $ n $ 的莱布尼茨形式被定义为 $ F_{n-1} A $ 上普遍一形式空间中的特定元素，而非 $ \Omega^n A $ 中的元素，从而确立了一类新对象。
• $ A $-模的 $ n $-阶形式被识别为 $ F_{n-1} A $ 上普遍一形式空间的向量子空间，提供了精确的代数嵌入。
• 为迭代框架代数 $ F_n A $ 提供了一组生成元，支持在非交换设定下进行显式构造与计算。
• 在交换情形下，该构造可恢复经典高阶微分理论（即莱布尼茨微分），确认了与已知结果的一致性。
• 该框架将经典喷射理论对高阶微分的解释推广至非交换代数，扩展了其在非交换微分几何中的适用范围。