Geometry as a Theorem About an Algebra: Spectral Triples, the Connes Distance Formula, and the Reconstruction of Metric Spacetime from Spectral Data

1 Introduction

1.1 The reconstruction thesis, and this paper’s regime

The organizing thesis of this library is that quantum gravity is, in the first instance, not the quantization of material objects sitting inside a spacetime. It is the reconstruction of spacetime, matter, causality, and measurement from invariant representation structures. Different regimes of the program instantiate the same slogan with different data: a diffeomorphism-equivalence class of Einstein metrics in the classical regime, a spin network in loop quantum geometry, an isometric tensor network in holographic reconstruction, a renormalization-group fixed point in the asymptotic- safety regime. Each is a candidate answer to the question “what invariant structure, if reconstructed, would reproduce the geometry we see?”

This paper isolates the regime in which that question has its sharpest and most literal answer. In noncommutative geometry the invariant structure is a spectral triple $(\mathcal{A},\mathcal{H},D)$, and the reconstruction is a theorem rather than a program: for a commutative input satisfying an explicit list of conditions, the Riemannian spin manifold is recovered from the algebra and the operator, and the recovery is unique up to the expected notion of equivalence. Nothing about a manifold, a set of points, a chart, or a metric tensor is assumed in the input. What is assumed is an algebra, a representation, and one self-adjoint operator.

The claim “geometry is an invariant of an algebra” has two layers, and it is worth separating them at the outset because they have different histories and different status. The first layer is topological and is classical: by Gelfand and Naimark, a commutative unital $C^{*}$-algebra $\mathcal{A}$ is the algebra $C(X)$ of continuous functions on a compact Hausdorff space $X$, and $X$ is recovered as the space of characters (pure states) of $\mathcal{A}$. The points come back from the algebra. The second layer is metric and spin-geometric, and is due to Connes: adding a single operator $D$ to the commutative algebra, and requiring the pair to satisfy the spectral-triple axioms, recovers not just the points but the geodesic distance between them, the smooth structure, the spin structure, and the Riemannian metric. The bridge between the two layers is one formula, $$\begin{equation} d(p,q) \;=\; \sup\bigl\{\, |p(a)-q(a)| \;:\; a\in\mathcal{A},\ \|[D,a]\|\le 1 \,\bigr\}, \end{equation}$$ Connes’s distance formula, which turns a bound on the commutator with $D$ into a Lipschitz condition and reads off distance as the supremum of function differences over $1$-Lipschitz functions. When $\mathcal{A}=C^{\infty}(M)$ and $D$ is the Dirac operator of a Riemannian spin manifold, [eq:distance-intro] returns the ordinary geodesic distance on $M$.

1.2 Why an operator encodes a metric

The mechanism behind [eq:distance-intro] is elementary and worth stating before any axioms. On a Riemannian manifold the Dirac operator $D$ satisfies, for a smooth function $f$ acting by multiplication, $$\begin{equation} [D,f] \;=\; c(df), \end{equation}$$ Clifford multiplication by the differential of $f$, whose operator norm equals the supremum of the gradient length, $$\begin{equation} \bigl\| [D,f] \bigr\| \;=\; \|\,\mathrm{grad}\,f\,\|_{\infty} \;=\; \sup_{x\in M} |df_{x}|. \end{equation}$$ So the constraint $\|[D,f]\|\le 1$ is exactly the condition that $f$ is $1$-Lipschitz for the geodesic distance, and the supremum in [eq:distance-intro] is the well-known dual (Monge–Kantorovich style) characterization of geodesic distance, $d(p,q)=\sup\{|f(p)-f(q)| : f\ \text{$1$-Lipschitz}\}$. The content of Connes’s insight is that the right-hand side of this duality never mentions the points of $M$ as a manifold: it mentions only the algebra $\mathcal{A}$, the states $p,q$ on it, and the operator $D$. One may therefore take [eq:distance-intro] as the definition of a metric on the state space of any algebra equipped with a $D$, commutative or not, and ask when that metric reproduces a known geometry. This is the entire subject.

1.3 Contributions and epistemic honesty

