A motivating example of spectral triple is given by the algebra of smooth functions on a compact spin manifold, acting on the Hilbert space of L²-spinors, accompanied by the Dirac operator associated to the spin structure. From the knowledge of these objects one is able to recover the original manifold as a metric space: the manifold as a topological space is recovered as the spectrum of the algebra, while the (absolute value of) Dirac operator retains the metric.^[1] On the other hand, the phase part of the Dirac operator, in conjunction with the algebra of functions, gives a K-cycle which encodes index-theoretic information. The local index formula^[2] expresses the pairing of the K-group of the manifold with this K-cycle in two ways: the 'analytic/global' side involves the usual trace on the Hilbert space and commutators of functions with the phase operator (which corresponds to the 'index' part of the index theorem), while the 'geometric/local' side involves the Dixmier trace and commutators with the Dirac operator (which corresponds to the 'characteristic class integration' part of the index theorem).

Extensions of the index theorem can be considered in cases, typically when one has an action of a group on the manifold, or when the manifold is endowed with a foliation structure, among others. In those cases the algebraic system of the 'functions' which expresses the underlying geometric object is no longer commutative, but one may able to find the space of square integrable spinors (or, sections of a Clifford module) on which the algebra acts, and the corresponding 'Dirac' operator on it satisfying certain boundedness of commutators implied by the pseudo-differential calculus.

An odd spectral triple is a triple (A, H, D) consisting of a Hilbert space H, an algebra A of operators on H (usually closed under taking adjoints) and a densely defined self adjoint operator D satisfying ‖[a, D]‖ < ∞ for any a ∈ A. An even spectral triple is an odd spectral triple with a Z/2Z-grading on H, such that the elements in A are even while D is odd with respect to this grading. One could also say that an even spectral triple is given by a quartet (A, H, D, γ) such that γ is a self adjoint unitary on H satisfying a γ = γ a for any a in A and D γ = - γ D.

A finitely summable spectral triple is a spectral triple (A, H, D) such that a.D for any a in A has a compact resolvent which belongs to the class of L^p+-operators for a fixed p (when A contains the identity operator on H, it is enough to require D⁻¹ in L^p+(H)). When this condition is satisfied, the triple (A, H, D) is said to be p-summable. A spectral triple is said to be θ-summable when e^−tD2 is of trace class for any t > 0.^[1]

Let δ(T) denote the commutator of |D| with an operator T on H. A spectral triple is said to be regular when the elements in A and the operators of the form [a, D] for a in A are in the domain of the iterates δⁿ of δ.

When a spectral triple (A, H, D) is p-summable, one may define its zeta function ζ_D(s) = Tr(|D|^−s); more generally there are zeta functions ζ_b(s) = Tr(b|D|^−s) for each element b in the algebra B generated by δⁿ(A) and δⁿ([a, D]) for positive integers n. They are related to the heat kernel exp(-t|D|) by a Mellin transform. The collection of the poles of the analytic continuation of ζ_b for b in B is called the dimension spectrum of (A, H, D).

A real spectral triple is a spectral triple (A, H, D) accompanied with an anti-linear involution J on H, satisfying [a, JbJ] = 0 for a, b in A. In the even case it is usually assumed that J is even with respect to the grading on H.

Given a spectral triple (A, H, D), one can apply several important operations to it. The most fundamental one is the polar decomposition D = F|D| of D into a self adjoint unitary operator F (the 'phase' of D) and a densely defined positive operator |D| (the 'metric' part).

Connes' Metric on the state space edit

If ${\displaystyle (A,H,D)}$  is a spectral triple, and ${\displaystyle {\mathfrak {A}}}$  is the closure of ${\displaystyle A}$  for the operator norm, then Connes introduces an extended pseudo-metric on the state space ${\displaystyle S({\mathfrak {A}})}$  of ${\displaystyle {\mathfrak {A}}}$ , by setting, for any two states ${\displaystyle \varphi ,\psi \in S(A)}$ :

${\displaystyle d(\varphi ,\psi )=\sup\{|\varphi (a)-\psi (a)|:a\in A,\|[D,a]\|\leq 1\}.}$ 

In general, the Connes metric can indeed take the value ${\displaystyle \infty }$ , and it may be zero between different states. Connes originally observed, for ${\displaystyle X}$  a connected, compact, spin Riemannian manifold, that the restriction of this pseudo-metric to the pure states, i.e. the characters of the C*-algebra ${\displaystyle C(X)}$ , whose space is naturally homeomorphic (when endowed with the weak* topology) to ${\displaystyle X}$ , recovers the path metric for a Riemannian metric over ${\displaystyle X}$  induced by the Riemannian metric, when the spectral triple is ${\displaystyle (C^{\infty }(X),\Gamma ,D)}$ , where ${\displaystyle C^{\infty }(X)}$  is the algebra of smooth functions over the manifold ${\displaystyle X}$ , and D is the closure of the usual Dirac operator acting on a dense subspace of the Hilbert space ${\displaystyle \Gamma }$  of square integrable sections of the spinor bundle over ${\displaystyle X}$ .

