El algebra simetrica cuantica.

Natalia Castro
Orientador: Dr. Andres Abella
Octubre de 2007
Trabajo monograco
Licenciatura en matematica
Universidad de la Rep ublica
Montevideo - Uruguay
Agradecimientos
Gracias...
a Andres, por haber hecho posible la realizacion de este trabajo, por toda su dedicacion y
correcciones, por saber motivarme y por darme animo en los momentos difciles.
a mi madre, Gladys y a mi hermana, Sylvia; porque mi decision de continuar mis estudios se
debe en gran parte a su ejemplo.
a Nacho, por creer en m y por haberme apoyado siempre.
a Dalia, Cecilia y al negro Lanzilotta; por haber podido contar con ustedes y por haberme
brindado todo su apoyo.
Resumen
El objetivo de este trabajo consiste en presentar las construcciones de tres algebras de Hopf
graduadas y estudiar algunas de sus propiedades. Dada un algebra de Hopf H y un bimodulo de
Hopf M, deniremos el algebra tensorial T
H
(M), la coalgebra cotensorial C
H
(M) y el algebra
simetrica cuantica S
H
(M).
En la primera seccion del primer captulo se enuncian resultados que seran necesarios a lo
largo del resto de la monografa, tales como las deniciones de algebras y coalgebras graduadas,
ltracion corradical, etc. En la segunda seccion se muestran estas construcciones en el caso par-
ticular en que H = k es un cuerpo y M = V es un k-espacio vectorial. Esto aparece como
motivacion de lo que sera el trabajo en los captulos siguientes y para mostrar un ejemplo de las
estructuras que deniremos.
En el segundo captulo nos enfocamos por completo en la construccion del algebra tensorial
T
A
(M), la que construimos para A un algebra y M un A-bimodulo. En el Teorema 2.3.4
mostramos con detalle como dar estructura de algebra graduada a T
A
(M) y a un mostramos
un poco mas, probando que admite estructura de algebra graduada en
A
/
A
. La denicion de
algebra en
A
/
A
junto a su caracterizacion se dan en la segunda seccion del captulo (Proposi-
cion 2.2.2). Para culminar el estudio de T
A
(M) mostramos que verica una propiedad universal
(Teorema 2.4.1), de interes por si misma y que sera de utilidad en el Captulo 4.
En el tercer captulo nos enfocamos en la construccion de la coalgebra cotensorial C
C
(M), la que
construimos para C una coalgebra y M un C-bicomodulo. En el Teorema 3.3.5 mostramos con
detalle como dar estructura de coalgebra graduada, de forma dual al captulo anterior probamos
que admite estructura de coalgebra graduada en
C
/
C
. En las secciones previas a este teorema
se dene el producto cotensorial y se demuestran algunas propiedades de este y a su vez se dene
y caracteriza lo que es una coalgebra en
C
/
C
. Culminamos el estudio de C
C
(M) mostrando
que verica una propiedad universal (Teorema 3.4.1).
En el ultimo captulo generalizamos las construcciones del algebra tensorial y la coalgebra coten-
sorial al caso en que H es un algebra de Hopf y M es un bimodulo de Hopf. Para dar estructura
de coalgebra graduada a T
H
(M) y de algebra graduada a C
H
(M) aplicamos las propiedad uni-
versales demostradas en los dos captulos anteriores. Las estructuras de bialgebra graduada se
muestran explcitamente en las Proposiciones 4.2.1 y 4.2.3. La existencia de la antpoda se de-
duce a partir del Teorema (1.1.13), en el cual se da una idea de su construccion. A partir de lo
anterior obtenemos que T
H
(M) y C
H
(M) son algebras de Hopf graduadas.
Para culminar el trabajo se muestra que existe un mapa natural entre T
H
(M) y C
H
(M) de
donde se desprende la existencia del algebra simetrica cuantica.
Notaciones
En este trabajo k representa un cuerpo jo. Todos los espacios vectoriales seran sobre k a menos
que se indique lo contrario. Siempre escribiremos para referirnos a
k
, el producto tensorial
sobre k.

Indice general
1.

Algebras de Hopf graduadas. 2
1.1. Graduaciones y ltraciones: preliminares. . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Construcciones de algebras de Hopf graduadas. . . . . . . . . . . . . . . . . . . . 5
2. El algebra tensorial. 8
2.1. Bimodulos sobre un algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.2.

Algebras en
A
/
A
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.3.

Algebra tensorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.4. Propiedad universal del algebra tensorial . . . . . . . . . . . . . . . . . . . . . . . 17
3. La coalgebra cotensorial 21
3.1. Bicomodulos sobre una coalgebra . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.2. Coalgebras en
C
/
C
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.3. Coalgebra cotensorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.4. Propiedad universal de la coalgebra cotensorial . . . . . . . . . . . . . . . . . . . 37
4. El algebra simetrica cuantica. 45
4.1. Bimodulos de Hopf sobre una bialgebra. . . . . . . . . . . . . . . . . . . . . . . . 45
4.2. El algebra simetrica cuantica. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
1
Captulo 1

Algebras de Hopf graduadas.

1.1. Graduaciones y ltraciones: preliminares.
En esta seccion deniremos los conceptos de graduacion y ltracion de algebras y coalgebras,
introduciendo la ltracion corradical. A su vez enunciaremos resultados que nos seran de utilidad
en los captulos siguientes. Las referencias para esta seccion son [1] y [2].
Denicion 1.1.1. Sea (A, m, u) un algebra. Decimos que A es una algebra graduada si existe
una familia A
n

n0
de subespacios de A que satisface:
A =

n0
A
n
, 1
A
A
0
, A
i
A
j
A
i+j
, i, j 0.
Denicion 1.1.2. Sea (C, , ) una coalgebra. Decimos que C es una coalgebra graduada si
existe una familia C
n

n0
de subespacios de C que satisface:
C =

n0
C
n
; (C
n
) = 0, n 1; (C
n
)

i+j=n
C
i
C
j
, n 0.
Denicion 1.1.3. Sea C una coalgebra, una ltracion en C es una familia C
n

n0
de subes-
pacios de C tal que:

n=0
C
n
= C,
C
n
C
n+1
, n 0,
(C
n
)

i+j=n
C
i
C
j
, n 0.
2
CAP

ITULO 1.

ALGEBRAS DE HOPF GRADUADAS. 3
Observacion 1.1.4. Si C =

n0
C
n
es una coalgebra graduada y denimos D
n
:=

n
i=0
C
i
,
entonces D
n

n0
es una ltracion en C.
Denicion 1.1.5. Una coalgebra C se dice simple si no tiene subcoalgebras propias.
Denicion 1.1.6. Sea C una coalgebra, denimos el corradical de C como corad(C) :=

iI
D
i
,
siendo D
i
: i I el conjunto de todas las subcoalgebras simples de C.
Proposicion 1.1.7 (Lema 5.1.10, [1]). Sean C y D coalgebras entonces corad(C D)
corad(C) corad(D).
Proposicion 1.1.8 (Proposicion 11.1.1, [2]). Sea C =

n0
C
n
una co algebra graduada
entonces corad(C) C
0
.
Proposicion 1.1.9 (Teorema 5.2.2, [1]). Sea (C, , ) una coalgebra, para n 0 se dene
C
n
de la siguiente forma:
C
0
= corad(C),
C
n
=
1
(C C
n1
+ C
0
C), n 1.
Entonces C
n
: n 0 es una familia de subcoalgebras que dene una ltracion en C, llamada
la ltracion corradical.
Denicion 1.1.10. Sea B una bialgebra. Decimos que B es una bialgebra graduada si existe
una familia B
n

n0
de subespacios de B de forma tal que B es graduada como algebra y como
coalgebra.
Denicion 1.1.11. Sea H un algebra de Hopf. Decimos que H es un algebra de Hopf graduada
si H es una bialgebra graduada y el mapa antpoda S
H
: H H respeta la graduacion H
n

