Time-slicing quantum spacetimes

Abstract: For quantum field theory on curved spacetimes, a critical role is played by their foliation into spacelike time-slices at each value $t$ of a coordinate time, with corresponding metric in ADM form. We provide a general construction for the spacetime quantum Levi-Civita connection when each spatial slice is replaced by a quantum Riemannian geometry. This is then fully solved for a class of spatial algebras including fuzzy spheres and for any time-dependent spatial quantum metric, shift 1-form and lapse function. The result takes a particularly simple form if the spatial metric evolves in time according to a first order ODE which, in the case of a fuzzy sphere, requires the spatial metric to rotate in time according to the value at each $t$ of the shift vector. As an application, our results provide in principle fuzzy versions of most (pseudo)-Riemannian manifolds. We also fully solve the case of rotationally invariant spacetimes with angular directions replaced by a discrete circle, including a new $\Bbb Z_n$-FLRW model.

• The paper develops an ADM-style construction that extends a spatial quantum Riemannian geometry by classical time and derives explicit conditions for torsion-free, metric-compatible spacetime connections.
• In the central-basis case, the paper proves uniqueness of the quantum Levi-Civita connection for arbitrary admissible time-dependent metrics, shifts, and lapses, with the fuzzy sphere providing a complete example.
• For discrete circles, torsion and symmetry restrict metric evolution to uniform shifts across vertices, while the framework produces new quantum FLRW models and identifies open challenges involving quantum time and variational dynamics.

Overview

The paper develops a systematic construction for foliating quantum spacetimes in the sense of quantum Riemannian geometry (QRG), adapting the ADM (Arnowitt–Deser–Misner) formalism to noncommutative spatial geometries. The author, working within the Beggs–Majid QRG framework (2605.00520), addresses a specific technical problem: given a spatial quantum geometry $(A,\Omega,\mathrm{d})$ with metric $g$ and a quantum Levi-Civita connection (QLC) $\hat\nabla$, can one adjoin a classical time variable $t$ and construct a spacetime QLC $\tilde\nabla$ for an ADM-form quantum metric

$$\tilde g = g + \xi\otimes \mathrm{d}t + \mathrm{d}t\otimes \xi - (n - (\xi,\xi))\,\mathrm{d}t\otimes \mathrm{d}t,$$

where $\xi(t)$ is a shift 1-form and $n(t)$ the squared lapse? The paper answers this affirmatively under explicit hypotheses, solves the problem completely for a class of spatial algebras including the fuzzy sphere, and provides partial but concrete solutions for discrete spatial geometries such as the discrete circle $\mathbb{Z}_n$. The motivation is Hamiltonian quantisation of fields — including gravity itself — on quantum spacetimes, which requires a well-defined notion of time-slicing.

Quantum Riemannian geometry background

The framework takes a unital coordinate algebra $A$ (possibly noncommutative), a differential calculus $g$0 generated by $g$1 and $g$2, a metric $g$3 with bimodule-map inverse $g$4, and a bimodule connection $g$5 with generalised braiding $g$6. A QLC is torsion free ($g$7) and metric compatible ($g$8, expressed via $g$9). Crucially, these constraints are quadratic in the connection coefficients because $\hat\nabla$0 depends linearly on $\hat\nabla$1; existence and uniqueness are therefore not guaranteed, unlike the classical case where $\hat\nabla$2 is the flip. A notable structural fact recalled here is that any invertible metric satisfies $\hat\nabla$3 for all $\hat\nabla$4, even without graded commutativity assumptions.

Extending a spatial geometry by central time

The core construction adjoining a central, self-adjoint $\hat\nabla$5 proceeds by writing the most general spacetime metric as $\hat\nabla$6 and the most general connection extension as $\hat\nabla$7, together with an ansatz for $\hat\nabla$8 involving data $\hat\nabla$9. Three results organise the analysis:

• Torsion freeness forces $t$0, $t$1, $t$2, and $t$3.
• Bimodule property of $t$4 holds if $t$5 are bimodule maps and $t$6 are central; then $t$7 is the flip whenever one argument is $t$8.
• Metric compatibility reduces to eight coupled equations relating $t$9, $\tilde\nabla$0, $\tilde\nabla$1 to $\tilde\nabla$2.

Imposing reality ($\tilde\nabla$3-compatibility) requires $\tilde\nabla$4 and self-adjointness of $\tilde\nabla$5; imposing quantum symmetry via $\tilde\nabla$6 sets $\tilde\nabla$7. Combining these yields a key evolution equation,

$\tilde\nabla$8