Moreover, Connes observed that his distance is bounded if, and only if, there exists a state ${\displaystyle \mu \in S({\mathfrak {A}})}$  such that the set: ${\displaystyle \{a\in A:\|[D,a]\|\leq 1,\mu (a)=0\}}$  is bounded.

This construction is reminiscent of the construction by Kantorovich of a distance on the space of Radon probability measures over a compact metric space, as introduced by Kantorovich during his study of Monge's transportation problem. Indeed, in that case, if ${\displaystyle (X,d)}$  is a compact metric space, and if ${\displaystyle \mu ,\nu }$  are two such probability measures, then Kantorovich's distance between ${\displaystyle \mu ,\nu }$ , as was observed by Kantorovich and Rubinstein, can be defined by

${\displaystyle k(\mu ,\nu )=\sup\{|\int _{X}fd\mu -\int _{X}fd\nu |:f\in C(X),\mathrm {Lip} (f)\leq 1\},}$  where ${\displaystyle C(X)}$  is the C*-algebra of complex valued continuous functions over ${\displaystyle X}$ , and for any function ${\displaystyle f\in C(X)}$ , we denote by ${\displaystyle \mathrm {Lip} (f)}$  its Lipschitz seminorm: ${\displaystyle \mathrm {Lip} (f)=\sup\{{\frac {|f(x)-f(y)|}{d(x,y)}}:x,y\in X,x\not =y\}.}$ 

This analogy is more than formal: in the case described above, where ${\displaystyle X}$  is a connected compact spin Riemannian manifold, and ${\displaystyle d}$  is the associated path metric on ${\displaystyle X}$ , then ${\displaystyle \|[D,f]\|\leq 1}$  if, and only if, ${\displaystyle \mathrm {Lip} (f)\leq 1}$ .

Guided by this observation, it is natural to wonder what properties Connes' metric shares with Kantorovich's distance. In general, the topology induced by Connes' distance may not be Hausdorff, or give a finite diameter to the state space of the ${\displaystyle {\mathfrak {A}}}$ , whereas Kantorovich's metric always induces the weak* topology on the space of Radon probability measures over ${\displaystyle X}$  --- which is weak* compact.

Rieffel worked out a necessary and sufficient condition on spectral triples (and more generally, on seminorms which play a role of analogue for Lipschitz seminorms) for Connes' distance to indeed induce the weak* topology on the state space of ${\displaystyle {\mathfrak {A}}}$ , namely: Connes' metric induced by a spectral triple ${\displaystyle (A,H,D)}$  topolgizes the weak* topology on the state space ${\displaystyle S({\mathfrak {A}})}$  if, and only if, there exists a state ${\displaystyle \mu \in S({\mathfrak {A}})}$  such that the set ${\displaystyle \left\{a\in A:\|[D,a]\|\leq 1,\mu (a)=0\right\}}$  is totally bounded.

These observations are the foundations of the study of noncommutative metric geometry, which deals with the geometry of the space of quantum metric spaces, many of which being constructed using spectral triples whose Connes' metric induces the weak* topology on the underlying state space. In this context, an analogue of the Gromov-Hausdorff distance has been constructed on the space of metric spectral triples, allowing the discussion of the geometry of this space, and the construction of approximations of spectral triples by "simpler" (more regular, or finite dimensional) spectral triples.

Pairing with K-theory edit

The self adjoint unitary F gives a map of the K-theory of A into integers by taking Fredholm index as follows. In the even case, each projection e in A decomposes as e₀ ⊕ e₁ under the grading and e₁Fe₀ becomes a Fredholm operator from e₀H to e₁H. Thus e → Ind e₁Fe₀ defines an additive mapping of K₀(A) to Z. In the odd case the eigenspace decomposition of F gives a grading on H, and each invertible element in A gives a Fredholm operator (F + 1) u (F − 1)/4 from (F − 1)H to (F + 1)H. Thus u → Ind (F + 1) u (F − 1)/4 gives an additive mapping from K₁(A) to Z.

When the spectral triple is finitely summable, one may write the above indexes using the (super) trace, and a product of F, e (resp. u) and commutator of F with e (resp. u). This can be encoded as a (p + 1)-functional on A satisfying some algebraic conditions and give Hochschild / cyclic cohomology cocycles, which describe the above maps from K-theory to the integers.

• JLO cocycle

• Connes, Alain; Marcolli, Matilde. Noncommutative geometry, quantum fields and motives.
• Várilly, Joseph C. An introduction to noncommutative geometry.
• Khalkhali, Masoud; Marcolli, Matilde (2005). An invitation to noncommutative geometry. Lectures of the international workshop on noncommutative geometry, Tehran, Iran, 2005. Hackensack, NJ: World Scientific. ISBN 978-981-270-616-4. Zbl 1135.14002.
• Cuntz, Joachim. "Cyclic Theory, Bivariant K-Theory and the Bivariant Chern-Connes Character". Cyclic homology in non-commutative geometry.
• Marcolli, Matilde (2005). Arithmetic Noncommutative Geometry. University Lecture Series. Vol. 36. With a foreword by Yuri Manin. Providence, RI: American Mathematical Society. ISBN 978-0-8218-3833-4. Zbl 1081.58005.