Next Article in Journal
Noether Symmetries of a Generalized Coupled Lane-Emden-Klein-Gordon-Fock System with Central Symmetry
Previous Article in Journal
Vision/Position Hybrid Control for a Hexa Robot Using Bacterial Foraging Optimization in Real-time Pose Adjustment
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Algebraic Inverses on Lie Algebra Comultiplications

Department of Mathematics, and Institute of Pure and Applied Mathematics, Jeonbuk National University, 567 Baekje-daero, Deokjin-gu, Jeonju-si, Jeollabuk-do 54896, Korea
Symmetry 2020, 12(4), 565; https://doi.org/10.3390/sym12040565
Submission received: 17 February 2020 / Revised: 5 March 2020 / Accepted: 13 March 2020 / Published: 5 April 2020

Abstract

:
In this note, we investigate algebraic loop structures and inverses of elements of a set of all homomorphisms of Lie algebras with a binary operation derived from a Lie algebra comultiplication. As a symmetry phenomenon, we show that if l ( 1 ) c and r ( 1 ) c are the left and right inverses of the identity 1 : L L on a free graded Lie algebra L , respectively, based on the Lie algebra comultiplication ψ c : L L L , then we have l ( 1 ) = l ( 1 ) c and r ( 1 ) = r ( 1 ) c , where c : L L L is a commutator.
MSC:
Primary 17B70; Secondary 20N05

1. Introduction

Symmetry in mathematics is used to indicate a mathematical terminology that is invariant under transformations such as reflection, rotation and translation, and is also used to define an equivalence relation among mathematical objects; e.g., a set, a topological space or an algebraic object. Symmetry in natural sciences is generalized to mean invariance under any kind of transformation, and plays a pivotal role in quantum chemistry and theoretical physics [1,2,3] which are related to (Lie) group theory in mathematics.
The theory of Lie algebra intervenes in other areas of sciences, including different branches of physics, mathematical physics and chemistry. It is one of the active topics of current research areas and is significantly related to algebra, algebraic topology and algebraic geometry.
From the homotopical point of view, co-H-spaces, which are sometimes also called spaces with a topological comultiplication, are important objects of research; see [4,5,6,7,8,9,10,11]. According to Eckmann and Hilton, the co-H-spaces are the dual notions of H-spaces, and have been playing a pivotal role in algebraic topology for many years; see also [12,13,14,15,16].
In the present work, as an algebraic counterpart of topological comultiplications of a space [17], we consider Lie algebra comultiplications of algebraic objects and are especially interested in the algebraic loops on the set of all homomorphisms of Lie algebras with a binary operation derived from a Lie algebra comultiplication as a new formulation on symmetry. The main purpose of our research is to investigate the left and right inverses of elements on the algebraic structures derived from a Lie algebra comultiplication as a new formulation of symmetry. More precisely, we show that if l ( 1 ) c and r ( 1 ) c are the left and right inverses of the identity 1 : L L on a free graded Lie algebra L , respectively, based on the Lie algebra comultiplication ψ c : L L L , then we have l ( 1 ) = l ( 1 ) c and r ( 1 ) = r ( 1 ) c , where c : L L L is a commutator as a symmetry phenomenon based on a Lie algebra approach in mathematics, as well as the continuous symmetry and internal symmetry of particles in physics.

2. Preliminaries

We will make use of the following notation.
  • A : = a 1 , a 2 , , a n and B : = b 1 , b 2 , , b m are graded vector spaces over a field F of characteristic 0.
  • We denote the degree of generators a s , s = 1 , 2 , , n by | a s | = d s with d 1 d 2 d n , and similarly, for b t , t = 1 , 2 , , m .
  • L ( A ) and L ( B ) are the free graded Lie algebras with the Lie brackets [ , ] generated by A and B, respectively.
