Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Sobre las extensiones α-centrales universales

Natália Pacheco Rego

Universidad de Vigo

Congreso de Jóvenes InvestigadoresSevilla 2013

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

1 Álgebras Hom-Leibniz

2 Hom-(co)-representación de álgebras Hom-Leibniz

3 Homología de álgebras Hom-Leibniz

4 Extensiones centrales universales de álgebras Hom-Leibniz

5 Relación entre extensiones α-centrales universales

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

1 Álgebras Hom-Leibniz

2 Hom-(co)-representación de álgebras Hom-Leibniz

3 Homología de álgebras Hom-Leibniz

4 Extensiones centrales universales de álgebras Hom-Leibniz

5 Relación entre extensiones α-centrales universales

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

1 Álgebras Hom-Leibniz

2 Hom-(co)-representación de álgebras Hom-Leibniz

3 Homología de álgebras Hom-Leibniz

4 Extensiones centrales universales de álgebras Hom-Leibniz

5 Relación entre extensiones α-centrales universales

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

1 Álgebras Hom-Leibniz

2 Hom-(co)-representación de álgebras Hom-Leibniz

3 Homología de álgebras Hom-Leibniz

4 Extensiones centrales universales de álgebras Hom-Leibniz

5 Relación entre extensiones α-centrales universales

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

1 Álgebras Hom-Leibniz

2 Hom-(co)-representación de álgebras Hom-Leibniz

3 Homología de álgebras Hom-Leibniz

4 Extensiones centrales universales de álgebras Hom-Leibniz

5 Relación entre extensiones α-centrales universales

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Álgebras Hom-Leibniz

DefiniciónUn álgebra Hom-Leibniz es un triple (L, [−,−], α) consistenteen un K-espacio vectorial L, una aplicación bilineal[−,−] : L× L→ L y una aplicación K-lineal α : L→ Lsatisfaciendo:

[α(x), [y , z]] = [[x , y ], α(z)]− [[x , z], α(y)]

para todo x , y , z ∈ L.

DefiniciónUn álgebra Hom-Leibniz se dice que es multiplicativa si laaplicación K-lineal α verifica α[x , y ] = [α(x), α(y)], para todox , y ∈ L.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Álgebras Hom-Leibniz

DefiniciónUn álgebra Hom-Leibniz es un triple (L, [−,−], α) consistenteen un K-espacio vectorial L, una aplicación bilineal[−,−] : L× L→ L y una aplicación K-lineal α : L→ Lsatisfaciendo:

[α(x), [y , z]] = [[x , y ], α(z)]− [[x , z], α(y)]

para todo x , y , z ∈ L.

DefiniciónUn álgebra Hom-Leibniz se dice que es multiplicativa si laaplicación K-lineal α verifica α[x , y ] = [α(x), α(y)], para todox , y ∈ L.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Álgebras Hom-Leibniz

Ejemplos

a) Las álgebras Hom-Lie son álgebras Hom-Leibniz tales que[x , x ] = 0, para todo x. Para cada álgebra Hom-Leibnizmultiplicativa (L, [−,−], αL) hay asociada el álgebraHom-Lie (LLie, [−,−], α̃), donde LLie = L/Lann, el corchetees el corchete canónico inducido sobre el cociente. AquíLann = 〈{[x , x ] : x ∈ L}〉.

b) Las álgebras Hom-Leibniz abelianas o conmutativas sonK-espacios vectoriales L con corchete trivial y cualquieraplicación lineal αL : L→ L.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Álgebras Hom-Leibniz

Ejemplos

a) Las álgebras Hom-Lie son álgebras Hom-Leibniz tales que[x , x ] = 0, para todo x. Para cada álgebra Hom-Leibnizmultiplicativa (L, [−,−], αL) hay asociada el álgebraHom-Lie (LLie, [−,−], α̃), donde LLie = L/Lann, el corchetees el corchete canónico inducido sobre el cociente. AquíLann = 〈{[x , x ] : x ∈ L}〉.

b) Las álgebras Hom-Leibniz abelianas o conmutativas sonK-espacios vectoriales L con corchete trivial y cualquieraplicación lineal αL : L→ L.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Álgebras Hom-Leibniz

Definición

Un homomorfismo de álgebras Hom-Leibnizf : (L, [−,−], αL)→ (L′, [−,−]′, αL′) es una aplicación K-linealf : L→ L′ tal que

a) f ([x , y ]) = [f (x), f (y)]′

b) fαL(x) = αL′ f (x)

L f //

αL��

L′

αL′��

L f // L′

para todo x , y ∈ L.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Álgebras Hom-Leibniz

Definición

Sea (L, [−,−], αL) una álgebra Hom-Leibniz. Una subálgebraHom-Leibniz es un subespacio vectorial H de L, que escerrado para el corchete e invariante por αL, es decir,

a) [x , y ] ∈ H, para todo x , y ∈ Hb) αL(x) ∈ H, para todo x ∈ H

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Álgebras Hom-Leibniz

DefiniciónUna subálgebra Hom-Leibniz H de L se dice que es unHom-ideal bilátero si [x , y ], [y , x ] ∈ H, para todo x ∈ H, y ∈ L.

Si H es un Hom-ideal bilátero de L, entonces el cociente L/Hhereda naturalmente una estructura de álgebra Hom-Leibniz,que se denomina álgebra Hom-Leibniz cociente.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Hom-(co)-representación de álgebras Hom-Leibniz

Definición

Una Hom-co-representación de una álgebraHom-Leibniz(L, [−,−], αL) es un K-espacio vectorial M juntocon dos aplicaciones bilineales λ : L⊗M → M, λ(l ⊗m) = l �m,y ρ : M ⊗ L→ M, ρ(m ⊗ l) = m � l , y una aplicación K-linealαM : M → M satisfaciendo las siguientes identidades:

a) [x , y ] � αM(m) = αL(x) � (y � m)− αL(y) � (x � m).b) αL(y) � (m � x) = (y � m) � αL(x)− αM(m) � [x , y ].c) (m � x) � αL(y) = αM(m) � [x , y ]− (y � m) � αL(x).d) αM(x � m) = αL(x) � αM(m)

