arXiv research

New exponential map for Lie groups connects to sub-Riemannian geometry.

Analogous exponential map defined for Hopf algebras.

The paper provides bounds for the derivative of the Lie exponential map in connected Lie groups.

Extended logarithm for solvable elements in mapping class groups.

This paper summarizes closed-form relations for SE(3) maps and their derivatives.

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

The paper explores connections between dg manifolds and homotopy Lie algebras.

In this paper we see the evolution of a capitalized financial event e, with respect to a capitalization factor f, as the exponential map of a suitably defined Lie group G(f,e), supported by the half-space of capitalized financial events having the same capital sign of e. The Lie group G(f,e) depends upon the capitaliza…

The abstract theorem extends a Lie group result to Lie groupoids.

In this paper, we propose an auto-encoder based generative neural network model whose encoder compresses the inputs into vectors in the tangent space of a special Lie group manifold: upper triangular positive definite affine transform matrices (UTDATs). UTDATs are representations of Gaussian distributions and can strai…

Let $ω_\mathfrak{g}$ be a Lie algebra valued differential $1$-form on a manifold $M$ satisfying the structure equations $d ω_\mathfrak{g} + \frac{1}{2} ω_\mathfrak{g}\wedge ω_\mathfrak{g}=0$ where $\mathfrak{g}$ is solvable. We show that the problem of finding a smooth map $ρ:M\to G$, where $G$ is an $n$-dimensional so…

This work explores algebraic structures from curvature and torsion in affine connections.

We give a new and self-contained proof of the existence and unicity of the flow for an arbitrary (not necessarily homogeneous) smooth vector field on a real supermanifold, and extend these results to the case of holomorphic vector fields on complex supermanifolds. Furthermore we discuss local actions associated to supe…

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 …

In this note, we unveil homotopy-rich algebraic structures generated by the Atiyah classes relative to a Lie pair $(L,A)$ of algebroids. In particular, we prove that the quotient $L/A$ of such a pair admits an essentially canonical homotopy module structure over the Lie algebroid $A$, which we call Kapranov module.

Generalizes CNNs for Lie group equivariance across various data types.

We study the exponential map of connected symmetric spaces and characterize, in terms of midpoints and of infinitesimal conditions, when it is a diffeomorphism, generalizing the Dixmier-Saito theorem for solvable Lie groups. We then give a geometric characterization of the (strongly) exponential solvable symmetric spac…

Develops integrators for nonholonomic systems on Lie groups.

We prove a Frobenius theorem for Banach distributions on manifolds that are modelled over locally convex spaces. Moreover, we recall how Frobenius theorems can be applied to infinite-dimensional Lie groups and obtain, that given a Lie subalgebra of the Lie algebra of a Lie group that is modelled over a locally convex s…

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…

We introduce a notion of metric on a Lie groupoid, compatible with multiplication, and we study its properties. We show that many families of Lie groupoids admit such metrics, including the important class of proper Lie groupoids. The exponential map of these metrics allow us to establish a Linearization Theorem for Ri…

Study controllability of diffeomorphisms of simple polytopes.

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

This paper analyzes two Lie group momentum optimization algorithms and their convergence rates.

Analytic curves are classified w.r.t. their symmetry under a regular and separately analytic Lie group action on an analytic manifold. We show that an analytic curve is either exponential or splits into countably many analytic immersive curves, each of them discretely generated by the symmetry group (i.e., each such cu…

We show how to construct the nonstandard hull of certain infinite-dimensional Lie algebras in order to generalize a theorem of Pestov on the enlargeability of Banach-Lie algebras. In the process, we consider a nonstandard smoothness condition on functions between locally convex spaces to ensure that the induced functio…

Let Sol be the three-dimensional solvable Lie group equipped with its standard left-invariant Riemannian metric. We give a precise description of the cut locus of the identity, and a maximal domain in the Lie algebra on which the Riemannian exponential map is a diffeomorphism. As a consequence, we prove that the metric…

We describe the exponential map from an infinite-dimensional Lie algebra to an infinite-dimensional group of operators on a Hilbert space. Notions of differential geometry are introduced for these groups. In particular, the Ricci curvature, which is understood as the limit of the Ricci curvature of finite-dimensional g…

Holomorphic actions on complex spaces for nilpotent groups.

Let G be a Lie group. On the trivial principal G-bundle over the Lie algebra of G there is a natural connection whose curvature is the Lie bracket. The exponential map is given by parallel transport of this connection. If G is the diffeomorphism group of a manifold, the curvature of the natural connection is the Lie br…

New framework for equivariant neural networks using Lie group decompositions.

Research covers geometry, analysis, and integration on infinite-dimensional spaces.

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

New learning rule simplifies Bayesian updates for deep learning.

We study the singularities of the exponential map in semi Riemannian locally symmetric manifolds. Conjugate points along geodesics depend only on real negative eigenvalues of the curvature tensor, and their contribution to the Maslov index of the geodesic is computed explicitly. We prove that degeneracy of conjugate po…

Necessary and sufficient conditions for the exponentiation of finite-dimensional real Lie algebras of linear operators on complete Hausdorff locally convex spaces are obtained, focused on the equicontinuous case - in particular, necessary conditions for exponentiation to compact Lie groups are established. Applications…

Characterizes Lie-Backlund vector fields in infinite jet bundles that can be exponentiated.

We show that a group of diffeomorphisms $\D$ on the open unit interval $I,$ equipped with the topology of uniform convergence on any compact set of the derivatives at any order, is non regular: the exponential map is not defined for some path of the Lie algebra. this result extends to the group of diffeomorphisms of fi…

Characterizes the local diffeomorphism structure of the exponential in the set of skew-symmetric matrices.

Study infinitesimal deformations of Lie algebroid pairs.

On compact manifolds which are not simply connected, we prove the existence of "fake" solutions to the optimal transportion problem. These maps preserve volume and arise as the exponential of a closed 1 form, hence appear geometrically like optimal transport maps. The set of such solutions forms a manifold with dimensi…

Study the exponential map on surfaces using fluid dynamics.

Study on stability of harmonic maps with sub-Riemannian geometry.

The paper generalizes polynomial functions on Lie groups and their properties.

Lie's Third Theorem, asserting that each finite-dimensional Lie algebra is the Lie algebra of a Lie group, fails in infinite dimensions. The modern account on this phenomenon is the integration problem for central extensions of infinite-dimensional Lie algebras, which in turn is phrased in terms of an integration proce…

In a previous article, analytic 1-submanifolds had been classified w.r.t. their symmetry under a given regular and separately analytic Lie group action on an analytic manifold. It was shown that such an analytic 1-submanifold is either free or (via the exponential map) analytically diffeomorphic to the unit circle or a…

A well-known theorem of Kapranov states that the Atiyah class of the tangent bundle $TX$ of a complex manifold $X$ makes the shifted tangent bundle $TX[-1]$ into a Lie algebra object in the derived category $D(X)$. Moreover, he showed that there is an $L_\infty$-algebra structure on the Dolbeault resolution of $TX[-1]$…

Proves properties of sub-Riemannian exponential map, showing it's not injective.