We define the coproduct L ( A ) L ( B ) of Lie algebras L ( A ) and L ( B ) as
L ( A ) L ( B ) = L ( A B ) .
As a special case, if A = B , then the elements of L ( A ) L ( A ) in either summand can be distinguished from each other using a prime from elements on the second factor. Therefore, if
L ( A ) = L ( a 1 , a 2 , , a n ) ,
then
L ( A ) L ( A ) = L ( a 1 , a 2 , , a n , a 1 , a 2 , , a n ) .
Example 1.
Let X ( n ) be the nth Postnikov section of X. Then, the graded homotopy groups with rational coefficients of the Postnikov sections on the infinite complex projective space C P and the quaternionic projective spaces H P are the free graded Lie algebras with the Samelson products over the field Q of rational numbers; that is,
π ( Ω Σ C P , ) ( 2 n ) Q = L ( a 1 , a 2 , , a n )
and
π ( Ω Σ H P , ) ( 4 m ) Q = L ( b 1 , b 2 , , b m ) ,
where
  • Ω is the loop functor;
  • Σ is the suspension functor;
  • deg ( a i ) = 2 i for i = 1 , 2 , , n ;
  • deg ( b j ) = 4 j for j = 1 , 2 , , m .
Definition 1.
A homomorphism of Lie algebras ψ : L ( A ) L ( A ) L ( A ) is called a Lie algebra comultiplication (or comultiplication for short) of L ( A ) if
π 1 ψ = 1 L ( A ) = π 2 ψ ,
where π 1 , π 2 : L ( A ) L ( A ) L ( A ) are the projections onto the first and second factors, respectively.
For notational convenience, we will make use of polynomials to indicate the Lie brackets [ , ] ; that is, [ a , b ] = a b in the Lie algebras. We now consider the following.
Example 2.
The map ψ : L ( A ) L ( A ) L ( A ) of the free graded Lie algebras defined by
ψ ( a s ) = a s + a s + P s ,
is a Lie algebra comultiplication, where
  • P 1 = 0 ;
  • P s = i , j ( a i a j + a i a j ) for s = 2 , 3 , , n and i , j { 1 , 2 , , n - 1 } with d i + d j = d s .
Indeed, it can be seen that ψ : L ( A ) L ( A ) L ( A ) is a Lie algebra comultiplication because
π 1 ψ ( a s ) = π 1 ( a s + a s + P s )   = π 1 ( a s ) + π 1 ( a s ) + π 1 ( P s )   = a s + 0 + 0   = a s   = 1 L ( A ) ( a s )
for each s = 1 , 2 , , n , and similarly
π 2 ψ = 1 L ( A ) ,
where π 1 , π 2 : L ( A ) L ( A ) L ( A ) are the first and second projections, respectively.
Definition 2.
The element P s L ( A ) L ( A ) is called the sth perturbation of
ψ : L ( A ) L ( A ) L ( A ) .
We call the sequence P = ( P 1 , P 2 , , P n ) a perturbation of the Lie algebra comultiplication ψ.
We note that if ψ : L ( A ) L ( A ) L ( A ) is a Lie algebra comultiplication with perturbation P = ( P 1 , P 2 , , P n ) , then we have
ψ ( a s ) = a s + a s + P s
for s = 2 , 3 , , n , where P s is the sth perturbation of ψ consisting of a polynomials as Lie brackets in the set { a 1 , a 2 , , a n , a 1 , a 2 , , a n } , each term of which contains at least one generator in { a 1 , a 2 , , a n } and at least one generator in { a 1 , a 2 , , a n } . We also note that the first perturbation P 1 should be zero because of the degree reason of generators.

3. Algebraic Loops and Inverses