e) αM(m � x) = αM(m) � αL(x)

para todo x , y ∈ L y m ∈ MNatália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Hom-(co)-representación de álgebras Hom-Leibniz

Ejemplos

a) Sea M una co-representación del álgebra de Leibniz L.Entonces (M, IdM) es una Hom-co-representación delálgebra Hom-Leibniz (L, IdL).

b) Cada álgebra Hom-Leibniz (L, [−,−], αL) tiene unaestructura de Hom-co-representación sobre si misma dadapor las acciones

x � m = −[m, x ]; m � y = [m, y ]

donde x ∈ L y m es un elemento del K-espacio vectorialsubyacente a L.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Homología de álgebras Hom-Leibniz

Sea (L, [−,−], αL) una álgebra Hom-Leibniz y (M, αM) unaHom-co-representación de (L, [−,−], αL). Denotemos porCLαn (L,M) := M ⊗ L⊗n,n ≥ 0. Definimos la aplicación K-lineal

dn : CLαn (L,M)→ CLαn−1(L,M)

por

dn(m ⊗ x1 ⊗ · · · ⊗ xn) = m � x1 ⊗ αL(x2)⊗ · · · ⊗ αL(xn)+

n∑i=2

(−1)ixi � m ⊗ αL(x1)⊗ · · · ⊗ α̂L(xi)⊗ · · · ⊗ αL(xn)+

∑1≤i<j≤n

(−1)j+1αM(m)⊗αL(x1)⊗· · ·⊗αL(xi−1)⊗[xi , xj ]⊗· · ·⊗α̂L(xj)

⊗ · · · ⊗ αL(xn)

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Homología de álgebras Hom-Leibniz

Gracias a las fórmula de Cartan tenemos quedn · dn+1 = 0,n ≥ 0, por lo que (CLα? (L,M),d?) es un complejode cadenas bien definido, cuya homología se llama lahomología del álgebra Hom-Leibniz (L, [−,−], αL) concoeficientes en la Hom-co-representación (M, αM) y ladenotaremos por:

HLα? (L,M) := H?(CLα? (L,M),d?)

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Las categorías clásicas como grupos, álgebras de Lie,álgebras de Leibniz y otras similares comparten la propiedadcomún de que las extensiones centrales universales estáncaracterizadas por los siguientes resultados:

a) Un algebra es perfecta (L = [L,L])⇔ admite una extensióncentral universal.

b) (K ) : 0→ M i→ K π→ L→ 0 es universal⇔ K es perfecta y

toda extensión central 0→ Nj→ G

p→ K → 0 es rota.c) (K ) : 0→ M i→ K π→ L→ 0 es una extensión central

universal⇔ H1(K ) = H2(K ) = 0

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Las categorías clásicas como grupos, álgebras de Lie,álgebras de Leibniz y otras similares comparten la propiedadcomún de que las extensiones centrales universales estáncaracterizadas por los siguientes resultados:

a) Un algebra es perfecta (L = [L,L])⇔ admite una extensióncentral universal.

b) (K ) : 0→ M i→ K π→ L→ 0 es universal⇔ K es perfecta y

toda extensión central 0→ Nj→ G

p→ K → 0 es rota.c) (K ) : 0→ M i→ K π→ L→ 0 es una extensión central

universal⇔ H1(K ) = H2(K ) = 0

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Las categorías clásicas como grupos, álgebras de Lie,álgebras de Leibniz y otras similares comparten la propiedadcomún de que las extensiones centrales universales estáncaracterizadas por los siguientes resultados:

a) Un algebra es perfecta (L = [L,L])⇔ admite una extensióncentral universal.

b) (K ) : 0→ M i→ K π→ L→ 0 es universal⇔ K es perfecta y

toda extensión central 0→ Nj→ G

p→ K → 0 es rota.

c) (K ) : 0→ M i→ K π→ L→ 0 es una extensión centraluniversal⇔ H1(K ) = H2(K ) = 0

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Las categorías clásicas como grupos, álgebras de Lie,álgebras de Leibniz y otras similares comparten la propiedadcomún de que las extensiones centrales universales estáncaracterizadas por los siguientes resultados:

a) Un algebra es perfecta (L = [L,L])⇔ admite una extensióncentral universal.

b) (K ) : 0→ M i→ K π→ L→ 0 es universal⇔ K es perfecta y

toda extensión central 0→ Nj→ G

p→ K → 0 es rota.c) (K ) : 0→ M i→ K π→ L→ 0 es una extensión central

universal⇔ H1(K ) = H2(K ) = 0

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Para poder probar estas caracterizaciones es absolutamenteimprescindible utilizar el hecho de que la composición de dosextensiones centrales es una también extensión central.

Desafortunadamente esta propiedad no se mantiene en lacategoría de álgebras Hom-Leibniz tal y como demostrará en elcontraejemplo.

Este inconveniente provoca la definición de extensionesα-centrales, cuyas propiedades relativas a la composición sedeterminarán a continuación.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Para poder probar estas caracterizaciones es absolutamenteimprescindible utilizar el hecho de que la composición de dosextensiones centrales es una también extensión central.

Desafortunadamente esta propiedad no se mantiene en lacategoría de álgebras Hom-Leibniz tal y como demostrará en elcontraejemplo.

Este inconveniente provoca la definición de extensionesα-centrales, cuyas propiedades relativas a la composición sedeterminarán a continuación.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Para poder probar estas caracterizaciones es absolutamenteimprescindible utilizar el hecho de que la composición de dosextensiones centrales es una también extensión central.

Desafortunadamente esta propiedad no se mantiene en lacategoría de álgebras Hom-Leibniz tal y como demostrará en elcontraejemplo.

Este inconveniente provoca la definición de extensionesα-centrales, cuyas propiedades relativas a la composición sedeterminarán a continuación.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

