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(,

Regularity and completeness of half-Lie groups

Manifolds of absolutely continuous functions with values in an infinite-dimensional manifold and regularity properties of half-Lie groups

Covariant projective representations of Hilbert-Lie groups

Lie groups with all left-invariant semi-Riemannian metrics complete

L^1-regularity of strong ILB-Lie groups

Regularity of K-finite matrix coefficients of semisimple Lie groups

Left Invariant Ricci Flat Metrics on Lie Groups

The Lie Group Structure of Diffeomorphism Groups and Invertible Fourier Integral Operators with Applications

Sublinear Bilipschitz Equivalence and the Quasiisometric Classification of Solvable Lie Groups

Cohomology groups with compact support for flat line bundles on certain complex Lie groups

The differentiable structure of three remarkable diffeomorphism groups

On weakly Einstein Lie groups

Einstein Lie groups, geodesic orbit manifolds and regular Lie subgroups

The $L_p$-dual space of a semisimple Lie group

Metric Lie groups admitting dilations

Conformal vector fields on Lie groups: The trans-Lorentzian signature

Geodesics, curvature, and conjugate points on Lie groups

Limits of almost homogeneous spaces and their fundamental groups

On Lie Groups with Conformal Vector Fields Induced by Derivations

Discrete subgroups of semisimple Lie groups, beyond lattices

Abstract Group Automorphisms of Two-Step Nilpotent Lie Groups and Partial Automatic Continuity