Faddeev–Jackiw quantization of the higher derivative Chern–Simons gauge theory in the first-order formalism

We analyse the physical constraints of the higher derivative Chern–Simons gauge model by means of Faddeev–Jackiw symplectic approach in the first-order formalism. Within such framework, we systematically determine the zero-mode structure of the corresponding symplectic matrix. In addition, we calculate the Faddeev–Jackiw quantum brackets by choosing appropriate gauge-fixing conditions and evaluate the determinant of the non-singular symplectic matrix as well as the transition-amplitude. Finally, we present a detailed Hamiltonian analysis using Dirac–Bergmann algorithm method and show that the Dirac brackets coincide with the FJ brackets when all the second-class constraints are treated as zero equations.     

Dirac constraint analysis and symplectic structure of anti-self-dual Yang-Mills equations

We present the explicit form of the symplectic structure of anti-self-dual Yang-Mills (ASDYM) equations in Yang’s J- and K-gauges in order to establish the bi-Hamiltonian structure of this completely integrable system. Dirac’s theory of constraints is applied to the degenerate Lagrangians that yield the ASDYM equations. The constraints are second class as in the case of all completely integrable systems which stands in sharp contrast to the situation in full Yang-Mills theory. We construct the Dirac brackets and the symplectic 2-forms for both J- and K-gauges. The covariant symplectic structure of ASDYM equations is obtained using the Witten-Zuckerman formalism. We show that the appropriate component of the Witten-Zuckerman closed and conserved 2-form vector density reduces to the symplectic 2-form obtained from Dirac’s theory. Finally, we present the Bäcklund transformation between the J- and K-gauges in order to apply Magri’s theorem to the respective two Hamiltonian structures.     

A gauged nonlinear sigma-model realization of the symplectic blowing up

In this paper a two dimensional non-linear sigma model with a general symplectic manifold with isometry as target space is used to study symplectic blowing up of a point singularity on the zero level set of the moment map associated with a quasi-free Hamiltonian action. We discuss in general the relation between symplectic reduction and gauging of the symplectic isometries of the sigma model action. In the case of singular reduction, gauging has the same effect as blowing up the singular point by a small amount. Using the exponential mapping of the underlying metric, we are able to construct symplectic diffeomorphisms needed to glue the blow-up to the global reduced space which is regular, thus providing a transition from one symplectic sigma model to another one free of singularities.Alexander von Humboldt fellow, on leave from Zhejiang University. Institute of Modern Physics, Hangzhou, China. Address after 1October, 1994; Department of Mathematical Sciences University of Durham, South Road, Durham, England.     

Dynamical Model and Path Integral Formalism for Hubbard Operators

In this paper, the possibility to construct apath integral formalism by using the Hubbard operatorsas field dynamical variables is investigated. By meansof arguments coming from the Faddeev-Jackiw symplectic Lagrangian formalism as well as from theHamiltonian Dirac method, it can be shown that it is notpossible to define a classical dynamics consistent withthe full algebra of the Hubbard X-operators. Moreover, from the Faddeev-Jackiw symplectic algorithm,and in order to satisfy the Hubbard X-operatorscommutation rules, it is possible to determine thenumber of constraints that must be included in aclassical dynamical model. Following this approach, it isclear how the constraint conditions that must beintroduced in the classical Lagrangian formulation areweaker than the constraint conditions imposed by the full Hubbard operators algebra. The consequenceof this fact is analyzed in the context of the pathintegral formalism. Finally, in the framework of theperturbative theory, the diagrammatic and the Feynman rules of the model are discussed.     

A Gauge Invariant Description for the General Conic Constrained Particle from the FJBW Iteration Algorithm

