Spacetime-Covariant Formalism

• Spacetime-covariant formalism is a framework that preserves full four-dimensional covariance while organizing dynamics, constraints, and observables without a fixed foliation.
• It is applied across general relativity, quantum field theory, and noncommutative geometry, often using observer-based decompositions to differentiate temporal and spatial components covariantly.
• This unified approach provides insights into constraint algebras, covariant quantization, and effective field theory, offering practical methods for analyzing gravitational and quantum systems.

Spacetime-covariant formalism denotes a family of formulations in which the fundamental variables, equations, and observables are organized directly on four-dimensional spacetime, or under an undeformed Poincaré action, rather than only after a preferred $3+1$ split, a fixed tetrad, or a preferred frame has been chosen. In general relativity, field theory, geometric optics, quantum theory, and noncommutative geometry, the term does not refer to a single universal construction. It instead names a recurrent strategy: preserve manifest covariance under spacetime diffeomorphisms or ordinary Wigner-type Poincaré transformations while still isolating dynamics, observables, and constraints in a technically useful way (Gielen et al., 2012, Głód, 2020, Dabrowski et al., 2010).

1. Covariance, foliation, and the role of constraint structure

A central issue in spacetime-covariant formalism is the distinction between full four-dimensional covariance and weaker symmetry principles. In generally covariant gravity, the action is invariant under all spacetime diffeomorphisms, and the lapse functions as a true Lagrange multiplier generating the Hamiltonian constraint. By contrast, in theories invariant only under spatial diffeomorphisms, the ADM action can be written as

$$S=\int dt\, d^3x\, N\sqrt{h}\, L\big(N,h_{ij},K_{ij},\nabla_i,R_{ij};t\big),$$

with

$$ds^2=-N^2 dt^2+h_{ij}(dx^i+N^i dt)(dx^j+N^j dt), \qquad K_{ij}\equiv \frac{1}{2N}\big(\dot h_{ij}-\nabla_i N_j-\nabla_j N_i\big).$$

In that broader spatially covariant arena, generic theories propagate three local degrees of freedom rather than the two tensorial polarizations of general relativity (Gao et al., 2019).

The Hamiltonian analysis of "Spatially covariant gravity theories with two tensorial degrees of freedom: the formalism" identifies two necessary and sufficient conditions for eliminating the scalar mode. The first is degeneracy of the lapse–extrinsic-curvature sector, encoded by the criterion $\mathcal S(x,y)\approx 0$. The second is an additional antisymmetric condition $\mathcal J(x,y)\approx 0$, needed to keep the phase-space dimension even and complete the removal of the scalar (Gao et al., 2019). The same work stresses that the first condition alone is not enough: in Lorentz-breaking or foliation-based theories, a primary constraint generated by degeneracy does not automatically acquire the secondary partner that full time-reparametrization symmetry would provide.

This establishes one of the clearest conceptual functions of spacetime covariance. Full covariance is sufficient but not necessary for two-tensor-mode propagation, yet it organizes the constraint algebra in a stronger way than generic spatial covariance. A plausible implication is that many “covariant formalisms” are best understood not merely as elegant rewriting schemes, but as mechanisms that control the existence and pairing of constraints.

2. Observer-based decompositions that remain spacetime-covariant

A major line of development preserves manifest spacetime covariance while still distinguishing temporal and spatial directions. In "Linking Covariant and Canonical General Relativity via Local Observers" the split is defined not by a foliation but by a local observer field. The basic variables are a coframe $e$, an internal observer $y(x)\in H^3\subset \mathbb R^{3,1}$, a nowhere-vanishing 1-form $\hat u$, and a spatial $\mathbb R^3_y$-valued 1-form $E$, related by

$$S=\int dt\, d^3x\, N\sqrt{h}\, L\big(N,h_{ij},K_{ij},\nabla_i,R_{ij};t\big),$$0