DefiniciónUna sucesión exacta corta de álgebras Hom-Leibniz(K ) : 0→ (M, αM)

i→ (K , αK )π→ (L, αL)→ 0 se dice que es

central si [M,K ] = 0 = [K ,M]. Equivalentemente, M ⊆ Z (K ).

Decimos que (K ) es α-central si [αM(M),K ] = 0 = [K , αM(M)] .Equivalentemente, αM(M) ⊆ Z (K ).

NotaObviamente, cada extensión central es una extensión α-central.Nótese que en el caso αM = IdM , ambas nociones coinciden.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

DefiniciónUna sucesión exacta corta de álgebras Hom-Leibniz(K ) : 0→ (M, αM)

i→ (K , αK )π→ (L, αL)→ 0 se dice que es

central si [M,K ] = 0 = [K ,M]. Equivalentemente, M ⊆ Z (K ).Decimos que (K ) es α-central si [αM(M),K ] = 0 = [K , αM(M)] .Equivalentemente, αM(M) ⊆ Z (K ).

NotaObviamente, cada extensión central es una extensión α-central.Nótese que en el caso αM = IdM , ambas nociones coinciden.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

DefiniciónUna sucesión exacta corta de álgebras Hom-Leibniz(K ) : 0→ (M, αM)

i→ (K , αK )π→ (L, αL)→ 0 se dice que es

central si [M,K ] = 0 = [K ,M]. Equivalentemente, M ⊆ Z (K ).Decimos que (K ) es α-central si [αM(M),K ] = 0 = [K , αM(M)] .Equivalentemente, αM(M) ⊆ Z (K ).

NotaObviamente, cada extensión central es una extensión α-central.Nótese que en el caso αM = IdM , ambas nociones coinciden.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Ejemplo

Consideremos el álgebra Hom-Leibniz bidimensional (L, αL)con base {b1,b2}, corchete dado por [b2,b1] = b2, [b2,b2] = b1y endomorfismo αL = 0.

Sea (K , αK ) el álgebra Hom-Leibniz tridimensional con base{a1,a2,a3}, corchete dado por[a2,a2] = a1, [a3,a2] = a3, [a3,a3] = a2 y endomorfismoαK = 0.

Evidentemente (K , αK ) es perfecta y Z ((K , αK )) =< {a1} >.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Ejemplo

Consideremos el álgebra Hom-Leibniz bidimensional (L, αL)con base {b1,b2}, corchete dado por [b2,b1] = b2, [b2,b2] = b1y endomorfismo αL = 0.

Sea (K , αK ) el álgebra Hom-Leibniz tridimensional con base{a1,a2,a3}, corchete dado por[a2,a2] = a1, [a3,a2] = a3, [a3,a3] = a2 y endomorfismoαK = 0.

Evidentemente (K , αK ) es perfecta y Z ((K , αK )) =< {a1} >.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Ejemplo

Consideremos el álgebra Hom-Leibniz bidimensional (L, αL)con base {b1,b2}, corchete dado por [b2,b1] = b2, [b2,b2] = b1y endomorfismo αL = 0.

Sea (K , αK ) el álgebra Hom-Leibniz tridimensional con base{a1,a2,a3}, corchete dado por[a2,a2] = a1, [a3,a2] = a3, [a3,a3] = a2 y endomorfismoαK = 0.

Evidentemente (K , αK ) es perfecta y Z ((K , αK )) =< {a1} >.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Ejemplo

La aplicación lineal π : (K ,0)→ (L,0) dada porπ(a1) = 0, π(a2) = b1, π(a3) = b2 es una extensión central yaque trivialmente π es sobreyectiva y es un homomorfismo deálgebras Hom-Leibniz.

Obviamente, 0 π = π 0 y Ker(π) =< {a1} >, por lo queKer(π) ⊆ Z ((K , αK )).

Consideremos el álgebra Hom-Leibniz de dimensión 4 (F , αF )con base {e1,e2,e3,e4}, corchete dado por[e3,e2] = e1, [e3,e3] = e2, [e4,e3] = e4, [e4,e4] = e3 yendomorfismo αF = 0.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Ejemplo

La aplicación lineal π : (K ,0)→ (L,0) dada porπ(a1) = 0, π(a2) = b1, π(a3) = b2 es una extensión central yaque trivialmente π es sobreyectiva y es un homomorfismo deálgebras Hom-Leibniz.

Obviamente, 0 π = π 0 y Ker(π) =< {a1} >, por lo queKer(π) ⊆ Z ((K , αK )).

Consideremos el álgebra Hom-Leibniz de dimensión 4 (F , αF )con base {e1,e2,e3,e4}, corchete dado por[e3,e2] = e1, [e3,e3] = e2, [e4,e3] = e4, [e4,e4] = e3 yendomorfismo αF = 0.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Ejemplo

La aplicación lineal π : (K ,0)→ (L,0) dada porπ(a1) = 0, π(a2) = b1, π(a3) = b2 es una extensión central yaque trivialmente π es sobreyectiva y es un homomorfismo deálgebras Hom-Leibniz.

Obviamente, 0 π = π 0 y Ker(π) =< {a1} >, por lo queKer(π) ⊆ Z ((K , αK )).

Consideremos el álgebra Hom-Leibniz de dimensión 4 (F , αF )con base {e1,e2,e3,e4}, corchete dado por[e3,e2] = e1, [e3,e3] = e2, [e4,e3] = e4, [e4,e4] = e3 yendomorfismo αF = 0.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Ejemplo

La aplicación lineal ρ : (F ,0)→ (K ,0) dada porρ(e1) = 0, ρ(e2) = a1, ρ(e3) = a2, ρ(e4) = a3, es una extensióncentral

Obviamente, 0 ρ = ρ 0, Ker(ρ) =< {e1} > yZ ((F , αF )) =< {e1} >, por lo que Ker(ρ) ⊆ Z ((F , αF )).

La composición π ρ : (F ,0)→ (L,0) está dada porπρ(e1) = π(0) = 0, πρ(e2) = π(a1) = 0, πρ(e3) = π(a2) =b1, πρ(e4) = π(a3) = b2.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Ejemplo