This is an expository and synthetic paper written to a fixed house style: every substantive claim carries a status label from the project’s S/H/P calculus ([S] standard/rigorous, [H] strong heuristic, [P] speculative; [sec:framework,sec:composition]). The contributions are:

1. A self-contained account of the spectral-triple axioms, the real structure and its $KO$-dimension sign table, the distance formula, the reconstruction theorem, and the spectral action, written so that the status of each is explicit (2).

2. Two computations carried in full. The canonical Dirac triple of a Riemannian spin manifold, where we verify [eq:norm-lipschitz] and hence that the distance formula returns geodesic distance ([sec:results,sec:examples]); and the two-point finite spectral triple, where we prove $d(1,2)=1/m$ for an off-diagonal Dirac matrix of modulus $m$ (20). The finite computation is checkable, and an accompanying Haskell program (7) evaluates the distance and confirms the formula, together with self-adjointness of $D$ and boundedness of $[D,a]$.

3. A statement of the weakest-link S/H/P calculus for this regime and its compositions with the other regimes of the library (5), including the honest verdict that the chain “Lorentzian reconstruction of spacetime from spectral data” is currently [H/P], not [S] or [H], because no Lorentzian analogue of the reconstruction theorem exists in the required generality.

4. An explicit statement (6) that this topic is a proposed roadmap extension, labeled QG-IX in the knowledge base, and is not among the eight named modules QG-I through QG-VIII. We do not claim it as an established module.

The honest headline is a split verdict. The kinematic core of the subject — the distance formula and the reconstruction theorem — is genuinely status [S]: these are theorems with proofs, in the Riemannian signature. The dynamical and phenomenological uses — a quantization of the spectral action, a path integral over spectral triples, and the detailed Standard Model predictions — are status [H]: strong, structurally compelling heuristics whose outputs depend on choices (of finite algebra, of cutoff function, of scale-matching scheme) not forced by the axioms. The overall dictionary label the library assigns to this topic is therefore [H], and 5 makes precise why a bare-[H] label sits on top of a subject containing status-[S] theorems.

1.4 Relation to prior work

The framework is due to Connes; the standard monograph is and the axioms in the form used here appear in . The distance formula is ; the reconstruction theorem is . The spectral action principle is , and its application to the Standard Model with neutrino mixing is ; the modern textbook treatment is . The recent survey states the current status from Connes’s own standpoint. The Lorentzian and causal extensions, which we treat only to delimit what is not yet a theorem, are . We prove nothing new about the framework; our contribution is the status-labeled synthesis, the two fully worked computations, and the checkable code, situated inside the modular reconstruction program.

A word on voice. We avoid the promotional register common in surveys of this subject. The spectral action does not “unify” gravity and the Standard Model in any sense that survives contact with the open problems in 6; it produces both from one heat-kernel expansion, which is a real and specific fact, and we state it as such.

2 Mathematical framework

We reproduce, in a focused form, the translation table that opens every paper in this library. 1 records the dictionary entries this regime instantiates, with the project’s status labels.

Dictionary entries instantiated by the noncommutative-geometry regime, with S/H/P status. The distance formula and the reconstruction theorem are rigorous in the Riemannian setting ([S]); the reconstruction theorem is tagged [S/H] at the level of this table because its physical reading (“spacetime is recovered”) inherits the regime’s [H] dictionary label even though the mathematics is [S]. The Lorentzian row is [H/P]: the target theorem does not yet exist.

Status	Mathematics	Physical representation
[S]	Commutative $C^{*}$-algebra	set of points (Gelfand–Naimark)
[S]	Spectral triple $(\mathcal{A},\mathcal{H},D)$	metric geometry encoded algebraically
[S]	Real spectral triple $(\mathcal{A},\mathcal{H},D,J,\gamma)$	spin geometry with charge conjugation
[S]	Connes distance formula	geodesic metric from $(\mathcal{A},D)$
[S/H]	Reconstruction theorem	manifold recovered from algebra
[S/H]	Spectral action $\mathrm{Tr}f(D/\Lambda)$	gravitational$+$matter action
[H]	Almost-commutative $C^{\infty}(M)\otimes\mathcal{A}_{F}$	gauge and Higgs sector
[H/P]	Lorentzian/causal spectral triple	causal order from spectral data

