where the “cut” integral is the Dixmier trace ie the functional that assigns to an infinitesimal of order one the coefficient of the logarithmic divergency in the series that gives the sum of its eigenvalues.
I will not try to justify the heuristic definition of the line element any further. It is more interesting to put it to the test, to question it, and I will discuss an example of an issue which left me perplex for quite sometime but has a pretty resolution.
where we abuse notations by removing the tensor product by the identity operator that normally goes with each of the operators D_j. Now this relation is quite different from the simple Pythagorean relation of the classical line elements whose square simply add up and it thus raises the question of reconciling the above Ansatz with the simple formula of addition of the squares of the Dirac operators. More generally, one can consider a bunch of NC spaces with Dirac operators D_mu and combine them as follows: One starts with a positive matrix of operators in Hilbert space:
in terms of the inverse matrix:
which plays a role similar to the gmunu of Riemannian geometry, and of the operators
where the notation with z stresses the fact that we do not even assume self-adjointness of the various D_mu.
It sounds totally hopeless since one needs a formula for the inverse of a sum of noncommuting operators. Fortunately it turns out that there is a beautiful simple formula that does the job in full generality. It is reminiscent of the definition of distances as an infimum. It is given by:
Note that this formula suffices to determine the operator ds^2 completely, since it gives the value of the corresponding positive quadratic form on any vector in Hilbert space. The proof of the formula is not difficult and can be done by applying the technique of Lagrange multipliers to take care of the above constraint on the free vectors xi^mu.