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

Directions of automorphisms of Lie groups over local fields compared to the directions of Lie algebra automorphisms

Algebraically generated groups and their Lie algebras

On Lie Groups with Conformal Vector Fields Induced by Derivations

Realizing Lie groups as automorphism groups of bounded domains

Liftable automorphisms of right-angled Artin groups

On the automorphism groups of algebraic bounded domains

Low rank groups of Lie type acting point and line-primitively on finite generalised quadrangles

A Lie group structure on the group of real analytic diffeomorphisms of a compact real analytic manifold with corners

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

Non-measurable automorphisms of Lie groups relative to the real- and non-archimedean-valued measures

The canonical geometry of a Lie group

Characterisation of distal actions of automorphisms on the space of one-parameter subgroups of Lie groups

Einstein Lie groups, geodesic orbit manifolds and regular Lie subgroups

On the Information Engine of Circuit Design

COMPACT LIE GROUP ACTIONS ON CLOSED MANIFOLDS OF NON-POSITIVE CURVATURE

Geodesics, curvature, and conjugate points on Lie groups

The Lie algebra of the group of bisections

Automorphisms and forms of lie algebras of cartan type

Differential geometry of group lattices

The differentiable structure of three remarkable diffeomorphism groups

Proper group actions in complex geometry