-
Cartan-Schouten metrics for information geometry and machine learning
Authors:
Andre Diatta,
Bakary Manga,
Fatimata Sy
Abstract:
We study Cartan-Schouten metrics, explore invariant dual connections, and propose them as models for Information Geometry.
Based on the underlying Riemannian barycenter and the biinvariant mean of Lie groups, we subsequently propose a new parametric mean for data science and machine learning which comes with several advantages compared to traditional tools such as the arithmetic mean, median, mo…
▽ More
We study Cartan-Schouten metrics, explore invariant dual connections, and propose them as models for Information Geometry.
Based on the underlying Riemannian barycenter and the biinvariant mean of Lie groups, we subsequently propose a new parametric mean for data science and machine learning which comes with several advantages compared to traditional tools such as the arithmetic mean, median, mode, expectation, least square method, maximum likelihood, linear regression. We call a metric on a Lie group, a Cartan-Schouten metric, if its Levi-Civita connection is biinvariant, so every 1-parameter subgroup through the unit is a geodesic.
Except for not being left or right invariant in general, Cartan-Schouten metrics enjoy the same geometry as biinvariant metrics, since they share the same Levi-Civita connection. To bypass the non-invariance apparent drawback, we show that Cartan-Schouten metrics are completely determined by their value at the unit. We give an explicit formula for recovering them from their value at the unit, thus making them much less computationally demanding, compared to general metrics on manifolds. Furthermore, Lie groups with Cartan-Schouten metrics are complete Riemannian or pseudo-Riemannian manifolds. We give a complete characterization of Lie groups with Riemannian or Lorentzian Cartan-Schouten metrics. Cartan-Schouten metrics are in abundance on 2-nilpotent Lie groups. Namely, on every 2-nilpotent Lie group, there is a 1-1 correspondence between the set of left invariant metrics and that of Cartan-Schouten metrics.
△ Less
Submitted 28 August, 2024;
originally announced August 2024.
-
On dual quaternions, dual split quaternions and Cartan-Schouten metrics on perfect Lie groups
Authors:
Andre Diatta,
Bakary Manga,
Fatimata Sy
Abstract:
We discuss Cartan-Schouten metrics (Riemannian or pseudo-Riemannian metrics that are parallel with respect to the Cartan-Schouten canonical connection) on perfect Lie groups. Applications are foreseen in Information Geometry. Throughout this work, the tangent bundle TG and the cotangent bundle T*G of a Lie group G, are always endowed with their Lie group structures induced by the right trivializat…
▽ More
We discuss Cartan-Schouten metrics (Riemannian or pseudo-Riemannian metrics that are parallel with respect to the Cartan-Schouten canonical connection) on perfect Lie groups. Applications are foreseen in Information Geometry. Throughout this work, the tangent bundle TG and the cotangent bundle T*G of a Lie group G, are always endowed with their Lie group structures induced by the right trivialization. We show that TG and T*G are isomorphic if G possesses a biinvariant Riemannian or pseudo-Riemannian metric. We also show that, if on a perfect Lie group, there exists a Cartan-Schouten metric, then it must be biinvariant. We compute all such metrics on the cotangent bundles of simple Lie groups. We further show the following. Endowed with their canonical Lie group structures, the set of unit dual quaternions is isomorphic to TSU(2), the set of unit dual split quaternions is isomorphic to T*SL(2,R). The group SE(3) of special rigid displacements of the Euclidean 3-space is isomorphic to T*SO(3). The group SE(2,1) of special rigid displacements of the Minkowski 3-space is isomorphic to T*SO(2,1). Some results on SE(3) by N. Miolane and X. Pennec, and M. Zefran, V. Kumar and C. Croke, are generalized to SE(2,1) and to T*G, for any simple Lie group G.
△ Less
Submitted 3 January, 2024; v1 submitted 3 October, 2023;
originally announced October 2023.
-
On the classification of 2-solvable Frobenius Lie algebras
Authors:
Andre Diatta,
Bakary Manga,
Ameth Mbaye
Abstract:
We discuss the classification of 2-solvable Frobenius Lie algebras. We prove that every 2-solvable Frobenius Lie algebra splits as a semidirect sum of an n-dimensional vector space V and an n-dimensional maximal Abelian subalgebra (MASA) of the full space of endomorphisms of V. We supply a complete classification of 2-solvable Frobenius Lie algebras corresponding to nonderogatory endomorphisms, as…
▽ More
We discuss the classification of 2-solvable Frobenius Lie algebras. We prove that every 2-solvable Frobenius Lie algebra splits as a semidirect sum of an n-dimensional vector space V and an n-dimensional maximal Abelian subalgebra (MASA) of the full space of endomorphisms of V. We supply a complete classification of 2-solvable Frobenius Lie algebras corresponding to nonderogatory endomorphisms, as well as those given by maximal Abelian nilpotent subalgebras (MANS) of class 2, hence of Kravchuk signature (n-1,0,1). In low dimensions, we classify all 2-solvable Frobenius Lie algebras in general up to dimension 8. We correct and complete the classification list of MASAs of sl(4, R) by Winternitz and Zassenhaus. As a biproduct, we give a simple proof that every nonderogatory endormorphism of a real vector space admits a Jordan form and also provide a new characterization of Cartan subalgebras of sl(n, R).
△ Less
Submitted 16 July, 2023; v1 submitted 12 September, 2022;
originally announced September 2022.
-
On systems of commuting matrices, Frobenius Lie algebras and Gerstenhaber's Theorem
Authors:
Andre Diatta,
Bakary Manga,
Ameth Mbaye
Abstract:
This work relates to three problems, the classification of maximal Abelian subalgebras (MASAs) of the Lie algebra of square matrices, the classification of 2-step solvable Frobenius Lie algebras and the Gerstenhaber's Theorem. Let M and N be two commuting square matrices of order n with entries in an algebraically closed field K. Then the associative commutative K-algebra, they generate, is of dim…
▽ More
This work relates to three problems, the classification of maximal Abelian subalgebras (MASAs) of the Lie algebra of square matrices, the classification of 2-step solvable Frobenius Lie algebras and the Gerstenhaber's Theorem. Let M and N be two commuting square matrices of order n with entries in an algebraically closed field K. Then the associative commutative K-algebra, they generate, is of dimension at most n. This result was proved by Murray Gerstenhaber in 1961. The analog of this property for three commuting matrices is still an open problem, its version for a higher number of commuting matrices is not true in general. In the present paper, we give a sufficient condition for this property to be satisfied, for any number of commuting matrices and arbitrary field K. Such a result is derived from a discussion on the structure of 2-step solvable Frobenius Lie algebras and a complete characterization of their associated left symmetric algebra structure. We discuss the classification of 2-step solvable Frobenius Lie algebras and show that it is equivalent to that of n-dimensional MASAs of the Lie algebra of square matrices, admitting an open orbit for the contragradient action associated to the multiplication of matrices and vectors. Numerous examples are discussed in any dimension and a complete classification list is supplied in low dimensions. Furthermore, in any finite dimension, we give a full classification of all 2-step solvable Frobenius Lie algebras corresponding to nonderogatory matrices.
△ Less
Submitted 29 July, 2021; v1 submitted 18 February, 2020;
originally announced February 2020.
-
On the Geometry of Cotangent Bundles of Lie Groups
Authors:
Bakary Manga
Abstract:
Lie groups of automorphisms of cotangent bundles of Lie groups are completely characterized and interesting results are obtained. We give prominence to the fact that the Lie groups of automorphisms of cotangent bundles of Lie groups are super symmetric Lie groups. In the cases of orthogonal Lie lgebras, semi-simple Lie algebras and compact Lie algebras we recover by simple methods interesting co-h…
▽ More
Lie groups of automorphisms of cotangent bundles of Lie groups are completely characterized and interesting results are obtained. We give prominence to the fact that the Lie groups of automorphisms of cotangent bundles of Lie groups are super symmetric Lie groups. In the cases of orthogonal Lie lgebras, semi-simple Lie algebras and compact Lie algebras we recover by simple methods interesting co-homological known results.
The Lie algebra of prederivations encompasses the one of derivations as a subalgebra. We find out that Lie algebras of cotangent Lie groups (which are not semi-simple) of semi-simple Lie groups have the property that all their prederivations are derivations. This result is an extension of a well known result due to Müller. The structure of the Lie algebra of prederivations of Lie algebras of cotangent bundles of Lie groups is explored and we have shown that the Lie algebra of prederivations of Lie algebras of cotangent bundle of Lie groups are reductive Lie algebras.
We have studied bi-invariant metrics on cotangent bundles of Lie groups and their isometries. The Lie algebra of the Lie group of isometries of a bi-invariant metric on a Lie group is composed with prederivations of the Lie algebra which are skew-symmetric with respect to the induced orthogonal structure on the Lie algebra. We have shown that the Lie group of isometries of any bi-invariant metric on the cotangent bundle of any semi-simple Lie groups is generated by the exponentials of inner derivations of the Lie cotangent algebra.
Last, we have dealt with an introduction to the geometry the Lie group of affine motions of the real line $\mathbb R$, which is a Kählerian Lie group.
△ Less
Submitted 13 May, 2015; v1 submitted 2 May, 2015;
originally announced May 2015.
-
Point and Potential Symmetries of the Fokker-Planck Equation
Authors:
Faya Doumbo Kamano,
Bakary Manga,
Joël Tossa
Abstract:
We determine the Lie point symmetries of the Fokker-Planck equation and provide examples of solutions of this equation. The Fokker-Planck equation admits a conserved form, hence there is an auxiliary system associated to this equation and whose point symmetries give rise to potential symmetries of the Fokker-Planck equation.
We determine the Lie point symmetries of the Fokker-Planck equation and provide examples of solutions of this equation. The Fokker-Planck equation admits a conserved form, hence there is an auxiliary system associated to this equation and whose point symmetries give rise to potential symmetries of the Fokker-Planck equation.
△ Less
Submitted 15 July, 2015; v1 submitted 7 March, 2015;
originally announced March 2015.
-
Color Hom-Akivis algebras, Color Hom-Leibniz algebras and Modules over Color Hom-Leibniz algebras
Authors:
Ibrahima Bakayoko,
Momo Bangoura,
Bakary Manga
Abstract:
In this paper we introduce color Hom-Akivis algebras and prove that the commutator of any color non-associative Hom-algebra structure map leads to a color Hom-akivis algebra. We give various constructions of color Hom-Akivis algebras. Next we study flexible and alternative color Hom-Akivis algebras. Likewise color Hom-Akivis algebras, we introduce non-commutative color Hom-Leibniz-Poisson algebras…
▽ More
In this paper we introduce color Hom-Akivis algebras and prove that the commutator of any color non-associative Hom-algebra structure map leads to a color Hom-akivis algebra. We give various constructions of color Hom-Akivis algebras. Next we study flexible and alternative color Hom-Akivis algebras. Likewise color Hom-Akivis algebras, we introduce non-commutative color Hom-Leibniz-Poisson algebras and presente several constructions. Moreover we give the relationship between Hom-dialgebras and Hom-Leibniz-Poisson algebras; i.e. a Hom-dialgebras give rise to a Hom-Leibniz-Poisson algebra. Finally we show that twisting a color Hom-Leibniz module structure map by a color Hom-Leibniz algebra endomorphism, we get another one.
△ Less
Submitted 8 December, 2014;
originally announced December 2014.
-
Hom-alternative modules and Hom-Poisson comodules
Authors:
Ibrahima Bakayoko,
Bakary Manga
Abstract:
In this paper we introduce modules over both left and right Hom-alternative algebras. We give some constructions of left and right Hom-alternative modules and give various properties of both, as well as examples. Then, we prove that morphisms of left alternative algebras extend to morphisms of left Hom-alternative algebras. Next, we introduce comodules over Hom-Poisson coalgebras and show that we…
▽ More
In this paper we introduce modules over both left and right Hom-alternative algebras. We give some constructions of left and right Hom-alternative modules and give various properties of both, as well as examples. Then, we prove that morphisms of left alternative algebras extend to morphisms of left Hom-alternative algebras. Next, we introduce comodules over Hom-Poisson coalgebras and show that we may obtain a structure map of a comodule over a Hom-Poisson coalgebra from a given one.
△ Less
Submitted 25 January, 2016; v1 submitted 28 November, 2014;
originally announced November 2014.
-
On properties of principal elements of Frobenius Lie algebras
Authors:
Andre Diatta,
Bakary Manga
Abstract:
We investigate the properties of principal elements of Frobenius Lie algebras, following the work of M. Gerstenhaber and A. Giaquinto. We prove that any Lie algebra with a left symmetric algebra structure can be embedded, in a natural way, as a subalgebra of some sl(m,K), for K= R or C. Hence, the work of Belavin and Drinfeld on solutions of the Classical Yang-Baxter Equation on simple Lie algebra…
▽ More
We investigate the properties of principal elements of Frobenius Lie algebras, following the work of M. Gerstenhaber and A. Giaquinto. We prove that any Lie algebra with a left symmetric algebra structure can be embedded, in a natural way, as a subalgebra of some sl(m,K), for K= R or C. Hence, the work of Belavin and Drinfeld on solutions of the Classical Yang-Baxter Equation on simple Lie algebras, applied to the particular case of sl(m, K) alone, paves the way to the complete classification of Frobenius and more generally quasi-Frobenius Lie algebras. We prove that, if a Frobenius Lie algebra has the property that every derivation is an inner derivation, then every principal element is semisimple, at least for K=C.
As an important case, we prove that in the Lie algebra of the group of affine motions of the Euclidean space of finite dimension, every derivation is inner. We also bring a class of examples of Frobenius Lie algebras, that hence are subalgebras of sl(m, K), but yet have nonsemisimple principal elements as well as some with semisimple principal elements having nonrational eigenvalues, where K=R or C.
△ Less
Submitted 14 April, 2014; v1 submitted 21 December, 2012;
originally announced December 2012.
-
Automorphisms of cotangent bundles of Lie groups
Authors:
Andre Diatta,
Bakary Manga
Abstract:
Let G be a Lie group, $T^*G$ its cotangent bundle with its natural Lie group structure obtained by performing a left trivialization of T^*G and endowing the resulting trivial bundle with the semi-direct product, using the coadjoint action of G on the dual space of its Lie algebra.
We investigate the group of automorphisms of the Lie algebra of $T^*G$. More precisely, amongst other results, we fu…
▽ More
Let G be a Lie group, $T^*G$ its cotangent bundle with its natural Lie group structure obtained by performing a left trivialization of T^*G and endowing the resulting trivial bundle with the semi-direct product, using the coadjoint action of G on the dual space of its Lie algebra.
We investigate the group of automorphisms of the Lie algebra of $T^*G$. More precisely, amongst other results, we fully characterize the space of all derivations of the Lie algebra of $T^*G$.
As a byproduct, we also characterize some spaces of operators on G amongst which, the space J of bi-invariant tensors on G and prove that if G has a bi-invariant Riemannian or pseudo-Riemannian metric, then J is isomorphic to the space of linear maps from the Lie algebra of G to its dual space which are equivariant with respect to the adjoint and coadjoint actions, as well as that of bi-invariant bilinear forms on G.
We discuss some open problems and possible applications.
△ Less
Submitted 28 April, 2015; v1 submitted 18 November, 2008;
originally announced November 2008.
