XIX.—Metrisable Lie Groups and Algebras

1957 ◽  
Vol 64 (3) ◽  
pp. 290-304 ◽  
Author(s):  
S.-T. Tsou ◽  
A. G. Walker
Keyword(s):  
Lie Groups ◽  
Lie Algebra ◽  
Lie Algebras ◽  
Lie Group ◽  
Necessary Conditions ◽  
Existence Theorems ◽  
Riemannian Metric ◽  
Abelian Algebra ◽  
Lie Groups And Algebras ◽  
Complex Extension

A Lie group is said to be metrisable if it admits a Riemannian metric which is invariant under all translations of the group. It is shown that the study of such groups reduces to the study of what are called metrisable Lie algebras, and some necessary conditions for a Lie algebra to be metrisable are given. Various decomposition and existence theorems are also given, and it is shown that every metrisable algebra is the product of an abelian algebra and a number of non-decomposable reduced algebras. The number of independent metrics admitted by a metrisable algebra is examined, and it is shown that the metric is unique when and only when the complex extension of the algebra is simple.

Characteristic functions of semigroups in semi-simple Lie groups

2019 ◽  
Vol 31 (4) ◽  
pp. 815-842
Author(s):  
Luiz A. B. San Martin ◽  
Laercio J. Santos
Keyword(s):  
Laplace Transform ◽  
Lie Groups ◽  
Lie Algebra ◽  
Lie Group ◽  
Convex Cone ◽  
Convex Set ◽  
Flag Manifold ◽  
Riemannian Metric ◽  
Iwasawa Decomposition ◽  
Characteristic Functions

Abstract Let G be a noncompact semi-simple Lie group with Iwasawa decomposition {G=KAN} . For a semigroup {S\subset G} with nonempty interior we find a domain of convergence of the Helgason–Laplace transform {I_{S}(\lambda,u)=\int_{S}e^{\lambda(\mathsf{a}(g,u))}\,dg} , where dg is the Haar measure of G, {u\in K} , {\lambda\in\mathfrak{a}^{\ast}} , {\mathfrak{a}} is the Lie algebra of A and {gu=ke^{\mathsf{a}(g,u)}n\in KAN} . The domain is given in terms of a flag manifold of G written {\mathbb{F}_{\Theta(S)}} called the flag type of S, where {\Theta(S)} is a subset of the simple system of roots. It is proved that {I_{S}(\lambda,u)<\infty} if λ belongs to a convex cone defined from {\Theta(S)} and {u\in\pi^{-1}(\mathcal{D}_{\Theta(S)}(S))} , where {\mathcal{D}_{\Theta(S)}(S)\subset\mathbb{F}_{\Theta(S)}} is a B-convex set and {\pi:K\rightarrow\mathbb{F}_{\Theta(S)}} is the natural projection. We prove differentiability of {I_{S}(\lambda,u)} and apply the results to construct of a Riemannian metric in {\mathcal{D}_{\Theta(S)}(S)} invariant by the group {S\cap S^{-1}} of units of S.

scholarly journals Simply transitive NIL-affine actions of solvable Lie groups

2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Jonas Deré ◽  
Marcos Origlia
Keyword(s):  
Lie Groups ◽  
Lie Algebra ◽  
Lie Algebras ◽  
Lie Group ◽  
Main Tool ◽  
Full Description ◽  
Nilpotent Lie Group ◽  
Affine Transformations ◽  
Solvable Lie Algebra ◽  
Solvable Lie Group

Abstract Every simply connected and connected solvable Lie group 𝐺 admits a simply transitive action on a nilpotent Lie group 𝐻 via affine transformations. Although the existence is guaranteed, not much is known about which Lie groups 𝐺 can act simply transitively on which Lie groups 𝐻. So far, the focus was mainly on the case where 𝐺 is also nilpotent, leading to a characterization depending only on the corresponding Lie algebras and related to the notion of post-Lie algebra structures. This paper studies two different aspects of this problem. First, we give a method to check whether a given action ρ : G → Aff ⁡ ( H ) \rho\colon G\to\operatorname{Aff}(H) is simply transitive by looking only at the induced morphism φ : g → aff ⁡ ( h ) \varphi\colon\mathfrak{g}\to\operatorname{aff}(\mathfrak{h}) between the corresponding Lie algebras. Secondly, we show how to check whether a given solvable Lie group 𝐺 acts simply transitively on a given nilpotent Lie group 𝐻, again by studying properties of the corresponding Lie algebras. The main tool for both methods is the semisimple splitting of a solvable Lie algebra and its relation to the algebraic hull, which we also define on the level of Lie algebras. As an application, we give a full description of the possibilities for simply transitive actions up to dimension 4.

scholarly journals Pro-Lie groups which are infinite-dimensional Lie groups

