Next Article in Journal
Assessing Determinants of Continuance Intention towards Personal Cloud Services: Extending UTAUT2 with Technology Readiness
Next Article in Special Issue
In Vacuo Dispersion-Like Spectral Lags in Gamma-Ray Bursts
Previous Article in Journal
Theoretical Study of closo-Borate Anions [BnHn]2− (n = 5–12): Bonding, Atomic Charges, and Reactivity Analysis
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Darboux Families and the Classification of Real Four-Dimensional Indecomposable Coboundary Lie Bialgebras

by
Javier de Lucas
*,† and
Daniel Wysocki
Department of Mathematical Methods in Physics, University of Warsaw, ul. Pasteura 5, 02-093 Warsaw, Poland
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Symmetry 2021, 13(3), 465; https://doi.org/10.3390/sym13030465
Submission received: 10 February 2021 / Revised: 5 March 2021 / Accepted: 7 March 2021 / Published: 12 March 2021
(This article belongs to the Special Issue Quantum Group Symmetry and Quantum Geometry)

Abstract

:
This work introduces a new concept, the so-called Darboux family, which is employed to determine coboundary Lie bialgebras on real four-dimensional, indecomposable Lie algebras, as well as geometrically analysying, and classifying them up to Lie algebra automorphisms, in a relatively easy manner. The Darboux family notion can be considered as a generalisation of the Darboux polynomial for a vector field. The classification of r-matrices and solutions to classical Yang–Baxter equations for real four-dimensional indecomposable Lie algebras is also given in detail. Our methods can further be applied to general, even higher-dimensional, Lie algebras. As a byproduct, a method to obtain matrix representations of certain Lie algebras with a non-trivial center is developed.

1. Introduction

Lie bialgebras [1,2,3,4] appeared as a tool to study integrable systems [5,6]. A Lie bialgebra is a Lie algebra g , along with a Lie bracket on its dual space g * , which amounts to a cocycle in a Chevalley–Eilenberg cohomology of g . Lie bialgebras have also applications in quantum gravity [7,8,9,10] and other research fields [1,4,11]. In differential geometry, they occur in the problem of classifying Poisson Lie groups [1,12].
Although much research has been devoted to the classification of Lie bialgebras up to Lie algebra automorphisms, there are still many open problems. More specifically, Lie bialgebras on two- and three-dimensional Lie algebras g have been completely classified [13,14]. Particular instances of Lie bialgebras with dim g > 3 , e.g., for a semi-simple g , have also been studied [11,15,16,17,18,19,20]. Employed techniques are rarely non-algebraic (cf. [21]) and they are not very effective to analyse Lie bialgebras when dim g > 3 [1,13,14,20,21]. This motivates the search for new approaches to the study and classification of Lie bialgebras [21]. In particular, here, we are interested in geometric approaches.
A coboundary Lie bialgebra is a particular type of Lie bialgebra that is characterised by means of an r-matrix, namely a bivector on a Lie algebra g that is a solution to its modified classical Yang–Baxter equation (mCYBE) [1,14]. This work introduces novel geometric techniques to classify, up to Lie algebra automorphisms, coboundary Lie bialgebras and their r-matrices on a fixed Lie algebra, g .
In particular, we introduce a generalisation, the so-called Darboux family, of the notion of Darboux polynomial for a polynomial vector field. On a finite-dimensional vector space E, a polynomial function is a polynomial expression on a set of linear coordinates on E. A Darboux polynomial, P, for a polynomial vector field X on E, is a polynomial function on E so that X P = f P for a certain polynomial f on E, the so-called cofactor of P relative to X [22,23]. It is worth noting that, geometrically, one cannot intrinsically define what a polynomial on a general manifold is, as the explicit form of a function on a manifold depends on the chosen coordinate system.
More generally, let us consider a q-dimensional Lie algebra of vector fields, let us say V : = X 1 , , X q , on a manifold M. A Darboux family for V is an s-dimensional vector space A : = f 1 , , f s of smooth functions on M, such that X α f β = γ = 1 s g α β γ f γ for certain smooth functions g α β γ C ( M ) with α = 1 , , q and β , γ = 1 , , s . In this work, Darboux families are studied and employed to classify, up to Lie algebra automorphisms, the r-matrices and coboundary Lie bialgebras on real four-dimensional Lie algebras that are indecomposable [24], i.e., they cannot be written as a direct sum of two proper ideals, namely ideals that are different for the zero and the total Lie algebra. Nevertheless, our methods can also be applied to any other Lie algebra.
Let Aut ( g ) stand for the Lie group of Lie algebra automorphisms of a Lie algebra g . Then, Aut ( g ) naturally acts on the space Λ 2 g of bivectors [25] of g and, more specifically, on the space Y g Λ 2 g of solutions to the mCYBE on g (see [1,21]). The classes of equivalent r-matrices (up to Lie algebra automorphisms of g ) are given by the orbits of the action of Aut ( g ) on Y g . Characterising and analysing such orbits is, in general, complicated, even when the form of Aut ( g ) is explicitly known (see [13] for a typical algebraic approach to Lie bialgebras on three-dimensional Lie algebras). Most techniques in the literature are algebraic [13,14]. Instead, we here use a more geometrical approach. Let us sketch our main ideas. We use a simple method (see Proposition 2 and Remark 1) to determine the Lie algebra of fundamental vector fields, V g , of the action of Aut ( g ) on Λ 2 g . Our technique does not require knowledge of the explicit form of Aut ( g ) . Instead, it is enough to know the space of derivations on g , which can be derived by solving a linear system of algebraic equations. We show that the orbits of the connected part of Aut ( g ) , containing its neutral element, Aut c ( g ) , are the integral connected submanifolds of the generalised distribution, E g , spanned by the vector fields of V g (see [26,27,28,29,30,31] for general results on generalised distributions). In fact, as V g is a finite-dimensional Lie algebra, E g is integrable [27]. Finding the integral connected submanifolds of a generalised distribution, its so-called strata, is more complicated than finding the leaves of standard distributions because strata cannot always be determined by a family of common first-integrals for the elements of V g , as happens in the case of distributions (cf. [25,32]). We determine them here via our Darboux families, which is relatively easy, as illustrated by our examples. Once the strata of E g in Y g have been obtained, the use of the action on such strata of an element of each connected part of Aut ( g ) allows us to determine the orbits of Aut ( g ) on Y g , which gives us the desired classification of r-matrices. Note that our method relies on the determination of a single element of each connected component of Aut ( g ) and, more relevantly, does not need the explicit action of the whole Aut ( g ) on Λ 2 g .
It is known that two r-matrices for g that are not equivalent up to a Lie algebra automorphism may give rise to coboundary Lie bialgebras that are equivalent up to a Lie algebra automorphism (cf. [1,21]). Let ( Λ 2 g ) g be the space of bivectors of g that are invariant relative to the action of elements of g via the algebraic Schouten bracket [1,21]. In our work, we prove that the orbits of Aut ( g ) on Y g that project onto the same orbit of the natural action of Aut ( g ) on Λ 2 g / ( Λ 2 g ) g (see [21]) are exactly the r-matrices that lead to equivalent (up to Lie algebra automorphisms) coboundary Lie bialgebras on g .
Our methods are computationally affordable for the study and classification of general coboundary Lie bialgebras with three- and four-dimensional g . Our techniques are, quite probably, appropriate for looking into and classifying Lie bialgebras on any five-dimensional g and, possibly, for other particular instances of higher-dimensional Lie algebras g . Indeed, our procedures lead to the classification of real coboundary Lie bialgebras, up to Lie algebra automorphisms, on any four-dimensional indecomposable Lie algebra g (see [24] for a classification of indecomposable Lie algebras up to dimension six). Our results are summarised in Table 1. This is a remarkable advance relative to other classification works in the literature [13,14,20]. Indeed, the most complicated classification in the literature to date is probably the classification of Lie bialgebras on symplectic four-dimensional Lie algebras [20]. Additionally, other four-dimensional Lie bialgebras have been partially studied in the mathematics and physics literature (see [7,11,15,17,19,33,34,35,36] and references therein). As a byproduct of our research, a method for the matrix representation of a class of finite-dimensional Lie algebras with a non-trivial center, which cannot be represented through the matrices of the adjoint representation, is given. This is interesting not only for our purposes, but also in many other works where such a representation is employed in practical calculations, e.g., [37].
The structure of the paper is as follows. Section 2 surveys the main notions regarding Lie bialgebras and their derivations, g -modules, and the notation to be used. In Section 3, the theory of generalised distributions is discussed. A method to obtain a matrix representation of a class of Lie algebras with a non-trivial center is given in Section 4. Section 5 introduces the Darboux families and shows how they can be used to classify r-matrices on the Lie algebra s 4 , 1 (according to Šnobl and Winternitz’s notation in [24]), up to Lie algebra automorphisms thereof. Section 6 analyses several geometric properties of solutions to mCYBEs and it also provides some hints on the use Darboux families to study the equivalence up to Lie algebra automorphisms of r-matrices and coboundary Lie bialgebras. In Section 7, Darboux families are applied to the study and classification of coboundary Lie bialgebras on real four-dimensional indecomposable Lie algebras. Section 8 summarises our results and presents some further work. which is still in progress.

2. Fundamentals on Lie Bialgebras and Their Derivations

Let us provide a brief account on the notions of Lie bialgebras, Schouten brackets, and g -modules to be used hereafter (see [1,4,31] for further details). Some simple results on the geometric properties of the action of Aut ( g ) on spaces of k-vectors are provided. Our approach is more geometric than in standard works on Lie bialgebras. We hereafter assume that g and E are a finite-dimensional real Lie algebra and a finite-dimensional real vector space, respectively. Meanwhile, G L ( E ) and gl ( E ) stand for the Lie group of automorphisms and the Lie algebra of endomorphisms on E, respectively.
Let V m M be the vector space of m-vector fields on a manifold M. The Schouten–Nijenhuis bracket [31,38] on V M : = m Z V m M is the unique bilinear map [ · , · ] : V M × V M V M satisfying that
[ f , g ] = 0 ,
[ X 1 X s , f ] : = ι d f X 1 X s : = i = 1 s ( 1 ) i + 1 ( X i f ) X 1 X i ^ X s ,
[ X 1 X s , Y 1 Y l ] : = i = 1 , , s j = 1 , , l ( 1 ) i + j [ X i , Y j ] X 1 X ^ i X s Y 1 Y ^ j Y l ,
where f , g C ( M ) , s , l N , the X 1 , , X s , Y 1 , , Y l are arbitrary vector fields on M, an omitted vector field X is denoted by the hat symbol X ^ , and [ X i , Y j ] is the Lie bracket (we denote similar structures with the same symbol, but their meaning is clear from the context) of X i and Y j (see [38] for more details). Remarkably, [ X , Y ] V s + l 1 for X V s M and Y V l M . The space, V L G , of left-invariant elements of V G for a Lie group G is closed relative to [ · , · ] . In particular, left-invariant vector fields on G, i.e., V L 1 G , span a finite-dimensional Lie algebra called the Lie algebra of G, which can be identified with T e G [25]. Vice versa, every abstract finite-dimensional Lie algebra g can be thought of as the Lie algebra of left-invariant vector fields of a Lie group [39]. Meanwhile, V L G can be identified with the Grassmann algebra Λ g , namely the algebra relative to the exterior product spanned by all the multivectors of the Lie algebra, g , of G [40]. Moreover, [ · , · ] can be restricted to V L G , leading to the algebraic Schouten bracket on Λ g [21,31]. For simplicity, we call this the Schouten bracket on Λ g . Recall that the Grassmann algebra Λ E of a vector space E satisfies that Λ E = m Z Λ m E , where Λ m E is the vector space of m-vectors of E.
A Lie bialgebra is a pair ( g , δ ) , where g admits a Lie bracket [ · , · ] g , whilst δ : g Λ 2 g , the cocommutator, is a linear map, its transpose δ * : Λ 2 g * g * is a Lie bracket on g * , and
δ ( [ v 1 , v 2 ] g ) = [ v 1 , δ ( v 2 ) ] + [ δ ( v 1 ) , v 2 ] , v 1 , v 2 g .
A Lie bialgebra homomorphism is a Lie algebra homomorphism ϕ : g h between Lie bialgebras ( g , δ g ) and ( h , δ h ) , such that ( ϕ ϕ ) δ g = δ h ϕ . A coboundary Lie bialgebra is a Lie bialgebra ( g , δ r ) such that δ r ( v ) : = [ v , r ] for every v g and some r Λ 2 g , a so-called r-matrix. To characterise r-matrices, we use the following notions and Theorem 1. The standard identification of an abstract Lie algebra g with the Lie algebra of left-invariant vector fields on a Lie group G allows us to understand the tensor algebra T ( g ) of g as the tensor algebra, T L ( G ) , of left-invariant tensor fields on G. This gives rise to a Lie algebra representation ad : v g ad v gl T ( g ) , where ad v ( w ) : = L v w for every w T ( g ) and L v w is the Lie derivative of w relative to v, which are understood as elements in T L ( G ) in the natural way. Note that the geometric notation L v w is conciser than algebraic ones (cf. [1]). An element q T ( g ) is called g -invariant if L v q = 0 for all v g . We write ( T ( g ) ) g for the set of g -invariant elements of T ( g ) . The map ad : g gl ( T ( g ) ) admits a restriction ad : g gl ( Λ m g ) . We recall that ( Λ m g ) g stands for the space of g -invariant m-vectors. Let us recall the following well-known result.
Theorem 1.
The map δ r : v g [ v , r ] Λ 2 g , for r Λ 2 g , is a cocommutator if and only if [ r , r ] ( Λ 3 g ) g .
We call [ r , r ] ( Λ 3 g ) g the modified classical Yang–Baxter equation (mCYBE) of g , while [ r , r ] = 0 is referred to as the classical Yang–Baxter equation (CYBE) of g and its solutions amount to left-invariant Poisson bivectors on any Lie group G with Lie algebra isomorphic to g [31].
Note that two r-matrices, r 1 , r 2 Λ 2 g , satisfy that δ r 1 = δ r 2 if and only if r 1 r 2 ( Λ 2 g ) g . Then, what really matters to the determination of coboundary Lie bialgebras is not r-matrices, but their equivalence classes in the quotient space Λ R 2 g : = Λ 2 g / ( Λ 2 g ) g .
A g -module is a pair ( V , ρ ) , where ρ : v g ρ v gl ( V ) is a Lie algebra morphism. A g -module ( V , ρ ) will be represented just by V, while ρ v ( x ) , for any v g and x V , will be written simply as v x if ρ is understood from the context. If ad : v g [ v , · ] g gl ( g ) stands for the adjoint representation of g , then the fact that each [ v , · ] g , with v g , is a derivation of the Lie algebra g (relative to its Lie bracket [ · , · ] g ) allows us to ensure that ( g , ad ) is a g -module [41]. The map ad can be considered as a mapping of the form ad : g der ( g ) , where der ( g ) is the Lie algebra of derivations on g . As a second relevant example of the g -module, consider the Lie group Aut ( g ) of the Lie algebra automorphisms of g (see [42] for details on its Lie group structure) and its Lie algebra, which is denoted by aut ( g ) . The tangent map at the identity map on g , let us say, id g Aut ( g ) , to the injection ι : Aut ( g ) G L ( g ) induces a Lie algebra morphism ad ^ : aut ( g ) T id g Aut ( g ) gl ( g ) T id g G L ( g ) and ( g , ad ^ ) becomes an aut ( g )-module.
In view of the properties of the algebraic Schouten bracket, each g gives rise to a g -module ( Λ g , ad ) , where ad : v g [ v , · ] gl ( Λ g ) (cf. [31]). This fact can be viewed as a consequence of ([21] Proposition 2.1). To grasp this result and related ones, recall that every T gl ( E ) gives rise to the mappings Λ m T : λ Λ m E 0 Λ m E for m 0 , and the maps Λ m T gl ( Λ m E ) , for m > 0 , given by the restriction to Λ m E of Λ m T : = T id id ( m operators ) + + id id T ( m operators ) , where id is the identity on E. Moreover, Λ T : = m Z Λ m T gl ( Λ E ) . If T is considered as an element of G L ( E ) , we define Λ m T : = T T ( m operators ) for m 1 and Λ m T is the identity on Λ m E for m 0 . Finally, Λ T : = m Z Λ m T .
The Lie group Aut ( g ) gives rise to a Lie group action T Aut ( g ) Λ m T G L ( Λ m g ) . Moreover, this gives rise to an infinitesimal Lie group action ρ : aut ( g ) gl ( Λ m g ) such that
[ ρ ( d ) ] ( w ) : = d d t | t = 0 [ Λ m exp ( t d ) ] ( w ) = ( Λ m d ) ( w ) , d aut ( g ) , w Λ m g .
We write V g for the Lie algebra of fundamental vector fields of this Lie group action for m = 2 . Recall that aut ( g ) is indeed the space of derivations on g (cf. [21]). The following result was proved in [21].
Proposition 1.
The dimension of the orbit O w of the action of Inn ( g ) on Λ m g through w Λ m g is dim Im Θ w m , where Θ w m : v inn ( g ) [ v , w ] Λ m g .
In this work, we will use the following, rather straightforward, generalisation of Proposition 1.
Proposition 2.
The dimension of the orbit O w of the action of Aut ( g ) on Λ m g through w Λ m g is dim Im Υ w m , where Υ w m : d der ( g ) ( Λ m d ) ( w ) Λ m g .
Proof. 
The orbit of w Λ m g relative to Aut ( g ) is given by the points ( Λ m T ) ( w ) for every T Aut ( g ) . Define exp ( t d ) = : T t , with t R , for d der ( g ) . Then, the tangent space at w of O w is spanned by the tangent vectors
d d t | t = 0 [ Λ m exp ( t d ) ] ( w ) = ( Λ m d ) ( w ) T w Λ m g Λ m g .
Then, dim O w = dim der ( g ) dim g w , where G w is the isotropy group of w Λ m g relative to the action of Aut ( g ) and g w is the Lie algebra of G w . Moreover, g w is given by those d der ( g ) such that ( Λ m d ) ( w ) = 0 . This amounts to d ker Υ w m . Hence, dim O w = dim der ( g ) dim g w = dim Im Υ w m . □
Remark 1.
As a byproduct, Proposition 2 shows that the fundamental vector fields of the natural Lie group action of Aut ( g ) on Λ 2 g are spanned by X v 2 ( w ) = i = 1 s [ Υ w 2 ] i x i , where x 1 , , x s is any linear coordinate system on Λ 2 g , the w is any point in Λ 2 g , and v belongs to der ( g ) . Moreover, the coordinates of such vector fields are the coordinates of the extensions to Λ 2 g of the derivations of g , which can easily be obtained as the solutions, d, to the linear problem
d ( [ e 1 , e 2 ] ) = [ d ( e 1 ) , e 2 ] + [ e 1 , d ( e 2 ) ] , e 1 , e 2 g .