2.1 $C^{*}$-algebras and Gelfand–Naimark duality

We begin with the topological layer, which fixes what “recovering the points” means.

2 is the prototype for everything below: a space is fully encoded by an algebra, and the space is recovered from the algebra by a canonical construction (its spectrum). What Gelfand–Naimark does not see is metric, smooth, or spin structure: $C(X)$ knows only the topology. The role of the operator $D$ is to supply exactly the missing metric and spin data. This is the sense in which a spectral triple is “a $C^{*}$-algebra with enough extra structure to be a geometry.”

2.2 Spectral triples: the axioms

We now adjoin the operator. Throughout, $\mathcal{H}$ is a separable complex Hilbert space, $\mathcal{B}(\mathcal{H})$ its bounded operators, and $\mathcal{K}(\mathcal{H})$ the compact operators.

Condition (ST1) is a compactness/discreteness condition: it forces $D$ to have discrete spectrum with finite-multiplicity eigenvalues accumulating only at infinity, so that the “spectrum of $D$” is a well-defined multiset of real numbers. Condition (ST2) is the Lipschitz/boundedness condition that makes [eq:distance-intro] finite on a large supply of elements. The two conditions are the algebraic distillation of “$D$ is a first-order elliptic operator on a compact manifold.”

2.3 The Dirac operator and the order-one condition

For the reconstruction theorem one needs more than (ST1)–(ST2). We list the additional axioms in the form of , stated for a commutative $\mathcal{A}$ of “metric dimension” $n$; they are the abstract counterparts of “$D$ is a Dirac-type operator on an $n$-manifold.”

2.4 Real structure and $KO$-dimension

Physical fermions require a charge conjugation, and the manifold recovered by the theorem is spin (not merely spin$^{c}$) precisely when a compatible real structure is present.

