Solutions of the Yang–Baxter equations on quadratic Lie groups: The case of oscillator groups

A Lie group is called quadratic if it carries a bi-invariant semi-Riemannian metric. Oscillator Lie groups constitute a subclass of the class of quadratic Lie groups. In this paper, we determine the Lie bialgebra structures and the solutions of the classical Yang–Baxter equation on a generic class of oscillator Lie algebras. Moreover, we show that any solution of the generalized classical Yang–Baxter equation (resp. classical Yang–Baxter equation) on a quadratic Lie group determines a left invariant locally symmetric (resp. flat) semi-Riemannian metric on the corresponding dual Lie groups.     

Quantum Lie Algebras, Their Existence, Uniqueness and q-Antisymmetry

Quantum Lie algebras are generalizations of Lie algebras which have the quantum parameter h built into their structure. They have been defined concretely as certain submodules of the quantized enveloping algebras . On them the quantum Lie product is given by the quantum adjoint action. Here we define for any finite-dimensional simple complex Lie algebra an abstract quantum Lie algebra independent of any concrete realization. Its h-dependent structure constants are given in terms of inverse quantum Clebsch-Gordan coefficients. We then show that all concrete quantum Lie algebras are isomorphic to an abstract quantum Lie algebra . In this way we prove two important properties of quantum Lie algebras: 1) all quantum Lie algebras associated to the same are isomorphic, 2) the quantum Lie product of any is q-antisymmetric. We also describe a construction of which establishes their existence. Received: 23 May 1996 / Accepted: 17 October 1996     

Graded Poisson Lie structures on classical complex Lie groups

The external algebra over holomorphic first order differential forms on a complex Lie groupG is endowed with the structure of a graded Poisson Lie algebra. This structure is introduced via graded bicovariant brackets that are shown to be in one to one correspondence withG-invariant tensors of special symmetry. Complete classification of graded Poisson Lie structures defined by homogeneous brackets is obtained for the case of classical complex Lie groups.     

Modular Classes of Regular Twisted Poisson Structures on Lie Algebroids

We derive a formula for the modular class of a Lie algebroid with a regular twisted Poisson structure in terms of a canonical Lie algebroid representation of the image of the Poisson map. We use this formula to compute the modular classes of Lie algebras with a twisted triangular r-matrix. The special case of r-matrices associated to Frobenius Lie algebras is also studied.      

Nambu–Dirac Structures for Lie Algebroids

The theory of Nambu–Poisson structures on manifolds is extended to the context of Lie algebroids in a natural way based on the derived bracket associated with the Lie algebroid differential. A new way of combining Nambu–Poisson structures and triangular Lie bialgebroids is described in this work. Also, we introduce the concept of a higher order Dirac structure on a Lie algebroid. This allows to describe both Nambu–Poisson structures and Dirac structures on manifolds in the same setting.     

General theorems on the combination of relativistic and internal symmetries

Theorems about the structure of a Lie algebra combining the Poincaré Lie algebra and an internal symmetry Lie algebra are derived by general algebraic methods. The physical meaning of certain mathematical results is clarified.     

Fine Gradings on Non-simple Lie Algebras: Example of o(4,C)

On any Lie algebra L, it is of significant convenience to have at one's disposal all the possible fine gradings of L, since they reflect the basic structural properties of the Lie algebra. They also provide useful bases of the representations of the algebra -- namely such bases that are preserved by the commutator.We list all the six fine gradings on the non-simple Lie algebra o(4,C) and we explain their relation to the fine gradings of the Lie algebra sl(2,C) where relevant. The existence of such relation is not surprising, since o(4,C) is in fact a product of two specimen of sl(2,C). The example of o(4,C) is especially important due to the fact that one of its fine gradings is not generated by any MAD-group. This proves that, unlike in the case of classical simple Lie algebras over C, on the non-simple classical Lie algebras over C there can exist a fine grading that is not generated by any MAD-group on the Lie algebra.     

Compatible Lie Bialgebras

A compatible Lie algebra is a pair of Lie algebras such that any linear combination of the two Lie brackets is a Lie bracket.We construct a bialgebra theory of compatible Lie algebras as an analogue of a Lie bialgebra.They can also be regarded as a "compatible version" of Lie bialgebras,that is,a pair of Lie bialgebras such that any linear combination of the two Lie bialgebras is still a Lie bialgebra.Many properties of compatible Lie bialgebras as the "compatible version" of the corresponding properties of Lie bialgebras are presented.In particular,there is a coboundary compatible Lie bialgebra theory with a construction from the classical Yang-Baxter equation in compatible Lie algebras as a combination of two classical Yang-Baxter equations in Lie algebras.Furthermore,a notion of compatible pre-Lie algebra is introduced with an interpretation of its close relation with the classical Yang-Baxter equation in compatible Lie algebras which leads to a construction of the solutions of the latter.As a byproduct,the compatible Lie bialgebras St into the framework to construct non-constant solutions of the classical Yang-Baxter equation given by Golubchik and Sokolov.     

Categorified Symplectic Geometry and the Classical String

A Lie 2-algebra is a ‘categorified’ version of a Lie algebra: that is, a category equipped with structures analogous to those of a Lie algebra, for which the usual laws hold up to isomorphism. In the classical mechanics of point particles, the phase space is often a symplectic manifold, and the Poisson bracket of functions on this space gives a Lie algebra of observables. Multisymplectic geometry describes an n-dimensional field theory using a phase space that is an ‘n-plectic manifold’: a finite-dimensional manifold equipped with a closed nondegenerate (n + 1)-form. Here we consider the case n = 2. For any 2-plectic manifold, we construct a Lie 2-algebra of observables. We then explain how this Lie 2-algebra can be used to describe the dynamics of a classical bosonic string. Just as the presence of an electromagnetic field affects the symplectic structure for a charged point particle, the presence of a B field affects the 2-plectic structure for the string.     

Algebraic deformation program on minimal nilpotent orbit

We construct an algebraic star product on the minimal nilpotent coadjoint orbit of a simple complex Lie group with a Lie algebra which is not of typeA _n. According to the deformation program, we study the representations of the Lie algebra associated to this orbit.     

Casimir Functions for Five-Dimensional Lie Groups with a Non–Semi-Hausdorff Space of Orbits

In the present paper, Lie groups with the multivalued Casimir functions are examined, in particular, a definition of the multivalued Casimir functions is given. It is demonstrated that when a Lie group consists of the essentially multivalued Casimir functions, the space of orbits of the coadjoint representation is non–semi-Hausdorff one, which allows a criterion for identification of these groups to be formulated. As an example, complete involute sets of the Casimir functions are retrieved for all real five-dimensional Lie algebras, and two Lie algebras with a non-Hausdorff space of orbits are identified by this criterion.     

Lie Algebroid Yang–Mills with matter fields

Lie Algebroid Yang–Mills theories are a generalization of Yang–Mills gauge theories, replacing the structural Lie algebra by a Lie Algebroid E$E$. In this note we relax the conditions on the fiber metric of E$E$ for gauge invariance of the action functional. Coupling to scalar fields requires possibly nonlinear representations of Lie Algebroids. In all cases, gauge invariance is seen to lead to a condition of covariant constancy on the respective fiber metric in question with respect to an appropriate Lie Algebroid connection.     

Internally connected graphs and the Kashiwara-Vergne Lie algebra

It is conjectured that the Kashiwara-Vergne Lie algebra \(\widehat{\mathfrak {krv}}_2\) is isomorphic to the direct sum of the Grothendieck-Teichmüller Lie algebra \(\mathfrak {grt}_1\) and a one-dimensional Lie algebra. In this paper, we use the graph complex of internally connected graphs to define a nested sequence of Lie subalgebras of \(\widehat{\mathfrak {krv}}_2\) whose intersection is \(\mathfrak {grt}_1\), thus giving a way to interpolate between these two Lie algebras.     

Quasi-derivations and QD-algebroids

Axioms of Lie algebroid are discussed. In particular, it is shown that a Lie QD-algebroid (i.e. a Lie algebra bracket on the C∞(M)-module ? of sections of a vector bundle E over a manifold M which satisfies [X, ? Y] = ? [X, Y] + A (X, ?)Y for all X, Y ε ?, ? ε C∞(M), and for certain A (X, ?) ε C∞(M)) is a Lie algebroid if rank (E) > 1, and is a local Lie algebra in the sense of Kirillov if E is a line bundle. Under a weak condition also the skew-symmetry of the bracket is relaxed.     