3. Generalised Distributions

In this work, we want to show that the problem of determining equivalent r-matrices up to Lie algebra automorphisms can be significantly simplified by studying the strata of the so-called generalised distributions [27,29,30,31]. Let us detail some useful facts on these geometric entities. Unless otherwise stated, we assume all objects to be smooth and globally defined. Hereafter, X ( M ) stands for the Lie algebra of vector fields on M.
A generalised distribution (also called a Stefan–Sussmann distribution) on a manifold M is a correspondence D attaching each x M to a subspace D x T x M . We call rank of D at x the dimension of D x . A generalised distribution need not have the same rank at every point of M. If D has the same rank at every point of M, then D is said to be regular or D is simply called a distribution. Otherwise, D is said to be singular. A generalised distribution D on M is involutive if every two vector fields taking values in D satisfy that their Lie bracket takes values in D as well.
A stratification, let us say F , on a manifold M is a partition of M into connected disjoint immersed submanifolds { F k } k I , where I is a certain set of indices, i.e., M = k I F k and the submanifolds { F k } k I satisfy F k F k = for k k and k , k I . The connected immersed submanifolds F k , with k I , are called the strata of the stratification. A stratification is regular if its strata are immersed submanifolds of the same dimension, whilst it is singular otherwise. Regular stratifications are called foliations and their strata are called leaves. The tangent space to a stratum, F k , of a stratification passing through a point x M is a subspace D x T x M . All the subspaces D x T x M for every point x M give rise to a generalised distribution D : = x M D x on M. All the leaves of a foliation have the same dimension and, therefore, the generalised distribution formed by the tangent spaces at every point to its leaves is regular. Meanwhile, a singular stratification gives rise to a singular generalised distribution.
In this work, we are specially interested in generalised distributions generated by finite-dimensional Lie algebras of vector fields, the so-called Vessiot–Guldberg Lie algebras [43]. More specifically, let V be a Vessiot–Guldberg Lie algebra, the vector fields of V span a generalised distribution D V given by
D x V : = { X x : X V } T x M , x M .
Since the space of vector fields tangent to the strata of a stratification are closed under Lie brackets, the Lie bracket of vector fields on M taking values in a distribution D can be restricted to each one of its strata. A generalised distribution D on M is integrable if there exists a stratification F on M such that each stratum F k thereof satisfies T x F k = D x for every x F k . A relevant question is whether a generalised distribution on M is integrable of not. For regular distributions, the Frobenius theorem holds [27,44].
Theorem 2.
If D is a distribution on a manifold M, then D is integrable if, and only if, it is involutive.
Involutivity is a natural necessary condition for a generalised distribution to be integrable because the set of vector fields tangent to any stratum of a stratification is involutive. Nevertheless, if a generalised distribution is not regular, its involutiveness does not necessarily imply its integrability. If a generalised distribution D on M is analytical, i.e., for every x M there exists a family of analytical vector fields taking values in D and spanning D x for every x in an open neighbourhood of x, one has the following proposition.
Theorem 3
([27] and Nagano [28]). Let M be a real analytic manifold, and let V be a sub-Lie algebra of analytic vector fields on M. Then, the induced analytic distribution D V is integrable.
If a generalised distribution is not analytical, the Stefan–Sussmann’s theorem establishes additional conditions to involutivity to ensure integrability. We are more interested in the following result, which ensures integrability in a particular case of relevance to us.
Theorem 4
(Hermann [26] and [27]). Let M be a smooth manifold. If V is a finite-dimensional Lie subalgebra of X ( M ) , then the distribution D V is integrable.
One relevant problem concerns the determination of the form of the strata of a stratification. If a stratification is regular on an open subset U M , then one can locally define a set of functionally independent functions whose level sets are the strata of the stratification. Indeed, this amounts to the integration of a standard distribution. If a stratification is singular, the previous statement is no longer true and other methods are needed. The following facts are useful to understand further parts of this work. First, given a point x M and a Vessiot–Guldberg Lie algebra V on M, the stratum F k of the generalised distribution D V passing through x is given by the points of the form [29]
exp ( X 1 ) exp ( X 2 ) exp ( X s ) x ,
where s is any natural number, X 1 , , X s are any vector fields of V, and each exp ( X ) stands for the local diffeomorphism on M induced by the vector field X on M. Let f be a function on M such that if X V , then there exists a function f X C ( M ) such that X f = f X f . This can be considered as a not necessarily polynomial analogue of a Darboux function for a vector field. Let us assume that f = 0 at a point of F k . It immediately follows from (4) that f vanishes on the whole F k . Hence, two points x 1 , x 2 M such that f ( x 1 ) f ( x 2 ) cannot belong to the same F k . As shown in following sections, f does not need to be a constant of motion of the vector fields in V. This is especially relevant when determining the strata of an integrable singular generalised foliation, as their strata cannot always be determined locally, as the zeroes of a family of common first-integrals of the vector fields of V. Meanwhile, this can always be achieved locally for the leaves of an integrable distribution [25,31].

4. Obtaining a Matrix Representation for a Lie Algebra with Nontrival Center

If a Lie algebra g has a nontrivial center, then the image of the map ad : g v [ v , · ] gl ( g ) is a matrix Lie algebra that is not isomorphic to g . Hence, the image of ad does not give a matrix algebra representation of g , which may give rise to a problem, as matrix Lie algebra representation is quite practical in computations [37]. The aim of this section is to provide a method to obtain a matrix Lie algebra isomorphic to g when its center, Z ( g ) , is not trivial, namely Z ( g ) 0 , and g satisfy some additional conditions. Our method is to be employed in the rest of our work during calculations.
Let { e 1 , , e s , e s + 1 , , e n } be a basis of g such that { e 1 , , e s } form a basis for Z ( g ) . Let c i j k , with i , j , k = 1 , , n , be the structure constants of g in the given basis, i.e., [ e i , e j ] = k = 1 n c i j k e k for i , j = 1 , , n . Define then g ˜ : = e 1 , , e n , e . Let us determine the conditions, ensuring that g ˜ is a Lie algebra relative to a Lie bracket, [ · , · ] g ¯ , that is an extension of the Lie bracket on g , i.e., [ e , e ] g ¯ = [ e , e ] g for every e , e g , and [ e , e i ] g ¯ = α i e i for i = 1 , , n so that
α 1 · α 2 · · α s 0 .
The meaning of the last condition will become clear. If [ · , · ] g ¯ is to be a Lie bracket, its Jacobi identity leads to the following conditions
[ e , [ e i , e j ] g ¯ ] g ¯ = [ [ e , e i ] g ¯ , e j ] g ¯ + [ e i , [ e , e j ] g ¯ ] g ¯ k = 1 n α k c i j k e k = k = 1 n ( α i + α j ) c i j k e k , [ e , [ e , e j ] g ¯ ] g ¯ = [ [ e , e ] g ¯ , e j ] g ¯ + [ e , [ e , e j ] g ¯ ] g ¯ = [ e , [ e , e j ] g ¯ ] g ¯ ,
for all i , j = 1 , , n . Thus, previous conditions can be reduced to requiring that, for those indices i , j , k satisfying c i j k 0 , one obtains
α i + α j = α k .
If the latter condition is satisfied, a new Lie algebra g ˜ arises. Note that g is an ideal of g ˜ . This leads to a Lie algebra morphism R : v g R v : = [ v , · ] g ˜ gl ( g ˜ ) . If R v = 0 , then [ v , e i ] g ˜ = 0 for i = 1 , , n , which means that v Z ( g ) . Thus, v = i = 1 s λ i e i for certain constants λ 1 , , λ s and 0 = [ e , v ] g ˜ = i = 1 s λ i α i e i . Then, condition (5) yields λ 1 = = λ s = 0 and it can be seen that v = 0 . Hence, the elements R v , with v g , span a matrix Lie algebra of endomorphisms on g ˜ isomorphic to g .
It is clear that conditions (5) and (6) do not need to be satisfied for a general Lie algebra g with a nontrivial center. Nevertheless, in this work, it was observed that this method works for all indecomposable, real, four-dimensional Lie algebras with a non-trivial center (see [24] for a complete list of such Lie algebras). This will be enough for our purposes.
Let us illustrate our method. Consider the Lie algebra s 1 = e 1 , e 2 , e 3 , e 4 with non-vanishing commutation relations [ e 4 , e 2 ] = e 1 , [ e 4 , e 3 ] = e 3 . Let us construct a new Lie algebra g ˜ = e 1 , e 2 , e 3 , e 4 , e following (5) and (6). This gives rise to the following system of equations
α 4 + α 2 = α 1 , α 4 + α 3 = α 3 , α 1 0 .
We have that Z ( s 1 ) = e 1 . The previous system, under the corresponding restriction (5), has a solution α 4 = 0 , α 3 R , α 2 = α 1 , α 1 R \ { 0 } . In particular, set α 2 = α 1 = 1 and α 3 = 0 . Thus, the endomorphisms R e i on g ˜ read
R e 1 = 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 , R e 2 = 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 , R e 3 = 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 , R e 4 = 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 .
As desired, the above matrices have the same non-vanishing commutation relations as s 1 , i.e.,
[ R e 4 , R e 2 ] = R e 1 , [ R e 4 , R e 3 ] = R e 3 .
Let us prove that not every Lie algebra g with non-trivial center admits an extended Lie algebra g ˜ of the form required by our method. Consider the Lie algebra s 6 , 231 = e 1 , , e 6 with nonzero commutation relations (see [24] for details):
[ e 2 , e 3 ] = e 1 , [ e 5 , e 1 ] = e 1 , [ e 5 , e 2 ] = e 2 , [ e 6 , e 1 ] = e 1 , [ e 6 , e 3 ] = e 3 , [ e 6 , e 5 ] = e 4 .
Thus, Z ( s 4 , 231 ) = e 4 . The corresponding system of Equation (6) reads
α 2 + α 3 = α 1 , α 5 + α 1 = α 1 , α 5 + α 2 = α 2 , α 6 + α 1 = α 1 , α 6 + α 3 = α 3 , α 6 + α 5 = α 4 .
Then, α 5 = 0 , α 6 = 0 and α 4 = α 5 = 0 , which contradicts the assumption of our method (6), namely α 4 0 .
Consider the seven-dimensional Lie algebra g : = e 1 , , e 7 with Z ( g ) = e 7 and nonzero commutation relations (cf. [45], p. 492, case 7 I )
[ e 1 , e 2 ] = e 3 , [ e 1 , e 3 ] = e 4 , [ e 1 , e 4 ] = e 5 , [ e 1 , e 6 ] = e 7 , [ e 2 , e 3 ] = e 6 , [ e 2 , e 4 ] = e 7 , [ e 2 , e 5 ] = e 7 , [ e 2 , e 6 ] = e 7 , [ e 3 , e 4 ] = e 7 .
The corresponding system (6) reads
( i ) α 1 + α 2 = α 3 , ( ii ) α 1 + α 3 = α 4 , ( iii ) α 1 + α 4 = α 5 , ( iv ) α 1 + α 6 = α 7 , ( v ) α 2 + α 3 = α 6 , ( vi ) α 2 + α 4 = α 7 , ( vii ) α 2 + α 5 = α 7 , ( viii ) α 2 + α 6 = α 7 , ( ix ) α 3 + α 4 = α 7 .
From (vii) and (viii), we obtain α 5 = α 6 ; from (vi) and (ix), we obtain α 2 = α 3 ; and from (iv) and (viii), we obtain α 1 = α 2 . Thus, α 1 = α 2 = α 3 . From (i), it follows that α 1 = 0 . Thus, α 2 = α 3 = 0 . From (ii), we obtain α 4 = 0 and (iii) yields α 5 = 0 . From (iv), one obtains α 6 = α 7 . From (ix), we obtain α 7 = 0 , and thus α 6 = 0 . Therefore, α 1 = = α 7 = 0 is the only possibility, but it does not satisfy (5).

5. Darboux Families and the Lie Algebra s 1

