Sobre la clasicacion de las algebras de Hopf

Reunion Anual de la Union Matematica Argentina

Cordoba, 20 de septiembre de 2007
Nicolas Andruskiewitsch
Universidad de Cordoba, Argentina.
1
Plan.
i) Presentacion del problema general de clasicacion de algebras
de Hopf.
ii) Presentacion del resultado principal en
On the classication of nite-dimensional pointed Hopf algebras.
43 pp. N. A. y H.-J. Schneider,
http://arxiv.org/abs/math/0502157.
Aceptado en Annals of Mathematics.
iii) Discusion de resultados recientes y perspectivas.
2
i) Presentacion del problema:
Que se quiere hacer? Por que?
I. Denicion.
II. Motivaciones.
III. Problemas de clasicacion de diversas clases de grupos.
IV. Esquema general del programa de clasicacion.
3
C cuerpo alg. cerrado car. 0
I. Denicion. (H, m, ),

Algebra de Hopf:
(H, m) alg. con unidad 1,
: H H H morsmo de algebras (coproducto),
coasociativa con counidad ,
existe S : H H antpoda tal que
m(S id) = id
H
= m(idS).
4
Ejemplos
G grupo, CG = algebra de grupo = espacio vectorial de base
e
g
(g G) y producto e
g
e
h
= e
gh
Resulta un algebra de Hopf con coproducto (e
g
) = e
g
e
g
y
antpoda S(e
g
) = e
1
g
g algebra de Lie, U(g) = algebra universal envolvente de g
Resulta un algebra de Hopf con coproducto (x) = x1+1x
y antpoda S(x) = x, x g
5
X C
n
variedad algebraica afn ceros comunes de polinomios
f
1
, . . . , f
s
X C(X) = algebra de funciones regulares (polinomiales) en
X
f : X Y morsmo de var. algebraicas anes
f

: C(Y ) C(X) morsmo de algebras

categora de variedades algebraicas anes
categora de C-algebras conmutativas nitamente generadas,
sin nilpotentes
6
Grupos algebraicos anes C-algebras de Hopf conmutativas
nitamente generadas
? C-algebras de Hopf no necesariamente conmutativas
7
II. Motivaciones.
Las algebras de Hopf no conmutativas tienen aplicaciones en y
conexiones con:
Topologa de baja dimension (teora de nudos).
Teora de subfactores en algebra de operadores.
Teora conforme de campos (fsica teorica).
Estas aplicaciones tienen en comun la ecuacion de Yang-Baxter
(o de trenzas).
8
Es crucial el descubrimiento de ejemplos centrales en en los 80s:
g algebra Lie simple, q parametro complejo ,= 0
grupos cuanticos U
q
(g) (Drinfeld, Jimbo y otros)
grupos cuanticos nitos u
q
(g), q raz de 1, orden N (Lusztig)
Teora de representaciones de u
q
(g) aparece en la corresponden-
cia geometrica de Langlands
9
III. Problemas de clasicacion de diversas clases de grupos.
Teorema (Killing - Cartan).
Existe un correspondencia biyectiva entre clases de isomorsmo
de:
Grupos de Lie semisimples complejos (conexos y simplemente
conexos)

Algebras de Lie semisimples complejas
Diagramas de Dynkin ( matrices de Cartan)
10
Diagramas de Dynkin clasicos.

2
. . .

