Valqui Christian - Planos Torcidos

2 CHRISTIAN VALQUI
El objetivo de este minicurso es presentar las nociones básicas

de las construcciones llevadas a cabo por el autor conjuntamente
con J.A. Guccione y J.J. Guccione. El caso más estudiado co-
rresponde al producto tensorial k[x] ⊗ k[y], que en la dualidad
mencionada anteriormente corresponde a un plano. En nuestro
caso este plano ya no es un objeto conmutativo, es un ”plano
no-conmutativo” o un ”Plano Torcido”. Nosotros vamos a ca-
racterizar estos planos torcidos a través de un cierto morfismo
de torcimiento llamado ”Twisting map” o twist.
La definición usual de la multiplicación en el producto tenso-
rial de dos álgebras A ⊗ B es la siguiente:
(a1 ⊗ b1 ) · (a2 ⊗ b2 ) = a1 · a2 ⊗ b1 · b2 .
Si ahora vemos el morfismo de multiplicación como una apli-

cación desde el producto tensorial hacia el álgebra µA : A⊗A →
A, la definición anterior nos da:
µA⊗B = (µA ⊗ µB ) ◦ (IdA ⊗ σ ⊗ IdB ),
donde σ : B ⊗ A → A ⊗ B es el flip, que simplemente intercam-

bia los factores. Las preguntas que se plantean ahora son: ¿Se
podrá reemplazar el flip por algún otro morfismo lineal y obtener
aún una estructura de álgebra asociativa en el producto tenso-
rial? ¿Qué condiciones deberı́a cumplir este otro morfismo? La
primera respuesta es afirmativa. En este curso analizaremos los
morfismos de torcimiento (twists) s : B ⊗ A → A ⊗ B que de-
finen una estructura de álgebra asociativa en A ⊗ B a través
del morfismo de multiplicación µs : A ⊗ B ⊗ A ⊗ B → A ⊗ B
definido por
µs = (µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB ).
Vamos a llamar A ⊗s B al álgebra ası́ obtenida.

Primero daremos condiciones muy generales que deben cumplir
PLANOS TORCIDOS 3
los twists. En algunos casos podemos dar una clasificación com-

pleta de estos twists, y en general obtenemos nuevas familias
que dan muchos ejemplos de álgebras no conmutativas.
2. Condiciones generales para twists

Vamos a derivar condiciones generales para los twists, par-
tiendo de la asociatividad que debe tener el álgebra A ⊗s B
y de que las inclusiones ιA : A ,→ A ⊗s B, a 7→ a ⊗ 1 y
ιB : B ,→ A ⊗s B, b 7→ 1 ⊗ b sean morfismos de álgebras.
Proposición 2.1. Para que µs sea asociativo y las inclusiones

ιA y ιB sean morfismos de álgebras es suficiente y necesario que
s cumpla las siguientes condiciones:
(a) s(1 ⊗ a) = a ⊗ 1,
s ◦ (IdB ⊗ µA ) = (µA ⊗ IdB ) (IdA ⊗ s) (s ⊗ IdA ),

(b) s(b ⊗ 1) = 1 ⊗ b,
s ◦ (µB ⊗ IdA ) = (IdA ⊗ µB ) (s ⊗ IdB ) (IdB ⊗ s),

(c)
(d)
para todo a ∈ A y b ∈ B.
Demostración: Supongamos primero que µs es asociativo y las

inclusiones ιA y ιB son morfismos de álgebras. Entonces
a ⊗ 1 = ιA (1A · a)
= ιA (1A ) · ιA (a)
= µA ⊗ µB (1A ⊗ s(1B ⊗ a) ⊗ 1B )
= s(1B ⊗ a),
similarmente se prueba (b). Veamos ahora que se cumple (c).

Para esto evaluemos
ιB (b) ιA (a)ιA (a0 ) = ιB (b)ιA (a) ιA (a0 )

4 CHRISTIAN VALQUI
de las dos distintas maneras. Por un lado tenemos
ιB (b) ιA (a)ιA (a0 ) = (1A ⊗ b)(aa0 ⊗ 1B )

= s(b ⊗ aa0 )
= s ◦ (IdB ⊗ µA )(b ⊗ a ⊗ a0 ).
Por otro lado se tiene
ιB (b)ιA (a) ιA (a0 ) = s(b ⊗ a) · (a0 ⊗ 1B )

=(µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB ) ◦ (s ⊗ IdA ⊗ IdB )(x ⊗ 1B )

=(µA ⊗ µB ) (IdA ⊗ s) ◦ (s ⊗ IdA ) (x) ⊗ 1B
=(µA ⊗ IdB ) (IdA ⊗ s) (s ⊗ IdA )(x),
donde x = b ⊗ a ⊗ a0 . Similarmente, evaluando
ιB (b) ιB (b0 )ιA (a) = ιB (b)ιB (b0 ) ιA (a),

se obtiene (d).
Ahora supongamos que se cumplen (a),(b),(c) y (d). La asocia-
tividad significa µs ◦ (µs ⊗ IdA⊗B ) = µs ◦ (IdA⊗B ⊗ µs ). Veremos
que ambos lados son iguales a
(2.1) (µA ⊗ µB ) ◦ (IdA ⊗ µA ⊗ µB ⊗ IdB )

◦ (IdA ⊗ IdA ⊗ s ⊗ IdB ⊗ IdB ) ◦ (IdA ⊗ s ⊗ s ⊗ IdB ).
Por un lado tenemos
µs ◦ (µs ⊗ IdA⊗B ) =
=(µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB )

◦ [ (µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB ) ⊗ IdA ⊗ IdB ]
PLANOS TORCIDOS 5
=(µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB ) ◦ (µA ⊗ µB ⊗ IdA ⊗ IdB )

◦ (IdA ⊗ s ⊗ IdB ⊗ IdA ⊗ IdB )
=(µA ⊗ µB ) ◦ (IdA ◦ µA ⊗ [s ◦ (µB ⊗ IdA )] ⊗ IdB ◦ IdB )
=(µA ⊗ µB ) ◦ (µA ⊗ [s ◦ (µB ⊗ IdA )] ⊗ IdB )
=(µA ⊗ µB ) ◦ (µA ⊗ [(IdA ⊗ µB ) (s ⊗ IdB ) (IdB ⊗ s)] ⊗ IdB )


=[(µA ⊗ µB ) ◦ (µA ⊗ IdA ⊗ µB ⊗ IdB )]
◦ (IdA ⊗ IdA ⊗ s ⊗ IdB ⊗ IdB )
◦ (IdA ⊗ IdA ⊗ IdB ⊗ s ⊗ IdB )
◦ (IdA ⊗ s ⊗ IdB ⊗ IdA ⊗ IdB ),
donde la penúltima igualdad se obtiene usando (d), y la última

usando que
µA = µA ◦ (IdA ⊗ IdA ) ◦ (IdA ⊗ IdA ).
La última expresión es igual a (2.1), pues
(IdA ⊗ IdA ⊗ IdB ⊗ s ⊗ IdB ) ◦ (IdA ⊗ s ⊗ IdB ⊗ IdA ⊗ IdB )

= [(IdA ⊗ IdA ⊗ IdB ) ◦ (IdA ⊗ s)]
⊗ [(s ⊗ IdB ) ◦ (IdB ⊗ IdA ⊗ IdB )]
= IdA ⊗ s ⊗ s ⊗ IdB ,
6 CHRISTIAN VALQUI
y por la asociatividad de la multiplicación en A se tiene
(µA ⊗ µB ) ◦ (µA ⊗ IdA ⊗ µB ⊗ IdB )

= [µA ◦ (µA ⊗ IdA )] ⊗ [µB ◦ (µB ⊗ IdB )]
= [µA ◦ (IdA ⊗ µA )] ⊗ [µB ◦ (µB ⊗ IdB )]
= (µA ⊗ µB ) ◦ (IdA ⊗ µA ⊗ µB ⊗ IdB ).
Similarmente, usando la asociatividad en B y el ı́tem (c), se

obtiene que
µs ◦ (IdA⊗B ⊗ µs )
=(µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB )

◦ [IdA ⊗ IdB ⊗ (µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB ) ]
es igual a (2.1).
Ahora notamos que 1A ⊗ 1B es el elemento neutro de la mul-

tiplicación y que (a) y (b) implican que las inclusiones ιA y ιB
son homomorfismos de álgebras unitales.
Comentario 2.2. Para manejar este tipo de pruebas engorrosas

