Convenient partial Poisson manifolds (Q669592)

Finite-dimensional Poisson manifolds are a vital part of mathematical physics and in particular in relation with classical mechanics and quantisation. However, infinite-dimensional Poisson structures also appear in hydrodynamics, quantum mechanics, and in the theory of integrable systems. In the paper under review, the authors consider how to generalise Poisson geometry to the infinite-dimensional setting of convenient manifolds. The problem in the infinite-dimensional setting, in general, is the existence of a Hamiltonian vector field of a given function. Typically one has to restrict the class of functions under consideration to ensure that a Hamiltonian vector field always exists. The authors introduce the notion of convenient partial Poisson manifolds, i.e., Poisson structures on convenient manifolds. They do this by specifying a subbundle $T'M$ of the cotangent bundle $T^*M$ and understand a Poisson structure to be an antisymmetric morphism $P:T'M \rightarrow TM$ such that the bracket $\{f,g\}= -\langle df,P(dg) \rangle$ defines a Poisson bracket on the algebra of smooth functions $f$ whose differential $df$ induces a section of $T'M$. They show how a Hamiltonian vector field $P(df)$ can always be associated with such a function. Nice examples of convenient partial Poisson manifolds include finite-dimensional Poisson manifolds and Banach Poisson manifolds. The authors also discuss direct and projective limits of Banach Poisson manifolds and give some results on the existence of (weak) symplectic foliations naturally associated to some particular partial Poisson structures. The paper is relatively self-contained and contains appendices on the convenient setting, direct limits and projective limits.