Let us classify solutions to the mCYBE for the Lie algebra s 1 up to its Lie algebra automorphisms. As a byproduct, we introduce a generalisation of the concept of Darboux polynomial of a vector field.
The space of derivations on s 1 can be straightforwardly obtained. This is indeed the solution of a linear algebra problem that can be easily solved by hand calculation and/or via any mathematical computation program. The same could be achieved for any four, five, or even some other higher-dimensional Lie algebra. In particular, derivations on s 1 take the form
der ( s 1 ) = μ 11 μ 12 0 μ 14 0 μ 11 0 μ 24 0 0 μ 33 μ 34 0 0 0 0 : μ 11 , μ 12 , μ 33 , μ 14 , μ 24 , μ 34 R
in the basis { e 1 , e 2 , e 3 , e 4 } appearing in Table 2. By Proposition 2 and, more specifically, Remark 1, the Lie algebra V s 1 of fundamental vector fields of the natural Lie group action of Aut ( s 1 ) on Λ 2 s 1 is spanned by the basis (over the reals)
X 1 = 2 x 1 x 1 + x 2 x 2 + x 3 x 3 + x 4 x 4 + x 5 x 5 , X 2 = x 4 x 2 + x 5 x 3 , X 3 = x 5 x 1 x 6 x 2 , X 4 = x 3 x 1 x 6 x 4 , X 5 = x 2 x 2 + x 4 x 4 + x 6 x 6 , X 6 = x 3 x 2 + x 5 x 4 .
As X 1 , , X 6 close on a finite-dimensional Lie algebra, Theorem 4 shows that they span an integrable generalised distribution D V s 1 on Λ 2 s 1 . In view of (4), the strata of D V s 1 are the orbits of the action of the connected part of the identity of Aut ( g ) , let us say Aut c ( s 1 ) , on Λ 2 s 1 .
We define M ( p ) as a matrix whose entry ( i , j ) is the j-coefficient of X i at p Λ 2 s 1 in the basis x 1 | p , , x 6 | p , namely
M ( p ) : = 2 x 1 x 2 x 3 x 4 x 5 0 0 x 4 x 5 0 0 0 x 5 x 6 0 0 0 0 x 3 0 0 x 6 0 0 0 x 2 0 x 4 0 x 6 0 x 3 0 x 5 0 0 , p : = ( x 1 , , x 6 ) Λ 2 s 1 .
The rank of D V s 1 at p Λ 2 s 1 is equal to the rank of M ( p ) . It is simple to calculate that the mCYBE for s 1 is given by the common zeroes of the functions on Λ 2 s 1 of the form
f 1 : = x 3 x 4 , f 2 : = x 3 x 6 , f 3 : = x 5 2 .
It is immediate that the space of solutions to the mCYBE, let us say Y s 1 , is not a submanifold in Λ 2 s 1 . Nevertheless,
X i f j = k = 1 3 λ i j k f k , i = 1 , , 6 , j = 1 , 2 , 3 ,
for certain constants λ i j k , with i = 1 , , 6 and j , k = 1 , 2 , 3 . Relations (10) show that the integral curves of any vector field in V s 1 passing through w Y s 1 is contained in Y s 1 . In fact, the derivative of the functions f 1 , f 2 , f 3 along an integral curve, Ψ ( t ) , of a vector field X j V s 1 such that Ψ ( 0 ) Y s 1 reads
d f i ( Ψ ( t ) ) d t = ( X j f i ) ( Ψ ( t ) ) = k = 1 3 λ j i k f k ( Ψ ( t ) ) , i = 1 , 2 , 3 .
Hence, the values of the f i ( Ψ ( t ) ) , with i = 1 , 2 , 3 , can be understood as the solutions to a linear system of first-order ordinary differential equations in normal form with constant coefficients and zero initial condition, since f i ( Ψ ( 0 ) ) = 0 for i = 1 , 2 , 3 . Hence, f 1 , f 2 , f 3 vanish along Ψ ( t ) and, since (4) shows that the integral curves for all the vector fields in V s 1 connect all the points within the same strata of D V s 1 , one obtains that the functions f 1 , f 2 , f 3 are zero on any strata of D V s 1 containing a point where f 1 , f 2 , f 3 vanish. It is worth noting that f 1 , f 2 , f 3 are not constants of motion common to all the vector fields of V s 1 . We hereafter call f 1 , f 2 , f 3 a Darboux family for the Lie algebra of vector fields X 1 , , X 6 on Λ 2 s 1 . More generally, we propose the following definition and we extend previous results to a more general realm.
Definition 1.
We call an s-dimensional linear space of functions A : = f 1 , , f s on a manifold M a Darboux family for a Vessiot–Guldberg Lie algebra V on M if, for every X V and f j , with j = 1 , , s , one can write
X f j = i = 1 s h j X i f i ,
for a certain family of smooth functions, h j X i , with i = 1 , , s , on M, the so-called co-factors of f j relative to X and the basis { f 1 , , f s } . The subset S A : = { p M : f ( p ) = 0 , f A } is called the locus of the Darboux family A .
It is worth stressing that we require the functions f 1 , , f s and h j X i , for i , j = 1 , , s and X V , in the above definition to be smooth. If all the functions h j X i are equal to zero for every X V and i = 1 , , s , then f j becomes a constant of motion for the vector fields of V on M. If the h j X i are constants for every X V and i , j = 1 , , s , then we say that the Darboux family is linear. In this case, V gives rise to a Lie algebra representation ρ : X V D X End ( A ) , where D X stands for the action of the vector field X on the space of functions A .
The vector fields of V span a generalised distribution, which is integrable and leads to a stratification of M by some disjoint immersed submanifolds which may have different dimensions. Darboux families are interesting to us because the integral curves of vector fields in V passing through the set S A of common zeroes for the elements of A remain within it. Let us prove and analyse this fact, which represents a rather simple generalisation of the argument given for s 1 . Consider a point in the locus S A and consider a basis Y 1 , , Y q of the Lie algebra V of vector fields. Consider an integral curve Ψ ( t ) of a vector field of V passing through a point Ψ ( 0 ) S A . Then, the time derivative of the functions f 1 ( Ψ ( t ) ) , , f s ( Ψ ( t ) ) is
d f i ( Ψ ( t ) ) d t = ( X f i ) ( Ψ ( t ) ) = j = 1 s h i X j ( Ψ ( t ) ) f j ( Ψ ( t ) ) , i = 1 , , s .
Hence, the values of the f i ( Ψ ( t ) ) can be understood as the solutions to the linear system of first-order ordinary differential equations in normal form with t-dependent coefficients
d u i d t = j = 1 s h i X j ( Ψ ( t ) ) u j , i = 1 , , s ,
with initial condition u 1 = = u s = 0 . By the theorem of existence and uniqueness of solutions, the solution to the previous Cauchy problem is u 1 ( t ) = = u s ( t ) = 0 . Therefore, the functions f 1 , , f s vanish on the integral curves of X. From this fact and the decomposition (4), we can infer that the functions f 1 , , f s vanish on the strata of the distribution D V containing a point within S A . In other words, the strata of D V containing some point of S A are fully contained in S A .
In view of the above, Darboux families can be used to reduce the determination of the strata in M of the generalised distribution D V to determine the strata within S A and out of S A . This will be especially interesting for obtaining the strata of D V at points where the generalised distribution is not regular, and a constant of motion common to all the vector fields in V, which can be used to obtain the strata of D V , may not exist. Note also that if f 1 , , f s form a Darboux family for V, then the set of common zeroes of f 1 , , f s must be the sum (as subsets of M) of a collection of strata of the generalised distribution D V .
Let us study how to use Darboux families to study solutions to mCYBEs and CYBEs. Let us start with a general result.
Theorem 5.
Let A g ( 3 ) be a Darboux family for V g ( 3 ) on Λ 3 g . Then, the space of functions
A : = g C ( Λ 2 g ) : g = f [ · , · ] , f A g ( 3 )
is a Darboux family for V g on Λ 2 g . If A g ( 3 ) is a linear Darboux family, then A is also a linear Darboux family.
Proof. 
Since each X ( 2 ) V g is a fundamental field of the action of Aut ( g ) on Λ 2 g , its flow is given by the one-parametric group of diffeomorphisms Λ 2 T t induced by a certain one-parametric group of Lie algebra automorphisms T t Aut ( g ) , t R . Every g A is of the form g ( r ) = f ( [ r , r ] ) for some f A g ( 3 ) and every r Λ 2 g . Then,
( X ( 2 ) g ) ( r ) = d d t | t = 0 g ( Λ 2 T t ( r ) ) = d d t | t = 0 f ( [ Λ 2 T t ( r ) , Λ 2 T t ( r ) ] ) = d d t | t = 0 f ( Λ 3 T t [ r , r ] ) = ( X ( 3 ) f ) ( [ r , r ] ) = i = 1 r h i ( [ r , r ] ) f i ( [ r , r ] ) ,
where f 1 , , f s form the basis of the Darboux family A g ( 3 ) , the functions h 1 , , h s are the cofactors of f relative to X ( 3 ) and the basis { f 1 , , f s } , and X ( 3 ) is the fundamental vector field of the action of Aut ( g ) on Λ 3 g induced by the one-parameter group { T t } t R of Lie algebra automorphisms of g . Since f 1 ( [ r , r ] ) , , f s ( [ r , r ] ) belong to A and h 1 ( [ r , r ] ) , , h s ( [ r , r ] ) are functions on Λ 2 g , the A forms a Darboux family for V g on Λ 2 g .
If A g ( 3 ) is a linear Darboux family, then h 1 , , h s are constants. Therefore, the cofactors h 1 ( [ r , r ] ) , , h s ( [ r , r ] ) are also constants, which makes A into a linear Darboux family for V g on Λ 2 g . □
In short, the following proposition shows that the solutions to the mCYBE on g can be considered as the locus of a Darboux family relative to V g . A similar result can be applied to the CYBE on any Lie algebra g .
Proposition 3.
Let ( ( Λ 3 g ) g ) be the annihilator of ( Λ 3 g ) g , i.e., the subspace of elements of ( Λ 3 g ) * vanishing on ( Λ 3 g ) g . The functions
f υ : r Λ 2 g υ ( [ r , r ] ) R , υ ( ( Λ 3 g ) g ) ,
span a linear Darboux family, A , for the Lie algebra V g of fundamental vector fields of the action of Aut ( g ) on Λ 2 g . Its locus is the set of solutions to the mCYBE for g . Moreover, the components of the CYBE in a coordinate system given by a basis of Λ 2 g * also span a linear Darboux family for V g on Λ 2 g .
Proof. 
Let us prove that the annihilator of ( Λ 3 g ) g is a Darboux family for V g ( 3 ) on Λ 3 g . In fact, if X ( 3 ) V g ( 3 ) , then its flow is given by a one-parameter group of diffeomorphisms of the form Λ 3 T t for certain Lie algebra automorphisms T t Aut ( g ) with t R . Consider a function f Λ 3 g * such that f ( w ) = 0 for every w ( Λ 3 g ) g , i.e., f ( ( Λ 3 g ) g ) . Then,
( X ( 3 ) f ) ( w ) = d d t | t = 0 f ( ( Λ 3 T t ) ( w ) ) = d d t | t = 0 f w t = 0 ,
where we have used that ( Λ 3 g ) g is closed under the extension to Λ 3 g of Lie algebra automorphisms of g , and thus ( Λ 3 T t ) ( w ) = : w t ( Λ 3 g ) g . Hence, X ( 3 ) f vanishes on ( Λ 3 g ) g . Since X ( 3 ) is a linear vector field on Λ 3 g and f is a linear function on Λ 3 g , one obtains that X ( 3 ) f is a linear function on Λ 3 g vanishing on ( Λ 3 g ) g . Hence, X ( 3 ) f is a linear combination of elements of a basis of ( ( Λ 3 g ) g ) and ( ( Λ 3 g ) g ) becomes a linear Darboux family of V g ( 3 ) on Λ 3 g . By Theorem 5, the space of functions (12) becomes a linear Darboux family for V g on Λ 2 g . The locus of (12) is the space of solutions of the mCYBE for g .
Since every X ( 3 ) V g ( 3 ) is linear vector field on a linear coordinate system on Λ 3 g , the space Λ 3 g * is also a Darboux family for V g ( 3 ) on Λ 3 g . By Theorem 5, one has that the induced by (11) family of functions on Λ 2 g is a linear Darboux family relative to V g on Λ 2 g . The Darboux family is indeed spanned by the components of the CYBE of g , i.e., [ r , r ] = 0 , and its locus is its set of solutions. □
A natural question is how to determine Darboux families. Here, we provide several results about them that will be useful to derive new Darboux families from known ones.
Proposition 4.
If A 1 and A 2 are Darboux families for the same Vessiot–Guldberg Lie algebra V on a manifold M, then the sum A 1 + A 2 is a Darboux family for V on M as well.
The proof of the previous result is immediate. Obviously, the locus of A 1 + A 2 is contained in the locus of A 1 and A 2 . This will be interesting in following sections, where we distinguish between different strata of the generalised distribution spanned by the vector fields of V g on Y g .
In the following sections, it will be relevant to study the linear Darboux families for a certain V g given by a one-dimensional A ( Λ 2 g ) * . This is due to the fact that, as seen in Section 7, the sum of such Darboux families as vector spaces will generate useful new Darboux families. We will call such a linear one-dimensional Darboux family a brick. Bricks are one-dimensional representations of V g on Λ 2 g * .
Note that, for every linear Darboux family for V g , bricks are easy to obtain since, in view of (3), they are given by the intersection of an eigenvector space for each endomorphism of the form Λ 2 d gl ( Λ 2 g ) with d der ( g ) .
Let us offer another interesting proposition, which is an immediate consequence of the fact that the vector fields of V g are linear relative to a linear coordinate set on Λ 2 g .
Proposition 5.
The space Λ 2 g * is a linear Darboux family of functions on Λ 2 g relative to the Lie algebra V g .
Since Λ 2 g * is a linear Darboux family of V g , there is a linear representation of aut ( g ) on Λ 2 g * . Its irreducible representations also give rise to Darboux families, which can be summed (as linear spaces) to the Darboux family, or, potentially, elements thereof, associated with the mCYBE to determine new Darboux families. The locus of such sums will be interested in when they contain elements of Y g . This will be employed to obtain the strata of V g within Y g and, therefore, inequivalent r-matrices relative to the action of Aut c ( g ) on Λ 2 g . This, in turn, will be used to obtain families of inequivalent r-matrices and coboundary cocommutators for real four-dimensional indecomposable Lie algebras [24] in Section 7.

6. Geometric Structure of Solutions to mCYBEs and Darboux Families

Let us study several details of the geometry of the space of solutions to modified, and non-modified classical Yang–Baxter equations, the problem of classification up to Lie algebra automorphisms of coboundary Lie bialgebras, and Darboux families. As previously, we hereafter write V g for the Lie algebra of fundamental vector fields of the action of Aut ( g ) on Λ 2 g , whilst E g stands for the distribution on Λ 2 g spanned by the vector fields of V g . We recall that we have defined Λ R 2 g : = Λ 2 g / ( Λ 2 g ) g and π g : w Λ 2 g [ w ] Λ R 2 g stands for the canonical projection onto the quotient space Λ R 2 g . As previously, we hereafter write Y g for the space of r-matrices of g .
The action of Aut ( g ) on Λ 2 g induces an action of Aut ( g ) on Λ R 2 g of the form (see [21], Lemma 8.3 for details)
Ψ : T Aut ( g ) [ Λ 2 T ] G L ( Λ R 2 g ) , [ Λ 2 T ] ( [ w ] ) : = [ Λ 2 T ( w ) ] , w Λ 2 g .
The above result leads to the following consequence
π g ( ( Λ 2 T ) ( w ) ) = [ Ψ ( T ) ] ( π g ( w ) ) , w Λ 2 g , T Aut ( g ) .
Recall that two actions of a Lie group G, let us say Φ i : G × N i N i with i = 1 , 2 , are equivariant relative to ϕ : N 1 N 2 if ϕ Φ 1 ( g , x ) = Φ 2 ( g , ϕ ( x ) ) for every g G and x N 1 . It can be proved that if Φ 1 and Φ 2 are equivariant, the Lie algebra of fundamental vector fields of Φ 1 projects, via ϕ * , onto the Lie algebra of fundamental vector fields of Φ 2 . Moreover, the orbits of Φ 1 project, via ϕ , onto the orbits of Φ 2 (see [25] for details).
Expression (13) shows that the actions of Aut ( g ) on Λ 2 g and Λ R 2 g are equivariant relative to π g : Λ 2 g Λ R 2 g . Then, the vector fields of V g project via π g * onto the Lie algebra of fundamental vector fields of the action of Aut ( g ) on Λ R 2 g . We write E g R for the generalised distribution spanned by the fundamental vector fields of the action of Aut ( g ) on Λ R 2 g . This means that the strata of the generalised distribution E g project onto the strata of the generalised distribution E g R .
As the elements of Aut ( g ) map solutions to the mCYBE of g onto solutions of the same equation, the orbits of Aut ( g ) containing a solution to the mCYBE consist of solutions to the mCYBE. Similarly, the orbits of the action of Aut ( g ) on Λ 2 g containing a solution to the CYBE consist of solutions to the CYBE. Two r-matrices are equivalent up to Lie algebra automorphisms of g if, and only if, they belong to the same orbit of Aut ( g ) within Y g .
Recall that Aut ( g ) / Aut c ( g ) , where Aut c ( g ) is the connected component of the identity of the Lie group Aut ( g ) , is discrete and, therefore, countable [46]. In other words, the Lie group Aut ( g ) is a numerable sum (as subsets) of disjoint and connected subsets of Aut ( g ) diffeomorphic to Aut c ( g ) . The strata of E g coincide with the orbits of Aut c ( g ) . Therefore, the orbits of Aut ( g ) are given by a numerable sum of strata of E g . Moreover, each particular orbit of Aut ( g ) is an immersed submanifold in Λ 2 g of a fixed dimension. Hence, each of the orbits of Aut c ( g ) , whose sum gives rise to an orbit of Aut ( g ) , must have the same dimension. Similarly, the orbits of Aut ( g ) on Λ R 2 g are given by a numerable sum (as subsets) of strata of E g R of the same dimension, which are orbits of the action of Aut c ( g ) on Λ R 2 g .
It can be proved that two coboundary cocommutators can be equivalent up to Lie algebra automorphisms even when their associated r-matrices are not. For instance, the zero cocommutator δ 0 : g g g can take the form 0 = δ 0 = [ r , · ] for r = 0 or for any other r 1 ( Λ 2 g ) g \ { 0 } . Nevertheless, the 0 and r 1 cannot be connected by the action of an element of Aut ( g ) on Λ 2 g , since the action of Aut ( g ) on Λ 2 g is linear and 0 Λ 2 g is an orbit. In spite of that, the cocommutators generated by 0 and r 1 are the same. Let us give the conditions, ensuring that two coboundary cocommutators on g are equivalent up to a Lie algebra automorphism of g .
Proposition 6.
Two coboundary cocommutators δ i : v g [ r i , v ] g g , with i = 1 , 2 and r i Y g , are equivalent under a Lie algebra automorphism of g if, and only if, there exists T Aut ( g ) , such that ( Λ 2 T ) ( r 1 ) and r 2 belong to the same equivalence class in Λ R 2 g .
Proof. 
It is clear that the transformation of δ 1 by T reads, by the properties of the Schouten bracket, as follows
Λ 2 T δ 1 T 1 = Λ 2 T [ r 1 , T 1 ( · ) ] = [ Λ 2 T r 1 , · ] .
Hence,
δ 2 = Λ 2 T δ 1 T 1 [ Λ 2 T r 1 , · ] = [ r 2 , · ] [ Λ 2 T r 1 r 2 , · ] = 0 ,
and the last condition amounts to the fact that Λ 2 T r 1 r 2 ( Λ 2 g ) g , which implies that Λ 2 T r 1 , r 2 belong to the same equivalence class in Λ R 2 g . □
Note that two r-matrices are equivalent (relative to the action of an element of Aut ( g ) on Λ 2 g ) if, and only if, they belong to the same family of strata of the distribution E g , giving rise to an orbit of Aut ( g ) in Y g . Nevertheless, two r-matrices give rise to two equivalent coboundary cocommutators if, and only if, they belong to the same orbit of Aut ( g ) on Λ R 2 g . In other words, we have proven the following proposition.
Proposition 7.
There is a one-to one correspondence between the r-matrices for g , which are equivalent up to an element of Aut c ( g ) and the strata of the generalised distribution E g within Y g . Moreover, there is a one-to-one correspondence between the families of equivalent (up to Lie algebra automorphisms of g ) coboundary cocommutators of a Lie algebra g and the orbits of the action of Aut ( g ) on π g ( Y g ) Λ R 2 g . Every such orbit in π g ( Y g ) is the sum (as subsets) of a numerable collection of strata of the same dimension of the generalised distribution E g R .
In practice, we willll obtain each orbit of Aut ( g ) on Y g as a numerable family of strata of E g in Y g . Such orbits represent the families of r-matrices that are equivalent up to an element of Aut ( g ) . Then, we will derive all strata in Y g that map onto the same space in Λ R 2 g . This last task will give us, along with the orbits of Aut ( g ) on Y g , the equivalent classes of coboundary cocommutators on g up to Lie algebra automorphisms of g .
Let us study how Darboux families can be employed to obtain the orbits of Aut ( g ) on Λ 2 g and Λ R 2 g . In particular, Darboux families are employed here to identify the strata of E g .
Proposition 8.
The locus, g , of a Darboux family A g E relative to the Lie algebra V g on Λ 2 g is a sum (as subsets) of the orbits of the action of Aut c ( g ) on Λ 2 g containing a point in g . If g is a connected submanifold in Λ 2 g of dimension given by the rank of the generalised distribution E g , then g is a strata of the generalised distribution E g .
Proof. 
For each point p in g the orbit O p of Aut c ( g ) passing through p has a tangent space spanned by the vector fields of V g . By the definition of a Darboux family for V g and the fact that the functions of A g E vanish at p, one can observe that all functions of A g E are equal to zero on O p (see Section 5). Hence, O p is contained in g . Then, g is the sum (as subsets) of orbits of Aut c ( g ) passing through the points of g .
Recall that the strata of E g are the orbits of Aut c ( g ) acting on Λ 2 g . Hence, g is a sum of strata of E g . If the rank of E g on g is equal to dim g , where g is assumed to be a connected submanifold, then g is locally generated around any point p g by the action of Aut c ( g ) on that point. Since 1 is connected, it is wholly generated by the action of Aut c ( g ) , and it becomes a strata of E g . □
Note that we are interested only in those loci of Darboux families of V g contained in the space Y g of solutions to the mCYBE of g .
It is interesting that necessary conditions for the existence of a Lie algebra automorphism connecting two r-matrices can be given using Λ 3 g . Consider, for instance, the following proposition, whose proof is straightforward.
Proposition 9.
If r 1 and r 2 are two equivalent r-matrices for a Lie algebra g , then, [ r 1 , r 1 ] and [ r 2 , r 2 ] belong to the same orbit of Aut ( g ) acting on ( Λ 3 g ) g .
The necessary condition in Proposition 9 is not sufficient. For instance, it may occur that two r-matrices are solutions to the classical Yang–Baxter equation without being equivalent (as seen in Table 1). From a practical perspective, Proposition 9 shows that the determination of the orbits of the action of Aut ( g ) on Λ 3 g may be of interest. Following the reasoning for studying the equivalence of r-matrices in Λ 2 g , the orbits of action of Aut ( g ) on Λ 3 g can be obtained by obtaining the strata of the distribution, E g ( 3 ) , spanned by the fundamental vector fields V g ( 3 ) of the action of Aut c ( g ) on Λ 3 g . Such strata can be obtained through Darboux families for V g ( 3 ) in analogous to the method employed to study E g . Then, the action of one element of each connected component of Aut ( g ) on the strata of V g ( 3 ) in ( Λ 2 g ) g gives the orbits of Aut ( g ) within ( Λ 3 g ) g .
Proposition 10.
If two r-matrices r 1 , r 2 are equivalent, then the rank of r 1 , r 2 , as bilinear mappings on g * , are the same.
Proof. 
Recall that r-matrices can be considered as the antisymmetric bilinear mappings on g * associated with them. The action of Aut ( g ) on an r-matrix does not change its rank as a bilinear antisymmetric mapping. Hence, equivalent r-matrices must have the same rank. □
Although r-matrices whose bilinear antisymmetric mappings on g * have a different rank are not equivalent up to Lie algebra automorphisms of g , it may occur that r-matrices related to the same rank are not equivalent. In fact, although there is always, in this latter case, an A G L ( g ) acting on Λ 2 g , mapping one element of this space into another of the same order (A can be obtained by mapping both bivectors into a canonical form), A does not necessarily belong to Aut ( g ) . Hence, both bivectors need not be equivalent up to Lie algebra automorphisms of g . Many examples of this will appear in Table 1.