n0
;
es decir, S
H
(H
n
) H
n
, n 0.
Lema 1.1.12 (Lema 5.2.10, [1]). Sean C una coalgebra, A un algebra y f Hom(C, A).
Luego f es invertible por convolucion si y solo si f[
corad(C)
es invertible por convolucion.
CAP

ITULO 1.

ALGEBRAS DE HOPF GRADUADAS. 4
Teorema 1.1.13 (Proposicion 1.5.1, [3]). Si H =

nN
H
n
es una bialgebra graduada tal
que H
0
es un algebra de Hopf, entonces H es un algebra de Hopf graduada.
Demostraci on: Por (1.1.8) tenemos que corad(H) H
0
, donde H
0
es un algebra de Hopf.
Luego id
corad(H)
es invertible por convolucion y por lo tanto el lema anterior implica que id
H
es
invertible por convolucion.
Para completar la prueba es necesario ver que S : H H, la antpoda de H, respeta la gra-
duacion. Para ello veamos como se construye la antpoda.
Tenemos H =

n0
H
n
= H
0

n1
H
n
_
. Como corad(H) H
0
entonces existe un
subespacio V H tal que H
0
= corad(H)

V . Luego H = corad(H)

V

, donde V

=
V

n1
H
n
_
.
Sea S
corad(H)
: corad(H) corad(H) H la inversa por convolucion de id
corad(H)
. Denimos
g

: H H por g

[
corad(H)
= S
corad(H)
y g

[
V
= 0. Observese entonces que
g

(H
n
) = 0, n 1. (1.1)
Luego denimos : H H por = u id
H
g

, es decir = u m(id
H
g

).
Sea n 0 como H es una coalgebra graduada tenemos que:
(id
H
g

)(H
n
) = (m(id
H
g

))(H
n
) (m(id
H
g

))
_
_

i+j=n
H
i
H
j
_
_
.
Es decir
(id
H
g

)(H
n
) m
_
_

i+j=n
H
i
g

(H
j
)
_
_
.
Como se verica (1.1) y H es un algebra graduada obtenemos
(id
H
g

)(H
n
) m(H
n
g

(H
0
)) m(H
n
H
0
) H
n
.
Por otra parte u(H
n
) = 0, n 1 y u(H
0
) H
0
. En conclusion
(H
n
) H
n
, n 0. (1.2)
A continuacion para m 0 denimos
m
=
_
_
_
u si m = 0

. .
m veces
si m 1 En la demostracion del
Lema (1.1.12) se muestra que tiene sentido denir : H H por =

m0

m
. A partir de
CAP

ITULO 1.

ALGEBRAS DE HOPF GRADUADAS. 5
(1.2) es inmediato ver que (H
n
) H
n
, n 0.
Con esto culminamos la construccion de la antpoda S : H H que se dene por S = g

,
es decir S = m(g

). Entonces para n 0 tenemos

S(H
n
) m
_
_

i+j=n
g

(H
i
) (H
j
)
_
_
= m(g

(H
0
) (H
n
)) m(H
0
H
n
) H
n
.
Luego S(H
n
) H
n
, n 0.
1.2. Construcciones de algebras de Hopf graduadas.
Una referencia para esta seccion es [2].
Consideramos Vec
k
la categoria de los k-espacios vectoriales. Sea V Vec
k
.
T(V): el algebra tensorial.
Sea T(V ) =

n0
V
n
, donde V
0
= k, V
1
= V y V
n
= V V
. .
n veces
, n 2.
T(V ) se denomina algebra tensorial sobre V. Es posible dar estructura de algebra graduada a
T(V ) deniendo mapas lineales m : T(V ) T(V ) T(V ) y u : k T(V ) por
m( ) = , , k,
m((v
1
v
n
) (w
1
w
m
)) = v
1
v
n
w
1
w
m
,
m( (v
1
v
n
)) = m((v
1
v
n
) ) = v
1
v
n
, k, v
1
v
n
T(V )
y
u() = , k.
Observese que T(V ) es generada como algebra por V
0
y V
1
.
A su vez es posible dar estructura de coalgebra graduada a T(V ) de forma que resulte cocon-
mutativa. Para ello denimos los siguientes mapas lineales:
: T(V ) T(V ) T(V ) tal que =

n0

n
, donde para cada n 0 tenemos

n
: V
n

i+j=n
V
i
V
j
denido por

0
() = 1
k
= 1
k
, k,
CAP

ITULO 1.

ALGEBRAS DE HOPF GRADUADAS. 6

1
(v) = 1
k
v + v 1
k
, v V y

n
(v
1
v
n
) =
1
(v
1
)
1
(v
n
), v
1
v
n
V
n
, n 2.
: T(V ) k tal que =
0
, donde
0
es la proyeccion de T(V ) sobre k. Es decir
() = , k y (V
n
) = 0, n 1.
Observese que y as denidos resultan morsmos de algebras.
La coconmutatividad de T(V ) como coalgebra es inmediata debido a la denicion de
n
para
n = 0, 1 y de que es un morsmo de algebras. Por ejemplo:

2
(v
1
v
2
) = 1
k
v
1
v
2
+ v
1
v
2
+ v
2
v
1
+ v
1
v
2
1
k
= (
2
)(v
1
v
2
), v
1
v
2
T(V ) T(V ).
Observese que obtuvimos que T(V ) tiene estructura de bialgebra graduada y entonces, aplicando
el Teorema (1.1.13), obtenemos que T(V ) es un algebra de Hopf graduada.
C(V): la coalgebra cotensorial.
Sea C(V ) =

n0
V
n
, donde V
0
= k, V
1
= V y V
n
= V V
. .
n veces
, n 2.
C(V ) se denomina coalgebra cotensorial sobre V . Es posible dar estructura de coalgebra gradua-
da a C(V ) deniendo mapas lineales : C(V ) C(V ) C(V ) y : C(V ) k por
=

n0

n
, donde para cada n 0 tenemos
n
: V
n

i+j=n
V
i
V
j
denido por

0
() = 1
k
= 1
k
, k,

1
(v) = 1
k
v + v 1
k
, v V y

n
(v
1
v
n
) = 1 (v
1
v
n
) +

n1
i=1
(v
1
v
i
) (v
i+1
v
n
) +
(v
1
v
n
) 1, n 2.
=
0
, donde
0
es la proyeccion de C(V ) sobre k. Es decir () = , k y
(V
n
) = 0, n 1.
A su vez es posible dar estructura de algebra graduada a C(V ) de forma que resulte conmutativa.
Con el objetivo de denir el producto en C(V ) introducimos la siguiente denicion:
Denicion 1.2.1. Sea o
n
el grupo de las permutaciones de n elementos. Decimos que o
n
es un i-shue (1 i < n) si preserva el orden de 1, , i y de i + 1, , n.
CAP

ITULO 1.

ALGEBRAS DE HOPF GRADUADAS. 7
Observacion 1.2.2. Escribiremos o
n,i
para referirnos al conjunto de i-shues de o
n
, i =
1, , n 1. Entonces:
S
n,i
si (1) < < (i) y (i + 1) < < (n).
Ejemplo 1.2.3. Si n = 4 e i = 2, tenemos o
4,2
= (1234), (1324), (1423), (2314), (2413), (3412),
donde (1324) representa la permutacion que verica (1) = 1, (2) = 3, (3) = 2 y (4) = 4.
Luego denimos el mapa lineal m : C(V ) C(V ) C(V ) por m =

n0
m
n
, donde para
cada n 0 tenemos m
n
:

i+j=n
V
i
V
j
V
n
tal que m
n
=

i+j=n
m
ij
n
con m
ij
n
: V
i
V
j
V
n
denido de la siguiente forma:
para n = 0: m
00
0
( ) = , , k,
para n = 1: m
01
1
( v) = v = v = m
10
1
(v ), k, v V y
para n 2:
Si i = 0: m
0j
n
( (v
1
v
j
)) = v
1
v
j
, k, v
1
v
j
V
j
.
Si i, j 1: m
ij
n
((v
1
v
i
) (v
i+1
v
n
)) =

S
n,i
v
(1)
v
(n)
,
v
1
v
i
V
i
, v
i+1
v
n
V
j
.
Si j = 0: m
i0
n
((v
1
v
i
) ) = v
1
v
i
, k, v
1
v
i
V
i
.
Por otra parte denimos el mapa lineal u : k C(V ) como u() = , k.
Como mencionamos antes con estas deniciones resulta que C(V ) es un algebra graduada y
conmutativa.
Observese que los mapas m y u as denidos son morsmos de coalgebras y que por lo tanto
tenemos en C(V ) estructura de bialgebra graduada. Luego, por el Teorema (1.1.13), tenemos
que C(V ) es un algebra de Hopf graduada.
Observacion 1.2.4. Notar que en el caso que V sea de dimension nita, C(V ) es isomorfa al dual
graduado de T(V

) (Ver [2]).
S(V): el algebra simetrica.
Probaremos mas adelante que existe un unico : T(V ) C(V ) morsmo de algebras de
Hopf que verica que () = , k y (v) = v, v V . La imagen de este morsmo es una
subalgebra de Hopf de C(V ) que escribimos S(V ) y su n ucleo es k < u v v u : u, v V >.
Luego S(V ) es isomorfa al algebra simetrica
T(V )
k < u v v u, u, v V >
.
Captulo 2
El algebra tensorial.
2.1. Bimodulos sobre un algebra
A partir de esta seccion A denota una k-algebra.
Denicion 2.1.1. Decimos que un espacio vectorial M tiene estructura de A-bimodulo si M
tiene estructura de A-modulo a izquierda y de A-modulo a derecha y ambas estructuras son
compatibles, en el sentido
(a m) a

= a (m a

) a, a

A m M.
Escribiremos B
A
/
A
para decir que B es un A-bimodulo.
Ejemplo 2.1.2. A es un A-bimodulo con el producto como accion.
Observacion 2.1.3. Si M es un espacio vectorial que tiene estructura de A-modulo a izquierda
y de A-modulo a derecha, entonces M es un A-bimodulo si y solo si la accion por la izquierda
A M M es un morsmo de A-modulos a derecha si y solo si la accion por la derecha
M A M es un morsmo de A-modulos a izquierda.
En lo anterior consideramos AM como A-modulo a derecha mediante (am) a

= a(m a

)
y M A como A-modulo a izquierda mediante a (ma

) = (a m) a

.
Proposicion 2.1.4. Si M
i

A
/
A
i I entonces

iI
M
i

A
/
A
.
Demostraci on: Sea m =

iI
m
i

iI
M
i
, donde solo una cantidad nita de los m
i
son
no nulos.
Denimos
l
: A(

iI
M
i
)

iI
M
i
por
a
l
m = a
l
(

iI
m
i
) =

iI
a m
i
8
CAP

ITULO 2. EL

ALGEBRA TENSORIAL. 9
y
r
: (

iI
M
i
) A

iI
M
i
por
m
r
a = (

iI
m
i
)
r
a =

iI
m
i
a
Con estas deniciones

iI
M
i
resulta un A-modulo a izquierda y a derecha.
Para ver que

iI
M
i
es un A-bimodulo solo falta ver que
l
y
r
son compatibles:
(a (

iI
m
i
)) a

= (

iI
a m
i
) a

(a m
i
) a

=
=

a (m
i
a

) = a (

m
i
a

) = a ((

m
i
) a

), a, a

A
Observacion 2.1.5. Notar que en la construccion anterior la inclusion
j
: M
j

iI
M
i
es un
morsmo en
A
/
A
, j J, luego esto prueba que
A
/
A
tiene coproductos.
Denicion 2.1.6. Si M /
A
y N
A
/, denimos el espacio vectorial M
A
N mediante:
M
A
N =
M N
km a n ma n : a A, m M, n N
.
Escribiremos m
A
n para indicar la clase de mn en M
A
N, aunque cuando no haya lugar
a confusion utilizaremos solo mn.
La prueba de la siguiente Proposicion es inmediata.
Proposicion 2.1.7. Si : M M

es un morsmo en /
A
y : N N

es un morsmo
en
A
/, entonces existe un unico mapa lineal : M
A
N M

A
N

tal que m
A
n
(m)
A
(n).
Observacion 2.1.8. Observar que si M /
A
y N
A
/ entonces
(AM)
A
N A(M
A
N)
como espacios vectoriales, identicando (a m)
A
n a (m
A
n).
De la misma forma
M
A
(N A) (M
A
N) A
identicando m
A
(n a) (m
A
n) a.
CAP

ITULO 2. EL

ALGEBRA TENSORIAL. 10
Proposicion 2.1.9. Sean M, N
A
/
A
, entonces M
A
N
A
/
A
.
Demostraci on: Dado que M
A
/
A
, por la Observacion 2.1.3, tenemos que la accion por
la izquierda A M

M es un morsmo en /
A
y es claro que id
N
: N N es un morsmo
en
A
/. Luego por la Proposicion 1.1.6 tenemos que id
N
: (AM)
A
N M
A
N es un
mapa lineal. A su vez (AM)
A
N A(M
A
N), entonces componiendo id
N
con este
isomorsmo damos estructura de A-modulo a izquierda a M
A
N de forma tal que:
a
l
(m
A
n) = (a m)
A
n, a A, m M, n N.
Analogamente damos estructura de A-modulo a derecha a M
A
N de forma tal que:
(m
A
n)
r
a = m
A
(n a), a A, m M, n N.
Para ver que M
A
N es un A-bimodulo falta ver que
l
y
r
son compatibles:
a

((m
A
n) a) = a

(m
A
n a) = a

m
A
n a =
= (a

m
A
n) a = (a

(m
A
n)) a a, a

A, m M, n N.
Denicion 2.1.10. Si M
i

A
/
A
i = 1, , n, denimos:
M
1

A

A
M
n
=
M
1
M
n
V
donde V =

n
i=1
V
i
, con
V
i
= km
1
m
i

r
am
i+1
m
n
m
1
m
i
a
l
m
i+1
m
n
, i = 1, , n.
Observacion 2.1.11. En forma analoga a la Proposicion 2.1.8, se prueba que si M
i

A
/
A
i =
1, , n entonces M
1

A

A
M
n

A
/
A
.
Observacion 2.1.12. Dados M, N, P
A
/
A
vale:
M
A
N
A
P (M
A
N)
A
P M
A
(N
A
P)
como A-bimodulos. Lo mismo puede extenderse para n tensorandos.
Denicion 2.1.13. Sean M, N
A
/
A
. Decimos que un mapa lineal f : M N es un
morsmo de A-bimodulos si f es un morsmo de modulos a izquierda y a derecha, es decir si
verica:
f(a m b) = a f(m) b, a, b A, m M.
Escribiremos f es un morsmo en
A
/
A
para decir que f es un morsmo de A-bimodulos.
CAP

ITULO 2. EL

ALGEBRA TENSORIAL. 11
A continuacion veremos la propiedad universal de la suma directa en el contexto de A-
bimodulos y morsmos de A-bimodulos.
Proposicion 2.1.14. Sean N
A
/
A
, M
i

A
/
A
, i I, y
i
: M
i
N morsmos en
A
/
A
i I. Entonces existe un unico morsmo en
A
/
A
tal que el siguiente diagrama
conmuta:

iI
M
i

N
M
j
inc

w
w
w
w
w
w
w
w
w
w
.
Demostraci on: Por la propiedad universal de la suma directa en espacios vectoriales el mapa
:
iI
M
i
N necesariamente esta denido por (

iI
m
i
) =

iI

i
(m
i
).
El mapa es un morsmo en
A
/
A
pues cada
i
lo es. Ademas [
M
j
=
j
y por lo tanto es
el unico morsmo que hace conmutar el diagrama.
Observacion 2.1.15. Si M
A
/
A
entonces M
A
A M en
A
/
A
mediante ma m
r
a y
m m1
A
. Analogamente A
A
M M en
A
/
A
deniendo a m a
l
m y m 1
A
m.
2.2.

Algebras en
A
/
A
Denicion 2.2.1. Una terna (B, m, u) es un algebra en
A
/
A
si:
1. B
A
/
A
y
2. m : B
A
B B, u : A B son morsmos en
A
/
A
tales que los siguientes diagramas
conmutan:
B
A
B
A
B
idm

mid

B
A
B
m

B
A
B
m

B
, (2.1)
y
A
A
B
uid
B

M
M
M
M
M
M
M
M
M
M
M
B
A
B
m

B
A
A
id
B
u

.q
q
q
q
q
q
q
q
q
q
q
B
. (2.2)
CAP

ITULO 2. EL

ALGEBRA TENSORIAL. 12
Proposicion 2.2.2. Sea B un A-bimodulo. Las siguientes condiciones son equivalentes:
1. Existen mapas lineales m : B
A
B B y u : A B tales que (B, m, u) es un algebra
en
A
/
A
.
2. Existen mapas lineales m
B
: B B B y u
B
: k B tales que (B, m
B
, u
B
) es una k-
algebra, y si 1
B
= u
B
(1
k
) y escribimos m
B
(b b

) = bb

, b, b

B, entonces se verican
las siguientes condiciones:
a) (a b)b

= a (bb

), a A, b, b

B
b) b(b

a) = (bb

) a, a A, b, b

B
c) (b a)b

= b(a b

), a A, b, b

B
d) a 1
B
= 1
B
a, a A.
Demostraci on: Notar que (B, m
B
, u
B
) es una k-algebra si y solo si los siguientes diagramas
conmutan:
B B B
idm
B

m
B
id

B B
m
B

B B
m
B

B
y (2.3)
k B
u
B
id

K
K
K
K
K
K
K
K
K
K
B B
m
B

B k
idu
B

.s
s
s
s
s
s
s
s
s
s
B
(2.4)
Observar que dado m : B
A
B B, si denimos m
B
: B B B por m
B
= m ,
donde es la proyeccion canonica de B B sobre B
A
B, entonces m
B
verica 2.c).
Recprocamente, dado m
B
: BB B que verica 2.c), la propiedad universal del cociente
aplicada a : BB B
A
B implica que existe un unico mapa lineal m : B
A
B B
tal que m
B
= m .
Sean entonces m : B
A
B B y m
B
: B B B relacionados por m
B
= m . La
condicion de que m sea un morsmo de A-bimodulos equivale a que m
B
verique 2.a) y
2.b). Tambien es claro que la sobreyectividad de implica que (2.1) conmuta si y solo si
(2.3) conmuta.
Dado u : A B morsmo en
A
/
A
, denimos u
B
: k B por u
B
= u u
A
, donde u
A
es
el mapa unidad de A como k-algebra. Sean 1
A
= u
A
(1
k
) y 1
B
= u(1
A
) = u
B
(1
k
). Como u
es un morsmo en
A
/
A
tenemos que:
a 1
B
= a u(1
A
) = u(a1
A
) = u(a) = u(1
A
a) = u(1
A
) a = 1
B
a, a A,
CAP

ITULO 2. EL

