We study the relationship between singularities of bi-Hamiltonian systems and algebraic properties of compatible Poisson brackets. As the main tool, we introduce the notion of linearization of a Poisson pencil. From the algebraic viewpoint, a linearized Poisson pencil can be understood as a Lie algebra with a fixed 2-cocycle. In terms of such linearizations, we give a criterion for non-degeneracy of singular points of bi-Hamiltonian systems and describe their types.

We give a classification of generic coadjoint orbits for the groups of symplectomorphisms and Hamiltonian diffeomorphisms of a closed symplectic surface. We also classify simple Morse functions on symplectic surfaces with respect to actions of those groups.This gives an answer to V.Arnold's problem on describing all invariants of generic isovorticed fields for the 2D ideal fluids. For this we introduce a notion of anti-derivatives on a measured Reeb graph and describe their properties.

The pentagram map was introduced by R. Schwartz in 1992 and is now one of the most renowned discrete integrable systems. In the present paper we show that this map, as well as all its known integrable multidimensional generalizations, can be seen as refactorization-type mappings in Poisson-Lie groups. This, in particular, provides invariant Poisson structures and a Lax form with spectral parameter for multidimensional pentagram maps.Furthermore, in an appendix, joint with B. Khesin, we introduce and prove integrability of longdiagonal pentagram maps, encompassing all known integrable cases, as well as describe their continuous limit as the Boussinesq hierarchy.

bstract Steady fluid flows have very special topology. In this paper we describe necessary and sufficient conditions on the vorticity function of a 2D ideal flow on a surface with or without boundary, for which there exists a steady flow among isovorticed fields. For this we introduce the notion of an antiderivative (or circulation function) on a measured graph, the Reeb graph associated to the vorticity function on the surface, while the criterion is related to the total negativity of this antiderivative. It turns out that given topology of the vorticity function, the set of coadjoint orbits of the symplectomorphism group admitting steady flows with this topology forms a convex polytope. As a byproduct of the proposed construction, we also describe a complete list of Casimirs for the 2D Euler hydrodynamics: we define generalized enstrophies which, along with circulations, form a complete set of invariants for coadjoint orbits of area-preserving diffeomorphisms on a surface.