conviene trabajar en diagramas, donde los morfimos paralelos a
la misma altura son factores en algún morfismo producto tenso-
rial y las composiciones van bajando nivel a nivel en el gráfico.
Por ejemplo la igualdad (c)
s ◦ (IdB ⊗ µA ) = (µA ⊗ IdB ) (IdA ⊗ s) (s ⊗ IdA ),

PLANOS TORCIDOS 7
se verı́a ası́:
B A A B A A
@
@
@
@
@
@ = @
@
@ @
@
@
A B A B
y la igualdad (d)
s ◦ (µB ⊗ IdA ) = (IdA ⊗ µB ) (s ⊗ IdB ) (IdB ⊗ s)
se verı́a ası́:
@
@
@
= @@
@
@
@
@
.
Usando esta representación gráfica se puede describir ahora
@
@
µs = (µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB ) como @ .

Ahora se puede seguir más fácilmente la prueba desde
µs ◦ (µs ⊗ IdA⊗B )
8 CHRISTIAN VALQUI
que se grafica ası́:

@
@
@

@
@
@
@
@

,
hasta
(µA ⊗µB )◦(IdA ⊗µA ⊗µB ⊗IdB )◦(IdA ⊗IdA ⊗s⊗IdB ⊗IdB )◦(IdA ⊗s⊗s⊗IdB ),
que corresponde al gráfico
@ @
@ @
@ @
@
@
@

.
El producto tensorial torcido A ⊗s B tiene la siguiente pro-

piedad universal: Dados morfismos de álgebras f : A → C y
g : B → C tales que
µC (g ⊗ f ) = µC (f ⊗ g) s,

PLANOS TORCIDOS 9
entonces existe un único morfismo de álgebras h : A ⊗s B → C

que satisface
f = h iA and g = h iB .
En efecto, es fácil verificar que h = µC (f ⊗ g).
Los twists son objetos de una categorı́a. Sean s : B ⊗ A →
A ⊗ B y t : D ⊗ C → C ⊗ D twists. Un morfismo (f, g) : s → t
es un par de morfismos de álgebras f : A → C y g : B → D tal
t (g ⊗ f ) = (f ⊗ g) s.
que
La composición es la evidente. Dos twists s, t : B ⊗ A → A ⊗