ALGEBRA TENSORIAL. 13
luego 1
B
verica 2.d).
Recprocamente, dado u
B
: k B que verica 2.d), denimos u : A B mediante
u(a) = a 1
B
= 1
B
a, a A.
Es inmediato probar que u denido de esta manera es un morsmo en
A
/
A
. Ademas
(u u
A
)(1
k
) = u(1
A
) = 1
B
= u
B
(1
k
) entonces u u
A
= u
B
.
Sean entonces u : A B y u
B
: k B relacionados por u
B
= u u
A
con u morsmo en
A
/
A
. Observar que (2.2) equivale a: b = u(1
A
)b = bu(1
A
), b B y que (2.4) equivale a:
b = u
B
(1
k
)b = bu
B
(1
k
), b B. Como u(1
A
) = u
B
(1
k
) = 1
B
, entonces u verica (2.2) si
y solo si u
B
verica (2.4).
Observacion 2.2.3. Si (B, m, u) es un algebra en
A
/
A
, escribiremos 1
B
= u(1
A
) y
bb

= m(b
A
b

), b, b

B.
Denicion 2.2.4. Sean (B, m, u
B
), (B

, m

, u
B
) algebras en
A
/
A
. Decimos que : B B

es un morsmo de algebras en
A
/
A
si es un morsmo de A-bimodulos que ademas hace
conmutar los siguientes diagramas:
B
A
B

A
B

,
B

A
u
B

u
B

}
}
}
}
}
}
}
.
Observacion 2.2.5. Notar que la conmutatividad de los diagramas anteriores es equivalente a
(b
1
b
2
) = (b
1
)(b
2
), b
1
, b
2
B y (1
B
) = 1
B
.
Observacion 2.2.6. Sea : B B

un morsmo en
A
/
A
. Notar que de la proposicion 2.2.2 se
deduce que es un morsmo de algebras en
A
/
A
si y solo si es un morsmo de algebras.
2.3.

Algebra tensorial
Denicion 2.3.1. Sea M
A
/
A
, denimos
T
A
(M) =

n0
M
n
donde M
0
= A, M
1
= M y M
n
= M
A
. . .
A
M
. .
n veces
n 2.
CAP

ITULO 2. EL

ALGEBRA TENSORIAL. 14
Observacion 2.3.2. Observar que la Proposicion (2.1.4) implica que T
A
(M)
A
/
A
.
Explcitamente la estructura de A-bimodulo de T
A
(M) es la siguiente:
1. Si n = 0: M
0
= A con la estructura de A-bimodulo de A (dada por el producto).
2. Si n = 1: M
1
= M con la estructura de A-bimodulo de M.
3. Si n 2: M
n
= M
A
. . .
A
M
. .
n veces
donde las acciones son:
a
l
(m
1
m
n
) = (a m
1
) m
2
m
n
y
(m
1
. . . m
n
)
r
a = m
1
m
n1
(m
n
a)
Observacion 2.3.3. Notar que existe un isomormo de A-bimodulos:
_
_

m0
M
m
_
_

A
_
_

n0
M
n
_
_

m,n0
M
m

A
M
n
obtenido identicando (

m
x
m
)
A
(

n
y
n
)

m,n
x
m

A
y
n
, x
m
M
m
, y
n
M
n
.
Teorema 2.3.4. Si M
A
/
A
, entonces T
A
(M) admite una estructura de algebra en
A
/
A
.
Demostraci on: Tiene sentido denir m
j,k
: M
j

A
M
k
M
j+k
, j, k 0 de la siguiente
manera:
Para j = k = 0, m
0,0
(a b) = ab.
Para j = 0 y k 1, m
0,k
(a(m
1
m
k
)) = a
l
(m
1
m
k
) = (a m
1
) m
k
.
Para j 1 y k = 0, m
j,0
((m
1
m
j
) a) = (m
1
m
j
)
r
a = m
1
(m
j
a).
Para j 1 y k 1, m
j,k
es concatenar los elementos de M
j
con los de M
k
, es decir:
m
j,k
((m
1
m
j
) (n
1
n
k
)) = m
1
m
j
n
1
n
k
.
Luego m
j,k
: M
j

A
M
k
M
j+k
T
A
(M) es morsmo de A-bimodulos, j, k 0. La propiedad
universal de la suma directa (Prop. (2.1.14)) implica que existe un unico morsmo m en
A
/
A
tal que el siguiente diagrama conmuta:

j,k0
M
j

A
M
k
m

T
A
(M)
M
j

A
M
k
inc

m
j,k

n
n
n
n
n
n
n
n
n
n
n
n
CAP

ITULO 2. EL

ALGEBRA TENSORIAL. 15
Por la observacion (2.3.3) sabemos que

j,k0
M
j

A
M
k
T
A
(M)
A
T
A
(M). Entonces com-
poniendo m con este isomorsmo obtenemos, abusando de la notacion, m : T
A
(M)
A
T
A
(M)
T
A
(M) morsmo en
A
/
A
.
Por otra parte denimos u : A T
A
(M) como la inclusion u : A = M
0


n0
M
n
=
T
A
(M), claramente es un morsmo en
A
/
A
.
Veamos que m hace conmutar el siguiente diagrama:
T
A
(M)
A
T
A
(M)
A
T
A
(M)
mid

idm

T
A
(M)
A
T
A
(M)
m

T
A
(M)
A
T
A
(M)
m

T
A
(M)
Utilizando nuevamente la propiedad universal de la suma directa alcanza con probar que
el siguiente diagrama conmuta m, n, p 0:
M
m

A
M
n

A
M
p
m
m,n
id

idmn,p

M
m+n

A
M
p
m
m+n,p

M
m

A
M
n+p
m
m,n+p

M
m+n+p
.
Observar que la conmutatividad de este diagrama se deduce de lo siguiente:
Si m = n = p = 0, el diagrama resulta ser el que corresponde a la propiedad asociativa
en el algebra A.
Si m = 1 y n = p = 0, el diagrama resulta ser el que corresponde a que M sea un
A-modulo a derecha.
Si m = 0, n = 1 y p = 0, el diagrama resulta ser el que corresponde a la compatibilidad
de las acciones en M
A
/
A
.
Si m = n = 0 y p = 1, el diagrama resulta ser el que corresponde a que M sea un
A-modulo a izquierda.
Si m, n 1 y p = 0, tenemos:
(m
m+n,0
(m
m,n
id))((x
1
x
m
) (x
m+1
x
m+n
) a) =
= m
m+n,0
((x
1
x
m+n
) a) = x
1
x
m+n1
(x
m+n
a) =
= m
m,n
((x
1
x
m
) (x
m+1
x
m+n
a)) =
= (m
m,n
(id m
n,0
))((x
1
x
m
) (x
m+1
x
m+n
) a).
CAP

ITULO 2. EL

ALGEBRA TENSORIAL. 16
Si m = 0 y n, p 1, es analogo al caso anterior, utilizando la denicion de
l
.
Si m 1, n = 0 y p 1, tenemos:
(m
m+p
(m
m,0
id))(x
1
x
m
ay
1
y
p
) = x
1
x
m1
(x
m

r
a)y
1
y
p
y
(m
m+p
(idm
0,p
))(x
1
x
m
ay
1
y
p
) = x
1
x
m
(a
l
y
1
)y
2
y
p
Estos dos resultados son iguales debido a la denicion de M
n
.
Si m, n, p 1 entonces:
(m
m+n,p
(m
m,n
id))((x
1
x
m
) (y
1
y
n
) (z
1
z
p
)) =
= x
1
x
m
y
1
y
n
z
1
z
p
=
= (m
m,n+p
(id m
n,p
))((x
1
x
m
) (y
1
y
n
) (z
1
z
p
)).
Veamos que u y m hacen conmutar el siguiente diagrama:
A
A
T
A
(M)
uid

S
S
S
S
S
S
S
S
S
S
S
S
S
S
T
A
(M)
A
T
A
(M)
m

T
A
(M)
Por la propiedad universal de la suma directa es suciente probar que el siguiente diagrama
conmuta m, n 0:
A
A
M
n
uid

N
N
N
N
N
N
N
N
N
N
N
N
A
A
M
n
m
0,n

M
n
donde el isomorsmo entre A
A
M
n
y M
n
es el que esta denido en la Observacion (2.1.8).
Calculamos
(m
0,n
(u id))(a x
1
x
n
) = (a x
1
) x
2
x
n
a x
1
x
2
x
n
.
Por lo tanto el diagrama conmuta.
Analogamente probamos que u y m hacen conmutar el diagrama:
T
A
(M)
A
T
A
(M)
m

T
A
(M)
A
A
idu

.l
l
l
l
l
l
l
l
l
l
l
l
l
l
T
A
(M)
En conclusion (T
A
(M), m, u) es un algebra en
A
/
A
.
CAP

ITULO 2. EL

ALGEBRA TENSORIAL. 17
Denicion 2.3.5. Llamamos algebra tensorial de M sobre A a T
A
(M) con la estructura de
algebra en
A
/
A
denida en el teorema anterior.
Observacion 2.3.6. Notar que el algebra tensorial es un algebra graduada.
2.4. Propiedad universal del algebra tensorial
Teorema 2.4.1. Sean M
A
/
A
, B un algebra en
A
/
A
y : M B un morsmo en
A
/
A
.
Entonces existe un unico : T
A
(M) B morsmo de algebras en
A
/
A
tal que el siguiente
diagrama conmuta:
M

inc

B
T
A
(M)

x
x
x
x
x
x
x
x
x
(2.5)
Demostraci on: Para cada j = 0, 1, denimos
j
: M
j
B de la siguiente manera:
Si j = 0,
0
(a) = a 1
B
. Observese que como B es un algebra en
A
/
A
, entonces
0
(a) =
1
B
a.
Si j = 1,
1
= .
Si j 2. Generalizando la Proposicion 2.1.6 para una cantidad j de morsmos en
A
/
A
y aplicandola a , obtenemos que existe un unico mapa lineal

j
A
:=
A

A

. .
j veces
tal
que:
m
1

A

A
m
j
(m
1
)
A

A
(m
j
).
A su vez, a partir de la multiplicacion m
B
: B
A
B B, tenemos mapas lineales m
1
= m
B
y m
n
= m
B
n1
(m
B
id
n1
), n 2, donde id
n1
= id
B

A

A
id
B
. .
n1 veces
.
Luego componiendo estos mapas tiene sentido denir
j
:= m
j1

j
A
, j 2; es decir:

j
(m
1
m
j
) = (m
1
) (m
j
).
Es claro que
j
es un morsmo en
A
/
A
, j 0. Entonces por la propiedad universal de la
suma directa tenemos que existe un unico :

n0
M
n
B morsmo en
A
/
A
, que extiende
a cada
j
. Es inmediato que hace conmutar el diagrama (2.5).
A continuacion mostraremos que es un morsmo de algebras.
CAP

ITULO 2. EL

ALGEBRA TENSORIAL. 18
Veamos que hace conmutar el siguiente diagrama:
T
A
(M)
A
T
A
(M)

B
A
B
m
B

T
A
(M)

B
donde m y m
B
son los productos en T
A
(M) y B como algebras en
A
/
A
. Utilizando
nuevamente la propiedad universal de la suma directa es suciente probar que el siguiente
diagrama conmuta n, p 0:
M
n

A
M
p

n

p

m
n,p

B
A
B
m
B

M
n+p

n+p

B
La conmutatividad de este diagrama se deduce de lo siguiente:
Si n = p = 0, tenemos (m
B
(
0

0
))(aa

) = m
B
((1
B
a)(a

1
B
)). Como estamos
trabajando en B
A
B se verica que (1
B
a)(a

1
B
) = (1
B
a(a

1
B
)) = 1
B
((aa

)
1
B
)) y por lo tanto (m
B
(
0

0
))(aa

) = m
B
(1
B
((aa

) 1
B
)) = 1
B
((aa

) 1
B
) =
(aa

) 1
B
= (
0
m
0,0
)(a a

), a, a

A. Es decir m
B
(
0

0
) =
0
m
0,0
.
Si n = 0 y p = 1, tenemos: (
0
)(a m) = (1
B
a) (m). Como estamos
trabajando en B
A
B se verica que (1
B
a) (m) = 1
B
(a (m)) y por lo tanto
(m
B
(
0
))(a m) = 1
B
(a (m)) = a (m). Como es un morsmo en
A
/
A
entonces a(m) = (am) = (m
0,1
(am)) y en conclusion m
B
(
0
) = m
0,1
.
Si n = 1 y p = 0, tenemos: (
0
)(m a) = (m) (a 1
B
). Como estamos
trabajando en B
A
B se verica que (m) (a 1
B
) = ((m) a) 1
B
y por lo tanto
(m
B
(
0
))(ma) = ((m) a)1
B
= (m) a. Como es un morsmo en
A
/
A
entonces (m) a = (m a) y en conclusion m
B
(
0
) = m
1,0
.
Si n, p 1, tenemos
(m
B
(
n

p
))((m
1
m
n
) (m

1
m

p
)) =
= m
B
((m
1
) (m
n
)) ((m
1

) (m
p

)) =
= (m
1
) (m
n
)(m

1
) (m

p
)
y
(
n+p
m
n,p
)((m
1
m
n
) (m

1
m

p
)) =
=
n+p
(m
1
m
n
m
1

m
p

) =
= (m
1
) (m
n
)(m

1
) (m

p
).
CAP

ITULO 2. EL

ALGEBRA TENSORIAL. 19
Veamos que hace conmutar el siguiente diagrama:
A
u

F
F
F
F
F
F
F
F
F
F
T
A
(M)

B
donde u y u

son los mapas unidad de T

A
(M) y de B como algebras en
A
/
A
, respectiva-
mente. Como indica la Proposicion 2.2.2, u

esta denido de forma tal que u

(a) = a 1
B
=
1
B
a, a A.
Luego
( u)(a) = (a) =
0
(a) = a 1
B
= u

(a), a A.
Para nalizar la prueba, veamos la unicidad de .
Si existe

