Nilpotent symmetry invariance in the non-Abelian 1-form gauge theory: Superfield formalism

We demonstrate that the nilpotent Becchi-Rouet-Stora-Tyutin (BRST) and anti-BRST symmetry invariance of the Lagrangian density of a four (3 + 1)-dimensional (4D) non-Abelian 1-form gauge theory with Dirac fields can be captured within the framework of the superfield approach to BRST formalism. The above 4D theory, where there is an explicit coupling between the non-Abelian 1-form gauge field and the Dirac fields, is considered on a (4,2)-dimensional supermanifold, parametrized by the bosonic 4D spacetime variables and a pair of Grassmannian variables. We show that the Grassmannian independence of the super-Lagrangian density, expressed in terms of the (4,2)-dimensional superfields, is a clear signature of the presence of the (anti-)BRST invariance in the original 4D theory.      

Abelian 3-form gauge theory: Superfield approach

We discuss a D-dimensional Abelian 3-form gauge theory within the framework of Bonora-Tonin’s superfield formalism and derive the off-shell nilpotent and absolutely anticommuting Becchi-Rouet-Stora-Tyutin (BRST) and anti-BRST symmetry transformations for this theory. To pay our homage to Victor I. Ogievetsky (1928–1996), who was one of the inventors of Abelian 2-form (antisymmetric tensor) gauge field, we go a step further and discuss the above D-dimensional Abelian 3-form gauge theory within the framework of BRST formalism and establish that the existence of the (anti-)BRST invariant Curci-Ferrari (CF) type of restrictions is the hallmark of any arbitrary p-form gauge theory (discussed within the framework of BRST formalism).     

Abelian 2-form gauge theory: superfield formalism

We derive the off-shell nilpotent Becchi–Rouet–Stora–Tyutin (BRST) and anti-BRST symmetry transformations for all the fields of a free Abelian 2-form gauge theory by exploiting the geometrical superfield approach to the BRST formalism. The above four (3+1)-dimensional (4D) theory is considered on a (4, 2)-dimensional supermanifold parameterized by the four even spacetime variables x ^μ (with μ=0,1,2,3) and a pair of odd Grassmannian variables θ and (with ). One of the salient features of our present investigation is that the above nilpotent (anti-) BRST symmetry transformations turn out to be absolutely anticommuting due to the presence of a Curci–Ferrari (CF) type of restriction. The latter condition emerges due to the application of our present superfield formalism. The actual CF condition, as is well known, is the hallmark of a 4D non-Abelian 1-form gauge theory. We demonstrate that our present 4D Abelian 2-form gauge theory imbibes some of the key signatures of the 4D non-Abelian 1-form gauge theory. We briefly comment on the generalization of our superfield approach to the case of Abelian 3-form gauge theory in four, (3+1), dimensions of spacetime.     

The Multimomentum hamiltonian formalism in gauge theory

We extend the jet bundle machinery of gauge theory to the multimomentum Hamiltonian formalism. This enables us to manipulate finite-dimensional momentum spaces of fields. In the framework of this formalism, time and spatial coordinates are regarded on the same footing, and a preliminary (3 + 1) splitting of a world manifold is not required. We get the canonical splitting of a multimomentum Hamiltonian form into a connection part and a Hamiltonian density.     

Superfield Lax formalism of supersymmetric sigma model on symmetric spaces

We present a superfield Lax formalism of the superspace sigma model based on the target space and show that a one-parameter family of flat superfield connections exists if the target space is a symmetric space. The formalism has been related to the existence of an infinite family of local and non-local superfield conserved quantities. A few examples have been given to illustrate the results.     

Cohomological aspects of gauge theories: superfield formalism

Some of the key cohomological features of the two (1 + 1)-dimensional (2D) free Abelian- and self-interacting non-Abelian gauge theories (having no interaction with matter fields) are briefly discussed first in the language of symmetry properties of the Lagrangian densities and the same issues are subsequently addressed in the framework of superfield formulation on the four (2 + 2)-dimensional supermanifold. Special emphasis is laid on the on-shell- and off-shell nilpotent (co-)BRST symmetries that emerge after the application of (dual) horizontality conditions on the supermanifold. The (anti-)chiral superfields play a very decisive role in the derivation of the on-shell nilpotent symmetries. The study of the present superfield formulation leads to the derivation of some new symmetries for the Lagrangian density and the symmetric energy-momentum tensor. The topological nature of the above theories is captured in the framework of superfield formulation and the geometrical interpretations are provided for some of the topologically interesting quantities.     

Renormalisability of the matter determinants in noncommutative gauge theory in the enveloping-algebra formalism

We consider noncommutative gauge theory defined by means of Seiberg–Witten maps for an arbitrary semisimple gauge group. We compute the one-loop UV divergent matter contributions to the gauge field effective action to all orders in the noncommutative parameters θ. We do this for Dirac fermions and complex scalars carrying arbitrary representations of the gauge group. We use path-integral methods in the framework of dimensional regularisation and consider arbitrary invertible Seiberg–Witten maps that are linear in the matter fields. Surprisingly, it turns out that the UV divergent parts of the matter contributions are proportional to the noncommutative Yang–Mills action where traces are taken over the representation of the matter fields; this result supports the need to include such traces in the classical action of the gauge sector of the noncommutative theory.     

Homological perturbation theory and the algebraic structure of the antifield-antibracket formalism for gauge theories

