Gauge transformations in the Lagrangian and Hamilton formalisms of generally covariant theories

We study spacetime diffeomorphisms in the Hamiltonian and Lagrangian formalisms of generally covariant systems. We show that the gauge group for such a system is characterized by having generators which are projectable under the Legendre map. The gauge group is found to be much larger than the original group of spacetime diffeomorphisms, since its generators must depend on the lapse function and shift vector of the spacetime metric in a given coordinate patch. Our results are generalizations of earlier results by Salisbury and Sundermeyer. They arise in a natural way from using the requirement of equivalence between Lagrangian and Hamiltonian formulations of the system, and they are new in that the symmetries are realized on the full set of phase space variables. The generators are displayed explicitly and are applied to the relativistic string and to general relativity.

Dimensional reduction and gauge group reduction in Bianchi-type cosmology

In this paper we examine in detail the implementation, with its associated difficulties, of the Killing conditions and gauge fixing into the variational principle formulation of Bianchi-type cosmologies. We address problems raised in the literature concerning the Lagrangian and the Hamiltonian formulations: We prove their equivalence, make clear the role of the homogeneity preserving diffeomorphisms in the phase space approach, and show that the number of physical degrees of freedom is the same in the Hamiltonian and Lagrangian formulations. Residual gauge transformations play an important role in our approach, and we suggest that Poincaré transformations for special relativistic systems can be understood as residual gauge transformations. In the Appendixes, we give the general computation of the equations of motion and the Lagrangian for any Bianchi-type vacuum metric and for spatially homogeneous Maxwell fields in a nondynamical background (with zero currents). We also illustrate our counting of degrees of freedom in an appendix.

Gauge group and reality conditions in Ashtekar's complex formulation of canonical gravity

We discuss reality conditions and the relation between spacetime diffeomorphisms and gauge transformations in Ashtekars complex formulation of general relativity. We produce a general theoretical framework for the stabilization algorithm for the reality conditions, which is different from Diracs method of stabilization of constraints. We solve the problem of the projectability of the diffeomorphism transformations from configuration-velocity space to phase space, linking them to the reality conditions. We construct the complete set of canonical generators of the gauge group in the phase space which includes all the gauge variables. This result proves that the canonical formalism has all the gauge structure of the Lagrangian theory, including the time diffeomorphisms.

Derivation of the gauge-invariant action for open and closed free bosonic string field theories

The gauge-invariant actions for open and closed free bosonic string field theories are obtained from the string field equations in the conformal gauge using the cohomology operations of Banks and Peskin. For the closed-string theory no restrictions are imposed on the gauge parameters.

Constraints on additional Z' gauge bosons from a precise measurement of the Z mass

We analyze the constraints on the mass and mixing of a superstring-inspired E6 Z' neutral gauge boson that follow from the recent precise Z mass measurements and show that they depend very sensitively on the assumed value of the W mass and also, to a lesser extent, on the top-quark mass.

Renormalization of gauge-invariant operators and the axial anomaly

The renormalization properties of gauge-invariant composite operators that vanish when the classical equations of motion are used (class II^a operators) and which lead to diagrams where the Adler-Bell-Jackiw anomaly occurs are discussed. It is shown that gauge-invariant operators of this kind do need, in general, nonvanishing gauge-invariant (class I) counterterms.

Gauge-invariant actions from constraint Hamiltonian dynamics

Dirac's constraint Hamiltonian formalism is used to construct a gauge-invariant action for the massive spin-one and -two fields.

Equivalence of reduced, Polyakov, Faddeev-Popov, and Faddeev path-integral quantization of gauge theories

A geometrical treatment of the path integral for gauge theories with first-class constraints linear in the momenta is performed. The equivalence of reduced, Polyakov, Faddeev-Popov, and Faddeev path-integral quantization of gauge theories is established. In the process of carrying this out we find a modified version of the original Faddeev-Popov formula which is derived under much more general conditions than the usual one. Throughout this paper we emphasize the fact that we only make use of the information contained in the action for the system, and of the natural geometrical structures derived from it.

Gauge transformations in Einstein-Yang-Mills theories

We discuss the relation between spacetime diffeomorphisms and gauge transformations in theories of the YangMills type coupled with Einsteins general relativity. We show that local symmetries of the Hamiltonian and Lagrangian formalisms of these generally covariant gauge systems are equivalent when gauge transformations are required to induce transformations which are projectable under the Legendre map. Although pure YangMills gauge transformations are projectable by themselves, diffeomorphisms are not. Instead, the projectable symmetry group arises from infinitesimal diffeomorphism-inducing transformations which must depend on the lapse function and shift vector of the spacetime metric plus associated gauge transformations. Our results are generalizations of earlier results by ourselves and by Salisbury and Sundermeyer. 2000 American Institute of Physics.

Canonical Noether symmetries and commutativity properties for gauge systems

For a dynamical system defined by a singular Lagrangian, canonical Noether symmetries are characterized in terms of their commutation relations with the evolution operators of Lagrangian and Hamiltonian formalisms. Separate characterizations are given in phase space, in velocity space, and through an evolution operator that links both spaces. 2000 American Institute of Physics.

Noether's theorem and gauge transformations. Application to the bosonic string and CP(2,n-1) model

New results on the theory of constrained systems are applied to characterize the generators of Noethers symmetry transformations. As a byproduct, an algorithm to construct gauge transformations in Hamiltonian formalism is derived. This is illustrated with two relevant examples.

Reconfigurable beams with arbitrary polarization and shape distributions at a given plane

Methods for generating beams with arbitrary polarization based on the use of liquid crystal displays have recently attracted interest from a wide range of sources. In this paper we present a technique for generating beams with arbitrary polarization and shape distributions at a given plane using a Mach-Zehnder setup. The transverse components of the incident beam are processed independently by means of spatial light modulators placed in each path of the interferometer. The modulators display computer generated holograms designed to dynamically encode any amplitude value and polarization state for each point of the wavefront in a given plane. The steps required to design such beams are described in detail. Several beams performing different polarization and intensity landscapes have been experimentally implemented. The results obtained demonstrate the capability of the proposed technique to tailor the amplitude and polarization of the beam simultaneously.

Scattering of quantum particles by gravitational plane waves

We consider the coupling of quantum massless and massive scalar particles with exact gravitational plane waves. The cross section for scattering of the quantum particles by the waves is shown to coincide with the classical cross section for scattering of geodesics. The expectation value of the scalar field stress tensor between scattering states diverges at the points where classical test particles focus after colliding with the wave. This indicates that back-reaction effects cannot be ignored for plane waves propagating in the presence of quantum particles and that classical singularities are likely to develop.