: T
A
(M) B un morsmo de algebras en
A
/
A
que hace conmutar el diagrama
(2.5), entonces:
por denicion de morsmo de algebras en
A
/
A
tenemos

(1
T
A
(M)
) = 1
B
. Como 1
T
A
(M)
=
1
A
se verica que

(a) =

(a1
A
) = a

(1
A
) = a 1
B
, a A.
como

hace conmutar el diagrama (2.5) se verica que

(m) = (m), m M.
por denicion de morsmo de algebras en
A
/
A
tenemos

(m
1
m
n
) =

(m
1
)

(m
n
) =
(m
1
) (m
n
), donde m
i
M i = 1, , n.
Luego

coincide con el mapa denido anteriormente.
Observacion 2.4.2. Dado : A B un morsmo de algebras, podemos dar estructura de
A-bimodulo a B via deniendo acciones a derecha e izquierda de la siguiente manera
a b a

= (a) b (a

), a, a

A, b B.
Con estas acciones, la multiplicacion de B verica las condiciones del punto 2 de la Proposicion
2.2.2 y por lo tanto existen mapas lineales m : B
A
B B y u : A B tales que (B, m, u) es
un algebra en
A
/
A
. Explcitamente:
m(b
A
b

) = bb

, b, b

B y
u(a) = a 1
B
= (a), a A.
CAP

ITULO 2. EL

ALGEBRA TENSORIAL. 20
Corolario 2.4.3. Sea M
A
/
A
. Sean B un algebra,
0
: A B un morsmo de algebras y

1
: M B un mapa lineal que verica

1
(a m a

) =
0
(a)
1
(m)
0
(a

), m M, a, a

A. (2.6)
Entonces existe un unico : T
A
(M) B morsmo de algebras en
A
/
A
tal que el siguiente
diagrama conmuta:
M

G
G
G
G
G
G
G
G
G
inc

T
A
(M)

B.
A
inc

w
w
w
w
w
w
w
w
w
w
Demostraci on: Observar que la condicicion (2.6) equivale a que
1
: M B sea un
morsmo de A-bimodulos con B
A
/
A
via
0
.
Aplicando la propiedad universal de T
A
(M) obtenemos que existe un unico : T
A
(M) B
morsmo de algebras en
A
/
A
tal que el siguiente diagrama conmuta
M

inc

B
T
A
(M)

x
x
x
x
x
x
x
x
x
.
Finalmente observar que la condicion (1
T
A
(M)
) = 1
B
(ver observacion 2.2.5) equivale a la
conmutatividad del siguiente diagrama:
A

inc

B
T
A
(M)

x
x
x
x
x
x
x
x
x
.
Captulo 3
La coalgebra cotensorial
El lector que no este familiarizado con los conceptos basicos de coalgebras y comodulos puede
encontrarlos en [1] y [2].
3.1. Bicomodulos sobre una coalgebra
A partir de esta seccion C denota una coalgebra sobre k.
Denicion 3.1.1. Decimos que (M,
l
,
r
) es un C-bicomodulo si (M,
l
) es un C-comodulo a
izquierda, (M,
r
) es un C-comodulo a derecha y las coacciones
l
y
r
son compatibles, en el
sentido
(id
C

r
)
l
(m) = (
l
id
C
)
r
(m), m M.
Escribiremos M
C
/
C
para decir que M es un C-bicomodulo.
Observacion 3.1.2. Con la notacion de Sweedler, si

r
(m) =

(m)
m
0
m
1
y
l
(n) =

(n)
n
1
n
0
,
la condicion de compatibilidad queda:

m
1
m
0
m
1
:=

(m),(m
0
)
m
1
(m
0
)
0
(m
0
)
1
=

(m),(m
0
)
(m
0
)
1
(m
0
)
0
m
1
Ejemplo 3.1.3. C es un C-bicomodulo con el coproducto como coaccion.
21
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 22
Observacion 3.1.4. Notar que si M es un espacio vectorial que tiene estructura de comodulo a
izquierda y de comodulo a derecha, entonces M es un bicomodulo si y solo si la coaccion por la
izquierda
l
: M C M es un morsmo de comodulos a derecha, si y solo si la coaccion por
la derecha
r
: M M C es un morsmo de comodulos a izquierda.
En lo anterior consideramos C M como comodulo a derecha mediante id
C

r
y M C como
comodulo a izquierda mediante
l
id
C
.
Proposicion 3.1.5. Si M
i

C
/
C
, i I, entonces

iI
M
i

C
/
C
.
Demostraci on: Llamemos
i
l
y
i
r
a las coacciones a izquierda y derecha en M
i
. Sea x

iI
M
i
entonces x =

iI
x
i
, donde solo una cantidad nita de los x
i
son no nulos.
Denimos
l
:

iI
M
i
C (

iI
M
i
) por

l
(x) =

iI

i
l
(x
i
) =

(x
i
)
1
(x
i
)
0
y
r
:

iI
M
i
(

iI
M
i
) C por

r
(x) =

iI

i
r
(x
i
) =

(x
i
)
0
(x
i
)
1
.
Con estas deniciones

iI
M
i
resulta un comodulo a izquierda y a derecha.
Para ver que

iI
M
i
es un bicomodulo solo falta ver que
l
y
r
son compatibles:
((id
C

r
)
l
)(x) =

(x
i
)
1

i
r
((x
i
)
0
) =

(x
i
)
1
((x
i
)
0
)
0
((x
i
)
0
)
1
=
=

((x
i
)
0
)
1
((x
i
)
0
)
0
(x
i
)
1
=

i
l
((x
i
)
0
) (x
i
)
1
= ((
l
id
C
)
r
)(x).
Observacion 3.1.6. Notar que en la construccion anterior la inclusion
j
: M
j

iI
M
i
es un
morsmo en
C
/
C
, j J, luego esto prueba que
C
/
C
tiene coproductos.
Denicion 3.1.7. Si M /
C
y N
C
/, denimos el producto cotensorial de M y N como
M
C
N = ker(
M
r
id
N
id
M

N
l
).
A veces escribiremos

l
i=1
m
i
n
i
para decir

l
i=1
m
i
n
i
M
C
N.
Observacion 3.1.8. Notar que con la notacion de Sweedler tenemos:
l

i=1
m
i
n
i
M
C
N
l

i=1

(m
i
)
(m
i
)
0
(m
i
)
1
n =
l

i=1

(n
i
)
m(n
i
)
1
(n
i
)
0
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 23
La prueba de la siguiente Proposicion es inmediata.
Proposicion 3.1.9. Sean : M M

un morsmo en /
C
y : N N

un morsmo en
C
/,
entonces existe un unico mapa lineal : M
C
N M

C
N

tal que mn (m)(n).

Proposicion 3.1.10. Si M /
C
y N
C
/ entonces
(C M)
C
N C (M
C
N)
como espacios vectoriales, y de la misma forma
M
C
(N C) (M
C
N) C.
Demostraci on: Sabemos que C(MN) (CM) N como espacios vectoriales, donde
(C M) /
C
mediante id
M
. Sea : C (M N) (C M) N tal isomorsmo.
Tenemos que C(M
C
N) C(MN), luego queremos ver (C(M
C
N)) = (CM)
C
N.
Sea

l
i=1
c (m
i
n
i
) C (M
C
N) entonces (

l
i=1
c (m
i
n
i
)) =

l
i=1
(c m
i
) n
i
.
Como

l
i=1
c (m
i
n
i
) C (M
C
N) tenemos
l

i=1

(m
i
)
c (m
i
)
1
(m
i
)
0
n
i
=
l

i=1

n
i
c m
i
(n
i
)
0
(n
i
)
1
,
es decir que
l

i=1

(m
i
)
(c m
i
)
1
(c m
i
)
0
n
i
=
l

i=1

(n
i
)
c m
i
(n
i
)
0
(n
i
)
1
y por lo tanto,

l
i=1
(c m
i
) n
i
(C M)
C
N.
En conclusion (

l
i=1
c m
i
n
i
) (C M)
C
N. Analogamente se prueba para
1
. Luego
(C M)
C
N C (M
C
N).
Analogamente se prueba que M
C
(N C) (M
C
N) C.
Proposicion 3.1.11. Si M, N
C
/
C
, entonces M
C
N
C
/
C
.
Demostraci on: Tenemos que M N
C
/
C
deniendo como coaccion a derecha

r
: M N M N C por

r
(mn) =

(n)
mn
0
n
1
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 24
y como coaccion a izquierda
l
: M N C M N por

l
(mn) =

(m)
m
1
m
0
n.
Observar que ((id
C

r
)
l
)(mn) = ((
l
id
C
)
r
)(mn) =

(m),(n)
m
1
m
0
n
0
n
1
.
Entonces
r
y
l
son compatibles. Luego, para probar que M
C
N
C
/
C
alcanza con ver que
M
C
N es un subcomodulo a izquierda y a derecha de M N, es decir que
r
(M
C
N)
(M
C
N) C y
l
(M
C
N) C (M
C
N).
Probaremos que
r
(M
C
N) (M
C
N) C y analogamente se prueba que
l
(M
C
N)
C (M
C
N).
Sea x M
C
N, entonces si x =

i
m
i
n
i
tenemos que:

(m
i
)
(m
i
)
0
(m
i
)
1
n
i
=

(n
i
)
m
i
(n
i
)
1
(n
i
)
0
(3.1)
Llamemos y =
r
(x) = (id
M

N
r
)(x), luego y M N C e y =

(n
i
)
m
i
(n
i
)
0
(n
i
)
1
.
Aplicando a ambos lados de la ecuacion (3.1) el mapa id
M
id
C

N
r
obtenemos:

(m
i
)

(n
i
)
(m
i
)
0
(m
i
)
1
(n
i
)
0
(n
i
)
1
=

(n
i
)

((n
i
)
0
)
m
i
(n
i
)
1
(n
i
)
0
(n
i
)
1
,
es decir:
(
M
r
id
N
id
C
)(y) = (id
M

N
l
id
C
)(y). (3.2)
Como y MNC, podemos escribir y =

n
h=1
p
h
e
h
donde p
h
MN, h = 1, , n
y e
1
, , e
n
C es linealmente independiente. Entonces, por (3.2):
n

h=1
(
M
r
id
N
)(p
h
) e
h
=
n

h=1
(id
M

N
l
)(p
h
) e
h
.
Luego como e
1
, . . . , e
n
es linealmente independiente, tenemos que (
M
r
id
N
)(p
h
) = (id
M

N
l
)(p
h
), h y por lo tanto p
h
M
C
N, h = 1, , n. Entonces y (M
C
N) C.
Denicion 3.1.12. Si M
i

C
/
C
, i = 1, , n, denimos:
M
1

C

C
M
n
=
n1

i=1
V
i
M
1
M
n
donde
V
i
= ker(id
M
1
id
M
i1

i
r
id
M
n
id
M
1
id
M
i

i+1
l
id
M
n
), i = 1, , n1.
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 25
Observacion 3.1.13. En forma analoga a la Proposicion 3.1.10, se prueba que si M
i

C
/
C
, i =
1, , n entonces M
1

C

C
M
n

C
/
C
.
Observacion 3.1.14. Dados M, N, P
C
/
C
los isomorsmos naturales
M N P (M N) P M (N P)
inducen isomorsmos
M
C
N
C
P (M
C
N)
C
P M
C
(N
C
P)
como C-bicomodulos. Lo mismo puede extenderse para n tensorandos.
Denicion 3.1.15. Sean M, N
C
/
C
. Decimos que f : M N es un morsmo de C-
bicomodulos si f es un morsmo de comodulos a izquierda y a derecha, es decir si verica:

(f(m))
1
(f(m))
0
=

m
1
f(m
0
) y

(f(m))
0
(f(m))
1
=

f(m
0
) m
1
.
Observar que estas dos condiciones son equivalentes a

m
1
f(m
0
) m
1
=

(f(m))
1
(f(m))
0
(f(m))
1
, m M.
Escribiremos f es un morsmo en
C
/
C
para decir que f es un morsmo de C-bicomodulos.
A continuacion veremos la propiedad universal de la suma directa en el contexto de C-
bicomodulos y morsmos de C-bicomodulos.
Proposicion 3.1.16. Sean N
C
/
C
, M
i

C
/
C
, i I y
i
: M
i
N morsmos en
C
/
C
, i I. Entonces existe un unico morsmo en
C
/
C
tal que el siguiente diagrama
conmuta:

iI
M
i

N
M
j
inc

w
w
w
w
w
w
w
w
w
w
.
Demostraci on: Por la propiedad universal de la suma directa en espacios vectoriales :

iI
M
i
N necesariamente esta denido por (

iI
m
i
) =

iI