The $KO$-dimension sign table for a real structure $J$: the signs $(\varepsilon,\varepsilon',\varepsilon'')$ of [eq:KO-signs] as a function of $k\bmod 8$. Blank entries in the $\varepsilon''$ row are the odd $KO$-dimensions, where no grading $\gamma$ is present.

$k \bmod 8$	$0$	$1$	$2$	$3$	$4$	$5$	$6$	$7$
$\varepsilon$	$+$	$+$	$-$	$-$	$-$	$-$	$+$	$+$
$\varepsilon'$	$+$	$-$	$+$	$+$	$+$	$-$	$+$	$+$
$\varepsilon''$	$+$		$-$		$+$		$-$

The operator $Jb^{{*}}J^{-1}$ implements the right multiplication by $b$; the order-zero condition says left and right multiplications commute (an $\mathcal{A}$-bimodule structure on $\mathcal{H}$), and the order-one condition is 3 in its real form. The $KO$-dimension of the Standard Model’s finite triple is $6$, which is the arithmetic input behind the doubling of fermionic degrees of freedom and the see-saw mechanism in . We use the real structure only where needed and otherwise work with plain triples.

2.5 The Connes distance formula

We now state the formula precisely, at the level of states, so that it applies equally to commutative and finite triples.

The next section proves the two anchoring facts: for the canonical triple [eq:distance-def] equals geodesic distance, and for the two-point triple it equals $1/m$.

2.6 The reconstruction theorem

10 is the precise form of “geometry is a theorem about an algebra.” The input is algebraic and operator-theoretic; the output is a manifold with all of its Riemannian and spin structure, together with a recipe (the distance formula and the noncommutative integral) recovering metric and volume. We do not reproduce the proof, which is long ; the mechanism of the distance part is 3. The status is [S]: this is a theorem in the Riemannian signature. 6 states plainly that the Lorentzian analogue is open.

2.7 The spectral action principle

The distance formula recovers the metric; the spectral action supplies dynamics for it.

The tag is [S/H]: the asymptotic expansion [eq:seeley-dewitt] and the identification of the low-order coefficients are rigorous heat-kernel theory ([S]), but the use of $S_{b}[D]$ as a physical action to be extremized or quantized, and the reading of its coefficients as coupling constants, is a physical hypothesis ([H]). The almost-commutative refinement below inherits the weaker tag.

To make 12 concrete, the relevant Seeley–DeWitt coefficients for a Laplace-type operator $D^{2}=-(g^{\mu\nu}\partial_{\mu}\partial_{\nu}+\cdots)+E$ on a closed $4$-manifold, written via the trace of the heat kernel $\mathrm{Tr}e^{-tD^{2}}\sim\sum_{k\ge0} t^{(k-n)/2}\,a_{k}$, are $$\begin{align} a_{0} &= \frac{1}{(4\pi)^{2}}\int_{M}\!\mathrm{Tr}(\mathbbm{1})\;\sqrt{g}\,d^{4}x, \\ a_{2} &= \frac{1}{(4\pi)^{2}}\int_{M}\!\mathrm{Tr}\!\Bigl(\tfrac{R}{6}\mathbbm{1}-E\Bigr) \sqrt{g}\,d^{4}x, \\ a_{4} &= \frac{1}{(4\pi)^{2}}\frac{1}{360}\int_{M}\!\mathrm{Tr}\Bigl( 12\,\Box R + 5R^{2} - 2R_{\mu\nu}R^{\mu\nu} + 2R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma} \notag\\ &\qquad\qquad - 60 R E + 180 E^{2} + 30\,\Omega_{\mu\nu}\Omega^{\mu\nu} + \cdots\Bigr)\sqrt{g}\,d^{4}x, \end{align}$$ where $R$, $R_{\mu\nu}$, $R_{\mu\nu\rho\sigma}$ are the scalar, Ricci, and Riemann curvatures, $\Omega_{\mu\nu}$ is the curvature of the connection $\nabla$ acting on the bundle (for the fluctuated operator $D_{A}$ of 16 it is the Yang–Mills field strength, and the term $30\,\Omega_{\mu\nu}\Omega^{\mu\nu}$ is the origin of the gauge kinetic action in 13), and $E$ is the endomorphism term of the Lichnerowicz formula $D^{2}=\nabla^{{*}}\nabla+\tfrac{R}{4}$, so that $E=\tfrac{R}{4}$ for the pure Dirac operator. We use the convention $D^{2}=\nabla^{{*}}\nabla+E$ (endomorphism written with a plus sign), which is the negative of the Gilkey–Vassilevich endomorphism $E_{\rm GV}$ defined by $P=\nabla^{{*}}\nabla-E_{\rm GV}$; this is why $a_{2}$ carries $\tfrac{R}{6}-E$ and the $a_{4}$ cross term is $-60\,RE$ (both equal to the standard expressions $\tfrac{R}{6}+E_{\rm GV}$ and $+60\,RE_{\rm GV}$ under $E=-E_{\rm GV}$), while the $180E^{2}$ term is sign-independent. The total-derivative terms $12\,\Box R$ (and $60\,\Box E$, omitted in “$\cdots$”) integrate to zero on the closed manifold $M$ and do not contribute to the action; we keep $12\,\Box R$ in the local integrand only to display the standard coefficient. Reading [eq:seeley-dewitt] against [eq:sdw-a0,eq:sdw-a2,eq:sdw-a4]: $a_{0}$ multiplies $\Lambda^{4}$ and is the cosmological constant (a volume term); $a_{2}$ multiplies $\Lambda^{2}$ and contains $\int R\sqrt{g}$, the Einstein–Hilbert action; and $a_{4}$ is the $\Lambda^{0}$ term carrying the higher-curvature ($R^{2}$, Weyl$^{2}$, Gauss–Bonnet) contributions. Gravity is not put in by hand; it is the $\Lambda^{2}$ coefficient of the eigenvalue count of $D$. That the sign and normalization of the Einstein–Hilbert term come out correctly (with a positive gravitational constant for the standard cutoff moments $f_{2},f_{4}>0$) is the content that makes the spectral action a serious proposal rather than a formal manipulation.

