Relations between crossed modules of different algebras

  1. Rafael Fernández Casado
Dirixida por:
  1. Manuel Ladra González Director
  2. Emzar Khmaladze Director

Universidade de defensa: Universidade de Santiago de Compostela

Ano de defensa: 2015

  1. José Manuel Fernández Vilaboa Presidente
  2. Ana Jeremías López Secretaria
  3. Guram Donadze Vogal
  4. José Manuel Casas Mirás Vogal
  5. Cristina Costoya Vogal
  1. Departamento de Matemáticas

Tipo: Tese


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.