arXiv research

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 are regular. We show in this paper that regular Lie groups allow to push surprisi…

In this note we construct an infinite-dimensional Lie group structure on the group of vertical bisections of a regular Lie groupoid. We then identify the Lie algebra of this group and discuss regularity properties (in the sense of Milnor) for these Lie groups. If the groupoid is locally trivial, i.e. a gauge groupoid, …

Diffeomorphisms of convex polytopes form a Lie group.

It is shown that every abelian regular Lie group is a quotient of its Lie algebra via the exponential mapping.

In this paper, we introduce the notion of a (regular) Hom-Lie group. We associate a Hom-Lie algebra to a Hom-Lie group and show that every regular Hom-Lie algebra is integrable. Then, we define a Hom-exponential (Hexp) map from the Hom-Lie algebra of a Hom-Lie group to the Hom-Lie group and discuss the universality of …

Study Einstein Lie groups and geodesic orbit manifolds, finding some are not geodesic orbit.

Study the Lax equation in infinite-dimensional Lie algebras and Lie groups.

We describe a class (called regular) of invariant generalized complex structures on a real semisimple Lie group G. The problem reduces to the description of admissible pairs (\gk, ω), where \gk is an appropriate regular subalgebra of the complex Lie algebra \gg^{C} associated to G and ωis a closed 2-form on \gk, such t…

The paper extends Cartan development to infinite dimensional Lie groups.

Characterizes metrics on Lie groups, proving non-simultaneous existence of balanced and pluriclosed metrics.

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 the latter (as a complex manifold) is uniquely determined. If M is regular and the…

Researchers compute determinants and torsions of Rumin complex in specific Lie group representations.

Study on $p$-Kähler structures on fibrations and Lie groups.

Introduces Lie group actions in smoothing processes for currents and spaces with curvature.

New Lie groups found for Poisson diffeomorphisms.

In this article we endow the group of bisections of a Lie groupoid with compact base with a natural locally convex Lie group structure. Moreover, we develop thoroughly the connection to the algebra of sections of the associated Lie algebroid and show for a large class of Lie groupoids that their groups of bisections ar…

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 $\mathrm{evol}\colon \mathrm{D}\equiv \mathrm{dom}[\mathrm{evol}]\rightarrow G$, i.e.…

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 subgroups, and integrability of Lie algebra extensions to Lie group extensions. We furthe…

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 regular surfaces can be locally defined in different ways: e.g. as non critical level …

A topological groupoid G is K-pointed, if it is equipped with a homomorphism from a topological group K to G. We describe the homotopy groups of such K-pointed topological groupoids and relate these groups to the ordinary homotopy groups in terms of a long exact sequence. As an application, we give an obstruction to pr…

Carnot groups are distinguished spaces that are rich of structure: they are those Lie groups equipped with a path distance that is invariant by left-translations of the group and admit automorphisms that are dilations with respect to the distance. We present the basic theory of Carnot groups together with several remar…

Classifies complex structures on SL(2,C), finding new non-regular ones.

Study on Banach half-Lie groups and their properties.

Book on infinite-dimensional Lie groups, covering basics and various classes.

In this paper, we investigate the regularized mean curvature flow starting from an invariant hypersurface in a Hilbert space equipped with an isometric and almost free action of a Hilbert Lie group whose orbits are regularized minimal. We prove that, if the invariant hypersurface satisfies a certain kind of horizontall…

Study of sub-Riemannian problem on specific Lie groups, revealing symmetries and bounds.

Abstract: Extends Drinfeld correspondence to infinite-dimensional Lie groups.

We develop here a concept of deformed algebras and their related groups through two examples. Deformed algebras are obtained from a fixed algebra by deformation along a family of indexes, through formal series. We show how the example of deformed algebra used in \cite{Ma2013} is only an example among others, and how th…

We study the local structure of Lie bialgebroids at regular points. In particular, we classify all transitive Lie bialgebroids. In special cases, they are connected to classical dynamical $r$-matrices and matched pairs induced by Poisson group actions