The relations of 13 (e.g. $g_{2}^{2}=g_{3}^{2}= \tfrac{5}{3}g_{1}^{2}$ at $\Lambda$, and a Higgs-mass constraint) are the phenomenological content, and they are the reason the topic-level dictionary label is [H]: they depend on the choice of $\mathcal{A}_{F}$, on $f$ through the moments $f_{0},f_{2},f_{4}$, and on the assumption that the relations hold at a unification scale and run down. The choice of $\mathcal{A}_{F}$ is constrained but not uniquely forced by the axioms (6).

2.8 The noncommutative integral, Weyl’s law, and the Dixmier trace

The spectral action recovered curvature integrals; the tool that makes “integral” a spectral notion is the Dixmier trace, and it is worth stating because it closes the loop between “the spectrum of $D$” and “the volume of $M$” that 22(ii) illustrated in one dimension.

15 is the sense in which all of Riemannian integration — dimension, volume, and integration of functions — is read off from the spectrum of $D$. Combined with 18 (distance from $D$), it shows that the two pieces of Riemannian data a physicist cares about, lengths and volumes, are both spectral invariants. This is the quantitative backbone of 10.

2.9 Inner fluctuations: how gauge fields appear

One more construction is needed to see why the almost-commutative geometry produces gauge fields and not merely gauge groups. Morita equivalence of the algebra, implemented on the same Hilbert space, replaces $D$ by a fluctuated operator.

For the canonical manifold triple the fluctuations $A=\sum a_{i}[D,b_{i}]=\sum a_{i} c(db_{i})=c(\alpha)$ range over Clifford multiplications by real $1$-forms $\alpha$, which are exactly $U(1)$ gauge potentials. For the almost-commutative triple $C^{\infty}(M)\otimes \mathcal{A}_{F}$ the fluctuations split into a continuous part (the $1$-form gauge fields of the group $\mathcal{A}_{F}^{\times}$, giving the $\mathrm{U}(1)\times\mathrm{SU}(2)\times\mathrm{SU}(3)$ gauge bosons) and a discrete part (the off-diagonal fluctuations of $D_{F}$, giving the Higgs field, as in 4.2). The spectral action $\mathrm{Tr}f(D_{A}/\Lambda)$ evaluated on the fluctuated operator produces the Yang–Mills and Higgs kinetic and potential terms . The gauge fields are, in this language, coordinates on the space of geometries Morita-equivalent to the starting one: the same statement as “the metric is $D$,” applied to the internal directions. We label the identification with physical gauge fields [H], consistent with the rest of the almost-commutative construction.

3 Main results: two distance computations

This section proves the two facts that anchor the framework: that the distance formula returns geodesic distance in the canonical case, and that it returns $1/m$ for the two-point space. The second is the property checked by the accompanying code.

3.1 The gradient–commutator identity and geodesic distance

18 is the calibration: on the input where the answer is known, [eq:distance-def] returns the correct metric. It is the distance half of 10, isolated and proved directly.

3.2 The two-point space

We now compute the metric of the simplest genuinely finite spectral triple. This is the worked example whose numeric value the code checks.

Two features of 20 deserve comment. First, the distance is inversely proportional to the off-diagonal Dirac entry: a large $m$ (strong coupling between the two points in $D$) makes the points close. This is the finite shadow of [eq:norm-grad]: $D$ plays the role of an inverse length scale. Second, the two points are at finite distance despite there being no path between them — the metric is defined purely algebraically, with no notion of curve. This is exactly what lets the same formula produce a metric on the internal space $\mathcal{A}_{F}$, where the “distance” between the two sheets is set by the Higgs vacuum expectation value entering $D_{F}$; the Higgs field is, in this language, the fluctuation of the finite metric .

3.3 A one-dimensional continuum check: the circle

To connect the finite computation back to the continuum, we record the circle, where the spectrum of $D$ alone recovers a metric invariant (the circumference) through Weyl’s law, and the distance formula recovers arc length.

Part (ii) is a small but complete instance of the reconstruction philosophy for a metric scalar: no coordinate on $S^{1}$ is used; the circumference is read off from the asymptotic density of eigenvalues of $D$. In dimension $n$, Weyl’s law $N(\Lambda)\sim c_{n}\mathop{\mathrm{vol}}(M)\Lambda^{n}$ recovers both the dimension $n$ (from the growth exponent) and the volume, which is the spectral origin of 2 and of the noncommutative integral in 10.

