Álgebra homológica, día 13
24 de agosto de 2016
1. Anillos y módulos graduados
Para cada R-módulo M se pueden construir de manera canónica ciertas R-álgebras graduadas T ( M )
y Λ( M), llamadas el álgebra tensorial y álgebra exterior de M. Primero recordemos las definiciones de
álgebras graduadas.
1.1. Definición. Un R-álgebra (asociativa) es un R-módulo con multiplicación bilineal
·: A × A → A
que tiene una identidad 1 ∈ A tal que para cada x ∈ A
1 · x = x · 1 = x,
y que es asociativa:
x · (y · z) = ( x · y) · z.
Un morfismo de R-álgebras es una aplicación φ : A → B que es R-lineal y un homomorfismo de anillos:
φ (r · x ) = r · φ ( x ),
φ ( x + y ) = φ ( x ) + φ ( y ),
φ ( x · y ) = φ ( x ) · φ ( y ),
φ (1 A ) = 1 B .
Nuestras álgebras no son conmutativas.
1.2. Definición. Se dice que A es una R-álgebra graduada si tenemos una descomposición en suma directa
de R-módulos M
A= An ,
n ∈Z
que satisface R · An ⊆ An y Am · An ⊆ Am+n .
Un morfismo de álgebras graduadas φ : A → B es un morfismo de álgebras que satisface φ( An ) ⊆ Bn
para cada n ∈ Z.
Si tenemos x ∈ An para algún n ∈ Z, se dice que x es un elemento de grado deg x = n y que x es
homogéneo. Los elementos de A son sumas finitas de elementos homogéneos. Las álgebras graduadas
sobre R forman una categoría que vamos a denotar por R-ÁlgGr.
1.3. Ejemplo. El anillo de polinomios A := R[ X1 , . . . , Xn ] es una R-álgebra graduada por R-módulos libres
D E
Ad := R monomios X i1 · · · X in de grado total d = i1 + · · · + in .
N
1
2. Álgebra tensorial y exterior
2.1. Definición. Para un R-módulo M su álgebra tensorial es la R-álgebra graduada
M ⊗n ,
M
T ( M) :=
n ≥0
donde
M ⊗0 : = R y M⊗n := M ⊗ R · · · ⊗ R M para n > 0.
| {z }
n
y la multiplicación es inducida por
M⊗m × M⊗n → M⊗(m+n) ,
(( x1 ⊗ · · · ⊗ xm ), (y1 ⊗ · · · ⊗ yn )) 7→ x1 ⊗ · · · ⊗ xm ⊗ y1 ⊗ · · · ⊗ yn .
(se ve que es una aplicación R-bilineal que se extiende a la multiplicación sobre T ( M)).
2.2. Observación. T (−) es un funtor R-Mód → R-ÁlgGr. A saber, para un morfismo de R-módulos φ : M → N
existe un único morfismo de R-álgebras graduadas T (φ) : T ( M ) → T ( N ) que coincide con φ en grado 1:
/N
φ
M
T (φ)
T ( M) / T(N)
Este funtor es adjunto por la izquierda al funtor olvidadizo
R-ÁlgGr → R-Mód,
A 7 → A1 .
Es decir, existe una biyección natural
HomR-ÁlgGr ( T ( M), A) HomR-Mód ( M, A1 ).
Demostración. Cada elemento del álgebra T ( M ) es una suma de elementos de la forma x1 ⊗ · · · ⊗ xn , es
decir, productos de elementos de grado 1, por lo que cada morfismo de álgebras graduadas T ( M ) → A
queda definido de modo único por su restricción al morfismo correspondiente de R-módulos φ : M → A1 :
M ⊗n → An ,
x1 ⊗ · · · ⊗ x n 7 → φ ( x1 ) · · · φ ( x n ).
En particular, un morfismo de R-módulos, φ : M → N induce un morfismo de R-álgebras graduadas
T (φ) : T ( M) → T ( N ) definido en cada grado por
M ⊗n → N ⊗n ,
x1 ⊗ · · · ⊗ x n 7 → φ ( x1 ) ⊗ · · · ⊗ φ ( x n ).
Está claro que φ T (φ) es un funtor.
2
2.3. Definición. Para un R-módulo su álgebra exterior es
Λ( M ) := T ( M)/I,
donde I es el ideal bilátero de T ( M) generado por elementos x ⊗ x para x ∈ M. Es un ideal homogéneo
(generado por elementos de grado 2), y entonces se ve que Λ( M ) es también una R-álgebra graduada con
la graduación inducida por la graduación de M:
Λ( M) = Λ n ( M ).
M
n ≥0
La multiplicación en Λ( M ) se denota por ∧. La imagen de x1 ⊗ · · · ⊗ xn ∈ M⊗n en Λn ( M) es x1 ∧ · · · ∧ xn .
Cada elemento homogéneo x ∈ Λn ( M ) es una suma de elementos de la forma x1 ∧ · · · ∧ xn para
algunos xi ∈ M. Por la definición de Λ( M), tenemos x ∧ x = 0 para cada x ∈ M. Esto implica también que
1) para cada x, y ∈ M tenemos x ∧ y = −y ∧ x (de hecho, 0 = ( x + y) ∧ ( x + y) = x ∧ y + y ∧ x);
2) para cada elemento de la forma x = x1 ∧ · · · ∧ xn tenemos x ∧ x = 0.
2.4. Ejercicio. Deduzca que en general,
1) si x e y son elementos homogéneos en Λ( M ), entonces
x ∧ y = (−1)deg x·deg y y ∧ x;
2) si x es un elemento homogéneo en Λ( M ), entonces
x ∧ x = 0 si deg x es impar.
Todo esto quiere decir que el álgebra Λ( M) es conmutativa salvo signos ± que dependen del grado de
elementos.
2.5. Definición. Se dice que una R-álgebra graduada A es conmutativa* si
1) si x y y son elementos homogéneos en A, entonces
x · y = (−1)deg x·deg y y ∧ x;
2) si x es un elemento homogéneo en A, entonces
x · x = 0 si deg x es impar.
Vamos a denotar por R-ÁlgGrConm la categoría de R-álgebras graduadas conmutativas en el sentido
de arriba.
2.6. Observación. Λ(−) es un funtor R-Mód → R-ÁlgGrConm. A saber, para un morfismo de R-módulos
φ : M → N existe un único morfismo de R-álgebras graduadas conmutativas Λ(φ) : Λ( M ) → Λ( N ) que coincide
con φ en grado 1:
* En inglés, también se dice “skew-commutative”, “graded-commutative” o “supercommutative”, pero es la única noción de
conmutatividad de las álgebras graduadas que vamos a ocupar, así que voy a decir simplemente que A es conmutativa.
3
/N
φ
M
Λ(φ)
Λ( M) / Λ( N )
Este funtor es adjunto por la izquierda al funtor olvidadizo
R-ÁlgGrConm → R-Mód,
A 7 → A1 .
Es decir, existe una biyección natural
HomR-ÁlgGrConm (Λ( M ), A) HomR-Mód ( M, A1 ).
Demostración. Un morfismo de R-módulos, φ : M → N induce un morfismo de R-álgebras graduadas
conmutativas Λ(φ) : Λ( M) → Λ( N ) definido en cada grado por
Λ n ( M ) → Λ n ( M ),
x1 ∧ · · · ∧ x n 7 → φ ( x1 ) ∧ · · · ∧ φ ( x n ).
Está claro que φ Λ(φ) es un funtor.
En general, si A es un álgebra graduada conmutativa, entonces cada morfismo de R-módulos M →
A1 se extiende de modo único a un morfismo de R-álgebras φ : T ( M ) → A. Luego, A es graduada
conmutativa, de donde φ( x )2 = 0 para cada x ∈ T 1 ( M ) y en consecuencia φ induce un único morfismo
φ : Λ( M ) → A.
2.7. Ejercicio. Sean A y B dos R-álgebras graduadas conmutativas. Sea A ⊗ R B su producto tensorial como R-
módulos. Es graduado de modo natural:
M
( A ⊗ R B)n = A p ⊗ R Bq .
p+q=n
Definamos un producto sobre A ⊗ R B por la fórmula
( a1 ⊗ b1 ) · ( a2 ⊗ b2 ) := (−1)deg a2 ·deg b1 ( a1 · a2 ) ⊗ (b1 · b2 ).
1) Con este producto, A ⊗ R B es también un R-álgebra graduada conmutativa.
2) A ⊗ R B satisface la propiedad universal de coproductos en la categoría R-ÁlgGrConm.
Cada funtor adjunto por la izquierda preserva coproductos. Entonces tenemos
2.8. Corolario. Para R-módulos M y N hay isomorfismo natural de álgebras graduadas conmutativas
Λ ( M ⊕ N ) Λ ( M ) ⊗ R Λ ( N ).
En particular,
Λn ( M ⊕ N ) Λ p ( M ) ⊗ R Λ q ( N ).
M
p+q=n
2.9. Ejercicio. 1) Sea M un R-módulo libre de rango n, es decir M R⊕n . Entonces Λk ( M ) es un R-módulo
libre de rango (nk). En particular, Λk ( M ) = 0 para k > n.
2) Deduzca la identidad combinatoria
n+m n m
= ∑ .
k p+q=k
p q
4
3. Complejos de Koszul y homología de Koszul
3.1. Definición. Sea F un R-módulo (libre para nuestros objetivos) y f : F → R un morfismo R-lineal. El
complejo de Koszul K• ( f ) es el complejo (con numeración homológica) definido por
f
K• ( f ) : · · · → Λ4 ( F ) → Λ3 ( F ) → Λ2 ( F ) → F −
→R→0
con diferenciales
d k : Λ k ( F ) → Λ k −1 ( F ),
x1 ∧ · · · ∧ x k 7 → ∑ (−1)i+1 f ( xi ) x1 ∧ · · · ∧ xbi ∧ · · · ∧ xk .
1≤ i ≤ k
Aquí xbi significa que xi se omite del producto exterior x1 ∧ · · · ∧ xk . Si M es un R-módulo, la homología
de Koszul correspondiente está definida por
Hn ( f ; M) := Hn (K• ( f ) ⊗ R M ).
Antes de todo, se ve que la fórmula de arriba define un morfismo de R-módulos dn : Λk ( F ) → Λk−1 ( F ).
Tenemos que ver que K• ( f ) es de verdad un complejo:
3.2. Observación. Tenemos dk−1 ◦ dk = 0 para cada k.
Demostración. Podemos escribir
dk = ∑ (−1)i+1 ∂i ,
1≤ i ≤ k
donde ∂i es la aplicación
x1 ∧ · · · ∧ xk 7→ f ( xi ) x1 ∧ · · · ∧ xbi ∧ · · · ∧ xk .
Tenemos
d k −1 ◦ d k = ∑ (−1)i+ j ∂i ◦ ∂ j = ∑ (−1)i+ j ∂i ◦ ∂ j + ∑ (−1)i+ j ∂i ◦ ∂ j .
1≤ i ≤ k −1 1≤ i < j ≤ k 1≤ j ≤ i ≤ k −1
1≤ j ≤ k
Observamos que
∂ i ◦ ∂ j = ∂ j −1 ◦ ∂ i para i < j.
Entonces
d k −1 ◦ d k = ∑ (−1)i+ j ∂ j−1 ◦ ∂i + ∑ (−1)i+ j ∂i ◦ ∂ j .
1≤ i < j ≤ k 1≤ j ≤ i ≤ k −1
Cambiando el índice de la primera suma por j − 1, obtenemos
− ∑ (−1)i+ j ∂ j ◦ ∂i + ∑ (−1)i+ j ∂i ◦ ∂ j = 0.
1≤ i ≤ j ≤ k −1 1≤ j ≤ i ≤ k −1
5
Hemos demostrado que en general, si ∂i son algunos morfismos Cn → Cn−1 que satisfacen la identidad
(*) ∂ i ◦ ∂ j = ∂ j −1 ◦ ∂ i para i < j,
entonces la fórmula ∑1≤i≤k (−1)i+1 ∂i define el diferencial del complejo C• . En topología algebraica todos
los diferenciales que se construyen de modo explícito tienen esta forma (por ejemplo el complejo singular,
complejo de Čech, etc.). La identidad (*) es una de las identidades simpliciales.
Jean-Louis Koszul (1921–) es un matemático francés, estudiante de Henri Cartan, conocido por sus
contribuciones en álgebra y geometría. Varios conceptos en el álgebra homológica tienen su nombre:
álgebras de Koszul, dualidad de Koszul, cohomología de Koszul, etc. Sin embargo, los complejos de
Koszul no fueron descubiertos por Koszul; ya habían aparecido en trabajos de Cayley (1821–1895) y Hilbert
(1862–1943) antes de que Koszul naciera.
3.3. Observación. La construcción del complejo de Koszul es funtorial. A saber, si tenemos dos R-módulos F1 y F2
con aplicaciones R-lineales f 1 : F1 → R y f 2 : F2 → R y morfismo de R-módulos φ : F1 → F2 que conmuta con f 1 y
f2 :
F1 f1
$
φ :R
f2
F2
entonces φ induce de modo funtorial un morfismo de complejos de Koszul K• ( f 1 ) → K• ( f 2 ).
Demostración. Las álgebras exteriores Λk (−) son funtoriales, de donde en cada grado tenemos morfismos
Λk (φ) : Λk ( F1 ) → Λk ( F2 ). Solo tenemos que ver que es un morfismo de complejos:
d1k
Λk ( F1 ) / Λk−1 ( F1 )
Λk (φ) Λ k −1 ( φ )
Λk ( F2 ) / Λk−1 ( F2 )
d2k
6
y de hecho,
Λk−1 (φ) ◦ d1k ( x1 ∧ · · · ∧ xk ) = ∑ (−1)i+1 f 1 ( xi ) φ( x1 ) ∧ · · · ∧ φ[
( xi ) ∧ · · · ∧ φ ( x k )
1≤ i ≤ k
= ∑ (−1)i+1 f 2 ◦ φ( xi ) φ( x1 ) ∧ · · · ∧ φ[
( xi ) ∧ · · · ∧ φ ( x k )
1≤ i ≤ k
= d2k ◦ Λk (φ)( x1 ∧ · · · ∧ xk ).