La aplicación lineal ρ : (F ,0)→ (K ,0) dada porρ(e1) = 0, ρ(e2) = a1, ρ(e3) = a2, ρ(e4) = a3, es una extensióncentral

Obviamente, 0 ρ = ρ 0, Ker(ρ) =< {e1} > yZ ((F , αF )) =< {e1} >, por lo que Ker(ρ) ⊆ Z ((F , αF )).

La composición π ρ : (F ,0)→ (L,0) está dada porπρ(e1) = π(0) = 0, πρ(e2) = π(a1) = 0, πρ(e3) = π(a2) =b1, πρ(e4) = π(a3) = b2.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Ejemplo

La aplicación lineal ρ : (F ,0)→ (K ,0) dada porρ(e1) = 0, ρ(e2) = a1, ρ(e3) = a2, ρ(e4) = a3, es una extensióncentral

Obviamente, 0 ρ = ρ 0, Ker(ρ) =< {e1} > yZ ((F , αF )) =< {e1} >, por lo que Ker(ρ) ⊆ Z ((F , αF )).

La composición π ρ : (F ,0)→ (L,0) está dada porπρ(e1) = π(0) = 0, πρ(e2) = π(a1) = 0, πρ(e3) = π(a2) =b1, πρ(e4) = π(a3) = b2.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Ejemplo

(F ,0)

��

π·ρ

$$(K ,0)

π // // (L,0)

En consecuencia, π ρ : (F ,0)→ (L,0) es un homomorfismosobreyectivo, pero no es una extensión central, puesto queZ ((F ,0)) =< {e1} > y Ker(π ρ) =< {e1,e2} >, es decirKer(π ρ) * Z ((F ,0)).

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Definición

Una extensión central(K ) : 0→ (M, αM)

i→ (K , αK )π→ (L, αL)→ 0 se dice que es

universal si para cada extensión central(K ′) : 0→ (M ′, αM′)

i ′→ (K ′, αK ′)π′→ (L, αL)→ 0 existe un único

homomorfismo de álgebras Hom-Leibnizh : (K , αK )→ (K ′, αK ′) tal que π′h = π.

0 // (M, αM) // (K , αK )π //

∃!h��

(L, αL) // 0

0 // (M ′, αM′) // (K ′, αK ′)π′// (L, αL) // 0

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Definición

Decimos que la extensión central(K ) : 0→ (M, αM)

i→ (K , αK )π→ (L, αL)→ 0 es α-central

universal si para cada extensión α-central(K ′) : 0→ (M ′, αM′)

i ′→ (K ′, αK ′)π′→ (L, αL)→ 0 existe un único

homomorfismo de álgebras Hom-Leibnizh : (K , αK )→ (K ′, αK ′) tal que π′h = π.

Nota

Obviamente, cada extensión α-central universal es unaextensión central universal. Nótese que en el caso αM = IdM ,ambas nociones coinciden.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

DefiniciónDecimos que una álgebra Hom-Leibniz (L, αL) es perfecta siL = [L,L].

Resultados preliminares para el Teorema de reconocimento

Debido al problema principal de que la composición deextensiones centrales no es una extensión central, verificamosque los resultados clasicos obtenidos no se reproducencompletamente para algebra Hom-Leibniz.En particular, nos verificamos que hay un conjunto de

equivalencias que se pierden, convirtiéndose en implicacionesunilaterales.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

DefiniciónDecimos que una álgebra Hom-Leibniz (L, αL) es perfecta siL = [L,L].

Resultados preliminares para el Teorema de reconocimento

Debido al problema principal de que la composición deextensiones centrales no es una extensión central, verificamosque los resultados clasicos obtenidos no se reproducencompletamente para algebra Hom-Leibniz.En particular, nos verificamos que hay un conjunto de

equivalencias que se pierden, convirtiéndose en implicacionesunilaterales.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

DefiniciónDecimos que una álgebra Hom-Leibniz (L, αL) es perfecta siL = [L,L].

Resultados preliminares para el Teorema de reconocimento

Debido al problema principal de que la composición deextensiones centrales no es una extensión central, verificamosque los resultados clasicos obtenidos no se reproducencompletamente para algebra Hom-Leibniz.

En particular, nos verificamos que hay un conjunto deequivalencias que se pierden, convirtiéndose en implicacionesunilaterales.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

DefiniciónDecimos que una álgebra Hom-Leibniz (L, αL) es perfecta siL = [L,L].

Resultados preliminares para el Teorema de reconocimento

Debido al problema principal de que la composición deextensiones centrales no es una extensión central, verificamosque los resultados clasicos obtenidos no se reproducencompletamente para algebra Hom-Leibniz.En particular, nos verificamos que hay un conjunto de

equivalencias que se pierden, convirtiéndose en implicacionesunilaterales.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Lema

Sea π : (K , αK )→ (L, αL) un epimorfismo de álgebrasHom-Leibniz. Si (K , αK ) es una álgebra Hom-Leibniz perfecta,entonces (L, αL) también lo es.

Lema

Sea 0→ (M, αM)i→ (K , αK )

π→ (L, αL)→ 0 una extensióncentral y (K , αK ) una álgebra Hom-Leibniz perfecta. Si existeun homomorfismo de álgebras Hom-Leibnizf : (K , αK )→ (A, αA) tal que τ f = π, donde

0→ (N, αN)j→ (A, αA)

τ→ (L, αL)→ 0 es una extensión central,entonces f es único.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Lema

Sea π : (K , αK )→ (L, αL) un epimorfismo de álgebrasHom-Leibniz. Si (K , αK ) es una álgebra Hom-Leibniz perfecta,entonces (L, αL) también lo es.

Lema

Sea 0→ (M, αM)i→ (K , αK )

π→ (L, αL)→ 0 una extensióncentral y (K , αK ) una álgebra Hom-Leibniz perfecta. Si existeun homomorfismo de álgebras Hom-Leibnizf : (K , αK )→ (A, αA) tal que τ f = π, donde

