On a diffeological group realization of certain generalized symmetrizable Kac-Moody Lie algebras.
Let be a connected and simply connected Banach–Lie group. On the complex enveloping algebra of its Lie algebra we define the concept of an analytic functional and show that every positive analytic functional is integrable in the sense that it is of the form for an analytic vector of a unitary representation of . On the way to this result we derive criteria for the integrability of -representations of infinite dimensional Lie algebras of unbounded operators to unitary group representations.For...
Elements of the general theory of Lie-Cartan pseudogroups (including the intransitive case) are developed within the framework of infinitely prolonged systems of partial differential equations (diffieties) which makes it independent of any particular realizations by transformations of geometric object. Three axiomatic approaches, the concepts of essential invariant, subgroup, normal subgroup and factorgroups are discussed. The existence of a very special canonical composition series based on Cauchy...
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...