nLab spectral triple

Contents

Contents

Idea

Algebraically

A spectral triple (Connes-Moscovici 95) is operator algebraic data that mimics the geometric data provided by a smooth Riemannian manifold XX with spin structure (Connes 08) and generalizes it to noncommutative geometry. It is effectively a Fredholm module with possibly unbounded Fredholm operator and refined by the specification of a dense subalgebra of the C-star-algebra of bounded operators on that module. As such, spectral triples have close ties to algebraic K-theory and so also to the physics described by these (see also at spectral action).

In a little more detail, a spectral triple consists of

  1. a 2\mathbb{Z}_2-graded Hilbert space \mathcal{H}, to be thought of as the space of (square integrable) sections of the spinor bundle of XX;

  2. An associative algebra AA with a dense embedding AB(H)A \hookrightarrow B(H) into the C-star-algebra of bounded operators on HH, to be thought of as the algebra of smooth functions on XX;

    These two items encode the topology and smooth structure.

  3. A Fredholm operator DD acting on \mathcal{H} and satisfying some conditions, to be thought of as the Dirac operator acting on the spinors.

    This item encodes the Riemannian metric and possibly a connection.

(This is, or is a slight variant of, the concept of an unbounded Fredholm modules (e.g. Carey-Philips 98))

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, see (Soibelman 11) and see the references at 2-spectral triple.

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

Let RCob 1|1 FeynR Cob_{1|1}^{Feyn} be the cobordism category of Feynman graphs 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 (1|1)(1|1)-dimensional super-Riemannian manifolds (i.e. super-intervals) and from a single interaction vertex

\array{ \bullet \\ & \searrow \\ && \bullet & \to \\ & \nearrow \\ \bullet }

subject to the obvious associativity condition.

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

Z (A,H,D):RCob 1|1 FeynsVect Z_{(A,H,D)} : R Cob_{1|1}^{Feyn} \to sVect

to the category of super vector spaces.

Here

  • A=Z (A,H,D)() 0A = Z_{(A,H,D)}(\bullet)_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 (A,H,D)( ) Z_{(A,H,D)} \left( \array{ \bullet \\ & \searrow \\ && \bullet & \to \\ & \nearrow \\ \bullet } \right)
  • HH is some completion of Z (A,H,D)()Z_{(A,H,D)}(\bullet) to a super Hilbert space

  • and DEnd(H)D \in End(H) is an odd self-adjoint operator on HH, which gives the value of the functor on the super-interval (t,θ)(t,\theta) by

    (t,θ)exp(tD 2+θD). (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 XXin which case

  • H=L 2(S)H = L^2(S) is the space of square integrable spinor sections;

  • DD is the Dirac operator

  • A=C (X)A = C^\infty(X) is the space of smooth functions on XX.

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 XX entirely by this algebraic data. In particular the Riemannian metric on XX is encoded in the operator spectrum of DD, 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.

Properties

Metric dimension and KO-dimension

For a space described by a spectral triple there are several notions of dimension which all coincide when the space is a classical smooth manifold but which may differ on more general spectral spaces.

Notably there is the metric dimension?, which determines the growth of the eigenvalues of the Dirac operator (Connes95, p. 6).

And then there is the KO-dimension.

References

General

The standard textbook is

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

See also

The terminology of spectral triples was introduced in

and that of spectral action in

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

See also

  • Alan Carey, John Phillips, Fredholm modules and spectral flow J. Canadian Math. Soc. 50 (1998) 673-718. (publisher)

  • R. da Rocha, A. A. Tomaz, Hearing the shape of inequivalent spin structures and exotic Dirac operators (arXiv:2003.03619)

Traditionally spectral triples are discussed without specifying their homomorphisms. Proposals to remedy this such as to obtain a sensible category of spectral triples include the following

  • Paolo Bertozzini, Roberto Conti, Wicharn Lewkeeratiyutkul, A Category of Spectral Triples and Discrete Groups with Length Function, Osaka Journal of Mathematics, 43 n. 2, 327-350 (2006) (arXiv:math/0502583)

  • Paolo Bertozzini, Roberto Conti, Wicharn Lewkeeratiyutkul, Non-Commutative Geometry, Categories and Quantum Physics, East-West Journal of Mathematics “Contributions in Mathematics and Applications II” Special Volume 2007, 213-259 (2008) (arXiv:0801.2826)

(See also the pointers concerning the relation to KK-theory below).

Spectral triples over Jordan algebras:

See also

  • Ludwik Dabrowski, Andrzej Sitarz, Multiwisted real spectral triples (arXiv:1911.12873)

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

Discussion in the context of D-brane matrix models is in

  • T. Asakawa, S. Sugimoto, S. Terashima, D-branes, Matrix Theory and K-homology, JHEP 0203 (2002) 034 (arXiv:hep-th/0108085)

von Neumann spectral triples

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

This goes back to (Carey-Philips 98) and

  • Alan L Carey, John Phillips, Fyodor Sukochev, On unbounded pp-summable Fredholm modules (arXiv:math/9908091)

See also

  • M-T. Benameur, T. Fack,, Type II non-commutative geometry. I. Dixmier trace in von Neumann algebras, Advances in Mathematics 199: 29-87, 2006.

  • Alain Connes, Henri Moscovici, Type III and spectral triples (arXiv:math/0609703)

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)

Examples

On the spectral Riemannian geometry of the fuzzy 2-sphere:

Last revised on June 15, 2022 at 07:41:37. See the history of this page for a list of all contributions to it.