
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 Walgebra 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. Noncommutative
Hamiltonian equations are discussed in this framework as well.

We prove that any classical affine Walgebra 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
Walgebras 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 biPoisson structure.

We study the quantum finite Walgebras 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
nonlocal) aimed at the study of noncommutative 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 noncommutative KP and GelfandDickey
hierarchies. We also construct the related noncommutative de Rham and
variational complexes.

Stationary nonequilibrium 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 spacetime 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 LenardMagri scheme for a
nonlocal biPoisson 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 biHamiltonian PDE's, obtained by Dirac reduction from some
generalized DrinfeldSokolov hierarchies.

We construct an analogue of Dirac's reduction for an arbitrary local or
nonlocal Poisson bracket in the general setup of nonlocal Poisson vertex
algebras. This leads to Dirac's reduction of an arbitrary nonlocal Poisson
structure. We apply this construction to an example of a generalized
DrinfeldSokolov hierarchy.

We derive explicit formulas for lambdabrackets of the affine classical
Walgebras attached to the minimal and short nilpotent elements of any simple
Lie algebra g. This is used to compute explicitly the first nontrivial PDE of
the corresponding intgerable generalized DrinfeldSokolov 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 2h3 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 DrinfeldSokolov hierarchy.

We continue the study of integrability of biHamiltonian systems with a
compatible pair of local Poisson structures (H_0,H_1), where H_0 is a strongly
skewadjoint 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 Walgebra 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 Walgebra 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 Walgebras.

We put the AdlerGelfandDickey approach to classical Walgebras in the
framework of Poisson vertex algebras. We show how to recover the biPoisson
structure of the KP hierarchy, together with its generalizations and reduction
to the Nth KdV hierarchy, using the formal distribution calculus and the
lambdabracket formalism. We apply the LenardMagri 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
(nonlocal) biPoisson structures of the matrix KP and the matrix Nth KdV
hierarchies, and we prove integrability of the Nth 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 nondegenerate 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
LenardMagri scheme of integrability.

We provide a description of the DrinfeldSokolov Hamiltonian reduction for
the construction of classical Walgebras 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
LenardMagri scheme of integrability and the existence of the corresponding
integrable hierarchy of biHamiltonian equations.

We develop a rigorous theory of nonlocal Poisson structures, built on the
notion of a nonlocal Poisson vertex algebra. As an application, we find
conditions that guarantee applicability of the LenardMagri scheme of
integrability to a pair of compatible nonlocal 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 Walgebras, and the application of the
latter to the theory of generalized DrinfeldSokolov hierarchies.

We prove some algebraic results on the ring of matrix differential operators
over a differential field in the generality of noncommutative principal ideal
rings. These results are used in the theory of nonlocal Poisson structures.

We develop a new approach to the LenardMagri scheme of integrability of
biHamiltonian PDE's, when one of the Poisson structures is a strongly
skewadjoint differential operator.

It is well known that the validity of the so called LenardMagri scheme of
integrability of a biHamiltonian 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 (noncanonically) 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 LenardMagri scheme of integrability for a pair of
compatible nonlocal 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 nonlocal Hamiltonian structures, built on
the notion of a nonlocal Poisson vertex algebra. As an application, we find
conditions that guarantee applicability of the LenardMagri scheme of
integrability to a pair of compatible nonlocal 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 nonzero, and any common right divisor of A and B is a nonzero
element of K. Moreover, any right fractional decomposition of H is obtained by
multiplying A and B on the right by the same nonzero 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
nondegenerate, 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 nondegenerate
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 Zgraded 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 biHamiltonian structures and their deformations. At the end of the
paper we consider also the translation invariant case.