(A

2
. . .

(B

2
. . .

(C

2
. . .

(D

)
11
Diagramas de Dynkin excepcionales.

5
(E
6
)

6
(E
7
)

7
(E
8
)

4
(F
4
)

2
(G
2
)
12
Otras apariciones de los diagramas de Dynkin.
Clasicacion de grupos nitos simples
Singularidades
Polihedros regulares
Teora de representaciones de algebras (asociativas) de di-
mension nita
Clasicacion de algebras de Hopf
13
IV. Esquema general del programa de clasicacion.
Algunos invariantes de un algebra de Hopf H.
G(H) := x H 0 : (x) = x x.
= elementos de tipo grupo.
H
0
:=

C, C subcoalgebra simple de H
= maxima subcoalgebra cosemisimple de H
=:corradical de H.
CG(H) H
0
; H es punteada no cosemisimple
= punteada si CG(H) = H
0
,= H.
14
Problema. Clasicar algs. de Hopf dim. nita
Enfoque: posicion relativa del corradical.
semisimples

Algs. de
Hopf dim.
nita
5
k
k
k
k
k
k
k
k
k
k
k
k
k
k
k
k
k
k
%
J
J
J
J
J
J
J
J
J
J
J
J
J
J
J
J
J
J
J
J
H
0
subalg.
Hopf
no
semisimples
7
o
o
o
o
o
o
o
o
o
o
o
o
'
O
O
O
O
O
O
O
O
O
O
O
O
Otras
15
G(H)
abeliano
H
0
= CG(H)
(punteada)
:
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u
u

B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
B
G(H) no
abeliano
H
0
subalg.
de Hopf
J

$
J
J
J
J
J
J
J
J
J
J
J
J
J
J
J
J
J
J
J
J
J
otras
16
ii) Presentacion del resultado principal:
Que se obtuvo?
Se clasicaron las algebras de Hopf punteadas de dimension
nita y grupo abeliano, bajo la hipotesis de que los primos
que dividen al orden del grupo son mayores a 7.
Resulta que son variaciones de los grupos cuanticos de
Drinfeld, Jimbo, Lusztig.
17
g algebra Lie simple, matriz de Cartan (a
ij
)
1i,j
; q raz de 1,
orden N
grupo cuantico nito u
q
(g) = Ck
1
, . . . , k

, e
1
, . . . , e

, f
1
, . . . , f

)
relaciones:
k
i
k
j
= k
j
k
i
, k
N
i
= 1,
k
i
e
j
k
1
i
= q
d
i
a
ij
e
j
, k
i
f
j
k
1
i
= q
d
i
a
ij
f
j
,
ad
c
(e
i
)
1a
ij
(e
j
) = 0, i ,= j
ad
c
(f
i
)
1a
ij
(f
j
) = 0, i ,= j
e
i
f
j
q
d
i
a
ij
f
j
e
i
=
ij
(1 k
2
i
), i < j, i j
e
N

= 0, f
N

= 0,
(g) = g g, (x
i
) = g
i
x
i
+x
i
1.
u
q
(g) es un algebra de Hopf punteada de dim. N
dimg
. Aqu
ad
c
(x
i
)(x
j
) = x
i
x
j
q
ij
x
j
x
i
.
18
parametro
vinculante

grupo
abeliano
nito
/
dato de
Cartan
?

















?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
parametro

/ /o /o /o /o /o /o /o /o /o /o /o
u(T, , )
algebra
Hopf dim.
nita
19
grupo abeliano nito
Dato de Cartan T = T(, (g
i
)
1i
, (
i
)
1i
, (a
ij
)
1i,j
)
g
i
,
i


, 1 i ; q
ij
=
j
(g
i
), 1 i, j .
(a
ij
)
1i,j
matriz de Cartan tal que
q
ij
q
ji
= q
a
ij
ii
, q
ii
,= 1.
= sistema de races (a
ij
)
1i,j

1
, . . . ,

races simples
. =

comp. conexas diagrama de Dynkin

i j
i
,
j
J, J .
20
El parametro = (
ij
)
1i<j, i,j
es una familia en 0, 1 t. q.
si g
i
g
j
= 1 o
i

j
,= , =
ij
= 0.
El parametro = (

+
es una familia en C tal que

+
J
, J ., si

g
N
J

= 1

N
J

,=
, =

= 0.
= (

+
u

() k[]
Ejemplo:
u

i
() =

i
(1 g
N
i
i
)
21
algebra de Hopf u(T, , ) = C, x
1
, . . . , x

) con relaciones:
(Accion de ) gx
i
g
1
=
i
(g)x
i
,
( Serre) ad
c
(x
i
)
1a
ij
(x
j
) = 0,
i ,= j, i j
( Vnculo) ad
c
(x
i
)(x
j
) =
ij
(1 g
i
g
j
),
i < j, i j
( Potencias vect. raz) x
N
J

= u

(),
(g) = g g, (x
i
) = g
i
x
i
+x
i
1.
Aqu, ad
c
(x
i
)(x
j
) = x
i
x
j
q
ij
x
j
x
i
.
22
Teorema de clasicacion. N. A. and H.-J. Schneider, On the classica-
tion of nite-dimensional pointed Hopf algebras, Ann. Math., to appear.
(1) u(T, , ) es un algebra de Hopf punteada
dimu(T, , ) =

J.
N
[
+
J
[
J
[[, G(u(T, , )) .
(2) Sea H un algebra de Hopf punteada de dim < , = G(H).
Supongamos que los divisores primos de [[ son > 7
= T, , : H

= u(T, , ).
(3) u(T, , )

= u(T
t
,
t
,
t
) = . . . .
23
Metodo de demostracion. N. A. and H.-J. Schneider, Pointed Hopf Al-
gebras, MSRI Publications 43 (2002), 1-68, Cambridge Univ. Press.
Paso esencial:
(V, c) espacio vectorial trenzado: c GL(V V )
(c id)(idc)(c id) = (idc)(c id)(idc)
B(V ) =
n0
B
n
(V ) (algebra de Nichols)
En nuestro caso, H alg. Hopf punteada dim H < , = G(H).
V

T tal que dim B(V ) < !

T = modulos de Yetter-Drinfeld sobre

24
grupo abeliano nito V

T espacio vectorial trenzado

de tipo diagonal.
base v
1
, . . . , v

, (q
ij
)
1i,j
in C

:
c(v
i
v
j
) = q
ij
v
j
v
i
, i, j
Teorema. 1 ,= q
ii
races de 1. dimB(V ) < clasicados.
N. A. & H.-J. Schneider,Finite quantum groups and Cartan matrices, Adv.
Math. 154 (2000), 1-45.
I. Heckenberger, The Weyl groupoid of a Nichols algebra of diagonal type,
Invent. Math. 164, 175188 (2006).
I. Heckenberger, Classication of arithmetic root systems,
http://arxiv.org/abs/math.QA/0605795.
25
iii) Discusion de resultados recientes y perspectivas.
Caso diagonal no Cartan.
Resultado analogo para algebras de Hopf punteadas de crec-
imiento polinomial.
N. A. & H.-J. Schneider, A characterization of quantum groups. J. Reine
Angew. Math. 577, 81104 (2004).
N. A. & I. Angiono, On Nichols algebras with generic braiding. In Modules
and Comodules, Proceedings of the Porto Conference. arxiv:math/070392.
26
no abeliano
Solo se conoce un punado de ejemplos de dim. <
V

T tal que W V , W trenzado, dimB(W) = =

dimB(V ) =
N. A. & S. Zhang. On nite-dimensional pointed Hopf algebras associated
to some conjugacy classes in S
n
. Proc. A. M. S. 135 (2007), 2723-2731.
N. A. & F. Fantino. On pointed Hopf algebras associated to unmixed con-
jugacy classes in S
n
. J. Math. Phys. 48, 033502 (2007). On pointed Hopf
algebras associated with alternating and dihedral groups. Aceptado en Rev.
UMA, arxiv:math/0702559.
N. A., F. Fantino & S. Zhang, en preparacion.
27
V = V
1
V

T
B(V ) en funcion de B(V
i
)???
N. A. , I. Heckenberger & H.-J. Schneider, The Weyl groupoid of a semisimple
Yetter-Drinfeld module. En preparacion.
Clasicacion de algs. de Hopf punteadas sobre
= A
5
= S
3
= S
4
28