We consider a second-degree algebraic curve describing a general conic constraint imposed on the motion of a massive spinless particle. The problem is trivial at classical level but becomes involved and interesting concerning its quantum counterpart with subtleties in its symplectic structure and symmetries. We start with a second-class version of the general conic constrained particle, which encompasses previous versions of circular and elliptical paths discussed in the literature. By applying the symplectic FJBW iteration program, we proceed on to show how a gauge invariant version for the model can be achieved from the originally second-class system. We pursue the complete constraint analysis in phase space and perform the Faddeev-Jackiw symplectic quantization following the Barcelos-Wotzasek iteration program to unravel the essential aspects of the constraint structure. While in the standard Dirac-Bergmann approach there are four second-class constraints, in the FJBW they reduce to two. By using the symplectic potential obtained in the last step of the FJBW iteration process, we construct a gauge invariant model exhibiting explicitly its BRST symmetry. We obtain the quantum BRST charge and write the Green functions generator for the gauge invariant version. Our results reproduce and neatly generalize the known BRST symmetry of the rigid rotor, clearly showing that this last one constitutes a particular case of a broader class of theories.     

Gauged N = 8 supergravity in five dimensions

We construct gauged N = 8 supergravity theories in five dimensions. Instead of the twenty-seven vector fields of the ungauged theory, the gauged theories contain fifteen vector fields and twelve second-rank antisymmetric tensor fields satisfying self-dual field equations. The fifteen vector fields can be used to gauge any of the fifteen-dimensional semisimple subgroups of SL(6,R), specially SO(p, 6?p) for p = 0, 1, 2, 3. The gauged theories also have a physical global SU(1,1) symmetry which survives from the E₆₍₆₎ symmetry of the ungauged theory. This SU(1,1) for the SO(6) gauging is presumably related to that of the chiral N = 2 theory in ten dimensions. In our formalism we maintain a composite local USp(8) symmetry analogous to SU(8) in four dimensions.     

On the Poisson algebra of a singular map

We construct the Poisson algebra associated to a singular mapping into symplectic space and show that this is an algebra of smooth functions generating solvable implicit Hamiltonian systems.     

Some compatible Poisson structures and integrable bi-Hamiltonian systems on four dimensional and nilpotent six dimensional symplectic real Lie groups

We provide an alternative method for obtaining of compatible Poisson structures on Lie groups by means of the adjoint representations of Lie algebras. In this way we calculate some compatible Poisson structures on four dimensional and nilpotent six dimensional symplectic real Lie groups. Then using Magri-Morosi’s theorem we obtain new bi-Hamiltonian systems with four dimensional and nilpotent six dimensional symplectic real Lie groups as phase spaces.     

Poisson brackets for lagrangians linear in the velocity

We construct, using methods of symplectic geometry, Poisson brackets for a class of singular Lagrangians, introduced by Macfarlane. Examples of this construction are the Gardner Poisson bracket for the Korteweg-de Vries equation and the Poisson bracket for the Schrödinger equation.     

Generalized classical BRST cohomology and reduction of Poisson manifolds

In this paper, we formulate a generalization of the classical BRST construction which applies to the case of the reduction of a Poisson manifold by a submanifold. In the case of symplectic reduction, our procedure generalizes the usual classical BRST construction which only applies to symplectic reduction of a symplectic manifold by a coisotropic submanifold, i.e. the case of reducible first class constraints. In particular, our procedure yields a method to deal with second-class constraints. We construct the BRST complex and compute its cohomology. BRST cohomology vanishes for negative dimension and is isomorphic as a Poisson algebra to the algebra of smooth functions on the reduced Poisson manifold in zero dimension. We then show that in the general case of reduction of Poisson manifolds, BRST cohomology cannot be identified with the cohomology of vertical differential forms.Address after September 1992     

Hamilton-Jacobi theory for Hamiltonian systems with non-canonical symplectic structures

A proposal for the Hamilton-Jacobi theory in the context of the covariant formulation of Hamiltonian systems is done. The current approach consists in applying Dirac’s method to the corresponding action which implies the inclusion of second-class constraints in the formalism which are handled using the procedure of Rothe and Scholtz recently reported. The current method is applied to the non-relativistic two-dimensional isotropic harmonic oscillator employing the various symplectic structures for this dynamical system recently reported.     

CANONICAL FORMULATION OF NONHOLONOMIC CONSTRAINED SYSTEMS

Based on the Ehresmann connection theory and symplectic geometry, the canonical formulation of nonholonomic constrained mechanical systems is described. Following the Lagrangian formulation of the constrained system, the Hamiltonian formulation is given by Legendre transformation. The Poisson bracket defined by an anti-symmetric tensor does not satisfy the Jacobi identity for the nonintegrability of nonholonomic constraints. The constraint manifold can admit symplectic submanifold for some cases, in which the Lie algebraic structure exists.     

