• For a reductive Lie algebra g, its nilpotent element f and its faithful finite dimensional representation, we construct a Lax operator L(z) with coefficients in the quantum finite W-algebra W(g,f). We show that for the classical linear Lie algebras gl_N, sl_N, so_N and sp_N, the operator L(z) satisfies a generalized Yangian identity. The operator L(z) is a quantum finite analogue of the operator of generalized Adler type which we recently introduced in the classical affine setup. As in the latter case, L(z) is obtained as a generalized quasideterminant.
  • We develop a new method for constructing integrable Hamiltonian hierarchies of Lax type equations, which combines the fractional powers technique of Gelfand and Dickey, and the classical Hamiltonian reduction technique of Drinfeld and Sokolov. The method is based on the notion of an Adler type matrix pseudodifferential operator and the notion of a generalized quasideterminant. We also introduce the notion of a dispersionless Adler type series, which is applied to the study of dispersionless Hamiltonian equations. Non-commutative Hamiltonian equations are discussed in this framework as well.
  • We prove that any classical affine W-algebra W(g,f), where g is a classical Lie algebra and f is an arbitrary nilpotent element of g, carries an integrable Hamiltonian hierarchy of Lax type equations. This is based on the theories of generalized Adler type operators and of generalized quasideterminants, which we develop in the paper. Moreover, we show that under certain conditions, the product of two generalized Adler type operators is a Lax type operator. We use this fact to construct a large number of integrable Hamiltonian systems, recovering, as a special case, all KdV type hierarchies constructed by Drinfeld and Sokolov.
  • We apply the new method for constructing integrable Hamiltonian hierarchies of Lax type equations developed in our previous paper, to show that all W-algebras W(gl_N,f) carry such a hierarchy. As an application, we show that all vector constrained KP hierarchies and their matrix generalizations are obtained from these hierarchies by Dirac reduction, which provides the former with a bi-Poisson structure.
  • We study the quantum finite W-algebras W(gl_N,f), associated to the Lie algebra gl_N, and its arbitrary nilpotent element f. We construct for such an algebra an r_1 x r_1 matrix L(z) of Yangian type, where r_1 is the number of maximal parts of the partition corresponding to f. The matrix L(z) is the quantum finite analogue of the operator of Adler type which we introduced in the classical affine setup. As in the latter case, the matrix L(z) is obtained as a generalized quasideterminant. It should encode the whole structure of W(gl_N,f), including explicit formulas for generators and the commutation relations among them. We describe in all detail the examples of principal, rectangular and minimal nilpotent elements.
  • We develop the formalism of double Poisson vertex algebras (local and non-local) aimed at the study of non-commutative Hamiltionan PDEs. This is a generalization of the theory of double Poisson algebras, developed by Van den Bergh, which is used in the study of Hamiltonian ODEs. We apply our theory of double Poisson vertex algebras to non-commutative KP and Gelfand-Dickey hierarchies. We also construct the related non-commutative de Rham and variational complexes.
  • Stationary non-equilibrium states describe steady flows through macroscopic systems. Although they represent the simplest generalization of equilibrium states, they exhibit a variety of new phenomena. Within a statistical mechanics approach, these states have been the subject of several theoretical investigations, both analytic and numerical. The macroscopic fluctuation theory, based on a formula for the probability of joint space-time fluctuations of thermodynamic variables and currents, provides a unified macroscopic treatment of such states for driven diffusive systems. We give a detailed review of this theory including its main predictions and most relevant applications.
  • First, we give a brief review of the theory of the Lenard-Magri scheme for a non-local bi-Poisson structure and of the theory of Dirac reduction. These theories are used in the remainder of the paper to prove integrability of three hierarchies of bi-Hamiltonian PDE's, obtained by Dirac reduction from some generalized Drinfeld-Sokolov hierarchies.
  • We construct an analogue of Dirac's reduction for an arbitrary local or non-local Poisson bracket in the general setup of non-local Poisson vertex algebras. This leads to Dirac's reduction of an arbitrary non-local Poisson structure. We apply this construction to an example of a generalized Drinfeld-Sokolov hierarchy.
  • We derive explicit formulas for lambda-brackets of the affine classical W-algebras attached to the minimal and short nilpotent elements of any simple Lie algebra g. This is used to compute explicitly the first non-trivial PDE of the corresponding intgerable generalized Drinfeld-Sokolov hierarchies. It turns out that a reduction of the equation corresponding to a short nilpotent is Svinolupov's equation attached to a simple Jordan algebra, while a reduction of the equation corresponding to a minimal nilpotent is an integrable Hamiltonian equation on 2h-3 functions, where h is the dual Coxeter number of g. In the case when g is sl_2 both these equations coincide with the KdV equation. In the case when g is not of type C_n, we associate to the minimal nilpotent element of g yet another generalized Drinfeld-Sokolov hierarchy.
  • We continue the study of integrability of bi-Hamiltonian systems with a compatible pair of local Poisson structures (H_0,H_1), where H_0 is a strongly skew-adjoint operator. This is applied to the construction of some new two field integrable systems of PDE by taking the pair (H_0,H_1) in the family of compatible Poisson structures that arose in the study of cohomology of moduli spaces of curves.
  • First, we derive an explicit formula for the Poisson bracket of the classical finite W-algebra W^{fin}(g,f), the algebra of polynomial functions on the Slodowy slice associated to a simple Lie algebra g and its nilpotent element f. On the other hand, we produce an explicit set of generators and we derive an explicit formula for the Poisson vertex algebra structure of the classical affine W-algebra W(g,f). As an immediate consequence, we obtain a Poisson algebra isomorphism between W^{fin}(g,f) and the Zhu algebra of W(g,f). We also study the generalized Miura map for classical W-algebras.
  • We put the Adler-Gelfand-Dickey approach to classical W-algebras in the framework of Poisson vertex algebras. We show how to recover the bi-Poisson structure of the KP hierarchy, together with its generalizations and reduction to the N-th KdV hierarchy, using the formal distribution calculus and the lambda-bracket formalism. We apply the Lenard-Magri scheme to prove integrability of the corresponding hierarchies. We also give a simple proof of a theorem of Kupershmidt and Wilson in this framework. Based on this approach, we generalize all these results to the matrix case. In particular, we find (non-local) bi-Poisson structures of the matrix KP and the matrix N-th KdV hierarchies, and we prove integrability of the N-th matrix KdV hierarchy.
  • In our previous work we studied minimal fractional decompositions of a rational matrix pseudodifferential operator: H=A/B, where A and B are matrix differential operators, and B is non-degenerate of minimal possible degree deg(B). In the present paper we introduce the singular degree sdeg(H)=deg(B), and show that for an arbitrary rational expression H=sum_a (A^a_1)/(B^a_1)...(A^a_n)/(B^a_n), we have that sdeg(H) is less than or equal to sum_{a,i} deg(B^a_i). If the equality holds, we call such an expression minimal. We study the properties of the singular degree and of minimal rational expressions. These results are important for the computations involved in the Lenard-Magri scheme of integrability.
  • We provide a description of the Drinfeld-Sokolov Hamiltonian reduction for the construction of classical W-algebras within the framework of Poisson vertex algebras. In this context, the gauge group action on the phase space is translated in terms of (the exponential of) a Lie conformal algebra action on the space of functions. Following the ideas of Drinfeld and Sokolov, we then establish under certain sufficient conditions the applicability of the Lenard-Magri scheme of integrability and the existence of the corresponding integrable hierarchy of bi-Hamiltonian equations.
  • We develop a rigorous theory of non-local Poisson structures, built on the notion of a non-local Poisson vertex algebra. As an application, we find conditions that guarantee applicability of the Lenard-Magri scheme of integrability to a pair of compatible non-local Poisson structures. We apply this scheme to several such pairs, proving thereby integrability of various evolution equations, as well as hyperbolic equations.
  • This paper is meant to be a short review and summary of recent results on the structure of finite and affine classical W-algebras, and the application of the latter to the theory of generalized Drinfeld-Sokolov hierarchies.
  • We prove some algebraic results on the ring of matrix differential operators over a differential field in the generality of non-commutative principal ideal rings. These results are used in the theory of non-local Poisson structures.
  • We develop a new approach to the Lenard-Magri scheme of integrability of bi-Hamiltonian PDE's, when one of the Poisson structures is a strongly skew-adjoint differential operator.
  • It is well known that the validity of the so called Lenard-Magri scheme of integrability of a bi-Hamiltonian PDE can be established if one has some precise information on the corresponding 1st variational Poisson cohomology for one of the two Hamiltonian operators. In the first part of the paper we explain how to introduce various cohomology complexes, including Lie superalgebra and Poisson cohomology complexes, and basic and reduced Lie conformal algebra and Poisson vertex algebra cohomology complexes, by making use of the corresponding universal Lie superalebra or Lie conformal superalgebra. The most relevant are certain subcomplexes of the basic and reduced Poisson vertex algebra cohomology complexes, which we identify (non-canonically) with the generalized de Rham complex and the generalized variational complex. In the second part of the paper we compute the cohomology of the generalized de Rham complex, and, via a detailed study of the long exact sequence, we compute the cohomology of the generalized variational complex for any quasiconstant coefficient Hamiltonian operator with invertible leading coefficient. For the latter we use some differential linear algebra developed in the Appendix.
  • We develop further the Lenard-Magri scheme of integrability for a pair of compatible non-local Poisson structures, which we discussed in Part I. We apply this scheme to several such pairs, proving thereby integrability of various evolution equations, as well as hyperbolic equations. Some of these equations may be new.
  • We develop a rigorous theory of non-local Hamiltonian structures, built on the notion of a non-local Poisson vertex algebra. As an application, we find conditions that guarantee applicability of the Lenard-Magri scheme of integrability to a pair of compatible non-local Hamiltonian structures.
  • The skewfield K(d) of rational pseudodifferential operators over a differential field K is the skewfield of fractions of the algebra of differential operators K[d]. In our previous paper we showed that any H from K(d) has a minimal fractional decomposition H=AB^(-1), where A,B are elements of K[d], B is non-zero, and any common right divisor of A and B is a non-zero element of K. Moreover, any right fractional decomposition of H is obtained by multiplying A and B on the right by the same non-zero element of K[d]. In the present paper we study the ring M_n(K(d)) of nxn matrices over the skewfield K(d). We show that similarly, any H from M_n(K(d)) has a minimal fractional decomposition H=AB^(-1), where A,B are elements of M_n(K[d]), B is non-degenerate, and any common right divisor of A and B is an invertible element of the ring M_n(K[d]). Moreover, any right fractional decomposition of H is obtained by multiplying A and B on the right by the same non-degenerate element of M_n(K [d]). We give several equivalent definitions of the minimal fractional decomposition. These results are applied to the study of maximal isotropicity property, used in the theory of Dirac structures.
  • First, we study the subskewfield of rational pseudodifferential operators over a differential field K generated in the skewfield of pseudodifferential operators over K by the subalgebra of all differential operators. Second, we show that the Dieudonne' determinant of a matrix pseudodifferential operator with coefficients in a differential subring A of K lies in the integral closure of A in K, and we give an example of a 2x2 matrix differential operator with coefficients in A whose Dieudonne' determiant does not lie in A.
  • In our recent paper [DSK11] we computed the dimension of the variational Poisson cohomology for any quasiconstant coefficient matrix differential operator K of arbitrary order with invertible leading coefficient, provided that the algebra of differential functions is normal and is an algebra over a linearly closed differential field. In the present paper we show that, for K skewadjoint, this cohomology, viewed as a Z-graded Lie superalgebra, is isomorphic to the finite dimensional Lie superalgebra of Hamiltonian vector fields over a Grassman algebra. We also prove that the subalgebra of `essential' variational Poisson cohomology, consisting of classes vanishing on the Casimirs of K, is zero. This vanishing result has applications to the theory of bi-Hamiltonian structures and their deformations. At the end of the paper we consider also the translation invariant case.