We introduce the notion of a subregular subalgebra, which we believe is useful for classification of subalgebras of Lie algebras. We use it to construct a non-regular invariant generalized complex structure on a Lie group. As an illustration of the study of invariant generalized complex structures, we compute them all …

In this article, we give a theorem of reduction of the structure group of a principal bundle P with regular structure group G. Then, when G is in the classes of Lie groups defined by T.Robart [13], we define the closed holonomy group of a connection as the minimal closed Lie subgroup of G for which the previous theorem…

This paper classifies geodesic orbit metrics on compact Lie group $G_2$.

In this paper, we investigate a regularized mean curvature flow starting from an invariant hypersurface in a Hilbert space equipped with an isometric and almost free action of a Hilbert Lie group whose orbits are minimal regularizable submanifolds. We prove that, if the initial invariant hypersurface satisfies a certai…

The paper extends the classification of bi-invariant 2-forms to infinite-dimensional Lie groups.

In this paper, we study the regularized mean curvature flow starting from invariant hypersurfaces in a Hilbert space equipped with an isometric almost free Hilbert Lie group action whose orbits are minimal regularizable submanifolds, where "almost free" means that the stabilizers of the group action are finite. First w…

We consider Lie groups equipped with arbitrary distances. We only assume that the distance is left-invariant and induces the manifold topology. For brevity, we call such object metric Lie groups. Apart from Riemannian Lie groups, distinguished examples are sub-Riemannian Lie groups and, in particular, Carnot groups equ…

In this article we investigate a monoid of smooth mappings on the space of arrows of a Lie groupoid and its group of units. The group of units turns out to be an infinite-dimensional Lie group which is regular in the sense of Milnor. Furthermore, this group is closely connected to the group of bisections of the Lie gro…

We show that an infinite dimensional Lie group in Milnor's sense has the strong Trotter property if it is locally $μ$-convex. This is a continuity condition imposed on the Lie group multiplication that generalizes the triangle inequality for locally convex vector spaces, and is equivalent to $C^0$-continuity of the evo…

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 neighbourhood of the complexification of its domain. As is well known the constructio…

The Hessian geometry is the real analogue of the Kähler one. Sasakian geometry is an odd-dimensional counterpart of the Kähler geometry. In the paper, we study the connection between projective Hessian and Sasakian manifolds analogous to the one between Hessian and Kähler manifolds. In particular, we construct a Sasaki…

Let K be a finite-dimensional, 1-connected complex Lie group, and let Σ_k=Σ- {p_1,\ldots,p_k\} be a compact connected Riemann surface Σ, from which we have extracted k > 0 distinct points. We study in this article the regular Frechet-Lie group O(Σ_k,K) of holomorphic maps from Σ_k to K and its central extension \wideha…

In this paper, we start from an extension of the notion of holonomy on diffeological bundles, reformulate the notion of regular Lie group or Frölicher Lie groups, state an Ambrose-Singer theorem that enlarges the one stated in \cite{Ma2}, and conclude with a differential geometric treatment of KP hierarchy. The example…

We apply the Guillemin-Lerman-Sternberg theorem to reprove a formula of Heckman for the Duistermaat-Heckman measure associated to the coadjoint action of $T$, a maximal torus of a compact semisimple Lie group $G$, on a regular coadjoint $G$-orbit in the dual space of the Lie algebra of $G$. This formula is, in an appro…

Stable harmonic maps into certain Lie groups have singularities with specific codimensions.

We discuss the problem of the existence of a regular invariant Lagrangian for a given system of invariant second-order differential equations on a Lie group $G$, using approaches based on the Helmholtz conditions. Although we deal with the problem directly on $TG$, our main result relies on a reduction of the system on…

The study investigates linearizability of Poisson structures on groupoids.

We construct a infinite-dimensional manifold structure adapted to analytic Lie pseudogroups of infinite type. More precisely, we prove that any isotropy subgroup of an analytic Lie pseudogroup of infinite type is a regular infinite-dimensional Lie group, modelled on a locally convex strict inductive limit of Banach spa…

Study of Riemannian geometry on quaternionic unit ball linked to Sp(1,1) group.