Manifestly Covariant Canonical Operator Formalism

• Manifestly Covariant Canonical Operator Formalism is a methodological framework that maintains explicit spacetime, gauge, or diffeomorphism covariance without invoking a 3+1 split.
• It reformulates canonical variables, constraints, and commutators using differential forms, graded brackets, and extended Hilbert spaces to ensure Lorentz invariance.
• The approach applies to gravity, gauge theories, and non-commutative systems, offering unified insights while addressing challenges like negative-norm modes and non-locality.

Searching arXiv for papers on manifestly covariant canonical/operator formalisms and closely related frameworks. Search results from - "Manifestly Covariant Canonical Formalism of Quadratic Gravity" (Oda, 14 May 2025)

• "Covariant Canonical Quantization" (Liebrich, 2019)
• "Poisson Bracket and Symplectic Structure of Covariant Canonical Formalism of Fields" (Kaminaga, 2017)
• "Generators of local gauge transformations in the covariant canonical formalism of fields" (Nakajima, 2019)
• "Linking Covariant and Canonical General Relativity via Local Observers" (Gielen et al., 2012)
• "Canonical analysis of Holst action without second-class constraints" (Montesinos et al., 2019)
• "Quantum Conformal Gravity" (Oda et al., 2023)
• "Covariant operator formalism for higher derivative systems: Vector spin-0 dual model as a prelude to generalized QED4" (Gracia et al., 2024)
• "Duality and Self-duality of the Spin-1 Model in the Covariant Operator Formalism" (Gracia et al., 2019)
• "A manifestly Lorentz covariant, interacting and non-commutative Dirac equation" (Williams et al., 2015) Manifestly covariant canonical operator formalism designates a family of canonical and operator-based constructions in which spacetime covariance is kept explicit rather than being traded for an initial $3+1$ split. In these constructions, canonical variables, brackets, constraints, and operator equations are reformulated so that Lorentz covariance, gauge covariance, or diffeomorphism covariance remains manifest, while canonical machinery is recovered through graded symplectic forms, covariant phase spaces, extended Hilbert spaces, BRST charges, Lorentz-covariant connection variables, or modified operator products. The resulting literature is not a single uniform formalism but a cluster of related programs that share the aim of reconciling canonical structure with manifest covariance (Kaminaga, 2017).

1. Defining scope and recurrent structural ideas

A central motivation is the observation that standard Hamiltonian formulations privilege a time variable and may therefore obscure spacetime symmetries. One response is to retain all dynamical objects as spacetime fields and encode canonical structure covariantly. In the covariant canonical formalism of fields, the basic variables are differential forms and the canonical equations are written directly on spacetime, without gauge fixing or Dirac brackets, while remaining Lorentz-, gauge-, or diffeomorphism-covariant (Kaminaga, 2017). In the observer-field approach to general relativity, the same aim is pursued differently: all fields remain spacetime fields, but an observer field distinguishes “spatial” and “temporal” components in a way that is still covariant under $\mathrm{Diff}(M)$ and local $SO(3,1)$ transformations (Gielen et al., 2012).

A second recurrent idea is that the primitive commutator need not be an equal-time one. In covariant canonical quantization of a scalar field, the fundamental operator relation is the covariant commutator

$[\Phi(x),\Phi(y)] = i\,\Delta(x-y),$

with the Pauli–Jordan function $\Delta$, and equal-time commutators appear only as a derived or optional specialization (Liebrich, 2019). In BRST/Kugo–Ojima–Nakanishi operator formalisms, by contrast, equal-time canonical brackets are retained, but the total Hilbert space and subsidiary conditions are arranged so that covariance survives gauge fixing and indefinite metric sectors are controlled cohomologically (Gracia et al., 2019).

A third theme is that manifest covariance does not imply the disappearance of canonical variables; it changes their presentation. In Lorentz-covariant canonical gravity, one can work with covariant connection–momentum pairs and first-class constraints only, imposing the time gauge only at the end if one wishes to recover Ashtekar–Barbero variables (Montesinos et al., 2019). In non-commutative Dirac theory, manifest covariance is restored not by abandoning operator methods but by modifying the operator product itself so that Lorentz generators act as derivations on field products (Williams et al., 2015). This suggests that the expression “manifestly covariant canonical operator formalism” is best understood as a methodological family rather than a unique axiomatic system.

