Related papers: Measurable regularity properties of infinite-dimen…

We generalize the classical construction principles of infinite-dimensional real (and complex) Lie groups to the case of Lie groups over non-discrete topological fields. In particular, we discuss linear Lie groups, mapping groups, test…

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 $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…

Regular Lie groups are infinite dimensional Lie groups with the property that smooth curves in the Lie algebra integrate to smooth curves in the group in a smooth way (an `evolution operator' exists). Up to now all known smooth Lie groups…

Let g be a Banach Lie algebra and \tau : g ---> g an involution. Write g=h+q for the eigenspace decomposition of g with respect to \tau and g^c := h+iq for the dual Lie algebra. In this article we show the integrability of two types of…

It is a basic fact in infinite-dimensional Lie theory that the unit group G(A) of a continuous inverse algebra A is a Lie group. We describe criteria ensuring that the Lie group G(A) is regular in Milnor's sense. Notably, G(A) is regular if…

We give conditions on a diffeological group $G$ and a normal subgroup $H$ under which the quotient group $G/H$ differentiates to a Lie algebra for which $\operatorname{Lie}(G/H) \cong \operatorname{Lie}(G)/\operatorname{Lie}(H)$. Our Lie…

Let $G$ be a finite group of Lie type defined in characteristic $p$, and let $k$ be an algebraically closed field of characteristic $r>0$. We will assume that $r \neq p$ (so, we are in the non-defining characteristic case). Let $V$ be a…

If $G$ is a compact Lie group endowed with a left invariant metric $g$, then $G$ acts via pullback by isometries on each eigenspace of the associated Laplace operator $\Delta_g$. We establish algebraic criteria for the existence of left…

We study the relation between two special classes of Riemannian Lie groups $G$ with a left-invariant metric $g$: The Einstein Lie groups, defined by the condition $\operatorname{Ric}_g=cg$, and the geodesic orbit Lie groups, defined by the…

We solve the differentiability problem for the evolution map in Milnor's infinite dimensional setting. We first show that the evolution map of each $C^k$-semiregular Lie group $G$ (for $k\in \mathbb{N}\sqcup\{\mathrm{lip},\infty\}$) admits…

This paper contributes to the generalization of Rademacher's differentiability result for Lipschitz functions when the domain is infinite dimensional and has nonabelian group structure. We introduce the notion of metric scalable groups…

A super Lie group is a group whose operations are $G^{\infty}$ mappings in the sense of Rogers. Thus the underlying supermanifold possesses an atlas whose transition functions are $G^{\infty}$ functions. Moreover the images of our charts…

We prove a structure theorem for stable functions on amenable groups, which extends the arithmetic regularity lemma for stable subsets of finite groups. Given a group $G$, a function $f\colon G\to [-1,1]$ is called stable if the binary…

We consider the action of a real linear algebraic group $G$ on a smooth, real affine algebraic variety $M\subset \R^n$, and study the corresponding left regular $G$-representation on the Banach space $C_0(M)$ of continuous, complex valued…

We call a unital locally convex algebra $A$ a continuous inverse algebra if its unit group $A^\times$ is open and inversion is a continuous map. For any smooth action of a, possibly infinite-dimensional, connected Lie group $G$ on a…

We investigate structural and rigidity properties of \emph{Lie skew braces} (LSBs), objects essentially known in the literature as \emph{post--Lie groups}, obtained by endowing a manifold with two compatible group laws that share the same…

The Trouv\'e group $\mathcal G_{\mathcal A}$ from image analysis consists of the flows at a fixed time of all time-dependent vectors fields of a given regularity $\mathcal A(\mathbb R^d,\mathbb R^d)$. For a multitude of regularity classes…

We study Lie group structures on groups of the form C^\infty(M,K)}, where M is a non-compact smooth manifold and K is a, possibly infinite-dimensional, Lie group. First we prove that there is at most one Lie group structure with Lie algebra…

Let $X$ be a smooth compact connected manifold. Let $G=\mbox{Diff}\, X$ be the group of diffeomorphisms of $X$, equipped with the $C^\infty$-topology, and let $H$ be the stabilizer of some point in $X$. Then the inclusion $H\to G$, which is…