0→ (N, αN)j→ (A, αA)

τ→ (L, αL)→ 0 es una extensión central,entonces f es único.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Lema

Si 0→ (M, αM)i→ (K , αK )

π→ (L, αL)→ 0 es una extensióncentral universal, entonces (K , αK ) y (L, αL) son álgebrasHom-Leibniz perfectas.

Lema

Sean 0→ (M, αM)i→ (K , αK )

π→ (L, αL)→ 0 y

0→ (N, αN)j→ (F , αF )

ρ→ (K , αK )→ 0 extensiones centralescon (K , αK ) una álgebra Hom-Leibniz perfecta. Entonces laextensión composición0→ (P, αP) = Ker (πρ)→ (F , αF )

πρ→ (L, αL)→ 0 es unaextensión α-central.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Lema

Si 0→ (M, αM)i→ (K , αK )

π→ (L, αL)→ 0 es una extensióncentral universal, entonces (K , αK ) y (L, αL) son álgebrasHom-Leibniz perfectas.

Lema

Sean 0→ (M, αM)i→ (K , αK )

π→ (L, αL)→ 0 y

0→ (N, αN)j→ (F , αF )

ρ→ (K , αK )→ 0 extensiones centralescon (K , αK ) una álgebra Hom-Leibniz perfecta. Entonces laextensión composición0→ (P, αP) = Ker (πρ)→ (F , αF )

πρ→ (L, αL)→ 0 es unaextensión α-central.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Lema

(F , αF )

��

π·ρ

%%(K , αK )

π // // (L, αL)

Además, si 0→ (M, αM)i→ (K , αK )

π→ (L, αL)→ 0 es unaextensión α-central universal, entonces0→ (N, αN)

j→ (F , αF )ρ→ (K , αK )→ 0 es rota.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Lema

(F , αF )

��

π·ρ

%%(K , αK )

π // // (L, αL)

Además, si 0→ (M, αM)i→ (K , αK )

π→ (L, αL)→ 0 es unaextensión α-central universal, entonces0→ (N, αN)

j→ (F , αF )ρ→ (K , αK )→ 0 es rota.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Teorema

a) Si una extensión central0→ (M, αM)

i→ (K , αK )π→ (L, αL)→ 0 es una extensión

α-central universal, entonces (K , αK ) es una álgebraHom-Leibniz perfecta y cada extensión central de (K , αK )es rota.

b) Sea 0→ (M, αM)i→ (K , αK )

π→ (L, αL)→ 0 una extensióncentral.Si (K , αK ) es una álgebra Hom-Leibniz perfecta y cadaextensión central de (K , αK ) es rota, entonces0→ (M, αM)

i→ (K , αK )π→ (L, αL)→ 0 es una extensión

central universal.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Teorema

a) Si una extensión central0→ (M, αM)

i→ (K , αK )π→ (L, αL)→ 0 es una extensión

α-central universal, entonces (K , αK ) es una álgebraHom-Leibniz perfecta y cada extensión central de (K , αK )es rota.

b) Sea 0→ (M, αM)i→ (K , αK )

π→ (L, αL)→ 0 una extensióncentral.Si (K , αK ) es una álgebra Hom-Leibniz perfecta y cadaextensión central de (K , αK ) es rota, entonces0→ (M, αM)

i→ (K , αK )π→ (L, αL)→ 0 es una extensión

central universal.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Teorema

c) Una álgebra Hom-Leibniz (L, αL) admite una extensióncentral universal si, y sólo si, (L, αL) es perfecta.

d) El núcleo de la extensión central universal escanónicamente isomorfa a HLα2 (L).

Demostraciónc) y d)

Para una álgebra Hom-Leibniz (L, αL) consideremos elcomplejo de cadenas de homología CLα? (L) que esCLα? (L,K) en el que K está dotado con una estructura deHom-co-representación trivial.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Teorema

c) Una álgebra Hom-Leibniz (L, αL) admite una extensióncentral universal si, y sólo si, (L, αL) es perfecta.

d) El núcleo de la extensión central universal escanónicamente isomorfa a HLα2 (L).

Demostraciónc) y d)

Para una álgebra Hom-Leibniz (L, αL) consideremos elcomplejo de cadenas de homología CLα? (L) que esCLα? (L,K) en el que K está dotado con una estructura deHom-co-representación trivial.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Teorema

c) Una álgebra Hom-Leibniz (L, αL) admite una extensióncentral universal si, y sólo si, (L, αL) es perfecta.

d) El núcleo de la extensión central universal escanónicamente isomorfa a HLα2 (L).

Demostraciónc) y d)

Para una álgebra Hom-Leibniz (L, αL) consideremos elcomplejo de cadenas de homología CLα? (L) que esCLα? (L,K) en el que K está dotado con una estructura deHom-co-representación trivial.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Teorema

c) Una álgebra Hom-Leibniz (L, αL) admite una extensióncentral universal si, y sólo si, (L, αL) es perfecta.

d) El núcleo de la extensión central universal escanónicamente isomorfa a HLα2 (L).

Demostraciónc) y d)

Para una álgebra Hom-Leibniz (L, αL) consideremos elcomplejo de cadenas de homología CLα? (L) que esCLα? (L,K) en el que K está dotado con una estructura deHom-co-representación trivial.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universalesDemostración

Sea IL el subespacio de L⊗ L generado por los elementos−[x1, x2]⊗ αL(x3) + [x1, x3]⊗ αL(x2) + αL(x1)⊗[x2, x3], x1, x2, x3 ∈ L. Es decir,IL = Im

(d3 : CLα3 (L)→ CLα2 (L)

).

Denotamos L⊗LIL

por uce(L). Cada clase x1 ⊗ x2 + IL sedenota por {x1, x2}, para todo x1, x2 ∈ L.

(uce(L), α̃), donde α̃ : uce(L)→ uce(L) está definida porα̃({x1, x2}) = {αL(x1), αL(x2)}, es una álgebraHom-Leibniz con respecto al corchete[{x1, x2}, {y1, y2}] = {[x1, x2], [y1, y2]}

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universalesDemostración

