Commutative reconstruction theorem for spectral triples

Statement

Let $(\mathcal A,H,D)$ be a unital commutative spectral triple of integer metric dimension satisfying the reconstruction hypotheses: regularity, first order, orientability, finiteness and absolute continuity, and the additional multiplicity and closedness conditions in the chosen formulation. The commutative reconstruction theorem produces a unique compact oriented smooth manifold $X$ and an isomorphism

\mathcal A\cong C^\infty(X).

Moreover, $H$ is the $L^2$ -space of sections of a finite-rank Hermitian bundle and $D$ is a first-order elliptic differential operator of Dirac type. Real, irreducibility, and duality hypotheses refine the conclusion to spin or spin $^{c}$ geometry.

What is reconstructed

The $C^*$ -closure of $\mathcal A$ first determines a compact Hausdorff space by commutative Gelfand duality. Bounded commutators with $D$ , regularity, and the orienting Hochschild cycle then supply smooth coordinates and show that the algebra is all of $C^\infty(X)$ , rather than merely a dense subalgebra of continuous functions. Finiteness reconstructs the bundle of smooth sections, while absolute continuity reconstructs its $L^2$ -measure class.

Connes proves the manifold statement and uniqueness in Theorem 11.3. The associated distance formula recovers the geodesic metric once the operator has the canonical Clifford-symbol normalization.

Hypotheses are a package

No single named axiom implies the conclusion. A commutative algebra with a compact-resolvent operator can fail to be regular, have the wrong multiplicities, or encode a singular space. Conversely, regularity and summability do not create orientability or finite projectivity. The reconstruction theorem is therefore properly stated only after fixing a complete axiom package.

The versions of the theorem also differ. Rennie and Várilly impose hypotheses slightly stronger than Connes’s original list and reconstruct a compact manifold with a spin structure Rennie–Várilly, Theorems 7.20 and 7.26. Connes’s later spectral-characterization theorem isolates a robust oriented-manifold conclusion.

Canonical example and scope

For a closed Riemannian manifold $X$ with a spin structure, the canonical triple

\bigl(C^\infty(X),L^2(X,S),\not D\bigr)

satisfies the hypotheses and reconstructs $X$ , its smooth structure, and its Riemannian metric. The theorem does not say that every commutative spectral triple is canonical: finite direct sums, nonfaithful representations, and operators with non-Clifford principal symbols can violate the multiplicity or geometric axioms.

Nonunital triples, manifolds with boundary, orbifolds, and singular spaces require modified reconstruction statements; they are not covered merely by deleting compactness or unitality.

References

A. Connes, “On the Spectral Characterization of Manifolds,” Journal of Noncommutative Geometry 7 (2013), 1–82. DOI record. Relevant: §§1–2 for the hypotheses and §11, especially Theorem 11.3, for reconstruction.
A. Rennie and J. C. Várilly, “Reconstruction of Manifolds in Noncommutative Geometry,” 2007. Stable preprint. Relevant: Theorems 7.20 and 7.26, reconstructing the smooth manifold and spin geometry.