Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras...

92
Álgebras Hom-Leibniz Hom-(co)-representación de álgebras Hom-Leibniz Homología de álgebras Hom-Leibniz Extensiones centr Sobre las extensiones α-centrales universales Natália Pacheco Rego Universidad de Vigo Congreso de Jóvenes Investigadores Sevilla 2013 Natália Pacheco Rego Universidad de Vigo Sobre las extensiones α-centrales universales

Transcript of Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras...

Page 1: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 2: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 3: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 4: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 5: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 6: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 7: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 8: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 9: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 10: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 11: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 12: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 13: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 14: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 15: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 16: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 17: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 18: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 19: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 20: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 21: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 22: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 23: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 24: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 25: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 26: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 27: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 28: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 29: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 30: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 31: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 32: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 33: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 34: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 35: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 36: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 37: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 38: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 39: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 40: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 41: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 42: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 43: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 44: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 45: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 46: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 47: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 48: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 49: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 50: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 51: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 52: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 53: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 54: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 55: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 56: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 57: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 58: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 59: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 60: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 61: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 62: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 63: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 64: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 65: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 66: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 67: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 68: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 69: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 70: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 71: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 72: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 73: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 74: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 75: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 76: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 77: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 78: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 79: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 80: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 81: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 82: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 83: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 84: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 85: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 86: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 87: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 88: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 89: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 90: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 91: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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

Page 92: Sobre las extensiones -centrales universales · 4 Extensiones centrales universales de álgebras Hom-Leibniz 5 Relación entre extensiones -centrales universales Natália Pacheco

Á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