Global analysis, analysis on manifolds Definition
Spectral triple
Builds on Hilbert spaceAlgebra of bounded operators on a Hilbert spaceUnbounded operatorSelf-adjoint operatorCompact operator
Definition
Let be a complex Hilbert space and let be the algebra of bounded operators on . Let be a unital -subalgebra of . Let be a densely defined unbounded self-adjoint operator on with domain . The triple is a spectral triple if:
- for every , the operator maps into itself, and the commutator on extends to a bounded operator on ;
- the resolvent is a compact operator for one, and then for every, .
Remarks
Example: let act on by multiplication and let on the Sobolev space of functions with square-integrable derivative. The functions , , form an orthonormal basis of eigenvectors with , so has eigenvalues and is compact. For the product rule gives , which is multiplication by a bounded function. More generally, smooth functions on a compact Riemannian spin manifold, acting on square-integrable spinors, with the Dirac operator, form a spectral triple.
Non-example: if is infinite-dimensional and , every commutator is , so clause 1 holds. But is not compact, so clause 2 fails.
Often is a dense -subalgebra of a C*-algebra, and acts on through a faithful -representation. A spectral triple is called even if there is a self-adjoint unitary on that commutes with and anticommutes with . For two states and of the norm closure of , Connes' distance formula is It recovers the geodesic distance when and are evaluations at two points of a manifold.
Reading path
To understand this page from the ground up, read these 8 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Compact operator concept
- Hilbert space concept
- Hilbert space adjoint concept
- Operator norm concept
- Self-adjoint operator concept
- Unbounded operator concept
- Algebra of bounded operators on a Hilbert space object
- Spectral triple definition
Further reading
About this page
| Tag | THX29SKKPB |
|---|---|
| URI | m2://THX29SKKPB |
| Kind | definition |
| Writing | W0 stub |
| MSC | 58B34, 46L87 |
| Defines | Spectral triple |
| Uses | Hilbert space, Algebra of bounded operators on a Hilbert space, Unbounded operator, Self-adjoint operator, Compact operator |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.