Sea IL el subespacio de L⊗ L generado por los elementos−[x1, x2]⊗ αL(x3) + [x1, x3]⊗ αL(x2) + αL(x1)⊗[x2, x3], x1, x2, x3 ∈ L. Es decir,IL = Im

(d3 : CLα3 (L)→ CLα2 (L)

).

Denotamos L⊗LIL

por uce(L). Cada clase x1 ⊗ x2 + IL sedenota por {x1, x2}, para todo x1, x2 ∈ L.

(uce(L), α̃), donde α̃ : uce(L)→ uce(L) está definida porα̃({x1, x2}) = {αL(x1), αL(x2)}, es una álgebraHom-Leibniz con respecto al corchete[{x1, x2}, {y1, y2}] = {[x1, x2], [y1, y2]}

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universalesDemostración

Sea IL el subespacio de L⊗ L generado por los elementos−[x1, x2]⊗ αL(x3) + [x1, x3]⊗ αL(x2) + αL(x1)⊗[x2, x3], x1, x2, x3 ∈ L. Es decir,IL = Im

(d3 : CLα3 (L)→ CLα2 (L)

).

Denotamos L⊗LIL

por uce(L). Cada clase x1 ⊗ x2 + IL sedenota por {x1, x2}, para todo x1, x2 ∈ L.

(uce(L), α̃), donde α̃ : uce(L)→ uce(L) está definida porα̃({x1, x2}) = {αL(x1), αL(x2)}, es una álgebraHom-Leibniz con respecto al corchete[{x1, x2}, {y1, y2}] = {[x1, x2], [y1, y2]}

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Por construcción, se obtiene la siguiente identidad:

{αL(x1), [x2, x3]} = {[x1, x2], αL(x3)}−{[x1, x3], αL(x2)} (1)

Im(d3) = IL&&

&&

0

,,CLα3 (L) = L⊗3

d3 //

88 88

CLα2 (L) = L⊗2d2 //

%% %%

CLα1 (L) = L

uce(L)

uL:: ::

HLα2 (L)

99

99

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Por construcción, se obtiene la siguiente identidad:

{αL(x1), [x2, x3]} = {[x1, x2], αL(x3)}−{[x1, x3], αL(x2)} (1)

Im(d3) = IL&&

&&

0

,,CLα3 (L) = L⊗3

d3 //

88 88

CLα2 (L) = L⊗2d2 //

%% %%

CLα1 (L) = L

uce(L)

uL:: ::

HLα2 (L)

99

99

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universalesDemostración

d2(IL) = 0, por lo que induce una aplicación K-linealuL : uce(L)→ L, dada por uL({x1, x2}) = [x1, x2].

uL : (uce(L), α̃)→ (L, αL) es un homomorfismo de álgebrasHom-Leibniz.De la construcción se sigue que Ker uL = HLα2 (L), así quetenemos la extensión

0→ (HLα2 (L), α̃|)→ (uce(L), α̃)uL→ (L, αL)→ 0

que es una extensión central universal. �

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universalesDemostración

d2(IL) = 0, por lo que induce una aplicación K-linealuL : uce(L)→ L, dada por uL({x1, x2}) = [x1, x2].

uL : (uce(L), α̃)→ (L, αL) es un homomorfismo de álgebrasHom-Leibniz.

De la construcción se sigue que Ker uL = HLα2 (L), así quetenemos la extensión

0→ (HLα2 (L), α̃|)→ (uce(L), α̃)uL→ (L, αL)→ 0

que es una extensión central universal. �

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universalesDemostración

d2(IL) = 0, por lo que induce una aplicación K-linealuL : uce(L)→ L, dada por uL({x1, x2}) = [x1, x2].

uL : (uce(L), α̃)→ (L, αL) es un homomorfismo de álgebrasHom-Leibniz.De la construcción se sigue que Ker uL = HLα2 (L), así quetenemos la extensión

0→ (HLα2 (L), α̃|)→ (uce(L), α̃)uL→ (L, αL)→ 0

que es una extensión central universal. �

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Corolario

a) Sea 0→ (M, αM)i→ (K , αK )

π→ (L, αL)→ 0 una extensiónα-central universal, entonces HLα1 (K ) = HLα2 (K ) = 0.

b) Sea 0→ (M, αM)i→ (K , αK )

π→ (L, αL)→ 0 una extensióncentral tal que HLα1 (K ) = HLα2 (K ) = 0, entonces

0→ (M, αM)i→ (K , αK )

π→ (L, αL)→ 0 es una extensióncentral universal.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales universales

Corolario

a) Sea 0→ (M, αM)i→ (K , αK )

π→ (L, αL)→ 0 una extensiónα-central universal, entonces HLα1 (K ) = HLα2 (K ) = 0.

b) Sea 0→ (M, αM)i→ (K , αK )

π→ (L, αL)→ 0 una extensióncentral tal que HLα1 (K ) = HLα2 (K ) = 0, entonces

0→ (M, αM)i→ (K , αK )

π→ (L, αL)→ 0 es una extensióncentral universal.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Relación entre extensiones α-centrales universales

Sea (L, [−,−], αL) una álgebra Hom-Lie perfecta,entonces(L, [−,−], αL) admite una extensión central universal en lacategoría Hom-Lie de la forma:

0−→ (Hα2 (L) , α̃) −→ (uceLie (L) , α̃)

uL−→ (L, αL)−→0

Por otra parte, puesto que una álgebra Hom-Lie perfectatambién es una álgebra Hom-Leibniz perfecta, entonces(L, [−,−], αL) también admite extensión central universal en lacategoría Hom-Leib de la forma:

0−→ (HLα2 (L) , α̂) −→ (uceLeib (L) , α̂)UL−→ (L, αL)−→0

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones α-centrales universales

De Gnedbaye las relaciones entre estas extensiones centralesuniversales se pueden resumir en el siguiente diagrama:

