Hilbert-Schmidt groups as infinite-dimensional Lie groups and their Riemannian geometry

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 groups, is calculated. We show that for some of these groups the Ricci curvature is -∞.     

The intrinsic hypoelliptic Laplacian and its heat kernel on unimodular Lie groups

We present an invariant definition of the hypoelliptic Laplacian on sub-Riemannian structures with constant growth vector using the Popp's volume form introduced by Montgomery. This definition generalizes the one of the Laplace-Beltrami operator in Riemannian geometry. In the case of left-invariant problems on unimodular Lie groups we prove that it coincides with the usual sum of squares.We then extend a method (first used by Hulanicki on the Heisenberg group) to compute explicitly the kernel of the hypoelliptic heat equation on any unimodular Lie group of type I. The main tool is the noncommutative Fourier transform. We then study some relevant cases: SU(2), SO(3), SL(2) (with the metrics inherited by the Killing form), and the group SE(2) of rototranslations of the plane.     

Positive definite Minkowski Lie algebras and bi-invariant Finsler metrics on Lie groups

In this paper, we introduce the notion of a Minkowski Lie algebra, which is the natural generalization of the notion of a real quadratic Lie algebra (metric Lie algebra). We then study the positive definite Minkowski Lie algebras and obtain a complete classification of the simple ones. Finally, we present some applications of our results to Finsler geometry and give a classification of bi-invariant Finsler metrics on Lie groups. This work was supported by NSFC (No.10671096) and NCET of China.     

The Newton Iteration on Lie Groups

We define the Newton iteration for solving the equation f(y) = 0, where f is a map from a Lie group to its corresponding Lie algebra. Two versions are presented, which are formulated independently of any metric on the Lie group. Both formulations reduce to the standard method in the Euclidean case, and are related to existing algorithms on certain Riemannian manifolds. In particular, we show that, under classical assumptions on f, the proposed method converges quadratically. We illustrate the techniques by solving a fixed-point problem arising from the numerical integration of a Lie-type initial value problem via implicit Euler.     

Twisted signatures of flag manifolds

A product formula for some twisted signatures of flag manifolds is proved. The result is used to compute twisted signatures of some flag manifolds from those of Grassmannians, and by that to deduce some upper bounds of the stable span.      

Spectral conditions on Lie and Jordan algebras of compact operators

We investigate the properties of bounded operators which satisfy a certain spectral additivity condition, and use our results to study Lie and Jordan algebras of compact operators. We prove that these algebras have nontrivial invariant subspaces when their elements have sublinear or submultiplicative spectrum, and when they satisfy simple trace conditions. In certain cases we show that these conditions imply that the algebra is (simultaneously) triangularizable.     

Flat orbits and kernels of irreducible representations of the group algebra of a completely solvable Lie group

We show that the kernel of an irreducible unitary representation π of the group algebra L¹(G) of a completely solvable Lie group G is given by the functions, whose abelian Fourier transform vanish on the Kirillov orbit Oπ of π if and only if this orbit Oπ is flat. This is a generalization of a result obtained before for nilpotent Lie groups.     

A survey on stability and rigidity results for Lie algebras

We give simple and unified proofs of the known stability and rigidity results for Lie algebras, Lie subalgebras and Lie algebra homomorphisms. Moreover, we investigate when a Lie algebra homomorphism is stable under all automorphisms of the codomain (including outer automorphisms).     

On the Implementation of Lie Group Methods on the Stiefel Manifold

There are several applications in which one needs to integrate a system of ODEs whose solution is an n×p matrix with orthonormal columns. In recent papers algorithms of arithmetic complexity order np ² have been proposed. The class of Lie group integrators may seem like a worth while alternative for this class of problems, but it has not been clear how to implement such methods with O(np ²) complexity. In this paper we show how Lie group methods can be implemented in a computationally competitive way, by exploiting that analytic functions of n×n matrices of rank 2p can be computed with O(np ²) complexity.     

