Related papers: The Regularity Problem for Lie Groups with Asympto…
We solve the regularity problem for Milnor's infinite dimensional Lie groups in the $C^0$-topological context, and provide necessary and sufficient regularity conditions for the (standard) $C^k$-topological setting. We prove that the…
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…
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…
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 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 investigate the Lax equation in the context of infinite-dimensional Lie algebras. Explicit solutions are discussed in the sequentially complete asymptotic estimate context, and an integral expansion (sums of iterated Riemann integrals…
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…
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 work we establish local $C^{2,\alpha}$ regularity estimates for flat solutions to non-convex fully nonlinear elliptic equations provided the coefficients and the source function are of class $C^{0,\alpha}$. For problems with merely…
Let G be a regular Lie group which is a directed union of regular Lie groups G_i (all modelled on possibly infinite-dimensional, locally convex spaces). We show that G is the direct limit of the G_i as a regular Lie group whenever G admits…
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…
We consider the problem of computation and deformation of group orbits of solutions of the complex Ginzburg-Landau equation (CGLE) with cubic nonlinearity in $1\!+\!1$ space-time dimension invariant under the action of the three-dimensional…
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…
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…
A locally compact group $G$ is said to be $\ast$-regular if the natural map $\Psi:\Prim C^\ast(G)\to\Prim_{\ast} L^1(G)$ is a homeomorphism with respect to the Jacobson topologies on the primitive ideal spaces $\Prim C^\ast(G)$ and…
We give an 'arithmetic regularity lemma' for groups definable in finite fields, analogous to Tao's 'algebraic regularity lemma' for graphs definable in finite fields. More specifically, we show that, for any $M>0$, any finite field…
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,…
The paper presents the complete classification of Automorphic Lie Algebras based on $\mathfrak{sl}_n (\mathbb{C})$, where the symmetry group $G$ is finite and the orbit is any of the exceptional $G$-orbits in $\overline{\mathbb{C}}$. A key…
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].…
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…