2009 ◽  
Vol 146 (2) ◽  
pp. 351-378 ◽  
Author(s):  
K. H. HOFMANN ◽  
K.-H. NEEB
Keyword(s):  
Lie Groups ◽  
Lie Algebra ◽  
Lie Algebras ◽  
Exponential Function ◽  
Lie Group ◽  
Smooth Manifold ◽  
Projective Limit ◽  
Infinite Dimensional ◽  
Finite Dimensional ◽  
Infinite Dimensional Lie Groups

AbstractA pro-Lie group is a projective limit of a family of finite-dimensional Lie groups. In this paper we show that a pro-Lie group G is a Lie group in the sense that its topology is compatible with a smooth manifold structure for which the group operations are smooth if and only if G is locally contractible. We also characterize the corresponding pro-Lie algebras in various ways. Furthermore, we characterize those pro-Lie groups which are locally exponential, that is, they are Lie groups with a smooth exponential function which maps a zero neighbourhood in the Lie algebra diffeomorphically onto an open identity neighbourhood of the group.

scholarly journals Hom-Lie Algebras and Hom-Lie Groups, Integration and Differentiation

2020 ◽  
Author(s):  
Jun Jiang ◽  
◽  
Satyendra Kumar Mishra ◽  
Yunhe Sheng ◽  
◽  
...  
Keyword(s):  
Lie Groups ◽  
Lie Algebra ◽  
Lie Algebras ◽  
Group Action ◽  
Lie Group ◽  
Smooth Manifold ◽  
Adjoint Representation ◽  
Lie Group Action

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 this Hexp map. We also describe a Hom-Lie group action on a smooth manifold. Subsequently, we give the notion of an adjoint representation of a Hom-Lie group on its Hom-Lie algebra. At last, we integrate the Hom-Lie algebra (gl(V),[.,.],Ad), and the derivation Hom-Lie algebra of a Hom-Lie algebra.

scholarly journals COMMUTATORS OF SKEW-SYMMETRIC MATRICES

2005 ◽  
Vol 15 (03) ◽  
pp. 793-801 ◽  
Author(s):  
ANTHONY M. BLOCH ◽  
ARIEH ISERLES
Keyword(s):  
Optimal Control ◽  
Lie Algebra ◽  
Lie Algebras ◽  
Lie Group ◽  
Geometric Integration ◽  
Symmetric Matrices ◽  
Frobenius Norm

In this paper we develop a theory for analysing the "radius" of the Lie algebra of a matrix Lie group, which is a measure of the size of its commutators. Complete details are given for the Lie algebra 𝔰𝔬(n) of skew symmetric matrices where we prove [Formula: see text], X, Y ∈ 𝔰𝔬(n), for the Frobenius norm. We indicate how these ideas might be extended to other matrix Lie algebras. We discuss why these ideas are of interest in applications such as geometric integration and optimal control.

THE FERMI–WALKER DERIVATIVE IN LIE GROUPS

2013 ◽  
Vol 10 (07) ◽  
pp. 1320011 ◽  
Author(s):  
FATMA KARAKUŞ ◽  
YUSUF YAYLI
Keyword(s):  
Vector Field ◽  
Lie Groups ◽  
Lie Group ◽  
Necessary Conditions ◽  
Rotating Frame ◽  
Darboux Vector

In this study, Fermi–Walker derivative, Fermi–Walker parallelism, non-rotating frame, Fermi–Walker termed Darboux vector concepts are given for Lie groups in E4. First, we get any Frénet curve and any vector field along the Frénet curve in a Lie group. Then, the Fermi–Walker derivative is defined for the Lie group. Fermi–Walker derivative and Fermi–Walker parallelism are analyzed in Lie groups. Finally, the necessary conditions for Fermi–Walker parallelism are explained.

scholarly journals Central Extensions of Lie Groups Preserving a Differential Form

2020 ◽  
Author(s):  
Tobias Diez ◽  
Bas Janssens ◽  
Karl-Hermann Neeb ◽  
Cornelia Vizman
Keyword(s):  
Lie Groups ◽  
Lie Algebra ◽  
Lie Group ◽  
Differential Form ◽  
Integral Form ◽  
Symplectic Manifolds ◽  
Central Extensions ◽  
Mapping Space ◽  
Canonical Class ◽  
Differential Characters