B se llaman equivalentes si son isomorfos. Esto es, si existen
g −1 ) s (g ⊗ f ).
automorfismos f : A → A y g : B → B tales que t = (f −1 ⊗
El siguiente resultado es útil para verificar si una cierta apli-

cación s : B ⊗ A → A ⊗ B es un twist o no, y será usado
implı́citamente a lo largo de este trabajo.
Proposición 2.3. Sea s : B ⊗ A → A ⊗ B una aplicación que
satisface (a), (b) y (c). Si (bi )i∈I genera B como álgebra y
s(bi ⊗ aa0 ) = (µA ⊗ B) (A ⊗ s) (s ⊗ A)(bi ⊗ a ⊗ a0 )
para todo a, a0 ∈ A y cada ı́ndice i, entonces s es un twist.
3. Extensiones polinomiales
Ahora veamos el caso en que el álgebra B sea k[y], el álgebra
de polinomios sobre y. En este caso todo morfismo lineal s :
k[y] ⊗ A → A ⊗ k[y] está determinado por los morfismos γji :
A → A definidos por la ecuación
X
(3.2) s(y r ⊗ a) = γjr (a) ⊗ y j .
j≥0
Entonces las condiciones se escriben de la siguiente manera:

10 CHRISTIAN VALQUI
Proposición 3.1. Un conjunto de aplicaciones γji : A → A

define un twist vı́a (3.2) si y solamente si cumple las siguientes
propiedades:
(a) γj0 = δj0 id.
(b) γji (1) = δji .
(c) Para todo r, j tenemos
X
γjr (ab) = γkr (a)γjk (b).
k≥0
(d) Para todo 0 ≤ k ≤ r, tenemos
γlk γj−l

j
X
r−k
γjr = .
l=0
(e) Para cada a y r fijos existe un N = N (a, r) tal que

γjr (a) = 0 para j > N (a, r).
Demostración. Es claro que (a) y (b) corresponden a los mismos

items en la proposición (2.1). También se puede calcular direc-
tamente que lo mismo vale para (c) y para (d). Finalmente hay
que notar que (e) vale si y solamente si la ecuación (3.2) define
una aplicación s : k[y] ⊗ A → A ⊗ k[y].
Dada una familia de aplicaciones (αj : A → A)j≥0 e ı́ndices
αn1 · · · αnr . Más aún escribimos

n1 , . . . , nr ≥ 0, ponemos |n1 , . . . , nr | = n1 + · · · + nr y αn1 ...nr =
(0) (r)
X
γj = δ0j id and γj = αn1 ...nr for r > 0,
|n1 ,...,nr |=j
(1)
donde δ0j denota el sı́mbolo de Kronecker. Notemos que γj =
αj .
PLANOS TORCIDOS 11
Corolario 3.2. Sea A un álgebra y s : k[Y ] ⊗ A → A ⊗ k[Y ] un

twist. La ecuación
∞
X
s(Y ⊗ a) = αj (a) ⊗ Y j ,
j=0
define una familia de aplicaciones αj : A → A, que satisface:

(1) Para cada a ∈ A existe j0 ≥ 0, tal que αj (a) = 0 cuando
j > j0 .
(2) αj (1) = δj1 .
(3) Para todo j ≥ 0 y todo a, b ∈ A,
∞
X (r)
(3.3) αj (ab) = αr (a)γj (b).
r=0
Más aún,
∞
X
r (r)
(3.4) s(Y ⊗ a) = γj (a) ⊗ Y j
j=0
para todo r ≥ 0 y a ∈ A. Por otro lado, dadas aplicaciones

αj : A → A (j ≥ 0) satisfaciendo (1)–(3), la fórmula (3.4) de-
fine un twist.
Demostración. Sigue directamente de la proposición.
Comentario 3.3. Si s : k[Y ]⊗A → A⊗k[Y ] es un twist, entonces
ker(α0 ) es un subálgebra de A. Más aún,
• Si α0 = 0, entonces α1 es un endomorfismo de álgebras.
• Sea ν > 1. Si α0 = 0 y αj = 0 para 1 < j < ν, entonces
αν (ab) = α1 (a)αν (b) + αν (a)α1ν (b).
12 CHRISTIAN VALQUI
Ejemplo 3.4. Si α : A → A es un endomorfismo de álgebras y

δ : A → A es una α-derivación (esto es δ(ab) = δ(a)b+α(a)δ(b)),
entonces existe un único twist s : k[Y ] ⊗ A → A ⊗ k[Y ] tal que
s(Y ⊗ a) = α(a) ⊗ Y + δ(a) ⊗ 1 para todo a ∈ A.
Este ejemplo corresponde al caso clásico de extensiones de Ore.
Ejemplo 3.5. En el caso particular en que A = k[x], α0 = 0 y

α1 (x) = qx se obtiene un álgebra relacionada con el algebra de
rotación irracional por el ángulo Θ con exp(iπΘ) = q.
Si α1 = Id y α0 (x) = 1 obtenemos el álgebra de Weyl.
Ejemplo 3.6. Sea A = k[t]/ht2 i. Consideremos la familia de

aplicaciones (αj : A → A)j≥0 , definidos por
α0 = 0, α1 = id, α2 (λ + µt) = µt and αj = 0 for j > 2.
La fórmula s(Y ⊗ a) = α1 (a) ⊗ Y + α2 (a) ⊗ Y 2 define un twist.
La condición de convergencia (γji (a) = 0 para j > N (a, i))

puede ser modificada, si en vez de k[y] tomamos alguna com-
pletación, por ejemplo las series formales de potencia k[[y]], o
la completación como C*-álgebra viendo los elementos de k[y]
como operadores de multiplicación en un espacio de Hilbert con
base {y k }. Sin embargo en este trabajo no vamos a entrar en
detalles en ese aspecto. Más aún, vamos a tener los resultados
más importantes en el caso en que B = k[y]/hy n i.
En ese caso también se tiene morfismos lineales γji , para j =
0, . . . , n − 1, y para i ≥ n se tiene γji = 0. En particular, si se
tiene un twist de A ⊗ k[y] para el cual γji = 0 si i ≥ n, entonces
los γji definen un twist de A ⊗ k[y]/hy n i.
PLANOS TORCIDOS 13
4. Extensiones polinomiales truncadas

Sea A una k-algebra, C = k[y]/hy n i y s : C ⊗ A → A ⊗ C una
aplicación k-lineal. Las ecuaciones
n−1
X
r
s(y ⊗ a) = γjr (a) ⊗ y j
j=0
define aplicaciones γjr :

A → A para 0 ≤ j, r < n. Más aún,
ponemos γjr = 0 si r ≥ n si 0 ≤ j < n. Notemos que los γjr ’s
están definidos para r ≥ 0 y 0 ≤ j < n.
Proposición 4.1. Las siguientes condiciones son equivalentes:
(1) La aplicación s es un twist.
(2) (a) γj0 = δj0 id.
(b) γjr (1) = δjr .
(c) Para 0 ≤ j < n y 0 < r < n, tenemos
n−1
X
γjr (ab) = γkr (a)γjk (b). (Ley del producto)
k=0
(d) Para todo 0 < k < r, tenemos
γlk γj−l

j
X
r−k
γjr = . (Ley de composición)
l=0
(3) (a) γj0 = δj0 id.

(b) γjr (1) = δjr .
(c) Para todo j tenemos
n−1
X
γj1 (ab) = γk1 (a)γjk (b).
k=0
(d) Para todo r > 1, tenemos
γl1 γj−l

j
X
r−1
γjr = .
l=0
14 CHRISTIAN VALQUI
Demostración. (1) ⇔ (2) Sabemos que s es un twist si y sola-

mente si
(a’) s(1 ⊗ a) = a ⊗ 1,
s(y r ⊗ ab) = (µA ⊗ C) (A ⊗ s) (s ⊗ A)(y r ⊗ a ⊗ b),

(b’) s(y r ⊗ 1) = 1 ⊗ y r ,
s(y r y t ⊗ a) = (A ⊗ µC ) (s ⊗ C) (C ⊗ s)(y r ⊗ y t ⊗ a),

(c’)
(d’)
para todo r, t < n y a, b ∈ A. Pero un cálculo directo muestra
que (a’) ⇔ (2)(a), (b’) ⇔ (2)(b), (c’) ⇔ (2)(c) y (d’) ⇔ (2)(d).
(2) ⇒ (3) Esto es trivial.
(3) ⇒ (2) Para k = 1 y r > 1 la condición (2)(d) coincide con
(3)(d). Suponemos que (2)(d) es válida para k y todo r > k, y
la probaremos para k + 1 y todo r > k + 1. Fijemos r > k + 1.
Entonces
γh1 γj−h

j
X
r−1
γjr = por (3)(d)
h=0
γh1 γuk γj−h−u

j j−h
X X
r−k−1
= por hipótesis inductiva
h=0 u=0
γh1 γl−h

k r−k−1
j j
X X
= γj−l poniendo l := u + h
h=0 l=h
γh1 γl−h

k r−k−1
j l
X X
= γj−l
l=0 h=0
γlk+1 γj−l

j
X
r−k−1
= . por (3)(d)
l=0
Ası́ (2)(d) se cumple. Finalmente probemos (2)(c). Para r = 1

es lo mismo que (3)(c). Supongamos que (2)(c) vale para 1 ≤
PLANOS TORCIDOS 15
r < n − 1. Entonces
γl1 γj−l

j
X
γjr+1 (ab) = r
(ab) por (3)(d)
l=0
γl1
j n−1
X X
= γkr (a)γj−l
k
(b) por h.i.
l=0 k=0
j
n−1 X
n−1
XX
1
(γkr (a)) γlm γj−l
k

= γm (b) por (3)(c)
l=0 k=0 m=0
n−1 X
n−1 j
X X
1
(γkr (a)) γlm γj−l
k

= γm (b)
k=0 m=0 l=0
n−1 X
X n−1
= 1
γm (γkr (a)) γjm+k (b) por (2)(d)
m=0 k=0
poniendo
n−1 X
X n−1 u = m + k,
1 r
(a) γju (b)

= γm γu−m ya que
m=0 u=m γju = 0 para
u≥n
n−1 X
X u
1 r
(a) γju (b)

= γm γu−m
u=0 m=0
n−1
X
= γur+1 (a)γju (b). por (3)(d)
u=0
Esto conluye la prueba.

Comentario 4.2. Del ı́tem (3)(c) de la proposición se deduce
fácilmente por inducción en r que
γu11 · · · γu1r

X
(4.5) γjr =
u1 ,...,ur
u1 +···+ur =j
16 CHRISTIAN VALQUI
para todo r ≥ 1.
Corolario 4.3. Sean γk1 : A → A (0 ≤ k < n) aplicaciones
k-lineales que satisfacen γk1 (1) = δ1k . Pongamos γj0 = δ0j id y
γu11 · · · γu1r para r ≥ 1 y 0 ≤ j < n.

X
γjr :=
u1 ,...,ur
u1 +···+ur =j
Si γjn = 0 para todo j < n y

n−1
X
γj1 (ab) = γk1 (a)γjk (b) para a, b ∈ A y 0 ≤ j < n,
k=0
entonces las aplicaciones γjr satisfacen las condiciones equiva-

lentes de la proposición 4.1.
Demostración. Por hipótesis sabemos que se cumplen (3)(b) and
(3)(c) de la proposición 4.1. Más aún, por la definición de los
γjr ’s es claro que γjr = 0 para r ≥ n y que las aplicaciones γjr
satisfacen items (3)(a) y (3)(d) de la misma proposición.
Asociado al twist s : C ⊗ A → A ⊗ C tenemos la matriz M ∈
Mn (Endk (A)) dada por
id 0 ... 0
 
 γ01 γ11 . . . γn−1
1

M =  ..
 .. ..  .
. . . 
γ0n−1 γ1n−1 . . . γn−1
n−1
Además, para a ∈ A definimos la matriz M (a) ∈ Mn+1 (A) por

medio de
M (a)ij := γji (a) (0 ≤ i, j ≤ n − 1)
Corolario 4.4. Las matrices M (a) cumplen:
(1) M (1) = Id.
(2) M (ab) = M (a)M (b).
PLANOS TORCIDOS 17
Teorema 4.5. Las fórmulas ϕ(a) := M (a) para a ∈ A, y
0 1 ··· 0
 
 ... .. . . .. 
. . . ,
ϕ(y) :=  (matriz de Jordan nilpot. J0 )
0 0 · · · 1
0 0 ··· 0
definen una representación fiel ϕ : A ⊗s C → Mn (A).
Demostración. Como ϕ(y)n = 0, para verificar que ϕ define un

morfismo de álgebras, solamente tenemos que garantizar que
ϕ(y)ϕ(a) = ϕ(γ01 (a)) + ϕ(γ11 (a))ϕ(y) + · · · + ϕ(γn−1

1
(a))ϕ(y)n−1 .
Pero notemos que
(
M (b)i+1,j para i < n − 1,
J0 M (b) ij
=
0 en otro caso,
(
u
M (b)i,j−u para j ≥ u,
M (b)J0 ij
=
0 en otro caso,
18 CHRISTIAN VALQUI
y ası́

ϕ(y)ϕ(a) ij
= J0 M (a) ij
= γji+1 (a)
γ 1 (a)
j
X
i
= γj−u u
u=0
j
X
M γu1 (a)

= i,j−u
u=0
n−1
X
M γu1 (a) J0u ij

=
u=0
n−1
X
ϕ(γu1 (a))ϕ(y)u

= ij
,
u=0
donde la segunda igualdad vale también en el caso i = n − 1, ya
que
J0 M (a) n−1,j = 0 = γjn (a).

La inyectividad sigue del hecho que la composición de ϕ con

la yección sobre la primera fila nos da el isomorfismo lineal
canónico A ⊗s C → An .
5. Twists de álgebras conmutativas con γ01 = 0

El objetivo de esta sección es estudiar twists s : C ⊗ A →
A ⊗ C con γ01 = 0, donde A es una k-álgebra conmutativa. La
aplicación γ11 juega un rol importante. Por ejemplo, es fácil
ver que si γ11 es un morfismo inyectivo, entonces s también es
inyectivo; y si s es sobreyectivo, entonces lo es γ11 . Por lo tanto,
cuando A es finito dimensional, s es biyectivo si y solamente
si lo es γ11 . Para simplificar las notaciones, dado un twist con
γ01 = 0, ponemos α := γ11 . Además denotaremos con αm a las
composición de m copias de α consigo mismo. Notemos que
PLANOS TORCIDOS 19
α es un endomorfismo de A y que M e una matriz triangular

superior. Durante esta sección A es un álgebra conmutativa y
dado un endomorfismo α : A → A, ponemos ∆ij = αi − αj .
Lema 5.1. Sea s : C ⊗ A → A ⊗ C un twist. Asumamos que
γ01 = 0. Valen las siguientes fórmulas:
(5.6)
j−1
X
γj1 (a)∆1j (b) = γj1 (b)∆1j (a) + (γk1 (a)γjk (b) − γk1 (b)γjk (a)).
k=2
γl1 γr+k−l

k
X
r+1 r
(5.7) γr+k = .
l=1
Demostración. Como γpq = 0 para q > p y A es conmutativo, la

proposición 4.1 (3)(c) nos da:
j j
X X
γj1 (ab) = γk1 (a)γjk (b) = γk1 (b)γjk (a).
k=1 k=1
La primera fórmula del enunciado sigue fácilmente de este hecho,
usando que γjj = αj . La segunda fórmula es consecuencia inme-
diata de la proposición 4.1 (3)(d), nuevamente porque γpq = 0
para q > p.
Proposición 5.2. Sea α un endomorfismo de A. Suponga-
mos que existe un b ∈ A, para el cual los elementos ∆12 (b),
∆13 (b), . . . , ∆1,n−1 (b) no son divisores del cero. Entonces, dados
elementos b2 , . . . , bn−1 ∈ A, existe a lo más un twist s : C ⊗ A →
A ⊗ C con γ01 = 0, γ11 = α y γj1 (b) = bj para j = 2, . . . , n − 1.
Demostración. Sean γ̄jr las aplicaciones asociadas a otro twist
s : C ⊗ A → A ⊗ C satisfaciendo las mismas condiciones que s.
r r
Probaremos que γr+k = γ̄r+k usando inducción en k. Para k = 0
esto es claro ya que
γrr = αr = γ̄rr .
20 CHRISTIAN VALQUI
r r
Asumamos que γr+k = γ̄r+k para k < j − 1 y todo r. Entonces,
por Lema 5.1, sabemos que
j−1
X
γj1 (a)∆1j (b) = γj1 (b)∆1j (a) + (γi1 (a)γji (b) − γi1 (b)γji (a))
i=2
j−1
X
= γ̄j1 (b)∆1j (a) + (γ̄i1 (a)γ̄ji (b) − γ̄i1 (b)γ̄ji (a))
i=2
= γ̄j1 (a)∆1j (b).
Luego γ̄j1 (a) = γj1 (a), pues ∆1j (b) no es un divisor de cero.
Finalmante, por el comentario 4.2,
γu11 · · · γu1r
X
r
γr+j−1 =
u1 ,...,ur
γ̄u11 · · · γ̄u1r

u1 +···+ur =r+j−1
X
=
u1 ,...,ur
u1 +···+ur =r+j−1
r
= γ̄r+j−1 ,
como deseabamos. Notemos que en un sumando no nulo cada
ui ≥ 1, puesPγ01 = 0, y por lo tanto, cada ui ≤ j ya que ui > j
lleva a ui + l6=i ul ≥ ui + r − 1 > r + j − 1.
Lema 5.3. Sean γk1 : A → A (1 ≤ k ≤ j − 1) aplicaciones
k-lineales. Pongamos γ01 = 0, γj0 = δj0 id y
γu11 · · · γu1r
X
(5.8) γkr := para 2 ≤ r ≤ k ≤ j.
u1 ,...,ur
u1 +···+ur =k
Si
n−1
X
γk1 (ab) = γl1 (a)γkl (b) para a, b ∈ A y 1 ≤ k < j,
l=0
entonces, para r > 1, las aplicaciones γjr satisfacen la Ley de
composición y la Ley del producto.
PLANOS TORCIDOS 21
Demostración. De la definición sigue inmediatamente la Ley de

composición. La Ley del producto se cumple por las siguientes
consideraciones.
γl1 γj−l

j
X
γjr+1 (ab) = r
(ab) por la Ley de composición
l=0
γl1 γj−l

j−1
X
r
= (ab) pues γ01 = 0
l=1
n−1
X
= γur+1 (a)γju (b)
u=0
j
X
= γur+1 (a)γju (b), pues γpq = 0 para q > p
u=r+1
donde la tercera igualdad se obtiene siguiendo paso a paso el

cálculo largo hecho ya en la demostración de la proposición 4.1
(solamente el rango de l se reduce).
Proposición 5.4. Sea A = k[x] y p1 (x), . . . , pn−1 (x) ∈ k[x].

Entonces existe un único twist s : C ⊗A → A⊗C tal que γj1 (x) =
pj (x) para j = 1, . . . , n − 1 y γ01 = 0.
Proof. Notemos primero que los γki ś satisfacen la ley del pro-
ducto si y solamente si M(k) (xt ) = M(k) (x)t , donde M(k) (a) ij =
γji (a) para i, j = 0, . . . , k. Luego
γji (xt ) = M(k) (x)t

(5.9) ij
para todo (i, j) 6= (1, k), si la ley del producto se cumple para
todo γji con (i, j) 6= (1, k). Para el lado derecho no se nece-

sitan las entradas M(k) (x)t 1k con t < m, ya que M(k) (x) es
22 CHRISTIAN VALQUI
triangular superior. Ahora podemos definir recursivamente

γ22 ,
γ21 , γ32 , γ33 ,
γ31 , γ42 , γ43 , γ44 ,
γ41 , γ52 , γ53 , γ54 , γ55 ,
..
.
1 2 n−2 n−1
γn−2 , γn−1 , . . . , γn−1 , γn−1 ,
1
γn−1 ,
usando la fórmula (5.8) para los γki ś con i > 1. Para los γk1
definimos primero la matriz M(k) (x) poniendo M(k) (x) 1k :=

pk (x) y M(k) (x) ij := γji (x) para (i, j) 6= (1, k). Luego ponemos
γk1 (xm ) := M(k) (x)m 1k .

Por el lema previo es claro que los γji ś satisfacen la ley del pro-
ducto y la de la composición para i ≥ 2. Por lo tanto solamente
necesitamos probar la ley del producto para los γk1 ś. Por linea-
lidad es suficiente probarla para elementos a = xm y b = xt .
Pero
γk1 (xm xt ) = M(k) (x)m+t 1k

= M(k) (x)m M(k) (x)t 1k

k
X
M(k) (x)m M(k) (x)t

= 1j jk
j=0
k
X
= γj1 (xm )γkj (xt ),
j=1
donde la última igualdad se deduce de (5.9) y la definición de

γj1 (xm ).
PLANOS TORCIDOS 23
Teorema 5.5. Sea α un endomorfismo de A. Asumamos que

existe b ∈ A tal que {∆ij (b) : 1 ≤ i < j < n} no son divisores
de cero y sea A∆ la localización de A en el sistema multiplica-
tivo ∆ generado por {∆ij (b) : 1 ≤ i < j < n}. Entonces, dados
elementos b2 , . . . , bn−1 ∈ A existe un twist
s : C ⊗ A∆ → A∆ ⊗ C
con γ01 = 0, γ11 |A = α y γk1 (b) = bk para k = 2, . . . , n − 1.
Demostración. Notemos primeramente que α induce un mor-
fismo γ11 : A∆ → A∆ . Definimos recursivamente
γ22 ,
γ21 , γ32 , γ33 ,
γ31 , γ42 , γ43 , γ44 ,
γ41 , γ52 , γ53 , γ54 , γ55 ,
..
.
1 2 n−2 n−1
γn−2 , γn−1 , . . . , γn−1 , γn−1 ,
1
γn−1 ,
usando la fórmula (5.6) para los γk1 ’s y la fórmula (5.8) para los
γki ’s con i > 1. Adicionalmente ponemos γj0 = δ0j idA y γjr = 0
para todo r > j y todo j < n. Por el lema 5.3, para probar el
teorema es suficiente verificar la ley del producto para los γk1 ’s.
Sea N la matriz (n − 1) × (n − 1) dada por
Nij := γji (1 ≤ i, j < n).
Notemos que N se obtiene de M eliminando la primera columna
y la primera fila. Llamamos Dk (a) a la matriz (n − 1) × (n − 1)
dada por
Dk (a)ij := δk,j−i γji (a),
donde i, j corre de 1 a n − 1. Más aún, para cada l ≤ n − 1
k
escribimos D(l) y N(l) (a) para denotar a las submatrices l × l
24 CHRISTIAN VALQUI
de las l primeras columnas y filas de Dk (a) y N (a), respecti-

k
vamente. Notemos que las entradas no nulas de D(l) (a) están
concentradas en la k-ésima diagonal (contada desde la diagonal
principal hacia arriba) y que
l−1
X
k
N(l) (a) = D(l) (a).
k=0
Suponemos que la ley del producto se cumple para γ11 , . . . , γl−1

1
,
1 r
y la probaremos para γl . Por el lema 5.3 sabemos que γj sa-
tisface la ley del producto para j ≤ l y r > 1. Afirmamos que
[N(l) (a), N(l) (b)] = 0. En efecto, la entrada (1, l) es
l−1
X
−γl1 (a)∆1l (b) + γl1 (b)∆1l (a) + (γj1 (a)γlj (b) − γj1 (b)γlj (a)),
j=2
que se anula por la definición de γl1 , y las otras entradas (i, j)

están dadas por
j
X
(γki (a)γjk (b) − γki (b)γjk (a)) = γji (ab) − γji (ba) = 0,
k=i
donde la prmera igualdad sigue de la ley del producto para j < l

y del hecho que γjk = 0 si k > j. Luego
l−1 0 l−2
[D(l) (a), N(l) (b)] = −[D(l) (a), N(l) (b)] − · · · − [D(l) (a), N(l) (b)]
para todo a ∈ A, y
[N(l)(a)N(l)(a0 ), N(l)(b)] =N(l)(a)[N(l)(a0 ), N(l)(b)]

+ [N(l)(a), N(l)(b)]N(l)(a0 )
=0
PLANOS TORCIDOS 25
para todo a, a0 ∈ A. Ahora por la hipótesis inductiva (ley del

i
producto para los γi+j ’s con i + j < l) sabemos que
j
j
X j−h 0
[D(l) (aa0 ), N(l) (b)] = h
[D(l) (a)D(l) (a ), N(l) (b)] para j < l − 1.
h=0
Por consiguiente,
l−1
[D(l) (aa0 ), N(l) (b)] =
0
= −[D(l) (aa0 ), N(l) (b)] − · · · − [D(l)
l−2
(aa0 ), N(l) (b)]
j
l−2 X
X j−h 0
h
=− [D(l) (a)D(l) (a ), N(l) (b)]
j=0 h=0
l−1
X
l−h 0
= h
[D(l) (a)D(l) (a ), N(l) (b)] − [N(l) (a)N(l) (a0 ), N(l) (b)]
h=0
l−1
X
h l−h 0
= [D(l) (a)D(l) (a ), N(l) (b)],
h=0
donde la tercera igualdad se deduce del hecho que

j
l−1 X
X j−h 0
0 h
N(l) (a)N(l) (a ) = D(l) (a)D(l) (a ),
j=0 h=0
porque N(l) (a)N(l) (a0 ) es una matriz l × l triangular superior

cuya diagonal j-ésima superior es jh=0 D(l) h j−h 0
P
(a)D(l) (a ). Esto
concluye la prueba, ya que
l−1
D(l) (aa0 ) = γl1 (aa0 )e1l ,
l−1
X l−1
X
l−1−h 0
h
D(l) (a)D(l) (a ) = 1
γh+1 (a)γlh+1 (a0 )e1l ,
h=0 h=0
[e1l , N(l) (b)] = ∆1l (b)e1l
26 CHRISTIAN VALQUI
y ∆1l (b) es invertible. Aquı́ e1l es la matriz l × l definida por

(e1l )ij = δ1i δlj .
Ejemplo 5.6. No es difı́cil encontrar ejemplos en los cuales las
condiciones de teorema previo se cumplen, como los siguientes:
(1) Sea k un cuerpo de carácteristica cero, A = k[x1 , . . . , xr ]
y tomemos b = x1 en el teorema. Sea α un morfismo
de álgebras con α(x1 ) = x1 + a, para algún a ∈ k \ {0}.
Entonces ∆ij (b) = (i − j)a es invertible.
(2) Sea K/k una extensión de Galois y asumamos que existe
un α ∈ Gal(K/k) y b ∈ K tal que b 6= αi (b) para 1 ≤ i ≤
n − 2. entonces ∆ij (b) es invertible para 1 ≤ i < j < n.
6. Extensiones polinomiales truncadas para
álgebras conmutativas
Sea A un k-álgebra conmutativa. El objetivo de la presente
sección es estudiar los twists s : C ⊗ A → A ⊗ C que satisfacen
la siguiente condición:
BM(h) Existen 1 < h ≤ n y x ∈ A tales que γ0h = 0 y q :=
γ0h−1 (x) no es un divisor de cero.
De ahora en adelante fijamos ambos, x y q. Denotamos por
M(h) (a) a las submatrices h × h formadas por las primeras h
filas y columnas de M (a).
Lema 6.1. Para cada j = 0, . . . , h−1 e i ≥ h, se cumple γji = 0.
Por lo tanto
M(h) (ab) = M(h) (a)M(h) (b) para todo a, b ∈ A.
Demostración. Por la ley de composición es suficiente probarlo
para i = h. Pongamos bj = γ0h−1−j (x) para j = 0, . . . , h − 1.
Entonces, por la ley de composición,
(
q si r = j,
γ0r (bj ) =
0 si r > j.
PLANOS TORCIDOS 27
Como
0 = γ1h (ab1 ) = M (ab1 )h0 = M (a)M (b1 ) h0 = qγ1h (a),

tenemos γ1h (a) = 0. Entonces

0 = γ1h (ab2 ) = M (ab2 )h0 = M (a)M (b2 ) h0 = qγ2h (a),

etcetera.
Proposición 6.2. Sea 0 < l ≤ bn/hc. Para cada i ≥ lh y
j ≤ lh − 1 la aplicación γji se anula.
Demostración. Procedemos por inducción en l. Para l = 1 el
resultado es exactamente el lema previo. Asumiendo que es
cierto para l ≥ 1, tenemos
γuh γj−u

j
X
i−h
γji = = 0,
u=0
pues en cada sumando γuh γj−u

para cada i ≥ (l + 1)h y j ≤ (l + 1)h − 1, que es lo deseado,
i−h
uno de los factores se anula.
Lema 6.3. Si para algún a ∈ A se cumple γ01 (a) = 0, entonces
M(h) (a) = aIh .
Demostración. Como γ01 (a) = 0, por la ley de composición te-
nemos que γ0i (a) = 0 para todo i > 0. Consideremos los mismos
bj ’s que en el lema anterior. Por el lema 6.1, la matriz M(h) (a)
conmuta con
b1 0 ... 0
 
q γ11 (b1 ) . . . γh−1
1
(b1 )
M(h) (b1 ) = 
 .. .. .. .
0 . . . 
0 γ1h−1 (b1 ) . . . h−1
γh−1 (b1 )
Luego
γ11 (a)q = M(h) (a)M(h) (b1 )

10
= M(h) (b1 )M(h) (a) 10
= qa,
28 CHRISTIAN VALQUI
y ası́ γ11 (a) = a. El mismo producto conmutativo de matrices en

las entradas (j, 0) para j = 2, . . . , h − 1, combinado con el hecho
de que γ0j = 0´, nos da qγ1j (a) = 0, luego γ1j (a) = 0. Ahora, como
γ00 (a) = γ11 (a) = a y γij = 0 para i = 0, 1 y j 6= i, la igualdad
M(h) (a)M(h) (b2 ) = M(h) (b2 )M(h) (a),
en las mismas entradas que anteriormente, nos da
γ22 (a) = a y γ2j (a) = 0 para j 6= 2.
Ahora aplicamos el mismo procedimiento sucesivamente con

M(h) (b3 ), . . . , M(h) (bn−1 ), y obtenemos el resultado deseado.
Notemos que B := ker γ01 es una subálgebra de A y que q ∈ B.
Proposición 6.4. Para i, j = 0, . . . , h−1, la aplicación γji : A →

A es B-lineal.
Demostración. Sean b ∈ B y a ∈ A. Del corolario 4.4 obtenemos
γji (ba) = M(h) (b)M(h) (a) ij

= bIh M(h) (a) ij

= b M(h) (a) ij
= bγji (a),
lo cual concluye la prueba.
Lema 6.5. Sean D una k-álgebra y g : D → D una aplicación

k-lineal. Asumamos que g h = 0 y que existe x ∈ D tal que
q := g h−1 (x) es invertible. Supongamos además que E := ker g
es una k-subálgebra de D y que g es una aplicación E-lineal.
Entonces D es un E-módulo libre de rango h. También se tiene
que B = {x, g(x), . . . , g h−1 (x)} es una base.
PLANOS TORCIDOS 29
Demostración. Consideremos una combinación E-lineal que se

anula
h−1
X
λi g i (x) = 0.
i=0
Aplicando g h−1 obtenemos λ0 g h−1 (x) = λ0 q = 0. Luego λ0 = 0.

Ahora aplicamos sucesivamente g h−2 , . . . g 1 y vemos que λ1 =
0, . . . , λh−1 = 0. Por lo tanto B es linealmente independiente.
Resta probar que B genera a D como E-módulo. Para cada
h−1
a ∈ D, el elemento λ0 := g q (a) pertenece a E. Además
g h−1 (a) = λ0 q = λ0 g h−1 (x).

Pongamos a1 = a − λ0 x. Como g es E-lineal g h−1 (a1 ) = 0, y ası́
g h−2 (a1 ) = λ1 q = λ1 g h−1 (x),
g h−2 (a1 )
con λ1 = q
∈ B. Pero entonces
g h−2 (a) = λ0 g h−2 (x) + λ1 g h−1 (x).

Procediendo recursivamente de la misma manera, definimos ai =
h−i−1
ai−1 − λi−1 g i−1 (x) y λi = g q (ai ) , y obtenemos
h−1
X
a= λi g i (x),
i=0
lo cual completa la prueba.

Como consecuencia inmediata de la proposición 6.4, los γji
(0 ≤ i, j < h) se extienden al álgebra A(q) de fracciones de A
respecto a las potencias de q, por medio de
!
a γji (a)
γji l := .
q ql
30 CHRISTIAN VALQUI
Teorema 6.6. El álgebra A(q) es un módulo libre de rango h so-

bre B(q) (notemos que q = γ0h−1 (x) = (γ01 )h−1 (x) ∈ B). Además
B = {x, γ01 (x), . . . , γ0h−1 (x)} es una base.
Demostración. Aplicar el lema con D = A(q) , E = B(q) y g =
γ01 .
Corolario 6.7. Sea A una k-álgebra finito-dimensional conmu-
tativa. Si existe un twist que satisface las condiciones requeri-
das al inicio de esta sección, entonces h|dimk (A) y dimk (A) =
h · dimk (B).
Demostración. Sigue del teorema 6.6, pues el no-divisor del cero
q es invertible.
Proposición 6.8. Para cada b ∈ B la matriz M (b) es triangular
superior. Más aún,
lh lh+1 lh+h−1
γlh (b) = γlh+1 (b) = · · · = γlh+h−1 (b) para 0 ≤ l < bn/hc,
y
bn/hch n−1
γbn/hch (b) = · · · = γn−1 (b), si h no divide a n.
Demostración. Para probar que M (b) es triangular superior es
lh+i
suficiente verificar que γlh+u (b) = 0 para l ≥ 0, 0 ≤ u < h y
i > u. Si i ≥ h, esto sigue de la proposición 6.2. Por lo tanto
podemos asumir que u < i < h. Sea i0 = lh + i y u0 = lh + u.
Tenemos
γulh0 −j γji (b) + γulh0 −j γji (b) = 0,

i−1 u0
0
X X
γui 0 (b) =
j=0 j=i
pues
γji (b) = 0 para b ∈ B y j < i,
por el lema 6.3, y
γulh0 −j = 0 para j > u,
por la proposición 6.2.
PLANOS TORCIDOS 31
Ahora probaremos las igualdades. Sea 0 ≤ u < h. Entonces
γulh0 −j γju (b) lh u

γulh0 −j γju (b)
h−1 u0
0
X X
γuu0 (b) = + γlh γu (b) +
j=0 j=h
lh u
j6=u
= γlh γu (b)
lh
= γlh (u),
pues γju (b) = 0 para j < h, j 6= u, γuu (b) = b y γulh0 −j = 0 para
j > u.
Proposición 6.9. Sea l ≤ b(n − 1)/hc. Asumamos que existe
lh+h−1
xl ∈ A tal que ql := γlh (xl ) no es divisor de cero. Entonces
lh+i
γlh+j (b) = 0 para b ∈ B, 0 ≤ i < j < h y lh + j < n.
(l)
Demostración. Pongamos bj = γ0h−1−j (xl ) para j = 0, . . . , h−1.
Por la ley de composición y la proposición 6.2,
lh u lh u
lh
X
lh+u
γlh = γlh−k γk = γlh γ0 para todo u ≥ 0.
k=0
Ası́,
lh+r (l) lh
γ0r+h−1−j (xl )

γlh (bj ) =γlh
lh+r+h−1−j
=γlh (xl )
(
ql si r = j,
=
0 si r > j,
donde la última igualdad para r > j, sigue de la proposición 6.2
y del hecho que en este caso, lh + r + h − 1 − j ≥ l(h + 1). Ahora,
nuevamente por Proposition 6.2
(l)
γklh+i (bj ) = 0 para k < lh.
32 CHRISTIAN VALQUI
Sea b ∈ B. Por la proposición 6.8

k
γlh (b) = 0 para k > lh y γklh+i (b) = 0 para k < lh + i.
Luego,
lh+i (l) lh (l)
γlh (bj )γlh (b) = M (bj )M (b) lh+i,lh
(l)
= M (b)M (bj ) lh+i,lh
j
X (l)
lh+i lh+k
= γlh+k (b)γlh (bj )
k=i
j−1
X (l)
lh+i lh+k lh+i
= γlh+k (b)γlh (bj ) + γlh+j (b)ql .
k=i+1
lh+i lh
Como γlh+i (b) = γlh (b) por la proposición 6.8, obtenemos
j−1
X (l)
lh+i lh+k lh+i
γlh+k (b)γlh (bj ) + γlh+j (b)ql = 0.
k=i+1
lh+i
De esto sigue por inducción en j que γlh+j (b) = 0 para j =
i + 1, . . . , h − 1.
Teorema 6.10. Sea h > 1 un divisor de n y sean gl : A → A
(0 ≤ l ≤ n/h − 1) aplicaciones k-lineales que satisfacen gl (1) =
0. Asumamos que g0h = 0 y que existe x tal que q := g0h−1 (x)
es invertible. Supongamos además que B := ker(g0 ) es una k-
subálgebra de A y que los gl ’s son B-lineales. Entonces existe
1
un único twist s : C ⊗ A → A ⊗ C tal que γlh = gl .
Demostración. Como 0 = g0 ( 1q · q) = g0 ( 1q )q = 0, tenemos que
1
q
∈ B. Reemplazando x por xq podemos asumir que g0h−1 (x) =
1. Ahora ponemos γj0 := δ0j id, y para l creciente, definimos
1
γlh := gl , y luego:
r
- Primero γlh para r ≥ 2, usando la fórmula (4.5),
PLANOS TORCIDOS 33
1
- Luego, γlh+j por medio de
lh+j−1
X
1 1
γlh+j (a) := γlh (abj ) − γk1 (a)γlh
k
(bj ) para 1 ≤ j < h,
k=0
donde bj = γ0h−1−j (x).

- Finalmente, γjr para r ≥ 2 y lh + 1 ≤ j ≤ lh + h − 1,
usando la fórmula (4.5).
Por construcción los γjr son B-lineales y γj1 (1) = δ1j . Luego, por
el corolario 4.3, para probar el teorema es suficiente mostrar que
γjn = 0 para j < n y que los γj1 ’s satisfacen la ley del producto.
Para lograr esta meta necesitamos usar la ley de composición
que se deduce inmediatamente de la definición de los γjr ’s, y de
que γjr (1) = δrj para todo r. Esto último sigue fácilmente del
caso r = 1, usando la fórmula
γu11 · · · γu1r .
X
γjr :=
u1 ,...,ur
u1 +···+ur =j
En lo que sigue vamos a probar la ley del producto para cada

bloque de γj1 ’s con lh ≤ j ≤ lh + h − 1, en cinco pasos.
lh+h−1
Primer paso: Probar que γlh (x) = 1.
Segundo paso: Probar que γji = 0 para j < lh + h y i ≥ lh + h.
1
Tercer paso: Verificar la ley del producto para γlh .
Cuarto paso: Verificar la ley del producto para γjr con r > 1 y
j ≤ lh.
1 1
Quinto paso: Verificar ley del producto para γlh+1 , . . . , γlh+h−1 .
Para l = 0 tenemos:
Primer paso. Esto se cumple por hipótesis.
Segundo paso. Esto sigue de la prueba del lema 6.1 ya que re-
quiere solamente las aplicaciones γjr , con r ≥ 0 y 0 ≤ j < h,
que satisfagan la ley del producto y la de la composición (y no
la existencia de un twist).
34 CHRISTIAN VALQUI
Tercer paso. Como los γjr son B-lineales y, por lema 6.5,
{γ0r (x) : 0 ≤ r < h}
es una B-base de A, es suficiente probar que
n−1
X
γ01 aγ0r (x) γk1 (a)γ0k γ0r (x)

= para 0 ≤ r < h.
k=0
Para r = h − 1 esto se deduce del hecho que γ0h−1 (x) = 1 y

γ0k (1) = δk0 , mientras que para r ≤ h − 2, esto sigue de la
definición de los γj1 ’s para 1 ≤ j ≤ h − 1 y del hecho que
γ0h−1 (x) = 1 y que γ0k (x) = 0 si k ≥ h.
Cuarto paso. Asumiendo que el resultado vale para r procede-
mos como en la prueba del ı́tem (2)(c) en la parte (3) ⇒ (2) de
la prueba de la proposición 4.1, y obtenemos
γ0r+1 (ab) = γ01 γ0r (ab) =

n−1
X
γur+1 (a)γ0u (b).
u=0
Quinto paso. Sea 0 < j < h. Asumamos que la ley del producto
se cumple para γi1 con i < j. Entonces tenemos
j−1
X
γj1 (ab) = γ01 (abbj ) − γi1 (ab)γ0i (bj )
i=0
n−1 j−1 n−1
X X X
= γu1 (a)γ0u (bbj ) − γu1 (a)γiu (b)γ0i (bj ) por h.i.
u=0 i=0 u=0
j−1
n−1
!
X X
= γu1 (a) γ0u (bbj ) − γiu (b)γ0i (bj )
u=0 i=0
j−1
n−1 n−1
!
X X X
= γu1 (a) γiu (b)γ0i (bj ) − γiu (b)γ0i (bj ) paso 4.
u=0 i=0 i=0
PLANOS TORCIDOS 35
n−1
X
= γu1 (a)γju (b),
u=0
donde para la última igualdad usamos que γ0j (bj ) = 1 y γ0i (bj ) =
0 para i > j.
A continuación, asumiendo que hemos realizado los cinco pa-
sos hasta l − 1, ejecutamos los cinco pasos para l.
Primer paso. Por la ley de composición,
γuh γlh−u

lh+h−1
X
lh+h−1 lh−1
γlh (x) = (x) = γhh (1) = 1,
u=0
lh−1 lh−1
pues γuh= 0 para u < h, γlh−u = 0 para u > h y γlh−h (x) = 1.
Segundo paso. Por la ley de composición, para cada i ≥ lh + h
y j < lh + h, tenemos que
γuh γj−u

j
X
i−h
γji = = 0,
u=0
i−h
ya que γuh = 0 para u < h y γj−u = 0 para u ≥ h.
r
Tercer paso. Como los γj son B-lineales y, por lema 6.5,
{γ0r (x) : 0 ≤ r < h}
es una B-base de A, es suficiente mostrar que
n−1
X
1
aγ0r (x) γk1 (a)γlh
k
γ0r (x)

γlh = para 0 ≤ r < h.
k=0
Para r = h − 1 esto se deduce las igualdades γ0h−1 (x) = 1 y

k
γlh (1) = δk,lh , mientras que para r ≤ h − 2, esto sigue de la
1
definición de los γlh+j ’s para 1 ≤ j ≤ h − 1 y de que
lh+j
γlh (γ0h−1−j (x)) = 1 y γlh
lh+k
(γ0h−1−j (x)) = 0
cuando k > j (como vimos en la prueba de la proposición 6.9).
36 CHRISTIAN VALQUI
Cuarto paso. Asumiendo el resultado probado para r y argu-

mentando como en el caso l = 0 obtenemos
γk1 γj−k

j n−1
X X
γjr+1 (ab) = r
(ab) = γur+1 (a)γju (b).
k=0 u=0
Quinto paso. Argumentando como en la prueba de la propo-

sición 6.9, usando el cuarto paso, tenemos que
lh+i+r+u
γlh = γ0i γlh
lh+r u
γ0 , para i, r, u ≥ 0,
y por lo tanto
lh+h−1
X
γiu (b)γlh
i
γ0h−j−1 (x) = γlh+j
u lh+h−1 u

(b)γlh (x) = γlh+j (b),
i=lh+j
para j ≥ 1. Supongamos que la ley del producto se cumple

1
para γi1 con i < lh + j. Entonces, por la definición de γlh+j , la
hipótesis inductiva y el cuarto paso,
lh+j−1
X
1 1
γlh+j (ab) = γlh (abbj ) − γi1 (ab)γlh
i
(bj )
i=0
n−1 lh+j−1 n−1
X X X
= γu1 (a)γlh
u
(bbj ) − γu1 (a)γiu (b)γlh
i
(bj )
u=0 i=0 u=0
lh+j−1
n−1
!
X X
= γu1 (a) γlh
u
(bbj ) − γiu (b)γlh
i
(bj )
u=0 i=0
lh+j−1
n−1 n−1
!
X X X
= γu1 (a) γiu (b)γlh
i
(bj ) − γiu (b)γlh
i
(bj )
u=0 i=0 i=0
n−1 n−1
!
X X
= γu1 (a) γiu (b)γlh
i
(bj ) .
u=0 i=lh+j
PLANOS TORCIDOS 37
Como se cumple
(
lh+r 1 if r = j,
γlh (bj ) =
0 if r > j,
(como se vio en la prueba de la proposición 6.9), obtenemos que

n−1
X
1
γlh+j (ab) = γu1 (a)γlh+j
u
(b),
u=0
lo cual concluye la prueba.

Proposición 6.11. Para cada r = 1, . . . , h, tenemos que:
γ01
r−1
!
X
γjh−r+j = 0.
En particular γ01 Tr(M(h) ) = 0.

j=0
r = 1 es obviamente cierto, pues γ01 γ0h−1 = γ0h = 0. Asumamos

Demostración. Procedemos por inducción en r = 1, . . . , h. Para
entonces que r > 1 y
γ01
r−i−1
!
X h−r+i+j
γj = 0 para 1 ≤ i < r,
j=0
lo cual por el lema 6.3 implica
γ11
r−2
! r−2
X X h−r+1+j
(6.10) γjh−r+1+j = γj
j=0 j=0
γl1
r−i−1
!
X
(6.11) γjh−r+i+j = 0 para l ≥ 2.
j=0
38 CHRISTIAN VALQUI
Por la ley de composición tenemos
γ01 γjh−r+j γi1 γj−i

j
X
γjh−r+1+j = + h−r+j
.
i=1
De modo que, sumando para j desde 0 a r − 1, se obtiene
= γ01 γi1 γj−i

r−1 r−1
! r−1 j
X h−r+1+j
X h−r+j
XX h−r+j
γj γj +
j=0 j=0 j=1 i=1
= γ01 + γ11

r−1
! r−1
!
X X
γjh−r+j h−r+j
γj−1
j=0 j=1
γi1 γj−i

r−1 X
X r−1
h−r+j
+ .
i=2 j=i
Pero ahora, por (6.10),
γ11 = γ11

r−1
! r−2
! r−2
X h−r+j
X h−r+1+j
X h−r+1+j
γj−1 γj−1 = γj−1 ,
j=1 j=0 j=0
por (6.11),
γi1 γj−i = γi1

r−1 r−i−1
!
X h−r+j
X
γjh−r+i+j = 0,
j=i j=0
y por lema 6.1, cada γjh es cero, tenemos que
γjh−r+1+j = γ01

r−2 r−1
! r−2
X X X h−r+1+j
γjh−r+j + γj .
j=0 j=0 j=0
Esto prueba la primera afirmación. La útima se obtiene to-

mando r = h.
PLANOS TORCIDOS 39
References
[C-S-V] A. Cap, H. Schichl and J. Vanz̃ura On twisted tensoir products of
algebras, Communications in Algebra, Vol 23 (1995) 4701–4735.
[Ca] P. cartier Produits tensorieles tordus, Exposé au Séminaire des
groupes quantiques de’l École Normale Supérieure, Paris (1991-
1992).
[C-I-M-Z] S. Cænepel, B. Ion, G. Militarú, S. Zhu The factorisation pro-
blem and smah biproducts of algebras an coalgebras, Algebr. Re-
present. Theory, Vol 3 (2000) 14–42.
[G-G-V] J. A. Guccione, J. J. Guccione and C. Valqui Twisted Planes,
Communications in Algebra , Vol. 38, Issue 5 (2010), 1930-1956
.
[G-G] J. A. Guccione and J. J. Guccione Hochschild Homology ofTwis-
ted Tensor Products, K-Theory, vol 18 (4) (1999) 363-400.
[Ka] C. Kassel Quantum groups, Graduate Texts in Mathematics, Vol
155 Springer-Verlag, New Xork (1995).
[Ma] S. Majid Algebras and Hopf algebras in braided categories, Ad-
vances in Hopf algebras, Marcel Dekker (1993).
[Mo] S. Montgomery Hopf algebras and their actions on rings, CBMS
Regional Conference Series in Mathematics, vol 82 AMS Provi-
dence Rhode Island (1993).
[Tam] D. Tambara The coendomorphism bialgebra of an algebra, J. Fac
Sci. Univ. Tokio Sect. IA Math, vol 34 (1990) 425–456.
[VD-VK] A. Van Daele and S. Van Keer The Xang Baxter and the penta-
gon equation, Compositio Math., Vol 91 (1994) 201–221.

Valqui Christian - Planos Torcidos

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Valqui Christian - Planos Torcidos

Cargado por

Copyright:

Formatos disponibles

2 CHRISTIAN VALQUI

El objetivo de este minicurso es presentar las nociones básicas

Si ahora vemos el morfismo de multiplicación como una apli-

µA⊗B = (µA ⊗ µB ) ◦ (IdA ⊗ σ ⊗ IdB ),

donde σ : B ⊗ A → A ⊗ B es el flip, que simplemente intercam-

µs = (µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB ).

Vamos a llamar A ⊗s B al álgebra ası́ obtenida.

los twists. En algunos casos podemos dar una clasificación com-

2. Condiciones generales para twists

Proposición 2.1. Para que µs sea asociativo y las inclusiones

s ◦ (IdB ⊗ µA ) = (µA ⊗ IdB )  (IdA ⊗ s)  (s ⊗ IdA ),

s ◦ (µB ⊗ IdA ) = (IdA ⊗ µB )  (s ⊗ IdB )  (IdB ⊗ s),

Demostración: Supongamos primero que µs es asociativo y las

similarmente se prueba (b). Veamos ahora que se cumple (c).

ιB (b) ιA (a)ιA (a0 ) = ιB (b)ιA (a) ιA (a0 )

de las dos distintas maneras. Por un lado tenemos

ιB (b) ιA (a)ιA (a0 ) = (1A ⊗ b)(aa0 ⊗ 1B )

Por otro lado se tiene

ιB (b)ιA (a) ιA (a0 ) = s(b ⊗ a) · (a0 ⊗ 1B )

=(µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB ) ◦ (s ⊗ IdA ⊗ IdB )(x ⊗ 1B )

donde x = b ⊗ a ⊗ a0 . Similarmente, evaluando

ιB (b) ιB (b0 )ιA (a) = ιB (b)ιB (b0 ) ιA (a),

(2.1) (µA ⊗ µB ) ◦ (IdA ⊗ µA ⊗ µB ⊗ IdB )

Por un lado tenemos

=(µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB ) ◦ (µA ⊗ µB ⊗ IdA ⊗ IdB )

=(µA ⊗ µB ) ◦ (µA ⊗ [(IdA ⊗ µB )  (s ⊗ IdB )  (IdB ⊗ s)] ⊗ IdB )

◦ (IdA ⊗ s ⊗ IdB ⊗ IdA ⊗ IdB )

donde la penúltima igualdad se obtiene usando (d), y la última

µA = µA ◦ (IdA ⊗ IdA ) ◦ (IdA ⊗ IdA ).

La última expresión es igual a (2.1), pues

(IdA ⊗ IdA ⊗ IdB ⊗ s ⊗ IdB ) ◦ (IdA ⊗ s ⊗ IdB ⊗ IdA ⊗ IdB )

y por la asociatividad de la multiplicación en A se tiene

(µA ⊗ µB ) ◦ (µA ⊗ IdA ⊗ µB ⊗ IdB )

Similarmente, usando la asociatividad en B y el ı́tem (c), se

Ahora notamos que 1A ⊗ 1B es el elemento neutro de la mul-

Comentario 2.2. Para manejar este tipo de pruebas engorrosas

s ◦ (IdB ⊗ µA ) = (µA ⊗ IdB )  (IdA ⊗ s)  (s ⊗ IdA ),

s ◦ (µB ⊗ IdA ) = (IdA ⊗ µB )  (s ⊗ IdB )  (IdB ⊗ s)

Ahora se puede seguir más fácilmente la prueba desde

que se grafica ası́:

que corresponde al gráfico

El producto tensorial torcido A ⊗s B tiene la siguiente pro-

µC  (g ⊗ f ) = µC  (f ⊗ g)  s,

entonces existe un único morfismo de álgebras h : A ⊗s B → C

La composición es la evidente. Dos twists s, t : B ⊗ A → A ⊗

El siguiente resultado es útil para verificar si una cierta apli-

Entonces las condiciones se escriben de la siguiente manera:

Proposición 3.1. Un conjunto de aplicaciones γji : A → A

(d) Para todo 0 ≤ k ≤ r, tenemos

γlk  γj−l

(e) Para cada a y r fijos existe un N = N (a, r) tal que

Demostración. Es claro que (a) y (b) corresponden a los mismos

Dada una familia de aplicaciones (αj : A → A)j≥0 e ı́ndices

αn1  · · ·  αnr . Más aún escribimos

Corolario 3.2. Sea A un álgebra y s : k[Y ] ⊗ A → A ⊗ k[Y ] un

define una familia de aplicaciones αj : A → A, que satisface:

para todo r ≥ 0 y a ∈ A. Por otro lado, dadas aplicaciones

Ejemplo 3.4. Si α : A → A es un endomorfismo de álgebras y

s(Y ⊗ a) = α(a) ⊗ Y + δ(a) ⊗ 1 para todo a ∈ A.

Este ejemplo corresponde al caso clásico de extensiones de Ore.

Ejemplo 3.5. En el caso particular en que A = k[x], α0 = 0 y

Ejemplo 3.6. Sea A = k[t]/ht2 i. Consideremos la familia de

α0 = 0, α1 = id, α2 (λ + µt) = µt and αj = 0 for j > 2.

La fórmula s(Y ⊗ a) = α1 (a) ⊗ Y + α2 (a) ⊗ Y 2 define un twist.

s ◦ (IdB ⊗ µA ) = (µA ⊗ IdB ) (IdA ⊗ s) (s ⊗ IdA ),

s ◦ (µB ⊗ IdA ) = (IdA ⊗ µB ) (s ⊗ IdB ) (IdB ⊗ s),

=(µA ⊗ µB ) ◦ (µA ⊗ [(IdA ⊗ µB ) (s ⊗ IdB ) (IdB ⊗ s)] ⊗ IdB )

s ◦ (IdB ⊗ µA ) = (µA ⊗ IdB ) (IdA ⊗ s) (s ⊗ IdA ),

s ◦ (µB ⊗ IdA ) = (IdA ⊗ µB ) (s ⊗ IdB ) (IdB ⊗ s)

µC (g ⊗ f ) = µC (f ⊗ g) s,

γlk γj−l

αn1 · · · αnr . Más aún escribimos

γlk γj−l

γl1 γj−l

s(y r ⊗ ab) = (µA ⊗ C) (A ⊗ s) (s ⊗ A)(y r ⊗ a ⊗ b),

s(y r y t ⊗ a) = (A ⊗ µC ) (s ⊗ C) (C ⊗ s)(y r ⊗ y t ⊗ a),

γh1 γj−h

γh1 γuk γj−h−u

γh1 γl−h

γh1 γl−h

γlk+1 γj−l

γl1 γj−l

γu11 · · · γu1r

γu11 · · · γu1r para r ≥ 1 y 0 ≤ j < n.

γl1 γr+k−l

γ̄u11 · · · γ̄u1r

γl1 γj−l

γl1 γj−l

γuh γj−u

pues en cada sumando γuh γj−u