# nLab spectral triple

### Context

#### Noncommutative geometry

noncommutative geometry

(geometry $←$ Isbell duality $\to$ algebra)

# Contents

## Idea

A spectral triple is algebraic data that mimics the geometric data provided by a smooth Riemannian manifold $X$ with spin structure and generalizes it to noncommutative geometry. It is effectively a Fredholm module refined by the specification of a dense subalgebra of the C-star-algebra of bounded operators on that module.

It consists of

1. a ${ℤ}_{2}$-graded Hilbert space $ℋ$, to be thought of as the space of (square integrable) sections of the spinor bundle of $X$;

2. An associative algebra $A$ with a dense embedding $A↪B\left(H\right)$ into the C-star-algebra of bounded operators on $H$, to be thought of as the algebra of smooth functions on $X$;

These two items encode the topology and smooth structure.

3. A Fredholm operator $D$ acting on $ℋ$, to be thought of as the Dirac operator acing on the spinors.

This item encodes the Riemannian metric and possibly a connection.

Below we discuss how one may think of a spectral triple as being precisely the algebraic data of supersymmetric quantum mechanics defining the worldvolume QFT of the quantum super particle propagating on a Riemannian target space (a sigma-model.) Accordingly this is just the beginning of a pattern. One degree up a 2-spectral triple is algebraic data encoding a Riemannian manifold with string structure.

### As 1-dimensional FQFTs

Here is an unorthodox way to state the idea of spectral triple in terms of FQFT, which is in part just the reformulation of the quantum mechanics motivation that Alain Connes derived his definition from in the modern light of FQFT, but which more concretely follows work by Kontsevich-Soibelman and Soibelman (linked to at 2-spectral triple) which methinks is the right one.

(but maybe eventually we should have a traditional idea section and move this here to a subsection on further interpretations)

Let $R{\mathrm{Cob}}_{1\mid 1}^{\mathrm{Feyn}}$ be the cobordism category of Feynman graph?s for the superparticle with a single type of interaction along the lines of (1,1)-dimensional Euclidean field theories and K-theory. So its morphisms are generated from $\left(1\mid 1\right)$-dimensional super-Riemannian manifolds (i.e. super-intervals) and from a single interaction vertex

$\begin{array}{c}•\\ & ↘\\ & & •& \to \\ & ↗\\ •\end{array}$\array{ \bullet \\ & \searrow \\ && \bullet & \to \\ & \nearrow \\ \bullet }

subject to the obvious associativity condition.

Then a spectral triple $\left(A,H,D\right)$ is the data encoding a sufficiently nice smooth functor

${Z}_{\left(A,H,D\right)}:R{\mathrm{Cob}}_{1\mid 1}^{\mathrm{Feyn}}\to \mathrm{sVect}$Z_{(A,H,D)} : R Cob_{1|1}^{Feyn} \to sVect

to the category of super vector spaces.

Here

• $A={Z}_{\left(A,H,D\right)}\left(•{\right)}_{0}$ is the even part of the super vector space assigned by the functor to the point, equipped with the structure of a algebra whose product is given by the image of the interaction vertex

${Z}_{\left(A,H,D\right)}\left(\begin{array}{c}•\\ & ↘\\ & & •& \to \\ & ↗\\ •\end{array}\right)$Z_{(A,H,D)} \left( \array{ \bullet \\ & \searrow \\ && \bullet & \to \\ & \nearrow \\ \bullet } \right)
• $H$ is some completion of ${Z}_{\left(A,H,D\right)}\left(•\right)$ to a super Hilbert space

• and $D\in \mathrm{End}\left(H\right)$ is an odd self-adjoint operator on $H$, which gives the value of the functor on the super-interval $\left(t,\theta \right)$ by

$\left(t,\theta \right)↦\mathrm{exp}\left(-t{D}^{2}+\theta D\right)\phantom{\rule{thinmathspace}{0ex}}.$(t,\theta) \mapsto \exp( - t D^2 + \theta D ) \,.

(For technical details that I am glossing over see the field theory link above).

So this is the quantum mechanics of a superparticle. In the simplest case this comes from a spinor particle propagating on a spin structure Riemannian manifold $X$in which case

• $H={L}^{2}\left(S\right)$ is the space of square integrable spinor sections;

• $D$ is the Dirac operator

• $A={C}^{\infty }\left(X\right)$ is the space of smooth functions on $X$.

One point of a spectral triple is to take the view of world-line quantum mechanics as basic and characterize the spin Riemannian geometry of $X$ entirely by this algebraic data. In particular the Riemannian metric on $X$ is encoded in the operator spectrum of $D$, which is where the notion “spectral triple” gets its name from.

Then with all the ordinary geoemtry re-encoded algebraically this way, in terms of the 1-dimensional quantum field theory that probes this geometry, one can then use the same formulas to interpret spectral triple geometrically that do not come from an ordinary geometry as in the above example.

## References

### General

The standard textbook is

• Alain Connes, Noncommutative Geometry , Academic Press (1994)

The notion of spectral triple and of spectral action was introduced in

The characterization of ordinary compact smooth manifolds in terms of spectral triples is in

### Relation to quantum physics

A discussion of spectral triples as FQFT data encoding a representation of a category of 1-dimensional cobordisms with Riemannian structure and vertices is in section 1.4 of

A brief indication of some of the central ideas going into this is at

A general introduction to and discussion of spectral triples with an eye on quantum mechanics, quantum field theory and string theory is in

In section 7.2 of this an outlokk on how to regard the string's worldvolume CFT as a 2-spectral triple is given.

A detailed derivation for how spectral triples arise as point particle limits of vertex operator algebras for 2d CFTs:

A summary of this is in

Also

### von Neumann spectral triples

One variation uses von Neumann algebras instead of C-star algebras.

### Relation to K-theory

Relation to K-theory and KK-theory is discussed in

• (pdf)

• Bram Mesland, Spectral triples and KK-theory: A survey (arXiv:1304.3802)

• Alan Carey, John Philips, Adam Rennie, Spectral triples: examples and index theory, in Alan Carey (ed.) Noncommutative geometry and physics, Renormalization, Motives, Index theory (2011)

Revised on May 17, 2013 02:43:13 by Urs Schreiber (82.169.65.155)