We know well difference Picard-Vessiot theory, Galois theory of linear difference equations. We propose a general Galois theory of difference equations that generalizes Picard-Vessiot theory. For every difference field extension of characteristic $0$, we attach its Galois group, which is a group of coordinate transformation.

In the present paper we determine for each parallelizable smooth compact manifold $M$ the second cohomology spaces of the Lie algebra ${𝒱}_M$ of smooth vector fields on $M$ with values in the module $\overline{\Omega }{}_M^p={\Omega }_M^p/d{\Omega }_M^{p-1}$. The case of $p=1$ is of particular interest since the gauge algebra of functions on $M$ with values in a finite-dimensional simple Lie algebra has the universal central extension with center ${\overline{\Omega }}_M^1$, generalizing affine Kac-Moody algebras. The second cohomology $H^2({𝒱}_M,{\overline{\Omega }}_M^1)$ classifies twists of the semidirect product of ${𝒱}_M$ with the...

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...