Relations between crossed modules of different algebras

  1. FERNÁNDEZ CASADO, RAFAEL
Dirixida por:
  1. Manuel Ladra González Director
  2. Emzar Khmaladze Co-director

Universidade de defensa: Universidade de Santiago de Compostela

Fecha de defensa: 04 de decembro de 2015

Tribunal:
  1. José Manuel Fernández Vilaboa Presidente/a
  2. Ana Jeremías López Secretario/a
  3. Guram Donadze Vogal
  4. José Manuel Casas Mirás Vogal
  5. Cristina Costoya Vogal

Tipo: Tese

Teseo: 397407 DIALNET

Resumo

In the present work we extend to crossed modules the classical adjunction between the Liezation functor Liea : As -> Lie, which makes every associative algebra A into a Lie algebra via the bracket [a,b]=ab-ba, for all a,b in A, and U : Lie -> As, which assigns to every Lie algebra p its universal enveloping algebra U(p). Likewise, we construct a 2-dimensional generalization of the adjunction between the functor Lb : Di -> Lb, which assigns to every dialgebra D the Leibniz bracket given by [d_1,d_2]= d_1 -| d_2 - d_2 |- d_1, for all d_1, d_2 in D, and Ud : Lb -> Di, the universal enveloping dialgebra functor. Additionally, we assemble all the resulting squares of categories and functors in four parallelepipeds, for which, in every face, the inner and outer squares are commutative or commute up to isomorphism. Since our second generalization involves crossed modules of dialgebras, we give an adequate definition for them, based on the more general notion of crossed modules in categories of interest. Furthermore, we define the concept of strict 2-dialgebra, by analogy to the notion of strict associative 2-algebra. We prove that the categories of crossed modules of dialgebras and strict 2-dialgebras are equivalent. Additionally, we construct the dialgebra of tetramultipliers, which happens to be the actor in the category of dialgebras under certain conditions. Besides, given a Leibniz crossed module, we construct a general actor crossed modules, which is the actor in some particular cases.