Poisson–Nijenhuis structures on quiver path algebras

We introduce a notion of noncommutative Poisson–Nijenhuis structure on the path algebra of a quiver. In particular, we focus on the case when the Poisson bracket arises from a noncommutative symplectic form. The formalism is then applied to the study of the Calogero–Moser and Gibbons–Hermsen integrable systems. In the former case, we give a new interpretation of the bihamiltonian reduction performed in Bartocci et al. (Int Math Res Not 2010:279–296, 2010. arXiv:0902.0953).     

Conformal Hamiltonian systems

Vector fields whose flow preserves a symplectic form up to a constant, such as simple mechanical systems with friction, are called “conformal”. We develop a reduction theory for symmetric conformal Hamiltonian systems, analogous to symplectic reduction theory. This entire theory extends naturally to Poisson systems: given a symmetric conformal Poisson vector field, we show that it induces two reduced conformal Poisson vector fields, again analogous to the dual pair construction for symplectic manifolds. Conformal Poisson systems form an interesting infinite-dimensional Lie algebra of foliate vector fields. Manifolds supporting such conformal vector fields include cotangent bundles, Lie–Poisson manifolds, and their natural quotients.     

The Hamiltonian structure of the Maxwell-Vlasov equations

Morrison [25] has observed that the Maxwell-Vlasov and Poisson-Vlasov equations for a collisionless plasma can be written in Hamiltonian form relative to a certain Poisson bracket. We derive another Poisson structure for these equations by using general methods of symplectic geometry. The main ingredients in our construction are the symplectic structure on the co-adjoint orbits for the group of canonical transformations, and the symplectic structure for the phase space of the electromagnetic field regarded as a gauge theory. Our Poisson bracket satisfies the Jacobi identity, whereas Morrison's does not [37]. Our construction also shows where canonical variables can be found and can be applied to the Yang-Mills-Vlasov equations and to electromagnetic fluid dynamics.     

On the general structure of gauged Wess-Zumino-Witten terms

The problem of gauging a closed form is considered. When the target manifold is a simple Lie group G, it is seen that there is no obstruction to the gauging of a subgroup H ∋ G if we may construct from the form a cocycle for the relative Lie algebra cohomology (or for the equivariant cohomology), and an explicit general expression for these cocycles is given. The common geometrical structure of the gauged closed forms and the D'Hoker and Weinberg effective actions of WZW type, as well as the obstructions for their existence, is also exhibited and explained.     

Gauge invariance based on the extrinsic geometry in the rigid string

The string model with the extrinsic curvature is studied which is a gauge invariant field theory with higher order derivatives. We present an equivalent action without any higher order derivatives which keeps the gauge invariance. We point out the difficulty caused by the second class constraints in Dirac's canonical method. Following a new method for dynamical systems with second class constraints, we construct an equivalent model which has no second class constrants but as a new gauge invariance. This gauge invariance guarantees the equivalence between the original model and the new one. We show that the model can be quantized in this formalism. We find the unitarity violation of the model.     

Bäcklund transformations for finite-dimensional integrable systems: a geometric approach

We present a geometric construction of Bäcklund transformations and discretizations for a large class of algebraic completely integrable systems. To be more precise, we construct families of Bäcklund transformations, which are naturally parameterized by the points on the spectral curve(s) of the system. The key idea is that a point on the curve determines, through the Abel–Jacobi map, a vector on its Jacobian which determines a translation on the corresponding level set of the integrals (the generic level set of an algebraic completely integrable systems has a group structure). Globalizing this construction we find (possibly multi-valued, as is very common for Bäcklund transformations) maps which preserve the integrals of the system, they map solutions to solutions and they are symplectic maps (or, more generally, Poisson maps). We show that these have the spectrality property, a property of Bäcklund transformations that was recently introduced. Moreover, we recover Bäcklund transformations and discretizations which have up to now been constructed by ad hoc methods, and we find Bäcklund transformations and discretizations for other integrable systems. We also introduce another approach, using pairs of normalizations of eigenvectors of Lax operators and we explain how our two methods are related through the method of separation of variables.