2. Differential-form phase space, graded brackets, and symplectic structure

One major branch of the subject replaces ordinary canonical coordinates by differential forms on an oriented $n$-manifold $M$. The algebra $A(M)=\bigoplus_{k=0}^n A^k(M)$ of differential forms is treated as a $\mathbb{Z}_2$-graded commutative algebra, and the covariant phase space is identified with the ringed space $(M,\mathcal{O}_M)$, where $\mathrm{Diff}(M)$0 for open $\mathrm{Diff}(M)$1 (Kaminaga, 2017). Canonical coordinates are themselves forms,

$\mathrm{Diff}(M)$2

with parities determined by the spacetime dimension.

Starting from a Lagrangian $\mathrm{Diff}(M)$3-form $\mathrm{Diff}(M)$4, one defines the conjugate forms by

$\mathrm{Diff}(M)$5

and the Hamiltonian $\mathrm{Diff}(M)$6-form

$\mathrm{Diff}(M)$7

The covariant canonical equations then take the form

$\mathrm{Diff}(M)$8

or, equivalently, $\mathrm{Diff}(M)$9 for $SO(3,1)$0 (Kaminaga, 2017).

The symplectic structure is encoded in the closed, non-degenerate 2-form

$SO(3,1)$1

Using $SO(3,1)$2 to define Hamiltonian vector fields, one obtains the graded Poisson bracket

$SO(3,1)$3

Its parity is $SO(3,1)$4, so the bracket is odd for even $SO(3,1)$5 and even for odd $SO(3,1)$6 (Kaminaga, 2017). The standard one-dimensional Poisson bracket is recovered by restricting to 0-forms and $SO(3,1)$7.

The gauge-theoretic extension of this formalism identifies local gauge generators directly in the covariant bracket language. For fields $SO(3,1)$8 with conjugates $SO(3,1)$9, the Hamiltonian form is

$[\Phi(x),\Phi(y)] = i\,\Delta(x-y),$0

and the canonical equations become

$[\Phi(x),\Phi(y)] = i\,\Delta(x-y),$1

If $[\Phi(x),\Phi(y)] = i\,\Delta(x-y),$2 are local gauge parameters, the full generator is

$[\Phi(x),\Phi(y)] = i\,\Delta(x-y),$3

with

$[\Phi(x),\Phi(y)] = i\,\Delta(x-y),$4

For gauge fields and gravity, $[\Phi(x),\Phi(y)] = i\,\Delta(x-y),$5; for matter fields, $[\Phi(x),\Phi(y)] = i\,\Delta(x-y),$6 (Nakajima, 2019). This is one of the clearest formulations of local gauge symmetry in a manifestly covariant canonical language.

The operator-theoretic continuation is explicit: one promotes $[\Phi(x),\Phi(y)] = i\,\Delta(x-y),$7 and replaces the graded Poisson bracket by the super-commutator,

$[\Phi(x),\Phi(y)] = i\,\Delta(x-y),$8

with ordering constrained by total degree (Kaminaga, 2017). In this sense, the differential-form formalism is already a covariant canonical operator framework in embryo.

3. Extended Hilbert spaces and covariant canonical quantization

A distinct realization of manifest covariance is provided by covariant canonical quantization of a real scalar field on an extended Hilbert space

$[\Phi(x),\Phi(y)] = i\,\Delta(x-y),$9

Here $\Delta$0 contains off-shell modes, $\Delta$1 is obtained by imposing the field-equation constraint, and $\Delta$2 is the usual on-shell Fock space of conventional canonical quantization (Liebrich, 2019). The field operator is expanded as

$\Delta$3

without imposing the Klein–Gordon equation at the outset.

The formalism takes the covariant commutator as primitive: $\Delta$4 with $\Delta$5 the Pauli–Jordan function. In momentum space,

$\Delta$6

Equal-time canonical commutators involving $\Delta$7 can be recovered, but they are not the foundational postulate; all spacetime components are treated symmetrically (Liebrich, 2019).

Creation and annihilation operators are defined covariantly by

$\Delta$8

so that

$\Delta$9

The covariant number-operator density is

$n$0

and its covariance follows from the Lorentz invariance of $n$1 (Liebrich, 2019).

