On a certain construction of graded Lie algebras with derivation (Q1816949)

The paper starts from reviewing the general scheme. The initial data are a unital \(\ast\)-algebra over \(\mathbb C\) denoted by \(\mathfrak A\), a graded involutive differential algebra \(\Lambda^\ast_{\mathfrak A}= \bigoplus_{k=0}^\infty\Lambda^k_{\mathfrak A}\) associated with \(\mathfrak A\), and a finite projective right module \(\mathcal E\) over \(\mathfrak A\). Afterwards one constructs a right \(\Lambda^\ast_{\mathfrak A}\)-module \({\mathcal E}^\ast=\bigoplus_{k=0}^\infty{\mathcal E}^k\), \({\mathcal E}^k:=\mathcal E\otimes_{\mathfrak A}\Lambda^k_{\mathfrak A}\), a graded Lie algebra \({\mathcal H}^\ast=\bigoplus_{k=0}^\infty{\mathcal H}^k\), \({\mathcal H}^k:=\text{Hom}_{\mathfrak A}(\mathcal E,\mathcal E^k)\), a canonical compatible connection \(\nabla_0\) on \(\mathcal E\), and a canonical graded derivation \(\mathcal D:\mathcal H^k\to\mathcal H^{k+1}\). The described structure is then applied to the differential algebra \(\Lambda^\ast_{\mathcal A}\) (here \(\mathcal A=C^\infty(X)\oplus C^\infty(X)\) where \(X\) is a compact even-dimensional Riemannian manifold) which is canonically associated with the so called even K-cycle due to Connes. In the final part the construction is confronted with some physical models, including the standard model.