The algebraic structure of the antifield-antibracket formalism for both reducible and irreducible gauge theories is clarified. This is done by using the methods of Homological Perturbation Theory (HPT). A crucial ingredient of the construction is the Koszul-Tate complex associated with the stationary surface of the classical extremals. The Koszul-Tate differential acts on the antifields and is graded by the antighost number. It provides a resolution of the algebraA of functions defined on the stationary surface, namely, it is acyclic except at degree zero where its homology group reduces toA. Acyclicity only holds because of the introduction of the ghosts of ghosts and provides an alternative criterion for what is meant by a proper solution of the master equation. The existence of the BRST symmetry follows from the techniques of HPT. The classical Lagrangian BRST cohomology is completely worked out and shown to be isomorphic with the cohomology of the exterior derivative along the gauge orbits on the stationary surface. The algebraic structure of the formalism is identical with the structure of the Hamiltonian BRST construction. The role played there by the constraint surface is played here by the stationary surface. Only elementary quantum questions (general properties of the measure) are addressed.     

Simplicial gauge theory and quantum gauge theory simulation

We propose a general formulation of simplicial lattice gauge theory inspired by the finite element method. Numerical tests of convergence towards continuum results are performed for several SU(2) gauge fields. Additionally, we perform simplicial Monte Carlo quantum gauge field simulations involving measurements of the action as well as differently sized Wilson loops as functions of β.     

Canonical formalism of gauge theories with reducible constraints

A procedure for the canonical quantization of gauge theories with reducible constraints (that is, linearly dependent) is proposed. The procedure consists of extending the initial phase space and filling out the initial system of constraints to an aggregate of linearly indepndent constraints. The equivalence is shown between the proposed quantization scheme and canonical quantization when only the linearly independent constraints are chosen from the initial system of constraints.Translated from Izvestiya Vysshikh.Uchebnykh Zavedenii, Fizika, No. 7, pp. 64–68, July, 1985.     

Manifestly-covariant canonical formalism of Poincaré gauge theories

We present a general framework for manifestly-covariant canonical formulation of Poincaré gauge theories. We construct a general class of action that is invariant under two kinds of BRS transformations—translation and internal Lorentz—and suitable for manifestly-covariant canonical quantization. This theory contains a great number of conserved quantities, which we investigate systematically. It is also pointed out that a canonical formulation of higher-derivative theories may be obtained as a limiting case in this framework.     

Obtaining gauge invariant actions via symplectic embedding formalism

The concept of gauge invariance is one of the most subtle and useful concepts in modern theoretical physics. It is one of the Standard Model cornerstones. The main benefit due to the gauge invariance is that it can permit the comprehension of difficult systems in physics with an arbitrary choice of a reference frame at every instant of time. It is the objective of this work to show a path of obtaining gauge invariant theories from non‐invariant ones. Both are named also as first‐ and second‐class theories respectively, obeying Dirac's formalism. Namely, it is very important to understand why it is always desirable to have a bridge between gauge invariant and non‐invariant theories. Once established, this kind of mapping between first‐class (gauge invariant) and second‐class systems, in Dirac's formalism can be considered as a sort of equivalence. This work describe this kind of equivalence obtaining a gauge invariant theory starting with a non‐invariant one using the symplectic embedding formalism developed by some of us some years back. To illustrate the procedure it was analyzed both Abelian and non‐Abelian theories. It was demonstrated that this method is more convenient than others. For example, it was shown exactly that this embedding method used here does not require any special modification to handle with non‐Abelian systems.     

Superfield form of discrete gauge states in ĉ = 1 2d supergravity

A general formula for the discrete states (NeveuSchwarz sector) in N = 1 2D super-Liouville theory is written down in the world-sheet supersymmetric form. We then derive a set of gauge states at the discrete momenta. These discrete gauge states are shown to carry the ω_∞ charges and serve as the symmetry parameters in the old covariant quantization of the theory.     

Field evaporation theory: The atomic-JUG formalism

Discrepancies are demonstrated to exist in the conventional mathematical treatment of the charge-exchange model for field evaporation, and a new treatment is presented that concentrates on the behaviour of the atomic nucleus prior to evaporation. The new approach seems physically more correct, produces markedly better agreement with experimental data concerning rate-constant field-sensitivity, and resolves several outstanding puzzles in field evaporation theory. The main numerical achievement is to predict a value of ?6 for the ratio of partial energies $\text{μ}{}^2\text{μ}{}^1$.     

Quantum theory: A Hilbert space formalism for probability theory

It is shown that the Hilbert space formalism of quantum mechanics can be derived as a corrected form of probability theory. These constructions yield the Schrödinger equation for a particle in an electromagnetic field and exhibit a relationship of this equation to Markov processes. The operator formalism for expectation values is shown to be related to anL ² representation of marginal distributions and a relationship of the commutation rules for canonically conjugate observables to a topological relationship of two manifolds is indicated.     

Zwanziger-Landau gauge in regularized gauge theory

The Green functions of Zwanziger-gaugefixed and continuum-regularized gauge theory are finite and transverse to all orders as the Zwanziger parameter α goes to zero.     

Towards a generalized distribution formalism for gauge quantum fields

We prove that the distributions defined on the Gelfand-Shilov spacesS with < 1 and, hence, more singular than hyperfunctions, retain the angular localizability property. Specifically, they have uniquely determined support cones. This result enables one to develop a distribution-theoretic technique suitable for the consistent treatment of quantum fields with arbitrarily singular ultraviolet and infrared behavior. The proof covering the most general and difficult case = 0 is based on the use of the theory of plurisubharmonic functions and Hörmander'sL ²-estimates.This work was supported in part by a Soros Humanitarian Foundation Grant awarded by the American Physical Society.