Related papers: Regularity of Lie Groups

We solve the regularity problem for Milnor's infinite dimensional Lie groups in the asymptotic estimate context. Specifically, let $G$ be a Lie group with asymptotic estimate Lie algebra $\mathfrak{g}$, and denote its evolution map by…

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…

Let G be a Lie group modelled on a locally convex space, with Lie algebra g, and k be a non-negative integer or infinity. We say that G is C^k-semiregular if each C^k-curve c in g admits a left evolution Evol(c) in G. If, moreover, the map…

Let $M$ be a compact, real analytic manifold and $G$ be the Lie group of all real-analytic diffeomorphisms of $M$, which is modelled on the space ${\mathfrak g}$ of real-analytic vector fields on $M$. We study flows of time-dependent…

For a compact convex subset K with non-empty interior in a finite-dimensional vector space, let G be the group of all smooth diffeomorphisms of K which fix the boundary of K pointwise. We show that G is a C^0-regular infinite-dimensional…

For $p\in [1,\infty]$, we define a smooth manifold structure on the set $AC_{L^p}([a,b],N)$ of absolutely continuous functions $\gamma\colon [a,b]\to N$ with $L^p$-derivatives for all real numbers $a<b$ and each smooth manifold $N$ modeled…

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…

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…

If G is a Lie group, let D(G) be the space of compactly supported smooth functions on G. Consider the bilinear map B : D(G) x D(G) -> D(G), (f,g) |-> f*g which takes a pair of test functions to their convolution. We show that B is…

In this survey, we report on the state of the art of some of the fundamental problems in the Lie theory of Lie groups modeled on locally convex spaces, such as integrability of Lie algebras, integrability of Lie subalgebras to Lie…

We consider differential equations of the form y'(t)=f(t,y(t)) on a (possibly infinite-dimensional) Lie group G, for f : [0,1] x G -> TG a time-dependent left invariant vector field with measurable (but not necessarily continuous)…

We show how Lasry-Lions's result on regularization of functions defined on $\mathbb{R}^n$ or on Hilbert spaces by sup-inf convolutions with squares of distances can be extended to (finite or infinite dimensional) Riemannian manifolds $M$ of…

We show that an infinite dimensional Lie group in Milnor's sense has the strong Trotter property if it is locally $\mu$-convex. This is a continuity condition imposed on the Lie group multiplication that generalizes the triangle inequality…

We show that a continuous local semiflow of $C^k$-maps on a finite-dimensional $C^k$-manifold M can be embedded into a local $C^k$-flow on M under some weak (necessary) assumptions. This result is applied to an open problem in [fil/tei:01].…

If G is a Lie group modeled on a Fr\'echet space, let e be its neutral element and g be its Lie algebra. We show that every strong ILB-Lie group G is L^1-regular in the sense that each f in L^1([0,1],g) is the right logarithmic derivative…

Let $\mathbb{G}$ be any Carnot group. We prove that if a convolution type singular integral associated with a $1$-dimensional Calder\'on-Zygmund kernel is $L^2$-bounded on horizontal lines, with uniform bounds, then it is bounded in $L^p, p…

Suppose that a finite group $G$ admits an automorphism $\varphi $ of order $2^n$ such that the fixed-point subgroup $C_G(\varphi ^{2^{n-1}})$ of the involution $\varphi ^{2^{n-1}}$ is nilpotent of class $c$. Let $m=|C_G(\varphi)|$ be the…

A topological group $(G,\mu)$ from a class $\mathcal G$ of MAP topological abelian groups will be called a {\it Mackey group} in $\mathcal G$ if it has the following property: if $\nu$ is a group topology in $G$ such that $(G,\nu)\in…

If $K$ is a field with involution and $E$ an arbitrary graph, the involution from $K$ naturally induces an involution of the Leavitt path algebra $L_K(E).$ We show that the involution on $L_K(E)$ is proper if the involution on $K$ is…

Let M be a real analytic manifold modeled on a locally convex space and K be a non-empty compact subset of M. We show that if an open neighborhood of K in M admits a complexification which is a regular topological space, then the germ of…