4 Worked examples in coordinates

We collect the three examples of 3 into a comparison and add the almost- commutative two-sheet model, to make the “Higgs as finite metric” statement concrete.

4.1 Comparison table

The four calibration examples. In each case the metric on the (pure) state space is produced by [eq:distance-def] from the pair $(\mathcal{A},D)$ alone. The last row is the almost-commutative model of 4.2, in which the finite off-diagonal datum is a Higgs field $\phi$.

Triple	Algebra $\mathcal{A}$	Operator $D$	Metric recovered
Spin manifold	$C^{\infty}(M)$	Dirac operator	geodesic $d_{g}(x,y)$
Circle $S^{1}$	$C^{\infty}(S^{1})$	$-i\,d/ds$	arc length; $L$ via Weyl
Two points	$\mathbb{C}\oplus\mathbb{C}$	$\left(\begin{smallmatrix}0&m\\\bar m&0\end{smallmatrix}\right)$	$1/|m|$
Two sheets	$C^{\infty}(M)\otimes(\mathbb{C}\oplus\mathbb{C})$	$D_{M}\otimes1+\gamma\otimes D_{F}$	fiber distance $\propto1/\phi$

4.2 The two-sheet (almost-commutative) model

Take $M$ a Riemannian $4$-manifold and $\mathcal{A}_{F}=\mathbb{C}\oplus\mathbb{C}$, so $\mathcal{A}=C^{\infty}(M)\otimes\mathcal{A}_{F}=C^{\infty}(M)\oplus C^{\infty}(M)$: two copies of $M$, a “two-sheeted” space. Let $\mathcal{H}=L^{2}(M,S)\otimes\mathbb{C}^{2}$ and $$\begin{equation} D \;=\; D_{M}\otimes\mathbbm{1}_{2} \;+\; \gamma_{M}\otimes \begin{pmatrix} 0 & \phi \\ \bar\phi & 0\end{pmatrix}, \end{equation}$$ with $\phi$ a (for now constant) complex parameter and $\gamma_{M}$ the chirality grading. The state space is two copies of $M$, and the distance between corresponding points $(x,1)$ and $(x,2)$ on the two sheets is, by the same computation as 20 applied fiberwise, $d_{D}((x,1),(x,2))=1/|\phi|$, while the distance along each sheet is the geodesic distance of $M$. The geometry is a pair of copies of $M$ held apart by a “distance in the fifth, discrete direction” equal to $1/|\phi|$.

Promoting $\phi$ to a field $\phi(x)$ — an inner fluctuation of $D$ of the form $D\mapsto D+A+JAJ^{-1}$ with $A=\sum a_{i}[D,b_{i}]$ — turns the constant off-diagonal entry into a scalar field on $M$ with exactly the quantum numbers of the Higgs, and the spectral action [eq:spectral-action] evaluated on [eq:two-sheet-D] produces the Higgs kinetic term and a quartic potential . This is the precise sense of “the Higgs field is the metric of the internal space”: it is the off-diagonal Dirac datum whose modulus sets the distance between the two sheets. We label the physical identification [H]: the mathematics of [eq:two-sheet-D] and its spectral action is rigorous heat-kernel computation, but the identification of $\phi$ with the physical Higgs, and the resulting mass relation, are model dependent.

5 Relation to other regimes and the weakest-link status calculus

The library is modular, not unified: its regimes are chained by a monotone composition of epistemic warrants, never merged into a single structure. This section states the calculus and applies it to the compositions in which the spectral regime participates.

5.1 The status calculus

5.2 Compositions with the other regimes

5.2.0.1 With the classical regime (lorentzian-geometry, QG-I).

