Geometry as a Realization Functor

1 Introduction

1.1 The modular program and its governing perspective

This is Part V of a modular, hierarchical seven-part program organized by a single perspective:

Physics is the study of realizations of condensed mathematical structures.

The program is modular, not unified: each Part isolates one interface between condensed mathematics and physics, states precisely what it establishes, and composes with its predecessors only through explicitly declared hand-offs. Part I replaced the smooth manifold by the condensed set as the kinematic substrate, exhibiting a fully faithful embedding $Top_{cg} ↪ Cond (Set)$ of compactly generated spaces into condensed sets. Part II attached observables to condensed test objects, obtaining a (co)sheaf of observable algebras on the pro-étale site before any geometry is posited. Part III proposed that entanglement is a compatibility (cocycle) condition in condensed cohomology. Part IV demoted the manifold on which a field lives, replacing $φ : M \to R$ by a condensed-module-valued object $φ : C \to Cond (Vect)$ , and audited exactly which ingredients of the free field still secretly invoke $M$ .

Each of Parts I–IV removes a piece of presupposed geometric background. The present Part asks the reciprocal, constructive question: once the manifold has been demoted, how does geometry come back? Our answer, at the level of established mathematics, is that geometry returns as the value of a realization functor applied to algebraic data — and that this is not a new idea but the common structural core of several of the deepest reconstruction theorems in modern mathematics.

1.2 Reconstruction as a pattern: five precedents

The central observation of this Part is that the following five results, superficially from unrelated fields, all instantiate the same schema:

a geometric or dynamical object is recovered as an invariant of algebraic/representation data, with no such object presupposed in the input.

Gelfand duality [EST]. A commutative unital $C^{*}$ -algebra $A$ is isometrically $*$ -isomorphic to $C (X)$ for a compact Hausdorff space $X = Spec (A)$ (the Gelfand spectrum of characters); the space is recovered from the algebra, functorially and naturally .
Tannakian reconstruction [EST]. A neutral Tannakian category $C$ over a field $k$ , equipped with a fiber functor $ω : C \to Vect_{k}^{fd}$ , satisfies $C ≃ Rep_{k} (G_{ω})$ where $G_{ω} = \underline{Aut}^{\otimes} (ω)$ is an affine group scheme; the group scheme is recovered from its representation category .
Connes’ spectral reconstruction [EST]. A commutative spectral triple $(A, H, D)$ satisfying Connes’ seven axioms is the canonical spectral triple of a closed Riemannian spin manifold, whose geodesic distance is recovered by the spectral distance formula $d_{D} (p, q) = sup {∣ f (p) - f (q) ∣ : ∥ [D, f] ∥ \leq 1}$ ; the manifold is recovered from the algebra and the Dirac operator .
Tomita–Takesaki / Bisognano–Wichmann [EST]. For the von Neumann algebra of a Rindler wedge with the vacuum as cyclic–separating vector, the modular flow $σ_{t} = Δ^{i t} (\cdot) Δ^{- i t}$ coincides with the wedge-preserving Lorentz boosts and $J M J = M^{'}$ realizes Haag duality; geometric boosts and the causal complement are recovered from operator-algebraic data .
Cobordism hypothesis [EST]. A fully extended topological field theory $Z : Bord_{n} \to C$ valued in a symmetric monoidal $(\infty, n)$ -category with duals is determined by the fully dualizable object $Z (pt)$ ; the functor is rigidly reconstructed from minimal categorical data .

Precedents (1)–(3) recover metric/topological data; (4) recovers Lorentzian causal and thermal data; (5) recovers a functor (physics-as-a-functor) from a single object. Read together they license a working slogan — geometry is a realization functor — which we make into a precise organizing diagram in 4 and then ask, as this Part’s central speculative question, whether a condensed enrichment of the pattern can reconstruct physical spacetime.

1.3 The representation ladder

The inherited representation-stack formalism of the collaboration presents physical content as a pipeline $M Φ Φ (M) Real_{α} physical representation Obs observable, Obs_{α} (M) = Obs (Real_{α} (Φ (M))) .$ Part V specializes the middle arrow $Real_{α}$ — the Realization axiom — to the condensed setting and reads it as a fiber/realization functor. The ladder we study is $abstract algebra C ι condensed object C^{Cond} ω realization Cond (Vect_{k}) ⟨ \cdot, \cdot ⟩ observable states/values d geometry (X, g) .$ The first three arrows are, in the classical (non-condensed) case, exactly the data of a Tannakian category with a fiber functor; the fourth is evaluation of representations on states (observables); the fifth is a distance/metric read-off in the style of Connes. Our contention is that (a) the entire left-hand portion is established for the classical target $Vect_{k}^{fd}$ , and (b) the physically interesting content of the program lies in enlarging the target to $Cond (Vect_{k})$ and asking whether the fifth arrow can produce a Lorentzian $(X, g)$ .

1.4 The epistemic discipline: EST, HEU, SPEC

We enforce, verbatim in spirit, the collaboration’s three-valued status calculus. Each substantive claim is tagged:

[EST] — established: a theorem with a proof in the cited literature, or a routine consequence thereof reproduced here.
[HEU] — heuristic: a physically or structurally motivated dictionary entry that is not itself a theorem.
[SPEC] — speculative: an ontological or physical hypothesis of this program, not established.

Warrants are ordered $[EST] < [HEU] < [SPEC]$ and composition is monotone, worst-component-wins: any chain of reasoning is capped at the status of its weakest link . In particular, the mathematics of [sec:tannaka,sec:precedents,sec:spectral] is [EST]; the meta-pattern reading of 4 is [HEU]; and the headline claim “spacetime is the realization of condensed data” of 6 is [SPEC], and is boxed accordingly. We are especially careful about one non-identification, restated wherever it is relevant: Connes’ reconstruction is Riemannian and static; a Lorentzian, dynamical reconstruction recovering causal structure is open , and we never silently upgrade the former’s rigor to the latter’s claim.

1.5 What this Part is and is not

This Part is: (i) an exposition, in one common language, of five rigorous reconstruction theorems as instances of a realization-functor pattern; (ii) a precise formulation of the representation ladder [eq:ladder] and of what a “condensed fiber functor” would have to be; (iii) two fully worked, code-backed finite toy models — a Tannakian reconstruction of a finite group and a Connes spectral distance realized as a graph metric — that make the abstract arrows concrete and checkable; and (iv) an honest catalogue of the gap between the established Riemannian reconstructions and the desired Lorentzian one.

This Part is not: a claim to have constructed a condensed Tannakian category reconstructing spacetime; a proof that any physical metric emerges from condensed data; or a solution to the Lorentzian reconstruction problem. The central generalization — a condensed Tannakian reconstruction yielding emergent geometry — is offered as a labeled [SPEC] research proposal, not as a theorem. We flag, once and prominently, that no literature known to us constructs a “condensed Tannakian category” or “condensed fiber functor” in the sense this Part contemplates; this is original, and unproven, research territory.

1.6 Contributions and outline

2 recalls the fiber-functor formalism and the neutral Tannakian reconstruction theorem, with the mixed Tate motives category as a worked [EST] example, and gives a self-contained finite version (1).
3 presents Gelfand, Connes, Bisognano–Wichmann, and the cobordism hypothesis side by side, and distills the common reconstruction schema (1).
4 defines the realization functor and the representation ladder [eq:ladder] as a precise commuting diagram, and states the Realization axiom in condensed form.
5 develops the emergent-metric side: Connes’ spectral distance as the [EST] toy model of “metric from realization data,” with a complete finite spectral triple / graph-metric worked example (8).
6 states the central [SPEC] proposal — condensed Tannakian reconstruction of emergent geometry — as a boxed hypothesis, and dissects the Riemannian-versus-Lorentzian gap.
7 collects the results; 8 gives the EST/HEU/SPEC census, non-identifications, and limitations; 9 concludes. 10 documents the accompanying Haskell.

2 Fiber functors and Tannakian reconstruction

We recall the established formalism that is the central technical anchor of this Part. Throughout, $k$ is a field and $Vect_{k}^{fd}$ is the category of finite-dimensional $k$ -vector spaces.

2.1 Tensor categories and rigidity

Definition 1 (Tensor category). A $k$ -linear tensor category is a $k$ -linear abelian category $C$ equipped with a $k$ -bilinear symmetric monoidal structure $(\otimes, 1, a, c, ℓ, r)$ for which $\otimes$ is exact in each variable and $End_{C} (1) = k$ . An object $X$ is dualizable (or rigid) if there is $X^{\lor}$ with unit $η : 1 \to X \otimes X^{\lor}$ and counit $ε : X^{\lor} \otimes X \to 1$ satisfying the triangle (zig-zag) identities. The category $C$ is rigid if every object is dualizable.

Rigidity is the categorical trace of finite-dimensionality: in $Vect_{k}^{fd}$ every space has a dual, and the zig-zag identities encode $dim V = tr (id_{V}) \in k$ . A rigid $k$ -linear tensor category with $End (1) = k$ has a well-defined categorical dimension $dim X = tr (id_{X}) \in k$ and trace $tr (f) \in k$ for endomorphisms $f : X \to X$ .

Definition 2 (Fiber functor; neutral Tannakian category). A fiber functor on a rigid $k$ -linear tensor category $C$ is an exact, faithful, $k$ -linear symmetric monoidal functor $ω : C \to Vect_{k}^{fd}$ . A neutral Tannakian category over $k$ is a rigid $k$ -linear abelian tensor category $C$ with $End (1) = k$ that admits a fiber functor.

The fiber functor is the abstract shadow of “choosing coordinates”: it forgets the intrinsic structure of $C$ and records only underlying vector spaces, exactly, functorially, and compatibly with tensor products. The remarkable content of Tannakian duality is that this forgetful datum loses nothing: the whole category, and a group scheme, can be recovered from it.

2.2 The reconstruction theorem

Definition 3 (Automorphism group scheme of a fiber functor). Let $(C, ω)$ be neutral Tannakian over $k$ . For a commutative $k$ -algebra $R$ , let $ω_{R}$ denote $ω$ post-composed with $- \otimes_{k} R$ , valued in finitely generated projective $R$ -modules. Define the functor $\underline{Aut}^{\otimes} (ω) : Alg_{k} \to Gpd, R ⟼ Aut^{\otimes} (ω_{R}),$ the group of monoidal natural automorphisms of $ω_{R}$ (tensor-compatible, $R$ -linear, natural isomorphisms $ω_{R} \Rightarrow ω_{R}$ ).

Theorem 1 (Tannakian reconstruction; Saavedra Rivano; Deligne–Milne). [EST] Let $(C, ω)$ be a neutral Tannakian category over $k$ . Then:

The functor $\underline{Aut}^{\otimes} (ω)$ is representable by an affine group scheme $G_{ω} = Spec (A_{ω})$ over $k$ (the Tannakian dual).
The functor $ω$ lifts to an equivalence of $k$ -linear tensor categories $C ≃ Rep_{k} (G_{ω}),$ where $Rep_{k} (G_{ω})$ is the category of finite-dimensional $k$ -linear representations of $G_{ω}$ , and $ω$ becomes the forgetful functor $Rep_{k} (G_{ω}) \to Vect_{k}^{fd}$ .
For a second fiber functor $ω^{'}$ valued in $R$ -modules, the functor $R \mapsto Isom^{\otimes} (ω \otimes R, ω^{'})$ is representable by a $G_{ω}$ -torsor over $Spec (R)$ ; fiber functors valued in $R$ correspond to $G_{ω}$ -torsors over $R$ .

