We establish a link between the multisymplectic and the covariant phase space approach to geometric field theory by showing how to derive the symplectic form on the latter, as introduced by Crnkovic-Witten and Zuckerman, from the multisymplectic form. The main result is that the Poisson bracket associated with this symplectic structure, according to the standard rules, is precisely the covariant bracket due to Peierls and DeWitt.
The analysis of the covariant brackets on the space of functions on the solutions to a variational problem in the framework of contact geometry initiated in the companion letter Ref.19 is extended to the case of the multisymplectic formulation of the free Klein-Gordon theory and of the free Schrödinger equation.
A geometrical approach to the covariant formulation of the dynamics of relativistic systems is introduced. A realization of Peierls brackets by means of a bivector field over the space of solutions of the Euler-Lagrange equations of a variational principle is presented. The method is illustrated with some relevant examples.
We show that the space of observables of test particles carries a natural Jacobi structure which is manifestly invariant under the action of the Poincaré group. Poisson algebras may be obtained by imposing further requirements. A generalization of Peierls procedure is used to extend this Jacobi bracket on the space of time-like geodesics on Minkowski space-time.
We introduce new examples of mappings defining noncommutative root space generalizations for the Witt, Ricci flow, and Poisson bracket continual Lie algebras.
A general approach is proposed to constructing covariant Poisson brackets in the space of histories of a classical field-theoretical model. The approach is based on the concept of Lagrange anchor, which was originally developed as a tool for path-integral quantization of Lagrangian and non-Lagrangian dynamics. The proposed covariant Poisson brackets generalize the Peierls' bracket construction known in the Lagrangian field theory.
We construct a Leibniz bracket on the space $Ω^\bullet (J^k (π))$ of all differential forms over the finite-dimensional jet bundle $J^k (π)$. As an example, we write Maxwell equations with sources in the covariant finite-dimensional hamiltonian form.
We discuss dimensional reduction for Hamiltonian systems which possess nonconstant Poisson brackets between pairs of coordinates and between pairs of momenta. The associated Jacobi identities imply that the dimensionally reduced brackets are always constant. Some examples are given alongside the general theory.
We use the vector wedge product in geometric algebra to show that Poisson commutator brackets measure preservation of phase space areas. We also use the vector dot product to define the Poisson anticommutator bracket that measures the preservation of phase space angles. We apply these brackets to the paraxial meridional complex height-angle ray vectors that transform via a 2x2 matrix, and we show that this transformation preserves areas but not angles in phase space. The Poisson brackets here are expressed in terms of the coefficients of the ABCD matrix. We also apply these brackets to the dis…
The formulation of covariant brackets on the space of solutions to a variational problem is analyzed in the framework of contact geometry. It is argued that the Poisson algebra on the space of functionals on fields should be read as a Poisson subalgebra within an algebra of functions equipped with a Jacobi bracket on a suitable contact manifold.
In this paper, we consider Hamiltonian structures of hydrodynamic type and some of their generalizations. In particular, we discuss the questions concerning the structure and special forms of the corresponding Poisson brackets and the connection of such structures with the theory of integration of systems of hydrodynamic type.
In the present paper fractional Hamilton-Jacobi equation has been derived for dynamical systems involving Caputo derivative. Fractional Poisson-bracket is introduced. Further Hamilton's canonical equations are formulated and quantum wave equation corresponds to the fractional Hamilton-Jacobi equation is suggested. Illustrative examples have been worked out to explain the formalism.
We establish a new representation of the infinite hierarchy of Pois- son brackets (PB) for the open Toda lattice in terms of its spectral curve. For the classical Poisson bracket (PB) we give a representation in the form of a contour integral of some special Abelian differential (meromorphic one-form) on the spectral curve. All higher brackets of the infinite hierarchy are obtained by multiplication of the one-form by a power of the spectral parameter.
By introducing an integration factor to the differential one-form of contact dynamics, equations of motion are derived variationally, and contact Poisson bracket and contact Lagrangian are formulated. Discrete symplectic integrator, named hybrid leap-frog method, is found to be a numerical solver of equations of motion for contact dissipative systems.
In this note we show how to construct a homotopy BV-algebra on the algebra of differential forms over a higher Poisson manifold. The Lie derivative along the higher Poisson structure provides the generating operator.
We consider a hierarchy of Poisson structures defined on rational functions on the Riemann sphere. This hierarchy is originated in the theory of the integrable Camassa-Holm equation associated with the Krein's string spectral problem. Previously the proof of Jacobi identity was obtained by reducing the bracket to canonical Darboux coordinates. The main result of this note is a direct proof of the Jacobi identity. It turns out that the direct proof of the Jacobi identity is far from trivial. We also give an example of another hierarchy of Poisson brackets and construct Darboux coordinates for i…
This paper investigates different Poisson structures that have been proposed to give a Hamiltonian formulation to evolution equations issued from fluid mechanics. Our aim is to explore the main brackets which have been proposed and to discuss the difficulties which arise when one tries to give a rigorous meaning to these brackets. Our main interest is in the definition of a valid and usable bracket to study rotational fluid flows with a free boundary. We discuss some results which have emerged in the literature to solve some of the difficulties that arise. It appears to the author that the mai…
The Lagrangian and Hamiltonian formulations of electromagnetism are reviewed and the Maxwell equations are obtained from the Hamiltonian for a system of many electric charges. It is shown that three of the equations which were obtained from the Hamiltonian, namely the Lorentz force law and two Maxwell equations, can be obtained as well from a set of postulated Poisson brackets. It is shown how the results derived from these brackets can be used to reconstruct the original Lagrangian for the theory aided by some reasoning based on physical concepts.
In this paper we study the problem of Hamiltonization of nonholonomic systems from a geometric point of view. We use gauge transformations by 2-forms (in the sense of Severa and Weinstein [29]) to construct different almost Poisson structures describing the same nonholonomic system. In the presence of symmetries, we observe that these almost Poisson structures, although gauge related, may have fundamentally different properties after reduction, and that brackets that Hamiltonize the problem may be found within this family. We illustrate this framework with the example of rigid bodies with gene…
We discuss associative analogues of classical Yang-Baxter equation meromorphically dependent on parameters. We discover that such equations enter in a description of a general class of parameter-dependent Poisson structures and double Lie and Poisson structures in sense of M. Van den Bergh. We propose a classification of all solutions for one-dimensional associative Yang-Baxter equations.
Poisson brackets between conserved quantities are a fundamental tool in the theory of integrable systems. The subclass of weakly nonlocal Poisson brackets occurs in many significant integrable systems. Proving that a weakly nonlocal differential operator defines a Poisson bracket can be challenging. We propose a computational approach to this problem through the identification of such operators with superfunctions on supermanifolds.
It is shown that Nambu-Poisson and Nambu-Jacobi brackets can be defined inductively: a n-bracket, n>2, is Nambu-Poisson (resp. Nambu-Jacobi) if and only if fixing an argument we get a (n-1)-Nambu-Poisson (resp. Nambu-Jacobi) bracket. As a by-product we get relatively simple proofs of Darboux-type theorems for these structures.
In this note the notion of Poisson brackets in Kontsevich's "Lie World" is developed. These brackets can be thought of as "universally" defined classical Poisson structures, namely formal expressions only involving the structure maps of a quadratic Lie algebra. We prove a uniqueness statement about these Poisson brackets with a given moment map. As an application we get formulae for the linearization of the quasi-Poisson structure of the moduli space of flat connections on a punctured sphere, and thereby identify their symplectic leaves with the reduction of coadjoint orbits. Equivalently, we …
How to give a natural geometric definition of a covariant Poisson bracket in classical field theory has for a long time been an open problem - as testified by the extensive literature on "multisymplectic Poisson brackets", together with the fact that all these proposals suffer from serious defects. On the other hand, the functional approach does provide a good candidate which has come to be known as the Peierls - De Witt bracket and whose construction in a geometrical setting is now well understood. Here, we show how the basic "multisymplectic Poisson bracket" already proposed in the 1970s can…
Reversible evolution of macroscopic and mesoscopic systems can be conveniently constructed from two ingredients: an energy functional and a Poisson bracket. The goal of this paper is to elucidate how the Poisson brackets can be constructed and what additional features we also gain by the construction. In particular, the Poisson brackets governing reversible evolution in one-particle kinetic theory, kinetic theory of binary mixtures, binary fluid mixtures, classical irreversible thermodynamics and classical hydrodynamics are derived from Liouville equation. Although the construction is quite na…
The quantization problem for the trace-bracket algebra, derived from double Poisson brackets, is discussed. We obtain a generalization of the boundary YBE (or so-called ABCD-algebra) for the quantization of quadratic trace-brackets. A dynamical deformation is proposed on the lines of Gervais-Neveu-Felder dynamical quantum algebras.
We present a general definition of the Poisson bracket between differential forms on the extended multiphase space appearing in the geometric formulation of first order classical field theories and, more generally, on exact multisymplectic manifolds. It is well defined for a certain class of differential forms that we propose to call Poisson forms and turns the space of Poisson forms into a Lie superalgebra.
We compare three different ways of checking the Jacobi identity for weakly nonlocal Poisson brackets using the theory of distributions, of pseudodifferential operators and of Poisson vertex algebras, respectively. We show that the three approaches lead to similar computations and same results.
In field theory the Poisson bracket $\{F, \mathcal{H}\}$ between an arbitrary function $F$ and the system Hamiltonian $\mathcal{H}$ acquires odd contributions. Here a modification is worked out to remove those terms, which leads to a certain version of the energy-momentum tensor. The resulting Poisson bracket is thus more easily accessible for quantization. An outlook hereupon is given, based on a field theoretic alternative to non-commutative spacetime.
We detail the construction of a weak Poisson bracket over a submanifold of a smooth manifold M with respect to a local foliation of this submanifold. Such a bracket satisfies a weak type Jacobi identity but may be viewed as a usual Poisson bracket on the space of leaves of the foliation. We then lift this weak Poisson bracket to a weak odd Poisson bracket on the odd tangent bundle, interpreted as a weak Koszul bracket on differential forms on M. This lift is achieved by encoding the weak Poisson structure into a homotopy Poisson structure on an extended manifold, and lifting the Hamiltonian fu…
We construct a symplectic realization and a bi-hamiltonian formulation of a 3-dimensional system whose solution are the Jacobi elliptic functions. We generalize this system and the related Poisson brackets to higher dimensions. These more general systems are parametrized by lines in projective space. For these rank 2 Poisson brackets the Jacobi identity is satisfied only when the Pl\" ucker relations hold. Two of these Poisson brackets are compatible if and only if the corresponding lines in projective space intersect. We present several examples of such systems.
On a symplectic manifold a family of generalized Poisson brackets associated with powers of the symplectic form is studied. The extreme cases are related to the Hamiltonian and Liouville dynamics. It is shown that the Dirac brackets can be obtained in a similar way.
We consider here special Poisson brackets given by the "averaging" of local multi-dimensional Poisson brackets in the Whitham method. For the brackets of this kind it is natural to ask about their canonical forms, which can be obtained after transformations preserving the "physical meaning" of the field variables. We show here that the averaged bracket can always be written in the canonical form after a transformation of "Hydrodynamic Type" in the case of absence of annihilators of initial bracket. However, in general case the situation is more complicated. As we show here, in more general cas…
Given a symplectic form and a pseudo-riemannian metric on a manifold, a non degenerate even Poisson bracket on the algebra of differential forms is defined and its properties are studied. A comparison with the Koszul-Schouten bracket is established.
The standard definition of the Poisson brackets is generalized to the non-equal-time Poisson brackets. Their relationship to the equal-time Poisson brackets, as well as to the equal- and non-equal-time commutators, is discussed.
We find optimal upper bounds for spectral invariants of a Hamiltonian whose support is contained in a union of mutually disjoint displaceable balls. This gives a partial answer to a question posed by Leonid Polterovich in connection with his recent work on Poisson bracket invariants of coverings.
We introduce the cluster algebraic formulation of the integrable difference equations, the discrete Lotka-Volterra equation and the discrete Liouville equation, from the view point of the general T-system and Y-system. We also study the Poisson structure for the cluster algebra, and give the associated Poisson bracket for the two difference equations.
A vertical exterior derivative is constructed that is needed for a graded Poisson structure on multisymplectic manifolds over nontrivial vector bundles. In addition, the properties of the Poisson bracket are proved and first examples are discussed.
The covariant canonical formalism is a covariant extension of the traditional canonical formalism of fields. In contrast to the traditional canonical theory, it has a remarkable feature that canonical equations of gauge theories or gravity are not only manifestly Lorentz covariant but also gauge covariant or diffeomorphism covariant. A mathematical peculiarity of the covariant canonical formalism is that its canonical coordinates are differential forms on a manifold. In the present paper, we find a natural Poisson bracket of this new canonical theory, and study symplectic structure behind it. …
We consider the integrable Camassa--Holm hierarchy on the line with positive initial data rapidly decaying at infinity. It is known that flows of the hierarchy can be formulated in a Hamiltonian form using two compatible Poisson brackets. In this note we propose a new approach to Hamiltonian theory of the CH equation. In terms of associated Riemann surface and the Weyl function we write an analytic formula which produces a family of compatible Poisson brackets. The formula includes an entire function $f(z)$ as a parameter. The simplest choice $f(z)=1$ or $f(z)=z$ corresponds to the rational or…
In this note the long standing problem of the definition of a Poisson bracket in the framework of a multisymplectic formulation of classical field theory is solved. The new bracket operation can be applied to forms of arbitary degree. Relevant examples are discussed and important properties are stated with proofs sketched.
We introduce a bracket on 1-forms defined on ${\cal J}^{\infty}(S^1, \mathbb{R}^n)$, the infinite jet extension of the space of loops and prove that it satisfies the standard properties of a Poisson bracket. Using this bracket, we show that certain hierarchies appearing in the framework of $F$-manifolds with compatible flat connection $(M, \nabla, \circ)$ are Hamiltonian in a generalized sense. Moreover, we show that if a metric $g$ compatible with $\nabla$ is also invariant with respect to $\circ$, then this generalized Hamiltonian set-up reduces to the standard one.
We give a method to construct Poisson brackets $\{\cdot,\cdot\}$ on Banach manifolds~$M$, for which the value of $\{f,g\}$ at some point $m\in M$ may depend on higher order derivatives of the smooth functions $f,g\colon M\to{\mathbb R}$, and not only on the first-order derivatives, as it is the case on all finite-dimensional manifolds. We discuss specific examples in this connection, as well as the impact on the earlier research on Poisson geometry of Banach manifolds. Those brackets are counterexamples to the claim that the Leibniz property for any Poisson bracket on a Banach manifold would i…
It is well known that the compatible linear and quadratic Poisson brackets of the full symmetric and of the standard open Toda lattices are restrictions of linear and quadratic $r$-matrix Poisson brackets on the associative algebra ${\mathrm{gl}}(n,{\mathbb{R}})$. We here show that the quadratic bracket on ${\mathrm{gl}}(n,{\mathbb{R}})$, corresponding to the $r$-matrix defined by the splitting of ${\mathrm{gl}}(n,{\mathbb{R}})$ into the direct sum of the upper triangular and orthogonal Lie subalgebras, descends by Poisson reduction from a quadratic Poisson structure on the cotangent bundle $T…
We construct the family of algebroid brackets $[\cdot,\cdot]_{c,v}$ on the tangent bundle $T^*M$ to a Poisson manifold $(M,π)$ starting from an algebroid bracket of differential forms. We use these brackets to generate Poisson structures on the tangent bundle $TM$. Next, in the case when $M$ is equipped with a bi-Hamiltonian structure $(M,π_1, π_2)$ we show how to construct another family of Poisson structures. Moreover we present how to find Casimir functions for those structures and we discuss some particular examples.
Noticing that the space of the solutions of a first order Hamiltonian field theory has a pre-symplectic structure, we describe a class of conserved charges on it associated to the momentum map determined by any symmetry group of transformations. Gauge theories are dealt with by using a symplectic regularization based on an application of Gotay's coisotropic embedding theorem. The analysis of Electrodynamics and of the Klein-Gordon theory illustrates the main results of the theory as well as the emergence of the energy-momentum tensor algebra of conserved currents.
We introduce a natural class of multicomponent local Poisson structures $\mathcal P_k + \mathcal P_1$, where $\mathcal P_1$ is a local Poisson bracket of order one and $\mathcal P_k$ is a homogeneous Poisson bracket of odd order $k$ under assumption that is has Darboux coordinates (Darboux-Poisson bracket) and non-degenerate. For such brackets we obtain the general formulas in arbitrary coordinates, find normal forms (related to Frobenius triples) and provide the description of the Casimirs, using purely algebraic procedure. In two-component case we completely classify such brackets up to the …
We study in this work the important class of nonlocal Poisson Brackets (PB) which we call weakly nonlocal. They appeared recently in some investigations in the Soliton Theory. However there was no theory of such brackets except very special first order case. Even in this case the theory was not developed enough. In particular, we introduce the Physical forms and find Casimirs, Momentum and Canonical forms for the most important Hydrodynamic type PB of that kind and their dependence on the boundary conditions.
We propose an extension of n-ary Nambu-Poisson bracket to superspace R^{n|m} and construct by means of superdeterminant a family of Nambu-Poisson algebras of even degree functions, where the parameter of this family is an invertible transformation of Grassmann coordinates in superspace R^{n|m}. We prove in the case of the superspaces R^{n|1} and R^{n|2} that our n-ary bracket, defined with the help of superdeterminant, satisfies the conditions for n-ary Nambu-Poisson bracket, i.e. it is totally skew-symmetric and it satisfies the Leibniz rule and the Filippov-Jacobi identity (fundamental ident…
In this paper we construct a non-skewsymmetric version of a Poisson bracket on the algebra of smooth functions on an odd Jacobi supermanifold. We refer to such Poisson-like brackets as Loday-Poisson brackets. We examine the relations between the Hamiltonian vector fields with respect to both the odd Jacobi structure and the Loday-Poisson structure. Furthermore, we show that the Loday-Poisson bracket satisfies the Leibniz rule over the noncommutative product derived from the homological vector field.
We address the problem of classifying discrete differential-geometric Poisson brackets (dDGPBs) of any fixed order on target space of dimension 1. It is proved that these Poisson brackets (PBs) are in one-to-one correspondence with the intersection points of certain projective hypersurfaces. In addition, they can be reduced to cubic PB of standard Volterra lattice by discrete Miura-type transformations. Finally, improving a consolidation lattice procedure, we obtain new families of non-degenerate, vector-valued and first order dDGPBs, which can be considered in the framework of admissible Lie-…
