Related papers: An exotic zoo of diffeomorphism groups on $\mathbb…

We prove in a uniform way that all Denjoy--Carleman differentiable function classes of Beurling type $C^{(M)}$ and of Roumieu type $C^{\{M\}}$, admit a convenient setting if the weight sequence $M=(M_k)$ is log-convex and of moderate…

For Denjoy--Carleman differential function classes $C^M$ where the weight sequence $M=(M_k)$ is logarithmically convex, stable under derivations, and non-quasianalytic of moderate growth, we prove the following: A mapping is $C^M$ if it…

For quasianalytic Denjoy--Carleman differentiable function classes $C^Q$ where the weight sequence $Q=(Q_k)$ is log-convex, stable under derivations, of moderate growth and also an $\mathcal L$-intersection (see 1.6), we prove the…

Let $E$ be a finite-dimensional real vector space and $M\subseteq E$ be a convex polytope with non-empty interior. We turn the group of all $C^\infty$-diffeomorphisms of $M$ into a regular Lie group.

We consider the groups $\operatorname{Diff}_{\mathcal B}(\mathbb R^n)$, $\operatorname{Diff}_{H^\infty}(\mathbb R^n)$, and $\operatorname{Diff}_{\mathcal S}(\mathbb R^n)$ of smooth diffeomorphisms on $\mathbb R^n$ which differ from the…

We prove the exponential law $\mathcal A(E \times F, G) \cong \mathcal A(E,\mathcal A(F,G))$ (bornological isomorphism) for the following classes $\mathcal A$ of test functions: $\mathcal B$ (globally bounded derivatives), $W^{\infty,p}$…

We study the set $\mathcal D^{n,\beta}(\mathbb R^d)$ of orientation preserving diffeomorphisms of $\mathbb R^d$ which differ from the identity by a H\"older $C^{n,\beta}_0$-mapping, where $n \in \mathbb N_{\ge 1}$ and $\beta \in (0,1]$. We…

Half Lie groups exist only in infinite dimensions: They are smooth manifolds and topological groups such that right translations are smooth, but left translations are merely required to be continuous. The main examples are groups of $H^s$…

Let $M$ and $N$ be smooth manifolds, with $M$ closed and connected. If the $C^r$--diffeomorphism group of $M$ is elementarily equivalent to the $C^s$--diffeomorphism group of $N$ for some $r,s\in[1,\infty)\cup\{0,\infty\}$, then $r=s$ and…

We construct explicitly a class of coboundary Poisson-Lie structures on the group of formal diffeomorphisms of ${\Bbb R}^n$. Equivalently, these give rise to a class of coboundary triangular Lie bialgebra structures on the Lie algebra $W_n$…

For two types of moderate growth representations of $(\mathbb{R}^d,+)$ on sequentially complete locally convex Hausdorff spaces (including F-representations [J. Funct. Anal. 262 (2012), 667-681], we introduce Denjoy-Carleman classes of…

Motivated by questions of deformations/moduli in foliation theory, we investigate the structure of some groups of diffeomorphisms preserving a foliation. We give an example of a $C^\infty$ foliation whose diffeomorphism group is not a Lie…

Let $M=I$ or $M=\mathbb{S}^1$ and let $k\geq 1$. We exhibit a new infinite class of Polish groups by showing that each group $\mathop{\rm Diff}_+^{k+AC}(M)$, consisting of those $C^k$ diffeomorphisms whose $k$-th derivative is absolutely…

Our goal is to find classes of convolution semigroups on Lie groups $G$ that give rise to interesting processes in symmetric spaces $G/K$. The $K$-bi-invariant convolution semigroups are a well-studied example. An appealing direction for…

For a compact $(2n+1)$-dimensional smooth manifold, let $\mu_M : B Diff_\partial (D^{2n+1}) \to B Diff (M)$ be the map that is defined by extending diffeomorphisms on an embedded disc by the identity. By a classical result of Farrell and…

The question studied here is the behavior of the Poisson bracket under C^0-perturbations. In this purpose, we introduce the notion of pseudo-representation and prove that for a normed Lie algebra, it converges to a representation. An…

Diffeomorphism groups $G$ of manifolds $M$ on locally $\bf F$-convex spaces over non-Archimedean fields $\bf F$ are investigated. It is shown that their structure has many differences with the diffeomorphism groups of real and complex…

Let $\mathcal C^M$ denote a Denjoy-Carleman class of $\mathcal C^\infty$ functions (for a given logarithmically-convex sequence $M = (M_n)$). We construct: (1) a function in $\mathcal C^M((-1,1))$ which is nowhere in any smaller class; (2)…

In this paper, we define locally convex vector spaces of weighted vector fields and use them as model spaces for Lie groups of weighted diffeomorphisms on Riemannian manifolds. We prove an easy condition on the weights that ensures that…

We study completeness properties of the Sobolev diffeomorphism groups $\mathcal D^s(M)$ endowed with strong right-invariant Riemannian metrics when the underlying manifold $M$ is $\mathbb R^d$ or compact without boundary. The main result is…