Reference. This is the main theorem of neutral Tannakian duality; see Deligne–Milne , Theorems 2.11 and 3.2, building on Saavedra Rivano . We reproduce the finite-group specialization below (1) with a complete elementary argument, and we implement it in code (10). ◻

1 is, verbatim, the statement that an affine group scheme is recovered from its representation category plus a fiber functor — geometry (a scheme) from algebra (a tensor category). It is the template on which the entire Part is built.

Remark 1 (Coordinate-independence and torsors). Part (3) is the structural heart of the “realization” reading. Different fiber functors are different realizations (choices of coordinates) of the same abstract category; the scheme of comparisons between two realizations is a $G_{ω}$ -torsor. This is precisely the collaboration’s Equivalence axiom : internally-definable realizations cannot distinguish equivalent structures, and the ambiguity between realizations is exactly a torsor under the reconstructed symmetry. The motivic incarnation (below) makes this concrete: Betti and de Rham realizations of a motive differ by a period matrix, a point of a torsor under the motivic Galois group.

2.3 A worked established example: mixed Tate motives

Example 1 (Mixed Tate motives as a neutral Tannakian category). [EST] For a number field $k$ and a finite set $S$ of places, the category $MTM (k; S)$ of mixed Tate motives unramified outside $S$ is an unconditionally constructed neutral Tannakian category . Its fiber functors include the Betti, de Rham, Hodge, and $ℓ$ -adic étale realizations; its Tannakian dual is the motivic Galois group, an extension of $G_{m}$ by a prounipotent group whose Lie algebra is a free graded Lie algebra with one generator in each odd degree $\geq 3$ . The period pairing between the Betti and de Rham realizations produces the numbers $ζ (n)$ and multiple zeta values as periods, i.e. as observables $per (motive)$ . This is a fully rigorous instance of the ladder [eq:ladder] with target $Vect_{Q}^{fd}$ : abstract algebra ( $MTM$ ), realization (a fiber functor), observable (a period). Part V proposes to enlarge the target from $Vect_{Q}$ to $Cond (Vect)$ ; 1 is the concrete precedent that makes the proposal legible.

2.4 The finite case, in full

To make 1 completely explicit (and to underwrite the accompanying code), we record the finite-group case with a self-contained proof.

Proposition 1 (Reconstruction of a finite group). [EST] Let $G$ be a finite group and $k$ an algebraically closed field with $char (k) ∤ ∣ G ∣$ . Let $C = Rep_{k} (G)$ be the category of finite-dimensional $k$ -representations, a semisimple rigid symmetric monoidal $k$ -linear category, and let $ω : Rep_{k} (G) \to Vect_{k}^{fd}$ be the forgetful functor. Then the group of monoidal natural automorphisms of $ω$ satisfies $Aut^{\otimes} (ω) ≅ G,$ naturally; equivalently, $G$ is recovered as the group of $k$ -points of the finite constant group scheme $\underline{Aut}^{\otimes} (ω)$ .

Proof. A monoidal natural transformation $λ : ω \Rightarrow ω$ assigns to each representation $(V, ρ_{V})$ a linear automorphism $λ_{V} \in GL (V)$ such that (naturality) for every $G$ -map $f : V \to W$ , $f \circ λ_{V} = λ_{W} \circ f$ , and (monoidality) $λ_{V \otimes W} = λ_{V} \otimes λ_{W}$ and $λ_{1} = id$ .