A characteristic feature of this construction is the use of two symmetric vacua, $n$2 and $n$3, rather than a single vacuum selected by an explicit time-ordering prescription. These vacua satisfy complementary annihilation conditions on positive- and negative-energy sectors. The Feynman propagator is then reconstructed as

$n$4

which reproduces the standard momentum-space propagator $n$5 without explicitly treating time-ordering as primary (Liebrich, 2019).

The same framework rederives LSZ reduction through a projection limit. In/out operators are defined by asymptotic evolution with the covariant “Hamiltonian” enforcing $n$6, and the difference between in and out creation operators is written as a spacetime integral involving $n$7. The resulting S-matrix formula reduces exactly to the usual LSZ expression once external legs are placed on shell by $n$8 factors (Liebrich, 2019).

A further result concerns vacuum energy. The total energy operator derived from the canonical energy–momentum tensor remains covariant at the level of spacetime integration, but the familiar zero-point divergence appears only after one performs a spacetime split and selects a single physical vacuum $n$9. In this formulation, the divergence is therefore not primitive but arises a posteriori under the same specialization that reproduces ordinary canonical quantization (Liebrich, 2019).

4. Lorentz-covariant canonical gravity

In canonical gravity, manifest covariance is often lost at the step where spacetime is foliated. One line of work avoids that loss by introducing a local observer field $M$0, satisfying $M$1, together with a spacetime vector field $M$2 defined by

$M$3

Under diffeomorphisms, $M$4 transforms as a spacetime vector; under local Lorentz transformations, $M$5 and $M$6 rotate while $M$7 remains the same spacetime vector. The pair $M$8 is therefore covariant under both $M$9 and local $A(M)=\bigoplus_{k=0}^n A^k(M)$0 (Gielen et al., 2012).

Relative to this observer field, the coframe and connection split as

$A(M)=\bigoplus_{k=0}^n A^k(M)$1

with $A(M)=\bigoplus_{k=0}^n A^k(M)$2, $A(M)=\bigoplus_{k=0}^n A^k(M)$3, $A(M)=\bigoplus_{k=0}^n A^k(M)$4, and $A(M)=\bigoplus_{k=0}^n A^k(M)$5. Starting from the Palatini–Holst Lagrangian,

$A(M)=\bigoplus_{k=0}^n A^k(M)$6

one obtains the presymplectic current

$A(M)=\bigoplus_{k=0}^n A^k(M)$7

and the presymplectic 2-form

$A(M)=\bigoplus_{k=0}^n A^k(M)$8

When the observer field is normal to a foliation and one imposes time gauge $A(M)=\bigoplus_{k=0}^n A^k(M)$9, the Ashtekar–Barbero connection

$\mathbb{Z}_2$0

emerges, together with the Gauss, vector, and scalar constraints and the canonical bracket

$\mathbb{Z}_2$1

The covariant presymplectic form reduces to

$\mathbb{Z}_2$2

so the usual Hamiltonian theory is recovered as a specialization rather than a starting point (Gielen et al., 2012).

A complementary Lorentz-covariant route begins directly from the Holst action with cosmological constant and avoids second-class constraints by separating dynamical and nondynamical components of the connection from the outset. The spatial connection $\mathbb{Z}_2$3 is decomposed into twelve dynamical fields $\mathbb{Z}_2$4 and six symmetric auxiliary fields $\mathbb{Z}_2$5, with the latter entering algebraically and therefore being integrated out without invoking the standard second-class-constraint machinery (Montesinos et al., 2019). The resulting Hamiltonian action is purely first-class: $\mathbb{Z}_2$6

This formalism admits a manifestly covariant connection–momentum pair

$\mathbb{Z}_2$7

with bracket

$\mathbb{Z}_2$8

The Gauss, vector, and scalar constraints then take fully Lorentz-covariant form, and the Dirac algebra of hypersurface deformations is recovered (Montesinos et al., 2019).

The same analysis exhibits a two-parameter family of canonical transformations

$\mathbb{Z}_2$9