From now onward, the free graded Lie algebra L ( A ) will be denoted as L for notational convenience, where A = a 1 , a 2 , , a n is the graded vector space over F , the field of characteristic zero. If P = ( P 1 , P 2 , , P n ) is a perturbation of a Lie algebra comultiplication
ψ : L L L ,
then we sometimes denote the Lie algebra comultiplication with perturbation P = ( P 1 , P 2 , , P n ) by
ψ = ψ P : L L L
to emphasize the perturbation P.
Let ψ : L L L be a comultiplication of Lie algebras. Then, we define a binary operation “ + ψ ” on the set of homomorphisms of Lie algebras as follows:
Definition 3.
Let ψ : L L L be a comultiplication. For the homomorphisms f , g : L M of Lie algebras, we define a binary operation
f + ψ g : L M
by the composite of algebra homomorphisms
L ψ L L f g M M M ;
that is,
f + ψ g = ( f g ) ψ ,
whereis the homomorphism defined by
( f g ) ( a s ) = f ( a s )
and
( f g ) ( a s ) = g ( a s )
for each a s and a s in L , where s = 1 , 2 , , n .
More specifically, if ψ : L L L is a comultiplication with the sth perturbation defined as
P s = a i a j ,
where | a i | + | a j | = | a s | from Equation (1), that is,
ψ ( a s ) = a s + a s + a i a j ,
then
( f + ψ g ) ( a s ) = f ( a s ) + g ( a s ) + f ( a i ) g ( a j )
for s = 2 , 3 , , n .
Remark 1.
If
i 1 , i 2 : L L L
are the first and second inclusions, respectively, then we have
ψ = i 1 + ψ i 2 : L L L .
Let A be a set with addition “+” and trivial element 0 A ; that is,
a + 0 = a = 0 + a
for every element a A . Then, A is said to be an algebraic loop if the following two equations
y + a = b
and
a + x = b
have the solutions x , y uniquely in A for every a , b A .
Proposition 1.
Let ψ = ψ P : L L L be a Lie algebra comultiplication with perturbation P = ( P 1 , P 2 , , P n ) and M be any Lie algebra. Then, the set Hom ( L , M ) ψ of all Lie algebra homomorphisms h : L M under the binary operation “ + ψ ” is an algebraic loop.
Proof. 
For any Lie algebra homomorphisms f , g : L M in Hom ( L , M ) ψ , we must find the unique solutions x , y Hom ( L , M ) ψ for the equations
f + ψ x = g
and
y + ψ f = g .
The Lie algebra homomorphism x : L M is characterized by a set of generators of L by induction on the degree | a s | = d s of a s at the perturbation level P = ( P 1 , P 2 , , P n ) for each s = 1 , 2 , , n . The first Equation (2) shows that
g ( a s ) = ( f + ψ x ) ( a s )   = ( f x ) ψ ( a s )   = ( f x ) ( a s + a s + P s )   = f ( a s ) + x ( a s ) + ( f x ) ( P s ) ;
that is,
x ( a s ) = g ( a s ) - f ( a s ) - ( f x ) ( P s ) .
Here P s is the sth perturbation of the Lie algebra comultiplication
ψ = ψ P : L L L
for each s = 1 , 2 , , n , where P = ( P 1 , P 2 , , P n ) . The induction on “s” gives the existence and uniqueness of x in Equation (2), and similarly, for the existence and uniqueness of y in Equation (3), as required. □
Let l ( a ) and r ( a ) be the left and right inverses of a in an algebraic loop A, respectively, under the addition “+”; i.e.,
l ( a ) + a = 0 = a + r ( a ) .
Let
ψ : L L L
be a Lie algebra comultiplication with a left inverse
l ( 1 ) : L L
and a right inverse
r ( 1 ) : L L
of the identity 1 : L L ; that is,
l ( 1 ) + ψ 1 = 0 = 1 + ψ r ( 1 ) .
Then, it can be seen that
1 = r ( l ( 1 ) )
and
1 = l ( r ( 1 ) ) .
We now have the following:
Proposition 2.
Let ψ : L L L be a Lie algebra comultiplication with a left inverse l ( 1 ) and a right inverse r ( 1 ) of 1 : L L , and let M be any Lie algebra. If α [ L , M ] ψ , then
l ( α ) = α l ( 1 )
and
r ( α ) = α r ( 1 ) .
Proof. 
It can be shown that the following diagrams
Symmetry 12 00565 i001
and
Symmetry 12 00565 i002
are strictly commutative, where
: L L L
is the folding homomorphism. Therefore, we have
l ( α ) = α l ( 1 )
and
r ( α ) = α r ( 1 ) ,
as required. □
From Proposition 2 above, we have
1 = l ( r ( 1 ) ) = r ( 1 ) l ( 1 )
and
1 = r ( l ( 1 ) ) = l ( 1 ) r ( 1 ) ;
that is, l ( 1 ) and r ( 1 ) are Lie algebra isomorphisms.
In group theory, a commutator in a group G (that is not necessarily abelian) is an element of the form x y x - 1 y - 1 , where x , y G , and x - 1 and y - 1 are the unique inverses of x and y, respectively. As an application of the commutator in group theory, we now construct a new comultiplication based on a comultiplication
ψ : L L L
by using commutators as follows.
Definition 4.
Let ψ : L L L be a Lie algebra comultiplication on a Lie algebra L having a left inverse l ( 1 ) and a right inverse r ( 1 ) of the identity 1 : L L . Then, we can define a commutator
c : L L L
by
c = ( i 1 + ψ i 2 ) + ψ ( i 1 r ( 1 ) + ψ i 2 r ( 1 ) ) ,
where i 1 , i 2 : L L L are the first and second inclusion maps, respectively.
We refer to the works [18,19] for commutator theory which has been well developed in natural sciences.
Definition 5.
For a Lie algebra comultiplication ψ : L L L and a commutator c : L L L , we define a new Lie algebra comultiplication ψ c : L L L by
ψ c = ψ + ψ c : L L L .
It is not difficult to show that ψ c : L L L is indeed a comultiplication.
Lemma 1.
The following equality
( l ( 1 ) 1 ) ( i 1 r ( 1 ) + i 2 r ( 1 ) ) = l ( 1 ) r ( 1 ) + r ( 1 )
holds.
Proof. 
It can be shown that the following diagram
Symmetry 12 00565 i003
is strictly commutative, which concludes the proof. □
We now describe the main result of this paper as a new symmetry phenomenon in mathematics.
Theorem 1.
Let c : L L L be a commutator, and let l ( 1 ) c and r ( 1 ) c be the left and right inverses of the identity 1 : L L on L , respectively, based on the Lie algebra comultiplication ψ c : L L L . Then, we have
l ( 1 ) = l ( 1 ) c
and
r ( 1 ) = r ( 1 ) c .
Proof. 
Let + ψ c be the binary operation in [ L , L ] ψ c induced by the Lie algebra comultiplication
ψ c : L L L .
We note that
( l ( 1 ) 1 ) ψ = l ( 1 ) + ψ 1 = 0 ,
and the following diagram
Symmetry 12 00565 i004
is strictly commutative. Therefore, we have
l ( 1 ) + ψ c 1 = ( l ( 1 ) 1 ) ( ψ + ψ c )   = ( l ( 1 ) 1 ) ψ + ψ ( l ( 1 ) 1 ) c   = ( l ( 1 ) 1 ) c .
We now consider the following series of maps and a triangle:
Symmetry 12 00565 i005
We note that the above triangle is strictly commutative. From Lemma 1, we have
( l ( 1 ) 1 ) ψ c = ( l ( 1 ) 1 ) ( ψ + ψ c )   = ( l ( 1 ) 1 ) ( ( i 1 + ψ i 2 ) + ψ ( i 1 + ψ i 2 ) + ψ ( i 1 r ( 1 ) + ψ i 2 r ( 1 ) ) )   = ( l ( 1 ) 1 ) ( ( i 1 + ψ i 2 ) + ψ ( i 1 + ψ i 2 ) ) + ψ ( l ( 1 ) 1 ) ( i 1 r ( 1 ) + ψ i 2 r ( 1 ) )   = ( l ( 1 ) + ψ 1 ) + ψ ( l ( 1 ) + ψ 1 ) + ψ ( l ( 1 ) r ( 1 ) + ψ r ( 1 ) )   = 0 + ψ 0 + ψ ( l ( 1 ) r ( 1 ) + ψ r ( 1 ) )   = l ( 1 ) r ( 1 ) + ψ r ( 1 )   = 1 + ψ r ( 1 )   = 0 .
Thus,
l ( 1 ) + ψ c 1 = 0 ,
and so,
l ( 1 ) = l ( 1 ) c :
Similarly, it can be shown that
1 + ψ c r ( 1 ) = 0
so that
r ( 1 ) = r ( 1 ) c ,
as required. □