which is the quantum analogue of the ADM relation between $\tilde\nabla$9 and the momentum conjugate $$\tilde g = g + \xi\otimes \mathrm{d}t + \mathrm{d}t\otimes \xi - (n - (\xi,\xi))\,\mathrm{d}t\otimes \mathrm{d}t,$$0. The paper distinguishes three solution types: Type I ($$\tilde g = g + \xi\otimes \mathrm{d}t + \mathrm{d}t\otimes \xi - (n - (\xi,\xi))\,\mathrm{d}t\otimes \mathrm{d}t,$$1, block-diagonal metric, $$\tilde g = g + \xi\otimes \mathrm{d}t + \mathrm{d}t\otimes \xi - (n - (\xi,\xi))\,\mathrm{d}t\otimes \mathrm{d}t,$$2 unconstrained if $$\tilde g = g + \xi\otimes \mathrm{d}t + \mathrm{d}t\otimes \xi - (n - (\xi,\xi))\,\mathrm{d}t\otimes \mathrm{d}t,$$3 is solvable), Type II ($$\tilde g = g + \xi\otimes \mathrm{d}t + \mathrm{d}t\otimes \xi - (n - (\xi,\xi))\,\mathrm{d}t\otimes \mathrm{d}t,$$4, shifts present but $$\tilde g = g + \xi\otimes \mathrm{d}t + \mathrm{d}t\otimes \xi - (n - (\xi,\xi))\,\mathrm{d}t\otimes \mathrm{d}t,$$5 constrained by the geometry), and Type III (both nonzero). In the Type I/II intersection with $$\tilde g = g + \xi\otimes \mathrm{d}t + \mathrm{d}t\otimes \xi - (n - (\xi,\xi))\,\mathrm{d}t\otimes \mathrm{d}t,$$6, the QLC components take the simple universal form $$\tilde g = g + \xi\otimes \mathrm{d}t + \mathrm{d}t\otimes \xi - (n - (\xi,\xi))\,\mathrm{d}t\otimes \mathrm{d}t,$$7, $$\tilde g = g + \xi\otimes \mathrm{d}t + \mathrm{d}t\otimes \xi - (n - (\xi,\xi))\,\mathrm{d}t\otimes \mathrm{d}t,$$8, $$\tilde g = g + \xi\otimes \mathrm{d}t + \mathrm{d}t\otimes \xi - (n - (\xi,\xi))\,\mathrm{d}t\otimes \mathrm{d}t,$$9.

Complete solution in the central basis case

Under hypotheses (i) trivial centre, (ii) self-adjoint central basis $\xi(t)$0 of $\xi(t)$1, (iii) anticommuting basis forms, and (iv) $\xi(t)$2 equal to the flip on basis forms, everything reduces to matrix equations in $\xi(t)$3 alone. The main theorem establishes that for invertible $\xi(t)$4 and lapse $\xi(t)$5, the ADM-form metric admits a unique QLC, given explicitly. The pivotal step is solving for the symmetric tensor $\xi(t)$6:

$\xi(t)$7

with the remaining coefficients $\xi(t)$8, $\xi(t)$9, $n(t)$0, $n(t)$1 determined algebraically from $n(t)$2, $n(t)$3, $n(t)$4, and their time derivatives. This uniqueness result is strong: it means that for this entire class of spatial QRGs, every freely chosen time-dependent $n(t)$5, $n(t)$6, $n(t)$7 (subject only to invertibility and reality) determines a complete quantum spacetime with a canonical QLC.

Two special cases are isolated. In the Type I diagonal case ($n(t)$8), $n(t)$9 and $\mathbb{Z}_n$0 are entirely free and the QLC takes the compact form $\mathbb{Z}_n$1. In the Type II case ($\mathbb{Z}_n$2), the shift forces a first-order ODE for the metric evolution, $\mathbb{Z}_n$3.

Application to the fuzzy sphere

The unit fuzzy sphere, with coordinate algebra generated by $\mathbb{Z}_n$4 and its rotationally invariant calculus, satisfies all four hypotheses. Consequently:

• In the Type I case, any $\mathbb{Z}_n$5 and $\mathbb{Z}_n$6 yield a spacetime QLC; the special choice $\mathbb{Z}_n$7, $\mathbb{Z}_n$8 recovers the known 3D fuzzy FLRW model.
• In the Type II case, using the unique constant-coefficient QLC on the fuzzy sphere, the metric evolution becomes $\mathbb{Z}_n$9: the traceless part of $A$0 rotates rigidly about the axis determined by the shift vector, in the spin-2 representation, while $A$1 is conserved. A notable consequence is that a diagonal initial metric does not remain diagonal; off-diagonal components are dynamically generated. The paper explicitly corrects an earlier claim in Argota-Quiroz–Majid that off-diagonal terms were forbidden — they are permitted, merely harder to solve.

