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

Second-order infinitesimal groups and affine connections

Restricted simple Lie algebras and their infinitesimal deformations

Introduction to Lorentzian and Flat Affine Geometry of $\mathsf{GL}(2,\mathbb{R})$

Connections and Finsler geometry of the structure group of a JB-algebra

Infinitesimally Equivariant Bundles on Complex Manifolds

Semialgebraic groups and generalized affine buildings

Note on the group of vertical diffeomorphisms of a principal bundle, and its relation to the Frölicher-Nijenhuis bracket

Infinitesimal bialgebras, pre-Lie and dendriform algebras

Infinitesimal braidings and pre-Cartier bialgebras

Infinitesimal commutative unipotent group schemes with one-dimensional Lie algebra

Infinitesimal (BiHom-)bialgebras of any weight (I): Basic definitions and properties

Second order Einstein deformations

Second order structures for sprays and connections on Frechet manifolds

The Lie algebra of the group of bisections

Invariant Geometric Structures on Almost Abelian Lie Groups

Deformations and abelian extensions on anti-pre-Lie algebras

Riemannian Geometry to Higher Order in the Infinitesimals

Multiplicative connections and their Lie theory

Drinfeld second realization of the quantum affine superalgebras of $D^{(1)}(2,1;x)$ via the Weyl groupoid

An infinite-rank Lie algebra associated to SL$(2,\mathbb R)$ and SL$(2,\mathbb R)/U(1)$

The differentiable structure of three remarkable diffeomorphism groups