The Lie algebra of infinitesimal isometries of a Riemannian manifold contains at most two commutative ideals. One coming from the horizontal nullity space of the Nijenhuis tensor of the canonical connection, the other coming from the constant vectors fields independent of the Riemannian metric.
We use the technique of invariant frames to study a left invariant spray structure on a Lie group, and calculate its S-curvature and Riemann curvature, which generalizes the corresponding formulae in homogeneous Finsler geometry. Using the canonical bi-invariant Berwald spray structure as the reference, any left invariant spray structure can be associated with a spray vector field on the Lie algebra. We find the correspondence between geodesics for a left invariant spray structure and the inverse integral curves of its spray vector field. As an application for this correspondence, we provide a…
In this paper we study the invariant metrizability and projective metrizability problems for the special case of the geodesic spray associated to the canonical connection of a Lie group. We prove that such canonical spray is projectively Finsler metrizable if and only if it is Riemann metrizable. This result means that this structure is rigid in the sense that considering left-invariant metrics, the potentially much larger class of projective Finsler metrizable canonical sprays, corresponding to Lie groups, coincides with the class of Riemann metrizable canonical sprays. Generalisation of thes…
In this paper, we study the left invariant spray geometry on a connected Lie group. Using the technique of invariant frames, we find the ordinary differential equations on the Lie algebra describing for a left invariant spray structure the linearly parallel translations along a geodesic and the nonlinearly parallel translations along a smooth curve. In these equations, the connection operator plays an important role. Using linearly parallel translations, we provide alternative interpretations or proofs for some homogeneous curvature formulae. Concerning the nonlinearly ones, we propose two que…
We show that a statistical manifold manifold of a constant non-zero curvature can be realised as a level line of Hessian potential on a Hessian cone. We construct a Sasakian structure on $TM\times\R$ by a statistical manifold manifold of a constant non-zero curvature on $M$. By a statistical Lie algebra of a constant non-zero Lie algebra we construct a l.c.K Lie algebra.
We study possible cases of complex simple graded Lie algebras of depth 2, which are the Tanaka prolongations of pseudo $H$-type Lie algebras arising through representation of Clifford algebras. We show that the complex simple Lie algebras of type $B_n$ with $|2|$-grading do not contain non-Heisenberg pseudo $H$-type Lie algebras as their negative nilpotent part, while the complex simple Lie algebras of types $A_n$, $C_n$ and $D_n$ provide such a possibility. Among exceptional algebras only $F_4$ and $E_6$ contain non-Heisenberg pseudo $H$-type Lie algebras as their negative part of $|2|$-gradi…
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 $(\mathfrak{gl}(V),[\cdot,\cdot],\mathsf{Ad})$, and the …
Starting with Lie's classification of finite-dimensional transitive Lie algebras of vector fields on $\mathbb C^2$ we construct Lie algebras of vector fields on the bundle $\mathbb C^2 \times \mathbb C$ by lifting the Lie algebras from the base. There are essentially three types of transitive lifts and we compute all of them for the Lie algebras from Lie's classification. The simplest type of lift is encoded by Lie algebra cohomology.
A new category of Lie algebras, called generalized Lie algebras, is presented such that classical Lie algebras and Lie-Rinehart algebras are objects of this new category. A new philosophy over generalized Lie algebroids theory is presented using the notion of generalized Lie algebra and examples of objects of the category of generalized Lie algebroids are presented. An exterior differential calculus on generalized Lie algebras is pre- sented and a theorem of Maurer-Cartan type is obtained. Supposing that any submodule(vector subbundle) of a generalized Lie algebra(algebroid) is an interior alg…
$k$-Para-Kähler Lie algebras are a generalization of para-Kähler Lie algebras $(k=1)$ and constitute a subclass of $k$-symplectic Lie algebras. In this paper, we show that the characterization of para-Kähler Lie algebras as left symmetric bialgebras can be generalized to $k$-para-Kähler Lie algebras leading to the introduction of two new structures which are different but both generalize the notion of left symmetric algebra. This permits also the introduction of generalized $S$-matrices. We determine then all the $k$-symplectic Lie algebras of dimension $(k+1)$ and all the six dimensional 2-pa…
We characterise Lie groups with bi-invariant bargmannian, galilean or carrollian structures. Localising at the identity, we show that Lie algebras with ad-invariant bargmannian, carrollian or galilean structures are actually determined by the same data: a metric Lie algebra with a skew-symmetric derivation. This is the same data defining a one-dimensional double extension of the metric Lie algebra and, indeed, bargmannian Lie algebras coincide with such double extensions, containing carrollian Lie algebras as an ideal and projecting to galilean Lie algebras. This sets up a canonical correspond…
We define $\mathcal{O}$-operators on a Lie $\infty$-algebra $E$ with respect to an action of $E$ on another Lie $\infty$-algebra and we characterize them as Maurer-Cartan elements of a certain Lie $\infty$-algebra obtained by Voronov's higher derived brackets construction. The Lie $\infty$-algebra that controls the deformation of $\mathcal{O}$-operators with respect to a fixed action is determined.
We present a local and constructive differential geometric description of finite-dimensional solvable and transitive Lie algebras of vector fields. We show that it implies a Lie's conjecture for such Lie algebras. Also infinite-dimensional analytical solvable and transitive Lie algebras of vector fields whose derivative ideal is nilpotent can be adapted to this scheme.
In this paper, first we introduce the notion of quadratic Rota-Baxter Lie algebras of arbitrary weight, and show that there is a one-to-one correspondence between factorizable Lie bialgebras and quadratic Rota-Baxter Lie algebras of nonzero weight. Then we introduce the notions of matched pairs, bialgebras and Manin triples of Rota-Baxter Lie algebras of arbitrary weight, and show that Rota-Baxter Lie bialgebras, Manin triples of Rota-Baxter Lie algebras and certain matched pairs of Rota-Baxter Lie algebras are equivalent. The coadjoint representations and quadratic Rota-Baxter Lie algebras pl…