Each element of $G$ gives such a $λ$ . For $g \in G$ set $λ_{V} := ρ_{V} (g)$ . Naturality is $G$ -equivariance of $f$ ; monoidality is $ρ_{V \otimes W} (g) = ρ_{V} (g) \otimes ρ_{W} (g)$ and $ρ_{1} (g) = id$ . Distinct elements give distinct transformations because the regular representation $k [G]$ is faithful: if $ρ_{k [G]} (g) = ρ_{k [G]} (h)$ then $g = h$ . Hence $G ↪ Aut^{\otimes} (ω)$ .

Every such $λ$ comes from $G$ . Let $R := k [G]$ be the left regular representation, with $G$ acting by left translations $ρ_{R} (g) = L_{g}$ . The $G$ -endomorphisms of $R$ are exactly the right translations, $End_{G} (R) = {R_{g} : g \in G}$ (the commutant of the left regular representation is the right regular representation). Naturality of $λ$ at each $f \in End_{G} (R)$ forces $λ_{R} f = f λ_{R}$ ; hence $λ_{R}$ lies in the commutant of ${R_{g}}$ , which is the linear span of the left translations, $λ_{R} = \sum_{g} c_{g} L_{g}$ with $c_{g} \in k$ .

Now we use the coalgebra structure, not the algebra structure. The comultiplication $Δ : R \to R \otimes R$ , $Δ (h) = h \otimes h$ , is a morphism in $Rep_{k} (G)$ : the basis of $R$ consists of group elements and $G$ acts diagonally on $R \otimes R$ , so under the left regular action on $R$ one has $Δ (L_{g} h) = g h \otimes g h = (L_{g} \otimes L_{g}) Δ (h)$ . (By contrast the multiplication $m : R \otimes R \to R$ is not a $G$ -map for non-abelian $G$ — $m (g \cdot (x \otimes y)) = g xg y \neq = g x y = g \cdot m (x \otimes y)$ — so $m$ cannot be used here.) Naturality of $λ$ at $Δ$ , together with monoidality $λ_{R \otimes R} = λ_{R} \otimes λ_{R}$ , gives $(λ_{R} \otimes λ_{R}) \circ Δ = Δ \circ λ_{R}$ , so $λ_{R}$ is a coalgebra endomorphism. Evaluating on a basis element $h$ , $g \sum c_{g} (g h \otimes g h) = Δ (λ_{R} h) = (λ_{R} \otimes λ_{R}) Δ (h) = g, g^{'} \sum c_{g} c_{g^{'}} (g h \otimes g^{'} h),$ and comparing coefficients on the basis ${g h \otimes g^{'} h}$ forces $c_{g} c_{g^{'}} = 0$ for $g \neq = g^{'}$ and $c_{g}^{2} = c_{g}$ . Thus each $c_{g} \in {0, 1}$ with at most one nonzero; invertibility of $λ_{R}$ selects exactly one, so $λ_{R} = L_{g_{0}}$ for a unique $g_{0} \in G$ . Finally every finite-dimensional $V$ is a subrepresentation of a finite sum $R^{\oplus m}$ (each irreducible occurs in $R$ by Maschke’s theorem, using $char (k) ∤ ∣ G ∣$ ), and the inclusion and projections are $G$ -maps; naturality at these propagates $λ_{V} = ρ_{V} (g_{0})$ to every $V$ . Hence $Aut^{\otimes} (ω) ↪ G$ , and the two inclusions are mutually inverse. ◻

1 is the smallest complete instance of “geometry from algebra”: the finite group $G$ — a set with structure, the crudest “geometric” datum — is recovered exactly from the tensor category $Rep_{k} (G)$ and the fiber functor $ω$ . Our code (10) carries this out for concrete small groups by computing the tensor-automorphisms directly from character/fusion data.

3 Four more precedents, one schema

We now place the remaining established reconstruction theorems beside Tannakian duality and extract their common form. Each recovers a geometric or dynamical object from algebraic data; each is a theorem, not a heuristic.

3.1 Gelfand duality: a space from a commutative $C^{*}$ -algebra

Theorem 2 (Gelfand–Naimark). [EST] The functor $A \mapsto Spec (A) = Hom_{C^{*}} (A, C)$ (characters, with the weak- $*$ topology) is a contravariant equivalence between the category of commutative unital $C^{*}$ -algebras and the category of compact Hausdorff spaces, with quasi-inverse $X \mapsto C (X)$ ; the Gelfand transform $A \to C (Spec A)$ is an isometric $*$ -isomorphism .

Gelfand duality is the archetype “space from algebra”: the topological space $X$ is literally the set of algebra homomorphisms $A \to C$ , reconstructed with its topology, functorially and naturally. It is the commutative shadow of noncommutative geometry — a spectral triple $(A, H, D)$ with $A$ commutative has $Spec (A)$ a space, and the extra datum $D$ upgrades “space” to “metric space” (5). We regard 2 as the objectwise half of the ladder and Tannakian duality as the tensor/symmetry half.

Remark 2 (Naturality is the load-bearing word). In all these theorems, “recovered” means recovered by a natural equivalence of categories, not merely “in bijection with.” Naturality is what makes the reconstruction a functor and forbids arbitrary ad hoc choices; it is also what the collaboration’s Equivalence axiom demands (1). Whenever we later speak of an emergent geometry we mean an assignment that is functorial in the algebraic input, so that a morphism of algebraic data induces a morphism of geometries.

3.2 Connes’ spectral reconstruction: a Riemannian manifold from a spectral triple

Definition 4 (Spectral triple). A spectral triple $(A, H, D)$ consists of a $*$ -algebra $A$ represented on a Hilbert space $H$ , together with a self-adjoint operator $D$ (generally unbounded) with compact resolvent $(D + i)^{- 1}$ and bounded commutators $[D, a]$ for all $a \in A$ . It is even if there is a $Z /2$ -grading $γ$ with $γ a = aγ$ , $γ D = - D γ$ ; it is real of KO-dimension $n$ if there is an antiunitary $J$ implementing the requisite commutation relations.

Theorem 3 (Connes’ spectral distance formula). [EST] For the canonical spectral triple $(C^{\infty} (M), L^{2} (M, S), \neq D)$ of a closed Riemannian spin manifold $M$ with Dirac operator $\neq D$ , the geodesic distance is $d_{\neq D} (p, q) = sup {∣ f (p) - f (q) ∣ : f \in C^{\infty} (M), ∥ [\neq D, f] ∥ \leq 1}, p, q \in M .$ The condition $∥ [\neq D, f] ∥ \leq 1$ is equivalent to $f$ being $1$ -Lipschitz, and the supremum recovers the Riemannian metric purely from the operator-algebraic pair $(C^{\infty} (M), \neq D)$ .

Theorem 4 (Connes’ reconstruction theorem). [EST] Let $(A, H, D)$ be a commutative real spectral triple of KO-dimension $n$ satisfying Connes’ axioms: dimension/regularity, finiteness and absolute continuity, the first-order condition, orientability (a Hochschild cycle representing the volume form), Poincaré duality in $K$ -theory, and the reality/grading conditions. Then there is a closed oriented Riemannian spin manifold $M$ of dimension $n$ with $A ≅ C^{\infty} (M)$ and $(A, H, D)$ unitarily equivalent to the canonical spectral triple of $M$ .

4 is, of all the precedents, the closest to the physical ambition of this Part: a manifold with its metric is recovered as an invariant of purely spectral/algebraic data, with no manifold assumed in the input. It is the rigorous kernel around which the SPEC proposal of 6 is organized. (Its dynamical extension, the Chamseddine–Connes spectral action $tr f (D /Λ)$ , reproduces the Einstein–Hilbert action from the same spectral data via a heat-kernel expansion, but at only [HEU] status — a template, not a theorem, for how dynamics might follow the reconstruction.) We flag immediately, and will repeat, its decisive limitation (6.3): it is Riemannian.

3.3 Tomita–Takesaki and Bisognano–Wichmann: boosts from a von Neumann algebra

Theorem 5 (Tomita–Takesaki). [EST] Let $M \subseteq B (H)$ be a von Neumann algebra with a cyclic and separating vector $Ω$ . Let $S$ be the closure of $a Ω \mapsto a^{*} Ω$ , with polar decomposition $S = J Δ^{1/2}$ . Then $J$ is an antiunitary involution, $Δ > 0$ is self-adjoint, $Δ^{i t} M Δ^{- i t} = M$ for all $t \in R$ (the modular flow $σ_{t}$ ), and $J M J = M^{'}$ .

Theorem 6 (Bisognano–Wichmann). [EST] For a Wightman quantum field theory, let $M = A (W)$ be the von Neumann algebra of observables localized in the Rindler wedge $W = {x^{1} > ∣ x^{0} ∣}$ and let $Ω$ be the vacuum. Then the modular flow is the boost, $σ_{t} = Ad U (Λ_{W} (- 2 π t))$ , where $Λ_{W} (s)$ is the one-parameter group of Lorentz boosts preserving $W$ ; and $J = Θ U (R_{1} (π))$ combines the antiunitary PCT operator $Θ$ (the product of parity, charge conjugation, and time reversal) with the unitary $U (R_{1} (π))$ implementing a spatial rotation by angle $π$ about the $x^{1}$ -axis. Consequently the modular flow is geometric — a Lorentz boost — and Haag duality $A (W)^{'} = A (W^{'})$ holds for the causal complement $W^{'}$ .

6 is the one established precedent that recovers Lorentzian data — a boost, its associated Unruh temperature $T = 1/2 π$ , and the causal complement — from purely operator-algebraic input $(M, Ω)$ . It is therefore the crucial pointer toward what a Lorentzian reconstruction should look like, and simultaneously a caution: Bisognano–Wichmann presupposes Minkowski space and Poincaré covariance in its hypotheses; it recovers the boost as modular, but it does not build spacetime from scratch. We return to this tension in 6.3.

3.4 The cobordism hypothesis: physics as a rigidly determined functor

Theorem 7 (Cobordism hypothesis; Baez–Dolan, Lurie). [EST] Let $C$ be a symmetric monoidal $(\infty, n)$ -category with duals. Evaluation on the point, $Z \mapsto Z (pt)$ , is an equivalence between the $\infty$ -groupoid of symmetric monoidal functors $Bord_{n}^{fr} \to C$ (framed fully extended TQFTs) and the $\infty$ -groupoid $C^{\sim}$ of fully dualizable objects of $C$ .

The cobordism hypothesis is the purest form of “physics as a functor”: a field theory $Z : Bord_{n} \to C$ is a monoidal functor from a geometric category (cobordisms) to an algebraic one, and it is reconstructed in full from a single object $Z (pt)$ . This is the direct ancestor, in the prior-work corpus, of Part V’s “realization functor” language: a TQFT literally is a realization functor from geometry to algebra; the cobordism hypothesis says such functors are rigid. Part V contemplates the reverse arrow — from algebra to geometry — and uses 7 as evidence that “physics as a functor between a geometric and an algebraic category” is a mathematically robust, not merely rhetorical, idea.

3.5 The common schema

Principle 1 (Reconstruction schema). [HEU] Each of [thm:tannaka,thm:gelfand,thm:connes-recon,thm:bw,thm:cobordism] instantiates:

There is a functor $Real$ from a category $Alg$ of algebraic/representation data to a category $Geom$ of geometric/dynamical objects, and a reconstruction functor $Rec : Geom \to Alg$ , such that $Rec$ is fully faithful and $Real$ is (an inverse or a section) on its essential image; the geometric object is recovered, up to natural equivalence, as $Real (its algebra)$ .

Theorem	Algebraic input	Geometric output	Signature
Gelfand	commutative $C^{*}$ -algebra $A$	compact Hausdorff $Spec A$	topology
Tannaka	tensor category $+$ fiber functor	affine group scheme $G_{ω}$	scheme
Connes	commutative spectral triple $(A, H, D)$	Riemannian spin manifold	metric (Riem.)
Bisognano–Wichmann	von Neumann algebra $(M, Ω)$	boost, Unruh $T$ , causal compl.	Lorentzian (local)
Cobordism hyp.	fully dualizable object $Z (pt)$	TQFT functor $Z$ on $Bord_{n}$	topological

1 is [HEU], not [EST]: it is a structural reading uniting five theorems, not itself a theorem. What is [EST] is each row. The physical program of this Part is to add a sixth row — with condensed algebraic input and emergent (Lorentzian) spacetime output — and the honest status of that row is [SPEC].

4 The realization functor and the representation ladder

We now make the ladder [eq:ladder] precise and state the Realization axiom in condensed form.

4.1 Realization functors, abstractly

Definition 5 (Realization functor). Let $C$ be a rigid $k$ -linear tensor category (the abstract algebra) and let $T$ be a rigid symmetric monoidal $k$ -linear category (the target of realization). A realization functor is an exact, faithful, $k$ -linear symmetric monoidal functor $ω : C ⟶ T .$ When $T = Vect_{k}^{fd}$ this is a fiber functor and (if $C$ is neutral Tannakian) 1 applies. We are interested in enlarging $T$ to a category of condensed vector spaces, $T = Cond (Vect_{k})$ or a solid/liquid subcategory thereof.

Definition 6 (Condensed fiber functor). A condensed fiber functor on a $k$ -linear symmetric monoidal abelian category $C$ with $End (1) = k$ is an exact, faithful, $k$ -linear symmetric monoidal functor $ω : C \to Cond (Vect_{k})$ landing in the reflexive condensed vector spaces — those $M$ for which the canonical map $M \to M^{\lor\lor}$ is an isomorphism, e.g. suitable solid or liquid modules. We call $(C, ω)$ a condensed Tannakian category (in this reflexive, not strictly rigid, sense).

Remark 3 (The rigidity obstruction — why reflexivity, not rigidity). [EST] A genuine obstruction forces the weakening in 6, and it must be flagged. In a complete symmetric monoidal category of topological or condensed vector spaces, the strictly dualizable (rigid) objects are exactly the finite-dimensional discrete ones: the coevaluation $1 \to M \otimes M^{\lor}$ must factor through finite-rank tensors, so an infinite-dimensional solid or liquid module is not dualizable. Consequently, if one demanded that $C$ be rigid and that $ω$ preserve duals, the image of $ω$ would be forced finite-dimensional and the entire “condensed” enrichment would collapse back to classical Tannakian reconstruction (1), defeating the purpose of enlarging the target (4). 6 therefore trades strict rigidity for reflexivity, at a real cost: the classical reconstruction machinery does not transfer verbatim, and a reconstruction theorem in the reflexive/non-rigid setting must be proved anew. This obstruction is precisely (part of) frontier (C) in 5, and it is one concrete reason the condensed Tannakian program is a nontrivial open problem rather than a routine generalization.

6 is well-posed as a definition: $Cond (Vect_{k})$ is a $k$ -linear symmetric monoidal category (indeed the solid and liquid subcategories are, by Clausen–Scholze, well-behaved symmetric monoidal abelian/stable categories ), so “exact, faithful, monoidal functor into it” has content. What is not established — and is the SPEC proposal of 6 — is any reconstruction theorem asserting that such an $ω$ reconstructs a geometry. 6 is the honest bookkeeping of what a “condensed fiber functor” is; 6 states what we conjecture it does.

Remark 4 (Why enlarge the target). The classical target $Vect_{k}^{fd}$ has no room for topology, analysis, or the “continuous families indexed by profinite sets” that carry physical data (Part IV’s fields, Part II’s observables). Condensed vector spaces are exactly the enlargement that (i) contains ordinary topological vector spaces faithfully (on compactly generated objects), (ii) forms a genuine abelian category supporting homological algebra, and (iii) carries a symmetric monoidal structure (solid/liquid tensor) with internal Hom. Enlarging the fiber-functor target from $Vect_{k}$ to $Cond (Vect_{k})$ is therefore the minimal move that could let a Tannakian-style reconstruction “see” geometric/analytic structure rather than only a bare group scheme. This is the technical rationale for the ladder [eq:ladder].

4.2 The ladder as a commuting diagram

The five-stage ladder [eq:ladder] refines to the following diagram, in which the top row is the abstract pipeline and the bottom row is a realized instance (a choice of fiber functor $ω$ and a state $ϕ$ ):

C

C^{Cond}

Cond (Vect_{k})

states

(X, g)

Vect_{k}^{fd}

Cond (Vect_{k})

Cond (Vect_{k})

R or C

(X, g)

ι

→

ω^{Cond}

→

ϕ

→

d

→

ι

→

ϕ

→

d

→

↓

ω

↓

(-) (*)

↓

≅

Reading left to right: an abstract tensor category

C

is embedded (

ι

) into a condensed enrichment

C^{Cond}

; a condensed fiber functor

ω^{Cond}

realizes objects as condensed vector spaces; evaluation on a state

ϕ

(a condensed linear functional, in the sense of Part IV) produces numerical observables; and a distance/metric read-off

d

(in the style of Connes, 5) assembles the observables into a geometry

(X, g)

. The classical Tannakian and Connes theorems are the assertions that specific sub-arrows of this diagram are equivalences; the condensed enrichment of the whole is the open problem.

Definition 7 (Condensed Realization axiom). [HEU] The condensed Realization axiom asserts that physical content is the image of an abstract condensed object under a realization functor: for a condensed tensor category $C^{Cond}$ of observables there is a realization $ω^{Cond} : C^{Cond} \to Cond (Vect_{k})$ and a family of states such that all measurable predictions are values $ϕ (ω^{Cond} (X))$ , and any two realizations differ by a torsor under the reconstructed symmetry (the condensed Tannakian dual).

7 is [HEU]: it is the condensed instance of the collaboration’s Realization and Equivalence axioms , physically motivated and structurally precise, but not a theorem. Its EST kernel is 1 (the classical torsor statement); its SPEC extension is that the reconstructed symmetry organizes an emergent geometry, treated in 6.

5 Emergent metrics: spectral distance as the EST toy model

The fifth arrow $d$ of the ladder — “read a metric off the realization” — is the one for which there is a rigorous, computable, established prototype: Connes’ spectral distance. We develop it in the finite setting, where it is completely elementary, entirely rigorous, and reproduced by our code.

5.1 Finite spectral triples and the spectral distance

Definition 8 (Finite spectral triple). A finite spectral triple is a triple $(A, H, D)$ with $H$ a finite-dimensional Hilbert space, $A \subseteq B (H)$ a finite-dimensional commutative $*$ -algebra with unit represented on $H$ , and $D = D^{*} \in B (H)$ . Since $A$ is commutative and finite-dimensional it is $*$ -isomorphic to $C^{N}$ for $N = dim_{C} A$ ; its spectrum $Spec A = {p_{1}, \dots, p_{N}}$ is a finite set (the pure states / characters), and each $a \in A$ is a function $a : Spec A \to C$ , $p_{i} \mapsto a (p_{i})$ .

Definition 9 (Spectral distance on a finite triple). For a finite spectral triple $(A, H, D)$ the spectral (Connes) distance between pure states $p, q \in Spec A$ is $d_{D} (p, q) = sup {∣ a (p) - a (q) ∣ : a \in A, a = a^{*}, ∥ [D, a] ∥ \leq 1} \in [0, \infty] .$

Proposition 2 (The spectral distance is an extended metric). [EST] For any finite spectral triple, $d_{D}$ is symmetric, satisfies the triangle inequality, and $d_{D} (p, q) = 0$ iff $p = q$ (provided the $[D, \cdot]$ -seminorm separates points, i.e. $D$ does not commute with all of $A$ across any pair of points). Hence $d_{D}$ is an extended metric on $Spec A$ .

Proof. Symmetry is immediate ( $a$ and $- a$ have equal seminorm). For the triangle inequality, if $a$ is admissible ( $∥ [D, a] ∥ \leq 1$ ) then $∣ a (p) - a (r) ∣ \leq ∣ a (p) - a (q) ∣ + ∣ a (q) - a (r) ∣ \leq d_{D} (p, q) + d_{D} (q, r)$ , and taking the sup over admissible $a$ gives $d_{D} (p, r) \leq d_{D} (p, q) + d_{D} (q, r)$ . If $p = q$ then $∣ a (p) - a (q) ∣ = 0$ for all $a$ , so $d_{D} (p, q) = 0$ . Conversely if $p \neq = q$ , choose $a$ with $a (p) \neq = a (q)$ and $∥ [D, a] ∥ > 0$ (possible when $D$ links $p, q$ ); rescaling $a$ to unit seminorm gives $∣ a (p) - a (q) ∣ > 0$ , so $d_{D} (p, q) > 0$ . ◻

5.2 The two-point space: a metric from a single off-diagonal entry

Example 2 (Connes’ two-point space). [EST] Let $A = C^{2} = {(a_{1}, a_{2})}$ act diagonally on $H = C^{2}$ , and let $D = (0 m \overset{m}{ˉ} 0)$ with $m \in C^{\times}$ . For $a = (a_{1}, a_{2})$ , $[D, a] = (0 m (a_{1} - a_{2}) \overset{m}{ˉ} (a_{2} - a_{1}) 0)$ , whose operator norm is $∣ m ∣ ∣ a_{1} - a_{2} ∣$ . The constraint $∥ [D, a] ∥ \leq 1$ reads $∣ a_{1} - a_{2} ∣ \leq 1/∣ m ∣$ , so $d_{D} (p_{1}, p_{2}) = sup {∣ a_{1} - a_{2} ∣ : ∣ m ∣ ∣ a_{1} - a_{2} ∣ \leq 1} = \frac{1}{∣ m ∣} .$ The distance between the two points is the inverse of the off-diagonal Dirac coupling. This is the smallest nontrivial instance of “metric from spectral data”: the geometry (a two-point metric space of diameter $1/∣ m ∣$ ) is read off from a single algebraic number $m$ . Our code reproduces this exactly.

5.3 Graph metrics as spectral distances

The finite spectral distance recovers, for a natural class of triples, the shortest-path (graph) metric — a fully combinatorial, checkable “emergent geometry.”

Construction 1 (Weighted-graph triple as a direct sum of two-point spaces). Let $Γ = (V, E, w)$ be a finite connected graph with $N = ∣ V ∣ \geq 2$ vertices $V = {1, \dots, N}$ and positive edge weights $w_{ij} > 0$ for ${i, j} \in E$ . (Connectedness guarantees that every vertex meets some edge block, so the representation of $A = C^{V}$ on $H$ is faithful and no vertex sits at infinite distance.) We build the triple as the direct sum, over edges, of the two-point spectral triples of 2, so that the commutator is block-diagonal and its operator norm is a maximum over edges rather than a degree-coupled quantity. Concretely, put one two-dimensional block per edge, $H = e = {i, j} \in E ⨁ C_{e}^{2}, A = C^{V} acting on the block C_{e}^{2} (e = {i, j}) by a \mapsto diag (a_{i}, a_{j}),$ and let $D = ⨁_{e} D_{e}$ act blockwise by the two-point Dirac operator of coupling $w_{ij}^{- 1}$ , $D_{e} = (0 w_{ij}^{- 1} w_{ij}^{- 1} 0) on C_{e}^{2}, e = {i, j} .$ This is manifestly a finite spectral triple (8); the earlier, naive “vertex-to-edge coupling” Dirac operator is deliberately avoided because its commutator norm is governed by the graph Laplacian spectrum and scales with vertex degree, which would make the recovered distance strictly shorter than the geodesic.

Theorem 8 (Spectral distance recovers the graph geodesic). [EST] For the finite spectral triple of 1, the admissibility constraint $∥ [D, a] ∥ \leq 1$ implies $∣ a_{i} - a_{j} ∣ \leq w_{ij}$ for every edge ${i, j}$ (each edge is a “ $1$ -Lipschitz” constraint of width $w_{ij}$ ), and conversely any $a$ satisfying all edge constraints is admissible. Consequently the spectral distance equals the weighted shortest-path distance: $d_{D} (p, q) = d_{Γ} (p, q) := paths p = v_{0}, \dots, v_{ℓ} = q min s = 1 \sum ℓ w_{v_{s - 1} v_{s}} .$

Proof sketch. By 1 the commutator is block-diagonal, $[D, a] = e = {i, j} \in E ⨁ [D_{e}, diag (a_{i}, a_{j})],$ so its operator norm is the maximum of the block norms; by the two-point computation (2) the block for $e = {i, j}$ has norm $w_{ij}^{- 1} ∣ a_{i} - a_{j} ∣$ . Hence $∥ [D, a] ∥ = max_{{i, j} \in E} w_{ij}^{- 1} ∣ a_{i} - a_{j} ∣$ , and $∥ [D, a] ∥ \leq 1 ⟺ ∣ a_{i} - a_{j} ∣ \leq w_{ij}$ for every edge. The optimization $d_{D} (p, q) = sup {a (p) - a (q) : ∣ a_{i} - a_{j} ∣ \leq w_{ij} \forall {i, j} \in E}$ is a linear program whose feasible potentials $a$ are exactly the $1$ -Lipschitz functions for the path metric $d_{Γ}$ . Its optimum is $d_{Γ} (p, q)$ : the function $a_{i} := d_{Γ} (p, i)$ is feasible (the triangle inequality gives $∣ d_{Γ} (p, i) - d_{Γ} (p, j) ∣ \leq w_{ij}$ ) and achieves $a (p) - a (q) = - d_{Γ} (p, q)$ up to sign, while no feasible $a$ can exceed $d_{Γ} (p, q)$ by telescoping along any shortest path. This is the Kantorovich–Rubinstein duality specialized to a finite metric graph. ◻

8 is the cleanest available “emergent geometry” statement: a finite metric space (the weighted graph geodesic) is recovered as a spectral distance from an algebra and a discrete Dirac operator. It is entirely [EST], it is a finite linear program, and our code computes it for explicit graphs and checks $d_{D} = d_{Γ}$ against a Floyd–Warshall shortest-path reference. This is the toy model that makes the fifth arrow $d$ of the ladder [eq:ladder] concrete.

Heuristic 1 (Metric from realization data). [HEU] [thm:connes-distance,ex:twopoint,thm:graph-metric] together support the dictionary entry: given a realization of algebraic data as operators on a Hilbert space and a distinguished “Dirac” operator $D$ , a metric is read off as the $D$ -Lipschitz-dual distance on the state space. As a heuristic this is robust (it is a theorem in each cited case); as a route to physical spacetime it inherits the Riemannian limitation of its established instances (6.3).

6 The speculative core: condensed reconstruction of spacetime

We now state the central hypothesis of this Part, box it as [SPEC], and dissect the gap that separates it from the established precedents.

6.1 The hypothesis

Hypothesis 1 (Condensed realization of spacetime). [SPEC] There is a condensed Tannakian category $(C^{Cond}, ω^{Cond})$ (6) — a rigid $k$ -linear condensed tensor category of “observables” with a condensed fiber functor into $Cond (Vect_{k})$ — and a reconstruction functor $Rec : {emergent geometries} ⟶ {condensed Tannakian data},$ such that physical spacetime $(X, g)$ is recovered, up to natural equivalence, as $(X, g) ≅ Real (C^{Cond}, ω^{Cond})$ , with the metric read off by a condensed spectral distance (1) and the causal/Lorentzian structure recovered by a Tomita–Takesaki–type modular flow (6). Equivalently: spacetime is the realization of condensed algebraic data.

1 is not a theorem and is not claimed to be one. It is the precise, boxed articulation of the Part’s title. Its plausibility rests on the five established precedents; its unproven content is everything condensed and everything Lorentzian. We now separate those two frontiers.

6.2 What is established, what is proposed

Proposition 3 (The established sub-ladder). [EST] The following sub-arrows of 1 are established:

(Tannaka) For $T = Vect_{k}^{fd}$ , a neutral Tannakian category reconstructs an affine group scheme (1); the target enlargement to $Cond (Vect_{k})$ leaves the input side $(C, ω)$ a well-defined structure (6).
(Metric) A metric is recoverable from a spectral triple by the spectral distance in the Riemannian and finite cases ([thm:connes-distance,thm:graph-metric]).
(Modular) Boosts, Unruh temperature, and the causal complement are recoverable from a von Neumann algebra with a cyclic–separating vector (6).
(Functoriality) “Physics as a functor” from a geometric to an algebraic category is mathematically robust (7).

Proof. Each clause is a restatement of the cited established theorem; clause (1)’s enlargement claim is 6 together with the fact that solid/liquid modules form symmetric monoidal abelian categories . ◻

Remark 5 (The two frontiers). [SPEC] 1 requires two bridges that no cited theorem supplies:

The condensed frontier. No reconstruction theorem is known for condensed fiber functors: given $(C^{Cond}, ω^{Cond})$ with $T = Cond (Vect_{k})$ , there is no established statement recovering a geometry (as opposed to a bare group scheme). Moreover the rigidity obstruction (3) shows the categorical setup itself must be weakened — reflexive rather than rigid objects — so the classical machinery does not transfer verbatim. Constructing a condensed Tannakian reconstruction theorem in the reflexive setting is an open problem.
The Lorentzian frontier. Every established metric reconstruction ([thm:connes-recon,thm:graph-metric]) is Riemannian. A reconstruction recovering Lorentzian causal structure (not just distance) from spectral/representation data is open . Bisognano–Wichmann recovers a boost, but from a theory already living on Minkowski space; it does not build the causal structure ex nihilo.

Frontiers (C) and (L) are logically independent; 1 asserts both, and by the worst-component-wins discipline its status is [SPEC].

6.3 The Riemannian–Lorentzian gap, honestly

We isolate frontier (L) because it is the sharpest and most often glossed. The issue is not merely a sign: a Lorentzian “metric” has an indefinite signature, the Dirac operator becomes hyperbolic rather than elliptic, its resolvent is no longer compact, and the spectral-distance supremum degenerates (spacelike-separated points are at “distance zero” or the sup is $+ \infty$ ). Concretely:

In the Riemannian case, $\neq D$ is elliptic with compact resolvent; the spectral distance is finite and metrizes the topology (3). This is what Connes’ theorem uses.
In the Lorentzian case, the natural Dirac operator is hyperbolic; the “distance” induced by a Lipschitz-type supremum is a Lorentzian distance (longest causal path, reverse triangle inequality), and recovering it requires selecting a causal (time) order, which is extra data not present in a bare spectral triple. Franco–Eckstein formulate an algebraic causality condition (a cone of “causal functions”) but do not yield a full reconstruction theorem.

Principle 2 (Non-identification: Riemannian reconstruction $\neq =$ Lorentzian reconstruction). [EST] (as a statement about the literature). Connes’ reconstruction theorem (4) is proved in Riemannian signature and recovers a metric space; it does not establish, and must not be quoted as establishing, the recovery of a Lorentzian spacetime with its causal structure. The Lorentzian reconstruction problem is open. Any composite claim of this program that invokes an emergent Lorentzian geometry is therefore [SPEC], regardless of how rigorous the Riemannian ingredients are.

2 is the single most important honesty constraint of this Part. We state it as a labeled principle precisely so that no downstream synthesis (Parts VI–VII) can silently upgrade the Riemannian EST results into a Lorentzian claim.

6.4 A concrete research target

To keep 1 from being merely a slogan, we isolate a sharp, potentially attackable sub-question.

Conjecture 1 (Condensed spectral distance recovers a condensed metric space). [SPEC] Let $(A^{Cond}, H^{Cond}, D)$ be a “condensed spectral triple”: $A^{Cond}$ a commutative algebra object in $Cond (Vect_{R})$ (e.g. a solid $R$ -algebra), $H^{Cond}$ a condensed Hilbert module, $D$ a self-adjoint condensed operator with bounded commutators. Then the condensed spectral distance $d_{D} (p, q) = sup {∣ p (a) - q (a) ∣ : ∥ [D, a] ∥ \leq 1}$ , taken over condensed characters $p, q$ , defines a metric on the condensed spectrum $Spec_{Cond} (A^{Cond})$ that refines the Gelfand topology, and, when $A^{Cond}$ is the condensed avatar of $C^{\infty} (M)$ for a compact Riemannian $M$ , recovers the geodesic metric of $M$ .

1 is deliberately Riemannian and static — it isolates frontier (C) while holding frontier (L) fixed — so that it is a well-posed mathematical target rather than a physical aspiration. It is, to our knowledge, open; the finite version (8) is its established shadow, and the condensed avatar of the compact-manifold case is the natural first theorem to prove. Frontier (L) — upgrading 1 to Lorentzian signature and dynamical (Einstein-type) content — is deferred to Parts VI–VII and remains [SPEC].

7 Results

We summarize the paper’s deliverables, tagged by status.

A unified schema ([HEU]). The reconstruction schema 1 organizes five established theorems — Gelfand, Tannaka, Connes, Bisognano–Wichmann, cobordism hypothesis — as instances of “geometry is the realization of algebraic data,” with an explicit signature table.
The representation ladder ([HEU]/[EST]). [def:realization,def:cond-fiber] and the commuting diagram of 4 make the ladder $C \to C^{Cond} \to Cond (Vect) \to states \to (X, g)$ precise; its left-hand sub-arrows are [EST] (1), its condensed enrichment is the open problem.
Finite Tannakian reconstruction ([EST]). 1 gives a complete elementary proof that $Aut^{\otimes} (ω) ≅ G$ for a finite group; the accompanying code recovers concrete small groups from their representation/fusion data.
Spectral distance as emergent metric ([EST]). 8 proves that the finite Connes spectral distance recovers the weighted graph geodesic (a finite linear program / Kantorovich–Rubinstein duality), with 2 the two-point base case; the code computes $d_{D}$ and checks it against Floyd–Warshall.
The boxed SPEC hypothesis and its dissection ([SPEC]). 1 states “spacetime is the realization of condensed data”; 5 separates the condensed frontier (C) from the Lorentzian frontier (L); 1 isolates a well-posed Riemannian condensed target; 2 records the non-negotiable Riemannian $\neq =$ Lorentzian honesty constraint.

8 Discussion

8.1 What has and has not been shown

We have shown ([EST]): that four/five independent reconstruction theorems share a realization-functor form; that the finite Tannakian and finite spectral-distance cases are elementary, complete, and computable; and that the representation ladder is a well-defined mathematical object whose classical (non-condensed) sub-arrows are theorems. We have not shown, and explicitly do not claim: any condensed Tannakian reconstruction theorem; any recovery of a Lorentzian geometry from representation data; or that physical spacetime is, in fact, the realization of condensed data. The gap between the [EST] results and the [SPEC] hypothesis is exactly frontiers (C) and (L) of 5, and we have tried to make that gap easy to see rather than easy to overlook.

8.2 EST/HEU/SPEC census

Claim	Status
Tannakian reconstruction $C ≃ Rep_{k} (G_{ω})$ (1)	[EST]
Finite-group reconstruction $Aut^{\otimes} (ω) ≅ G$ (1)	[EST]
Gelfand duality; naturality (2)	[EST]
Connes’ spectral distance and reconstruction ([thm:connes-distance,thm:connes-recon])	[EST]
Bisognano–Wichmann: boost $=$ modular flow (6)	[EST]
Cobordism hypothesis (7)	[EST]
Finite spectral distance $=$ graph geodesic (8)	[EST]
Reconstruction schema unifying the five theorems (1)	[HEU]
Metric read off from realization data (1)	[HEU]
Condensed Realization axiom (7)	[HEU]
Condensed spectral distance recovers a condensed metric (1)	[SPEC]
Spacetime is the realization of condensed data (1)	[SPEC]
Emergent Lorentzian geometry from condensed data	[SPEC]

8.3 Relations and non-identifications

We reiterate the non-identifications this Part must respect:

Condensed Tannakian reconstruction (the proposed generalization) is not classical Tannakian reconstruction (the theorem); the former is [SPEC], the latter [EST] (6 vs 1).
Riemannian reconstruction (Connes) is not Lorentzian reconstruction (open); see 2.
Bisognano–Wichmann recovers a boost within a presupposed Minkowski space; it is not a from-scratch construction of spacetime.
The condensed-mathematical approach is not cohesive HoTT (Schreiber) nor topos quantum theory (Isham–Döring): all three deploy sheaf/topos technology to different ends , and Part V’s realization functor is external/analytic (a condensed fiber functor), not internal/synthetic.

8.4 Limitations

The principal limitations are structural, not incidental. (i) We prove nothing new about condensed categories; 6 is a definition, not a theorem, and the reconstruction it contemplates is conjectural. (ii) All computable content is finite-dimensional; the passage to genuinely infinite (condensed) spectral triples, where the resolvent-compactness and summability conditions do real work, is exactly where the open problem lives. (iii) The Lorentzian frontier is untouched by any established result we cite; our contribution there is limited to stating the gap precisely. (iv) The composite headline claim inherits [SPEC] status from its weakest link and must not borrow credibility from the genuinely rigorous Riemannian/finite mathematics that surrounds it.

8.5 Outlook: hand-off to Parts VI–VII

Part VI recomposes Parts I–V into a candidate representation-theoretic foundation for quantum gravity and must, per 2, carry the Riemannian $\neq =$ Lorentzian caveat forward without upgrade. Part VII presents the boxed hierarchy $Category \to Condensed Sheaf \to Derived Object \to Representation \to Observable \to Measurement \to Emergent Spacetime$ and inherits from this Part the precise location of the one speculative arrow (Measurement $\to$ Emergent Spacetime) and the concrete attackable target 1. The most valuable next mathematical step is not physical but categorical: prove or refute 1 in the static Riemannian condensed case, thereby resolving frontier (C) in isolation.

9 Conclusion

Geometry, in several of the deepest reconstruction theorems of modern mathematics, is not a primitive but a realization: an affine group scheme is the realization of a tensor category and a fiber functor (Tannaka); a compact space is the realization of a commutative $C^{*}$ -algebra (Gelfand); a Riemannian spin manifold is the realization of a spectral triple (Connes); a Lorentz boost is the realization of a modular flow (Bisognano–Wichmann); a field theory is the realization of a fully dualizable object (cobordism hypothesis). Part V has organized these into a single representation ladder — abstract algebra $\to$ condensed object $\to$ realization $\to$ observable $\to$ geometry — and has made its established sub-arrows precise and its two computable instances (finite Tannakian reconstruction; spectral distance as a graph metric) fully explicit and code-backed.

The Part’s title claim — that physical spacetime is the realization of condensed algebraic data — is, honestly, a hypothesis, not a theorem. It requires two bridges that no established result supplies: a condensed Tannakian reconstruction (frontier C) and a Lorentzian upgrade of every known metric reconstruction (frontier L). We have stated the hypothesis precisely, boxed it as [SPEC], isolated a well-posed Riemannian condensed target (1) that would resolve frontier (C) in isolation, and inscribed the non-negotiable Riemannian $\neq =$ Lorentzian honesty constraint as a labeled principle. The value of the realization-functor viewpoint is that it converts a vague slogan (“geometry emerges”) into a definite mathematical question (“does a condensed fiber functor reconstruct a geometry, and in what signature?”) — and locates, with precision, the single arrow at which the established mathematics ends and the physics of this program begins.

10 The accompanying code

The repository directory src/part5-geometry-as-realization-functor/ contains a self-contained Haskell package (compiling under -Wall) realizing the finite, decidable content of this Part:

Tannaka.hs — represents a finite group by its regular representation and small irreducibles, builds the forgetful fiber functor $ω$ , and computes the monoidal natural automorphisms $Aut^{\otimes} (ω)$ directly, verifying $Aut^{\otimes} (ω) ≅ G$ (1) for concrete groups (e.g. $Z / n$ , $S_{3}$ ).
Spectral.hs — builds a finite spectral triple $(A, H, D)$ , implements the spectral distance $d_{D}$ of 9 as the associated linear program, reproduces the two-point distance $1/∣ m ∣$ (2), and constructs the weighted-graph triple of 1.
Graph.hs — an independent Floyd–Warshall shortest-path reference, against which Spectral.hs’s $d_{D}$ is checked, verifying 8 ( $d_{D} = d_{Γ}$ ) on explicit graphs.
Main.hs — drives all three demonstrations and prints the reconstructed group, the two-point distance, and the graph-metric agreement.

The code is a finite shadow of the paper’s established content; it does not, and cannot, address frontiers (C) or (L), which are infinite-dimensional and Lorentzian respectively.

M. Long and The YonedaAI Collaboration, From Manifolds to Condensed Spaces, Part I of Toward a Condensed Representation Theory of Physics, YonedaAI Research Collective, 2026.

M. Long and The YonedaAI Collaboration, Observables as Condensed Sheaves, Part II of Toward a Condensed Representation Theory of Physics, YonedaAI Research Collective, 2026.

M. Long and The YonedaAI Collaboration, Information as the Primitive Object: Condensed Cohomology and Quantum Information, Part III of Toward a Condensed Representation Theory of Physics, YonedaAI Research Collective, 2026.

M. Long and The YonedaAI Collaboration, Fields Without Background Manifolds, Part IV of Toward a Condensed Representation Theory of Physics, YonedaAI Research Collective, 2026.

M. Long and The YonedaAI Collaboration, A Representation-Theoretic Foundation for Quantum Gravity, Part VI of Toward a Condensed Representation Theory of Physics, YonedaAI Research Collective, 2026 (forthcoming).

M. Long and The YonedaAI Collaboration, Toward a Condensed Representation Theory of Physics, Part VII (capstone) of the same series, YonedaAI Research Collective, 2026 (forthcoming).

P. Deligne and J. S. Milne, Tannakian Categories, in Hodge Cycles, Motives, and Shimura Varieties, Lecture Notes in Mathematics 900, Springer, 1982; revised version 2022, https://www.jmilne.org/math/xnotes/tc2022.pdf.

N. Saavedra Rivano, Catégories Tannakiennes, Lecture Notes in Mathematics 265, Springer, 1972.

P. Deligne and A. B. Goncharov, “Groupes fondamentaux motiviques de Tate mixte,” Ann. Sci. École Norm. Sup. 38 (2005), 1–56.

M. Levine, “Tate motives and the vanishing conjectures for algebraic $K$ -theory,” in Algebraic $K$ -Theory and Algebraic Topology, NATO ASI Series, Kluwer, 1993, 167–188.

I. M. Gelfand and M. A. Naimark, “On the imbedding of normed rings into the ring of operators in Hilbert space,” Mat. Sbornik 12 (1943), 197–213; see also G. K. Pedersen, $C^{*}$ -Algebras and their Automorphism Groups, Academic Press, 1979.

A. Connes, “On the spectral characterization of manifolds,” J. Noncommut. Geom. 7 (2013), 1–82; arXiv:0810.2088.

A. Connes, Noncommutative Geometry, Academic Press, 1994; and A. Connes, “Gravity coupled with matter and the foundation of non-commutative geometry,” Commun. Math. Phys. 182 (1996), 155–176; arXiv:hep-th/9603053.

N. Franco and M. Eckstein, “An algebraic formulation of causality for noncommutative geometry,” Class. Quantum Grav. 30 (2013), 135007; arXiv:1211.3061.

M. Takesaki, Theory of Operator Algebras I–III, Encyclopaedia of Mathematical Sciences, Springer, 2002–2003.

J. J. Bisognano and E. H. Wichmann, “On the duality condition for a Hermitian scalar field,” J. Math. Phys. 16 (1975), 985–1007.

H.-J. Borchers, “On revolutionizing quantum field theory with Tomita’s modular theory,” J. Math. Phys. 41 (2000), 3604–3673.

J. Lurie, “On the classification of topological field theories,” in Current Developments in Mathematics 2008, International Press, 2009, 129–280; arXiv:0905.0465.

M. Atiyah, “Topological quantum field theories,” Publ. Math. IHÉS 68 (1988), 175–186.

P. Scholze, Lectures on Condensed Mathematics, Bonn lecture notes, 2019; stable version arXiv:2605.03658, 2026.

D. Clausen and P. Scholze, Analytic Stacks, lecture course, 2023 (CNRS/IHÉS); and Lectures on Analytic Geometry (Bonn, 2019–2020).

A. H. Chamseddine and A. Connes, “The spectral action principle,” Commun. Math. Phys. 186 (1997), 731–750; arXiv:hep-th/9606001.

U. Schreiber, “Differential cohomology in a cohesive $\infty$ -topos,” arXiv:1310.7930, 2013.

C. J. Isham and A. Döring, “Topos theory and ‘neo-realist’ quantum theory,” arXiv:0712.4003, 2007.

The YonedaAI Collaboration, math-phy-library: 6-module representation-stack / sheaf / HoTT / TQFT ladder (internal prior work), 2026 (representation entries, prestacks/stacks, the $Aut_{[X / G]} (x) ≃ Stab_{G} (x)$ theorem family, Realization/Equivalence axioms).

The YonedaAI Collaboration, mathematics-physical-representation: 5-rung motivic/coalgebraic realization ladder (internal prior work), 2026 (Betti/de Rham/Hodge/étale realizations as fiber functors; $observable = per (motive)$ ).

The YonedaAI Collaboration, math-qg-representation-library: 12-topic representation-theoretic dossier on quantum gravity (internal prior work), 2026 (Connes reconstruction; Bisognano–Wichmann; weakest-link composition discipline).