Unconstrained BRST-BV Formulation

• The unconstrained BRST-BV formulation replaces traditional off-shell constraints with compensators, auxiliary fields, and a full ghost tower to encode gauge symmetry cohomologically.
• It employs variational tricomplex and presymplectic BV-AKSZ techniques to extract covariant BFV charges and eliminate nonphysical degrees of freedom through symplectic reduction.
• The method applies to higher-spin, continuous-spin, and superspace gauge theories, ensuring equivalent physical dynamics after gauge fixing and antifield elimination.

Unconstrained BRST-BV formulation denotes a class of Batalin–Vilkovisky constructions in which gauge systems are described without imposing auxiliary off-shell restrictions such as tracelessness, gamma-tracelessness, torsion-free conditions, non-covariant canonical constraints, or pure-spinor constraints. Across the literature, the term “unconstrained” is used in several closely related senses: variables that would otherwise satisfy off-shell constraints are replaced by compensators and Lagrange multipliers; degenerate directions of a compatible presymplectic structure are treated as pure gauge and removed by a symplectic quotient; reducibility is handled by a full ghost tower rather than by explicit restriction of gauge parameters; and the BFV charge is extracted covariantly from BV data without invoking the Dirac–Bergmann algorithm (Sharapov, 2015). In all of these settings, the organizing structure is the BV master action $S$ obeying $(S,S)=0$, with gauge symmetry, reducibility, and openness encoded cohomologically rather than by external constraints (Barnich et al., 22 Dec 2025).

1. Defining characteristics of unconstrained BRST-BV formulations

In the BV formalism, one extends the original field manifold by ghosts and antifields and equips it with the odd symplectic structure underlying the antibracket. For local functionals $F,G$, the antibracket is written as

$$(F,G) = \sum_A \left( \frac{\partial^r F}{\partial\Phi^A} \frac{\partial^l G}{\partial\Phi^*_A} - \frac{\partial^r F}{\partial\Phi^*_A} \frac{\partial^l G}{\partial\Phi^A} \right),$$

and the master action $S$ obeys $(S,S)=0$, with the BRST differential $sF=(S,F)$ (Sharapov, 2015). In general gauge theories, this master equation accommodates open algebras, field-dependent structure functions, arbitrary reducibility, and antifield-nonlinear terms (Barnich et al., 22 Dec 2025).

The unconstrained qualifier does not have a single universal implementation. In the variational-tricomplex construction, it means that one does not begin from a set of first-class constraints on a canonical phase space and does not require running the Dirac–Bergmann algorithm; instead, the full BFV ghost spectrum and charge are extracted covariantly from the BV master action (Sharapov, 2015). In presymplectic BV-AKSZ, it means that variables that would otherwise be subject to off-shell constraints are pure-gauge or contractible and are eliminated by gauging along the kernel of a compatible presymplectic form (Dneprov et al., 2022). In higher-spin and continuous-spin systems, it means that neither algebraic traces nor differential transversality/divergence constraints are imposed directly on the gauge parameter or fields; compensators and Lagrange multipliers enforce the necessary relations via equations of motion (Burdik et al., 2019). In superspace superfield constructions, it means that the BRST and BV operators are built entirely from standard superspace covariant derivatives, with no pure spinor variables or constraints introduced or needed (Buchbinder et al., 2021).

A common cohomological feature is that the gauge structure is represented internally by the BV differential rather than externally by kinematic restrictions. This suggests an operational definition: an unconstrained BRST-BV formulation is one in which off-shell restrictions are absorbed into auxiliary fields, kernel gauge directions, homological reductions, or antifield couplings, while the physical content is preserved by the master equation and the associated cohomology.

2. Covariant, presymplectic, and BV-to-BFV constructions

