Calculus of flows on convenient manifolds.
The study of diffeomorphism group actions requires methods of infinite dimensional analysis. Really convenient tools can be found in the Frölicher - Kriegl - Michor differentiation theory and its geometrical aspects. In terms of it we develop the calculus of various types of one parameter diffeomorphism groups in infinite dimensional spaces with smooth structure. Some spectral properties of the derivative of exponential mapping for manifolds are given.
The main result of the present paper is an exact sequence which describes the group of central extensions of a connected infinite-dimensional Lie group by an abelian group whose identity component is a quotient of a vector space by a discrete subgroup. A major point of this result is that it is not restricted to smoothly paracompact groups and hence applies in particular to all Banach- and Fréchet-Lie groups. The exact sequence encodes in particular precise obstructions for a given Lie algebra...