In time gauge, these variables either collapse to the $(M,\mathcal{O}_M)$0 ADM formulation or yield the Ashtekar–Barbero connection with a rescaled Immirzi parameter $(M,\mathcal{O}_M)$1, depending on $(M,\mathcal{O}_M)$2 (Montesinos et al., 2019). A common misconception is therefore that manifest Lorentz covariance and canonical gravity are mutually exclusive; these constructions show instead that the canonical description can be postponed, reorganized, or recovered from a covariant starting point.

5. BRST, indefinite metric, and covariant operator quantization of gauge systems

In gauge theories, manifestly covariant operator formalisms are often built in an indefinite-metric Hilbert space and controlled by BRST cohomology. For the $(M,\mathcal{O}_M)$3-dimensional spin-1 self-dual model, the Kugo–Ojima–Nakanishi formalism quantizes the theory in the Heisenberg picture with a Nakanishi–Lautrup $(M,\mathcal{O}_M)$4-field and Faddeev–Popov ghosts. The canonical momenta satisfy

$(M,\mathcal{O}_M)$5

with nonvanishing equal-time brackets

$(M,\mathcal{O}_M)$6

along with the corresponding ghost anticommutators. After eliminating momenta, one may write, for example,

$(M,\mathcal{O}_M)$7

and

$(M,\mathcal{O}_M)$8

The nilpotent BRST transformation

$(M,\mathcal{O}_M)$9

leads to a conserved charge $\mathrm{Diff}(M)$00 with $\mathrm{Diff}(M)$01, and the quartet mechanism removes $\mathrm{Diff}(M)$02 from the physical spectrum (Gracia et al., 2019).

The physical one-particle excitation is created by

$\mathrm{Diff}(M)$03

which obeys

$\mathrm{Diff}(M)$04

Its propagator agrees with that of Maxwell–Chern–Simons theory, and it satisfies the self-duality relation

$\mathrm{Diff}(M)$05

The duality to the gauge-invariant Maxwell–Chern–Simons description is therefore established at the operator level through the physical subspace rather than by a purely classical field redefinition (Gracia et al., 2019).

The same operator technology can be extended to higher-derivative systems by enlarging phase space à la Ostrogradski and replacing Poisson brackets with Dirac brackets before quantization. For the vector spin-0 dual model in $\mathrm{Diff}(M)$06 dimensions, the higher-derivative Lagrangian is formulated in terms of $\mathrm{Diff}(M)$07, with primary second-class constraints enforced through an inverse constraint matrix $\mathrm{Diff}(M)$08. After the replacement $\mathrm{Diff}(M)$09, one obtains manifestly covariant unequal-time commutators such as

$\mathrm{Diff}(M)$10

and analogous expressions for commutators involving $\mathrm{Diff}(M)$11 and $\mathrm{Diff}(M)$12 (Gracia et al., 2024).

For generalized QED$\mathrm{Diff}(M)$13 of Bopp–Podolsky type, the higher-derivative gauge field is likewise quantized through an extended phase space with second-class constraints. The resulting propagator contains the transverse combination

$\mathrm{Diff}(M)$14

so the massive mode carries negative norm through the residue $\mathrm{Diff}(M)$15. In the interacting regime, the positive-norm subspace is no longer time invariant because the interaction can create negative-norm states from an initially ghost-free one. The spectral density acquires a negative delta contribution,

$\mathrm{Diff}(M)$16

and the ultraviolet improvement $\mathrm{Diff}(M)$17 is tied directly to these Lee–Wick-type poles (Gracia et al., 2024). The same work exhibits a toy higher-derivative interacting model with an extra discrete $\mathrm{Diff}(M)$18 symmetry and subsidiary conditions

$\mathrm{Diff}(M)$19

for which a positive-norm, time-invariant subspace can be maintained (Gracia et al., 2024).

6. Higher-derivative gravity, conformal gravity, and non-commutative operator extensions

In higher-derivative gravity, manifest covariance can be preserved together with a canonical operator algebra by working in a BRST-fixed first-order formalism. For quadratic gravity in four dimensions, the classical Lagrangian

$\mathrm{Diff}(M)$20

is rewritten using an auxiliary symmetric tensor $\mathrm{Diff}(M)$21 and a Stückelberg vector $\mathrm{Diff}(M)$22, and the de Donder condition

$\mathrm{Diff}(M)$23