A covariant route to unconstrained BRST-BV data is provided by the variational tricomplex $$(\Lambda^{*,*,*}(J^\infty E; d,\delta,\delta_Q), d,\delta,\delta_Q)$$, where $d$ is the total horizontal differential, $\delta$ the variational differential, and $(S,S)=0$0 the BRST differential generated by an odd evolutionary homological vector field $(S,S)=0$1 of ghost number $(S,S)=0$2 satisfying $(S,S)=0$3 (Sharapov, 2015). In this framework, a BV master action yields a covariant presymplectic current and a conserved BRST current whose integral over a spatial slice is precisely the classical BFV BRST charge. The key descendant identities are

$(S,S)=0$4

and, when $(S,S)=0$5, the associated $(S,S)=0$6-form Hamiltonian is a conserved current on shell (Sharapov, 2015).

This construction is explicitly unconstrained in several senses. It does not rely on a non-covariant gauge fixing or a priori splitting into canonical coordinates; the descendant presymplectic form $(S,S)=0$7 and BRST current $(S,S)=0$8 are spacetime forms derived from the canonical BV presymplectic form

$(S,S)=0$9

and from the master action $F,G$0 on the jet bundle (Sharapov, 2015). The resulting BFV charge

$F,G$1

has ghost number $F,G$2, depends only on the homology class of the slice $F,G$3, and satisfies $F,G$4 with respect to the even Poisson bracket induced by $F,G$5 (Sharapov, 2015).

Presymplectic BV-AKSZ generalizes the same logic. Starting from the total BRST complex of a local gauge theory, one equips its minimal model with a compatible presymplectic 2-form $F,G$6 of degree $F,G$7, satisfying $F,G$8 and $F,G$9, or equivalently $$(F,G) = \sum_A \left( \frac{\partial^r F}{\partial\Phi^A} \frac{\partial^l G}{\partial\Phi^*_A} - \frac{\partial^r F}{\partial\Phi^*_A} \frac{\partial^l G}{\partial\Phi^A} \right),$$0, and then defines

$$(F,G) = \sum_A \left( \frac{\partial^r F}{\partial\Phi^A} \frac{\partial^l G}{\partial\Phi^*_A} - \frac{\partial^r F}{\partial\Phi^*_A} \frac{\partial^l G}{\partial\Phi^A} \right),$$1

on supermaps $$(F,G) = \sum_A \left( \frac{\partial^r F}{\partial\Phi^A} \frac{\partial^l G}{\partial\Phi^*_A} - \frac{\partial^r F}{\partial\Phi^*_A} \frac{\partial^l G}{\partial\Phi^A} \right),$$2 (Dneprov et al., 2022). Because the target is presymplectic rather than symplectic, kernel directions are present; the gauge theory is therefore defined on the symplectic quotient by factoring out the kernel distribution. In this setting, the quotient absorbs “constraints” as gauge redundancies: fields in $$(F,G) = \sum_A \left( \frac{\partial^r F}{\partial\Phi^A} \frac{\partial^l G}{\partial\Phi^*_A} - \frac{\partial^r F}{\partial\Phi^*_A} \frac{\partial^l G}{\partial\Phi^A} \right),$$3 are pure gauge and can be gauged away (Dneprov et al., 2022).

This presymplectic mechanism is a distinct but compatible realization of unconstrainedness. A plausible implication is that the term “unconstrained” spans both covariant descendant constructions from BV to BFV and kernel-gauged AKSZ constructions, provided that the nonphysical restrictions are encoded as homological or presymplectic degeneracies rather than imposed directly on fields.

3. Higher-spin, continuous-spin, and AdS realizations

For bosonic continuous-spin scalar fields on $$(F,G) = \sum_A \left( \frac{\partial^r F}{\partial\Phi^A} \frac{\partial^l G}{\partial\Phi^*_A} - \frac{\partial^r F}{\partial\Phi^*_A} \frac{\partial^l G}{\partial\Phi^A} \right),$$4, the unconstrained formulation begins from the Bargmann–Wigner-type constraints implemented by the operators

$$(F,G) = \sum_A \left( \frac{\partial^r F}{\partial\Phi^A} \frac{\partial^l G}{\partial\Phi^*_A} - \frac{\partial^r F}{\partial\Phi^*_A} \frac{\partial^l G}{\partial\Phi^A} \right),$$5

