El argumento de Hilton-Eckmann para productos cup arXiv:math.KT

El argumento de Hilton-Eckmann para
productos cup
arXiv:math.KT/0209029
Mariano Suarez-Alvarez
[email protected]
Lema
Sea M un conjunto, y supongamos que
•:M ×M →M
y
◦:M ×M →M
son dos operaciones en M tales que
(i) (M, •) y (M, ◦) son monoides unitarios, y
(ii) • es un morfismo de monoides para ◦, es decir
(x • y ) ◦ (z • w ) = (x ◦ z) • (y ◦ w )
Entonces • = ◦ y • es conmutativo.
B. Eckmann, P. J. Hilton, Group-like structures in categories, Ann. of
Math 145 (1962), 227–255.
Definición
Una categorı́a monoidal es una 6-tupla (C, ⊗, e, a, l, r ) en la que
I C es una categorı́a y e ∈ obj C es un objeto;
I
? ⊗ ? : C × C → C es un bifunctor;
a : (? ⊗ ?) ⊗ ? → ? ⊗ (? ⊗ ?) es un isomorfismo de functores
C × C × C → C;
I l : e ⊗ ? → ? y r : ? ⊗ e → ? son isomorfismos de functores C → C,
tales que si x, y , z y w ∈ obj C, conmutan
I
(x ⊗ (y ⊗ z)) ⊗ w
o a⊗1
((x ⊗ y ) ⊗ z) ⊗ w )
a
(x ⊗ y ) ⊗ (z ⊗ w )
a
x ⊗ ((y ⊗ z) ⊗ w )
1⊗a
a
/ x ⊗ (y ⊗ (z ⊗ w ))
(x ⊗ e) ⊗ y
a
/ x ⊗ (e ⊗ y )
11
11
1⊗l
r ⊗1 11
x ⊗y
Lema
l =r :e ⊗e →e
Proposición
Si (C, ⊗, e, a, l, r ) es una categorı́a monoidal, (endC (e), ◦) es un monoide
conmutativo.
Definición
Una categorı́a monoidal suspendida es una 9-upla (C, ⊗, e, a, l, r , T , λ, ρ)
tal que (C, ⊗, e, a, r , l) es una categorı́a monoidal, T : C → C es un
automorfismo, y
λ : ? ⊗ T ? → T (? ⊗ ?)
ρ : T ? ⊗ ? → T (? ⊗ ?)
son isomorfismos de functores C × C → C tales que si x e y ∈ obj C,
conmutan
λ
/ Tx
l
e ⊗ Tx
T (e ⊗ x)
Tl
Tx ⊗ e
ρ
1
/ Tx
r
/ Tx
Tr
/ Tx
1
T (x ⊗ e)
y anti-conmuta
Tx ⊗ Ty
λ
T (Tx ⊗ y )
ρ
Tρ
/ T (x ⊗ Ty )
Tλ
/ T 2 (x ⊗ y )
Teorema
Sea (C, ⊗, e, a, l, r , T , λ, ρ) una categorı́a monoidal suspendida, y
pongamos
M
endT
homC (e, T p e).
C (e) =
p∈Z
Si f : e → T e y g : e → T e, definimos
p
q
f · g = T q f ◦ g : e → T p+q e.
Entonces (endT
C (e), ·) es un anillo conmutativo.
Demostración. Si f : e → T p e y g : e → T q e, sea f ? g : e → T p+q e la
composición
e
r −1
/ e ⊗e
f ⊗g
/ T pe ⊗ T qe
/ T p (e ⊗ T q e)
ρp
/
T p λq
/ T p+q (e ⊗ e)
T p+q l
/ T p+q e
e
f
o
T pe
1
T pe
1
@A
r
f ⊗1
o
r
o
T r
ρp
/ T p (e ⊗ T q e)
T p (1⊗g )
T p (e ⊗ e)
T p λq
T pl
T pl
/ T pe
/ T pe ⊗ T qe
1⊗g
T pe ⊗ e
ρp
p
ED
f ⊗g
e ⊗e
T pg
/ T p+q e o
∴f ?g =g ·f
T p+q l
ED
T p+q (e ⊗ e)
e
g
o
@A
ED
f ⊗g
l
o
l
e ⊗ T qe
λq
T qe
1
e ⊗e
1⊗g
T qe
1
r
o
o
T ql
λq
T q (e ⊗ e)
T qr
/ T pe ⊗ T qe
f ⊗1
/ T q (T p e ⊗ e)
T q (f ⊗1)
T qr
/ T qe
T qf
/ T p+q e
ρp
/ T p (e ⊗ T q e)
(−1)pq
T q ρp
/ T p+q (e ⊗ e)
nn
nnn
n
n
n p+q
v nnn T r
n
1
∴ g ? f = (−1)pq f · g
T p λq
T p+q l
/ T p+q e
Aplicaciones
I
Si (C, ⊗, e, a, l, r ) es una categorı́a monoidal sobre una categorı́a C
exacta y ⊗ es un functor exacto, Db (C ) tiene una estructura
inducida de categorı́a monoidal suspendida, asi que
M
Ext•C (e, e) =
homDb (C) (e, T p e)
p∈Z
es conmutativo para el producto ·
I
I
I
C = H Mod con H de Hopf
Ext•H (k, k)
C = H Mod con H de Hopf
Ext•H (k, k)
Idem, pero con H una quasi-biálgebra.
Aplicaciones
I
Si ⊗ en la situación de partida no es exacto, pero es derivable. . .
I
I
C = A ModA con A un álgebra
HH • (A)
C
C
C = Mod con C una coálgebra
HH • (C )
Aplicaciones
I
R. Taillefer, arXiv:math.KT/0207154
H
Si H es un álgebra de Hopf, M = H
H ModH es una categorı́a monoidal
con respecto a ⊗H con objeto neutro H. Luego Ext•M (H, H) es
conmutativo.