The spacetime observer $$S=\int dt\, d^3x\, N\sqrt{h}\, L\big(N,h_{ij},K_{ij},\nabla_i,R_{ij};t\big),$$1 is defined by $$S=\int dt\, d^3x\, N\sqrt{h}\, L\big(N,h_{ij},K_{ij},\nabla_i,R_{ij};t\big),$$2. When $$S=\int dt\, d^3x\, N\sqrt{h}\, L\big(N,h_{ij},K_{ij},\nabla_i,R_{ij};t\big),$$3 is hypersurface-orthogonal, so that locally $$S=\int dt\, d^3x\, N\sqrt{h}\, L\big(N,h_{ij},K_{ij},\nabla_i,R_{ij};t\big),$$4 and $$S=\int dt\, d^3x\, N\sqrt{h}\, L\big(N,h_{ij},K_{ij},\nabla_i,R_{ij};t\big),$$5, the construction reduces to ADM in coframe variables and recovers Ashtekar-Barbero variables; when it is not, one still has a local space/time split without a slicing by spatial hypersurfaces (Gielen et al., 2012).

A coordinate-free version of the $$S=\int dt\, d^3x\, N\sqrt{h}\, L\big(N,h_{ij},K_{ij},\nabla_i,R_{ij};t\big),$$6 program appears in "A Covariant Approach to 1+3 Formalism". There the projector

$$S=\int dt\, d^3x\, N\sqrt{h}\, L\big(N,h_{ij},K_{ij},\nabla_i,R_{ij};t\big),$$7

defines the local rest space of a timelike congruence $$S=\int dt\, d^3x\, N\sqrt{h}\, L\big(N,h_{ij},K_{ij},\nabla_i,R_{ij};t\big),$$8, and the kinematical decomposition of $$S=\int dt\, d^3x\, N\sqrt{h}\, L\big(N,h_{ij},K_{ij},\nabla_i,R_{ij};t\big),$$9 is written as

$$ds^2=-N^2 dt^2+h_{ij}(dx^i+N^i dt)(dx^j+N^j dt), \qquad K_{ij}\equiv \frac{1}{2N}\big(\dot h_{ij}-\nabla_i N_j-\nabla_j N_i\big).$$0

The same work shows that nonzero vorticity $$ds^2=-N^2 dt^2+h_{ij}(dx^i+N^i dt)(dx^j+N^j dt), \qquad K_{ij}\equiv \frac{1}{2N}\big(\dot h_{ij}-\nabla_i N_j-\nabla_j N_i\big).$$1 obstructs integrability of the spatial distribution, induces torsion in the projected spatial connection, modifies the spatial Bianchi identity, and makes the spatial Ricci tensor asymmetric. When $$ds^2=-N^2 dt^2+h_{ij}(dx^i+N^i dt)(dx^j+N^j dt), \qquad K_{ij}\equiv \frac{1}{2N}\big(\dot h_{ij}-\nabla_i N_j-\nabla_j N_i\big).$$2, the formalism reduces to the usual $$ds^2=-N^2 dt^2+h_{ij}(dx^i+N^i dt)(dx^j+N^j dt), \qquad K_{ij}\equiv \frac{1}{2N}\big(\dot h_{ij}-\nabla_i N_j-\nabla_j N_i\big).$$3 hypersurface picture (Park, 2018).

In optical applications, "1+1+2 covariant formulation of light propagation in spacetime" uses the observer velocity $$ds^2=-N^2 dt^2+h_{ij}(dx^i+N^i dt)(dx^j+N^j dt), \qquad K_{ij}\equiv \frac{1}{2N}\big(\dot h_{ij}-\nabla_i N_j-\nabla_j N_i\big).$$4, the observed propagation direction $$ds^2=-N^2 dt^2+h_{ij}(dx^i+N^i dt)(dx^j+N^j dt), \qquad K_{ij}\equiv \frac{1}{2N}\big(\dot h_{ij}-\nabla_i N_j-\nabla_j N_i\big).$$5, and the screen projector

$$ds^2=-N^2 dt^2+h_{ij}(dx^i+N^i dt)(dx^j+N^j dt), \qquad K_{ij}\equiv \frac{1}{2N}\big(\dot h_{ij}-\nabla_i N_j-\nabla_j N_i\big).$$6