acting on a generating function $$(F,G) = \sum_A \left( \frac{\partial^r F}{\partial\Phi^A} \frac{\partial^l G}{\partial\Phi^*_A} - \frac{\partial^r F}{\partial\Phi^*_A} \frac{\partial^l G}{\partial\Phi^A} \right),$$6 (Burdik et al., 2019). The quartet-like unconstrained system introduces a compensator $$(F,G) = \sum_A \left( \frac{\partial^r F}{\partial\Phi^A} \frac{\partial^l G}{\partial\Phi^*_A} - \frac{\partial^r F}{\partial\Phi^*_A} \frac{\partial^l G}{\partial\Phi^A} \right),$$7, auxiliary fields $$(F,G) = \sum_A \left( \frac{\partial^r F}{\partial\Phi^A} \frac{\partial^l G}{\partial\Phi^*_A} - \frac{\partial^r F}{\partial\Phi^*_A} \frac{\partial^l G}{\partial\Phi^A} \right),$$8, a ghost $$(F,G) = \sum_A \left( \frac{\partial^r F}{\partial\Phi^A} \frac{\partial^l G}{\partial\Phi^*_A} - \frac{\partial^r F}{\partial\Phi^*_A} \frac{\partial^l G}{\partial\Phi^A} \right),$$9, and Lagrange multipliers so that the $S$0-traceless constraints are replaced by equations involving the compensator: $S$1 The gauge transformations are

$S$2

with a single unconstrained gauge parameter $S$3 (Burdik et al., 2019). After gauge fixing $S$4, the remaining field satisfies the original Bargmann–Wigner-type conditions, so the unconstrained formulation is equivalent modulo gauge (Burdik et al., 2019).

For half-integer higher-spin fields on flat space, the same pattern appears in triplet and quartet formulations. In the totally symmetric case, the constrained Fang–Fronsdal field $S$5 is triple gamma-traceless off shell, and the gauge parameter is gamma-traceless. The unconstrained quartet formulation relaxes these off-shell gamma-trace constraints by introducing auxiliary fields, a compensator $S$6, and Lagrange multipliers. The quartet gauge transformations are

$S$7

so no gamma-traceless condition is imposed on $S$8 (Reshetnyak, 2018). The corresponding minimal unconstrained BV action supplements the triplet action by constraint-enforcing terms and antifield couplings such as

$S$9

which encode the BRST variations of the quartet fields (Reshetnyak, 2018).

A recent AdS generalization develops both constrained and unconstrained BRST-BV formulations for totally symmetric massless, massive, partially-massless, and continuous-spin fields in the Poincaré patch of AdS. The master superfield is

$(S,S)=0$0

and the BRST-BV action is

$(S,S)=0$1

with $(S,S)=0$2 determining the admissible spin operators (Metsaev, 2 Jul 2026). In the unconstrained formulation one introduces a nilpotent Grassmann-even oscillator $(S,S)=0$3 and modifies the homogeneity condition, for example $(S,S)=0$4 for massless fields, thereby avoiding algebraic trace constraints (Metsaev, 2 Jul 2026). After gauge fixing and elimination of non-zero ghost-number components, the BRST-BV Lagrangian matches exactly the metric-like Lagrangian written in terms of the modified de Donder divergence (Metsaev, 2 Jul 2026).

4. Superspace, higher forms, and manifestly covariant superfield realizations

In $(S,S)=0$5 superspace, unconstrained BRST-BV formulations of Super Maxwell and Super Yang–Mills are built by fermionizing the superspace gauge transformations of the gauge superfields. For the abelian theory, with real vector superfield $(S,S)=0$6, chiral ghost $(S,S)=0$7, and antichiral ghost $(S,S)=0$8,

$(S,S)=0$9

and the superspace antibracket defines the nilpotent BV-BRST differential $sF=(S,F)$0 (Buchbinder et al., 2021). The antifield-independent terms of $sF=(S,F)$1 provide a superspace generalization of the Koszul–Tate resolution, while the full operator algebra of

