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

Classification of differentiable structures on the non-Hausdorff line with two origins

Rigidity of Differentiable Structure for New Class of Line Arrangements

On non-elliptic symplectic manifolds

Classifying bi-invariant 2-forms on infinite-dimensional Lie groups

The differentiable structure of three remarkable diffeomorphism groups

Smooth Structures on $M^n\times\mathbb{S}^k$

Partial AHS-Structures, their Cartan description and partial BGG sequences

An $A_\infty$-structure for lines in a plane

Local models for smooth vector fields of the line

Differential Cohomology as Diffeological Homotopy Theory

Differential Structure of the Hyperbolic Clifford Algebra

Symmetries of $(2,3,5)$-distributions and associated Legendrian cone structures

On the intertwining differential operators from a line bundle to a vector bundle over the real projective space

On the Holonomic Rank Problem

Cohomology and K-theory of generalized Dold manifolds fibred by complex flag manifolds

Second order structures for sprays and connections on Frechet manifolds

The existence and singularity structure of low regularity solutions of higher-order degenerate hyperbolic equations

Toward the classification of differential calculi on $κ$-Minkowski space and related field theories

Homogeneous Structures on $\mathbb{S}^2\times\mathbb{R}$ and $\mathbb{H}^2\times\mathbb{R}$

Differentiability, Convenient Spaces and Smooth Diffeologies

Classification of Axiom A Diffeomorphisms with Orientable Codimension One Expanding Attractors and Contracting Repellers