Related papers: On exponentials of exponential generating series

We establish a correspondence between automorphisms and derivations on certain algebras of generalised power series. In particular, we describe a Lie algebra of derivations on a field $k(\!(G)\!)$ of generalised power series, exploiting our…

We present a general method to obtain a closed, finite formula for the exponential map from the Lie algebra to the Lie group, for the defining representation of the orthogonal groups. Our method is based on the Hamilton-Cayley theorem and…

Let $H$ be a linear algebraic group over an algebraically closed field of characteristic $p>0$. We prove that any "exponential map" for $H$ induces a bijection between the variety of $r$-tuples of commuting $[p]$-nilpotent elements in…

Let $k$ be an algebraically closed field of positive characteristic $p$ and let $\mathbb{G}_a$ denote the additive group of $k$. Let $n \geq 1$ and let ${\rm Mat}(n, k[T])^E$ denote the set of all exponential matrices of ${\rm Mat}(n,…

We prove that for no nontrivial ordered abelian group G, the ordered power series field R((G)) admits an exponential, i.e. an isomorphism between its ordered additive group and its ordered multiplicative group of positive elements, but that…

Let $G$ be a simple and simply connected algebraic group over an algebraically closed field $\Bbbk$ of characteristic $p>0$. Assume that $p$ is good for the root system of $G$ and that the covering map $G_{sc} \rightarrow G$ is separable.…

A finite expansion of the exponential map for a $N\times N$ matrix is presented. The method uses the Cayley-Hamilton theorem for writing the higher matrix powers in terms of the first N-1 ones. The resulting sums over the corresponding…

We give an analogue of the classical exponential map on Lie groups for Hopf $*$-algebras with differential calculus. The major difference with the classical case is the interpretation of the value of the exponential map, classically an…

Some polynomials $P$ with rational coefficients give rise to well defined maps between cyclic groups, $\Z_q\longrightarrow\Z_r$, $x+q\Z\longmapsto P(x)+r\Z$. More generally, there are polynomials in several variables with tuples of rational…

We show that the points that converge to infinity under iteration of the exponential map form a connected subset of the complex plane.

We define formal exponential maps for any graded manifold as maps from the formal tangent bundle (that we also define) into the graded manifold. We show that each such map uniquely determines and is determined by its associated Grothendieck…

The concern of this paper is a famous combinatorial formula known under the name "exponential formula". It occurs quite naturally in many contexts (physics, mathematics, computer science). Roughly speaking, it expresses that the exponential…

We study the interpolation group whose elements are suitable pairs of formal power series. This group has a faithful representation into infinite lower triangular matrices and carries thus a natural structure as a Lie group. The matrix…

Let $(M, \omega, J)$ be a K\"ahler manifold and K its group of hamiltonian symplectomorphisms. The complexification of K introduced by Donadson is not a group, only a "formal Lie group". However it still makes sense to talk about the…

If A is a finite dimensional nilpotent associative algebra over a finite field k, the set G=1+A of all formal expressions of the form 1+a, where a is an element of A, has a natural group structure, given by (1+a)(1+b)=1+(a+b+ab). A finite…

Exponential family plays an important role in information geometry. In arXiv:1811.01394, we introduced a method to construct an exponential family $\mathcal{P}=\{p_\theta\}_{\theta\in\Theta}$ on a homogeneous space $G/H$ from a pair…

Let $F=(F_1, F_2, ... F_n)$ be an $n$-tuple of formal power series in $n$ variables of the form $F(z)=z+ O(|z|^2)$. It is known that there exists a unique formal differential operator $A=\sum_{i=1}^n a_i(z)\frac {\p}{\p z_i}$ such that…

We develop an abstract model for the dynamics of an exponential map $z\mapsto \exp(z)+\kappa$ on its set of escaping points and, as an analog of Boettcher's theorem for polynomials, show that every exponential map is conjugate, on a…

We prove general mixing theorems for sequences of meromorphic maps on compact K\"ahler manifolds. We deduce that the bifurcation measure is exponentially mixing for a family of rational maps of $\mathbb{P}^q(\mathbb{C})$ endowed with…

We give a suitable definition of the concept of rational complex and prove that every rational exponential group is the fundamental group of some such a complex. In this framework, we prove that the variety of rational exponential groups is…