The fuzzy sphere is a really nice example of how the Noncommutative Gel’fand-Naimark Theorem (NCGNT) can be used to define Noncomutative Geometry (NCG) in terms of a Noncommutative Algebra (NCA). Now we will talk about how Alain Connes deepened the understanding in this correspondence. Before doing that, we would like to point out that Connes did not share the motivation of the physicists we mentioned in the previous entry. In other words, his principal motivation was not the geometric measurement problem, he actually wanted to write the distance function in algebraic terms. This might sound easy, but believe me, it is not an easy task at all. For the rest of this post, we will introduce something known as spectral calculus, which is the generalisation of ordinary calculus. Turns out that in order to do this, we also need to define the noncommutative generalisation of a distance function, thus obtaining for free spectral geometry.
Let us start by fixing a Hilbert space , and saying that any complex variable will correspond to a operator in . Moreover, if that variable happens to be real, then the operator must be self-adjoint. This is very similar to what it is usually done to go from classical to quantum mechanics and it should not sound that far-fetched. Fine, so those are our variables, let’s get to do some calculus, shall we?
Suppose that is separable into a direct sum of two orthogonal closed subspaces. If we specify a self-adjoint operator such that , this decomposition is given by and allows us to introduce the notion of smallness for an operator . That is, for any there is a finite dimensional subspace such that , where denotes its orthogonal complement. This condition will hold for compact operators of , which we will denote by . As infinitesimals correspond to “small” quantities, we make use of this notion to introduce them:
Definition 1 Let and be the eigenvalues of , if
Then we say that is an infinitesimal of order .
Next, we want to define a differential so that when it acts on an operator it makes it an infinitesimal of order one. This can be achieved by setting
where is the involutive algebra of operators in , we note that this automatically satisfies . We need to guarantee that for all , this is tantamount to specifying wanted properties of any representation of in . Turns out there is something that gets the job done, the Fredholm module.
Definition 2 (Fredholm module) An odd Fredholm module over is given by
An even Fredholm module is given as above plus a grading , s.t. .
- An involutive representation of in .
- An , s.t. for all
Let us now introduce a fundamental concept if we are intending to do NCG (or any geometry for that matter), the distance.
Definition 3 Let be the line element for a Riemannian manifold , then the geodesic distance between and is given by
A generalisation of this is given by introducing the “baby steps” operator
Definition 4 Let
we note that is a positive infinitesimal, from which we can make the association . Furthermore, we demand that
As we mentioned at the beginning of this post, one of the main objectives of Connes was to write the distance function (3) in purely algebraic terms. This can be done if we replace the points by pure states on the -algebra closure of and use the evaluation map to get
Which suggests introducing the operator
also known as the Dirac operator. Therefore, if we wish to define distance in algebraic terms, we need to prescribe an algebra over a Hilbert space , a metric and a Fredholm module , however, as contains the last two, we just need to provide the so-called spectral triple . In our previous post, we said that if anyone challenged us to name a more iconic trio than the Kardashians, we would of course say: the Pauli matrices. However, after seeing that all the data we need to do (Non)commutative differential geometry is contained in the spectral triple, we stand corrected.
Let us continue, we will say that the triple is of dimension if is an infinitesimal of order . Having established the notions of differential and metric, one last element is needed: the integral. As in the commutative case, if we want an integral that neglects all infinitesimals of order , the trace seems to be a fine candidate. Nevertheless, under closer inspection, we realise that trace of an infinitesimal of order 1 diverges as (this gets worse for higher orders), which means that said infinitesimal is not on the domain of the trace. Fortunately, Dixmier came out with a solution to this: extract the divergence in a scale-invariant way, so that for any positive operator we have:
Definition 5 (Dixmier Trace)
In analogy to the trace, it is linear for complex . It is cyclic if is bounded. And when the order of is greater than , as we wanted.
Then, using this and the data provided by the spectral triple, we define:
Definition 6 (Spectral integral) For a -dimensional spectral triple the integral of is defined by
Where is just to guarantee scale independence, futhermore, we guarantee tameness by imposing .
All of the above is summarised in the following table
|Complex variable||Operator in|
|Real variable||Self-adjoint operator in|
|Infinitesimal||Compact operator in|
|Infinitesimal of order||Compact operator whose eigenvalues decrease as|
|Integral||Dixmier trace of the operator and the inverse Dirac operator|
The spectral triple is one of the most powerful and elegant ideas of modern mathematics, we hope that now it is clear how it arises when trying to generalise differential geometry into the noncommutative real.
In the next post, we will use this spectral calculus to recover the usual calculus on manifolds and to explore the fuzzy sphere one more time!
If you have any questions or more iconic trios, feel free to drop me a Tweet!