$sF=(S,F)$2

permits construction of a nilpotent BRST charge

$sF=(S,F)$3

without requiring pure spinor variables (Buchbinder et al., 2021). This is unconstrained in the precise sense that only $sF=(S,F)$4, $sF=(S,F)$5, $sF=(S,F)$6, and their algebra are used.

Abelian higher-form gauge theories exhibit a different unconstrained mechanism. In the BV formulation of 2-form and 3-form theories, one extends minimal BRST by a local shift symmetry $sF=(S,F)$7, introducing a shifted copy of every field together with shift ghosts and Nakanishi–Lautrup fields. The extended BRST rules take the form

$sF=(S,F)$8

so that $sF=(S,F)$9 (Upadhyay et al., 2012). Fixing the shift symmetry identifies antifields through the equations of motion of the auxiliary fields and reproduces the usual BV prescription $$(\Lambda^{*,*,*}(J^\infty E; d,\delta,\delta_Q), d,\delta,\delta_Q)$$0 without imposing additional restrictions (Upadhyay et al., 2012).

The same paper develops a superspace description in which one Grassmann coordinate $$(\Lambda^{*,*,*}(J^\infty E; d,\delta,\delta_Q), d,\delta,\delta_Q)$$1 suffices for manifest extended BRST invariance, while two Grassmann coordinates $$(\Lambda^{*,*,*}(J^\infty E; d,\delta,\delta_Q), d,\delta,\delta_Q)$$2 are required for manifestly covariant extended BRST and extended anti-BRST invariant BV actions (Upadhyay et al., 2012). For example,

$$(\Lambda^{*,*,*}(J^\infty E; d,\delta,\delta_Q), d,\delta,\delta_Q)$$3

Here unconstrained refers to the absence of off-shell algebraic restrictions on fields or gauge parameters; reducibility is handled by the full ghost tower, and antifield identification is generated algebraically by the shift-symmetric extension (Upadhyay et al., 2012).

5. Open and reducible gauge algebras

Unconstrained BRST-BV formulations are especially useful when the gauge algebra is open or reducible. Twisted Courant sigma models provide a representative case: they are three-dimensional topological field theories whose gauge algebra is nonlinearly open and reducible, with products of field equations appearing in the commutator of gauge transformations (Chatzistavrakidis et al., 2023). The classical fields are $$(\Lambda^{*,*,*}(J^\infty E; d,\delta,\delta_Q), d,\delta,\delta_Q)$$4, $$(\Lambda^{*,*,*}(J^\infty E; d,\delta,\delta_Q), d,\delta,\delta_Q)$$5, and $$(\Lambda^{*,*,*}(J^\infty E; d,\delta,\delta_Q), d,\delta,\delta_Q)$$6, and the action includes a 4-form Wess–Zumino term: $$(\Lambda^{*,*,*}(J^\infty E; d,\delta,\delta_Q), d,\delta,\delta_Q)$$7 The commutator on $$(\Lambda^{*,*,*}(J^\infty E; d,\delta,\delta_Q), d,\delta,\delta_Q)$$8 closes only up to equations of motion and contains quadratic EOM terms, which precludes a standard off-shell BRST differential without antifields (Chatzistavrakidis et al., 2023).

The solution is the “BRST power finesse,” which constructs the BV master action from the on-shell BRST algebra by computing $$(\Lambda^{*,*,*}(J^\infty E; d,\delta,\delta_Q), d,\delta,\delta_Q)$$9, $d$0, and when necessary $d$1, then replacing EOM factors by antifields with the appropriate grading rules. The resulting minimal BV set includes fields and ghosts $d$2 and antifields $d$3, with

$d$4

(Chatzistavrakidis et al., 2023). No supplementary off-shell closure constraints are imposed; openness and reducibility are encoded directly by the antifield interactions $d$5 and $d$6 of the master action (Chatzistavrakidis et al., 2023).