is imposed together with $\mathrm{Diff}(M)$24 (Oda, 14 May 2025). The BRST-invariant gauge-fixed theory carries canonical pairs $\mathrm{Diff}(M)$25, $\mathrm{Diff}(M)$26, and $\mathrm{Diff}(M)$27, plus ghosts and Nakanishi–Lautrup fields, with canonical commutators such as

$\mathrm{Diff}(M)$28

A striking result is that, using identities implied by the de Donder gauge and the relation

$\mathrm{Diff}(M)$29

all commutators among $\mathrm{Diff}(M)$30 and its time derivatives vanish identically: $\mathrm{Diff}(M)$31 The physical content of the theory nonetheless contains a massless graviton, a massive scalar, and a massive spin-2 ghost; the ghost has negative norm and spoils unitarity of the S-matrix unless some nonperturbative confinement mechanism exists, a possibility mentioned but not realized canonically in the paper (Oda, 14 May 2025).

Quantum conformal gravity extends this BRST-covariant operator program to a Weyl-invariant scalar–tensor sector plus conformal gravity. The local symmetries comprise diffeomorphisms, Weyl rescalings, and Stückelberg shifts, with gauge conditions

$\mathrm{Diff}(M)$32

The theory possesses two nilpotent BRST charges $\mathrm{Diff}(M)$33 and $\mathrm{Diff}(M)$34, satisfying

$\mathrm{Diff}(M)$35

and equal-time canonical brackets for $\mathrm{Diff}(M)$36, $\mathrm{Diff}(M)$37, $\mathrm{Diff}(M)$38, $\mathrm{Diff}(M)$39, and the ghost multiplets (Oda et al., 2023). Physical states satisfy the Kugo–Ojima conditions

$\mathrm{Diff}(M)$40

The on-shell cohomology contains two transverse polarizations of a massless graviton and five polarizations of a massive spin-2 ghost, while the dilaton, $\mathrm{Diff}(M)$41, and the ghost/NL sectors form BRST quartets and decouple. The gauge-fixed action further exhibits a Poincaré-like global $\mathrm{Diff}(M)$42 symmetry, and the reduction from $\mathrm{Diff}(M)$43 is attributed to the presence of the Stückelberg symmetry (Oda et al., 2023).

A different but related operator extension appears in non-commutative Dirac theory. There the spacetime coordinates satisfy

$\mathrm{Diff}(M)$44

with fields realized as Hilbert–Schmidt operators on a configuration Hilbert space. Derivatives are inner commutators,

$\mathrm{Diff}(M)$45

but the ordinary operator product fails to respect Lorentz covariance under the twisted co-product. Manifest covariance is restored by replacing ordinary multiplication with

$\mathrm{Diff}(M)$46

for which the Lorentz generators satisfy the Leibniz rule on $\mathrm{Diff}(M)$47-products (Williams et al., 2015). The free Dirac equation retains its standard dispersion relation,

$\mathrm{Diff}(M)$48

while gauge coupling to an external electromagnetic potential is incorporated covariantly through

$\mathrm{Diff}(M)$49

At the operator level, the action is defined by the trace inner product on the configuration Hilbert space,

$\mathrm{Diff}(M)$50

and coherent-state symbols then produce an effective non-local action on ordinary $\mathrm{Diff}(M)$51-dimensional Minkowski spacetime (Williams et al., 2015). In a constant magnetic field, the Landau-level spectrum remains the usual one, but the physical localization length and Aharonov–Bohm phase are shifted, with

$\mathrm{Diff}(M)$52

leading to an upper bound $\mathrm{Diff}(M)$53 as $\mathrm{Diff}(M)$54. The formalism differs from standard Moyal-based NCFT in that the operator-level $\mathrm{Diff}(M)$55-product is commutative, while non-commutative effects reappear as non-locality in the emergent spacetime action (Williams et al., 2015).

Taken together, these developments show that manifest covariance at the operator level does not by itself resolve the hard problems of quantization. In quadratic and conformal gravity it coexists with negative-norm massive spin-2 modes; in higher-derivative electrodynamics it exposes rather than removes Lee–Wick-type ghost poles; and in non-commutative fermion theory it shifts the issue from operator noncommutativity to non-locality. The common achievement is structural: canonical brackets, operator equations, and symmetry generators can be formulated covariantly. The common limitation is equally clear: covariance does not guarantee positivity, unitarity, or locality.