to express Sachs and Jacobi optics directly in four-dimensional tensorial form. The screen-projected deformation tensor $$ds^2=-N^2 dt^2+h_{ij}(dx^i+N^i dt)(dx^j+N^j dt), \qquad K_{ij}\equiv \frac{1}{2N}\big(\dot h_{ij}-\nabla_i N_j-\nabla_j N_i\big).$$7, its decomposition into shear $$ds^2=-N^2 dt^2+h_{ij}(dx^i+N^i dt)(dx^j+N^j dt), \qquad K_{ij}\equiv \frac{1}{2N}\big(\dot h_{ij}-\nabla_i N_j-\nabla_j N_i\big).$$8 and expansion $$ds^2=-N^2 dt^2+h_{ij}(dx^i+N^i dt)(dx^j+N^j dt), \qquad K_{ij}\equiv \frac{1}{2N}\big(\dot h_{ij}-\nabla_i N_j-\nabla_j N_i\big).$$9, the Jacobi field $\mathcal S(x,y)\approx 0$0, and the area distance $\mathcal S(x,y)\approx 0$1 are all defined covariantly on spacetime. The same formalism yields redshift-parametrized propagation equations, avoiding explicit construction of a transported Sachs basis (Głód, 2020).

Taken together, these works show that spacetime covariance need not exclude a distinguished temporal direction. It instead shifts the distinction from a globally preferred slicing to observer-relative tensorial structures.

3. Covariant Hamiltonian theory: multisymplectic and covariant phase-space frameworks

A second major meaning of spacetime-covariant formalism concerns Hamiltonian structure without singling out a preferred time coordinate. "Multisymplectic formalism and the covariant phase" formulates field theory on a finite-dimensional multimomentum space equipped with a closed nondegenerate $\mathcal S(x,y)\approx 0$2-form

$\mathcal S(x,y)\approx 0$3

or its higher-order generalizations. Fields are represented by Hamiltonian $\mathcal S(x,y)\approx 0$4-curves rather than trajectories in a phase space built from initial data on a chosen time slice. The corresponding De Donder–Weyl-type equations treat all spacetime coordinates symmetrically, and the variational principle is written as

$\mathcal S(x,y)\approx 0$5

with $\mathcal S(x,y)\approx 0$6 (Hélein, 2011).

The same work identifies the covariant phase space as the space $\mathcal S(x,y)\approx 0$7 of Hamiltonian $\mathcal S(x,y)\approx 0$8-curves, that is, classical solutions. A hypersurface $\mathcal S(x,y)\approx 0$9 defines a 1-form $\mathcal J(x,y)\approx 0$0 on $\mathcal J(x,y)\approx 0$1, and its variation gives the symplectic form

$\mathcal J(x,y)\approx 0$2

Under suitable boundary conditions this is independent of $\mathcal J(x,y)\approx 0$3, providing the covariant analogue of canonical symplectic evolution (Hélein, 2011).

This construction is closely aligned with observer-based Hamiltonian reformulations of gravity. The local-observer formalism of Gielen and Wise is explicitly presented as a bridge between Ashtekar variables and covariant phase-space methods, because all fields remain spacetime fields while still splitting into spatial and temporal parts relative to $\mathcal J(x,y)\approx 0$4 and $\mathcal J(x,y)\approx 0$5 (Gielen et al., 2012). The common theme is that Hamiltonian organization survives, but the primary geometric arena is spacetime itself rather than a preferred foliation.

4. Covariant reformulations of gravity and frame dynamics

Spacetime-covariant formalism also appears in reformulations of gravitational variables. "Introduction to Loop Quantum Gravity. The Holst's action and the covariant formalism" begins from the Holst action on spacetime,

$\mathcal J(x,y)\approx 0$6

with tetrad $\mathcal J(x,y)\approx 0$7 and $\mathcal J(x,y)\approx 0$8-connection $\mathcal J(x,y)\approx 0$9. The paper shows that, for nondegenerate tetrads, the theory is dynamically equivalent to ordinary four-dimensional general relativity, because the connection equations force $e$0 to become the torsion-free spin connection of the tetrad (Fatibene et al., 2024).