The construction also extends to spatial algebras with nontrivial centre $A$2, with modified formulae involving $A$3 and $A$4 corrections. Iterating the construction — first adjoining a radial variable $A$5 to a fuzzy sphere, then adjoining $A$6 — recovers the static fuzzy black hole of prior work as a special case, but now permits fully time-dependent profiles $A$7, $A$8.

Discrete spatial geometry: the circle $A$9

For graph algebras there is no central basis of 1-forms, so the complete-solution theorem does not apply; nevertheless the general scheme yields explicit answers. For $g$00 (equivalently $g$01) with edge-symmetric metric, the torsion condition $g$02 combined with centrality severely constrains admissible evolutions: the edge-length profile can only evolve as $g$03, i.e., a uniform vertical translation of the length function across all vertices, with $g$04 likewise forced spatially constant. This is a genuine obstruction: independently evolving metrics at different vertices cannot be accommodated within zero-torsion, edge-symmetric QRG on the circle. The paper traces this to the mismatch between $g$05-symmetry (required by torsion freeness) and edge-symmetry (natural for graphs).

Using the same solution with $g$06 in place of $g$07 produces a spatial QRG on $g$08 recovering the spatial sector of earlier black-hole work (and correcting a typo therein). Extending again by $g$09 yields:

• Static solutions recovering the full $g$10-black-hole.
• A new $g$11-FLRW model, with metric $g$12 and QLC $g$13, completing a fourfold square of models (black hole / FLRW crossed with fuzzy sphere / discrete circle).
• Type II solutions for general rotationally invariant metrics $g$14, where $g$15 and $g$16 are free but $g$17 must obey the coupled evolution equations $g$18 and $g$19.
• A general solution for arbitrary rotationally invariant metrics of this form, obtained by solving for $g$20 directly rather than setting it to zero.

Across all four model families, the connection coefficients stay close to their classical values up to "dimension jumps" — a consequence of rotational symmetry masking the noncommutativity at the level of the QLC, though not for non-rotationally-invariant fields propagating on these spacetimes.

Fuzzy versions of classical manifolds and the $g$21 example

An application with broad reach is Corollary cor:ind: every classical (pseudo-)Riemannian manifold whose metric can locally be put in block-diagonal form admits a QRG version in which a chosen block of coordinates is replaced by any suitable quantum geometry (fuzzy sphere, $g$22, etc.), by inductively absorbing classical coordinates one at a time via the Type I construction extended to allow nontrivial centre. The construction is local; global topology depends on the choice of seed algebra and required localisations, and the paper concedes that joint-smoothness issues must be handled case by case.

The appendix-style treatment of $g$23 illustrates the limits of the general method: the calculus has two central basis forms but a non-Grassmann exterior algebra and a non-flip braiding $g$24, so uniqueness fails and only Types I and II are tractable, with cross-coupled equations for $g$25 solved implicitly rather than disentangled.

Limitations and open questions

The paper is explicit about several restrictions. Time is treated classically: $g$26 commutes with everything and $g$27 graded-commutes, so genuinely quantum-time models (e.g., $g$28) lie outside the theorem; prior work suggests a general non-central-time QRG will be difficult. The Ricci curvature in QRG relies on an auxiliary lift map lacking conceptual origin, and noncommutative variational calculus is not yet developed enough to connect the constructed QLCs to an Einstein–Hilbert action or extrinsic curvature — the identification of $g$29 with (a sign-and-measure-rescaled version of) the ADM momentum combination $g$30 is suggestive but not derived from a variational principle. On graphs, the tension between $g$31 and edge-symmetric metrics blocks independent vertex-wise metric evolution; proposed remedies include $g$32-symmetric metric classes, non-edge-symmetric calculi, or admitting controlled torsion. Whether a QLC exists at all for general metrics on $g$33 remains unresolved. Finally, the claim that the construction yields fuzzy versions of most manifolds rests on local block-diagonalisability and differentiability assumptions that are asserted rather than proven in generality.

Conclusion

The paper supplies the missing geometric ingredient for a Hamiltonian, time-sliced approach to field theory on quantum spacetimes: an explicit, and in the central-basis case unique, spacetime QLC for any ADM-form quantum metric over a broad class of spatial QRGs. It converts previously laborious case-by-case computations (fuzzy FLRW, fuzzy and discrete black holes) into corollaries of a single formalism, adds a new $g$34-FLRW model, and clarifies both the power of the method (free metric evolution in Type I) and its obstructions (constrained evolution in Type II and on graphs). The principal open problems it leaves are the variational/extrinsic-curvature interpretation of $g$35, the non-central-time extension, and the resolution of the discrete-metric-evolution obstruction.