HL2(uceLeib(L))��

��

HL2(uceLeib(L))��

��0 // H2 (L) //

����

uceLie (L)uL //

ω����

L // 0 (Leib)

0 // HL2 (L) // uceLeib (L)UL // L // 0 (Lie)

entonces es natural preguntarse por la generalización de estosresultados al contexto de las álgebras Hom-Leibniz.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones α-centrales universales

De Gnedbaye las relaciones entre estas extensiones centralesuniversales se pueden resumir en el siguiente diagrama:

HL2(uceLeib(L))��

��

HL2(uceLeib(L))��

��0 // H2 (L) //

����

uceLie (L)uL //

ω����

L // 0 (Leib)

0 // HL2 (L) // uceLeib (L)UL // L // 0 (Lie)

entonces es natural preguntarse por la generalización de estosresultados al contexto de las álgebras Hom-Leibniz.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones α-centrales universales

Pero de nuevo es necesario hacer uso de la composición deextensiones centrales, lo que impide la generalización total delos resultados mencionadas, siendo posible únicamenteobtener resultados en un contexto más restringido deextensiones α-centrales universales.

Comenzamos introduciendo un nuevo concepto de perfección:

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones α-centrales universales

Pero de nuevo es necesario hacer uso de la composición deextensiones centrales, lo que impide la generalización total delos resultados mencionadas, siendo posible únicamenteobtener resultados en un contexto más restringido deextensiones α-centrales universales.

Comenzamos introduciendo un nuevo concepto de perfección:

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones α-centrales universales

DefiniciónUna álgebra Hom-Lie (respectivamente, Hom-Leibniz) (L, αL)se dice que es α-perfecta si

L = [αL(L), αL(L)]

Nota

a) Cuando αL = Id, la noción de α-perfección coincide con elde perfección.

b) Obviamente, si (L, [−,−], αL) es una álgebra Hom-Lie(respectivamente, Hom-Leibniz) α-perfecta, entonces esperfecta. Sin embargo, el recíproco no es cierto.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones α-centrales universales

DefiniciónUna álgebra Hom-Lie (respectivamente, Hom-Leibniz) (L, αL)se dice que es α-perfecta si

L = [αL(L), αL(L)]

Nota

a) Cuando αL = Id, la noción de α-perfección coincide con elde perfección.

b) Obviamente, si (L, [−,−], αL) es una álgebra Hom-Lie(respectivamente, Hom-Leibniz) α-perfecta, entonces esperfecta. Sin embargo, el recíproco no es cierto.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales α-universales

Lema

Sea 0→ (M, αM)i→ (K , αK )

π→ (L, αL)→ 0 una extensióncentral y (K , αK ) una álgebra Hom-Lie (Hom-Leibniz)α-perfecta. Si existe un homomorfismo de álgebras Hom-Lie(Hom-Leibniz) f : (K , αK )→ (A, αA) tal que τ · f = π, donde

0→ (N, αN)j→ (A, αA)

τ→ (L, αL)→ 0 es una extensiónα-central, entonces f es único.

Teorema

Una álgebra Hom-Lie (Hom-Leibniz) α-perfecta admiteextensión α-central universal.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales α-universales

Lema

Sea 0→ (M, αM)i→ (K , αK )

π→ (L, αL)→ 0 una extensióncentral y (K , αK ) una álgebra Hom-Lie (Hom-Leibniz)α-perfecta. Si existe un homomorfismo de álgebras Hom-Lie(Hom-Leibniz) f : (K , αK )→ (A, αA) tal que τ · f = π, donde

0→ (N, αN)j→ (A, αA)

τ→ (L, αL)→ 0 es una extensiónα-central, entonces f es único.

Teorema

Una álgebra Hom-Lie (Hom-Leibniz) α-perfecta admiteextensión α-central universal.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales α-universales

Proposición(uceLeib

α (L) , α̃)

es la extensión central universal del álgebraHom-Lie α-perfecta

(uceLie

α (L) , α)

en la categoría Hom-Leib.Además hay un isomorfismo de álgebras Hom-Lie(

uceLieα (L) , α

)∼=((

uceLeibα (L)

)Lie, α̃Lie

).

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales α-universalesDemostración.

Por ser (L, αL) una álgebra Hom-Lie α-perfecta, entoncestenemos la situación descrita en el siguiente diagrama:

(Ker (Uα) , α̃|

)// //

(uceLeib

α (L) , α̃)Uα // //

∃!Φ��

(L, αL) (Hom− Leib)

(Ker (uα) , α|

)// //

(uceLie

α (L) , α)uα // // (L, αL) (Hom− Lie)

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales α-universales

Se verifica que la extensión

0→(Ker (Φ) , α̃|

)→(uceLeib

α (L) , α̃)

Φ→(uceLie

α (L) , α)→ 0

es una extensión central universal en la categoría Hom-Leib.

Por construcción, tenemos queKer(Φ) ⊆ Ker(Uα) ⊆ Z

(uceLeib

α (L) , α̃).

Φ es un homomorfismo sobreyectivo.Verificamos que se satisfacen las condiciones del Teoremade caracterización b):

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales α-universales

Se verifica que la extensión

0→(Ker (Φ) , α̃|

)→(uceLeib

α (L) , α̃)

Φ→(uceLie

α (L) , α)→ 0

es una extensión central universal en la categoría Hom-Leib.

Por construcción, tenemos queKer(Φ) ⊆ Ker(Uα) ⊆ Z

(uceLeib

α (L) , α̃).

Φ es un homomorfismo sobreyectivo.Verificamos que se satisfacen las condiciones del Teoremade caracterización b):

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales α-universales

Se verifica que la extensión

0→(Ker (Φ) , α̃|

)→(uceLeib

α (L) , α̃)

Φ→(uceLie

α (L) , α)→ 0

es una extensión central universal en la categoría Hom-Leib.

Por construcción, tenemos queKer(Φ) ⊆ Ker(Uα) ⊆ Z