i
(m
i
).
El mapa es un morsmo en
C
/
C
pues cada
i
lo es. Ademas [
M
j
=
j
y por lo tanto es
el unico morsmo que hace conmutar el diagrama.
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 26
Proposicion 3.1.17. Si M
C
/
C
entonces M
C
C M y C
C
M M como C-bicomodu-
los.
Demostraci on: Tenemos que M
C
C = x M C / (
r
id
C
)(x) = (id
M
)(x).
Entonces, si

l
i=1
m
i
c
i
M
C
C se verica que
l

i=1

(m
i
)
(m
i
)
0
(m
i
)
1
c
i
=
l

i=1
m
i

(c
i
)
(c
i
)
1
(c
i
)
2
.
Aplicando id
M
id
C
a ambos lados de la ecuacion vemos que
l

i=1

(m
i
)
(m
i
)
0
(m
i
)
1
(c
i
) =
l

i=1
m
i

(c
i
)
(c
i
)
1
((c
i
)
2
),
lo cual implica que

l
i=1
(c
i
)
r
(m
i
) =

l
i=1
m
i
c
i
.
Por otra parte, como
r
es coaccion a derecha en M tenemos que
(
r
id
C
)
r
(m) = (id
M
)
r
(m), m M; esto implica que
r
(m) M
C
C, m M y
por lo tanto Im(
r
) M
C
C.
Luego, podemos denir mapas lineales : M M
C
C por (m) =
r
(m) m M y
: M C M por (mc) = (c)m m M, c C. Abusando de la notacion llamaremos
tambien al mapa anterior restringido a M
C
C.
Queremos ver que y son inverso uno del otro:
((m)) = (
r
(m)) = (

(m)
m
0
m
1
) =

(m)
(m
1
)m
0
= m, m M

l
i=1
m
i
c
i
__
=

l
i=1
((c
i
)m
i
) =

l
i=1
(c
i
)(m
i
) =

l
i=1
(c
i
)
r
(m
i
) =
=

l
i=1
m
i
c
i
, mc M
C
C.
Es inmediato probar que M
C
/
C
implica que es un morsmo en
C
/
C
, luego M y
M
C
C son isomorfos como C-bicomodulos.
Analogamente se prueba que C
C
M C.
Observacion 3.1.18. Notar que de la prueba anterior se deduce que Im(
r
) = M
C
C e
Im(
l
) = C
C
M. En particular Im(
C
) = C
C
C.
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 27
3.2. Coalgebras en
C
/
C
Denicion 3.2.1. Una terna (D, , ) es una co algebra en
C
/
C
si:
1. D
C
/
C
y
2. : D D
C
D, : D C son morsmos en
C
/
C
tales que los siguientes diagramas
conmutan:
D

D
C
D
id
D

D
C
D
id
D

D
C
D
C
D
, (3.3)
y
D
C
C D

C
C
D
D
C
D
id
D

_M
M
M
M
M
M
M
M
M
M id
D

q
q
q
q
q
q
q
q
q
q
(3.4)
Proposicion 3.2.2. Sea D un C-bicom odulo. Las siguientes condiciones son equivalentes:
1. Existen mapas lineales : D D
C
D y : D C tales que (D, , ) es una coalgebra
en
C
/
C
.
2. Existen mapas lineales
D
: D D D y
D
: D k tales que (D,
D
,
D
) es una
coalgebra y se verican las siguientes condiciones:
a) (
r
id
D
)
D
= (id
D

l
)
D
,
b) los siguientes diagramas conmutan:
D

D D

l
id
D

C D
id
C

C D D
,
D

D D
id
D
r

D C

D
id
C

D D C
,
c) el siguiente diagrama conmuta:
D C

D
id
C

C D
id
C

k C

C C k

.
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 28
Demostraci on: Notar que (D,
D
,
D
) es un coalgebra si y solo si los siguientes diagramas
conmutan:
D

D D

D
id

D D
id
D

D D D
(3.5)
y
k D D

D k
D D

D
id
_K
K
K
K
K
K
K
K
K id
D

s
s
s
s
s
s
s
s
s
. (3.6)
Observar que la condicion 2.a) equivale a Im(
D
) D
C
D. Sea : D
C
D D D la
inclusion.
Dado un mapa lineal
D
: D D D que verica 2.a), es decir Im(
D
) D
C
D,
luego podemos escribir
D
= siendo : D D
C
D un mapa lineal.
Recprocamente, dado : D D
C
D lineal, si denimos
D
= , entonces
D
es
lineal y verica 2.a).
Sean entonces : D D
C
D y
D
: D D D relacionados por
D
= . La
condicion de que sea un morsmo de C-bicomodulos equivale a que
D
verique 2.b).
Ademas es claro que (3.3) conmuta si y solo si (3.5) conmuta.
Dado : D C, denimos
D
=
C
, donde
C
es el mapa counidad de C como
coalgebra.
Si es un morsmo en
C
/
C
tenemos que:
((id
c

D
)
l
)(d) =

d
1

D
(d
0
) =

d
1

C
((d
0
))

=
=

((d))
1

C
(((d)
2
)) (d)

C
(((d)
1
)) ((d))
2
=

C
((d
0
)) d
1
=

D
(d
0
) d
1
= ((
D
id
C
)
r
)(d), d D,
luego
D
verica 2.c). ( y provienen de la conmutatividad del diagrama (3.4)).
Recprocamente, dado
D
: D k que verica 2.c) podemos denir : D C por
= (
D
id
C
)
r
= (id
C

D
)
l
, es decir
(d) :=

D
(d
0
)d
1
=

d
1

D
(d
0
), d D.
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 29
Es inmediato probar que denido de esta manera es un morsmo en
C
/
C
. Ademas
(
C
)(d) =

C
(
D
(d
0
)d
1
) =

D
(d
0
)
C
(d
1
) =
D
(

d
0

C
(d
1
)) =
D
(d), d D,
es decir
D
=
C
.
Sean entonces : D C y
D
: D k relacionados por
D
=
C
, con morsmo
en
C
/
C
. Observar que (3.4) equivale a

C
((d
1
)) d
2
= d =

d
1

C
((d
2
)) y que (3.6)
equivale a

D
(d
1
) d
2
= d =

d
1

D
(d
2
). Entonces verica (3.4) si y solo si
D
verica
(3.6).
Observacion 3.2.3. Notar que el mapa lineal : D C denido en la Proposicion anterior es
un morsmo de coalgebras.
Veamos que verica
C
= ( ) , d D entonces

C
((d)) =

(d)
1
(d)
2

(d
0
) d
1
= ( id)(
r
(d))

=
= ( id)((id )
D
)(d) = ( )(
D
)(d).
(La condicion se verica pues M
C
/
C
y pues hace conmutar el diagrama (3.4)).
Denicion 3.2.4. Sean (D
1
,
1
,
1
) y (D
2
,
2
,
2
) coalgebras en
C
/
C
. Decimos que : D
1

D
2
es un morsmo de coalgebras en
C
/
C
si es un morsmo en
C
/
C
que hace conmutar los
siguientes diagramas:
D
1

D
2

D
1

C
D
1

D
2

C
D
2
,
D
1

D
2