The classical regime’s invariant is the diffeomorphism-equivalence class of Einstein metrics, packaged as the solution stack $\mathrm{Sol}(\mathrm{Ein})/\!\!/\mathrm{Diff}$, with status [S/H]. The spectral regime offers a different presentation of the same metric datum: a Riemannian metric is equivalently a canonical spectral triple (10), and this equivalence of presentations is a status-[S] theorem. Composing the classical regime’s dictionary status [S/H] with this [S] bridge gives, by the worst-component-wins rule [eq:compose], $\mathrm{worst}\bigl(\mathrm{compose}(\mbox{\normalfont\sffamily\bfseries\color{#ffd23d}[S/H]},\mbox{\normalfont\sffamily\bfseries\color{#3ddc84}[S]})\bigr)=\mbox{\normalfont\sffamily\bfseries\color{#ffd23d}[H]}$: the mathematical bridge is rigorous, but read as a physical statement the composite still carries the [H] component of the classical regime’s [S/H] label. The physically desired composition, however, is the Lorentzian one:

This is the sharpest honest statement the calculus produces about this regime: the Riemannian reconstruction is a theorem, but the Lorentzian reconstruction that the physics actually needs is not, and the composite status reflects that gap rather than papering over it.

5.2.0.2 With the discrete-causal regime (causal sets, proposed QG-X).

The causal-set program reconstructs a Lorentzian manifold from an order-plus-volume datum, conjecturally (the “Hauptvermutung”), status [H]/[P]. It shares the reconstruction logic with this regime: algebraic/order data first, manifold as a theorem or conjecture second. Composing spectral and causal reconstructions of the same Lorentzian target keeps the [P] component of each, $\mathrm{worst}\bigl(\mathrm{compose}(\mbox{\normalfont\sffamily\bfseries\color{#ff5fa2}[H/P]},\mbox{\normalfont\sffamily\bfseries\color{#ff5fa2}[H/P]})\bigr)=\mbox{\normalfont\sffamily\bfseries\color{#ff5fa2}[P]}$; the two are complementary attacks on the one missing Lorentzian theorem, not independent confirmations of it, and the composite honestly reads [H/P].

5.2.0.3 With factorization/observable regimes.

The noncommutative integral $-\mkern-19mu\int\cdot|D|^{-n}$ and the spectral action provide an observable functional on the spectral datum, in the sense of the library’s realization pipeline $M\to\Phi(M)\to\mathrm{Real}(\Phi(M))\to\mathrm{Obs}$: the algebra and $D$ are $\Phi(M)$, the trace is the realization, and $S_{b}[D]$ is the observable. This places the spectral regime inside the same pipeline formalism as the BV/factorization and amplitude regimes, at status [S/H] for the integral (rigorous, via the Wodzicki residue) and [H] for its use as a physical action.

6 Limitations and open problems

We state the limitations plainly, in decreasing order of severity for the reconstruction thesis.

6.0.0.1 Signature: no Lorentzian reconstruction theorem.

10 and 18 are Riemannian. Their proofs use the compact-resolvent axiom (ST1) and self-adjointness of $D$, both tailored to elliptic operators in Euclidean signature. Physical spacetime is Lorentzian, where the Dirac operator is hyperbolic, the natural inner product is indefinite (a Krein rather than Hilbert space), and “compact resolvent” fails. Several partial frameworks exist — Krein spectral triples , temporal Lorentzian spectral triples , the causal-cone formulation , and pseudo-Riemannian axiom sets — but there is at present no Lorentzian analogue of the reconstruction theorem recovering a causal Lorentzian manifold from spectral/algebraic data in the generality of the Riemannian result. We label the general Lorentzian reconstruction claim [H/P] and identify it as the primary open problem of the regime, directly overlapping the causal-set reconstruction of the QG-X proposal.

6.0.0.2 Dynamics: no quantization of the spectral action.

The spectral action [eq:spectral-action] is a classical/semiclassical functional; its heat-kernel expansion is asymptotic, not a convergent quantization. There is no established, well-defined path integral over spectral triples — no measure on the space of Dirac operators or of triples — so the framework supplies kinematics (which geometries exist, and their metric content) but not an independent quantum-gravitational dynamics. Any claim of the form “quantum gravity is a sum over spectral triples” is [P].

6.0.0.3 Non-uniqueness of the finite algebra and cutoff dependence.

The finite algebra $\mathcal{A}_{F}=\mathbb{C}\oplus\mathbb{H}\oplus M_{3}(\mathbb{C})$ of the Standard Model is strongly constrained by the axioms (and by classification results of Chamseddine, Connes, and van Suijlekom on irreducible finite geometries), but it is not uniquely forced: variants exist, and the phenomenological outputs of 13 depend on the choice of $\mathcal{A}_{F}$, on the cutoff function $f$ through its moments, and on the assumption that the coupling relations hold at a unification scale. The Higgs-mass “prediction” of the 2007 model, taken at face value, sits above the measured value and requires subsequent refinements (an additional scalar field $\sigma$). These are the reasons the phenomenology is [H], not [S].

6.0.0.4 Status as a proposed roadmap extension.

Honesty about scope: this topic is not one of the eight named modules QG-I through QG-VIII of the project roadmap. The knowledge base proposes it as an extension, QG-IX (spectral/algebraic reconstruction), precisely because the dictionary already contains the entry “spectral triple / noncommutative algebra” at status [H] but no roadmap module carried it. We present the regime as this proposed extension and do not claim it as an established module. The companion proposal QG-X (causal-order reconstruction) is its natural partner, and the two share the open Lorentzian-reconstruction problem above.

7 A machine-checkable model

The finite computations of this paper are small enough to verify by direct evaluation. The accompanying Haskell package src/noncommutative-geometry/ provides:

• Core.hs: complex $2\times2$ matrices, the two-point Dirac operator [eq:two-point-D], the operator norm of a $2\times2$ matrix via its singular values, the commutator $[D,\pi(a)]$, and the two-point Connes distance computed by maximizing $|a_{1}-a_{2}|$ subject to $\|[D,\pi(a)]\|\le1$ (in closed form, and by a sampling check).

• Status.hs: the S/H/P warrant lattice of 23 with the compose operation, and property checks for monotonicity and the unit law (24).

• Main.hs: a runnable demonstration that prints the two-point distance for several values of $m$ and checks it against $1/|m|$, verifies self-adjointness of $D$ and boundedness of $[D,\pi(a)]$, confirms [eq:comm-norm-2pt], and runs the status-calculus properties.

The load-bearing checkable property is 20: the program confirms $$\begin{equation} \bigl|\,d_{D}(p_{1},p_{2}) - 1/|m|\,\bigr| < 10^{-9} \qquad\text{for } m\in\{1,\ 2,\ \tfrac12,\ 3+4i\}, \end{equation}$$ using both the closed-form value and an independent constrained-maximization sampler, so the two agree. The build is base-only Haskell and compiles with ghc -o demo Main.hs Core.hs Status.hs.

8 Conclusion

The spectral-triple regime is the most literal instance in this library of the reconstruction thesis. In it, “spacetime is reconstructed from invariant representation structures” is not a program but a theorem: Gelfand–Naimark recovers the points of a space from a commutative $C^{*}$-algebra; the Connes distance formula [eq:distance-def] recovers the geodesic metric from the pair $(\mathcal{A},D)$ (18); and Connes’s reconstruction theorem (10) recovers the entire Riemannian spin manifold, uniquely up to diffeomorphism, from a commutative real spectral triple satisfying an explicit axiom list. The two computations we carried in full — geodesic distance for the canonical triple, and $d_{D}=1/|m|$ for the two-point triple (20, checked by code) — exhibit the mechanism at both ends of the dimension range.

The honest verdict is a split one, and the S/H/P calculus is the instrument that keeps it honest. The kinematic core is status [S]: these are theorems, in Riemannian signature. The dynamical and phenomenological uses are status [H], and the specific reconstruction the physics needs — a Lorentzian one, recovering causal structure rather than only a Riemannian metric — is status [H/P], because the required theorem does not yet exist. The topic is presented as a proposed roadmap extension, QG-IX, not as an established module, and its central open problem is shared with its proposed partner QG-X. What the regime establishes with full rigor is a proof of concept for the entire library’s thesis: there is at least one physically relevant category of geometry that is, provably, an invariant of algebraic representation data and nothing else.