Abstract Let $M$ be a manifold with a closed, integral $(k+1)$-form $\omega $, and let $G$ be a Fréchet–Lie group acting on $(M,\omega )$. As a generalization of the Kostant–Souriau extension for symplectic manifolds, we consider a canonical class of central extensions of ${\mathfrak{g}}$ by ${\mathbb{R}}$, indexed by $H^{k-1}(M,{\mathbb{R}})^*$. We show that the image of $H_{k-1}(M,{\mathbb{Z}})$ in $H^{k-1}(M,{\mathbb{R}})^*$ corresponds to a lattice of Lie algebra extensions that integrate to smooth central extensions of $G$ by the circle group ${\mathbb{T}}$. The idea is to represent a class in $H_{k-1}(M,{\mathbb{Z}})$ by a weighted submanifold $(S,\beta )$, where $\beta $ is a closed, integral form on $S$. We use transgression of differential characters from $ S$ and $ M $ to the mapping space $ C^\infty (S, M) $ and apply the Kostant–Souriau construction on $ C^\infty (S, M) $.

scholarly journals Classification of Symmetry Lie Algebras of the Canonical Geodesic Equations of Five-Dimensional Solvable Lie Algebras

Symmetry ◽  
2019 ◽  
Vol 11 (11) ◽  
pp. 1354 ◽  
Author(s):  
Hassan Almusawa ◽  
Ryad Ghanam ◽  
Gerard Thompson
Keyword(s):  
Lie Groups ◽  
Lie Algebra ◽  
Lie Algebras ◽  
Vector Fields ◽  
Solvable Lie Groups ◽  
Related System ◽  
Geodesic Equations ◽  
Solvable Lie Algebras ◽  
Symmetry Algebras

In this investigation, we present symmetry algebras of the canonical geodesic equations of the indecomposable solvable Lie groups of dimension five, confined to algebras A 5 , 7 a b c to A 18 a . For each algebra, the related system of geodesics is provided. Moreover, a basis for the associated Lie algebra of the symmetry vector fields, as well as the corresponding nonzero brackets, are constructed and categorized.

PERTURBATIVE SOLUTIONS OF DIFFERENTIAL EQUATIONS IN LIE GROUPS

2005 ◽  
Vol 02 (01) ◽  
pp. 111-125 ◽  
Author(s):  
PAOLO ANIELLO
Keyword(s):  
Differential Equations ◽  
Lie Groups ◽  
Lie Algebra ◽  
Lie Group ◽  
Similarity Transformation ◽  
Perturbative Expansion ◽  
Analytic Perturbation ◽  
The Matrix ◽  
Matrix Formula

We show that, given a matrix Lie group [Formula: see text] and its Lie algebra [Formula: see text], a 1-parameter subgroup of [Formula: see text] whose generator is the sum of an unperturbed matrix Â0 and an analytic perturbation Â♢(λ) can be mapped — under suitable conditions — by a similarity transformation depending analytically on the perturbative parameter λ, onto a 1-parameter subgroup of [Formula: see text] generated by a matrix [Formula: see text] belonging to the centralizer of Â0 in [Formula: see text]. Both the similarity transformation and the matrix [Formula: see text] can be determined perturbatively, hence allowing a very convenient perturbative expansion of the original 1-parameter subgroup.

scholarly journals LEFT-SYMMETRIC BIALGEBRAS AND AN ANALOGUE OF THE CLASSICAL YANG–BAXTER EQUATION

2008 ◽  
Vol 10 (02) ◽  
pp. 221-260 ◽  
Author(s):  
CHENGMING BAI
Keyword(s):  
Lie Groups ◽  
Lie Algebra ◽  
Lie Algebras ◽  
Symmetric Solution ◽  
Baxter Equation ◽  
Symmetric Part ◽  
Lie Bialgebra ◽  
Lie Bialgebras ◽  
Poisson Lie Groups ◽  
Lagrangian Subalgebras

We introduce a notion of left-symmetric bialgebra which is an analogue of the notion of Lie bialgebra. We prove that a left-symmetric bialgebra is equivalent to a symplectic Lie algebra with a decomposition into a direct sum of the underlying vector spaces of two Lagrangian subalgebras. The latter is called a parakähler Lie algebra or a phase space of a Lie algebra in mathematical physics. We introduce and study coboundary left-symmetric bialgebras and our study leads to what we call "S-equation", which is an analogue of the classical Yang–Baxter equation. In a certain sense, the S-equation associated to a left-symmetric algebra reveals the left-symmetry of the products. We show that a symmetric solution of the S-equation gives a parakähler Lie algebra. We also show that such a solution corresponds to the symmetric part of a certain operator called "[Formula: see text]-operator", whereas a skew-symmetric solution of the classical Yang–Baxter equation corresponds to the skew-symmetric part of an [Formula: see text]-operator. Thus a method to construct symmetric solutions of the S-equation (hence parakähler Lie algebras) from [Formula: see text]-operators is provided. Moreover, by comparing left-symmetric bialgebras and Lie bialgebras, we observe that there is a clear analogue between them and, in particular, parakähler Lie groups correspond to Poisson–Lie groups in this sense.

Sign in / Sign up

Export Citation Format

Share Document