On groups of smooth maps into a simple compact Lie group.
Under some regularity conditions one proves that quotients and kernels of infinitesimal analytic Lie pseudo-groups by invariant fiberings are again infinitesimal Lie pseudo-groups. The regularity conditions are shown to be necessary and sufficient if one wishes both quotient and kernel to be infinitesimal Lie pseudo-groups. One defines and proves the existence of the quotient of an infinitesimal Lie pseudo-group by a normal sub-pseudo group. An equivalence relation for germs of infinitesimal Lie...
The Banach-Lie algebras ℌκ of all holomorphic infinitesimal isometries of the classical symmetric complex Banach manifolds of compact type (κ = 1) and non compact type (κ = −1) associated with a complex JB*-triple Z are considered and the Lie ideal structure of ℌκ is studied.
We study some embeddings of suitably topologized spaces of vector-valued smooth functions on topological groups, where smoothness is defined via differentiability along continuous one-parameter subgroups. As an application, we investigate the canonical correspondences between the universal enveloping algebra, the invariant local operators, and the convolution algebra of distributions supported at the unit element of any finite-dimensional Lie group, when one passes from finite-dimensional Lie groups...
An algebraic scheme for Lie theory of topological groups with "large" families of one-parameter subgroups is proposed. Such groups are quotients of "𝔼ℝ-groups", i.e. topological groups equipped additionally with the continuous exterior binary operation of multiplication by real numbers, and generated by special ("exponential") elements. It is proved that under natural conditions on the topology of an 𝔼ℝ-group its group multiplication is described by the B-C-H formula in terms of the associated...