Related papers: Regularity of Lie Groups

We prove that the continuous group cohomology groups of a locally profinite group $ G $ with coefficients in a smooth $ k $-representation $ \pi $ of $ G $ are isomorphic to the $ \mathrm{Ext}$-groups $ \mathrm{Ext}^i_G(\mathbb{1},\pi) $…

For a compact smooth manifold $M$ (with boundary) we prove that the topological rank of the diffeomorphism group Diff$_0^k(M)$ is finite for all $k\geq 1$. This extends a result from [2] where the same claim is proved in the special case of…

Let $M$ be the circle or a compact interval, and let $\alpha=k+\tau\ge1$ be a real number such that $k=\lfloor \alpha\rfloor$. We write $\mathrm{Diff}_+^{\alpha}(M)$ for the group of $C^k$ diffeomorphisms of $M$ whose $k^{th}$ derivatives…

We endow the diffeomorphism group of a paracompact (reduced) orbifold with the structure of an infinite dimensional Lie group modelled on the space of compactly supported sections of the tangent orbibundle. For a second countable orbifold,…

We consider the regularity of measurable solutions $\chi$ to the cohomological equation \[ \phi = \chi \circ T -\chi, \] where $(T,X,\mu)$ is a dynamical system and $\phi \colon X\rightarrow \R$ is a $C^k$ valued cocycle in the setting in…

Let $G$ be a real reductive connected Lie group and $\sigma$ an involution of $G$. Let $H$ denote the identity component of the group of fixed points of $\sigma$, $\mathfrak g$ the Lie algebra of $G$ and $\mathfrak q$ the -1 eigenspace of…

The local topological dynamics of subgroups of ${\rm Diff} ({\mathbb C^n}, 0)$, with special emphasis on ${\rm Diff} ({\mathbb C^2}, 0)$, is discussed with a view towards integrability questions. It is proved in particular that a subgroup…

A Carnot group G is a connected, simply connected, nilpotent Lie group with stratified Lie algebra. Intrinsic regular surfaces in Carnot groups play the same role as C^1 surfaces in Euclidean spaces. As in Euclidean spaces, intrinsic…

We prove that there is $x_{\phi}\in X$ for which (*)$\frac{d u(t)}{dt}= A u(t) + \phi (t) $, $u(0)=x$ has on $\r$ a mild solution $u\in C_{ub} (\r,X)$ (that is bounded and uniformly continuous) with $u(0)=x_{\phi}$, where $A$ is the…

We introduce a unified geometric framework for domains satisfying a geometric normal property (C-GNP) relative to a strictly convex set \(C\). Under the fundamental assumption that the source \(f\) is supported within the core \(C\), we…

Let $\rho: G \to \operatorname{GL}(V)$ be a rational representation of a reductive linear algebraic group $G$ defined over $\mathbb C$ on a finite dimensional complex vector space $V$. We show that, for any generic smooth (resp. $C^M$)…

The involution fixity ${\rm ifix}(G)$ of a permutation group $G$ of degree $n$ is the maximum number of fixed points of an involution. In this paper we study the involution fixity of primitive almost simple exceptional groups of Lie type.…

We prove the following regularity result: If M and M' are smooth generic submanifolds of C^N and C^N' respectively, where N and N' are not necessarily equal, and if M is minimal, then every C^k-CR-map from M into M^\prime which is…

Let $G/K$ be a Riemannian symmetric space of noncompact type, and let $\nu_{a_j}$, $j=1,...,r$ be some orbital measures on $G$ (see the definition below). The aim of this paper is to study the $L^{2}$-regularity (resp. $C^k$-smoothness) of…

Let $f\colon Y \to X$ be a proper flat morphism of locally noetherian schemes. Then, the locus in $X$ over which $f$ is smooth is stable under generization. We prove that under suitable assumptions on the formal fibers of $X$, the same…

Let $G$ be a locally convex Lie group and $\pi:G \to \mathrm{U}(\mathcal{H})$ be a continuous unitary representation. $\pi$ is called smooth if the space of $\pi$-smooth vectors $\mathcal{H}^\infty\subset \mathcal{H}$ is dense. In this…

We prove a formula for the normal injectivity radius(thickness)i(K,M)for C^{1,1} compact submanifolds K^k of complete Riemannian manifolds M^n in terms of geometric focal distance and double critical points. We also prove the C^1…

We construct an infinite dimensional real analytic manifold structure for the space of real analytic mappings from a compact manifold to a locally convex manifold. Here a map is real analytic if it extends to a holomorphic map on some…

We prove that for every smooth compact manifold $M$ and any $r \ge 1$, whenever there is an open domain in $\mathrm{Diff}^r(M)$ exhibiting a persistent homoclinic tangency related to a basic set with a sectionally dissipative periodic…

Consider transportation of one distribution of mass onto another, chosen to optimize the total expected cost, where cost per unit mass transported from x to y is given by a smooth function c(x,y). If the source density f^+(x) is bounded…