The same work then performs a reductive splitting of the Lorentz connection directly on spacetime: $e$1 This yields a covariant Barbero-Immirzi connection $e$2 on spacetime and an auxiliary $e$3-valued 1-form $e$4, with the pair $e$5 algebraically equivalent to $e$6. The resulting $e$7 model remains dynamically equivalent to GR (Fatibene et al., 2024). A central point is that the $e$8 variables need not originate only after a $e$9 split; they can arise from a spacetime-covariant decomposition.

A more radical affine version is developed in "Space-time as a structured relativistic continuum". There the fundamental variable is a frame field $y(x)\in H^3\subset \mathbb R^{3,1}$0 on an $y(x)\in H^3\subset \mathbb R^{3,1}$1-manifold, the internal symmetry is enlarged to $y(x)\in H^3\subset \mathbb R^{3,1}$2, and the primary covariant objects are the torsion/non-holonomy coefficients

$y(x)\in H^3\subset \mathbb R^{3,1}$3

From these one builds tensors such as

$y(x)\in H^3\subset \mathbb R^{3,1}$4

and determinant-type Lagrangians of Born–Infeld form, for example $y(x)\in H^3\subset \mathbb R^{3,1}$5 or $y(x)\in H^3\subset \mathbb R^{3,1}$6 (Sławianowski et al., 2013). The paper argues that the Born–Infeld-like structure is a non-accidental consequence of combining general covariance with intrinsic affine $y(x)\in H^3\subset \mathbb R^{3,1}$7-invariance.

Within that frame-based scheme, even metric signature is not imposed by an internal Minkowski metric. Instead, Lorentzian signature can emerge in special solution classes, notably the “breathing-closed” solutions built from compact semisimple Lie algebras (Sławianowski et al., 2013). This suggests a wider interpretation of spacetime-covariant formalism: covariance can coexist with the replacement of metric primacy by frame dynamics.

5. Covariant quantization, unitarity, and time in quantum theory

In quantum field theory, spacetime-covariant formalisms seek to preserve covariance without sacrificing physical interpretation. "Unitarity of Maxwell theory on curved spacetimes in the covariant formalism" formulates Euclidean $y(x)\in H^3\subset \mathbb R^{3,1}$8 Maxwell theory on curved manifolds by gauge-fixing the path integral while carefully treating zero modes, large gauge transformations, and nontrivial bundle sectors. The corrected partition function contains an extra geometric factor from the constant gauge mode,

$y(x)\in H^3\subset \mathbb R^{3,1}$9

which affects entropy and stress tensor. With this factor included, the covariant path integral agrees with canonical quantization on ultrastatic manifolds and in $\hat u$0, and the paper argues that if a unitary canonical formulation exists, then the covariant formulation must also be unitary after Wick rotation (Patterson et al., 2013).

"Covariant Canonical Quantization" proposes a different route. For a real scalar field, the basic expansion

$\hat u$1

is taken over all four-momenta, and the spacetime commutator rather than equal-time canonical brackets is fundamental. This yields covariant mode operators $\hat u$2, $\hat u$3, a covariant number operator

$\hat u$4

and two symmetric vacua associated with the two disconnected mass shells. Standard Fock-space operators are recovered only after projection to the upper mass shell (Liebrich, 2019). The same formalism reconstructs the Feynman propagator and an LSZ-type formula by a projection limit.

"A Generally Covariant Theory of Quantized Real Klein-Gordon Field in de Sitter Spacetime" stays closer to standard Hamiltonian quantization but grounds it in tetrad geometry. The metric is written as

$\hat u$5

the Hamiltonian is defined covariantly on hypersurfaces, and physical energy-momentum is interpreted in the local Lorentz frame. In de Sitter spacetime the free Hamiltonian is explicitly time-dependent and is diagonalized by a Bogoliubov transformation, giving an instantaneous energy

$\hat u$6

and a local momentum $\hat u$7 satisfying the on-shell condition $\hat u$8 (Feng, 2020).