Appell systems on Lie groups

Using the probabilistic interpretation of Appell polynomials as systems of moments, we show how to define them in the noncommutative case. The method is based on certain infinite-dimensional representations of local Lie groups. For processes, limit theorems play an essential role in the construction. Polynomial matrix representations of convolution semigroups are a principal feature.     

Time optimal factorizations on compact Lie groups

In this paper we study the relationship between factorization problems on SU(2ⁿ) or more generally on compact Lie groups G and time optimal control problems. Both types of problems naturally arise in physics, such as in quantum computing and in controlling coupled spin systems (NMR‐spectroscopy). In the first part we show that certain factorization problems can be reformulated as time optimal control problems on G. In the second part a necessary condition for the existence of finite optimal factorizations is discussed. At the end we illustrate our results by an example on Euler angle factorizations. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Sobolev spaces on Lie groups: Embedding theorems and algebra properties

Let G be a noncompact connected Lie group, denote with ρ a right Haar measure and choose a family of linearly independent left-invariant vector fields X on G satisfying Hörmander's condition. Let χ be a positive character of G and consider the measure ${\mu }_{\chi }$ whose density with respect to ρ is χ. In this paper, we introduce Sobolev spaces $L_{\alpha }^p({\mu }_{\chi })$ adapted to X and ${\mu }_{\chi }$ ($1<p<\infty$, $\alpha \ge 0$) and study embedding theorems and algebra properties of these spaces. As an application, we prove local well-posedness and regularity results of solutions of some nonlinear heat and Schrödinger equations on the group.     

Lie group structures on groups of smooth and holomorphic maps on non-compact manifolds

We study Lie group structures on groups of the form C ^∞(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 for which the evaluation map is smooth. We then prove the existence of such a structure if the universal cover of K is diffeomorphic to a locally convex space and if the image of the left logarithmic derivative in is a smooth submanifold, the latter being the case in particular if M is one-dimensional. We also obtain analogs of these results for the group of holomorphic maps on a complex manifold with values in a complex Lie group K. We further show that there exists a natural Lie group structure on if K is Banach and M is a non-compact complex curve with finitely generated fundamental group.      

On Macdonald's formula for the volume of a compact Lie group

We give a simple proof of Macdonald's formula for the volume of a compact Lie group. Received: May 10, 1997     

Cost Efficient Lie Group Integrators in the RKMK Class

In this work a systematic procedure is implemented in order to minimise the computational cost of the Runge—Kutta—Munthe-Kaas (RKMK) class of Lie-group solvers. The process consists of the application of a linear transformation to the stages of the method and the analysis of a graded free Lie algebra to reduce the number of commutators involved. We consider here RKMK integration methods up to order seven based on some of the most popular Runge—Kutta schemes.This revised version was published online in October 2005 with corrections to the Cover Date.     

Ergodic measures of geodesic flows on compact Lie groups

Let Ψ be the geodesic flow associated with a two-sided invariant metric on a compact Lie group. In this paper, we prove that every ergodic measure μ of Ψ is supported on the unit tangent bundle of a flat torus. As an application, all Lyapunov exponents of μ are zero hence μ is not hyperbolic. Our underlying manifolds have nonnegative curvature (possibly strictly positive on some sections), whereas in contrast, all geodesic flows related to negative curvature are Anosov hence every ergodic measure is hyperbolic.     

Lie group structures on symmetry groups of principal bundles

In this paper we describe how one can obtain Lie group structures on the group of (vertical) bundle automorphisms for a locally convex principal bundle P over the compact manifold M. This is done by first considering Lie group structures on the group of vertical bundle automorphisms Gau(P). Then the full automorphism group Aut(P) is considered as an extension of the open subgroup DiffP(M) of diffeomorphisms of M preserving the equivalence class of P under pull-backs, by the gauge group Gau(P). We derive explicit conditions for the extensions of these Lie group structures, show the smoothness of some natural actions and relate our results to affine Kac-Moody algebras and groups.