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

Diffeomorphism groups of prime 3-manifolds

Homomorphisms to 3-manifold groups

Homeomorphism and diffeomorphism groups of non-compact manifolds with the Whitney topology

Finite-volume hyperbolic 3-manifolds are almost determined by their finite quotient groups

The differentiable structure of three remarkable diffeomorphism groups

Profinite almost rigidity in 3-manifolds

Convex co-compact representations of 3-manifold groups

On the automorphism groups of hyperbolic manifolds

Geometry of K-trivial Moishezon manifolds: decomposition theorem and holomorphic geometric structures

Convex co‐compact representations of 3‐manifold groups

Geometry of $K$-trivial Moishezon manifolds : decomposition theorem and holomorphic geometric structures

Combed Trisection Diagrams and Non-Semisimple 4-Manifold Invariants

Covering Invariants and Cohopficity of 3-Manifold Groups

Finite quotients of 3-manifold groups

Residual finiteness of some automorphism groups of high dimensional manifolds

On the cyclic 3-manifold covers of the type surface x R

On some topological equivalences for moduli spaces of $G$-bundles

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

The structure of 3-manifolds with 2-generated fundamental group

Distinguishing 4-Dimensional Geometries Via Profinite Completions

Moduli spaces of 3-manifolds with boundary are finite