The Liouville Canonical Form for Compatible Nonlocal Poisson Brackets of Hydrodynamic Type and Integrable Hierarchies

We reduce an arbitrary pair of compatible nonlocal Poisson brackets of hydrodynamic type generated by metrics of constant Riemannian curvature (compatible Mokhov–Ferapontov brackets) to a canonical form, find an integrable system describing all such pairs, and, for an arbitrary solution of this integrable system, i.e., for any pair of compatible Poisson brackets in question, construct (in closed form) integrable bi-Hamiltonian systems of hydrodynamic type possessing this pair of compatible Poisson brackets of hydrodynamic type. The corresponding special canonical forms of metrics of constant Riemannian curvature are considered. A theory of special Liouville coordinates for Poisson brackets is developed. We prove that the classification of these compatible Poisson brackets is equivalent to the classification of special Liouville coordinates for Mokhov–Ferapontov brackets.     

Lax Pairs for Equations Describing Compatible Nonlocal Poisson Brackets of Hydrodynamic Type and Integrable Reductions of the Lamé Equations

We solve the problem of describing compatible nonlocal Poisson brackets of hydrodynamic type. We prove that for nonsingular pairs of compatible nonlocal Poisson brackets of hydrodynamic type, there exist special local coordinates such that the metrics and the Weingarten operators of both brackets are diagonal. The nonlinear evolution equations describing all nonsingular pairs of compatible nonlocal Poisson brackets of hydrodynamic type are derived in these special coordinates, and the integrability of these equations is proved using the inverse scattering transform. The Lax pairs with a spectral parameter for these equations are found. We construct various classes of integrable reductions of the derived equations. These classes of reductions are of an independent differential-geometric and applied interest. In particular, if one of the compatible Poisson brackets is local, we obtain integrable reductions of the classical Lamé equations describing all orthogonal curvilinear coordinate systems in a flat space; if one of the compatible brackets is generated by a constant-curvature metric, the corresponding equations describe integrable reductions of the equations for orthogonal curvilinear coordinate systems in a space of constant curvature.     

Nonlocal Hamiltonian operators of hydrodynamic type with flat metrics, integrable hierarchies, and the associativity equations

We solve the problem of describing all nonlocal Hamiltonian operators of hydrodynamic type with flat metrics. This problem is equivalent to describing all flat submanifolds with flat normal bundle in a pseudo-Euclidean space. We prove that every such Hamiltonian operator (or the corresponding submanifold) specifies a pencil of compatible Poisson brackets, generates bihamiltonian integrable hierarchies of hydrodynamic type, and also defines a family of integrals in involution. We prove that there is a natural special class of such Hamiltonian operators (submanifolds) exactly described by the associativity equations of two-dimensional topological quantum field theory (the Witten-Dijkgraaf-Verlinde-Verlinde and Dubrovin equations). We show that each N-dimensional Frobenius manifold can locally be represented by a special flat N-dimensional submanifold with flat normal bundle in a 2N-dimensional pseudo-Euclidean space. This submanifold is uniquely determined up to motions.     

The classification of nonsingular multidimensional Dubrovin-Novikov brackets

In this paper, the well-known Dubrovin-Novikov problem posed as long ago as in 1984 in connection with the Hamiltonian theory of systems of hydrodynamic type, namely, the classification problem for multidimensional Poisson brackets of hydrodynamic type, is solved. In contrast to the one-dimensional case, in the general case, a nondegenerate multidimensional Poisson bracket of hydrodynamic type cannot be reduced to a constant form by a local change of coordinates. Generally speaking, such Poisson brackets are generated by nontrivial canonical special infinite-dimensional Lie algebras. In this paper, we obtain a classification of all nonsingular nondegenerate multidimensional Poisson brackets of hydrodynamic type for any number N of components and for any dimension n by differential-geometric methods. A key role in the solution of this problem is played by the theory of compatible metrics earlier constructed by the present author.     

Compatible Dubrovin–Novikov Hamiltonian Operators,Lie Derivative,and Integrable Systems of Hydrodynamic Type

We prove that two Dubrovin–Novikov Hamiltonian operators are compatible if and only if one of these operators is the Lie derivative of the other operator along a certain vector field. We consider the class of flat manifolds, which correspond to arbitrary pairs of compatible Dubrovin–Novikov Hamiltonian operators. Locally, these manifolds are defined by solutions of a system of nonlinear equations, which is integrable by the method of the inverse scattering problem. We construct the integrable hierarchies generated by arbitrary pairs of compatible Dubrovin–Novikov Hamiltonian operators.     

Compatible Poisson Brackets on Lie Algebras

We discuss the relationship between the representation of an integrable system as an L-A-pair with a spectral parameter and the existence of two compatible Hamiltonian representations of this system. We consider examples of compatible Poisson brackets on Lie algebras, as well as the corresponding integrable Hamiltonian systems and Lax representations.     

Integrability of the Equations for Nonsingular Pairs of Compatible Flat Metrics

We solve the problem of describing all nonsingular pairs of compatible flat metrics (or, in other words, nonsingular flat pencils of metrics) in the general N-component case. This problem is equivalent to the problem of describing all compatible Dubrovin–Novikov brackets (compatible nondegenerate local Poisson brackets of hydrodynamic type) playing an important role in the theory of integrable systems of hydrodynamic type and also in modern differential geometry and field theory. We prove that all nonsingular pairs of compatible flat metrics are described by a system of nonlinear differential equations that is a special nonlinear differential reduction of the classical Lamé equations, and we present a scheme for integrating this system by the method of the inverse scattering problem. The integration procedure is based on using the Zakharov method for integrating the Lamé equations (a version of the inverse scattering method).     

