dorsal/arxiv
View SchemaDifferentials of higher order in non commutative differential geometry
| Authors | Robert Coquereaux |
|---|---|
| Categories | |
| ArXiv ID | physics/9612015 |
| URL | https://arxiv.org/abs/physics/9612015 |
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.
{
"annotation_id": "8aa395d9-f139-4135-895f-e992b00fcc8c",
"date_created": "2026-03-02T18:01:17.807000Z",
"date_modified": "2026-03-02T18:01:17.807000Z",
"file_hash": "6c39f074f939f006aa93110ecd310416bb16a16413625c04a9ebe480eab7c7f8",
"private": false,
"record": {
"abstract": "In differential geometry, the notation d^n f along with the corresponding\nformalism has fallen into disuse since the birth of exterior calculus. However,\ndifferentials of higher order are useful objects that can be interpreted in\nterms of functions on iterated tangent bundles (or in terms of jets). We\ngeneralize this notion to the case of non commutative differential geometry.\nFor an arbitrary associative algebra A, one already knows how to define the\ndifferential algebra Omega(A) of universal differential forms over A. We define\nLeibniz forms of order n (these are not forms of degree n, ie they are not\nelements of Omega^n A) as particular elements of what we call the ``iterated\nframe algebra\u0027\u0027 of order n, F_n A, which is itself defined as the 2^n tensor\npower of the algebra A. We give a system of generators for this iterated frame\nalgebra and identify the A-module of forms of order n as a particular vector\nsubspace included in the space of universal one-forms built over the iterated\nframe algebra of order n-1. We study the algebraic structure of these objects,\nrecover the case of the commutative differential calculus of order n (Leibniz\ndifferentials) and give a few examples.",
"arxiv_id": "physics/9612015",
"authors": [
"Robert Coquereaux"
],
"categories": [
"math-ph",
"hep-th",
"math.MP",
"math.QA",
"q-alg"
],
"title": "Differentials of higher order in non commutative differential geometry",
"url": "https://arxiv.org/abs/physics/9612015"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "8be15541-37c3-4425-8d71-6ccb23b92b2b",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}