(uceLeib

α (L) , α̃).

Φ es un homomorfismo sobreyectivo.

Verificamos que se satisfacen las condiciones del Teoremade caracterización b):

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales α-universales

Se verifica que la extensión

0→(Ker (Φ) , α̃|

)→(uceLeib

α (L) , α̃)

Φ→(uceLie

α (L) , α)→ 0

es una extensión central universal en la categoría Hom-Leib.

Por construcción, tenemos queKer(Φ) ⊆ Ker(Uα) ⊆ Z

(uceLeib

α (L) , α̃).

Φ es un homomorfismo sobreyectivo.Verificamos que se satisfacen las condiciones del Teoremade caracterización b):

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales α-universales

� Al ser Uα :(uceLeib

α (L) , α)→ (L, αL) una extensión

α-central, entonces es una extensión central universal y,por lo tanto

(uceLeib

α (L) , α̃)

es perfecta.

�� Verificamos que cualquier extensión cental de la forma0→ (P, αP)→ (K , αK )

ρ→(uceLeib

α (L) , α̃)

es rota.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales α-universales

� Al ser Uα :(uceLeib

α (L) , α)→ (L, αL) una extensión

α-central, entonces es una extensión central universal y,por lo tanto

(uceLeib

α (L) , α̃)

es perfecta.�� Verificamos que cualquier extensión cental de la forma

0→ (P, αP)→ (K , αK )ρ→(uceLeib

α (L) , α̃)

es rota.

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales α-universales

Para ello consideremos la extensión composiciónUα · ρ : (K , αK )→ (L, αL), que es una extensión α−central

(P, αP)��

��(K , αK )

��

Uα·ρ

'' ''Ker(Uα) // // (uceLeib

α (L), α̃)Uα // // (L, αL)

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

(P, αP)��

��(K , αK )

��

Uα·ρ

'' ''Ker(Uα) // // (uceLeib

α (L), α̃)Uα // //

σ

ZZ

(L, αL)

Entonces, existe un único homomorfismo de álgebrasHom-Leibniz σ :

(uceLeib

α (L) , α̃)→ ( K , αK ) tal que

Uα · ρ · σ = Uα.

Puesto que también Uα · Id = Uα, entonces ρ · σ = Id .

Para probar el isomorfismo establecido en la segundaafirmación del teorema, consideremos el siguiente diagrama:

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

(P, αP)��

��(K , αK )

��

Uα·ρ

'' ''Ker(Uα) // // (uceLeib

α (L), α̃)Uα // //

σ

ZZ

(L, αL)

Entonces, existe un único homomorfismo de álgebrasHom-Leibniz σ :

(uceLeib

α (L) , α̃)→ ( K , αK ) tal que

Uα · ρ · σ = Uα.

Puesto que también Uα · Id = Uα, entonces ρ · σ = Id .

Para probar el isomorfismo establecido en la segundaafirmación del teorema, consideremos el siguiente diagrama:

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

(P, αP)��

��(K , αK )

��

Uα·ρ

'' ''Ker(Uα) // // (uceLeib

α (L), α̃)Uα // //

σ

ZZ

(L, αL)

Entonces, existe un único homomorfismo de álgebrasHom-Leibniz σ :

(uceLeib

α (L) , α̃)→ ( K , αK ) tal que

Uα · ρ · σ = Uα.

Puesto que también Uα · Id = Uα, entonces ρ · σ = Id .

Para probar el isomorfismo establecido en la segundaafirmación del teorema, consideremos el siguiente diagrama:

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales α-universales

(uceLeib

α (L) , α̃)ann

vv

vv(uceLeib

α (L) , α̃) Uα //

Φ

����

uuuu

(L, αL) // 0

((uceLeib

α (L))

Lie , α̃Lie)

Φ

)) ))

γ

22 22

(uceLie

α (L) , α) uα // (L, αL) // 0

en el que Φ está inducido por Φ y γ por Uα.Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales α-universales

Como uα :(uceLie

α (L) , α)→ (L, αL) es una extensión α-central

universal, por lo tanto es una extensión central universal, ydado que γ :

((uceLeib

α (L))

Lie , α̃Lie)→ (L, αL) es una extensión

central, entonces existe un único homomorfismoΨ :

(uceLie

α (L) , α)→((uceLeib

α (L))

Lie , α̃Lie)

tal que γΨ = uα.

Para finalizar facilmente comprobamos que Φ y Ψ son inversos.�

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales α-universales

Como uα :(uceLie

α (L) , α)→ (L, αL) es una extensión α-central

universal, por lo tanto es una extensión central universal, ydado que γ :

((uceLeib

α (L))

Lie , α̃Lie)→ (L, αL) es una extensión

central, entonces existe un único homomorfismoΨ :

(uceLie

α (L) , α)→((uceLeib

α (L))

Lie , α̃Lie)

tal que γΨ = uα.

Para finalizar facilmente comprobamos que Φ y Ψ son inversos.�

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales α-universales

Proposición

Sea (L, αL) una álgebra Hom-Lie perfecta y sean (uceLie (L) , α)y (uceLeib (L) , α̃) sus extensiones centrales universales en lascategorías Hom-Lie y Hom-Leib, respectivamente.

(uceLie (L) , α) ' (uceLeib (L) , α̃)⇐⇒ Hα2 (L) ' HLα2 (L) .

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Extensiones centrales α-universalesDemostración

. Si (L, αL) es perfecta en la categoría Hom-Lie,entonces sepuede construir el siguiente diagrama conmutativo:

0 // HLα2 (L) //

σ|

��

(uceLeib (L) , α̃)U //

∃!σ

��

(L, αL) // 0 (Hom− Leib)

0 // Hα2 (L) // (uceLie (L) , α)

u // (L, αL) // 0 (Hom− Lie)

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales

Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centrales universales de álgebras Hom-Leibniz Relación entre extensiones α-centrales universales

Gracias por su atención!

Natália Pacheco Rego Universidad de Vigo

Sobre las extensiones α-centrales universales