Elliptic hydrodynamics and quadratic algebras of vector fields on a torus

We construct a quadratic Poisson algebra of Hamiltonian functions on a two-dimensional torus compatible with the canonical Poisson structure. This algebra is an infinite-dimensional generalization of the classical Sklyanin-Feigin-Odesskii algebras. It yields an integrable modification of the two-dimensional hydrodynamics of an ideal fluid on the torus. The Hamiltonian of the standard two-dimensional hydrodynamics is defined by the Laplace operator and thus depends on the metric. We replace the Laplace operator with a pseudodifferential elliptic operator depending on the complex structure. The new Hamiltonian becomes a member of a commutative bi-Hamiltonian hierarchy. In conclusion, we construct a Lie bialgebroid of vector fields on the torus. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 150, No. 3, pp. 355–370, March, 2007.     

Character formulas for the operad of two compatible brackets and for the bi-Hamiltonian operad

We compute the dimensions of the components for the operad of two compatible brackets and for the bi-Hamiltonian operad. We also obtain character formulas for the representations of symmetric groups and SL ₂ in these spaces.     

Bifurcation analysis of the Zhukovskii-Volterra system via bi-Hamiltonian approach

The main goal of this paper consists of bifurcation analysis of classical integrable Zhukovskii-Volterra system. We use the fact that the ZV system is bi-Hamiltonian and apply new techniques [1] for analysis of singularities of bi-Hamiltonian systems, which can be formulated as follows: the structure of singularities of a bi-Hamiltonian system is determined by that of the corresponding compatible Poisson brackets.     

Poisson Brackets after Jacobi and Plücker

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ücker 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.     

Compatible Lie Brackets and Integrable Equations of the Principal Chiral Model Type

We consider two classes of integrable nonlinear hyperbolic systems on Lie algebras. These systems generalize the principal chiral model. Each system is related to a pair of compatible Lie brackets and has a Lax representation, which is determined by the direct sum decomposition of the Lie algebra of Laurent series into the subalgebra of Taylor series and the complementary subalgebra corresponding to the pair. New examples of compatible Lie brackets are given.     

Algebras of Jordan brackets and generalized Poisson algebras

We construct bases for free unital generalized Poisson superalgebras and for free unital superalgebras of Jordan brackets. Also, we prove an analogue of Farkas’ theorem for PI unital generalized Poisson algebras and PI unital algebras of Jordan brackets. Relations between generic Poisson superalgebras and superalgebras of Jordan brackets are studied.     

The description of pairs of compatible first-order differential geometric poisson brackets

We show that bi-Hamiltonian structures of systems of hydrodynamic type can be described in terms of solutions of nonlinear equations. These equations can be integrated by the inverse scattering transform for arbitrary metrics as well as for flat ones. In particular, if one metric is flat and the other has a constant curvature, then the corresponding integrable system is a reduction of the Cherednik chiral-field model.Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 142, No. 2, pp. 293–309, February, 2005.     

Commutative Poisson Subalgebras for Sklyanin Brackets and Deformations of Some Known Integrable Models

We construct hierarchies of commutative Poisson subalgebras for Sklyanin brackets. Each of the subalgebras is generated by a complete set of integrals in involution. Some new integrable systems and schemes for separation of variables for them are elaborated using various well-known representations of the brackets. The constructed models include deformations for the Goryachev–Chaplygin top, the Toda chain, and the Heisenberg model.     

Degenerate bi-Hamiltonian structures of the hydrodynamic type

Degenerate bi-Hamiltonian Poisson brackets of the hydrodynamic type are studied. They are bi-Hamiltonian structures of certain dispersionless rational Lax equations and are related to the notion of a degenerate Frobenius manifold. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 122, No. 2, pp. 294–304, February, 2000.     

The generalized Kupershmidt deformation for constructing new discrete integrable systems

It is known that the KdV6 equation can be represented as the Kupershmidt deformation of the KdV equation. We propose a generalized Kupershmidt deformation for constructing new discrete integrable systems starting from the bi-Hamiltonian structure of a discrete integrable system. We consider the Toda, Kac-van Moerbeke, and Ablowitz-Ladik hierarchies and obtain Lax representations for these new deformed systems. The generalized Kupershmidt deformation provides a new way to construct discrete integrable systems.     

Bi-Hamiltonian structures and singularities of integrable systems

A Hamiltonian system on a Poisson manifold M is called integrable if it possesses sufficiently many commuting first integrals f ₁, … f _s which are functionally independent on M almost everywhere. We study the structure of the singular set K where the differentials df ₁, …, df _s become linearly dependent and show that in the case of bi-Hamiltonian systems this structure is closely related to the properties of the corresponding pencil of compatible Poisson brackets. The main goal of the paper is to illustrate this relationship and to show that the bi-Hamiltonian approach can be extremely effective in the study of singularities of integrable systems, especially in the case of many degrees of freedom when using other methods leads to serious computational problems. Since in many examples the underlying bi-Hamiltonian structure has a natural algebraic interpretation, the technology developed in this paper allows one to reformulate analytic and topological questions related to the dynamics of a given system into pure algebraic language, which leads to simple and natural answers.