4. Conclusions and Further Prospects

As an algebraic counterpart of topological comultiplications of a space, we have considered Lie algebra comultiplications of algebraic objects, and then, specifically explored the algebraic loop structures on the set of all homomorphisms of Lie algebras with a binary operation derived from a Lie algebra comultiplication. We have also investigated the left and right inverses of elements on the algebraic structures derived from a Lie algebra comultiplication as a new symmetry phenomenon, which can be used in the topics of Lie algebra theory in mathematics, and the continuous symmetry and internal symmetry of particles in physics.
We do hope that our methods will be used and applied to many topics in mathematics, mathematical physics, theoretical physics and chemistry.

Funding

This work was supported by the National Research Foundation of Korea (NRF)—grant funded by the Korean government (MSIT) (number 2018R1A2B6004407).

Acknowledgments

The author is grateful to the anonymous referees for a careful reading and many helpful suggestions that improved the quality of this paper.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Arraut, I.; Segovia, C. A q-deformation of the Bogoliubov transformations. Phys. Lett. A 2018, 382, 464–466. [Google Scholar] [CrossRef] [Green Version]
  2. Katriel, J. A nonlinear Bogoliubov transformation. Phys. Lett. A 2003, 307, 1–7. [Google Scholar] [CrossRef]
  3. Sepehri, A.; Pradhan, A.; Pincak, R.; Rahaman, F.; Beesham, A.; Ghaffary, T. Birth of the GUP and its effect on the entropy of the universe in Lie-N-algebra. Int. J. Geom. Methods Mod. Phys. 2017, 14, 1750130. [Google Scholar] [CrossRef] [Green Version]
  4. Hilton, P.; Mislin, G.; Roitberg, J. On co-H-spaces. Comment. Math. Helv. 1978, 53, 1–14. [Google Scholar] [CrossRef]
  5. Arkowitz, M.; Lupton, G. Rational co-H-spaces. Comment. Math. Helv. 1991, 66, 79–108. [Google Scholar] [CrossRef]
  6. Arkowitz, M.; Lee, D.-W. Properties of comultiplications on a wedge of spheres. Topol. Appl. 2010, 157, 1607–1621. [Google Scholar] [CrossRef] [Green Version]
  7. Arkowitz, M.; Lee, D.-W. Comultiplications on a wedge of two spheres. Sci. China Math. 2011, 54, 9–22. [Google Scholar] [CrossRef]
  8. Lee, D.-W. On the same n-type conjecture for the suspension of the infinite complex projective space. Proc. Am. Math. Soc. 2009, 137, 1161–1168. [Google Scholar] [CrossRef]
  9. Lee, D.-W. On the same N-type of the suspension of the infinite quaternionic projective space. J. Pure Appl. Algebra 2013, 217, 1325–1334. [Google Scholar] [CrossRef]
  10. Lee, D.-W.; Lee, S. Homotopy comultiplications on the k-fold wedge of spheres. Topol. Appl. 2019, 254, 145–170. [Google Scholar] [CrossRef]
  11. Lee, D.-W. Comultiplications on the localized spheres and Moore spaces. Mathematics 2020, 8, 86. [Google Scholar] [CrossRef] [Green Version]
  12. James, I.M. On H-spaces and their homotopy groups. Q. J. Math. 1960, 11, 161–179. [Google Scholar] [CrossRef]
  13. Arkowitz, M.; Curjel, C.R. Homotopy commutators of finite order (I). Q. J. Math. 1963, 14, 213–219. [Google Scholar] [CrossRef]
  14. Stasheff, J. Homotopy associativity of H-spaces I, II. Trans. Am. Math. Soc. 1963, 108, 275–312. [Google Scholar]
  15. Arkowitz, M.; Lupton, G. Loop-theoretic properties of H-spaces. Math. Proc. Camb. Philos. Soc. 1991, 110, 121–136. [Google Scholar] [CrossRef]
  16. Çakmak, A. New type direction curves in 3-dimensional compact Lie group. Symmetry 2019, 11, 387. [Google Scholar] [CrossRef] [Green Version]
  17. Lee, D.-W. On inverses and algebraic loops of co-H-spaces. Acta Math. Sci. Ser. B Engl. Ed. 2014, 34, 1193–1211. [Google Scholar] [CrossRef]
  18. Freese, R.; McKenzie, R. Commutator Theory for Congruence Modular Varieties; London Mathematical Society Lecture Note Series, 125; Cambridge University Press: Cambridge, UK, 1987. [Google Scholar]
  19. Stanovský, D.; Vojtěchovský, P. Commutator theory for loops. J. Algebra 2014, 399, 290–322. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Lee, D.-W. Algebraic Inverses on Lie Algebra Comultiplications. Symmetry 2020, 12, 565. https://doi.org/10.3390/sym12040565

AMA Style

Lee D-W. Algebraic Inverses on Lie Algebra Comultiplications. Symmetry. 2020; 12(4):565. https://doi.org/10.3390/sym12040565

Chicago/Turabian Style

Lee, Dae-Woong. 2020. "Algebraic Inverses on Lie Algebra Comultiplications" Symmetry 12, no. 4: 565. https://doi.org/10.3390/sym12040565

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop