Next Article in Journal
Selectively Pseudocompact Groups without Infinite Separable Pseudocompact Subsets
Next Article in Special Issue
Unification Theories: New Results and Examples
Previous Article in Journal
Equicontinuity, Expansivity, and Shadowing for Linear Operators
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Unification Theories: Examples and Applications

Simion Stoilow Institute of Mathematics of the Romanian Academy 21 Calea Grivitei Street, 010702 Bucharest, Romania
Axioms 2018, 7(4), 85; https://doi.org/10.3390/axioms7040085
Submission received: 24 October 2018 / Revised: 13 November 2018 / Accepted: 13 November 2018 / Published: 16 November 2018
(This article belongs to the Special Issue Non-associative Structures and Other Related Structures)

Abstract

:
We consider several unification problems in mathematics. We refer to transcendental numbers. Furthermore, we present some ways to unify the main non-associative algebras (Lie algebras and Jordan algebras) and associative algebras.
MSC:
17C05; 17C50; 16T15; 16T25; 17B01; 03B05; 51A05; 68-04

1. Introduction

Andre Weil explains (see [1]) that the areas of modern mathematics need to be unified in a simple and general theory. In this way, we will see more clearly which are the main problems in mathematics (as opposed to the less important themes and results).
In physics, unification theories have contributed to a better understanding of certain phenomena. The unified approaches suggested in this communication refer to the theory of functions and algebraic structures, two of the pillars of modern physical tools.
The purpose of this paper is three-fold: (i) we present new results on transcendental numbers; (ii) we obtain new results in the theory of the unification of non-associative structures; (iii) we re-initiate a debate on unification(s) in mathematics.
In the next section, we will give several examples of unification problems. This section is related to the paper [2] on transcendental numbers. Some knowledge of Hopf algebra theory is needed in order to understand some results from this section.
The third section presents structures that unify (non-)associative structures. The main non-associative structures are Lie algebras and Jordan algebras. Arguably less studied, Jordan algebras have applications in physics, differential geometry, ring geometries, quantum groups, analysis, biology, etc. (see [3]). There are several ways to unify Lie algebras, Jordan algebras and associative algebras. We will also refer to cases when the unification of (non-)associative structures could be realized just in the conclusions of theorems.
This paper is related to a talk and a poster presented at “Noncommutative and non-associative structures, braces and applications”, Malta, 11–15 March 2018, and to a private communication made at the “Workshop on Non-associative Algebras and Applications”, Lancaster University, UK, July 2018.
All tensor products will be defined over the field k.

2. Examples of Unification Problems

In this section, we will give several examples of unification problems related to transcendental numbers.
The following two identities with transcendental numbers:
+ e x 2 d x = π ,
+ e i x 2 d x = π 2 ( 1 i ) ,
were unified and proven (by contour integration) in [4].
The next formulas (from [2]) can be also unified:
e π i + 1 = 0 ,
| e i π | > e
and:
| e 1 z + e z ¯ | > π z C .
Remark 1.
Let us consider the two-variable complex function f : C × C R , f ( z , w ) = | e z + e w | , which gives the length of the sum of the vectors e z and e w . The Formulas (3)–(5) can be unified using the function f ( z , w ) :
f ( π i , 0 ) = 0 , f ( 1 z , z ¯ ) > π z C , f ( i , π i + ln π ) > e .
Remark 2.
The function f ( z , w ) can be expressed in another form using the formula | e x + i α + e y + i β | = ρ 1 + sin ( 2 θ ) cos ( α β ) , where ρ = e 2 x + e 2 y and θ = cos 1 e x ρ . The relations from Remark 1 can be reinterpreted using this formula. For example, in the first formula: ρ = 2 , θ = π 4 , α = π , β = 0 ; so, f ( π i , 0 ) = 2 1 + sin ( π 2 ) cos ( π ) = 0 .
Remark 3.
While properties about the image of the function f ( z , w ) unify the Formulas (3)–(5), the formula e x + i y = e x ( cos y + i sin y ) could be considered a common part (or an essential part) of all of them.
This latest formula can be related to a certain subcoalgebra of the trigonometric coalgebra (see [5]). Indeed, the properties of the trigonometric functions cos and sin lead to the trigonometric coalgebra, given by the maps: Δ ( c ) = c c s s , Δ ( s ) = s c + c s , ε ( c ) = 1 , ε ( s ) = 0 . Euler’s relation leads to the subcoalgebra generated by c + i s .
The dual case states that 1 + i x generates an ideal in the C algebra C [ X ] X 2 + 1 = C [ x ] , where x 2 = 1 . In other words, Euler’s relation implies that a , b C , there exists c C such that ( a + b x ) ( 1 + i x ) = c ( 1 + i x ) (this can be checked directly).
According to [5], the role of such objects in number theory is unexplored at the moment.
Remark 4.
The properties of the hyperbolic functions cosh and sinh lead to the following coalgebra, given by the maps: Δ ( c ) = c c + s s , Δ ( s ) = s c + c s , ε ( c ) = 1 , ε ( s ) = 0 . There exists a subcoalgebra generated by c + s , which can be related to Theorem 1 of [2], leading to some kind of “Euler formula” for hyperbolic functions.
Remark 5.
The coalgebras from Remarks 3 and 4 can be unified as follows. For a k , we consider the coalgebra generated by c and s, Δ ( c ) = c c + a 2 s s , Δ ( s ) = s c + c s , ε ( c ) = 1 , ε ( s ) = 0 . There exists a subcoalgebra generated by c + a s .
Remark 6.
The following inequalities hold (see also [2]): π > | e i π | > e .
The last inequality was proven in [2]: | e i π | > e ( π + e ) ( π e ) + 1 > 2 π cos 1 . Now, π > 3.141 , e < 2.719 ; so, ( π + e ) ( π e ) + 1 > 3.47292 and cos 1 < 1 1 2 + 1 4 ! = 13 24 , 2 π cos 1 < 3.142 × 13 12 = 3.4038 ( 3 ) .
The inequality π > | e i π | is equivalent to 2 π cos 1 > 1 , which follows from cos 1 > cos 60 = 1 2 .
Remark 7.
The next formula generalizes the Basel problem lim n k = 1 n 1 k 2 = π 2 6 :
1 n 1 k 2 < 2 3 n + 1 n n n N * .
It could be an interesting problem to prove a similar formula for non-associative algebras. Likewise, one could try to generalize it for q-shifted factorials (see, for example, [6]).

3. The Unification of Non-Associative Structures

3.1. UJLA Structures

The UJLA (Unification of Jordan, Lie (and) Associative (algebras)) structures could be seen as structures that comprise the information encapsulated in associative algebras, Lie algebras and Jordan algebras. Thus, the category of the UJLA structures can be seen as a category that “includes” the categories of Jordan, Lie and associative algebras. A motivation for this unification is related to the study of bundles over Grassmannian manifolds.
Definition 1.
For a k-space V, let η : V V V , a b a b , be a linear map such that:
( a b ) c + ( b c ) a + ( c a ) b = a ( b c ) + b ( c a ) + c ( a b ) ,
( a 2 b ) a = a 2 ( b a ) , ( a b ) a 2 = a ( b a 2 ) , ( b a 2 ) a = ( b a ) a 2 , a 2 ( a b ) = a ( a 2 b ) ,
a , b , c V . Then, ( V , η ) is called a UJLA structure.
Remark 8.
If ( A , θ ) , where θ : A A A , θ ( a b ) = a b , is a (non-unital) associative algebra, then we define a UJLA structure ( A , θ ) , where θ ( a b ) = α a b + β b a , for some α , β k . For α = β = 1 2 , ( A , θ ) is a Jordan algebra, and for α = 1 = β , ( A , θ ) is a Lie algebra.
Theorem 1.
(Nichita [7]) Let ( V , η ) be a UJLA structure. Then, ( V , η ) , η ( a b ) = [ a , b ] = a b b a is a Lie algebra.
Theorem 2.
(Nichita [7]) Let ( V , η ) be a UJLA structure. Then, ( V , η ) , η ( a b ) = a b = 1 2 ( a b + b a ) is a Jordan algebra.
Remark 9.
The structures from the two above theorems are related by the relation:
[ a , b c ] + [ b , c a ] + [ c , a b ] = 0 .
Remark 10.
The classification of UJLA structures is an open problem.
Remark 11.
If the characteristic of k is two, then a Lie algebra is also a Jordan algebra.
Proof. 
Because the characteristic of k is two, the Lie algebra L is also commutative.
It follows easily that [ [ x , x ] , x ] = 0 x L .
Now, in the Jacobi identity, we take z = x 2 : [ [ x , y ] , x 2 ] + [ [ y , x 2 ] , x ] + [ [ x 2 , x ] , y ] = 0 .
From the above observations, it follows that [ [ x , y ] , x 2 ] = [ x , [ y , x 2 ] ] . Therefore, L is also a Jordan algebra. □

3.2. Yang–Baxter Equations

The authors of [8] argued that the Yang–Baxter equation leads to another unification of (non-)associative structures.
For V a k-space, we denote by τ : V V V V the twist map defined by τ ( v w ) = w v and by I : V V the identity map of the space V; for R : V V V V a k-linear map, let R 12 = R I , R 23 = I R , R 13 = ( I τ ) ( R I ) ( I τ ) .
Definition 2.
A The Yang–Baxter operator is an invertible k-linear map, R : V V V V , which satisfies the braid condition (sometimes called the Yang–Baxter equation):
R 12 R 23 R 12 = R 23 R 12 R 23 .
If R satisfies (9), then both R τ and τ R satisfy the quantum Yang–Baxter equation (QYBE):
R 12 R 13 R 23 = R 23 R 13 R 12 .
Therefore, Equations (9) and (10) are equivalent.
Let A be a (unitary) associative k-algebra, and α , β , γ k ; the authors of [9] defined the k-linear map R α , β , γ A : A A A A ,
a b α a b 1 + β 1 a b γ a b
which is a Yang–Baxter operator if and only if one of the following cases holds:
(i)
α = γ 0 , β 0 ;
(ii)
β = γ 0 , α 0 ;
(iii)
α = β = 0 , γ 0 .
An interesting property of (11), can be visualized in knot theory, where the link invariant associated with R α , β , γ A is the Alexander polynomial.
For ( L , [ , ] ) a Lie algebra over k, z Z ( L ) = { z L : [ z , x ] = 0 x L } , and α k , the authors of the papers [10,11] defined the following Yang–Baxter operator: ϕ α L : L L L L ,
x y α [ x , y ] z + y x .
Remark 12.
The Formulas (11) and (12) lead to the unification of associative algebras and Lie algebras in the framework of Yang–Baxter structures. At this moment, we do not have a satisfactory answer to the question how Jordan algebras fit in this framework (several partial answers were given).

3.3. Unification of the Conclusions of Theorems

Sometimes, it is not easy to find structures that unify theorems for (non-)associative structures, but we could unify just the conclusions of theorems, as we will see in the next theorems.
Theorem 3.
If A is a Jordan algebra, a Lie algebra or an associative algebra and if a , b A , then:
D : A A , D ( x ) = a ( b x ) + b ( a x ) + ( a x ) b a ( x b ) ( x b ) a ( x a ) b
is a derivation.
Proof. 
We consider three cases. If A is a Jordan algebra, then D ( x ) = a ( b x ) + b ( a x ) + ( a x ) b a ( x b ) ( x b ) a ( x a ) b = a ( b x ) ( x a ) b = a ( b x ) b ( a x ) . According to [12], D is a derivation.
If A is a Lie algebra, then D ( x ) = a ( b x ) + b ( a x ) + ( a x ) b a ( x b ) ( x b ) a ( x a ) b = a ( b x ) b ( a x ) = a ( b x ) + b ( x a ) = ( a b ) x . Therefore, D is a derivation.
If A is an associative algebra, then D ( x ) = a ( b x ) + b ( a x ) + ( a x ) b a ( x b ) ( x b ) a ( x a ) b = ( a b + b a ) x x ( a b + b a ) . Therefore, D is a derivation. □
Theorem 4.
If A is a Jordan algebra, a Lie algebra or an associative algebra and if a , b A , then D : A A , D ( x ) = a ( b x ) ( x a ) b is a derivation.
Proof. 
The proof follows the same argumentation as the previous one, for which reason it is omitted. □
Remark 13.
We presented unifications of formulas, structures, categories and theorems. It is currently an open problem whether these types can be formulated in a unified form.

Funding

This research received no external funding.

Acknowledgments

We would like to thank the referees for their high quality comments and the Editors for their help.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Weil, A. A 1940 Letter of Andre Weil on Analogy in Mathematics (Trans. by Martin H. Krieger). Notices AMS 2005, 52, 341, (Trans. in Romanian by Florin Caragiu, “Cunoasterea Stiintifica in Orizontul Experierii Tainei (II)”, pg. 98). [Google Scholar]
  2. Marcus, S.; Nichita, F.F. On Transcendental Numbers: New Results and a Little History. Axioms 2018, 7, 15. [Google Scholar] [CrossRef]
  3. Iordanescu, R. Jordan Structures in Geometry and Physics with an Appendix on Jordan Structures in Analysis; Romanian Academy Press: Bucharest, Romania, 2003. [Google Scholar]
  4. Desbrow, D. On Evaluating + e a x ( x 2 b ) d x by Contour Integration Round a Parallelogram. Am. Math. Mon. 1998, 105, 726–731. [Google Scholar]
  5. Majid, S. A Quantum Groups Primer; Cambridge University Press: Cambridge, UK, 2002. [Google Scholar]
  6. Ernst, T. Convergence Aspects for Generalizations of q-Hypergeometric Functions. Axioms 2015, 4, 134–155. [Google Scholar] [CrossRef]
  7. Nichita, F.F. On Jordan algebras and unification theories. Roman. J. Pure Appl. Math. 2016, 4, 305–316. [Google Scholar]
  8. Iordanescu, R.; Nichita, F.F.; Nichita, I.M. The Yang–Baxter Equation, (Quantum) Computers and Unifying Theories. Axioms 2014, 3, 360–368. [Google Scholar] [CrossRef]
  9. Dăscălescu, S.; Nichita, F.F. Yang–Baxter operators arising from (co)algebra structures. Commun. Algebra 1999, 27, 5833–5845. [Google Scholar] [CrossRef]
  10. Majid, S. Solutions of the Yang–Baxter equation from braided-Lie algebras and braided groups. J. Knot Theory Its Ramif. 1995, 4, 673–697. [Google Scholar] [CrossRef]
  11. Nichita, F.F.; Popovici, B.P. Yang–Baxter operators from (G,θ)-Lie algebras. Roman. Rep. Phys. 2011, 63, 641–650. [Google Scholar]
  12. Todorov, I.; Dubois-Violette, M. Deducing the symmetry of the standard model from the automorphism and structure groups of the exceptional Jordan algebra. arXiv, 2018; arXiv:1806.09450. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Nichita, F.F. Unification Theories: Examples and Applications. Axioms 2018, 7, 85. https://doi.org/10.3390/axioms7040085

AMA Style

Nichita FF. Unification Theories: Examples and Applications. Axioms. 2018; 7(4):85. https://doi.org/10.3390/axioms7040085

Chicago/Turabian Style

Nichita, Florin F. 2018. "Unification Theories: Examples and Applications" Axioms 7, no. 4: 85. https://doi.org/10.3390/axioms7040085

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