General quadratic gauge theory. Constraint structure, symmetries, and physical functions

How can we relate the constraint structure and constraint dynamics of the general gauge theory in the Hamiltonian formulation with specific features of the theory in the Lagrangian formulation, especially relate the constraint structure with the gauge transformation structure of the Lagrangian action? How can we construct the general expression for the gauge charge if the constraint structure in the Hamiltonian formulation is known? Whether can we identify the physical functions defined as commuting with first-class constraints in the Hamiltonian formulation and the physical functions defined as gauge invariant functions in the Lagrangian formulation? The aim of the present article is to consider the general quadratic gauge theory and to answer the above questions for such a theory in terms of strict assertions. To fulfill such a program, we demonstrate the existence of the so-called superspecial phase-space variables in terms of which the quadratic Hamiltonian action takes a simple canonical form. On the basis of such a representation, we analyze a functional arbitrariness in the solutions of the equations of motion of the quadratic gauge theory and derive the general structure of symmetries by analyzing a symmetry equation. We then use these results to identify the two definitions of physical functions and thus prove the Dirac conjecture.Comment: LaTex file, 18 page

Canonical form of Euler-Lagrange equations and gauge symmetries

The structure of the Euler-Lagrange equations for a general Lagrangian theory is studied. For these equations we present a reduction procedure to the so-called canonical form. In the canonical form the equations are solved with respect to highest-order derivatives of nongauge coordinates, whereas gauge coordinates and their derivatives enter in the right hand sides of the equations as arbitrary functions of time. The reduction procedure reveals constraints in the Lagrangian formulation of singular systems and, in that respect, is similar to the Dirac procedure in the Hamiltonian formulation. Moreover, the reduction procedure allows one to reveal the gauge identities between the Euler-Lagrange equations. Thus, a constructive way of finding all the gauge generators within the Lagrangian formulation is presented. At the same time, it is proven that for local theories all the gauge generators are local in time operators.Comment: 27 pages, LaTex fil