Abstract:The goal of this paper is to find the for three well-known Lie algebras: the globally Hamiltonian vector fields, the infinitesimal quantomorphisms and the homogeneous real-valued functions of degree one on the cotangent bundle minus the zero section. In all our considerations the underlying manifold is assumed to be compact without boundary. Before explaining and motivating our results, a very brief review of the group structure of diffeomorphism groups is in order ([9, 10, 18]). If M, N are compact, boundaryless, finite-dimensional manifolds, rN: TN--,N, the tangent bundle of N, an HS-map, s>(dimM)/2, from M to N has by definition all derivatives of order (dim M)/2. Then the space IP(M, N) of all such maps is a Hilbert manifold whose tangent space at every point is the Hilbert space T I. H~(M, N) = {gelid(M, TN) I ~:N ~ g =f} If E---, M is a vector bundle, the same construction works for all HS-sections HS(E) of E, s > (dim M)/2. If N = IR, HS(M, N) will be denoted by C~(M, IR). Let ~ + I ( M ) denote the diffeomorphisms of M of Sobolev class H s+l, i.e. r t ~ + l ( M ) if and only if t/ is bijective and t/, t ] l : M---,M are of class H ~+1. ~s+l(M) is a topological group, and since it is open in Hs+I(M,M), it is also a Hilbert manifold. Right multiplication R~: @~+ ~(M) ~ + I(M), R,(~) = ~ o t/ is C ~ for each t / ~ Y +~(M) and if t/E@ s+k+l(M), left multiplication L , : ~ + t ( M ) ~ + I ( M ) , L~(~)=t/o~ is C k. The inversion map t/~--~t/-1 in ~ + t(M) is only continuous. The tangent maps of R, and L, at e, the identity of ~ + a ( M ) , are given by Tr TeL,(X)=T~oX, where X~Yys+I(M) =HS+I(TM), the set of all H~+l-vector fields on M. The tangent space at e, Tr coincides with Y'~+~(M), which is a Sobolev space. The bracket [X, Y] of X, y ~ f s + I(M ) is however only of class H ~ (one derivative is lost). The usual bracket of vector fields is the Lie algebra bracket of 5F ~+ X(M), i.e. if J(,

Isometric Lie 2-group actions on Riemannian groupoids

The Lie algebra of the group of bisections

Geometric Quantization for Proper Actions

Einstein Lie groups, geodesic orbit manifolds and regular Lie subgroups

Two types of Lie Groups as 4-dimensional Riemannian manifolds with circulant structure

Left Invariant Ricci Flat Metrics on Lie Groups

On the limit of simply connected manifolds with discrete isometric cocompact group actions

Isometries of Almost-Riemannian structures on nonnilpotent, solvable 3D Lie groups

Equivariant Morse theory for Lie algebra actions on Riemannian foliations

Equivariant Ricci flow with surgery and applications to finite group actions on geometric 3-manifolds

The differentiable structure of three remarkable diffeomorphism groups

Group actions on 2-categories

Conformal actions of solvable Lie groups on closed Lorentzian manifolds

Notes in the isometric deformations problem in codimension 2

Lie groupoid Riemann-Roch-Hirzebruch theorem and applications

A Spectral Sequence for Locally Free Isometric Lie Group Actions

Existence of isometric immersions into nilpotent Lie groups

Classical Invariants for Global Actions and Groupoid Atlases

Geometric models for Lie--Hamilton systems on $\mathbb{R}^2$

A differentiable monoid of smooth maps on Lie groupoids

On Lie Groups with Conformal Vector Fields Induced by Derivations