7. Classification of Coboundary Lie Bialgebras on Four-Dimensional Indecomposable Lie Algebras

A Lie algebra g is decomposable when it can be written as the direct sum of two of its proper ideals. Otherwise, we say that g is indecomposable. Winternitz and Šnobl classified in [24] (Part 4) all indecomposable Lie algebras up to dimension six (see [24], p. 217 for comments on previous classifications). The aim of this section is to present the classification up to Lie algebra automorphisms of coboundary Lie bialgebras on real, four-dimensional, indecomposable Lie algebras via Darboux families and the Winternitz–Šnobl (WŠ) classification. Moreover, the equivalence of r-matrices and solutions to CYBEs for four-dimensional, real, indecomposable Lie algebras are also analysed.
We hereafter assume g to be a real four-dimensional and indecomposable Lie algebra. For the sake of completeness, the structure constants for every g in a basis { e 1 , e 2 , e 3 , e 4 } are given in Table 2. We hereafter endow Λ 2 g with a basis { e 12 : = e 1 e 2 , e 13 : = e 1 e 3 , e 14 : = e 1 e 4 , e 23 : = e 2 e 3 , e 24 : = e 2 e 4 , e 34 : = e 3 e 4 } , while its dual basis is denoted by { x 1 , x 2 , x 3 , x 4 , x 5 , x 6 } . Additionally, Λ 3 g is endowed with a basis { e 123 , e 124 , e 134 , e 234 } . Moreover, due to the bilinearity and symmetry of the Schouten bracket on Λ 2 g , it is enough to know [ e i j , e k l ] , with 1 i < k 4 or i = k { 1 , , 4 } , 1 j l 4 , to determine the Schouten bracket on the whole Λ 2 g . In Table 3, Table 4 and Table 5, we summarise several relevant Schouten brackets between the basis elements of g , Λ 2 g , and Λ 3 g , which can easily be obtained via Table 2 and, eventually, by means of a symbolic computation program. We add such calculations to easily follow the proofs of our following results. The classes of Lie algebras in Table 2 may contain several non-isomorphic Lie algebras depending on several parameters, e.g., α , β . To simplify the notation, we will not detail specific values of the parameters when we refer to the properties of a whole class of Lie algebras and/or the particular case we are discussing is clear from the context.
It is interesting to discuss some physical and mathematical applications of the Lie bialgebras given in our list and their relations to some previous works. For instance, the nilpotent Lie algebra n 1 corresponds to the so-called Galilean Lie algebra, which is deformed in the study of XYZ models with the quantum Galilei group appearing in [36]. Lie bialgebras, defined on Lie algebras of the type n 1 , also occur in [11,47]. The coboundary Lie bialgebras on the Lie algebra s 6 , which corresponds to the so-called harmonic oscillator algebra, are obtained in [33], without studying the equivalence up to Lie algebra automorphisms. In that work, the quantisations and R-matrices of such a sort of Lie bialgebras are also studied. In particular, equation (3.7) in [33] matches the mCYBE obtained in Section 7.6. The work [34] proves that all Lie bialgebras on the harmonic oscillator algebra are coboundary ones. This shows that our classification of Lie bialgebras on s 6 finishes the classification of all Lie bialgebras on the harmonic oscillator algebra. On the other hand, the Lie algebra s 8 with α = 1 / 2 is isomorphic to the Lie algebra A G ¯ 2 ( 1 ) in [47]. The Lie algebra s 7 provides a central extension of Caley–Klein Lie algebras analysed in [35], (eq. (3.13)). Other cases of real, four-dimensional, indecomposable Lie bialgebras can be found in [7,19], where, for instance, two-dimensional central extended Galilei algebras are studied.

7.1. Lie Algebra s 1

The structure constants for Lie algebra s 1 are given in Table 2, while relevant Schouten brackets between the elements of the bases of s 1 , Λ 2 s 1 , Λ 3 s 1 to be used hereafter are displayed in Table 3, Table 4 and Table 5. In particular, one can observe from such tables that ( Λ 2 s 1 ) s 1 = e 12 and ( Λ 3 s 1 ) s 1 = 0 .
To obtain the classification of r-matrices for s 1 up to Lie algebra automorphisms thereof, we will rely on the determination of the strata of the distribution E s 1 (see Proposition 7) via Darboux families for V s 1 and a few elements of Aut ( s 1 ) .
By Proposition 8, the locus of a Darboux family for a Lie algebra V s 1 is the sum (as subsets) of strata of the generalised distribution E s 1 spanned by the vector fields of V s 1 . In particular, we are interested in those loci which are submanifold within Y s 1 of a dimension matching the rank of E s 1 on them. This is due to the fact that, in view of Proposition 8, their connected components are the orbits of Aut c ( s 1 ) on Y s 1 . With this aim, we derive the fundamental vector fields of the action of Aut ( s 1 ) on Λ 2 s 1 . By Remark 1, the derivations of s 1 take the form (7), and a basis of V s 1 is given by (8).
For an element r Λ 2 s 1 , we obtain
[ r , r ] = 2 ( x 2 x 5 + x 3 x 4 x 4 x 5 ) e 123 2 x 5 2 e 124 + 2 ( x 3 x 5 ) x 6 e 134 + 2 x 5 x 6 e 234 .
This expression can easily be derived by using the properties of the algebraic Schouten bracket and the structure constants for s 1 . A similar computation would not be difficult, even for many higher-dimensional Lie algebras.
Since ( Λ 3 s 1 ) s 1 = 0 , the mCYBE and the CYBE for s 1 are equal and read
x 3 x 4 = 0 , x 3 x 6 = 0 , x 5 = 0 .
It is interesting that, since ( Λ 3 s 2 ) s 1 = 0 , every r-matrix for s 1 amounts to a left-invariant Poisson bivector on s 1 * (cf. [1]).
Let us apply to s 1 the following procedure to obtain the orbits of Aut c ( g ) on Y g for a Lie algebra g of arbitrary dimension, i.e., the strata of E g within Y g . We start by considering a locus 1 of a Darboux family of V g on Λ 2 g . As we are interested in determining the strata of E g within Y g , we look for an 1 containing some solution to the mCYBE, namely 1 Y g . Recall that the strata of E g are completely contained within the locus or completely contained off the locus of every Darboux family for V g . This divides the strata of E g on Y g into those within or outside 1 . If 1 Y g is a submanifold of dimension given by the rank of E g on it, its connected parts are the strata of E g in 1 Y g . Otherwise, to obtain the strata within 1 Y g , we look for a new Darboux family for V g containing the previous Darboux family, so that its new locus, let us say 2 , will satisfy 2 Y g . This process is repeated until we obtain a locus, k , which is a submanifold of dimension equal to the rank of E g on it. In other words, the connected components of the locus k are the orbits of Aut c ( g ) in k .
To determine all the strata of E g on Y g ( k ) c , where ( k ) c stands for the complementary subset of k in Λ 2 g , which is always open, one considers a subspace of the final Darboux family and the previous procedure is applied iteratively to the obtained Darboux family on Λ 2 g \ k . At the end of this, we obtain another family of strata of E g , and the procedure can be repeated to search for the remaining strata of E g in Y g . The above-described process, for all four-dimensional indecomposable Lie algebras, allows us to obtain the orbits of Aut c ( g ) on Y g .
To schematically represent our procedure, we use a diagram, which is hereafter called a Darboux tree. Every Darboux family of the above-mentioned method is described by a set of boxes going from an edge of the diagram on the left to one of the edges on the right. The squared boxes of the type f = 0 , for a certain function f, gives the generating functions of the Darboux family, while the squared boxes of the type f 0 , give the conditions restricting the manifold in Λ 2 g , where the Darboux family and V g are restricted. The connected parts of the loci of all the Darboux families represented in a Darboux tree give rise to a decomposition of Y g into orbits of Aut c ( g ) . To help understand the calculations, some oval boxes with additional information, e.g., explaining why other possibilities are not considered, are given. It is worth noting that bricks were employed to generate Darboux families. In particular, the Darboux tree of s 1 is given below. In this case, it is immediate that x 5 and x 6 are bricks for V s 1 . We use this fact to generate Darboux families of the following Darboux tree.
Symmetry 13 00465 i001
The connected components of the loci of the Darboux families of the previous Darboux tree give the orbits of Aut c ( s 1 ) on Y s 1 . Results are given in Table 1. Let us study the equivalence of r-matrices up to the action of the whole Aut ( s 1 ) . To do so, we use the group of automorphisms of s 1 , which reads
Aut ( s 1 ) = T 2 2 T 1 2 0 T 1 4 0 T 2 2 0 T 2 4 0 0 T 3 3 T 3 4 0 0 0 1 : T 2 2 , T 3 3 R \ { 0 } , T 1 2 , T 1 4 , T 2 4 , T 3 4 R .
This Lie group is easy to derive from the structure constants of s 1 . In reality, it is enough for our purposes to consider an element of each connected component of Aut ( s 1 ) . It is remarkable that Lie algebra automorphism groups can be rather easily obtained for Lie algebras of relatively high dimension and/or which satisfy special properties, e.g., for semisimple Lie algebras [48]. In our case, Aut ( s 1 ) immediately has four such components. One element of each connected component of Aut ( s 1 ) and its extension to Λ 2 s 1 are given by
T λ 1 , λ 2 : = diag ( λ 1 , λ 1 , λ 2 , 1 ) Λ 2 T λ 1 , λ 2 = diag ( 1 , λ 1 λ 2 , λ 1 , λ 1 λ 2 , λ 1 , λ 2 )
for λ 1 , λ 2 { ± 1 } and diag ( p 1 , p 2 , , p n ) as the n × n diagonal matrix with entries p 1 , , p n in the diagonal. The orbits of Aut ( s 1 ) in Y s 1 are given by the action of Λ 2 T λ 1 , λ 2 on the orbits of Aut c ( s 1 ) on Y s 1 . By using all mappings Λ 2 T λ 1 , λ 2 , we can verify whether some of the orbits of Aut c ( s 1 ) on Y s 1 can be connected among themselves by a Lie algebra automorphism of s 1 . Our results are summarised in Table 1.
Recall that ( Λ 2 s 1 ) s 1 = e 12 . Consequently, all orbits of Aut ( s 1 ) on Y s 1 mapping onto the same space in Λ R 2 s 1 via π s 1 give equivalent coboundary coproducts up to the action of elements of Aut ( s 1 ) . In particular, we obtain five classes of coboundary coproducts induced by the following classes of r-matrices: a) I ± , b) II, III ± , c) IV, V ± , d) VI, and e) VII, VIII ± . We recall that all given r-matrices are solutions to the CYBE.

7.2. Lie Algebra s 2

Let us apply the formalism given in the previous section to Lie algebra s 2 . Lie algebra s 2 has structure constants given in Table 2. Relevant Schouten brackets between the bases of elements of s 2 , Λ 2 s 2 , and Λ 3 s 2 are given in Table 3, Table 4 and Table 5. Remarkably, ( Λ 2 s 2 ) s 2 = 0 and ( Λ 3 s 2 ) s 2 = 0 .
By Remark 1, it follows that
der ( s 2 ) = μ 11 μ 12 μ 13 μ 14 0 μ 11 μ 12 μ 24 0 0 μ 11 μ 34 0 0 0 0 : μ 11 , μ 12 , μ 13 , μ 14 , μ 24 , μ 34 R ,
which gives rise, by lifting these derivations to Λ 2 s 2 , to the basis of V s 2 of the form
X 1 = 2 x 1 x 1 + 2 x 2 x 2 + x 3 x 3 + 2 x 4 x 4 + x 5 x 5 + x 6 x 6 , X 2 = x 2 x 1 + x 4 x 2 + x 5 x 3 + x 6 x 5 , X 3 = x 4 x 1 + x 6 x 3 , X 4 = x 5 x 1 x 6 x 2 , X 5 = x 3 x 1 x 6 x 4 , X 6 = x 3 x 2 + x 5 x 4 .
Meanwhile, for r Λ 2 s 2 , one has
[ r , r ] = 2 ( 2 x 1 x 6 2 x 2 x 5 + x 2 x 6 + 2 x 3 x 4 x 4 x 5 ) e 123 + 2 ( x 3 x 6 x 5 2 ) e 124 2 x 5 x 6 e 134 2 x 6 2 e 234 .
Since ( Λ 3 s 2 ) s 2 = 0 , the mCYBE and the CYBE are the same and read
x 3 x 4 = 0 , x 5 = 0 , x 6 = 0 .
With the previous information, we are ready to obtain the classification of orbits of the action of Aut c ( s 2 ) on the subset of r-matrices Y s 2 Λ 2 s 2 by using Darboux families. We shall start by using bricks. The only brick of s 2 is x 6 . The procedure is accomplished as in the previous section and it is summarised in the following Darboux tree.
Symmetry 13 00465 i002
As commented in Section 7.1, to obtain the orbits of Aut ( s 2 ) on Y s 2 , it is enough to derive the extension to Λ 2 s 2 of a single element of each connected component of Aut ( s 2 ) . The automorphisms of the Lie algebra s 2 can easily be obtained. They read
Aut ( s 2 ) = T 2 2 T 2 3 T 1 3 T 1 4 0 T 2 2 T 2 3 T 2 4 0 0 T 2 2 T 3 4 0 0 0 1 : T 2 2 R \ { 0 } , T 1 3 , T 2 3 , T 1 4 , T 2 4 , T 3 4 R .
Then, one element of Aut ( s 2 ) for each of its connected components and their extensions to Λ 2 s 2 read
T λ : = diag ( λ , λ , λ , 1 ) Λ 2 T λ = diag ( 1 , 1 , λ , 1 , λ , λ ) , λ { ± 1 } .
The nine connected parts of the submanifolds 0, I ± , II ± , III, IV ± are the orbits of Aut c ( s 2 ) on Y s 2 . It is simple to see which of them are further connected through an element of Aut ( s 2 ) . In result, the orbits of Aut ( s 2 ) on Y s 2 are given by the eight submanifolds 0 , I , I + , II , II + , III , IV , IV + , given in Table 1. Since ( Λ 2 s 2 ) s 2 = 0 , each such submanifold gives a family of equivalent coboundary coproducts that is non-equivalent to the r-matrices within remaining submanifolds. This gives all possible classes of non-equivalent coboundary coproducts. As in the previous subsection, all r-matrices are solutions to the CYBE in s 2 .

7.3. Lie Algebra s 3

The structure constants of the Lie algebras of type s 3 are given in Table 2. It was noted in [24] (p. 228) that additional restrictions must be imposed on the parameters α , β given in Table 2 to avoid the repetition of isomorphic Lie algebras within the Lie algebra class s 3 . Such restrictions were not explicitly detailed in [24], but it is immediate that isomorphic cases within Lie algebras of the class s 3 can be classified by the adjoint action of e 4 on e 1 , e 2 , e 3 . In particular, if | α | = | β | , then the Lie algebras with parameters ( α , β ) and ( β , α ) are isomorphic relative to the Lie algebra isomorphism that interchanges e 2 with e 3 and leaves e 1 invariant. It will be relevant in what follows that the lift of this Lie algebra automorphism to Λ 2 s 3 interchanges x 1 with x 2 , x 5 with x 6 , it maps x 4 to x 4 , and it leaves x 3 invariant. Due to the previous isomorphism, we restrict ourselves to the case α β when | α | = | β | .
Using the structure constants given in Table 2 and the induced Schouten brackets between the, relevant to our purposes, basis elements of s 3 , Λ 2 s 3 , and Λ 3 s 3 in Table 3, Table 4 and Table 5, one observes that ( Λ 2 s 3 ) s 3 { e 12 , e 13 , e 23 } . More specifically, e 12 ( Λ 2 s 3 ) s 3 if and only if α = 1 ; while e 13 ( Λ 2 s 3 ) s 3 if and only if β = 1 . Finally, e 23 ( Λ 2 s 3 ) s 3 just when α + β = 0 . Moreover, ( Λ 3 s 3 ) s 3 = e 123 if α + β = 1 and ( Λ 3 s 3 ) s 3 = 0 , otherwise.
Since the Lie algebra class s 3 contains so many subcases that relevant properties may change from one subcase to the other, with given parameters ( α , β ) , e.g., the Lie algebra automorphism group, we will develop a modification of our method, consisting of applying the Darboux family method to the fundamental vector fields of the action of the Lie group Aut all ( s 3 ) of all common Lie algebra automorphisms for all parameters α , β , analysing its relation to the Lie algebra automorphisms for each case, s 3 α , β , to obtain our final classification. To simplify the notation, we skip the parameters α , β in s 3 α , β when they are not needed to understand what we are talking out, e.g., if we just care about the dimension of the linear space Λ 2 s 3 .
By Remark 1, one obtains the following common Lie algebra of derivations of s 3 for all the values of α and β
der all ( s 3 ) = μ 11 0 0 μ 14 0 μ 22 0 μ 24 0 0 μ 33 μ 34 0 0 0 0 : μ 11 , μ 22 , μ 33 , μ 14 , μ 24 , μ 34 R ,
and, after lifting the elements of a basis of der all ( s 3 ) to Λ 2 s 3 , we obtain a basis of V s 3 all , namely, the Lie algebra of fundamental vector fields of the action of the Lie algebra automorphism group Aut all ( s 3 ) common to all α , β acting on Λ 2 s 3 , of the form
X 1 = x 1 x 1 + x 2 x 2 + x 3 x 3 , X 2 = x 5 x 1 x 6 x 2 , X 3 = x 1 x 1 + x 4 x 4 + x 5 x 5 , X 4 = x 3 x 1 x 6 x 4 , X 5 = x 2 x 2 + x 4 x 4 + x 6 x 6 , X 6 = x 3 x 2 + x 5 x 4 .
It is worth stressing that if α = β and/or one on the coefficients α , β are equal to one, then the Lie algebra of derivations of the particular s 3 α , β is larger due to the existence of Lie algebra automorphisms of s 3 α , β leaving the eigenspaces of ad e 4 acting on e 1 , e 2 , e 3 invariant (more detailed calculations can be seen at the end of this subsection). By dealing with der all ( s 3 ) , we shall derive the orbits of the connected part of the identity of the group of common Lie algebra automorphisms for all α , β , i.e., Aut all ( s 3 ) , on each Y s 3 α , β via Darboux families. To obtain the equivalence of r-matrices up to the action of Aut ( s 3 α , β ) for each pair ( α , β ) , we will use the action of elements of Aut ( s 3 α , β ) not contained in Aut all , c ( s 3 ) for each particular pair of parameters ( α , β ) .
For an element r Λ 2 s 3 , we obtain
[ r , r ] = 2 [ ( 1 + α ) x 1 x 6 ( 1 + β ) x 2 x 5 + ( α + β ) x 3 x 4 ] e 123 + 2 ( α 1 ) x 3 x 5 e 124 + 2 ( β 1 ) x 3 x 6 e 134 + 2 ( β α ) x 5 x 6 e 234 .
For 1 + α + β 0 , we have ( Λ 3 s 3 α , β ) s 3 α , β = 0 . Then, the mCYBE and the CYBE are the same in this case, and they read
( 1 + α ) x 1 x 6 ( 1 + β ) x 2 x 5 + ( α + β ) x 3 x 4 = 0 , ( α 1 ) x 3 x 5 = 0 , ( β 1 ) x 3 x 6 = 0 , ( β α ) x 5 x 6 = 0 .
If 1 + α + β = 0 , then ( Λ 3 s 3 α , 1 α ) s 3 α , 1 α = e 123 and the mCYBE reads
( α 1 ) x 3 x 5 = 0 , ( β 1 ) x 3 x 6 = 0 , ( β α ) x 5 x 6 = 0 .
Since x 3 , x 5 , x 6 are bricks of s 3 α , β for every pair ( α , β ) , our Darboux tree for the Darboux families of V s 3 all starts with cases x i = 0 and x i 0 , i { 3 , 5 , 6 } . The full Darboux tree is presented below.
Symmetry 13 00465 i003
We now study four subcases: a) α = β = 1 , b) α = 1 β , c) α = β 1 , d) remaining non-isomorphic cases.
Case (d): In this case, ad e 4 acts on e 1 , e 2 , e 3 with three different eigenvalues, and this leads to the fact that the only derivations are those common to all α , β , i.e., der ( s 3 α , β ) = der all ( s 3 ) . The connected parts of the loci of the Darboux families of the above Darboux tree can be found in Table 1. Such connected parts are the orbits of Aut c ( s 3 α , β ) in Y s 3 α , β for α , β , 1 , with different values. Let us obtain the classification of r-matrices up to elements of Aut ( s 3 α , β ) . On the one hand, the Lie algebra automorphism group reads
Aut ( s 3 α , β ) = T 1 1 0 0 T 1 4 0 T 2 2 0 T 2 4 0 0 T 3 3 T 3 4 0 0 0 1 : T 1 1 , T 2 2 , T 3 3 R \ { 0 } , T 1 4 , T 2 4 , T 3 4 R .
As in previous sections, we only need one element of each connected part of Aut ( s 3 α , β ) for our purposes, which has eight ones. An element of each connected component and its lift to Λ 2 s 3 is given by
T λ 1 , λ 2 , λ 3 : = diag ( λ 1 , λ 2 , λ 3 , 1 ) Λ 2 T λ 1 , λ 2 , λ 3 : = diag ( λ 1 λ 2 , λ 1 λ 3 , λ 1 , λ 2 λ 3 , λ 2 , λ 3 ) ,
where λ 1 , λ 2 , λ 3 { ± 1 } .
By using (16), we can verify whether some of the strata of E s 3 in Y s 3 α , β are still connected by a Lie algebra automorphism of s 3 α , β . The results are summarised in Table 1. To obtain the equivalence classes of coboundary coproducts for each α , β , it is enough to identify the orbits in Table 1 whose elements are the same up to an element of ( Λ 2 s 3 α , β ) s 3 α , β . In particular, we have the following subcases
  • Case α = 1 , β 1 . Hence, ( Λ 2 s 3 1 , β ) s 3 1 , β = e 12 . By analysing Table 1, we obtain the coboundary coproduct classes
    ( a ) I , ( b ) II , III , ( c ) IV , V , ( d ) VI , VII ± , ( e ) VIII , ( f ) X , ( g ) XIV , XV α = 1 .
  • Case α 1 and β 1 . Since ( Λ 2 s 3 α , β ) s 3 α , β = 0 , the classes of equivalent coboundary coproducts are given by the orbits of Aut ( s 3 α , β ) within Y s 3 α , β . In this case, we have the classes of equivalent coboundary coproducts, given by
    I , II , III , IV , V , VI , VII + , VII , VIII , IX α + β { 0 , 1 } , X , XI α + β = 1 , XIV , XV α + β = 1 .
Case (c): This time α = β 1 . Then, we have
Aut ( s 3 α , α ) = T 1 1 0 0 T 1 4 0 T 2 2 T 2 3 T 2 4 0 T 3 2 T 3 3 T 3 4 0 0 0 1 : T 1 1 , T 2 2 T 3 3 T 3 2 T 2 3 R \ { 0 } , T 1 1 , T 2 2 , T 3 3 , T 2 3 , T 3 2 , T 1 4 , T 2 4 , T 3 4 R .
To obtain the orbits of Aut ( s 3 α , α ) on Y s 3 α , α from the orbits of Aut all , c ( s 3 ) , it is necessary to write Aut ( s 3 α , α ) as a composition of Aut all , c ( s 3 ) , with certain Lie algebra automorphisms of s 3 α , α , so that their composition generates Aut ( s 3 α , α ) . This can be done by using the Lie algebra automorphisms of s 3 α , α of the form T A : = Id A Id , for A G L ( 2 , R ) . Then, Λ 2 T A = A Id ( det A ) Id A . By taking the action of these Λ 2 T A on the strata of the distribution spanned by V s 3 all in Y s 3 α , α , we obtain the orbits of Aut ( s 3 α , α ) on Y s 3 α , α . Our results are summarised in Table 1.
To obtain the equivalence classes of coboundary coproducts for each α = β , it is enough to identify the orbits in Table 1, whose elements are the same up to an element of ( Λ 2 s 3 α , α ) s 3 α , α = 0 . Therefore, the result is given by the classes of equivalent r-matrices detailed in Table 1.
Case (b): This time α = 1 β . Therefore,
Aut ( s 3 1 , β ) = T 1 1 T 1 2 0 T 1 4 T 2 1 T 2 2 0 T 2 4 0 0 T 3 3 T 3 4 0 0 0 1 : T 3 3 , T 1 1 T 2 2 T 2 1 T 1 2 R \ { 0 } , T 1 1 , T 2 2 , T 1 2 , T 2 1 , T 1 4 , T 2 4 , T 3 4 R .
To derive the orbits of Aut ( s 3 1 , β ) on Y s 3 1 , β from the orbits of Aut all , c ( s 3 ) , we again write Aut ( s 3 1 , β ) as a composition of Aut all , c ( s 3 ) with certain Lie algebra automorphisms of s 3 1 , β so that their composition generates Aut ( s 3 1 , β ) . This can be done by employing the Lie algebra autmorphisms of s 3 1 , β , given by T A : = A Id Id , for A G L ( 2 , R ) . Then Λ 2 T A = ( det A ) Id ( τ 43 A A τ 43 ) Id , where τ 43 is the permutation of coordinates three and four in Λ 2 s 3 1 , β . By taking the action of these Λ 2 T A on the strata of the distribution spanned by V s 3 all in Y s 3 1 , β , we obtain the orbits of Aut ( s 3 1 , β ) on Y s 3 1 , β . Our results are summarised in Table 1.
To obtain the equivalence classes of coboundary coproducts for each β , it is enough to identify the equivalence classes of r-matrices in Table 1 whose elements are the same up to an element of ( Λ 2 s 3 1 , β ) s 3 1 , β . If β 1 , these are just those induced by the orbits of Aut ( s 3 1 , β ) on Y s 3 1 , β . Otherwise, ( Λ 2 s 3 1 , 1 ) s 3 1 , 1 = e 13 , e 23 and
a ) I , III , b ) II ( zero class ) , c ) IV , d ) V β = 1 e ) VI .
Case (a): In this case, it is easier to derive the Darboux families for the Lie algebra of derivations.
der all ( s 3 ) = A v 0 0 : A gl ( 3 , R ) , v R 3 .
Due to the larger family of symmetries for α = β = 1 , the Lie algebra V s 3 1 , 1 is spanned by
X 1 = x 1 x 1 + x 2 x 2 + x 3 x 3 , X 2 = x 5 x 1 x 6 x 2 , X 3 = x 1 x 1 + x 4 x 4 + x 5 x 5 , X 4 = x 3 x 1 x 6 x 4 , X 5 = x 2 x 2 + x 4 x 4 + x 6 x 6 , X 6 = x 3 x 2 + x 5 x 4 , X 7 = x 4 x 2 + x 5 x 3 , X 8 = x 4 x 1 + x 6 x 3 , X 9 = x 2 x 4 + x 3 x 5 , X 10 = x 2 x 1 + x 6 x 5 , X 11 = x 1 x 4 + x 3 x 6 , X 12 = x 1 x 2 + x 5 x 6 .
The Darboux tree is very simple and becomes
Symmetry 13 00465 i004
It is immediate that the above gives rise to two non-zero coboundaries given in Table 1. Since, in this case ( Λ 2 s 3 1 , 1 ) s 3 1 , 1 = 0 , each class of equivalent r-matrices amounts to a class of equivalent coboundary coproducts.

7.4. Lie Algebra s 4

Table 2, Table 3, Table 4 and Table 5 contain the necessary information on the structure constants of s 4 and several Schouten brackets to prove our following results. Recall that α R \ { 0 } . First, ( Λ 3 s 4 ) s 4 = e 123 for 2 + α = 0 and it is zero for the remaining allowed values of α . Meanwhile, ( Λ 2 s 4 ) s 4 = 0 for α 1 and ( Λ 2 s 4 ) s 4 = e 13 for α = 1 .
As the Lie algebras of the class s 4 depend on a parameter α R \ { 0 } , the space of derivations depends on α . This is the same for all values of α R \ { 0 , 1 } , and it becomes larger for α = 1 . Due to this, we shall proceed as in Section 7.3. By Remark 1, the space of derivations of s 4 for all possible values of α read
der all ( s 4 ) : = μ 11 μ 12 0 μ 14 0 μ 11 0 μ 24 0 0 μ 33 μ 34 0 0 0 0 : μ 11 , μ 12 , μ 33 , μ 14 , μ 24 , μ 34 R .
By extending the previous derivations to Λ 2 s 4 and using Remark 1, we obtain a basis of V s 4 all of the form
X 1 = 2 x 1 x 1 + x 2 x 2 + x 3 x 3 + x 4 x 4 + x 5 x 5 , X 2 = x 4 x 2 + x 5 x 3 , X 3 = x 5 x 1 x 6 x 2 , X 4 = x 3 x 1 x 6 x 4 , X 5 = x 2 x 2 + x 4 x 4 + x 6 x 6 , X 6 = x 3 x 2 + x 5 x 4 .
We recall that these vector fields span the Lie algebra of fundamental vector fields of the action on Λ 2 s 4 of the Lie algebra automorphisms Aut all ( s 4 ) that are common for all values of α R \ { 0 } .
For an element r Λ 2 s 4 , we obtain
[ r , r ] = 2 [ 2 x 1 x 6 ( 1 + α ) x 2 x 5 + ( 1 + α ) x 3 x 4 x 4 x 5 ] e 123 2 x 5 2 e 124 + 2 [ ( 1 α ) x 3 x 6 x 5 x 6 ] e 134 + 2 ( α 1 ) x 5 x 6 e 234 .
If α 2 , we have ( Λ 3 s 4 ) s 4 = 0 . Thus, the mCYBE and the CYBE are equal in this case and they read
2 x 1 x 6 + ( 1 + α ) x 3 x 4 = 0 , ( 1 α ) x 3 x 6 = 0 , x 5 = 0 .
For the case α + 2 = 0 , we have ( Λ 3 s 4 ) s 4 = e 123 . Thus, the mCYBE reads
( 1 α ) x 3 x 6 = 0 , x 5 = 0 .
Since x 5 , x 6 are the bricks for s 4 , our Darboux tree for the Darboux families starts with the cases x i = 0 and x i 0 , i { 5 , 6 } . The full Darboux tree is presented below.
Symmetry 13 00465 i005
The connected parts of the subspaces denoted in the above diagram are the orbits of Aut all , c ( s 4 ) on Y s 4 . To obtain the orbits of Aut all ( s 4 ) on Y s 4 , where
Aut all ( s 4 ) = T 2 2 T 1 2 0 T 1 4 0 T 2 2 0 T 2 4 0 0 T 3 3 T 3 4 0 0 0 1 : T 2 2 , T 3 3 R \ { 0 } , T 1 2 , T 1 4 , T 2 4 , T 3 4 R ,
we verify whether some of the connected components of the orbits of Aut all , c ( s 4 ) on Y s 4 are additionally connected by an element of Aut all ( s 4 ) . To do so, we use, as previously, the lift to Λ 2 s 4 of one element of each connected component of Aut all ( s 4 ) , for instance
T λ 1 , λ 2 : = diag ( λ 1 , λ 1 , λ 2 , 1 ) Λ 2 T λ 1 , λ 2 = diag ( 1 , λ 1 λ 2 , λ 1 , λ 1 λ 2 , λ 1 , λ 2 ) ,
with λ 1 , λ 2 { ± 1 } . For α R \ { 1 , 0 } , one has that Aut ( s 4 α ) = Aut all ( s 4 ) , where s 4 α stands for the Lie algebra s 4 for a fixed value of α . Then, the classes of equivalent r-matrices (up to Lie algebra automorphisms of s 4 1 ) on the Lie algebra s 4 α can easily be obtained, and they are summarised in Table 1. Moreover, the classes of equivalent coboundary coproducts for α = 1 are induced by the families
( a ) II ( zero class ) , ( b ) I + , III + , ( c ) I , III , ( d ) IV , ( e ) VII α = 1 , ( f ) V , ( g ) VI + , ( h ) VI , ( i ) VIII .
For those s 4 α with | α | 1 , one has ( Λ 2 s 4 α ) s 4 α = 0 and the classes of equivalent coboundary coproducts are given by each one of the following subsets
( a ) I , ( b ) I + , ( c ) II , ( d ) III + , ( e ) III , ( f ) IV , ( g ) V , ( h ) VI + , ( i ) VI ,
( j ) VII α = 2 , ( k ) VIII , ( l ) IX α = 2 , ( m ) IX + α = 2 .
Note that, for values | α | 1 , not all the above classes may simultaneously be available, as they arise for particular values of α .
Let us now consider the case of the Lie algebra s 4 1 , i.e., the Lie algebra of the class s 4 for α = 1 . In this case, the group of Lie algebra automorphisms is slightly larger than for the remaining admissible values of α . In particular,
Aut ( s 4 1 ) = T 2 2 T 1 2 T 1 3 T 1 4 0 T 2 2 0 T 2 4 0 T 3 2 T 3 3 T 3 4 0 0 0 1 : T 2 2 , T 3 3 R \ { 0 } , T 3 2 , T 1 2 , T 1 3 , T 1 4 , T 2 4 , T 3 4 R
and Aut ( s 4 1 ) is the group resulting from composing Aut all ( s 4 ) with the Lie algebra automorphisms of s 4 1 of the form
T ( e 1 ) = e 1 , T ( e 2 ) = e 2 + λ e 3 , T ( e 3 ) = e 3 + μ e 1 , T ( e 4 ) = e 4 , λ , μ R .
Hence, to obtain the orbits of the action Aut ( s 4 ) on Y s 4 , it is enough to act Λ 2 T A on the orbits of Aut all ( s 4 ) . Note that
Λ 2 T ( e 12 ) = e 12 + λ e 13 , Λ 2 T ( e 13 ) = e 13 , Λ 2 T ( e 14 ) = e 14 , Λ 2 T ( e 23 ) = e 23 e 12 μ λ μ e 13 , Λ 2 T ( e 24 ) = e 24 + λ e 34 , Λ 2 T 34 = e 34 + μ e 14 ,
for every λ , μ R . This will give the final orbits detailed in Table 1. Since ( Λ 2 s 4 1 ) s 4 1 = 0 , the families of equivalent coboundary coproducts are given by the ones induced by the families of equivalent r-matrices.

7.5. Lie Algebra s 5

Structure constants for the Lie algebra s 5 are given in Table 2. Using this information, one can compute the Schouten brackets between the elements of s 5 , Λ 2 s 5 , and Λ 3 s 5 from the information contained in Table 3, Table 4 and Table 5. In particular, we obtain ( Λ 2 s 5 ) s 5 = e 23 for β = 0 and ( Λ 2 s 5 ) s 5 = { 0 } for β 0 . Moreover, ( Λ 3 s 5 ) s 5 = 0 for α + 2 β 0 and ( Λ 3 s 5 ) s 5 = e 123 otherwise.
By Remark 1, we obtain that the derivations of s 5 read
der ( s 5 ) : = μ 11 0 0 μ 14 0 μ 22 μ 23 μ 24 0 μ 23 μ 22 μ 34 0 0 0 0 : μ 11 , μ 22 , μ 23 , μ 14 , μ 24 , μ 34 R ,
which give rise to the basis of V s 5 of the form
X 1 = x 1 x 1 + x 2 x 2 + x 3 x 3 , X 2 = x 5 x 1 x 6 x 2 , X 3 = x 1 x 1 + x 2 x 2 + 2 x 4 x 4 + x 5 x 5 + x 6 x 6 , X 4 = x 2 x 1 x 1 x 2 + x 6 x 5 x 5 x 6 , X 5 = x 3 x 1 x 6 x 4 , X 6 = x 3 x 2 + x 5 x 4 .
For an element r Λ 2 s 5 , we get
[ r , r ] = 2 [ x 1 x 5 + ( α + β ) x 1 x 6 ( α + β ) x 2 x 5 + x 2 x 6 + 2 β x 3 x 4 ] e 123 + 2 [ ( β α ) x 3 x 5 + x 3 x 6 ] e 124 + 2 [ x 3 x 5 + ( β α ) x 3 x 6 ] e 134 2 ( x 5 2 + x 6 2 ) e 234 .
If α + 2 β 0 , then ( Λ 3 s 5 ) s 5 = 0 . Thus, the mCYBE and the CYBE are equal in this case and they read
β x 3 x 4 = 0 , x 5 = 0 , x 6 = 0 .
For α + 2 β = 0 , we have ( Λ 3 s 5 ) s 5 = e 123 , and the mCYBE reads
x 5 = 0 , x 6 = 0 .
Since x 3 is the only brick for s 5 , we start our Darboux tree with the cases x 3 = 0 and x 3 0 . The full Darboux tree is presented below.
Symmetry 13 00465 i006
The orbits of Aut c ( s 5 ) are given by the connected parts of the loci of the above Darboux tree. The solutions are described in Table 1.
The automorphism group of s 5 reads
Aut ( s 5 ) = T 1 1 0 0 T 1 4 0 T 2 2 T 2 3 T 2 4 0 T 2 3 T 2 2 T 3 4 0 0 0 1 : T 1 1 , ( T 2 2 ) 2 + ( T 2 3 ) 2 0 , T 2 2 , T 2 3 , T 1 4 , T 2 4 , T 3 4 R .
Since the subgroup of G L ( 2 , R ) of matrices of the form
T 2 2 T 2 3 T 2 3 T 2 2 G L ( 2 , R ) , ( T 2 2 ) 2 + ( T 2 3 ) 2 > 0 ,
can be parametrised via ϕ [ 0 , 2 π [ and μ : = [ ( T 2 2 ) 2 + ( T 2 3 ) 2 ] 1 / 2 R + by setting T 2 2 = μ cos ϕ and T 2 3 = μ sin ϕ , there are two connected components of Aut ( s 5 ) . A representative of each connected part and its lift to Λ 2 s 5 read
T λ : = diag ( λ , 1 , 1 , 1 ) Λ 2 T λ = diag ( λ , λ , λ , 1 , 1 , 1 ) , λ { ± 1 } .
Using techniques from previous sections, we can easily verify whether the orbits of Aut c ( s 5 ) are additionally connected by a Lie algebra automorphism of s 5 via Λ 2 T λ . Our results are summarised in Table 1. Moreover, for β 0 , the classes of coboundary coproducts are induced from the following families of r-matrices
( a ) I , ( b ) II + , ( c ) II , ( d ) III + , ( e ) III , ( f ) IV , ( g ) V + α = 2 β , ( h ) V α = 2 β .
Meanwhile, for β = 0 , the list of families of equivalents coboundary coproducts read
( a ) II ± , ( b ) I , III ± , ( c ) IV , V ± β = 0 .

7.6. Lie Algebra s 6

Structure constants of Lie algebra s 6 are given in Table 2. Using this information, we can compute the Schouten brackets of elements of s 6 , Λ 2 s 6 , and Λ 3 s 6 (see Table 3, Table 4 and Table 5). As in previous sections, Table 2, Table 3, Table 4 and Table 5 contain the necessary information to accomplish the following calculations. In particular, we have ( Λ 3 s 6 ) s 6 = e 123 , while ( Λ 2 s 6 ) s 6 = { 0 } .
By Remark 1, one obtains that
der ( s 6 ) : = μ 11 μ 12 μ 13 μ 14 0 μ 22 0 μ 13 0 0 μ 11 μ 22 μ 12 0 0 0 0 : μ 11 , μ 12 , μ 13 , μ 14 , μ 22 R ,
which gives rise to the basis of V s 6 of the form
X 1 = x 1 x 1 + 2 x 2 x 2 + x 3 x 3 + x 4 x 4 + x 6 x 6 , X 2 = ( x 3 + x 4 ) x 2 + x 5 x 3 x 5 x 4 , X 3 = ( x 3 x 4 ) x 1 + x 6 x 3 + x 6 x 4 , X 4 = x 5 x 1 x 6 x 2 , X 5 = x 1 x 1 x 2 x 2 + x 5 x 5 x 6 x 6 .
For an element r Λ 2 s 6 , we can obtain
[ r , r ] = 2 ( x 1 x 6 + x 2 x 5 + x 4 2 ) e 123 + 2 ( x 3 + x 4 ) x 5 e 124 + 2 ( x 4 x 3 ) x 6 e 134 4 x 5 x 6 e 234 .
Since ( Λ 3 s 6 ) s 6 = e 123 , the mCYBE reads
( x 3 + x 4 ) x 5 = 0 ( x 4 x 3 ) x 6 = 0 , x 5 x 6 = 0 ,
whereas the CYBE is
x 1 x 6 + x 2 x 5 + x 4 2 = 0 , ( x 3 + x 4 ) x 5 = 0 , ( x 4 x 3 ) x 6 = 0 , x 5 x 6 = 0 .
Note that the CYBE obtained above is exactly the result obtained in [33] (eq. (3.7)) under the substitution x 5 = α + , x 6 = α , x 4 = ξ and x 3 = ϑ .
Since x 5 , x 6 are the bricks of s 6 , our Darboux tree starts with cases x i = 0 and x i 0 , for i { 5 , 6 } . The full Darboux tree is presented below.
Symmetry 13 00465 i007
Symmetry 13 00465 i008
The connected parts of the subsets denoted in the above Darboux tree are the orbits of Aut c ( s 6 ) .
The Lie algebra automorphism group of s 6 reads
Aut ( s 6 ) = T 2 3 T 3 2 T 2 4 T 3 2 T 3 4 T 2 3 T 1 4 0 0 T 2 3 T 2 4 0 T 3 2 0 T 3 4 0 0 0 1 , T 2 2 T 3 3 T 2 2 T 3 4 T 2 4 T 3 3 T 1 4 0 T 2 2 0 T 2 4 0 0 T 3 3 T 3 4 0 0 0 1 : T 3 2 , T 2 2 R \ { 0 } , T 2 3 , T 3 3 R \ { 0 } , T 1 4 , T 2 4 , T 3 4 R .
One element of each connected component of Aut ( s 6 ) , which are eight, and their lifts to Λ 2 s 6 are given by
λ 1 λ 2 0 0 0 0 θ ( 1 ) λ 1 θ ( ± 1 ) λ 2 0 0 θ ( ± 1 ) λ 1 θ ( 1 ) λ 2 0 0 0 0 1 θ ( 1 ) λ 2 θ ( ± 1 ) λ 1 0 0 0 0 θ ( ± 1 ) λ 2 θ ( 1 ) λ 1 0 0 0 0 0 0 λ 1 λ 2 0 0 0 0 0 0 λ 1 λ 2 0 0 0 0 0 0 θ ( 1 ) λ 1 θ ( ± 1 ) λ 2 0 0 0 0 θ ( ± 1 ) λ 1 θ ( 1 ) λ 2 ,
where θ ( x ) stands for the Heaviside function and λ 1 , λ 2 { 1 , 1 } . By using the previous information, we can verify whether some of the orbits of the action of Aut c ( s 6 ) on Y s 6 can be connected by an element of Aut ( s 6 ) , which gives rise to the classes of equivalent r-matrices up to the action of Lie algebra automorphisms of s 6 . Since ( Λ 2 s 6 ) s 6 = 0 , each class of equivalent r-matrices gives rise to a separate class of coboundary Lie bialgebras on s 6 . Hence, the classes of equivalent coboundary Lie bialgebras are given by
( a ) I , I ext ( b ) II , ( c ) , III , ( d ) IV , ( e ) V , V ext ( f ) VI , VI ext , ( g ) VII | k | { 0 , 1 } , ( h ) VIII , VIII ext , ( i ) IX , IX ext .

7.7. Lie Algebra s 7

The structure constants of Lie algebra s 7 are given in Table 2. Using this information, we can compute some relevant Schouten brackets between the elements of the bases of s 7 , Λ 2 s 7 , and Λ 3 s 7 (see Table 3, Table 4 and Table 5). Note that, from these tables, we get ( Λ 2 s 7 ) s 7 = 0 and ( Λ 3 s 7 ) s 7 = e 123 .
By Remark 1, one obtains that
der ( s 7 ) : = μ 11 μ 12 μ 13 μ 14 0 1 2 μ 11 μ 23 μ 12 0 μ 23 1 2 μ 11 μ 13 0 0 0 0 : μ 11 , μ 12 , μ 13 , μ 14 , μ 23 R ,
which give rise to the basis of V s 7 of the form
X 1 = 3 2 x 1 x 1 + 3 2 x 2 x 2 + x 3 x 3 + x 4 x 4 + 1 2 x 5 x 5 + 1 2 x 6 x 6 , X 2 = x 3 x 1 + x 4 x 2 + x 5 x 3 x 6 x 4 , X 3 = x 4 x 1 + x 3 x 2 + x 6 x 3 + x 5 x 4 , X 4 = x 5 x 1 x 6 x 2 , X 5 = x 2 x 1 x 1 x 2 + x 6 x 5 x 5 x 6 .
Then,
[ r , r ] = 2 ( x 4 2 + x 1 x 5 + x 2 x 6 ) e 123 + 2 ( x 4 x 5 + x 3 x 6 ) e 124 + 2 ( x 4 x 6 x 3 x 5 ) e 134 2 ( x 5 2 + x 6 2 ) e 234 .
Since ( Λ 3 s 7 ) s 7 = e 123 , then the mCYBE reads
x 5 = x 6 = 0 .
Meanwhile, the CYBE takes the form
x 4 = x 5 = x 6 = 0 .
The Darboux tree is presented below.
Symmetry 13 00465 i009
The connected parts of the subsets denoted in the above Darboux tree are the orbits of Aut c ( s 7 ) in Y s 7 . By using the extension of the automorphism group Aut ( s 7 ) to Λ 2 s 7 , we can verify whether some of these parts are additionally connected by a Lie algebra automorphism of s 7 . The results are summarised in Table 1. As before, each family of r-matrices induces a separate class of coboundary coproducts.
The Lie algebra automorphism group of s 7 reads
Aut ( s 7 ) = ± [ ( T 2 2 ) 2 + ( T 3 2 ) 2 ] ± T 2 4 T 2 2 T 3 4 T 3 2 T 3 4 T 2 2 ± T 2 4 T 3 2 T 1 4 0 T 2 2 T 3 2 T 2 4 0 T 3 2 ± T 2 2 T 3 4 0 0 0 ± 1 : ( T 2 2 ) 2 + ( T 3 2 ) 2 R \ { 0 } T 2 2 , T 3 2 , T 1 4 , T 2 4 , T 3 4 R .
Since the two subsets of G L ( 2 , R ) of matrices of the form
T 2 2 T 3 2 T 3 2 ± T 2 2 G L ( 2 , R ) , ( T 2 2 ) 2 + ( T 3 2 ) 2 > 0 ,
can be parametrised via ϕ [ 0 , 2 π [ and μ : = [ ( T 2 2 ) 2 + ( T 3 2 ) 2 ] 1 / 2 R + by setting T 2 2 = μ cos ϕ and T 3 2 = μ sin ϕ , one gets that Aut ( s 7 ) has two connected components. As usual, we only need one element for every connected component of Aut ( s 7 ) and their lifts to Λ 2 s 7 , namely
T ± : = diag ( ± 1 , 1 , ± 1 , ± 1 ) Λ 2 T ± = diag ( ± 1 , 1 , 1 , ± 1 , ± 1 , 1 ) .
Taking this into account, and since ( Λ 2 s 7 ) s 7 = 0 , we obtain that the families or equivalent coboundary Lie bialgebras are given by
( a ) I , ( b ) II + , ( c ) II , ( d ) III , ( e ) ( IV + ) | k | R + ( f ) ( IV ) | k | R + .

7.8. Lie Algebra s 8

The structure constants for the Lie algebra s 8 are given in Table 2. Recall that α ] 1 , 1 ] \ { 0 } . As in the previous cases, one can obtain some relevant Schouten brackets between the base elements of s 8 , Λ 2 s 8 , and Λ 3 s 8 (see Table 3, Table 4 and Table 5). In view of Table 2, Table 3, Table 4 and Table 5, one has that ( Λ 2 s 8 ) s 8 = e 13 for α = 1 2 and ( Λ 2 s 8 ) s 8 = 0 , otherwise. Moreover, ( Λ 3 s 8 ) s 8 = 0 .
By Remark 1, one obtains that the derivations of s 8 α , for a fixed value α ] 1 , 1 [ \ { 0 } read
der ( s 8 α ) = μ 11 μ 12 μ 13 μ 14 0 μ 22 0 μ 13 0 0 μ 11 μ 22 α μ 12 0 0 0 0 : μ 11 , μ 12 , μ 13 , μ 14 , μ 22 R .
In case α = 1 , one gets
der ( s 8 1 ) = μ 11 μ 12 μ 13 μ 14 0 μ 22 μ 23 μ 13 0 μ 32 μ 11 μ 22 μ 12 0 0 0 0 : μ 11 , μ 12 , μ 13 , μ 14 , μ 22 , μ 23 , μ 32 R .
For any value of α ] 1 , 1 ] \ { 0 } and an element r Λ 2 s 8 , one obtains
[ r , r ] = 2 [ ( 2 + α ) x 1 x 6 ( 1 + 2 α ) x 2 x 5 + ( 1 + α ) x 3 x 4 + x 4 2 ] e 123 + 2 ( x 4 α x 3 ) x 5 e 124 + 2 x 6 ( x 4 x 3 ) e 134 + 2 ( α 1 ) x 5 x 6 e 234 .
Since ( Λ 3 s 8 ) s 8 = 0 , the mCYBE reads
( 2 + α ) x 1 x 6 ( 1 + 2 α ) x 2 x 5 + ( 1 + α ) x 3 x 4 + x 4 2 = 0 , ( x 4 α x 3 ) x 5 = 0 , x 6 ( x 4 x 3 ) = 0 , ( α 1 ) x 5 x 6 = 0 .
Let us now consider two cases given by α ] 1 , 1 [ \ { 0 } and α = 1 . In the first case, the space of derivations gives rise to the basis of V s 8 α of the form
X 1 = x 1 x 1 + 2 x 2 x 2 + x 3 x 3 + x 4 x 4 + x 6 x 6 , X 2 = ( x 3 α + x 4 ) x 2 + x 5 x 3 + α x 5 x 4 , X 3 = ( x 3 + x 4 ) x 1 + x 6 x 3 + x 6 x 4 , X 4 = x 5 x 1 x 6 x 2 , X 5 = x 1 x 1 x 2 x 2 + x 5 x 5 x 6 x 6 .
The following diagram depicts the Darboux families that give us the orbits of Aut c ( s 8 α ) on Y s 8 α . Since x 5 , x 6 are the bricks for every s 8 α , our Darboux tree starts with the cases x i = 0 and x i 0 , for i { 5 , 6 } . The full Darboux tree is presented below.
Symmetry 13 00465 i010
The Lie algebra automorphism group of s 8 α for each α ] 1 , 1 [ \ { 0 } , reads
Aut ( s 8 α ) = T 2 2 T 3 3 T 1 2 T 1 3 T 1 4 0 T 2 2 0 T 1 3 T 3 3 0 0 T 3 3 α T 1 2 T 2 2 0 0 0 1 : T 2 2 , T 3 3 R \ { 0 } T 1 2 , T 1 3 , T 1 4 R .
In reality, we are only concerned with obtaining one element of Aut ( s 8 α ) and its lift to Λ 2 s 8 for each one of its connected components. For instance, we can choose
T λ 1 , λ 2 = diag ( λ 1 λ 2 , λ 1 , λ 2 , 1 ) Λ 2 T λ 1 , λ 2 = diag ( λ 2 , λ 1 , λ 1 λ 2 , λ 1 λ 2 , λ 1 , λ 2 ) ,
for λ 1 , λ 2 { ± 1 } .
As in previous sections, the maps Λ 2 T λ 1 , λ 2 allow us to identify the orbits of the action of Aut ( s 8 α ) on Y s 8 α . Our results are presented in Table 1. Moreover, for α 1 2 , each family of equivalent r-matrices give rise to a separate class of equivalent coboundary Lie bialgebras. For α = 1 2 , we obtain eight families of equivalent coboundary Lie bialgebras given by:
( a ) II ( zero class ) , ( b ) I , III , ( c ) IV , ( d ) V , ( e ) VI , VII α = 1 2 , VII + α = 1 2 , ( f ) VIII .
Let us now study the case α = 1 using the previous results. Since (20) for α = 1 is a Lie subalgebra of the space of derivations for s 8 α given in (21), the Lie algebra spanned by the vector fields of (22) for α = 1 is a Lie subalgebra of the Lie algebra of fundamental vector fields of the action of Aut ( s 8 1 ) on Λ 2 s 8 . Hence, the loci of the above Darboux families allow us to characterise the strata of the distribution spanned by the vector fields (22) for α = 1 , which, in turn, gives us the orbits of a Lie subgroup of Aut ( s 8 1 ) . To easily follow our discussion, we detail that
Aut ( s 8 α ) = T 2 2 T 3 3 T 2 3 T 3 2 T 2 2 T 3 4 T 2 4 T 3 2 T 2 3 T 3 4 T 2 4 T 3 3 T 1 4 0 T 2 2 T 2 3 T 2 4 0 T 3 2 T 3 3 T 3 4 0 0 0 1 : T 2 2 T 3 3 T 3 2 T 2 3 0 , T 1 4 , T 2 4 , T 3 4 R .
To obtain the orbits of Aut ( s 8 1 ) on Y s 8 1 , it is enough to write Aut ( s 8 1 ) as a composition of the previous subgroup with certain Lie algebra automorphisms of Aut ( s 8 1 ) , e.g., the Lie algebra automorphisms T A = ( det A ) Id A Id for every A G L ( 2 , R ) . Hence, Λ 2 T A = ( det A ) A ( det A ) Id ( det A ) Id . The action of the Λ 2 T A on the loci of the Darboux families of (22) assuming α = 1 allows us to obtain the orbits of the action of Aut ( s 8 1 ) on Y s 8 1 . In particular, one obtains the subsets given in Table 1. Since ( Λ 2 s 8 1 ) s 8 1 = 0 , the classes of equivalent coboundary coproducts for s 8 1 are given by
( a ) I , ( b ) II , ( c ) III , ( d ) IV .

7.9. Lie Algebra s 9

As previously, we use the structure constants for s 9 in Table 2 to compute the Schouten brackets given in Table 3, Table 4 and Table 5. Moreover, ( Λ 2 s 9 ) s 9 = 0 and ( Λ 3 s 9 ) s 9 = 0 for every α > 0 . These calculations are enough to verify the remaining results of the present subsection.
By Remark 1, one obtains that
der ( s 9 α ) : = 2 μ 22 μ 12 μ 13 μ 14 0 μ 22 μ 23 μ 12 α μ 13 0 μ 23 μ 22 α μ 12 + μ 13 0 0 0 0 : μ 12 , μ 13 , μ 14 , μ 22 , μ 23 R .
The obtained derivations give rise to the basis of V s 9 α of the form
X 1 = x 3 x 1 + ( α x 3 + x 4 ) x 2 + x 5 x 3 + ( α x 5 x 6 ) x 4 , X 2 = ( α x 3 x 4 ) x 1 + x 3 x 2 + x 6 x 3 + ( x 5 + α x 6 ) x 4 , X 3 = x 5 x 1 x 6 x 2 , X 4 = 3 x 1 x 1 + 3 x 2 x 2 + 2 x 3 x 3 + 2 x 4 x 4 + x 5 x 5 + x 6 x 6 , X 5 = x 2 x 1 x 1 x 2 + x 6 x 5 x 5 x 6 .
For an element r Λ 2 s 9 , we get
[ r , r ] = 2 ( x 1 x 5 + 3 α x 1 x 6 3 α x 2 x 5 + x 2 x 6 + 2 α x 3 x 4 + x 4 2 ) e 123 + 2 ( α x 3 x 5 + x 3 x 6 + x 4 x 5 ) e 124 + 2 ( x 4 x 6 x 3 x 5 α x 3 x 6 ) e 134 2 ( x 5 2 + x 6 2 ) e 234 .
and since ( Λ 3 s 9 ) s 9 = 0 for every value of α , the mCYBE and the CYBE are equal and read
( 2 α x 3 + x 4 ) x 4 = 0 , x 5 = 0 , x 6 = 0 .
The Darboux tree for the class s 9 is presented below.
Symmetry 13 00465 i011
If we define Δ : = ( T 2 2 ) 2 + ( T 3 2 ) 2 , the Lie algebra automorphisms group of each s 9 α reads
Aut ( s 9 α ) = Δ T 2 4 ( T 2 2 + α T 3 2 ) + T 3 4 ( α T 2 2 T 3 2 ) 1 + α 2 ( T 3 2 α T 2 2 ) T 2 4 + T 3 4 ( T 2 2 + α T 3 2 ) 1 + α 2 T 1 4 0 T 2 2 T 3 2 T 2 4 0 T 3 2 T 2 2 T 3 4 0 0 0 1 : Δ R + , T 2 2 , T 3 2 , T 1 4 , T 2 4 , T 3 4 R .
Using ideas from Section 7.5, we obtain that each Aut ( s 9 α ) has one connected component. Consequently, the orbits of Aut ( s 9 α ) on Λ 2 s 9 α are the strata of E s 9 α . Since ( Λ 2 s 9 ) s 9 = 0 for every α > 0 , the strata of E s 9 α within Y s 9 α amounts for the families of equivalent coboundary Lie bialgebras on s 9 α . Our final results are summarised in Table 1.

7.10. Lie Algebra s 10

As in the previous cases, we hereafter use the structure constants for Lie algebra s 10 in Table 2 and the induced Schouten brackets between elements of s 10 , Λ 2 s 10 , and Λ 3 s 10 , depicted in Table 3, Table 4 and Table 5. It is remarkable that ( Λ 3 s 10 ) s 10 = 0 and ( Λ 2 s 10 ) s 10 = 0 .
By Remark 1, the derivations of s 10 read
der ( s 10 ) = μ 11 μ 12 μ 13 μ 14 0 1 2 μ 11 μ 23 μ 12 μ 13 0 0 1 2 μ 11 μ 12 0 0 0 0 : μ 11 , μ 12 , μ 13 , μ 14 , μ 23 R ,
which give rise to the basis of V s 10 of the form
X 1 = 3 2 x 1 x 1 + 3 2 x 2 x 2 + x 3 x 3 + x 4 x 4 + 1 2 x 5 x 5 + 1 2 x 6 x 6 , X 2 = x 3 x 1 + ( x 3 + x 4 ) x 2 + x 5 x 3 + ( x 5 x 6 ) x 4 , X 3 = ( x 3 x 4 ) x 1 + x 6 x 3 + x 6 x 4 , X 4 = x 5 x 1 x 6 x 2 , X 5 = x 2 x 1 + x 6 x 5 .
For an element r Λ 2 s 10 , we get
[ r , r ] = 2 ( 3 x 1 x 6 3 x 2 x 5 + x 2 x 6 + 2 x 3 x 4 + x 4 2 ) e 123 + 2 ( x 3 x 5 + x 3 x 6 + x 4 x 5 ) e 124 + 2 ( x 4 x 3 ) x 6 e 134 2 x 6 2 e 234 .
Since ( Λ 3 s 10 ) s 10 = 0 , the mCYBE and the CYBE are equal, and they read
3 x 2 x 5 + 2 x 3 x 4 + x 4 2 = 0 , ( x 4 x 3 ) x 5 = 0 , x 6 = 0 .
Since x 6 is the only brick for s 10 , our Darboux tree starts with the cases x 6 = 0 and x 6 0 . The full Darboux tree is presented below.
Symmetry 13 00465 i012
The connected parts of the subspaces denoted in the Darboux tree are the orbits of Aut c ( s 10 ) within Y s 10 . To obtain the orbits of Aut ( s 10 ) within Y s 10 , we proceed as in previous sections and we derive the automorphism group of s 10 , which takes the form
Aut ( s 10 ) = ( T 2 2 ) 2 T 3 4 T 2 2 T 3 4 T 2 2 + T 3 4 T 2 3 T 2 4 T 2 2 T 1 4 0 T 2 2 T 2 3 T 2 4 0 0 T 2 2 T 3 4 0 0 0 1 : T 2 2 R \ { 0 } , T 2 3 , T 1 4 , T 2 4 , T 3 4 R .
In reality, we do not need the full group. It is enough to note that there are two connected components of Aut ( s 10 ) , represented by two automorphisms that read, along with their extensions to Λ 2 s 10 , as follows
T λ : = diag ( 1 , λ , λ , 1 ) Λ 2 T λ = diag ( λ , λ , 1 , 1 , λ , λ ) λ { ± 1 } .
By applying Λ 2 T λ to the orbits of Aut c ( s 10 ) in Y s 10 , depicted in Table 1, we obtain the orbits of Aut( s 10 ) in Y s 10 . Since ( Λ 2 s 10 ) s 10 = 0 , such orbits amount to the classification of equivalent coboundary Lie bialgebras up to Lie algebra automorphisms of s 10 .

7.11. Lie Algebra s 11

As previously, the information in Table 2, Table 3, Table 4 and Table 5 allows us to accomplish the calculations of this section. In particular, one obtains ( Λ 2 s 11 ) s 11 = 0 and ( Λ 3 s 11 ) s 11 = 0 .
By Remark 1, one obtains
der ( s 11 ) = μ 11 μ 12 μ 13 μ 14 0 μ 22 0 μ 13 0 0 μ 11 μ 22 0 0 0 0 0 : μ 11 , μ 12 , μ 13 , μ 14 , μ 22 R .
Such derivations give rise to the basis of V s 11 of the form
X 1 = x 1 x 1 + 2 x 2 x 2 + x 3 x 3 + x 4 x 4 + x 6 x 6 , X 2 = x 4 x 2 + x 5 x 3 , X 3 = ( x 3 x 4 ) x 1 + x 6 x 3 + x 6 x 4 , X 4 = x 5 x 1 x 6 x 2 , X 5 = x 1 x 1 x 2 x 2 + x 5 x 5 x 6 x 6 ,
For an element r Λ 2 s 11 , we get
[ r , r ] = 2 ( 2 x 1 x 6 x 2 x 5 + x 3 x 4 + x 4 2 ) e 123 + 2 x 4 x 5 e 124 + 2 ( x 4 x 3 ) x 6 e 134 2 x 6 x 5 e 234 .
Since ( Λ 3 s 11 ) s 11 = { 0 } , the mCYBE and the CYBE are equal and read
2 x 1 x 6 x 2 x 5 + x 3 x 4 + x 4 2 = 0 , x 4 x 5 = 0 , ( x 4 x 3 ) x 6 = 0 , x 5 x 6 = 0 .
Since x 5 , x 6 are the bricks for s 11 , our Darboux tree starts with the cases x i = 0 and x i 0 , for i { 5 , 6 } . The Darboux tree is presented below.
Symmetry 13 00465 i013
The above Darboux tree gives the orbits of Aut c ( s 11 ) in Y s 11 . To obtain the equivalence classes of r-matrices up to Lie algebra automorphisms of Aut ( s 11 ) , we obtain that
Aut ( s 11 ) = T 2 2 T 3 3 T 1 2 T 3 3 T 2 4 T 1 4 0 T 2 2 0 T 2 4 0 0 T 3 3 0 0 0 0 1 : T 2 2 , T 3 3 R \ { 0 } T 1 2 , T 1 4 , T 2 4 R .
In fact, only one representative for each connected component is needed for our purposes. There are four connected components of Aut ( s 11 ) , each one represented by one of the following automorphisms, which are given, together with their lifts, to Λ 2 s 11 , namely
T λ 1 , λ 2 : = diag ( λ 1 λ 2 , λ 1 , λ 2 , 1 ) Λ 2 T λ 1 , λ 2 = ( λ 2 , λ 1 , λ 1 λ 2 , λ 1 λ 2 , λ 1 , λ 2 ) ,
for λ 1 , λ 2 { ± 1 } .
The Λ 2 T λ 1 , λ 2 allow us to check whether the orbits of Aut c ( s 11 ) are connected by an element of Aut ( s 11 ) acting on Λ 2 s 11 . The equivalence classes of such r-matrices (up to the action of elements of Aut ( s 11 ) , as standard) are given in Table 1. Since ( Λ 2 s 11 ) s 11 = 0 , each family of r-matrices gives rise to a separate class of equivalent coboundary Lie bialgebras on s 11 .

7.12. Lie Algebra s 12

The structure constants for Lie algebra s 12 are given in Table 2. This, along with the selected Schouten brackets between basis elements of s 12 , Λ 2 s 12 , and Λ 3 s 12 , described in Table 3, Table 4 and Table 5, allow us to accomplish the calculations of this section. In particular, we obtain that ( Λ 2 s 12 ) s 12 = 0 and ( Λ 3 s 12 ) s 12 = 0 .
By Remark 1, one obtains that
der ( s 12 ) = μ 11 μ 12 μ 13 μ 14 μ 12 μ 11 μ 14 μ 13 0 0 0 0 0 0 0 0 : μ 11 , μ 12 , μ 13 , μ 14 R .
The previous derivations give rise to the basis of V s 12 given by
X 1 = 2 x 1 x 1 + x 2 x 2 + x 3 x 3 + x 4 x 4 + x 5 x 5 , X 2 = x 4 x 2 + x 5 x 3 x 2 x 4 x 3 x 5 , X 3 = ( x 3 x 4 ) x 1 + x 6 x 3 + x 6 x 4 , X 4 = ( x 2 x 5 ) x 1 x 6 x 2 + x 6 x 5 .
For an element r Λ 2 s 12 , we get
[ r , r ] = 2 ( x 2 x 3 + x 4 x 5 ) e 123 + 2 ( 2 x 1 x 6 + x 2 x 5 x 3 2 x 3 x 4 x 5 2 ) e 124 2 ( x 2 + x 5 ) x 6 e 134 + 2 ( x 3 x 4 ) x 6 e 234 .
Since ( Λ 3 s 12 ) s 12 = 0 , the mCYBE and CYBE are equal and read
x 2 x 3 + x 4 x 5 = 0 , 2 x 1 x 6 x 2 x 5 + x 3 2 + x 3 x 4 + x 5 2 = 0 , ( x 2 + x 5 ) x 6 = 0 , ( x 3 x 4 ) x 6 = 0 .
Since x 6 is the only brick for s 12 , our Darboux tree starts with the cases x 6 = 0 and x 6 0 . The full Darboux tree is given next.
Symmetry 13 00465 i014
The connected parts of the loci of the Darboux families of the Darboux tree are the orbits of Aut c ( s 12 ) within Y s 12 . These are given by the connected parts of the subsets given in Table 1. Let us obtain the orbits of Aut ( s 12 ) on Y sl 12 .
The Lie algebra automorphism group of s 12 reads
Aut ( s 12 ) = T 1 1 T 1 2 T 1 3 ± T 2 3 T 1 2 ± T 1 1 T 2 3 T 1 3 0 0 1 0 0 0 0 ± 1 : ( T 1 1 ) 2 + ( T 1 2 ) 2 R \ { 0 } T 1 1 , T 1 2 , T 1 3 , T 2 3 R .
There are two connected components of Aut ( s 12 ) . One such element for each connected component of Aut ( s 12 ) and their extensions to Λ 2 s 12 are given by
T ± : = diag ( 1 , ± 1 , 1 , ± 1 ) Λ ± T = diag ( ± 1 , 1 , ± 1 , ± 1 , 1 ± 1 ) .
By using Λ 2 T ± on the loci of the above Darboux tree, we obtain the orbits of Aut ( s 12 ) , which are given by the classes of equivalent r-matrices detailed in Table 1. Since ( Λ 2 s 12 ) s 12 = 0 , each family of equivalent r-matrices gives rise to a separate class of equivalent coboundary Lie bialgebras.

7.13. Lie Algebra n 1

The structure constants for the Lie algebra n 1 are given in Table 2, while relevant Schouten brackets between the elements of bases of n 1 , Λ 2 n 1 , and Λ 3 n 1 , to be used hereafter, are displayed in Table 3, Table 4 and Table 5. From these calculations, one obtains that ( Λ 2 n 1 ) n 1 = e 12 and ( Λ 3 n 1 ) n 1 = e 123 , e 124 . By Remark 1, one has that the derivations (note that the dimension of the space of derivation matches the result given in the WŠ classification) of n 1 take the form
der ( n 1 ) = μ 11 μ 12 μ 13 μ 14 0 μ 22 μ 12 μ 24 0 0 2 μ 22 μ 11 μ 34 0 0 0 μ 11 μ 22 : μ 11 , μ 12 , μ 13 , μ 14 , μ 22 , μ 24 , μ 34 R ,
which, by lifting them to Λ 2 n 1 , give rise to the basis of V n 1 of the form
X 1 = x 1 x 1 + 2 x 3 x 3 x 4 x 4 + x 5 x 5 , X 2 = x 2 x 1 + x 4 x 2 + x 5 x 3 + x 6 x 5 , X 3 = x 4 x 1 + x 6 x 3 , X 4 = x 5 x 1 x 6 x 2 , X 5 = x 1 x 1 + 2 x 2 x 2 x 3 x 3 + 3 x 4 x 4 + x 6 x 6 , X 6 = x 3 x 1 x 6 x 4 , X 7 = x 3 x 2 + x 5 x 4 .
For an element r Λ 2 n 1 , we get
[ r , r ] = 2 ( x 4 x 5 x 2 x 6 ) e 123 + 2 ( x 5 2 x 3 x 6 ) e 124 + 2 x 5 x 6 e 134 + 2 x 6 2 e 234 .
Thus, CYBE reads x 5 = 0 , x 6 = 0 .
Since ( Λ 3 n 1 ) n 1 = e 123 , e 124 , the mCYBE differs from the CYBE and reads
x 6 = 0 .
The Darboux tree for this Lie algebra reads
Symmetry 13 00465 i015
As in all previous sections, the orbits of Aut c ( n 1 ) in Y n 1 are given by the connected components of the loci of the Darboux families of the above Darboux tree. The results can be found in Table 1.
Let us again obtain the orbits of Aut ( n 1 ) in Y n 1 . The Aut ( n 1 ) takes the form
Aut ( n 1 ) = T 3 3 ( T 4 4 ) 2 T 2 3 T 4 4 T 1 3 T 1 4 0 T 3 3 T 4 4 T 2 3 T 2 4 0 0 T 3 3 T 3 4 0 0 0 T 4 4 : T 3 3 , T 4 4 R \ { 0 } , T 1 3 , T 2 3 , T 1 4 , T 2 4 , T 3 4 R .
It has four connected components represented by the following Lie algebra automorphisms, which are also lifted to Λ 2 n 1 :
T λ 1 , λ 2 : = diag ( λ 1 , λ 1 λ 2 , λ 1 , λ 2 ) Λ 2 T λ 1 , λ 2 = diag ( λ 2 , 1 , λ 1 λ 2 , λ 2 , λ 1 , λ 1 λ 2 ) , λ 1 , λ 2 { ± 1 } .
The action of the Λ 2 T λ 1 , λ 2 on the loci of the above Darboux tree gives the families of equivalent r-matrices given in Table 1. Since ( Λ 2 n 1 ) n 1 = e 12 , and using the information in Table 1, we see that the families of equivalent coboundary Lie bialgebras on n 1 are given by orbits of Aut ( n 1 ) , with the exception that the class I and the zero class (given by the zero r-matrix) give the Lie bialgebra in n 1 with a zero coproduct.

8. Conclusions and Outlook

This work has devised a generalisation of the theory of Darboux polynomials to determine and to classify, up to Lie algebra automorphisms, the coboundary real Lie bialgebras over indecomposable, real, four-dimensional Lie algebras in a geometric manner. As a byproduct, a technique for the matrix representation of Lie algebras with non-trivial kernel has been developed, which is frequently useful in calculations.
The procedures devised in this work are good enough to make the classification, up to Lie algebra automorphisms, of coboundary Lie bialgebras affordable on real and complex, of at least dimension five, indecomposable Lie algebras via the Šnobl and Winternitz classification [24]. The case of two- and three-dimensional Lie bialgebras can also be obtained. Moreover, a brief analysis of the classification of coboundary coproducts on real four-dimensional decomposable Lie algebras through our methods shows that their classification relies partially on the classification of coboundary coproducts on three- and two-dimensional Lie algebras, while the complexity of the procedure is significantly easier than in the present work [14,21]. We expect to tackle this task in the future and to compare our results with previous works on the topic [15,17,21]. Our techniques are also expected to be applied to other higher-dimensional Lie algebras of particular types, e.g., five-dimensional nilpotent or semi-simple Lie algebras. In all mentioned cases, we aim to inspect new properties of the Darboux families used to study these problems. The determination of coboundary Lie bialgebras is relevant to the study of Poisson Lie groups. In particular, it represents an initial step in the study of Poisson Lie groups of dimension four, which would give rise to an extension of the paper [12].
Our work has focused on the classification of coboundary Lie bialgebras on indecomposable Lie algebras. Probably, one laborious task in the application of our method is the determination of a representative of each connected part of the Lie group of Lie algebra automorphisms of a Lie algebra. In the case of semi-simple Lie algebras, this is much easier, as algebraic techniques based on Dynkin diagrams and other results can be applied [46,48]. It is left for further works to study this problem and to search for coboundary Lie bialgebras in the Lie algebra so ( 3 , 2 ) , which has applications in the analysis of quantum gravity in 3 + 1 dimensions (see [49] and references therein).

Author Contributions

All authors contributed equally to all parts of the work. Conceptualization, J.d.L. and D.W.; Investigation, J.d.L. and D.W.; Writing—review & editing, J.d.L. and D.W. All authors have read and agreed to the published version of the manuscript.

Funding

D.W. acknowledges support from a grant financed by the University of Warsaw (UW) and the Kartezjusz program of the Jagiellonian University and UW. J.d.L. acknowledges partial financial support from the NCN grant HARMONIA 2016/22/M/ST1/00542.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

The authors confirm that the data supporting the findings of this study are available within the article.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Chari, V.; Pressley, P. A Guide to Quantum Groups; Cambridge University Press: Cambridge, UK, 1994. [Google Scholar]
  2. Drinfeld, V.G. Hamiltonian structures of Lie groups, Lie bialgebras and the geometric meaning of the classical Yang-Baxter equation. Sov. Math. Dokl. 1983, 27, 68–71. [Google Scholar]
  3. Drinfeld, V.G. Quantum groups. J. Soviet Math. 1986, 41, 898–915. [Google Scholar] [CrossRef]
  4. Kosman-Schwarzbach, Y. Lie bialgebras, Poisson Lie groups and dressing transformations. In Integrability of Nonlinear Systems; Lecture Notes in Phys; Springer: New York, NY, USA, 2004; Volume 638, pp. 107–173. [Google Scholar]
  5. Faddeev, L. Integrable models in (1+1)-dimensional quantum field theory. In Recent Advances in Field Theory and Statistical Mechanics; North-Holland: Amsterdam, The Netherlands, 1984; pp. 561–608. [Google Scholar]
  6. Faddeev, L.; Takhtajan, L. Hamiltonian Methods in the Theory of Solitons; Springer: Berlin, Germany, 1987. [Google Scholar]
  7. Ballesteros, A.; Celeghini, E.; Herranz, F.J. Quantum (1+1) extended Galilei algebras: From Lie bialgebras to quantum R-matrices and integrable systems. J. Phys. A 2000, 33, 3431–3444. [Google Scholar] [CrossRef] [Green Version]
  8. Ballesteros, A.; Herranz, F.J.; Meusburger, C. Drinfel’d doubles for (2+1)-gravity. Class. Quant. Grav. 2013, 30, 155012. [Google Scholar] [CrossRef]
  9. Meusburger, C.; Schönfeld, T. Gauge fixing in (2+1)-gravity: Dirac bracket and space-time geometry. Class. Quantum Grav. 2011, 28, 125008. [Google Scholar] [CrossRef]
  10. Meusburger, C.; Schroers, B.J. Poisson structure and symmetry in the Chern-Simons formulation of (2+1)-dimensional gravity. Class. Quantum Grav. 2003, 20, 2193–2233. [Google Scholar] [CrossRef]
  11. Opanowicz, A. Lie bi-algebra structures for centrally extended two-dimensional Galilei algebra and their Lie–Poisson counterparts. J. Phys. A 1998, 31, 8387–8396. [Google Scholar] [CrossRef] [Green Version]
  12. Ballesteros, A.; Blasco, A.; Musso, F. Classification of real three-dimensional Poisson-Lie groups. J. Phys. A 2012, 45, 175204. [Google Scholar] [CrossRef]
  13. Farinati, M.A.; Jancsa, A.P. Three-dimensional real Lie bialgebras. Rev. Un. Mat. Argent. 2015, 56, 27–62. [Google Scholar]
  14. Gómez, X. Classification of three-dimensional Lie bialgebras. J. Math. Phys. 2000, 41, 4939–4956. [Google Scholar] [CrossRef]
  15. Ballesteros, A.; Herranz, F.J.; Parashar, P. Multiparametric quantum gl(2): Lie bialgebras, quantum R-matrices and non-relativistic limits quantum non-relativistic limits. J. Phys. A 1999, 32, 2369–2385. [Google Scholar] [CrossRef]
  16. Borowiec, A.; Lukierski, J.; Tolstoy, V.N. Addendum to “Quantum deformations of D = 4 Euclidean, Lorentz, Kleinian and quaternionic o*(4) symmetries in unified o(4, ℂ) setting” [Phys. Lett. B 754 (2016) 176–181]. Phys. Lett. B 2017, 770, 426–430. [Google Scholar] [CrossRef]
  17. Kupershmidt, B.A. Classification of quantum group structures on the group GL(2). J. Phys. A 1994, 27, L47–L51. [Google Scholar] [CrossRef]
  18. Lukierski, J.; Tolstoy, V.N. Quantizations of D = 3 Lorentz symmetry. Eur. Phys. J. C. 2017, 77, 226. [Google Scholar] [CrossRef] [Green Version]
  19. Opanowicz, A. Two-dimensional centrally extended quantum Galilei groups and their algebras. J. Phys. A 2000, 33, 1941–1953. [Google Scholar] [CrossRef]
  20. Abedi-Fardad, J.; Rezaei-Aghdam, A.; Haghighatdoost, G. Classification of four-dimensional real Lie bialgebras of symplectic type and their Poisson–Lie groups. Teoret. Mat. Fiz. 2017, 190, 3–20. [Google Scholar] [CrossRef] [Green Version]
  21. De Lucas, J.; Wysocki, D. A Grassmann and graded approach to coboundary Lie bialgebras, their classification, and Yang-Baxter equations. J. Lie Theory 2020, 30, 1161–1194. [Google Scholar]
  22. Chéze, G. Computation of Darboux polynomials and rational first integrals with bounded degree in polynomial time. J. Complex. 2011, 27, 246–262. [Google Scholar] [CrossRef] [Green Version]
  23. Llibre, J.; Valls, C. Darboux integrability of polynomial differential systems in ℝ3. Bull. Belg. Math. Soc. Simon Stevin 2013, 20, 603–619. [Google Scholar] [CrossRef]
  24. Šnobl, L.; Winternitz, P. Classification and Identification of Lie Algebras; CRM Monograph Series 33; AMS: Providence, RI, USA, 2014. [Google Scholar]
  25. Abraham, R.; Marsden, J.E. Foundations of Mechanics, 2nd ed.; Benjamin/Cummings Publishing Co., Inc., Advanced Book Program: Reading, MA, USA, 1978. [Google Scholar]
  26. Hermann, R. The differential geometry of foliations. Appl. Math. Mech. 1962, 11, 303–315. [Google Scholar] [CrossRef]
  27. Lavau, S. A short guide through integration theorems of generalized distributions. Diff. Geom. Appl. 2018, 61, 42–58. [Google Scholar] [CrossRef] [Green Version]
  28. Nagano, T. Linear differential systems with singularities and an application to transitive Lie algebras. J. Math. Soc. Jpn. 1966, 18, 398–404. [Google Scholar] [CrossRef]
  29. Stefan, P. Integrability of systems of vector fields. J. Lond. Math. Soc. 1980, s2–21, 544–556. [Google Scholar] [CrossRef]
  30. Sussmann, H.J. Orbits of families of vector fields and integrability of distributions. Trans. Amer. Math. Soc. 1973, 180, 171–188. [Google Scholar] [CrossRef]
  31. Vaisman, I. Lectures on the Geometry of Poisson Manifolds; Birkhäuser: Basel, Switzerland, 1994. [Google Scholar]
  32. Kirillov, A.A. Lectures on the Orbit Method; Graduate Studies in Mathematics; American Mathematical Society: Providence, RI, USA, 2004; Volume 64. [Google Scholar]
  33. Ballesteros, A.; Herranz, F.J. Lie bialgebra quantizations of the oscillator algebra and their universal R-matrices. J. Phys. A 1996, 29, 4307–4320. [Google Scholar] [CrossRef]
  34. Ballesteros, A.; Herranz, F.J. Harmonic Oscillator Lie Bialgebras and their Quantization. In Quantum Group Symposium at Group21; Heron Press: Sofia, Greece, 1997; pp. 379–385. [Google Scholar]
  35. Ballesteros, A.; Herranz, F.J.; del Olmo, M.A.; Santander, M. Quantum structure of the motion groups of the two-dimensional Cayley-Klein geometries. J. Phys. A 1993, 26, 5801–5823. [Google Scholar] [CrossRef]
  36. Bonechi, F.; Celeghini, E.; Giachetti, R.; Sorace, E.; Tarlini, M. Heisenberg XXZ model and quantum Galilei group. J. Phys. A 1992, 25, L939–L943. [Google Scholar] [CrossRef]
  37. Ballesteros, A.; Gubitosi, G.; Gutierrez-Sagredo, I.; Herranz, F.J. Quantum groups, non-commutative Lorentzian spacetimes and curved momentum spaces. In Spacetime Physics 1907–2017; Minkowski Institute Press: Montreal, QC, Canada, 2019; pp. 261–290. [Google Scholar]
  38. Marle, C.M. The Schouten-Nijenhuis bracket and interior products. J. Geom. Phys. 1997, 23, 350–359. [Google Scholar] [CrossRef]
  39. Duistermaat, J.J.; Kolk, J.A.C. Lie Groups; Universitext; Springer: Berlin, Germany, 2000. [Google Scholar]
  40. Gràcia, X.; Lecanda, M.M.; de Lucas, J.; Vilariño, S. Multisymplectic structures and invariant tensors for Lie systems. J. Phys. A 2019, 52, 215201. [Google Scholar] [CrossRef] [Green Version]
  41. Fulton, W.; Harris, J. Representation Theory. A First Course; Graduate Texts in Mathematics; Springer: New York, NY, USA, 1991; Volume 129. [Google Scholar]
  42. Sagle, A.A.; Wable, R.E. Introduction to Lie Groups and Lie Algebras; Academic Press: New York, NY, USA, 1973. [Google Scholar]
  43. De Lucas, J.; Sardón, C. A Guide to Lie Systems with Compatible Geometric Structures; World Scientific: Singapore, 2020. [Google Scholar]
  44. Frobenius, F. Ueber das Pfaffsche Problem. J. Reine Andew. Math. 1877, 82, 230–315. [Google Scholar]
  45. Seeley, C. 7-dimensional nilpotent Lie algebras. Trans. AMS 1993, 335, 2. [Google Scholar]
  46. Bourbaki, N. Lie Groups and Lie Algebras; Elements of Mathematics; Springer: Berlin, Germany, 2005. [Google Scholar]
  47. Nesterenko, M.; Posta, S.; Vaneeva, O. Realizations of Galilei algebras. J. Phys. A 2016, 49, 115203. [Google Scholar] [CrossRef] [Green Version]
  48. Murakami, S. On the automorphisms of a real semisimple Lie algebra. J. Math. Soc. Jpn. 1952, 4, 2. [Google Scholar] [CrossRef]
  49. Ballesteros, A.; Herranz, F.J.; Musso, F. On quantum deformations of (anti-)de Sitter algebras in (2+1) dimensions. J. Phys. Conf. Ser. 2014, 532, 012002. [Google Scholar] [CrossRef]
Table 1. Orbits of the action of Aut ( g ) on Y g , their dimensions, elements, and representatives, for real four-dimensional indecomposable Lie algebras g . Each Lie algebra is divided into several subsets enumerated by roman numbers, which classify the orbits of Aut ( g ) in Y g . The orbits of Aut c ( g ) are given by the (topologically) connected components of each orbit of Aut ( g ) . The trivial orbits given by 0 Λ 2 g are not considered. Symbol A ± stands for two orbits, one with + and other with −. In these cases, R ± stands for R + for the first orbit and R for the second. If an orbit of Aut ( g ) in Λ 2 g belongs to Y g only for a certain set of parameters, each family of possible values of the parameters is indicated in a subindex, first, or as a superindex, if a second family of parameters is available. A star ( * ) denotes r-matrices that are not solutions to the CYBE.
Table 1. Orbits of the action of Aut ( g ) on Y g , their dimensions, elements, and representatives, for real four-dimensional indecomposable Lie algebras g . Each Lie algebra is divided into several subsets enumerated by roman numbers, which classify the orbits of Aut ( g ) in Y g . The orbits of Aut c ( g ) are given by the (topologically) connected components of each orbit of Aut ( g ) . The trivial orbits given by 0 Λ 2 g are not considered. Symbol A ± stands for two orbits, one with + and other with −. In these cases, R ± stands for R + for the first orbit and R for the second. If an orbit of Aut ( g ) in Λ 2 g belongs to Y g only for a certain set of parameters, each family of possible values of the parameters is indicated in a subindex, first, or as a superindex, if a second family of parameters is available. A star ( * ) denotes r-matrices that are not solutions to the CYBE.
g OrbitDim x 1 x 2 x 3 x 4 x 5 x 6 Repr. Element
s 1 I ± 1 R ± 00000 ± e 12
II10 R \ { 0 } 0000 e 13
III ± 2 R ± R \ { 0 } 0000 ± e 12 + e 13
IV20 R 0 R \ { 0 } 00 e 23