A related but broader cohomological result is the BV-BRST Noether theorem. For a completely general gauge theory, including open algebras, field-dependent structure functions, arbitrary reducibility, and antifield-nonlinear master actions, the BRST master current $d$7 defined off shell by the local form of the master equation is cohomologically trivial: $d$8 After gauge fixing, the BRST Noether current satisfies

$d$9

so the BRST current is trivial in local BRST cohomology (Barnich et al., 22 Dec 2025). This shows that unconstrained BV-BV control over general gauge structure is not limited to model-specific constructions but extends to current algebra and cohomological statements at full generality.

6. Presymplectic gravity models, equivalence results, and structural consequences

The presymplectic BV-AKSZ formulation of conformal gravity gives a concrete example where unconstrainedness is achieved by kernel gauging rather than by compensators. Starting from the minimal model of the total BRST complex, one equips the target $\delta$0-manifold with a degree-3 presymplectic 2-form

$\delta$1

compatible with the BRST differential $\delta$2, so that $\delta$3 or equivalently $\delta$4 (Dneprov et al., 2022). The induced BV action on supermaps reduces to a frame-like first-order action

$\delta$5

with frame fields, spin connection, special conformal and dilatation 1-forms, and auxiliary 0-forms $\delta$6 and $\delta$7 (Dneprov et al., 2022).

The kernel of $\delta$8 contains directions generated by $\delta$9, $(S,S)=0$00, and further vector fields mixing $(S,S)=0$01. On the supermap space, these prolongations span $(S,S)=0$02, and the presymplectic form is regular on the open domain where $(S,S)=0$03 is invertible (Dneprov et al., 2022). Variables in $(S,S)=0$04, including $(S,S)=0$05, $(S,S)=0$06, and specific components of $(S,S)=0$07, are pure gauge and can be set to convenient values when passing to the symplectic quotient. Torsion is not imposed off shell; it vanishes as a consequence of the action and kernel gauging (Dneprov et al., 2022). After eliminating $(S,S)=0$08, $(S,S)=0$09, and solving for $(S,S)=0$10, one recovers the standard conformal gravity action

$(S,S)=0$11

This equivalence pattern recurs in other unconstrained BRST-BV settings. The continuous-spin quartet reduces, after gauge fixing, to the original Bargmann–Wigner-type constraints (Burdik et al., 2019). The unconstrained AdS BRST-BV formalism matches exactly the metric-like formulation written in modified de Donder form after gauge fixing and elimination of non-zero ghost-number components (Metsaev, 2 Jul 2026). In superspace Super Maxwell, the cohomology of the BRST charge $(S,S)=0$12 reproduces the expected superspace equations of motion $(S,S)=0$13 (Buchbinder et al., 2021). These repeated equivalence results indicate that unconstrained BRST-BV formulations are not alternative physical theories but reformulations in which cohomological control replaces off-shell restrictions.

A recurrent misconception is that “unconstrained” implies absence of gauge redundancy or absence of auxiliary fields. The cited constructions show the opposite. Unconstrained formulations typically enlarge the field content—through compensators, kernel variables, auxiliary pairs, or enlarged oscillator sectors—and then remove the extra variables by BRST/BV symmetry, symplectic quotient, or equations of motion (Reshetnyak, 2018). Another misconception is that unconstrainedness is inherently non-covariant or Hamiltonian. The variational tricomplex and presymplectic BV-AKSZ constructions show that the opposite can hold: the BFV charge and the reduced BV theory can be obtained covariantly from spacetime forms and compatible presymplectic structures (Sharapov, 2015).

In this sense, unconstrained BRST-BV formulation is best understood as a family of cohomological strategies for replacing explicit off-shell restrictions by homological data. The precise implementation varies—from descendants in the variational tricomplex, to symplectic quotients in presymplectic AKSZ, to quartet compensators in higher-spin theory, to superspace operator algebras and shift-symmetric higher-form constructions—but the common principle is that the master equation, rather than externally imposed constraints, carries the full gauge-theoretic content (Chatzistavrakidis et al., 2023).