2
{
{
{
{
{
{
{
{
C
. (3.7)
Proposicion 3.2.5. Sean (D
1
,
1
,
1
) , (D
2
,
2
,
2
) coalgebras en
C
/
C
y : D
1
D
2
un
morsmo en
C
/
C
. Entonces es un morsmo de co algebras en
C
/
C
si y solo si es un
morsmo de coalgebras.
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 30
Demostraci on: D
1
y D
2
son coalgebras con los mismos coproductos y, utilizando la misma
notacion de la Proposicion 3.2.2, con counidades
D
i
: D
i
k, i = 1, 2 con
D
i
y
i
relacionados
por
D
i
(d) =
C
(
i
(d)), d D
i
. Es decir
i
(d) =

D
i
(d
0
)d
1
.
Lo unico que hay que probar es que la conmutatividad de (3.7) es equivalente a la de
D
1

D
1

D
2

D
2
{
{
{
{
{
{
{
{
k
. (3.8)
Es inmediato probar que la conmutatividad de (3.7) implica la de (3.8).
Luego, si (3.8) conmuta tenemos que

1
(d) =

D
1
(d
0
)d
1
=

D
2
((d
0
))d
1
=

D
2
((d)
0
)(d)
1
=
2
((d)), d D,
y entonces (3.7) conmuta.
3.3. Coalgebra cotensorial
Denicion 3.3.1. Sea M
C
/
C
, denimos
C
C
(M) =

n0
M
n
donde M
0
= C, M
1
= M y M
n
= M
C

C
M
. .
n veces
, n 2.
Observacion 3.3.2. Observar que la Proposicion 3.1.5 implica que C
C
(M)
C
/
C
.
Explcitamente la estructura de C-bicomodulo de C
C
(M) es la siguiente:
1. Si n = 0: M
0
= C y es la estructura de C-bicomodulo de C (dada por el coproducto).
2. Si n = 1: M
1
= M y es la estructura de C-bicomodulo de M.
3. Si n 2: M
n
= M
C

C
M
. .
n veces
donde la coaccion a derecha es id
M
id
M
. .
n1 veces

r
y a
izquierda es
l
id
M
id
M
. .
n1 veces
.
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 31
Observacion 3.3.3. Notar que en C
C
(M) escribimos M
n
para referirnos a M
C

C
M
. .
n veces
mien-
tras que en T
A
(M) lo utilizamos para referirnos a M
A

A
M
. .
n veces
, es decir que utilizamos el
mismo smbolo pero en general los objetos a los que se reeren son distintos.
Observacion 3.3.4. Notar que existe un isomorsmo de C-bicomodulos:
_
_

m0
M
m
_
_

C
_
_

n0
M
n
_
_

m,n0
M
m

C
M
n
obtenido identicando (

m
x
m
) (

n
y
n
)

m,n
x
m
y
n
, x
m
M
m
, y
n
M
n
.
Teorema 3.3.5. Sea M
C
/
C
entonces C
C
(M) admite una estructura de co algebra en
C
/
C
.
Demostraci on: Denimos
n
: M
n

i+j=n
M
i
M
j
, n 0 de la siguiente forma:
para n = 0,
0
=
C
.
para n = 1,
1
=
r
+
l
. Observar que en esta denicion estamos considerando

r
: M
1
= M M C = M
1
M
0

i+j=1
M
i
M
j
y

l
: M
1
= M C M = M
0
M
1

i+j=1
M
i
M
j
.
para n 2,

n
(x
1
x
n
) =
l
(x
1
) x
2
x
n
+
+
n1

i=1
(x
1
x
i
) (x
i+1
x
n
) + x
1
x
n1

r
(x
n
)
es decir:

n
(x
1
x
n
) =

(x
1
)
(1)
(x
1
)
(0)
x
2
x
n
+
+
n1

i=1
(x
1
x
i
) (x
i+1
x
n
) +

x
1
x
n1
(x
n
)
(0)
(x
n
)
(1)
.
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 32
Es claro por la Observacion 3.1.18 que Im(
n
)

i+j=n
(M
i

C
M
j
), n 0.
Veremos a continuacion que
n
: M
n


i+j=n
(M
i

C
M
j
) C
C
(M)
C
C
C
(M) es un
morsmo de C-bicomodulos, n 0.
Para n = 0 y n = 1 es claro debido a las deniciones de
0
y
1
.
Para n 2, probaremos que
n
es un morsmo de C-comodulos a derecha, es decir:
(
n
id
C
) (id
n1

r
) =
_
_

i+j=n
id
M
i

j
r
_
_

n
, (3.9)
donde id
j
= id
M
id
M
. .
j veces
, j 1 y
j
r
=
_
_
_

C
si j = 0

r
si j = 1
id
j1

r
si j 2
.
Calculamos el lado izquierdo de (3.9) para x = x
1
x
n
M
n
,
((
n
id
C
) (id
n1

r
))(x) =

(x
1
)
(1)

_
(x
1
)
(0)
x
2
(x
n
)
(0)
_
(x
n
)
(1)
+
+
n1

i=1
(x
1
x
i
) (x
i+1
(x
n
)
(0)
) (x
n
)
(1)
+
+

_
x
1
((x
n
)
(0)
)
(0)
_
((x
n
)
(0)
)
(1)
(x
n
)
(1)
(3.10)
y el lado derecho de la misma,
_
_
_
_

i+j=n
(id
M
i

j
r
)
_
_

n
_
_
(x) =

(x
1
)
(1)

_
(x
1
)
(0)
x
2
(x
n
)
(0)
_
(x
n
)
(1)
+
+
n1

i=1
(x
1
x
i
) (x
i+1
(x
n
)
(0)
) (x
n
)
(1)
+
+

_
x
1
((x
n
)
(0)
)
_
((x
n
)
(1)
)
(1)
((x
n
)
(1)
)
(2)
.
(3.11)
Como M
n
/
C
entonces (3.10) es igual a (3.11) y por lo tanto se verica la ecuacion (3.9).
Analogamente se prueba que
n
es un morsmo de C-comodulos a la izquierda, luego

n
: M
n
C
C
(M)
C
C
C
(M) es un morsmo de C-bicomodulos, n 0. La propiedad
universal de la suma directa (Prop. 3.1.15) implica que existe un unico morsmo en
C
/
C
tal
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 33
que el siguiente diagrama conmuta:

n0
M
n

C
C
(M)
C
C
C
(M)
M
n
inc

l
l
l
l
l
l
l
l
l
l
l
l
l
l
l
, n 0.
Denimos : C
C
(M) C como la proyeccion =
0
: C
C
(M) =

n=0
M
n
M
0
= C.
Claramente es un morsmo en
C
/
C
. Observar que =

n0

n
, siendo
n
: M
n
C, n 0,

0
= id
C
y
n
= 0, n 1.
A continuacion mostraremos que y asi denidos hacen conmutar los diagramas de la
denicion 3.2.1.
Veamos que hace conmutar el siguiente diagrama:
C
C
(M)

C
C
(M)
C
C
C
(M)
id

C
C
(M)
C
C
C
(M)
id

C
C
(M)
C
C
C
(M)
C
C
C
(M)
.
Para ver esto es suciente con probar que
n
verica
_
_

i+j=n

i
id
M
j
_
_

n
=
_
_

i+j=n
id
M
i

j
_
_

n
, n 0. (3.12)
Observar que (3.12) se verica debido a lo siguiente:
Si n = 0, la ecuacion resulta ser la que corresponde a la propiedad coasociativa en la
coalgebra C.
Si n = 1, la ecuacion resulta ser la que corresponde a las condiciones de que M
C
/
C
.
Si n 2, sea x =

x
1
x
n
M
n
, entonces:
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 34
A) calculamos el lado izquierdo de (3.12) en x:
_
_
_
_

i+j=n

i
id
M
j
_
_

n
_
_
(x) = (3.13)
=

(x
1
)
(2)
(x
1
)
(1)
((x
1
)
(0)
x
2
x
n
) + (3.14)
+

(x
1
)
(0)
(x
1
)
(1)
(x
2
x
n
) + (3.15)
+

(x
1
)
(1)
(x
1
)
(0)
(x
2
x
n
) + (3.16)
+
n1

i=2
(x
1
)
(1)
((x
1
)
(0)
x
2
x
i
) (x
i+1
x
n
) + (3.17)
+
n1

i=2
i1

a=1
(x
1
x
a
) (x
a+1
x
i
) (x
i+1
x
n
) + (3.18)
+
n1

i=2
(x
1
(x
i
)
(0)
) (x
i
)
(1)
(x
i+1
x
n
) + (3.19)
+

(x
1
)
(1)
((x
1
)
(0)
x
2
(x
n
)
(0)
) (x
n
)
(1)
+ (3.20)
+
n1

a=1
(x
1
x
a
) (x
a+1
(x
n
)
(0)
) (x
n
)
(1)
+ (3.21)
+

(x
1
(x
n
)
(0)
) (x
n
)
(1)
(x
n
)
(2)
(3.22)
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 35
B) calculamos el lado derecho de (3.12) en x:
_
_
_
_

i+j=n
id
M
i

j
_
_

n
_
_
(x) = (3.23)
=

(x
1
)
(2)
(x
1
)
(1)
((x
1
)
(0)
x
n
) + (3.24)
+
n1

a=2
(x
1
)
(1)
((x
1
)
(0)
x
2
x
a
) (x
a+1
x
n
) + (3.25)
+

(x
1
)
(1)
((x
1
)
(0)
(x
n
)
(0)
) (x
n
)
(1)
+ (3.26)
+
n2

i=1
(x
1
x
i
) (x
i+1
)
(1)
((x
i+1
)
(0)
x
n
) + (3.27)
+
n2

i=1
(x
1
x
i
) (x
i+1
(x
n
)
(0)
) (x
n
)
(1)
+ (3.28)
+
n2

i=1
n1

a=i+1
(x
1
x
i
) (x
i+1
x
a
) (x
a+1
x
n
) + (3.29)
+

(x
1
x
n1
) (x
n
)
(0)
(x
n
)
(1)
+ (3.30)
+

(x
1
x
n1
) (x
n
)
(1)
(x
n
)
(0)
+ (3.31)
+

(x
1
x
n1
(x
n
)
(0)
) (x
n
)
(1)
(x
n
)
(2)
(3.32)
C) veamos que ambos lados son iguales:
Los terminos (3.14) y (3.22) son iguales a los terminos (3.24) y (3.32) respectivamente.
El termino (3.15) corresponde, por denicion de M
n
, con el termino de (3.27) de
ndice i = 1.
El termino (3.16) es igual al termino (3.25) de ndice a = 1.
El termino (3.17) es igual al termino (3.25) de ndice a = 2.
El termino (3.18) es igual al termino (3.29).
El termino (3.19) con ndice i = n 1 corresponde, por denicion de M
n
, con el
termino (3.31).
Los terminos de (3.19) con ndices i = 2, , n 2 corresponden, por denicion de
M
n
, a los terminos de (3.27) con ndices i = 2, , n 2.
El termino (3.20) es igual al termino (3.26).
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 36
El termino (3.21) con ndice a = n 1 es igual al termino (3.30).
El termino (3.21) con ndices a > 0 y b > 1 es igual al termino (3.28).
Veamos que y hacen conmutar el siguiente diagrama:
C
C
(M)

Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
C
C
(M)
C
C
C
(M)
id
C
C
(M)

C
C
(M)
C
C
(3.33)
La conmutatividad de (3.33) equivale a la de:
M
n
n

P
P
P
P
P
P
P
P
P
P
P
P
P
P

i+j=n
(M
i

C
M
j
)

i+j=n
(id
M
i

j
)

M
n

C
C
, n 0.
Si n 2, la Proposicion 3.1.10 implica
_
_
_
_

i+j=n
id
M
i

j
_
_

n
_
_
(x
1
x
n
) =

x
1
x
n1
(x
n
)
(0)
(x
n
)
(1)
x
1
x
n
.
Los casos n = 0, 1 son inmediatos.
Analogamente se prueba que y hacen conmutar el siguiente diagrama:
C
C
(M)
C
C
C
(M)
id
C
C
(M)

C
C
(M)

m
m
m
m
m
m
m
m
m
m
m
m
C
C
C
C
(M)
En conclusion (C
C
(M), , ) es una coalgebra en
C
/
C
.
Denicion 3.3.6. Llamamos coalgebra cotensorial de M sobre C a C
C
(M) con la estructura
de coalgebra en
C
/
C
denida en el teorema anterior.
Observacion 3.3.7. Notar que la coalgebra cotensorial es una coalgebra graduada.
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 37
Observacion 3.3.8. Notar que en la denicion de
n
para n 2, si escribimos

n
(x
1
x
n
) =
l
(x
1
) x
2
x
n
+
+
n1

i=1
(x
1
x
i
) (x
i+1
x
n
) + x
1
x
n1

r
(x
n
),
entonces x
1
x
i
x
i+1
x
n
= x
1
x
n
= x
1
x
n
en M

n
, i = 1, , n1.
3.4. Propiedad universal de la coalgebra cotensorial
Teorema 3.4.1. Sean M
C
/
C
, D coalgebra en
C
/
C
y : D M morsmo en
C
/
C
tal que (corad(D)) = 0. Entonces existe un unico : D C
C
(M) morsmo de coalgebras en
C
/
C
tal que el siguiente diagrama conmuta:
D

C
C
(M)

1
.v
v
v
v
v
v
v
v
v
M
(3.34)
Demostraci on: En esta demostracion utilizaremos la siguiente notacion: D

n
= D
C

C
D
. .
n veces
y f
n
= f f
. .
n veces
, n 1.
Para cada n = 0, 1, denimos
n
: D M
n
de la siguiente manera:
Si n = 0,
0
= , donde es el mapa counidad de D como coalgebra en
C
/
C
.
Si n = 1,
1
= .
Si n 2,
n
=
n

n1
D
, donde
D
es el mapa comultiplicacion de D como coalgebra
en
C
/
C
y
n1
D
=
_

D
, si n = 2,
(
D
id
D

n2
)
n2
D
, si n 3.
Como D
C
/
C
tenemos que
D
(D) D
C
D y por lo tanto
n
(D) D

n+1
, n 1.
Como es un morsmo en
C
/
C
entonces
n
(D
n
) M
n
, lo que implica que
n
(D)
M
n
, n 0. Claramente
n
es un morsmo en
C
/
C
, n 0.
Veamos que tiene sentido denir : D C
C
(M) por =

n0

n
.
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 38
Tenemos D =

n0
D
n
, donde D
n

n0
es la ltracion corradical de D, observar que
entonces D
0
= corad(D).
Luego

D
(D
n
)

i+j=n
D
i
D
j
entonces

2
D
(D
n
)

i+j=n

D
(D
i
) D
j
=

i+j+k=n
D
i
D
j
D
k
y por induccion obtenemos

m
D
(D
n
)

i
0
++i
m
=n
D
i
0
D
i
m
, m, n 0.
Si m n, como i
j
0, j 0 e i
0
+ +i
m
= n entonces existe j 0, , m tal que i
j
=
0 y por lo tanto D
i
j
= D
0
, el corradical de D. Luego
m+1
(D
n
) = (

m+1

m
D
) (D
n
) = 0,
pues (D
0
) = (corad(D)) = 0.
Ahora, si d D entonces existe n 0 tal que d D
n
. Luego
m+1
(d) = 0, m n y por
lo tanto esta bien denido.
Como
n
es un morsmo en
C
/
C
, n 0 tenemos que es un morsmo en
C
/
C
y
claramente, hace conmutar el diagrama (3.34).
A continuacion mostraremos que es un morsmo de coalgebras.
La conmutatividad del siguiente diagrama es inmediata:
D

C
C
(M)

0
.w
w
w
w
w
w
w
w
w
C
donde
0
: C
C
(M) C es el mapa counidad de C
C
(M) como coalgebra en
C
/
C
Veamos ahora que verica
(( )
D
)(d) = ( )(d), d D (3.35)
donde es el mapa comultiplicacion de C
C
(M) como coalgebra en
C
/
C
.
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 39
(A) Calculamos el lado izquierdo de la ecuacion (3.35):
(( )
D
) (d) =

(d
(1)
) (d
(2)
) =
= ( )(
D
(d)) + (3.36)
+
+

m=1

(d)

_
d
(1)
_

m

m1
D
_ _
d
(2)
_
+ (3.37)
+
+

n=1

(d)
_

n

n1
D
_ _
d
(1)
_

_
d
(2)
_
+ (3.38)
+
+

n,m=1

(d)
_

n

n1
D
_ _
d
(1)
_

m

m1
D
_ _
d
(2)
_
(3.39)
Observese que (3.36) C C, (3.37)

m1
C M
m
, (3.38)

n1
M
n
C y
(3.39)

n,m1
M
n
M
m
.
(B) Calculamos el lado derecho de la ecuacion (3.35):
( )(d) =
_
(d) +

n=1
(
n

n1
D
)(d)
_
=
=
C
((d))+ (3.40)
+
r
((d)) + (3.41)
+
l
((d)) + (3.42)
+
+

n=2

n
_
(
n

n1
D
)(d)
_
(3.43)
Observese que (3.40) C C, (3.41) M C y (3.42) C M.
Observese tambien que para todo n 2

n
_
(
n

n1
D
)(d)
_
CM
n
+MM
n1
+M
2
M
n2
+ +M
n2
M
2
+M
n1
M+M
n
C
y por lo tanto
(3.43)

n2
(CM
n
+MM
n1
+M
2
M
n2
+ +M
n2
M
2
+M
n1
M +M
n
C).
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 40
(C) Veamos que ambos lados de la ecuacion (3.35) son iguales:
Los terminos de (A) y (B) en C C son (3.36) y (3.40) respectivamente, que son iguales
pues es un morsmo de coalgebras como se muestra en la Observacion 3.2.3.
El termino de (A) en C M es (3.37) de ndice m = 1 y el de (B) es (3.42), luego
queremos ver que:

(d
1
) (d
2
) =

((d))
1
((d))
0
. (3.44)
Como (D,
D
,
D
) es una coalgebra y
D
es un morsmo en
C
/ tenemos que ( id
D
)

D
=
D
l
, es decir

(d
1
) d
2
=

d
1
d
0
.
Como es un morsmo en
C
/ tenemos que (id
C
)
D
l
=
M
l
, entonces:

((d))
1
((d))
0
= (id
C
)
_

d
1
d
0
_
= (id
C
)
_

(d
1
) d
2
_
=

(d
1
)(d
2
).
Analogamente, el termino de (A) en M C es (3.38) de ndice n = 1 y el de (B) es
(3.41), que son iguales pues (D,
D
,
D
) es una coalgebra y
D
, son morsmos en /
C
.
Para comparar los siguientes terminos es importante recordar la denicion de
n
: M
n

i+j=n
M
i
M
j
con n 2 pues (3.43) involucra la aplicacion de estos mapas.
Entonces, si n 2:

n
(x
1
x
n
) :=
M
l
(x
1
) x
2
x
n
+
+
n1

i=1
(x
1
x
i
) (x
i+1
x
n
) + x
1
x
n1

M
r
(x
n
).
Por lo tanto
n
_
(
n

n1
D
)(d)
_
tiene un sumando en C M
n
que es
(
M
l
id
M

n1
)
_
(
n

n1
D
)(d)
_
,
(n 1) sumandos en M
i
M
j
con i + j = n e i, j 1 que son los correspondientes al
segundo sumando de la denicion de
n
y por ultimo, un sumando en M
n
C que es
(id
M

n1

M
r
)
_
(
n

n1
D
)(d)
_
.
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 41
Para j 2 los terminos de (A) y (B) en C M
j
son respectivamente
1. (3.37) de ndice m = j, es decir: ((

j
) (id
D

j1
D
)
D
)(d)
2. y el primer sumando de (3.43) correspondiente al ndice n = j, es decir :
(
M
l
id
M

j1
)
_
(

j

j1
D
)(d)
_
.
Explcitamente 1. vale:
((

j
) (id
D

j1
D
)
D
)(d) = ((

j
) (id
D

j1
D
))
_

d
(1)
d
(2)
_
=
=
_
(

j
) (id
D

D
id
D

j2
) (id
D

D
id
D
)
_
_

d
(1)

D
(d
(2)
)
_
=
=
_
(

j
) (id
D

D
id
D

j2
) (id
D

D
id
D
)
_
_

d
(1)
d
(2)
d
(3)
_
=
= =
_
(

j
) (id
D

D
id
D

j2
)
_
_

d
(1)
d
(2)
d
(j)
_
=
= (

j
)
_

d
(1)
d
(2)
d
(j+1)
_
=

(d
(1)
) (d
(2)
) (d
(j+1)
).
Por su parte, 2. vale:
((
M
l
id
M

j1
) (

j

j1
D
))(d) =
=
_
(
M
l
id
M

j1
) (

j
) (
D
id
D

j2
) (
D
id
D
)
D
_
(d) =
=
_
(
M
l
id
M

j1
) (

j
) (
D
id
D

j2
) (
D
id
D
)
_
_

d
(1)
d
(2)
_
=
= =
_
(
M
l
id
M

j1
) (

j
) (
D
id
D

j2
)
_
_

d
(1)
d
(2)
d
(j1)
_
=
= (
M
l
id
M

j1
)
_

(d
(1)
) (d
(2)
) (d
(j)
)
_
=
=

((d
(1)
))
(1)
((d
(1)
))
(0)
(d
(2)
) (d
(j)
)
Observese que a partir de (3.44) se deduce:

((d
(1)
))
(1)
((d
(1)
))
(0)
(d
(2)
) (d
(j)
) =
=

((d
1
)
1
) ((d
1
)
2
) (d
2
) (d
j
) =

(d
(1)
) (d
(2)
) (d
(j+1)
).
Por lo cual los terminos de (A) y (B) en C M
j
son iguales.
Analogamente se prueba que para j 2 los terminos en M
j
C coinciden en (A) y (B).
Estos terminos son
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 42
1. (3.38) de ndice m = j, es decir: (

j
(id
D

j1
D
) )
D
)(d)
2. y el ultimo sumando de (3.43) correspondiente al ndice n = j, es decir:
((

j
) (
j1
D
id
D
)
D
)(d).
Por ultimo, para i, j 1 los terminos de (A) y (B) en M
i
M
j
son (3.39) con ndices
n = i, m = j y los que corresponden al segundo sumando de la denicion de
n
en (3.43)
con ndice n = i + j.
Explictamente en (3.39) tenemos
__
(

i

i1
D
) (

j

j1
D
)
_

D
_
(d) y en (3.43)
_

i+j

i+j1
D
_
(d) que claramente son iguales.
Para nalizar la prueba probaremos la unicidad de .
Sea : D C
C
(M) un morsmo de coalgebras en
C
/
C
que verica
1
= . Para
probar que = alcanza con ver que el siguiente diagrama conmuta:
D

G
G
G
G
G
G
G
G
G
C
C
(M)

M
m
, m 0.
Es decir que si llamamos f
m
=
m
, entonces =

m0
f
m
y la conmutatividad del
diagrama anterior es equivalente a f
m
=
m
, m 0.
Por induccion en m:
Si m = 0, entonces f
0
=
0
equivale a
0
= que se cumple pues es un morsmo
de coalgebras en
C
/
C
.
Si m = 1, entonces f
1
=
1
equivale a
1
= que se cumple por hipotesis.
Sea m 2 y supongamos que f
m
=
m

m1
D
. Queremos probar f
m+1
=

m+1

m
D
.
Para cada d D escribimos
D
(d) =

d
(1)
d
(2)
; como es un morsmo de
coalgebras entonces ( )
D
(d) = ((d)), luego:
1.
((d)) = (

n0
f
n
(d)) =

n0
(f
n
(d)),
con (f
n
(d)) C M
n
+ M M
n1
+ + M
n1
M + M
n
C.
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 43
2.
(( )
D
) (d) =

(d)
(d
(1)
) (d
(2)
) =

n,m0

(d)
f
n
(d
(1)
) f
m
(d
(2)
) =
=

n0

i+j=n

(d)
f
i
(d
(1)
) f
j
(d
(2)
),
con

i+j=n

(d)
f
i
(d
(1)
) f
j
(d
(2)
) C M
n
+M M
n1
+ +M
n1
M +
M
n
C.
Luego

n0
(f
n
(d)) =

n0

i+j=n

(d)
f
i
(d
(1)
) f
j
(d
(2)
),
y por lo tanto: (f
n
(d)) =

i+j=n

(d)
f
i
(d
(1)
) f
j
(d
(2)
), n 0.
Observese que f
n
(d) M
n
y

(d)
f
i
(d
(1)
) f
j
(d
(2)
) M
i
M
j
. Luego, por denicion
de , comparando los terminos pertenecientes a M
i
M
j
y teniendo en cuenta la
Observacion (3.3.8) se obtiene que f
n
(d) =

(d)
f
i
(d
(1)
)f
j
(d
(2)
) en M
n
, i, j tales
que i ,= 0, j ,= 0, e i + j = n .
En conclusion
f
m+1
(d) =

(d)
f
m
(d
(1)
) f
1
(d
(2)
) =

(d)
(
m

m1
D
)(d
(1)
) f
1
(d
(2)
) =
= ((
m

m1
D
) )(d) =
_

m+1

m
D
_
(d).
Observacion 3.4.2. Dado : D C un morsmo de coalgebras podemos dar estructura de C-
bicomodulo a D via deniendo como coaccion a derecha
r
: D DC por
r
= (id
D
)
D
y como coaccion a izquierda
l
: D C D por
l
= ( id
D
)
D
.
Claramente con estas deniciones se verican las condiciones del punto 2 de la Proposicion 3.2.2.
y por lo tanto existen mapas lineales : D D
C
D y : D C tales que (D, , ) es una
coalgebra en
C
/
C
. Explcitamente:
(d) =

d
1
d
2
, d D y
(d) =

D
(d
1
)(d
2
) =
_

D
(d
1
)d
2
_
= (d), d D.
CAP

ITULO 3. LA CO

ALGEBRA COTENSORIAL 44
Corolario 3.4.3. Sea M
C
/
C
. Sean D una coalgebra,
0
: D C un morsmo de coalgebras
y
1
: D M mapa lineal que verica

1
(d
(1)
)
0
(d
(2)
) =

(
1
(d))
(0)
(
1
(d))
(1)
, (3.45)

0
(d
(1)
)
1
(d
(2)
) =

(
1
(d))
(1)
(
1
(d))
(0)
, (3.46)
y
1
(corad(D)) = 0. Entonces existe un unico : D C
C
(M) morsmo de coalgebras en
C
/
C
tal que el siguiente diagrama conmuta:
C
D

w
w
w
w
w
w
w
w
w
w

G
G
G
G
G
G
G
G
G
C
C
(M)

M
donde
0
y
1
son los proyecciones de C
C
(M) =

n0
M
n
sobre M
0
= C y M
1
= M respecti-
vamente.
Demostraci on: Las condiciones (3.45) y (3.46) equivalen a que
1
: D M sea un morsmo
de C-bicomodulos con D
C
/
C
via
0
.
Aplicando la propiedad universal de C
C
(M) obtenemos que existe un unico : D C
C
(M)
morsmo de coalgebras en
C
/
C
tal que el siguiente diagrama conmuta:
D

G
G
G
G
G
G
G
G
G
C
C
(M)

M
.
Finalmente observar que el hecho de que sea un morsmo de coalgebras en
C
/
C
implica

0
((d)) = (d), d D, pero por la observacion anterior (d) =
0
(d), d D, luego el
siguiente diagrama conmuta:
D

G
G
G
G
G
G
G
G
G
C
C
(M)

M
.
Captulo 4
El algebra simetrica cuantica.
4.1. Bimodulos de Hopf sobre una bialgebra.
A partir de esta seccion k denota un cuerpo jo y H una bialgebra sobre k. Todos los espacios
vectoriales y todos los productos tensoriales seran sobre k, a menos que se diga lo contrario.
Denicion 4.1.1. Decimos que M es un H-bimodulo de Hopf si M es un H-bimodulo, H-
bicomodulo y las acciones a derecha e izquierda son morsmos de H-comodulos a derecha e
izquierda o equivalentemente las coacciones a derecha e izquierda son morsmos de H-modulos
a derecha e izquierda.
Escribiremos M
H
H
/
H
H
para decir que M es un H-bimodulo de Hopf.
Observacion 4.1.2. Explcitamente, M
H
H
/
H
H
si:
(h m) h

= h (m h

), h, h

H, m M. (4.1)

m
1
(m
0
)
0
(m
0
)
1
=

(m
0
)
1
(m
0
)
0
m
1
, m M. (4.2)

(h
1
m
1
) (h
2
m
0
) =

(h m)
1
(h m)
0
, h H, m M. (4.3)

(h
1
m
0
) (h
2
m
1
) =

(h m)
0
(h m)
1
, h H, m M. (4.4)

(m
1
h
1
) (m
0
h
2
) =

(m h)
1
(m h)
0
, h H, m M. (4.5)

(m
0
h
1
) (m
1
h
2
) =

(m h)
0
(m h)
1
, h H, m M. (4.6)
45
CAP

ITULO 4. EL

ALGEBRA SIM

ETRICA CU

ANTICA. 46
4.2. El algebra simetrica cuantica.
A continuacion veremos que dados H una bialgebra y M
H
H
/
H
H
es posible dar en T
H
(M)
y C
H
(M) estructura de bialgebra graduada. Ademas mostraremos que en el caso en que H sea
un algebra de Hopf resulta que T
H
(M) y C
H
(M) tambien lo son.
Proposicion 4.2.1. Sean H una bialgebra y M
H
H
/
H
H
. Entonces T
H
(M) admite estructura
de bialgebra graduada.
Demostraci on: Ya probamos que T
H
(M) admite estructura de algebra graduada (Teo.
(2.3.4)), por lo tanto solo nos resta ver que existen morsmos de algebras : T
H
(M)
T
H
(M) T
H
(M) y : T
H
(M) k tales que (T
H
(M), , ) es una coalgebra graduada.
Consideramos
H
: H HH, el coproducto de H. Dado que H es una bialgebra tenemos
que
H
es un morsmo de algebras y H H T
H
(M) T
H
(M) es una subalgebra, luego

H
: H H H T
H
(M) T
H
(M) es un morsmo de algebras.
Consideramos tambien
M
: M M H + H M T
H
(M) T
H
(M) denido por

M
=
l
+
r
, donde
l
y
r
son las coacciones de M como H-bicomodulo.
Veamos que
M
verica

M
(x m x

) =
H
(x)
M
(m)
H
(x

), x, x

H, m M.
Sabemos que
M
(x m x

) =
l
(x m x

) +
r
(x m x

). Luego por (4.3) y (4.5) tenemos

l
(x m x

) =

(x m x

)
(1)
(x m x

)
(0)
=
=

x
(1)
(m x

)
(1)
x
(2)
(m x

)
(0)
=

x
(1)
m
(1)
x

(1)
x
(2)
m
(0)
x

(2)
=
=
_

x
(1)
x
(2)
_

m
(1)
m
(0)
_

(1)
x

(2)
_
=
H
(x)
l
(m)
H
(x

).
Analogamente, utilizando (4.4) y (4.6) obtenemos

r
(x m x

) =
H
(x)
r
(m)
H
(x

).
Luego

M
(x m x

) =
H
(x) (
l
(m) +
r
(m))
H
(x

) =
H
(x)
M
(m)
H
(x

).
CAP

ITULO 4. EL

ALGEBRA SIM

ETRICA CU

ANTICA. 47
Entonces podemos aplicar el Corolario 2.4.3, obteniendo que existe un unico morsmo de
algebras en
H
/
H
, : T
H
(M) T
H
(M) T
H
(M) tal que el siguiente diagrama conmuta:
M
inc

Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
T
H
(M)

T
H
(M) T
H
(M).
H
inc

m
m
m
m
m
m
m
m
m
m
m
m
m
m
Explcitamente =

j0

j
, donde

0
=
H
,
1
=
M
y
para j 2,
j
(m
1

H

H
m
j
) =
M
(m
1
)
M
(m
j
), m
1

H

H
m
j
M
j
.
Observese que entonces
(M
n
)

i+j=n
M
i
M
j
, n 0. (4.7)
pues si n 2 tenemos que
(M
n
)
M
(M
1
)
M
(M
1
)
. .
n veces
(M
0
M
1
+ M
1
M
0
) (M
0
M
1
+ M
1
M
0
)
. .
n veces
y como T
H
(M) es un algebra graduada resulta (M
n
)

i+j=n
M
i
M
j
. Los casos para
n = 0, 1 son inmediatos.
Por otra parte denimos : T
H
(M) k por =
H

0
, que es claramente un morsmo de
algebras. Observese que (M
n
) = 0, n 1.
Luego queremos ver que y denen en T
H
(M) una estructura de coalgebra, es decir que
hacen conmutar los siguientes diagramas:
T
H
(M)

T
H
(M) T
H
(M)
id

T
H
(M) T
H
(M)
id

T
H
(M) T
H
(M) T
H
(M)
(4.8)
y
k T
H
(M)


T
H
(M)

T
H
(M) k

T
H
(M) T
H
(M)
id
R
R
R
R
R
R
R
R
R
R
R
R
R
id

l
l
l
l
l
l
l
l
l
l
l
l
l
. (4.9)
CAP

ITULO 4. EL

ALGEBRA SIM

ETRICA CU

ANTICA. 48
Para ver que (4.8) conmuta, por el corolario (2.4.3), es suciente probar que
(id)
j
= (id )
j
para j = 0, 1,
donde
0
e
1
son las inclusiones de H y M en T
H
(M) respectivamente.
Para j = 0 es inmediato pues es la coasociatividad de
H
.
Para j = 1 es necesario ver que (
H
id
M
+
l
id
H
+
r
id
H
) (
r
+
l
) es igual
a (id
H

r
+id
H

l
+id
M

H
) (
r
+
l
), y esto vale debido a que M
H
/
H
.
Veamos ahora que el lado derecho de (4.9) conmuta. Por el Corolario (2.4.3) es suciente
probar que
(id )
j
= id
j
para j = 0, 1,
donde id
0
= id
H
, id
1
= id
M
y es el isomorsmo natural entre T
H
(M) k y T
H
(M).
Para j = 0 queda (id
H
)
H

0
= id
H
, lo cual vale pues (H,
H
,
H
) es una
coalgebra.
Para j = 1 tenemos para m M
( (id )
M

1
)(m) = ( (id ))
_

m
(0)
m
(1)
+

m
(1)
m
(0)
_
=
=

m
(0)
(m
1
) = id
M
(m),
lo cual vale pues M /
H
.
Analogamente se prueba la conmutatividad del lado izquierdo de (4.9).
Luego (T
H
(M), , ) es una coalgebra graduada.
Corolario 4.2.2. Sean H un algebra de Hopf y M
H
H
/
H
H
. Entonces T
H
(M) admite estructura
de algebra de Hopf graduada.
Demostraci on: Sabemos que T
H
(M) =

n0
M
n
es una bialgebra graduada tal que M
0
=
H es un algebra de Hopf, luego aplicando el Teorema (1.1.13) obtenemos que T
H
(M) admite
estructura de algebra de Hopf graduada.
CAP

ITULO 4. EL

ALGEBRA SIM

ETRICA CU

ANTICA. 49
Proposicion 4.2.3. Sean H una bialgebra y M
H
H
/
H
H
. Entonces C
H
(M) admite estructura
de bialgebra graduada.
Demostraci on: Ya probamos que C
H
(M) admite estructura de coalgebra graduada (Teo.
(3.3.5)) , por lo tanto solo nos resta ver que existen morsmos de coalgebras m : C
H
(M)
C
H
(M) C
H
(M) y u : k C
H
(M) tales que (C
H
(M), m, u) es una algebra graduada.
Consideramos para i, j 0 los mapas lineales m
i,j
0
: M
i
M
j
M
0
denidos de la siguiente
forma:
m
0,0
0
(h h

) = m
H
(h h

) = hh

, h, h

H, donde m
H
es el producto de H.
m
i,j
0
0 si i + j > 0.
Claramente m
i,j
0
son morsmos en
H
/
H
, i, j 0. Luego, aplicando la propiedad universal
de la suma directa, existe un unico m
0
: C
H
(M) C
H
(M) H morsmo en
H
/
H
tal que
m
0
[
HH
= m
H
. Explcitamente m
0
=

i,j0
m
i,j
0
y por lo tanto m
0
(M
i
M
j
) = 0, si i +j > 0.
Observar que m
0
es la proyeccion sobre M
0
M
0
= H H compuesta con el producto de H,
luego como H es una bialgebra tenemos que m
H
es un morsmo de coalgebras y por lo tanto
m
0
es un morsmo de coalgebras.
Tambien consideramos para i, j 0 los mapas lineales m
i,j
1
: M
i
M
j
M
1
denidos de la
siguiente forma:
m
1,0
1
(h n) = h
l
n, h H, n M,
m
0,1
1
(n h) = n
r
h, h H, n M y
m
i,j
1
0 si i + j ,= 1.
La propiedad universal de la suma directa nos permite denir m
1
: C
H
(M) C
H
(M) M por
m
1
=

i,j0
m
i,j
1
. Observese que m
1
(M
i
M
j
) = 0, si i + j ,= 1. Veamos que m
1
verica las
condiciones (3.45) y (3.46) del Corolario 3.4.3, es decir

m
1
(d
(1)
) m
0
(d
(2)
) =

(m
1
(d))
(0)
(m
1
(d))
(1)
, d C
H
(M) C
H
(M), (4.10)

m
0
(d
(1)
) m
1
(d
(2)
) =

(m
1
(d))
(1)
(m
1
(d))
(0)
, d C
H
(M) C
H
(M). (4.11)
Tenemos C
H
(M) C
H
(M) =

i,j0
M
i
M
j
, entonces podemos considerar d M
i
M
j
.
Ademas podemos suponer, sin perdida de generalidad, que d = n
i
n
j
, con n
i
M
i
, n
j
M
j
.
CAP

ITULO 4. EL

ALGEBRA SIM

ETRICA CU

ANTICA. 50
Veamos que se verica (4.10). Observese que el lado izquierdo de (4.10) es aplicar a d el mapa
(m
1
m
0
), donde es el coproducto de C
H
(M) C
H
(M) como coalgebra. Como C
H
(M) es
una coalgebra graduada para i, j 0 tenemos que:
(M
i
M
j
)

a+b=i
c+d=j
(M
a
M
c
) (M
b
M
d
).
Luego
((m
1
m
0
)) (M
i
M
j
)

a+b=i
c+d=j
m
1
(M
a
M
c
) m
0
(M
b
M
d
) =
= m
1
(M
i
M
j
) m
0
(M
0
M
0
),
como m
0
[
M
0
M
0
= m
H
obtenemos
((m
1
m
0
)) (M
i
M
j
) m
1
(M
i
M
j
) M
0
.
Entonces ((m
1
m
0
)) (M
i
M
j
) = 0 si i + j ,= 1. Luego solo debemos calcular (m
1
m
0
)
en M
i
M
j
cuando i + j = 1. Si d = h n, el lado izquierdo de (4.10) queda
((m
1
m
0
)) (h n) =

(h
(1)
n
(0)
) (h
(2)
n
(1)
). (4.12)
Observese ahora que el lado derecho de (4.10) es aplicar a d el mapa
r
m
1
. Como m
1
(M
i
M
j
) =
0 si i +j ,= 1 solo debemos calcular
r
m
1
en M
i
M
j
con i +j = 1. Entonces el lado derecho
de (4.10) queda
(
r
m
1
)(h n) =

(h n)
(0)
(h n)
(1)
. (4.13)
Analogamente se hace la cuenta para el caso d = n h, con h H y n M. Luego
la condicion (4.4) implica que (4.12) y (4.13) son iguales y la condicion (4.6) implica que
((m
1
m
0
)) (n h) = (
r
m
1
)(n h), por lo tanto m
1
verica (4.10). Analogamente, uti-
lizando (4.3) y (4.5), podemos ver que m
1
verica (4.11).
A su vez observese que m
1
(corad(C
H
(M) C
H
(M))) = 0, pues por la Proposicion (1.1.7)
tenemos corad(C
H
(M) C
H
(M)) corad(C
H
(M)) corad(C
H
(M)) y por la Proposicion
(1.1.8) tenemos corad(C
H
(M)) M
0
= H entonces corad(C
H
(M) C
H
(M)) H H y
CAP

ITULO 4. EL

ALGEBRA SIM

ETRICA CU

ANTICA. 51
m
1
(H H) = 0.
Luego podemos aplicar el Corolario (3.4.3) obteniendo que existe un unico morsmo de
coalgebras en
H
/
H
, m : C
H
(M) C
H
(M) C
H
(M) tal que el siguiente diagrama conmuta
H
C
H
(M) C
H
(M)
m

m
m
m
m
m
m
m
m
m
m
m
m
m
m
m

Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
Q
C
H
(M).

M
Explcitamente m =

n0
m
n
donde m
n
= m

n
1

n1
, n 2, donde es el coproducto
de C
H
(M)C
H
(M) como coalgebra. Es inmediato observar que m(M
i
M
j
) M
i+j
, i, j 0.
Por otra parte denimos u : k C
H
(M) por u = u
H
, donde es la inclusion de H en
C
H
(M) y u
H
es el mapa unidad de H. Claramente u es un morsmo de coalgebras.
Luego queremos ver que m y u denen en C
H
(M) una estructura de algebra, es decir que hacen
conmutar los siguientes diagramas:
C
H
(M) C
H
(M) C
H
(M)
idm

mid

C
H
(M) C
H
(M)
m

C
H
(M) C
H
(M)
m

C
H
(M)
(4.14)
y
k C
H
(M)
uid

R
R
R
R
R
R
R
R
R
R
R
R
R
C
H
(M) C
H
(M)
m

C
H
(M) k
idu

l
l
l
l
l
l
l
l
l
l
l
l
l
C
H
(M)
. (4.15)
Para ver que (4.14) conmuta, por el Corolario 3.4.3, es suciente probar que

j
m (id m) =
j
m (mid) para j = 0, 1.
Para j = 0 es inmediato pues es la asociatividad de m
H
.
CAP

ITULO 4. EL

ALGEBRA SIM

ETRICA CU

ANTICA. 52
Para j = 1 es necesario ver que
(id
H

r
+id
H

l
+id
M
m
H
) (
r
+
l
) = (
r
id
H
+
l
id
H
+m
H
id
M
) (
r
+
l
),
y esto vale debido a que M
H
/
H
.
Veamos ahora que el lado derecho de (4.15) conmuta. Observese que por el Corolario 3.4.3
es equivalente a probar
m(x 1
H
) = x, x M
n
, n 0. (4.16)
Dado que m(x 1
H
) = m
n
(x 1
H
) si x M
n
, n 0 entonces (4.16) es equivalente a
probar
m
n
(x 1
H
) = x, x M
n
, n 0.
Para n = 0, 1 es inmediato.
Para n = 2. Es suciente ver que m
2
(mn 1
H
) = mn, mn M
2
. Entonces
m
2
(mn 1
H
) =
= (m
1
m
1
)
_

(m
(1)
1
H
) (m
(0)
n 1
H
)
_
+
+ (m
1
m
1
)
_
(m1
H
) (n 1
H
) +

(mn
(0)
1
H
) (n
(1)
1
H
)
_
=
= (m 1
H
) (n 1
H
) = mn.
Para n 3 los casos son analogos al anterior.
De la misma forma se prueba la conmutatividad del lado izquierdo de (4.15).
Luego (C
H
(M), m, u) es una algebra graduada.
Corolario 4.2.4. Sean H un algebra de Hopf y M
H
H
/
H
H
. Entonces C
H
(M) admite estructura
de algebra de Hopf graduada.
Demostraci on: Sabemos que C
H
(M) =

n0
M
n
es una bialgebra graduada tal que M
0
=
H es un algebra de Hopf, luego aplicando el Teorema (1.1.13) obtenemos que C
H
(M) admite
estructura de algebra de Hopf graduada.
CAP

ITULO 4. EL

ALGEBRA SIM

ETRICA CU

ANTICA. 53
Proposicion 4.2.5. Sean H una bialgebra y M
H
H
/
H
H
. Consideramos las inclusiones

0
: H T
H
(M),
0
: H C
H
(M),
1
: M T
H
(M),
1
: M C
H
(M). Entonces existe un
unico : T
H
(M) C
H
(M) morsmo de bialgebras tal que el siguiente diagrama conmuta:
M

L
L
L
L
L
L
L
L
L
L
L
T
H
(M)

C
H
(M).
H

r
r
r
r
r
r
r
r
r
r
r
Demostraci on: Observese que
0
es un morsmo de algebras, pues por las deniciones del
producto m y la unidad u en C
H
(M) se verica m (
0

0
) =
0
m
H
, y u =
0
u
H
.
Ademas
1
es un mapa lineal que verica
1
(h m h

) = h m h

=
0
(h)
1
(m)
0
(h

), h, h

H, m M.
Luego, dado que C
H
(M) es un algebra, podemos aplicar el Corolario 2.4.3 obteniendo que existe
un unico : T
H
(M) C
H
(M) morsmo de algebras tal que el siguiente diagrama conmuta:
M

L
L
L
L
L
L
L
L
L
L
L
T
H
(M)

C
H
(M).
H

r
r
r
r
r
r
r
r
r
r
r
Explcitamente esta dado por =

j0

j
donde
0
=
0
,
1
=
1
y para j 2,

j
(x
1

H

H
x
j
) =
1
(x
1
)
1
(x
j
). Observese que as denido respeta la graduacion:
(H) = H, (M) = M, y (M

n
H
) M

n
H
, n 2. (4.17)
Veamos ahora que es un morsmo de coalgebras, es decir que hace conmutar los siguientes
diagramas:
T
H
(M)

T
H
(M) T
H
(M)

C
H
(M)

C
H
(M) C
H
(M)
, (4.18)
CAP

ITULO 4. EL

ALGEBRA SIM

ETRICA CU

ANTICA. 54
donde y

son los mapas comultiplicacion de T

H
(M) y C
H
(M) respectivamente y
T
H
(M)

C
H
(M),

.r
r
r
r
r
r
r
r
r
r
r
k
(4.19)
donde y

son los mapas counidad de T

H
(M) y C
H
(M) respectivamente.
Para ver que (4.18) conmuta, por el Corolario 2.4.3, es suciente probar que
( )
j
=

j
para j = 0, 1.
Para j = 0 la ecuacion (4.18) queda (
0

0
)
H
=
H

0
, pues [
H
=
H
=

[
H
y [
H
=
0
. Su validez es inmediata.
Para j = 1 la ecuacion (4.18) queda (
1

1
) (
l
+
r
) = (
l
+
r
)
1
, pues [
M
=

l
+
r
=

[
M
y [
M
=
1
. Su validez tambien es inmediata.
La conmutatividad de (4.19) se verica de forma clara dado que =
H

0
=

y
verica (4.17).
En conclusion : T
H
(M) C
H
(M) es un morsmo de bialgebras.
Observacion 4.2.6. Notar que en la proposicion anterior Im() es la subalgebra de C
H
(M)
generada por H y M.
Denicion 4.2.7. Si H es un algebra de Hopf llamamos algebra simetrica cuantica asociada
al par (H, M) al algebra de Hopf S
H
(M) = Im(), donde es el morsmo de bialgebras de la
proposicion anterior.
Bibliografa
[1] S. Montgomery, Hopf Algebras and their Actions on Rings, AMS, CBMS, 82, (1993).
[2] M. Sweedler, Hopf Algebras, Benjamin, New York, (1969).
[3] W.D. Nichols, Bialgebras of Type One, Comm. in Algebra, 6, 15, (1978).
[4] Xiao-Wu Chen, Hua-Lin Huang, Pu Zhang, Dual Gabriel Theorem with applications, (2004).
55