An existence result for super Lie groups

An analogue of the classical global third Lie theorem is proved to hold for super Lie groups whose ground Banach—Grassmann algebra is (possibly) infinite-dimensional, provided that this algebra has an ordered basis. It is also proved that the superanalytic structure of a connected super Lie group having a prescribed Lie module is unique, although in a weaker sense than in the case of ordinary Lie groups.Work partly supported by the National Group for Mathematical Physics (GNFM) of the Italian National Research Council (CNR), and by the Italian Ministry of Education through the research project Geometry and Physics.     

Composition of Lie Group Elements from Basis Lie Algebra Elements

It is shown explicitly how one can obtain elements of Lie groups as compositions of products of other elements based on the commutator properties of associated Lie algebras. Problems of this kind can arise naturally in control theory. Suppose an apparatus has mechanisms for moving in a limited number of ways with other movements generated by compositions of allowed motions. Two concrete examples are: (1) the restricted parallel parking problem where the commutator of translations in y and rotations in the xy-plane yields translations in x. Here the control problem involves a vehicle that can only perform a series of translations in y and rotations with the aim of efficiently obtaining a pure translation in x; (2) involves an apparatus that can only perform rotations about two axes with the aim of performing rotations about a third axis. Both examples involve three-dimensional Lie algebras. In particular, the composition problem is solved for the nine three- and four-dimensional Lie algebras with non-trivial solutions. Three different solution methods are presented. Two of these methods depend on operator and matrix representations of a Lie algebra. The other method is a differential equation method that depends solely on the commutator properties of a Lie algebra. Remarkably, for these distinguished Lie algebras the solutions involve arbitrary functions and can be expressed in terms of elementary functions.     

Lie Algebras and Superalgebras Defined by a Finite Number of Relations: Computer Analysis

Abstract

The presentation of Lie (super)algebras by a finite set of generators and defining relations is one of the most general mathematical and algorithmic schemes of their analysis. It is very important, for instance, for investigation of the particular Lie (super)algebras arising in different (super)symmetric physical models. Generally, one can put the following question: what is the most general Lie algebra or superalgebra satisfying to the given set of Lie polynomial equations? To solve this problem, one has to perform a large volume of algebraic transformations which sharply increases with growth of the number of generators and relations. By this reason, in practice, one needs to use a computer algebra tool. We describe here an algorithm and its implementation in C for constructing the bases of finitely presented Lie (super)algebras and their commutator tables.     

Generalized Lie bialgebroids and Jacobi structures

The notion of a generalized Lie bialgebroid (a generalization of the notion of a Lie bialgebroid) is introduced in such a way that a Jacobi manifold has associated a canonical generalized Lie bialgebroid. As a kind of converse, we prove that a Jacobi structure can be defined on the base space of a generalized Lie bialgebroid. We also show that it is possible to construct a Lie bialgebroid from a generalized Lie bialgebroid and, as a consequence, we deduce a duality theorem. Finally, some special classes of generalized Lie bialgebroids are considered: triangular generalized Lie bialgebroids and generalized Lie bialgebras.     

Geometric significance of the spinor Lie derivative. I

In a previous article, the writer explored the geometric foundation of the generally covariant spinor calculus. This geometric reasoning can be extended quite naturally to include the Lie covariant differentiation of spinors. The formulas for the Lie covariant derivatives of spinors, adjoint spinors, and operators in spin space are deduced, and it is observed that the Lie covariant derivative of an operator in spin space must vanish when taken with respect to a Killing vector. The commutator of two Lie covariant derivatives is calculated; it is noted that the result is consistent with the geometric interpretation of the Jacobi identity for vectors. Lie current conservation is seen to spring from the result that the operator of spinor affine covariant differentiation commutes with the operator of spinor Lie covariant differentiation with respect to a Killing vector. It is shown that differentiations of the spinor field defined geometrically are Lorentz-covariant.