"Time and Observables in Covariant Quantum Theory" addresses a different difficulty: the disappearance of physical time in reparametrization-invariant systems. It modifies covariant quantization so that time-like degrees of freedom in configuration space satisfy their classical law of change even at the quantum level. In the relativistic particle model this produces a Schrödinger-type equation first-order in $\hat u$9, while in the homogeneous cosmological model either the scale factor $\mathbb R^3_y$0 or the space-energy $\mathbb R^3_y$1 can serve as a physical clock. The associated observable is the corresponding self-energy (Gorobey et al., 2020). This suggests that “covariant” need not imply the total loss of dynamical time; it may instead relocate time into a constrained observable sector.

6. Nonlocal, noncommutative, and effective-field extensions

Spacetime-covariant formalism has also been extended beyond ordinary local metric field theory. In "Generally covariant formulation of Relative Locality in curved spacetime", ordinary spacetime coordinates are replaced by nonlocal position variables

$\mathbb R^3_y$2

built from a worldline and a Fermi tetrad. The particle action

$\mathbb R^3_y$3

is then manifestly invariant under spacetime diffeomorphisms even when momentum space is curved. Free particles follow ordinary spacetime geodesics, but momentum-dependent translations are replaced by momentum-dependent geodesic deviations (Cianfrani et al., 2014). The price of covariance in this setting is explicit nonlocality in the position variables.

In noncommutative geometry, "Poincaré Covariant k-Minkowski Spacetime" shows that $\mathbb R^3_y$4-Minkowski relations can be embedded into a larger coordinate algebra with central four-vector operators $\mathbb R^3_y$5 and $\mathbb R^3_y$6,

$\mathbb R^3_y$7

such that the full Poincaré group acts by an ordinary unitary representation in the Wigner sense: $\mathbb R^3_y$8 The paper’s conclusion is that a DSR-type framework with both the speed of light and a Planckian length can exist without deforming the meaning of Poincaré covariance (Dabrowski et al., 2010).

At the level of low-energy quantum gravity, "On the covariant formalism of the effective field theory of gravity and leading order corrections" constructs the effective action directly on an arbitrary background metric. The expansion

$\mathbb R^3_y$9

is organized covariantly in inverse powers of the Planck scale, and heat-kernel methods yield local and nonlocal terms up to quadratic order in curvature. The resulting Lorentzian effective action includes universal form-factor corrections of the form

$E$0

showing how covariance can be preserved even when quantum corrections become explicitly nonlocal (Codello et al., 2015).

These extensions make clear that spacetime-covariant formalism is not synonymous with locality, minimal field content, or classical geometry. It can accommodate nonlocal position variables, enlarged noncommutative coordinate algebras, and nonlocal effective actions, provided covariance remains explicit in the governing structures.

7. Conceptual scope and recurrent misconceptions

Several recurrent misconceptions are corrected by this body of work. One is that manifest covariance and any meaningful space/time distinction are mutually exclusive. Observer-based $E$1, $E$2, and local-observer formulations show that this is false: one can separate temporal and spatial sectors covariantly, without fixing a global foliation at the outset (Gielen et al., 2012, Park, 2018, Głód, 2020).

A second misconception is that only fully four-diffeomorphism-invariant gravity can propagate the two tensorial polarizations. The Hamiltonian analysis of spatially covariant gravity shows instead that full covariance is sufficient but not necessary; two tensor modes can survive in a broader class of foliation-based theories if two nontrivial degeneracy conditions are satisfied (Gao et al., 2019).

A third misconception is that covariance must be deformed whenever new invariant scales or noncommutativity are introduced. The covariantized $E$3-Minkowski construction explicitly argues otherwise: the symmetry can remain the ordinary Poincaré group acting unitarily, provided the coordinate algebra is enlarged appropriately (Dabrowski et al., 2010).

A fourth misconception is that covariant quantization is necessarily in tension with unitarity. The curved-spacetime Maxwell analysis shows that the apparent conflict originates in an incomplete treatment of zero modes, global gauge volume, and bundle sectors rather than in covariance itself (Patterson et al., 2013).

Across these domains, spacetime-covariant formalism emerges less as a single formal recipe than as a unifying research program. Its common objective is to formulate dynamics, observables, and symmetry in a way that treats spacetime geometry as primary, while permitting specialized decompositions only as secondary, covariantly controlled constructions.