1996/12/30 by Robert Coquereaux, Coquereaux, Robert
Mathematics · Physics and Astronomy · #Advanced Topics in Algebra #FOS: Mathematics #FOS: Physical sciences #High Energy Physics - Theory (hep-th) #Homotopy and Cohomology in Algebraic Topology #Mathematical Physics (math-ph) #Nonlinear Waves and Solitons #Quantum Algebra (math.QA)
paper · pdf · doi:10.48550/arxiv.physics/9612015
openalex publication_date 1996/12/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In differential geometry, the notation dn 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 Omegan A) as particular elements of what we call the ``iterated frame algebra'' of order n, Fn A, which is itself defined as the 2n 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.