[Paper Review] On algebras of gauge transformations in a general setting

G. Sardanashvily|ArXiv.org|Nov 29, 2004

Advanced Topics in Algebra7 references3 citations

TL;DR

This paper formulates a generalized algebraic structure for gauge transformations in classical field theories on fiber bundles, where transformations depend on dynamic fields and gauge parameters to arbitrary derivative order. It establishes that such transformations form a consistent algebra if and only if they generate a nilpotent BRST operator, generalizing Lie algebra and L∞-algebra structures to off-shell and on-shell settings via a systematic jet bundle and graded differential algebra framework.

ABSTRACT

We consider a Lagrangian system on a fiber bundle and its gauge transformations depending on derivatives of dynamic variables and gauge parameters of arbitrary order. We say that gauge transformations form an algebra if they generate a nilpotent BRST operator.

Motivation & Objective

• To define a consistent algebraic structure for gauge transformations that depend on arbitrary-order derivatives of dynamic fields and gauge parameters.
• To formulate the condition under which such gauge transformations close into a consistent algebra, generalizing finite-dimensional Lie algebras and sh-Lie algebras.
• To establish the nilpotency of the BRST operator as the necessary and sufficient condition for gauge transformations to form an algebra.
• To extend the formalism to both off-shell and on-shell settings, allowing for generalized commutation relations and Jacobi identities.

Proposed method

• The paper uses jet bundles $J^rY$ and the infinite-order jet manifold $J^∞ Y$ to describe field configurations and their derivatives up to arbitrary order.
• It introduces a graded differential algebra ${\cal O}^*_{\infty}Y$ with horizontal and vertical differentials $d_H$ and $d_V$, enabling the formulation of Lagrangians and Euler–Lagrange operators.
• Gauge transformations are represented as differential operators $\upsilon$ on the bundle product $E = Y \times_X V$, linear in gauge parameters $\xi^r$ and their jets, valued in the vertical tangent bundle $VY$.
• The operator $\upsilon$ is lifted to a graded derivation on the algebra of fields and odd ghosts $c^r$, defining the BRST transformation $\upsilon = \sum \upsilon^{i,\Lambda}_r c^r_\Lambda \partial_i + u^r \partial_r$.
• Nilpotency of the BRST operator is enforced through a system of equations (36)–(41), which generalize the Lie bracket and Jacobi identity.
• The formalism is applied to principal bundle gauge theories, where the BRST operator is explicitly constructed and shown to be nilpotent, confirming the algebraic closure of gauge symmetries.

Experimental results

Research questions

• RQ1 Under what conditions do gauge transformations depending on arbitrary-order derivatives of fields and parameters form a consistent algebra?
• RQ2 How can the generalized commutation relations and Jacobi identities for such transformations be formulated in a geometric and algebraic framework?
• RQ3 What is the precise role of the BRST operator's nilpotency in defining the algebraic structure of gauge symmetries?
• RQ4 How do the generalized structure constants $u^{r}_{(k)pq}$ depend on field configurations and their derivatives?
• RQ5 Can the algebraic closure of gauge symmetries be consistently defined on-shell, and how does this generalize off-shell structures?

Key findings

• The paper establishes that gauge transformations form an algebra if and only if they generate a nilpotent BRST operator, providing a universal criterion for algebraic closure.
• The nilpotency conditions (36)–(41) generalize the Lie bracket and Jacobi identity, with the structure constants $u^{r}_{(k)pq}$ depending on field configurations and their derivatives.
• For linear gauge transformations, the generalized structure constants $u^{r}_{(2)pq}$ are independent of field variables, recovering standard Lie algebra structure constants.
• The BRST operator for principal bundle gauge theories is explicitly constructed and shown to be nilpotent, confirming the algebraic consistency of gauge symmetries in this setting.
• The formalism accommodates both off-shell and on-shell algebras, with on-shell closure defined by requiring nilpotency modulo the Euler–Lagrange equations.
• Trivial gauge symmetries are shown to exist for any Lagrangian, but the main result focuses on nontrivial, nilpotent BRST-generated algebras.