2 CHRISTIAN VALQUI

El objetivo de este minicurso es presentar las nociones b´ asicas
de las construcciones llevadas a cabo por el autor conjuntamente
con J.A. Guccione y J.J. Guccione. El caso m´ as 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 trav´es de un cierto morfismo
de torcimiento llamado ”Twisting map” o twist.
La definici´on usual de la multiplicaci´ on en el producto tenso-
rial de dos ´ algebras A ⊗ B es la siguiente:
(a
1
⊗ b
1
) (a
2
⊗ b
2
) = a
1
a
2
⊗ b
1
b
2
.
Si ahora vemos el morfismo de multiplicaci´ on como una apli-
caci´ on desde el producto tensorial hacia el ´ algebra µ
A
: A⊗A →
A, la definici´ on anterior nos da:
µ
A⊗B
= (µ
A
⊗ µ
B
) ◦ (Id
A
⊗ σ ⊗ Id
B
),
donde σ : B ⊗A → A⊗B es el flip, que simplemente intercam-
bia los factores. Las preguntas que se plantean ahora son: ¿Se
podr´a reemplazar el flip por alg´ un otro morfismo lineal y obtener
a´ un una estructura de ´ algebra asociativa en el producto tenso-
rial? ¿Qu´e 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 ´ algebra asociativa en A ⊗ B a trav´es
del morfismo de multiplicaci´on µ
s
: A ⊗ B ⊗ A ⊗ B → A ⊗ B
definido por
µ
s
= (µ
A
⊗ µ
B
) ◦ (Id
A
⊗ s ⊗ Id
B
).
Vamos a llamar A ⊗
s
B al ´algebra as´ı obtenida.
Primero daremos condiciones muy generales que deben cumplir
PLANOS TORCIDOS 3
los twists. En algunos casos podemos dar una clasificaci´on com-
pleta de estos twists, y en general obtenemos nuevas familias
que dan muchos ejemplos de ´algebras no conmutativas.
2. Condiciones generales para twists
Vamos a derivar condiciones generales para los twists, par-
tiendo de la asociatividad que debe tener el ´ algebra A ⊗
s
B
y de que las inclusiones ι
A
: A → A ⊗
s
B, a → a ⊗ 1 y
ι
B
: B → A ⊗
s
B, b → 1 ⊗ b sean morfismos de ´ algebras.
Proposici´on 2.1. Para que µ
s
sea asociativo y las inclusiones
ι
A
y ι
B
sean morfismos de ´algebras es suficiente y necesario que
s cumpla las siguientes condiciones:
(a) s(1 ⊗ a) = a ⊗ 1,
(b) s(b ⊗ 1) = 1 ⊗ b,
(c) s ◦ (Id
B
⊗ µ
A
) = (µ
A
⊗ Id
B
)
×ÖÕÔ ÐÑÒÓ
(Id
A
⊗ s)
×ÖÕÔ ÐÑÒÓ
(s ⊗ Id
A
),
(d) s ◦ (µ
B
⊗ Id
A
) = (Id
A
⊗ µ
B
)
×ÖÕÔ ÐÑÒÓ
(s ⊗ Id
B
)
×ÖÕÔ ÐÑÒÓ
(Id
B
⊗ s),
para todo a ∈ A y b ∈ B.
Demostraci´on: Supongamos primero que µ
s
es asociativo y las
inclusiones ι
A
y ι
B
son morfismos de ´ algebras. Entonces
a ⊗ 1 = ι
A
(1
A
a)
= ι
A
(1
A
) ι
A
(a)
= µ
A
⊗ µ
B
(1
A
⊗ s(1
B
⊗ a) ⊗ 1
B
)
= s(1
B
⊗ a),
similarmente se prueba (b). Veamos ahora que se cumple (c).
Para esto evaluemos
ι
B
(b)

ι
A
(a)ι
A
(a

)

=

ι
B
(b)ι
A
(a)

ι
A
(a

)
4 CHRISTIAN VALQUI
de las dos distintas maneras. Por un lado tenemos
ι
B
(b)

ι
A
(a)ι
A
(a

)

= (1
A
⊗ b)(aa

⊗ 1
B
)
= s(b ⊗ aa

)
= s ◦ (Id
B
⊗ µ
A
)(b ⊗ a ⊗ a

).
Por otro lado se tiene

ι
B
(b)ι
A
(a)

ι
A
(a

) = s(b ⊗ a) (a

⊗ 1
B
)
=(µ
A
⊗ µ
B
) ◦(Id
A
⊗ s ⊗ Id
B
) ◦ (s ⊗ Id
A
⊗ Id
B
)(x ⊗ 1
B
)
=(µ
A
⊗ µ
B
)

(Id
A
⊗ s) ◦ (s ⊗ Id
A
)

(x) ⊗ 1
B

=(µ
A
⊗ Id
B
)
×ÖÕÔ ÐÑÒÓ
(Id
A
⊗ s)
×ÖÕÔ ÐÑÒÓ
(s ⊗ Id
A
)(x),
donde x = b ⊗ a ⊗ a

. Similarmente, evaluando
ι
B
(b)

ι
B
(b


A
(a)

=

ι
B
(b)ι
B
(b

)

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

A
⊗ µ
B
) ◦ (Id
A
⊗ µ
A
⊗ µ
B
⊗ Id
B
) (2.1)
◦ (Id
A
⊗ Id
A
⊗ s ⊗ Id
B
⊗ Id
B
) ◦ (Id
A
⊗ s ⊗ s ⊗ Id
B
).
Por un lado tenemos
µ
s
◦ (µ
s
⊗ Id
A⊗B
) =
=(µ
A
⊗ µ
B
) ◦ (Id
A
⊗ s ⊗ Id
B
)
◦ [


A
⊗ µ
B
) ◦ (Id
A
⊗ s ⊗ Id
B
)

⊗ Id
A
⊗ Id
B
]
PLANOS TORCIDOS 5
=(µ
A
⊗ µ
B
) ◦ (Id
A
⊗ s ⊗ Id
B
) ◦ (µ
A
⊗ µ
B
⊗ Id
A
⊗ Id
B
)
◦ (Id
A
⊗ s ⊗ Id
B
⊗ Id
A
⊗ Id
B
)
=(µ
A
⊗ µ
B
) ◦ (Id
A
◦ µ
A
⊗ [s ◦ (µ
B
⊗ Id
A
)] ⊗ Id
B
◦ Id
B
)
◦ (Id
A
⊗ s ⊗ Id
B
⊗ Id
A
⊗ Id
B
)
=(µ
A
⊗ µ
B
) ◦ (µ
A
⊗ [s ◦ (µ
B
⊗ Id
A
)] ⊗ Id
B
)
◦ (Id
A
⊗ s ⊗ Id
B
⊗ Id
A
⊗ Id
B
)
=(µ
A
⊗ µ
B
) ◦ (µ
A
⊗ [(Id
A
⊗ µ
B
)
×ÖÕÔ ÐÑÒÓ
(s ⊗ Id
B
)
×ÖÕÔ ÐÑÒÓ
(Id
B
⊗ s)] ⊗ Id
B
)
◦ (Id
A
⊗ s ⊗ Id
B
⊗ Id
A
⊗ Id
B
)
=[(µ
A
⊗ µ
B
) ◦ (µ
A
⊗ Id
A
⊗ µ
B
⊗ Id
B
)]
◦ (Id
A
⊗ Id
A
⊗ s ⊗ Id
B
⊗ Id
B
)
◦ (Id
A
⊗ Id
A
⊗ Id
B
⊗ s ⊗ Id
B
)
◦ (Id
A
⊗ s ⊗ Id
B
⊗ Id
A
⊗ Id
B
),
donde la pen´ ultima igualdad se obtiene usando (d), y la ´ ultima
usando que
µ
A
= µ
A
◦ (Id
A
⊗ Id
A
) ◦ (Id
A
⊗ Id
A
).
La ´ ultima expresi´ on es igual a (2.1), pues
(Id
A
⊗ Id
A
⊗ Id
B
⊗ s ⊗ Id
B
) ◦ (Id
A
⊗ s ⊗ Id
B
⊗ Id
A
⊗ Id
B
)
= [(Id
A
⊗ Id
A
⊗ Id
B
) ◦ (Id
A
⊗ s)]
⊗ [(s ⊗ Id
B
) ◦ (Id
B
⊗ Id
A
⊗ Id
B
)]
= Id
A
⊗ s ⊗ s ⊗ Id
B
,
6 CHRISTIAN VALQUI
y por la asociatividad de la multiplicaci´ on en A se tiene

A
⊗ µ
B
) ◦ (µ
A
⊗ Id
A
⊗ µ
B
⊗ Id
B
)
= [µ
A
◦ (µ
A
⊗ Id
A
)] ⊗ [µ
B
◦ (µ
B
⊗ Id
B
)]
= [µ
A
◦ (Id
A
⊗ µ
A
)] ⊗ [µ
B
◦ (µ
B
⊗ Id
B
)]
= (µ
A
⊗ µ
B
) ◦ (Id
A
⊗ µ
A
⊗ µ
B
⊗ Id
B
).
Similarmente, usando la asociatividad en B y el ´ıtem (c), se
obtiene que
µ
s
◦ (Id
A⊗B
⊗ µ
s
)
=(µ
A
⊗ µ
B
) ◦ (Id
A
⊗ s ⊗ Id
B
)
◦ [Id
A
⊗ Id
B


A
⊗ µ
B
) ◦ (Id
A
⊗ s ⊗ Id
B
)

]
es igual a (2.1).
Ahora notamos que 1
A
⊗ 1
B
es el elemento neutro de la mul-
tiplicaci´ on y que (a) y (b) implican que las inclusiones ι
A
y ι
B
son homomorfismos de ´ algebras 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 alg´ un morfismo producto tenso-
rial y las composiciones van bajando nivel a nivel en el gr´afico.
Por ejemplo la igualdad (c)
s ◦ (Id
B
⊗ µ
A
) = (µ
A
⊗ Id
B
)
×ÖÕÔ ÐÑÒÓ
(Id
A
⊗ s)
×ÖÕÔ ÐÑÒÓ
(s ⊗ Id
A
),
PLANOS TORCIDOS 7
se ver´ıa as´ı:
B A A

d
d
d
d
d

A B
=
B A A

d
d
d
d
d
d
d

A B
y la igualdad (d)
s ◦ (µ
B
⊗ Id
A
) = (Id
A
⊗ µ
B
)
×ÖÕÔ ÐÑÒÓ
(s ⊗ Id
B
)
×ÖÕÔ ÐÑÒÓ
(Id
B
⊗ s)
se ver´ıa as´ı:
d
d
d
d

=

d
d
d
d

d
d
d
d
.
Usando esta representaci´on gr´ afica se puede describir ahora
µ
s
= (µ
A
⊗ µ
B
) ◦ (Id
A
⊗ s ⊗ Id
B
) como

d
d
d
d
.
Ahora se puede seguir m´as f´ acilmente la prueba desde
µ
s
◦ (µ
s
⊗ Id
A⊗B
)
8 CHRISTIAN VALQUI
que se grafica as´ı:

d
d
d
d

d
d
d
d
d
,
hasta

A
⊗µ
B
)◦(Id
A
⊗µ
A
⊗µ
B
⊗Id
B
)◦(Id
A
⊗Id
A
⊗s⊗Id
B
⊗Id
B
)◦(Id
A
⊗s⊗s⊗Id
B
),
que corresponde al gr´ afico

d
d
d
d

d
d
d
d

d
d
d
d
.
El producto tensorial torcido A ⊗
s
B tiene la siguiente pro-
piedad universal: Dados morfismos de ´ algebras f : A → C y
g : B → C tales que
µ
C
×ÖÕÔ ÐÑÒÓ
(g ⊗ f) = µ
C
×ÖÕÔ ÐÑÒÓ
(f ⊗ g)
×ÖÕÔ ÐÑÒÓ
s,
PLANOS TORCIDOS 9
entonces existe un ´ unico morfismo de ´ algebras h: A ⊗
s
B → C
que satisface
f = h
×ÖÕÔ ÐÑÒÓ
i
A
and g = h
×ÖÕÔ ÐÑÒÓ
i
B
.
En efecto, es f´ acil 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 ´ algebras f : A → C y g : B → D tal
que
t
×ÖÕÔ ÐÑÒÓ
(g ⊗ f) = (f ⊗ g)
×ÖÕÔ ÐÑÒÓ
s.
La composici´on es la evidente. Dos twists s, t : B ⊗ A → A ⊗
B se llaman equivalentes si son isomorfos. Esto es, si existen
automorfismos f : A → A y g : B → B tales que t = (f
−1

g
−1
)
×ÖÕÔ ÐÑÒÓ
s
×ÖÕÔ ÐÑÒÓ
(g ⊗ f).
El siguiente resultado es ´ util para verificar si una cierta apli-
caci´ on s: B ⊗ A → A ⊗ B es un twist o no, y ser´a usado
impl´ıcitamente a lo largo de este trabajo.
Proposici´on 2.3. Sea s: B ⊗ A → A ⊗ B una aplicaci´on que
satisface (a), (b) y (c). Si (b
i
)
i∈I
genera B como ´algebra y
s(b
i
⊗ aa

) = (µ
A
⊗ B)
×ÖÕÔ ÐÑÒÓ
(A ⊗ s)
×ÖÕÔ ÐÑÒÓ
(s ⊗ A)(b
i
⊗ a ⊗ a

)
para todo a, a

∈ A y cada ´ındice i, entonces s es un twist.
3. Extensiones polinomiales
Ahora veamos el caso en que el ´ algebra B sea k[y], el ´algebra
de polinomios sobre y. En este caso todo morfismo lineal s :
k[y] ⊗ A → A ⊗ k[y] est´ a determinado por los morfismos γ
i
j
:
A → A definidos por la ecuaci´ on
(3.2) s(y
r
⊗ a) =
¸
j≥0
γ
r
j
(a) ⊗ y
j
.
Entonces las condiciones se escriben de la siguiente manera:
10 CHRISTIAN VALQUI
Proposici´on 3.1. Un conjunto de aplicaciones γ
i
j
: A → A
define un twist v´ıa (3.2) si y solamente si cumple las siguientes
propiedades:
(a) γ
0
j
= δ
j0
id.
(b) γ
i
j
(1) = δ
i
j
.
(c) Para todo r, j tenemos
γ
r
j
(ab) =
¸
k≥0
γ
r
k
(a)γ
k
j
(b).
(d) Para todo 0 ≤ k ≤ r, tenemos
γ
r
j
=
j
¸
l=0
γ
k
l
×ÖÕÔ ÐÑÒÓ
γ
r−k
j−l
.
(e) Para cada a y r fijos existe un N = N(a, r) tal que
γ
r
j
(a) = 0 para j > N(a, r).
Demostraci´on. Es claro que (a) y (b) corresponden a los mismos
items en la proposici´on (2.1). Tambi´en 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 ecuaci´ on (3.2) define
una aplicaci´on s : k[y] ⊗ A → A ⊗ k[y].
Dada una familia de aplicaciones (α
j
: A → A)
j≥0
e ´ındices
n
1
, . . . , n
r
≥ 0, ponemos [n
1
, . . . , n
r
[ = n
1
+ +n
r
y α
n
1
...n
r
=
α
n
1
×ÖÕÔ ÐÑÒÓ

×ÖÕÔ ÐÑÒÓ
α
n
r
. M´as a´ un escribimos
γ
(0)
j
= δ
0j
id and γ
(r)
j
=
¸
|n
1
,...,n
r
|=j
α
n
1
...n
r
for r > 0,
donde δ
0j
denota el s´ımbolo de Kronecker. Notemos que γ
(1)
j
=
α
j
.
PLANOS TORCIDOS 11
Corolario 3.2. Sea A un ´algebra y s: k[Y ] ⊗A → A⊗k[Y ] un
twist. La ecuaci´on
s(Y ⊗ a) =

¸
j=0
α
j
(a) ⊗ Y
j
,
define una familia de aplicaciones α
j
: A → A, que satisface:
(1) Para cada a ∈ A existe j
0
≥ 0, tal que α
j
(a) = 0 cuando
j > j
0
.
(2) α
j
(1) = δ
j1
.
(3) Para todo j ≥ 0 y todo a, b ∈ A,
(3.3) α
j
(ab) =

¸
r=0
α
r
(a)γ
(r)
j
(b).
M´as a´ un,
(3.4) s(Y
r
⊗ a) =

¸
j=0
γ
(r)
j
(a) ⊗ Y
j
para todo r ≥ 0 y a ∈ A. Por otro lado, dadas aplicaciones
α
j
: A → A (j ≥ 0) satisfaciendo (1)–(3), la f´ormula (3.4) de-
fine un twist.
Demostraci´on. Sigue directamente de la proposici´ on.
Comentario 3.3. Si s: k[Y ]⊗A → A⊗k[Y ] es un twist, entonces
ker(α
0
) es un sub´ algebra de A. M´as a´ un,
• Si α
0
= 0, entonces α
1
es un endomorfismo de ´algebras.
• 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 ´algebras y
δ : A → A es una α-derivaci´on (esto es δ(ab) = δ(a)b+α(a)δ(b)),
entonces existe un ´ unico 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 cl´ asico 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 ´algebra relacionada con el algebra de
rotaci´ on irracional por el ´ angulo Θ con exp(iπΘ) = q.
Si α
1
= Id y α
0
(x) = 1 obtenemos el ´algebra de Weyl.
Ejemplo 3.6. Sea A = k[t]/'t
2
`. 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 f´ ormula s(Y ⊗ a) = α
1
(a) ⊗ Y + α
2
(a) ⊗ Y
2
define un twist.
La condici´on de convergencia (γ
i
j
(a) = 0 para j > N(a, i))
puede ser modificada, si en vez de k[y] tomamos alguna com-
pletaci´ on, por ejemplo las series formales de potencia k[[y]], o
la completaci´on como C*-´ algebra viendo los elementos de k[y]
como operadores de multiplicaci´ on en un espacio de Hilbert con
base ¦y
k
¦. Sin embargo en este trabajo no vamos a entrar en
detalles en ese aspecto. M´as a´ un, vamos a tener los resultados
m´ as importantes en el caso en que B = k[y]/'y
n
`.
En ese caso tambi´en se tiene morfismos lineales γ
i
j
, para j =
0, . . . , n − 1, y para i ≥ n se tiene γ
i
j
= 0. En particular, si se
tiene un twist de A⊗k[y] para el cual γ
i
j
= 0 si i ≥ n, entonces
los γ
i
j
definen un twist de A ⊗ k[y]/'y
n
`.
PLANOS TORCIDOS 13
4. Extensiones polinomiales truncadas
Sea A una k-algebra, C = k[y]/'y
n
` y s: C ⊗A → A⊗C una
aplicaci´ on k-lineal. Las ecuaciones
s(y
r
⊗ a) =
n−1
¸
j=0
γ
r
j
(a) ⊗ y
j
define aplicaciones γ
r
j
: A → A para 0 ≤ j, r < n. M´ as a´ un,
ponemos γ
r
j
= 0 si r ≥ n si 0 ≤ j < n. Notemos que los γ
r
j
’s
est´ an definidos para r ≥ 0 y 0 ≤ j < n.
Proposici´on 4.1. Las siguientes condiciones son equivalentes:
(1) La aplicaci´on s es un twist.
(2) (a) γ
0
j
= δ
j0
id.
(b) γ
r
j
(1) = δ
jr
.
(c) Para 0 ≤ j < n y 0 < r < n, tenemos
γ
r
j
(ab) =
n−1
¸
k=0
γ
r
k
(a)γ
k
j
(b). (Ley del producto)
(d) Para todo 0 < k < r, tenemos
γ
r
j
=
j
¸
l=0
γ
k
l
×ÖÕÔ ÐÑÒÓ
γ
r−k
j−l
. (Ley de composici´on)
(3) (a) γ
0
j
= δ
j0
id.
(b) γ
r
j
(1) = δ
jr
.
(c) Para todo j tenemos
γ
1
j
(ab) =
n−1
¸
k=0
γ
1
k
(a)γ
k
j
(b).
(d) Para todo r > 1, tenemos
γ
r
j
=
j
¸
l=0
γ
1
l
×ÖÕÔ ÐÑÒÓ
γ
r−1
j−l
.
14 CHRISTIAN VALQUI
Demostraci´on. (1) ⇔ (2) Sabemos que s es un twist si y sola-
mente si
(a’) s(1 ⊗ a) = a ⊗ 1,
(b’) s(y
r
⊗ 1) = 1 ⊗ y
r
,
(c’) s(y
r
⊗ ab) = (µ
A
⊗ C)
×ÖÕÔ ÐÑÒÓ
(A ⊗ s)
×ÖÕÔ ÐÑÒÓ
(s ⊗ A)(y
r
⊗ a ⊗ b),
(d’) s(y
r
y
t
⊗ a) = (A ⊗ µ
C
)
×ÖÕÔ ÐÑÒÓ
(s ⊗ C)
×ÖÕÔ ÐÑÒÓ
(C ⊗ s)(y
r
⊗ y
t
⊗ a),
para todo r, t < n y a, b ∈ A. Pero un c´ alculo 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 condici´ on (2)(d) coincide con
(3)(d). Suponemos que (2)(d) es v´ alida para k y todo r > k, y
la probaremos para k + 1 y todo r > k + 1. Fijemos r > k + 1.
Entonces
γ
r
j
=
j
¸
h=0
γ
1
h
×ÖÕÔ ÐÑÒÓ
γ
r−1
j−h
por (3)(d)
=
j
¸
h=0
j−h
¸
u=0
γ
1
h
×ÖÕÔ ÐÑÒÓ
γ
k
u
×ÖÕÔ ÐÑÒÓ
γ
r−k−1
j−h−u
por hip´otesis inductiva
=
j
¸
h=0
j
¸
l=h
γ
1
h
×ÖÕÔ ÐÑÒÓ
γ
k
l−h
×ÖÕÔ ÐÑÒÓ
γ
r−k−1
j−l
poniendo l := u + h
=
j
¸
l=0
l
¸
h=0
γ
1
h
×ÖÕÔ ÐÑÒÓ
γ
k
l−h
×ÖÕÔ ÐÑÒÓ
γ
r−k−1
j−l
=
j
¸
l=0
γ
k+1
l
×ÖÕÔ ÐÑÒÓ
γ
r−k−1
j−l
. por (3)(d)
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
γ
r+1
j
(ab) =
j
¸
l=0
γ
1
l
×ÖÕÔ ÐÑÒÓ
γ
r
j−l
(ab) por (3)(d)
=
j
¸
l=0
γ
1
l
×ÖÕÔ ÐÑÒÓ
n−1
¸
k=0
γ
r
k
(a)γ
k
j−l
(b) por h.i.
=
j
¸
l=0
n−1
¸
k=0
n−1
¸
m=0
γ
1
m

r
k
(a)) γ
m
l

γ
k
j−l
(b)

por (3)(c)
=
n−1
¸
k=0
n−1
¸
m=0
γ
1
m

r
k
(a))
j
¸
l=0
γ
m
l

γ
k
j−l
(b)

=
n−1
¸
m=0
n−1
¸
k=0
γ
1
m

r
k
(a)) γ
m+k
j
(b) por (2)(d)
=
n−1
¸
m=0
n−1
¸
u=m
γ
1
m

γ
r
u−m
(a)

γ
u
j
(b)
poniendo
u = m + k,
ya que
γ
u
j
= 0 para
u ≥ n
=
n−1
¸
u=0
u
¸
m=0
γ
1
m

γ
r
u−m
(a)

γ
u
j
(b)
=
n−1
¸
u=0
γ
r+1
u
(a)γ
u
j
(b). por (3)(d)
Esto conluye la prueba.
Comentario 4.2. Del ´ıtem (3)(c) de la proposici´on se deduce
f´ acilmente por inducci´ on en r que
(4.5) γ
r
j
=
¸
u
1
,...,u
r
u
1
+···+u
r
=j
γ
1
u
1
×ÖÕÔ ÐÑÒÓ

×ÖÕÔ ÐÑÒÓ
γ
1
u
r
16 CHRISTIAN VALQUI
para todo r ≥ 1.
Corolario 4.3. Sean γ
1
k
: A → A (0 ≤ k < n) aplicaciones
k-lineales que satisfacen γ
1
k
(1)= δ
1k
. Pongamos γ
0
j
= δ
0j
id y
γ
r
j
:=
¸
u
1
,...,u
r
u
1
+···+u
r
=j
γ
1
u
1
×ÖÕÔ ÐÑÒÓ

×ÖÕÔ ÐÑÒÓ
γ
1
u
r
para r ≥ 1 y 0 ≤ j < n.
Si γ
n
j
= 0 para todo j < n y
γ
1
j
(ab) =
n−1
¸
k=0
γ
1
k
(a)γ
k
j
(b) para a, b ∈ A y 0 ≤ j < n,
entonces las aplicaciones γ
r
j
satisfacen las condiciones equiva-
lentes de la proposici´on 4.1.
Demostraci´on. Por hip´ otesis sabemos que se cumplen (3)(b) and
(3)(c) de la proposici´on 4.1. M´as a´ un, por la definici´on de los
γ
r
j
’s es claro que γ
r
j
= 0 para r ≥ n y que las aplicaciones γ
r
j
satisfacen items (3)(a) y (3)(d) de la misma proposici´on.
Asociado al twist s: C ⊗A → A⊗C tenemos la matriz M ∈
M
n
(End
k
(A)) dada por
M =

¸
¸
¸
id 0 . . . 0
γ
1
0
γ
1
1
. . . γ
1
n−1
.
.
.
.
.
.
.
.
.
γ
n−1
0
γ
n−1
1
. . . γ
n−1
n−1

.
Adem´ as, para a ∈ A definimos la matriz M(a) ∈ M
n+1
(A) por
medio de
M(a)
ij
:= γ
i
j
(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 f´ormulas ϕ(a) := M(a) para a ∈ A, y
ϕ(y) :=

¸
¸
¸
0 1 0
.
.
.
.
.
.
.
.
.
.
.
.
0 0 1
0 0 0

, (matriz de Jordan nilpot. J
0
)
definen una representaci´on fiel ϕ: A ⊗
s
C → M
n
(A).
Demostraci´on. Como ϕ(y)
n
= 0, para verificar que ϕ define un
morfismo de ´ algebras, solamente tenemos que garantizar que
ϕ(y)ϕ(a) = ϕ(γ
1
0
(a)) +ϕ(γ
1
1
(a))ϕ(y) + +ϕ(γ
1
n−1
(a))ϕ(y)
n−1
.
Pero notemos que

J
0
M(b)

ij
=

M(b)
i+1,j
para i < n − 1,
0 en otro caso,
y

M(b)J
u
0

ij
=

M(b)
i,j−u
para j ≥ u,
0 en otro caso,
18 CHRISTIAN VALQUI
y as´ı

ϕ(y)ϕ(a)

ij
=

J
0
M(a)

ij
= γ
i+1
j
(a)
=
j
¸
u=0
γ
i
j−u
×ÖÕÔ ÐÑÒÓ
γ
1
u
(a)
=
j
¸
u=0
M

γ
1
u
(a)

i,j−u
=
n−1
¸
u=0

M

γ
1
u
(a)

J
u
0

ij
=
n−1
¸
u=0

ϕ(γ
1
u
(a))ϕ(y)
u

ij
,
donde la segunda igualdad vale tambi´en en el caso i = n−1, ya
que

J
0
M(a)

n−1,j
= 0 = γ
n
j
(a).
La inyectividad sigue del hecho que la composici´on de ϕ con
la yecci´ on sobre la primera fila nos da el isomorfismo lineal
can´ onico A ⊗
s
C → A
n
.
5. Twists de
´
algebras conmutativas con γ
1
0
= 0
El objetivo de esta secci´ on es estudiar twists s: C ⊗ A →
A ⊗ C con γ
1
0
= 0, donde A es una k-´ algebra conmutativa. La
aplicaci´ on γ
1
1
juega un rol importante. Por ejemplo, es f´ acil
ver que si γ
1
1
es un morfismo inyectivo, entonces s tambi´en es
inyectivo; y si s es sobreyectivo, entonces lo es γ
1
1
. Por lo tanto,
cuando A es finito dimensional, s es biyectivo si y solamente
si lo es γ
1
1
. Para simplificar las notaciones, dado un twist con
γ
1
0
= 0, ponemos α := γ
1
1
. Adem´as denotaremos con α
m
a las
composici´ on 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 secci´ on A es un ´algebra conmutativa y
dado un endomorfismo α: A → A, ponemos ∆
ij
= α
i
− α
j
.
Lema 5.1. Sea s: C ⊗ A → A ⊗ C un twist. Asumamos que
γ
1
0
= 0. Valen las siguientes f´ormulas:
γ
1
j
(a)∆
1j
(b) = γ
1
j
(b)∆
1j
(a) +
j−1
¸
k=2

1
k
(a)γ
k
j
(b) − γ
1
k
(b)γ
k
j
(a)).
(5.6)
γ
r+1
r+k
=
k
¸
l=1
γ
1
l
×ÖÕÔ ÐÑÒÓ
γ
r
r+k−l
. (5.7)
Demostraci´on. Como γ
q
p
= 0 para q > p y A es conmutativo, la
proposici´ on 4.1 (3)(c) nos da:
γ
1
j
(ab) =
j
¸
k=1
γ
1
k
(a)γ
k
j
(b) =
j
¸
k=1
γ
1
k
(b)γ
k
j
(a).
La primera f´ ormula del enunciado sigue f´ acilmente de este hecho,
usando que γ
j
j
= α
j
. La segunda f´ ormula es consecuencia inme-
diata de la proposici´on 4.1 (3)(d), nuevamente porque γ
q
p
= 0
para q > p.
Proposici´on 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 b
2
, . . . , b
n−1
∈ A, existe a lo m´as un twist s: C⊗A →
A ⊗ C con γ
1
0
= 0, γ
1
1
= α y γ
1
j
(b) = b
j
para j = 2, . . . , n − 1.
Demostraci´on. Sean ¯ γ
r
j
las aplicaciones asociadas a otro twist
s: C ⊗ A → A ⊗ C satisfaciendo las mismas condiciones que s.
Probaremos que γ
r
r+k
= ¯ γ
r
r+k
usando inducci´on en k. Para k = 0
esto es claro ya que
γ
r
r
= α
r
= ¯ γ
r
r
.
20 CHRISTIAN VALQUI
Asumamos que γ
r
r+k
= ¯ γ
r
r+k
para k < j − 1 y todo r. Entonces,
por Lema 5.1, sabemos que
γ
1
j
(a)∆
1j
(b) = γ
1
j
(b)∆
1j
(a) +
j−1
¸
i=2

1
i
(a)γ
i
j
(b) − γ
1
i
(b)γ
i
j
(a))
= ¯ γ
1
j
(b)∆
1j
(a) +
j−1
¸
i=2
(¯ γ
1
i
(a)¯ γ
i
j
(b) − ¯ γ
1
i
(b)¯ γ
i
j
(a))
= ¯ γ
1
j
(a)∆
1j
(b).
Luego ¯ γ
1
j
(a) = γ
1
j
(a), pues ∆
1j
(b) no es un divisor de cero.
Finalmante, por el comentario 4.2,
γ
r
r+j−1
=
¸
u
1
,...,u
r
u
1
+···+u
r
=r+j−1
γ
1
u
1
×ÖÕÔ ÐÑÒÓ

×ÖÕÔ ÐÑÒÓ
γ
1
u
r
=
¸
u
1
,...,u
r
u
1
+···+u
r
=r+j−1
¯ γ
1
u
1
×ÖÕÔ ÐÑÒÓ

×ÖÕÔ ÐÑÒÓ
¯ γ
1
u
r
= ¯ γ
r
r+j−1
,
como deseabamos. Notemos que en un sumando no nulo cada
u
i
≥ 1, pues γ
1
0
= 0, y por lo tanto, cada u
i
≤ j ya que u
i
> j
lleva a u
i
+
¸
l=i
u
l
≥ u
i
+ r − 1 > r + j − 1.
Lema 5.3. Sean γ
1
k
: A → A (1 ≤ k ≤ j − 1) aplicaciones
k-lineales. Pongamos γ
1
0
= 0, γ
0
j
= δ
j0
id y
(5.8) γ
r
k
:=
¸
u
1
,...,u
r
u
1
+···+u
r
=k
γ
1
u
1
×ÖÕÔ ÐÑÒÓ

×ÖÕÔ ÐÑÒÓ
γ
1
u
r
para 2 ≤ r ≤ k ≤ j.
Si
γ
1
k
(ab) =
n−1
¸
l=0
γ
1
l
(a)γ
l
k
(b) para a, b ∈ A y 1 ≤ k < j,
entonces, para r > 1, las aplicaciones γ
r
j
satisfacen la Ley de
composici´on y la Ley del producto.
PLANOS TORCIDOS 21
Demostraci´on. De la definici´on sigue inmediatamente la Ley de
composici´ on. La Ley del producto se cumple por las siguientes
consideraciones.
γ
r+1
j
(ab) =
j
¸
l=0
γ
1
l
×ÖÕÔ ÐÑÒÓ
γ
r
j−l
(ab) por la Ley de composici´on
=
j−1
¸
l=1
γ
1
l
×ÖÕÔ ÐÑÒÓ
γ
r
j−l
(ab) pues γ
1
0
= 0
=
n−1
¸
u=0
γ
r+1
u
(a)γ
u
j
(b)
=
j
¸
u=r+1
γ
r+1
u
(a)γ
u
j
(b), pues γ
q
p
= 0 para q > p
donde la tercera igualdad se obtiene siguiendo paso a paso el
c´ alculo largo hecho ya en la demostraci´on de la proposici´on 4.1
(solamente el rango de l se reduce).
Proposici´on 5.4. Sea A = k[x] y p
1
(x), . . . , p
n−1
(x) ∈ k[x].
Entonces existe un ´ unico twist s: C⊗A → A⊗C tal que γ
1
j
(x) =
p
j
(x) para j = 1, . . . , n − 1 y γ
1
0
= 0.
Proof. Notemos primero que los γ
i
k
´s satisfacen la ley del pro-
ducto si y solamente si M
(k)
(x
t
) = M
(k)
(x)
t
, donde

M
(k)
(a)

ij
=
γ
i
j
(a) para i, j = 0, . . . , k. Luego
(5.9) γ
i
j
(x
t
) =

M
(k)
(x)
t

ij
para todo (i, j) = (1, k), si la ley del producto se cumple para
todo γ
i
j
con (i, j) = (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
γ
2
2
,
γ
1
2
, γ
2
3
, γ
3
3
,
γ
1
3
, γ
2
4
, γ
3
4
, γ
4
4
,
γ
1
4
, γ
2
5
, γ
3
5
, γ
4
5
, γ
5
5
,
.
.
.
γ
1
n−2
, γ
2
n−1
, . . . , γ
n−2
n−1
, γ
n−1
n−1
,
γ
1
n−1
,
usando la f´ ormula (5.8) para los γ
i
k
´s con i > 1. Para los γ
1
k
definimos primero la matriz M
(k)
(x) poniendo

M
(k)
(x)

1k
:=
p
k
(x) y

M
(k)
(x)

ij
:= γ
i
j
(x) para (i, j) = (1, k). Luego ponemos
γ
1
k
(x
m
) :=

M
(k)
(x)
m

1k
.
Por el lema previo es claro que los γ
i
j
´s satisfacen la ley del pro-
ducto y la de la composici´on para i ≥ 2. Por lo tanto solamente
necesitamos probar la ley del producto para los γ
1
k
´s. Por linea-
lidad es suficiente probarla para elementos a = x
m
y b = x
t
.
Pero
γ
1
k
(x
m
x
t
) =

M
(k)
(x)
m+t

1k
=

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

1k
=
k
¸
j=0

M
(k)
(x)
m

1j

M
(k)
(x)
t

jk
=
k
¸
j=1
γ
1
j
(x
m

j
k
(x
t
),
donde la ´ ultima igualdad se deduce de (5.9) y la definici´ on de
γ
1
j
(x
m
).
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 localizaci´on de A en el sistema multiplica-
tivo ∆ generado por ¦∆
ij
(b) : 1 ≤ i < j < n¦. Entonces, dados
elementos b
2
, . . . , b
n−1
∈ A existe un twist
s: C ⊗ A

→ A

⊗ C
con γ
1
0
= 0, γ
1
1|A
= α y γ
1
k
(b) = b
k
para k = 2, . . . , n − 1.
Demostraci´on. Notemos primeramente que α induce un mor-
fismo γ
1
1
: A

→ A

. Definimos recursivamente
γ
2
2
,
γ
1
2
, γ
2
3
, γ
3
3
,
γ
1
3
, γ
2
4
, γ
3
4
, γ
4
4
,
γ
1
4
, γ
2
5
, γ
3
5
, γ
4
5
, γ
5
5
,
.
.
.
γ
1
n−2
, γ
2
n−1
, . . . , γ
n−2
n−1
, γ
n−1
n−1
,
γ
1
n−1
,
usando la f´ ormula (5.6) para los γ
1
k
’s y la f´ ormula (5.8) para los
γ
i
k
’s con i > 1. Adicionalmente ponemos γ
0
j
= δ
0j
id
A
y γ
r
j
= 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 γ
1
k
’s.
Sea N la matriz (n − 1) (n − 1) dada por
N
ij
:= γ
i
j
(1 ≤ i, j < n).
Notemos que N se obtiene de M eliminando la primera columna
y la primera fila. Llamamos D
k
(a) a la matriz (n − 1) (n − 1)
dada por
D
k
(a)
ij
:= δ
k,j−i
γ
i
j
(a),
donde i, j corre de 1 a n − 1. M´ as a´ un, para cada l ≤ n − 1
escribimos D
k
(l)
y N
(l)
(a) para denotar a las submatrices l l
24 CHRISTIAN VALQUI
de las l primeras columnas y filas de D
k
(a) y N(a), respecti-
vamente. Notemos que las entradas no nulas de D
k
(l)
(a) est´ an
concentradas en la k-´esima diagonal (contada desde la diagonal
principal hacia arriba) y que
N
(l)
(a) =
l−1
¸
k=0
D
k
(l)
(a).
Suponemos que la ley del producto se cumple para γ
1
1
, . . . , γ
1
l−1
,
y la probaremos para γ
1
l
. Por el lema 5.3 sabemos que γ
r
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
−γ
1
l
(a)∆
1l
(b) + γ
1
l
(b)∆
1l
(a) +
l−1
¸
j=2

1
j
(a)γ
j
l
(b) − γ
1
j
(b)γ
j
l
(a)),
que se anula por la definici´ on de γ
1
l
, y las otras entradas (i, j)
est´ an dadas por
j
¸
k=i

i
k
(a)γ
k
j
(b) − γ
i
k
(b)γ
k
j
(a)) = γ
i
j
(ab) − γ
i
j
(ba) = 0,
donde la prmera igualdad sigue de la ley del producto para j < l
y del hecho que γ
k
j
= 0 si k > j. Luego
[D
l−1
(l)
(a), N
(l)
(b)] = −[D
0
(l)
(a), N
(l)
(b)] − − [D
l−2
(l)
(a), N
(l)
(b)]
para todo a ∈ A, y
[N
(l)
(a)N
(l)
(a

), N
(l)
(b)] =N
(l)
(a)[N
(l)
(a

), N
(l)
(b)]
+ [N
(l)
(a), N
(l)
(b)]N
(l)
(a

)
= 0
PLANOS TORCIDOS 25
para todo a, a

∈ A. Ahora por la hip´otesis inductiva (ley del
producto para los γ
i
i+j
’s con i + j < l) sabemos que
[D
j
(l)
(aa

), N
(l)
(b)] =
j
¸
h=0
[D
h
(l)
(a)D
j−h
(l)
(a

), N
(l)
(b)] para j < l − 1.
Por consiguiente,
[D
l−1
(l)
(aa

), N
(l)
(b)] =
= −[D
0
(l)
(aa

), N
(l)
(b)] − − [D
l−2
(l)
(aa

), N
(l)
(b)]
= −
l−2
¸
j=0
j
¸
h=0
[D
h
(l)
(a)D
j−h
(l)
(a

), N
(l)
(b)]
=
l−1
¸
h=0
[D
h
(l)
(a)D
l−h
(l)
(a

), N
(l)
(b)] − [N
(l)
(a)N
(l)
(a

), N
(l)
(b)]
=
l−1
¸
h=0
[D
h
(l)
(a)D
l−h
(l)
(a

), N
(l)
(b)],
donde la tercera igualdad se deduce del hecho que
N
(l)
(a)N
(l)
(a

) =
l−1
¸
j=0
j
¸
h=0
D
h
(l)
(a)D
j−h
(l)
(a

),
porque N
(l)
(a)N
(l)
(a

) es una matriz l l triangular superior
cuya diagonal j-´esima superior es
¸
j
h=0
D
h
(l)
(a)D
j−h
(l)
(a

). Esto
concluye la prueba, ya que
D
l−1
(l)
(aa

) = γ
1
l
(aa

)e
1l
,
l−1
¸
h=0
D
h
(l)
(a)D
l−1−h
(l)
(a

) =
l−1
¸
h=0
γ
1
h+1
(a)γ
h+1
l
(a

)e
1l
,
[e
1l
, N
(l)
(b)] = ∆
1l
(b)e
1l
26 CHRISTIAN VALQUI
y ∆
1l
(b) es invertible. Aqu´ı e
1l
es la matriz l l definida por
(e
1l
)
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 car´ acteristica cero, A = k[x
1
, . . . , x
r
]
y tomemos b = x
1
en el teorema. Sea α un morfismo
de ´ algebras con α(x
1
) = x
1
+ a, para alg´ un a ∈ k ` ¦0¦.
Entonces ∆
ij
(b) = (i − j)a es invertible.
(2) Sea K/k una extensi´ on de Galois y asumamos que existe
un α ∈ Gal(K/k) y b ∈ K tal que b = α
i
(b) para 1 ≤ i ≤
n − 2. entonces ∆
ij
(b) es invertible para 1 ≤ i < j < n.
6. Extensiones polinomiales truncadas para
´
algebras conmutativas
Sea A un k-´ algebra conmutativa. El objetivo de la presente
secci´ on es estudiar los twists s: C ⊗ A → A ⊗ C que satisfacen
la siguiente condici´on:
BM(h) Existen 1 < h ≤ n y x ∈ A tales que γ
h
0
= 0 y q :=
γ
h−1
0
(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 γ
i
j
= 0.
Por lo tanto
M
(h)
(ab) = M
(h)
(a)M
(h)
(b) para todo a, b ∈ A.
Demostraci´on. Por la ley de composici´on es suficiente probarlo
para i = h. Pongamos b
j
= γ
h−1−j
0
(x) para j = 0, . . . , h − 1.
Entonces, por la ley de composici´ on,
γ
r
0
(b
j
) =

q si r = j,
0 si r > j.
PLANOS TORCIDOS 27
Como
0 = γ
h
1
(ab
1
) = M(ab
1
)
h0
=

M(a)M(b
1
)

h0
= qγ
h
1
(a),
tenemos γ
h
1
(a) = 0. Entonces
0 = γ
h
1
(ab
2
) = M(ab
2
)
h0
=

M(a)M(b
2
)

h0
= qγ
h
2
(a),
etcetera.
Proposici´on 6.2. Sea 0 < l ≤ n/h|. Para cada i ≥ lh y
j ≤ lh − 1 la aplicaci´on γ
i
j
se anula.
Demostraci´on. Procedemos por inducci´on en l. Para l = 1 el
resultado es exactamente el lema previo. Asumiendo que es
cierto para l ≥ 1, tenemos
γ
i
j
=
j
¸
u=0
γ
h
u
×ÖÕÔ ÐÑÒÓ
γ
i−h
j−u
= 0,
para cada i ≥ (l + 1)h y j ≤ (l + 1)h − 1, que es lo deseado,
pues en cada sumando γ
h
u
×ÖÕÔ ÐÑÒÓ
γ
i−h
j−u
uno de los factores se anula.
Lema 6.3. Si para alg´ un a ∈ A se cumple γ
1
0
(a) = 0, entonces
M
(h)
(a) = aI
h
.
Demostraci´on. Como γ
1
0
(a) = 0, por la ley de composici´ on te-
nemos que γ
i
0
(a) = 0 para todo i > 0. Consideremos los mismos
b
j
’s que en el lema anterior. Por el lema 6.1, la matriz M
(h)
(a)
conmuta con
M
(h)
(b
1
) =

¸
¸
¸
b
1
0 . . . 0
q γ
1
1
(b
1
) . . . γ
1
h−1
(b
1
)
0
.
.
.
.
.
.
.
.
.
0 γ
h−1
1
(b
1
) . . . γ
h−1
h−1
(b
1
)

.
Luego
γ
1
1
(a)q =

M
(h)
(a)M
(h)
(b
1
)

10
=

M
(h)
(b
1
)M
(h)
(a)

10
= qa,
28 CHRISTIAN VALQUI
y as´ı γ
1
1
(a) = a. El mismo producto conmutativo de matrices en
las entradas (j, 0) para j = 2, . . . , h−1, combinado con el hecho
de que γ
j
0
= 0´, nos da qγ
j
1
(a) = 0, luego γ
j
1
(a) = 0. Ahora, como
γ
0
0
(a) = γ
1
1
(a) = a y γ
j
i
= 0 para i = 0, 1 y j = i, la igualdad
M
(h)
(a)M
(h)
(b
2
) = M
(h)
(b
2
)M
(h)
(a),
en las mismas entradas que anteriormente, nos da
γ
2
2
(a) = a y γ
j
2
(a) = 0 para j = 2.
Ahora aplicamos el mismo procedimiento sucesivamente con
M
(h)
(b
3
), . . . , M
(h)
(b
n−1
), y obtenemos el resultado deseado.
Notemos que B := ker γ
1
0
es una sub´ algebra de A y que q ∈ B.
Proposici´on 6.4. Para i, j = 0, . . . , h−1, la aplicaci´on γ
i
j
: A →
A es B-lineal.
Demostraci´on. Sean b ∈ B y a ∈ A. Del corolario 4.4 obtenemos
γ
i
j
(ba) =

M
(h)
(b)M
(h)
(a)

ij
=

bI
h
M
(h)
(a)

ij
= b

M
(h)
(a)

ij
= bγ
i
j
(a),
lo cual concluye la prueba.
Lema 6.5. Sean D una k-´algebra y g : D → D una aplicaci´on
k-lineal. Asumamos que g
h
= 0 y que existe x ∈ D tal que
q := g
h−1
(x) es invertible. Supongamos adem´as que E := ker g
es una k-sub´algebra de D y que g es una aplicaci´on E-lineal.
Entonces D es un E-m´odulo libre de rango h. Tambi´en se tiene
que B = ¦x, g(x), . . . , g
h−1
(x)¦ es una base.
PLANOS TORCIDOS 29
Demostraci´on. Consideremos una combinaci´ on E-lineal que se
anula
h−1
¸
i=0
λ
i
g
i
(x) = 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-m´ odulo. Para cada
a ∈ D, el elemento λ
0
:=
g
h−1
(a)
q
pertenece a E. Adem´ as
g
h−1
(a) = λ
0
q = λ
0
g
h−1
(x).
Pongamos a
1
= a −λ
0
x. Como g es E-lineal g
h−1
(a
1
) = 0, y as´ı
g
h−2
(a
1
) = λ
1
q = λ
1
g
h−1
(x),
con λ
1
=
g
h−2
(a
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 a
i
=
a
i−1
− λ
i−1
g
i−1
(x) y λ
i
=
g
h−i−1
(a
i
)
q
, y obtenemos
a =
h−1
¸
i=0
λ
i
g
i
(x),
lo cual completa la prueba.
Como consecuencia inmediata de la proposici´ on 6.4, los γ
i
j
(0 ≤ i, j < h) se extienden al ´ algebra A
(q)
de fracciones de A
respecto a las potencias de q, por medio de
γ
i
j

a
q
l

:=
γ
i
j
(a)
q
l
.
30 CHRISTIAN VALQUI
Teorema 6.6. El ´algebra A
(q)
es un m´odulo libre de rango h so-
bre B
(q)
(notemos que q = γ
h−1
0
(x) = (γ
1
0
)
h−1
(x) ∈ B). Adem´as
B = ¦x, γ
1
0
(x), . . . , γ
h−1
0
(x)¦ es una base.
Demostraci´on. Aplicar el lema con D = A
(q)
, E = B
(q)
y g =
γ
1
0
.
Corolario 6.7. Sea A una k-´algebra finito-dimensional conmu-
tativa. Si existe un twist que satisface las condiciones requeri-
das al inicio de esta secci´on, entonces h[dim
k
(A) y dim
k
(A) =
h dim
k
(B).
Demostraci´on. Sigue del teorema 6.6, pues el no-divisor del cero
q es invertible.
Proposici´on 6.8. Para cada b ∈ B la matriz M(b) es triangular
superior. M´as a´ un,
γ
lh
lh
(b) = γ
lh+1
lh+1
(b) = = γ
lh+h−1
lh+h−1
(b) para 0 ≤ l < n/h|,
y
γ
n/hh
n/hh
(b) = = γ
n−1
n−1
(b), si h no divide a n.
Demostraci´on. Para probar que M(b) es triangular superior es
suficiente verificar que γ
lh+i
lh+u
(b) = 0 para l ≥ 0, 0 ≤ u < h y
i > u. Si i ≥ h, esto sigue de la proposici´ on 6.2. Por lo tanto
podemos asumir que u < i < h. Sea i

= lh + i y u

= lh + u.
Tenemos
γ
i

u

(b) =
i−1
¸
j=0
γ
lh
u

−j
×ÖÕÔ ÐÑÒÓ
γ
i
j
(b) +
u

¸
j=i
γ
lh
u

−j
×ÖÕÔ ÐÑÒÓ
γ
i
j
(b) = 0,
pues
γ
i
j
(b) = 0 para b ∈ B y j < i,
por el lema 6.3, y
γ
lh
u

−j
= 0 para j > u,
por la proposici´ on 6.2.
PLANOS TORCIDOS 31
Ahora probaremos las igualdades. Sea 0 ≤ u < h. Entonces
γ
u

u

(b) =
h−1
¸
j=0
j=u
γ
lh
u

−j
×ÖÕÔ ÐÑÒÓ
γ
u
j
(b) + γ
lh
lh
×ÖÕÔ ÐÑÒÓ
γ
u
u
(b) +
u

¸
j=h
γ
lh
u

−j
×ÖÕÔ ÐÑÒÓ
γ
u
j
(b)
= γ
lh
lh
×ÖÕÔ ÐÑÒÓ
γ
u
u
(b)
= γ
lh
lh
(u),
pues γ
u
j
(b) = 0 para j < h, j = u, γ
u
u
(b) = b y γ
lh
u

−j
= 0 para
j > u.
Proposici´on 6.9. Sea l ≤ (n − 1)/h|. Asumamos que existe
x
l
∈ A tal que q
l
:= γ
lh+h−1
lh
(x
l
) no es divisor de cero. Entonces
γ
lh+i
lh+j
(b) = 0 para b ∈ B, 0 ≤ i < j < h y lh + j < n.
Demostraci´on. Pongamos b
(l)
j
= γ
h−1−j
0
(x
l
) para j = 0, . . . , h−1.
Por la ley de composici´on y la proposici´ on 6.2,
γ
lh+u
lh
=
lh
¸
k=0
γ
lh
lh−k
×ÖÕÔ ÐÑÒÓ
γ
u
k
= γ
lh
lh
×ÖÕÔ ÐÑÒÓ
γ
u
0
para todo u ≥ 0.
As´ı,
γ
lh+r
lh
(b
(l)
j
) =γ
lh
lh

γ
r+h−1−j
0
(x
l
)


lh+r+h−1−j
lh
(x
l
)
=

q
l
si r = j,
0 si r > j,
donde la ´ ultima igualdad para r > j, sigue de la proposici´ on 6.2
y del hecho que en este caso, lh+r+h−1−j ≥ l(h+1). Ahora,
nuevamente por Proposition 6.2
γ
lh+i
k
(b
(l)
j
) = 0 para k < lh.
32 CHRISTIAN VALQUI
Sea b ∈ B. Por la proposici´ on 6.8
γ
k
lh
(b) = 0 para k > lh y γ
lh+i
k
(b) = 0 para k < lh + i.
Luego,
γ
lh+i
lh
(b
(l)
j

lh
lh
(b) =

M(b
(l)
j
)M(b)

lh+i,lh
=

M(b)M(b
(l)
j
)

lh+i,lh
=
j
¸
k=i
γ
lh+i
lh+k
(b)γ
lh+k
lh
(b
(l)
j
)
=
j−1
¸
k=i+1
γ
lh+i
lh+k
(b)γ
lh+k
lh
(b
(l)
j
) + γ
lh+i
lh+j
(b)q
l
.
Como γ
lh+i
lh+i
(b) = γ
lh
lh
(b) por la proposici´on 6.8, obtenemos
j−1
¸
k=i+1
γ
lh+i
lh+k
(b)γ
lh+k
lh
(b
(l)
j
) + γ
lh+i
lh+j
(b)q
l
= 0.
De esto sigue por inducci´on en j que γ
lh+i
lh+j
(b) = 0 para j =
i + 1, . . . , h − 1.
Teorema 6.10. Sea h > 1 un divisor de n y sean g
l
: A → A
(0 ≤ l ≤ n/h − 1) aplicaciones k-lineales que satisfacen g
l
(1) =
0. Asumamos que g
h
0
= 0 y que existe x tal que q := g
h−1
0
(x)
es invertible. Supongamos adem´as que B := ker(g
0
) es una k-
sub´algebra de A y que los g
l
’s son B-lineales. Entonces existe
un ´ unico twist s: C ⊗ A → A ⊗ C tal que γ
1
lh
= g
l
.
Demostraci´on. Como 0 = g
0
(
1
q
q) = g
0
(
1
q
)q = 0, tenemos que
1
q
∈ B. Reemplazando x por
x
q
podemos asumir que g
h−1
0
(x) =
1. Ahora ponemos γ
0
j
:= δ
0j
id, y para l creciente, definimos
γ
1
lh
:= g
l
, y luego:
- Primero γ
r
lh
para r ≥ 2, usando la f´ ormula (4.5),
PLANOS TORCIDOS 33
- Luego, γ
1
lh+j
por medio de
γ
1
lh+j
(a) := γ
1
lh
(ab
j
) −
lh+j−1
¸
k=0
γ
1
k
(a)γ
k
lh
(b
j
) para 1 ≤ j < h,
donde b
j
= γ
h−1−j
0
(x).
- Finalmente, γ
r
j
para r ≥ 2 y lh + 1 ≤ j ≤ lh + h − 1,
usando la f´ ormula (4.5).
Por construcci´ on los γ
r
j
son B-lineales y γ
1
j
(1) = δ
1j
. Luego, por
el corolario 4.3, para probar el teorema es suficiente mostrar que
γ
n
j
= 0 para j < n y que los γ
1
j
’s satisfacen la ley del producto.
Para lograr esta meta necesitamos usar la ley de composici´on
que se deduce inmediatamente de la definici´on de los γ
r
j
’s, y de
que γ
r
j
(1) = δ
rj
para todo r. Esto ´ ultimo sigue f´ acilmente del
caso r = 1, usando la f´ ormula
γ
r
j
:=
¸
u
1
,...,u
r
u
1
+···+u
r
=j
γ
1
u
1
×ÖÕÔ ÐÑÒÓ

×ÖÕÔ ÐÑÒÓ
γ
1
u
r
.
En lo que sigue vamos a probar la ley del producto para cada
bloque de γ
1
j
’s con lh ≤ j ≤ lh + h − 1, en cinco pasos.
Primer paso: Probar que γ
lh+h−1
lh
(x) = 1.
Segundo paso: Probar que γ
i
j
= 0 para j < lh+h y i ≥ lh+h.
Tercer paso: Verificar la ley del producto para γ
1
lh
.
Cuarto paso: Verificar la ley del producto para γ
r
j
con r > 1 y
j ≤ lh.
Quinto paso: Verificar ley del producto para γ
1
lh+1
, . . . , γ
1
lh+h−1
.
Para l = 0 tenemos:
Primer paso. Esto se cumple por hip´otesis.
Segundo paso. Esto sigue de la prueba del lema 6.1 ya que re-
quiere solamente las aplicaciones γ
r
j
, con r ≥ 0 y 0 ≤ j < h,
que satisfagan la ley del producto y la de la composici´ on (y no
la existencia de un twist).
34 CHRISTIAN VALQUI
Tercer paso. Como los γ
r
j
son B-lineales y, por lema 6.5,
¦γ
r
0
(x) : 0 ≤ r < h¦
es una B-base de A, es suficiente probar que
γ
1
0


r
0
(x)

=
n−1
¸
k=0
γ
1
k
(a)γ
k
0

γ
r
0
(x)

para 0 ≤ r < h.
Para r = h − 1 esto se deduce del hecho que γ
h−1
0
(x) = 1 y
γ
k
0
(1) = δ
k0
, mientras que para r ≤ h − 2, esto sigue de la
definici´ on de los γ
1
j
’s para 1 ≤ j ≤ h − 1 y del hecho que
γ
h−1
0
(x) = 1 y que γ
k
0
(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 proposici´on 4.1, y obtenemos
γ
r+1
0
(ab) = γ
1
0
×ÖÕÔ ÐÑÒÓ
γ
r
0
(ab) =
n−1
¸
u=0
γ
r+1
u
(a)γ
u
0
(b).
Quinto paso. Sea 0 < j < h. Asumamos que la ley del producto
se cumple para γ
1
i
con i < j. Entonces tenemos
γ
1
j
(ab) = γ
1
0
(abb
j
) −
j−1
¸
i=0
γ
1
i
(ab)γ
i
0
(b
j
)
=
n−1
¸
u=0
γ
1
u
(a)γ
u
0
(bb
j
) −
j−1
¸
i=0
n−1
¸
u=0
γ
1
u
(a)γ
u
i
(b)γ
i
0
(b
j
) por h.i.
=
n−1
¸
u=0
γ
1
u
(a)

γ
u
0
(bb
j
) −
j−1
¸
i=0
γ
u
i
(b)γ
i
0
(b
j
)

=
n−1
¸
u=0
γ
1
u
(a)

n−1
¸
i=0
γ
u
i
(b)γ
i
0
(b
j
) −
j−1
¸
i=0
γ
u
i
(b)γ
i
0
(b
j
)

paso 4.
PLANOS TORCIDOS 35
=
n−1
¸
u=0
γ
1
u
(a)γ
u
j
(b),
donde para la ´ ultima igualdad usamos que γ
j
0
(b
j
) = 1 y γ
i
0
(b
j
) =
0 para i > j.
A continuaci´on, asumiendo que hemos realizado los cinco pa-
sos hasta l − 1, ejecutamos los cinco pasos para l.
Primer paso. Por la ley de composici´ on,
γ
lh+h−1
lh
(x) =
lh+h−1
¸
u=0
γ
h
u
×ÖÕÔ ÐÑÒÓ
γ
lh−1
lh−u
(x) = γ
h
h
(1) = 1,
pues γ
h
u
= 0 para u < h, γ
lh−1
lh−u
= 0 para u > h y γ
lh−1
lh−h
(x) = 1.
Segundo paso. Por la ley de composici´on, para cada i ≥ lh + h
y j < lh + h, tenemos que
γ
i
j
=
j
¸
u=0
γ
h
u
×ÖÕÔ ÐÑÒÓ
γ
i−h
j−u
= 0,
ya que γ
h
u
= 0 para u < h y γ
i−h
j−u
= 0 para u ≥ h.
Tercer paso. Como los γ
r
j
son B-lineales y, por lema 6.5,
¦γ
r
0
(x) : 0 ≤ r < h¦
es una B-base de A, es suficiente mostrar que
γ
1
lh


r
0
(x)

=
n−1
¸
k=0
γ
1
k
(a)γ
k
lh

γ
r
0
(x)

para 0 ≤ r < h.
Para r = h − 1 esto se deduce las igualdades γ
h−1
0
(x) = 1 y
γ
k
lh
(1) = δ
k,lh
, mientras que para r ≤ h − 2, esto sigue de la
definici´ on de los γ
1
lh+j
’s para 1 ≤ j ≤ h − 1 y de que
γ
lh+j
lh

h−1−j
0
(x)) = 1 y γ
lh+k
lh

h−1−j
0
(x)) = 0
cuando k > j (como vimos en la prueba de la proposici´on 6.9).
36 CHRISTIAN VALQUI
Cuarto paso. Asumiendo el resultado probado para r y argu-
mentando como en el caso l = 0 obtenemos
γ
r+1
j
(ab) =
j
¸
k=0
γ
1
k
×ÖÕÔ ÐÑÒÓ
γ
r
j−k
(ab) =
n−1
¸
u=0
γ
r+1
u
(a)γ
u
j
(b).
Quinto paso. Argumentando como en la prueba de la propo-
sici´ on 6.9, usando el cuarto paso, tenemos que
γ
lh+i+r+u
lh
= γ
i
0
×ÖÕÔ ÐÑÒÓ
γ
lh+r
lh
×ÖÕÔ ÐÑÒÓ
γ
u
0
, para i, r, u ≥ 0,
y por lo tanto
lh+h−1
¸
i=lh+j
γ
u
i
(b)γ
i
lh

γ
h−j−1
0
(x)

= γ
u
lh+j
(b)γ
lh+h−1
lh
(x) = γ
u
lh+j
(b),
para j ≥ 1. Supongamos que la ley del producto se cumple
para γ
1
i
con i < lh + j. Entonces, por la definici´on de γ
1
lh+j
, la
hip´ otesis inductiva y el cuarto paso,
γ
1
lh+j
(ab) = γ
1
lh
(abb
j
) −
lh+j−1
¸
i=0
γ
1
i
(ab)γ
i
lh
(b
j
)
=
n−1
¸
u=0
γ
1
u
(a)γ
u
lh
(bb
j
) −
lh+j−1
¸
i=0
n−1
¸
u=0
γ
1
u
(a)γ
u
i
(b)γ
i
lh
(b
j
)
=
n−1
¸
u=0
γ
1
u
(a)

γ
u
lh
(bb
j
) −
lh+j−1
¸
i=0
γ
u
i
(b)γ
i
lh
(b
j
)

=
n−1
¸
u=0
γ
1
u
(a)

n−1
¸
i=0
γ
u
i
(b)γ
i
lh
(b
j
) −
lh+j−1
¸
i=0
γ
u
i
(b)γ
i
lh
(b
j
)

=
n−1
¸
u=0
γ
1
u
(a)

n−1
¸
i=lh+j
γ
u
i
(b)γ
i
lh
(b
j
)

.
PLANOS TORCIDOS 37
Como se cumple
γ
lh+r
lh
(b
j
) =

1 if r = j,
0 if r > j,
(como se vio en la prueba de la proposici´ on 6.9), obtenemos que
γ
1
lh+j
(ab) =
n−1
¸
u=0
γ
1
u
(a)γ
u
lh+j
(b),
lo cual concluye la prueba.
Proposici´on 6.11. Para cada r = 1, . . . , h, tenemos que:
γ
1
0
×ÖÕÔ ÐÑÒÓ

r−1
¸
j=0
γ
h−r+j
j

= 0.
En particular γ
1
0
×ÖÕÔ ÐÑÒÓ
Tr(M
(h)
) = 0.
Demostraci´on. Procedemos por inducci´ on en r = 1, . . . , h. Para
r = 1 es obviamente cierto, pues γ
1
0
×ÖÕÔ ÐÑÒÓ
γ
h−1
0
= γ
h
0
= 0. Asumamos
entonces que r > 1 y
γ
1
0
×ÖÕÔ ÐÑÒÓ

r−i−1
¸
j=0
γ
h−r+i+j
j

= 0 para 1 ≤ i < r,
lo cual por el lema 6.3 implica
γ
1
1
×ÖÕÔ ÐÑÒÓ

r−2
¸
j=0
γ
h−r+1+j
j

=
r−2
¸
j=0
γ
h−r+1+j
j
(6.10)
y
γ
1
l
×ÖÕÔ ÐÑÒÓ

r−i−1
¸
j=0
γ
h−r+i+j
j

= 0 para l ≥ 2. (6.11)
38 CHRISTIAN VALQUI
Por la ley de composici´on tenemos
γ
h−r+1+j
j
= γ
1
0
×ÖÕÔ ÐÑÒÓ
γ
h−r+j
j
+
j
¸
i=1
γ
1
i
×ÖÕÔ ÐÑÒÓ
γ
h−r+j
j−i
.
De modo que, sumando para j desde 0 a r − 1, se obtiene
r−1
¸
j=0
γ
h−r+1+j
j
= γ
1
0
×ÖÕÔ ÐÑÒÓ

r−1
¸
j=0
γ
h−r+j
j

+
r−1
¸
j=1
j
¸
i=1
γ
1
i
×ÖÕÔ ÐÑÒÓ
γ
h−r+j
j−i
= γ
1
0
×ÖÕÔ ÐÑÒÓ

r−1
¸
j=0
γ
h−r+j
j

+ γ
1
1
×ÖÕÔ ÐÑÒÓ

r−1
¸
j=1
γ
h−r+j
j−1

+
r−1
¸
i=2
r−1
¸
j=i
γ
1
i
×ÖÕÔ ÐÑÒÓ
γ
h−r+j
j−i
.
Pero ahora, por (6.10),
γ
1
1
×ÖÕÔ ÐÑÒÓ

r−1
¸
j=1
γ
h−r+j
j−1

= γ
1
1
×ÖÕÔ ÐÑÒÓ

r−2
¸
j=0
γ
h−r+1+j
j−1

=
r−2
¸
j=0
γ
h−r+1+j
j−1
,
por (6.11),
r−1
¸
j=i
γ
1
i
×ÖÕÔ ÐÑÒÓ
γ
h−r+j
j−i
= γ
1
i
×ÖÕÔ ÐÑÒÓ

r−i−1
¸
j=0
γ
h−r+i+j
j

= 0,
y por lema 6.1, cada γ
h
j
es cero, tenemos que
r−2
¸
j=0
γ
h−r+1+j
j
= γ
1
0
×ÖÕÔ ÐÑÒÓ

r−1
¸
j=0
γ
h−r+j
j

+
r−2
¸
j=0
γ
h−r+1+j
j
.
Esto prueba la primera afirmaci´ on. La ´ utima se obtiene to-
mando r = h.
PLANOS TORCIDOS 39
References
[C-S-V] A. Cap, H. Schichl and J. Van˜zura On twisted tensoir products of
algebras, Communications in Algebra, Vol 23 (1995) 4701–4735.
[Ca] P. cartier Produits tensorieles tordus, Expos´e au S´eminaire des
groupes quantiques de’l
´
Ecole Normale Sup´erieure, Paris (1991-
1992).
[C-I-M-Z] S. Cænepel, B. Ion, G. Militar´ u, 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.

.

.

.

Vamos a llamar A ⊗s B al ´lgebra as´ obtenida.2 CHRISTIAN VALQUI El objetivo de este minicurso es presentar las nociones b´sicas a de las construcciones llevadas a cabo por el autor conjuntamente con J. la definici´n anterior nos da: o µA⊗B = (µA ⊗ µB ) ◦ (IdA ⊗ σ ⊗ IdB ). Si ahora vemos el morfismo de multiplicaci´n como una aplio caci´n desde el producto tensorial hacia el algebra µA : A⊗A → o ´ A. donde σ : B ⊗ A → A ⊗ B es el flip. La definici´n usual de la multiplicaci´n en el producto tensoo o rial de dos algebras A ⊗ B es la siguiente: ´ (a1 ⊗ b1 ) · (a2 ⊗ b2 ) = a1 · a2 ⊗ b1 · b2 . En nuestro caso este plano ya no es un objeto conmutativo. es un ”plano no-conmutativo” o un ”Plano Torcido”.J. Nosotros vamos a caracterizar estos planos torcidos a trav´s de un cierto morfismo e de torcimiento llamado ”Twisting map” o twist. En este curso analizaremos los morfismos de torcimiento (twists) s : B ⊗ A → A ⊗ B que definen una estructura de algebra asociativa en A ⊗ B a trav´s ´ e del morfismo de multiplicaci´n µs : A ⊗ B ⊗ A ⊗ B → A ⊗ B o definido por µs = (µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB ). que en la dualidad mencionada anteriormente corresponde a un plano.A. Las preguntas que se plantean ahora son: ¿Se podr´ reemplazar el flip por alg´n otro morfismo lineal y obtener a u a´n una estructura de algebra asociativa en el producto tensou ´ rial? ¿Qu´ condiciones deber´ cumplir este otro morfismo? La e ıa primera respuesta es afirmativa. Guccione y J. a ı Primero daremos condiciones muy generales que deben cumplir . Guccione. que simplemente intercambia los factores. El caso m´s estudiado coa rresponde al producto tensorial k[x] ⊗ k[y].

a → a ⊗ 1 y ιB : B → A ⊗s B. ´ Proposici´n 2. s ◦ (µB ⊗ IdA ) = (IdA ⊗ µB ) ×ÐÖÑÕÒÔÓ (s ⊗ IdB ) ×ÐÖÑÕÒÔÓ (IdB ⊗ s). Entonces ´ a ⊗ 1 = ιA (1A · a) = ιA (1A ) · ιA (a) = µA ⊗ µB (1A ⊗ s(1B ⊗ a) ⊗ 1B ) = s(1B ⊗ a). Veamos ahora que se cumple (c). b → 1 ⊗ b sean morfismos de algebras. Condiciones generales para twists Vamos a derivar condiciones generales para los twists. Demostraci´n: Supongamos primero que µs es asociativo y las o inclusiones ιA y ιB son morfismos de algebras. para todo a ∈ A y b ∈ B. partiendo de la asociatividad que debe tener el algebra A ⊗s B ´ y de que las inclusiones ιA : A → A ⊗s B.PLANOS TORCIDOS 3 los twists. En algunos casos podemos dar una clasificaci´n como pleta de estos twists. s(b ⊗ 1) = 1 ⊗ b. y en general obtenemos nuevas familias que dan muchos ejemplos de ´lgebras no conmutativas.1. Para que µs sea asociativo y las inclusiones o ιA y ιB sean morfismos de ´lgebras es suficiente y necesario que a s cumpla las siguientes condiciones: (a) (b) (c) (d) s(1 ⊗ a) = a ⊗ 1. s ◦ (IdB ⊗ µA ) = (µA ⊗ IdB ) ×ÐÖÑÕÒÔÓ (IdA ⊗ s) ×ÐÖÑÕÒÔÓ (s ⊗ IdA ). Para esto evaluemos ιB (b) ιA (a)ιA (a ) = ιB (b)ιA (a) ιA (a ) . similarmente se prueba (b). a 2.

Similarmente. Veremos que ambos lados son iguales a (2. (IdA ⊗ s) ◦ (s ⊗ IdA ) (x) ⊗ 1B donde x = b ⊗ a ⊗ a .(b). La asociatividad significa µs ◦ (µs ⊗ IdA⊗B ) = µs ◦ (IdA⊗B ⊗ µs ). Ahora supongamos que se cumplen (a).1) (µA ⊗ µB ) ◦ (IdA ⊗ µA ⊗ µB ⊗ IdB ) ◦ (IdA ⊗ IdA ⊗ s ⊗ IdB ⊗ IdB ) ◦ (IdA ⊗ s ⊗ s ⊗ IdB ). Por un lado tenemos ιB (b) ιA (a)ιA (a ) = (1A ⊗ b)(aa ⊗ 1B ) = s(b ⊗ aa ) = s ◦ (IdB ⊗ µA )(b ⊗ a ⊗ a ). Por otro lado se tiene ιB (b)ιA (a) ιA (a ) = s(b ⊗ a) · (a ⊗ 1B ) =(µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB ) ◦ (s ⊗ IdA ⊗ IdB )(x ⊗ 1B ) =(µA ⊗ µB ) =(µA ⊗ IdB ) Ð×ÑÖÒÕÓÔ (IdA ⊗ s) ×ÐÖÑÕÒÔÓ (s ⊗ IdA )(x). se obtiene (d).4 CHRISTIAN VALQUI de las dos distintas maneras. Por un lado tenemos µs ◦ (µs ⊗ IdA⊗B ) = =(µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB ) ◦ [ (µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB ) ⊗ IdA ⊗ IdB ] .(c) y (d). evaluando ιB (b) ιB (b )ιA (a) = ιB (b)ιB (b ) ιA (a).

y la ultima u ´ usando que µA = µA ◦ (IdA ⊗ IdA ) ◦ (IdA ⊗ IdA ). =[(µA ⊗ µB ) ◦ (µA ⊗ IdA ⊗ µB ⊗ IdB )] donde la pen´ltima igualdad se obtiene usando (d).1).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 ) ◦ (IdA ⊗ s ⊗ IdB ⊗ IdA ⊗ IdB ) =(µA ⊗ µB ) ◦ (µA ⊗ [s ◦ (µB ⊗ IdA )] ⊗ IdB ) =(µA ⊗ µB ) ◦ (µA ⊗ [(IdA ⊗ µB ) ×ÐÖÑÕÒÔÓ (s ⊗ IdB ) ×ÐÖÑÕÒÔÓ (IdB ⊗ s)] ⊗ IdB ) ◦ (IdA ⊗ s ⊗ IdB ⊗ IdA ⊗ IdB ) ◦ (IdA ⊗ s ⊗ IdB ⊗ IdA ⊗ IdB ) ◦ (IdA ⊗ IdA ⊗ s ⊗ IdB ⊗ IdB ) ◦ (IdA ⊗ IdA ⊗ IdB ⊗ s ⊗ IdB ) ◦ (IdA ⊗ s ⊗ IdB ⊗ IdA ⊗ IdB ). La ultima expresi´n es igual a (2. pues ´ o (IdA ⊗ IdA ⊗ IdB ⊗ s ⊗ IdB ) ◦ (IdA ⊗ s ⊗ IdB ⊗ IdA ⊗ IdB ) = [(IdA ⊗ IdA ⊗ IdB ) ◦ (IdA ⊗ s)] ⊗ [(s ⊗ IdB ) ◦ (IdB ⊗ IdA ⊗ IdB )] = IdA ⊗ s ⊗ s ⊗ IdB . .

donde los morfimos paralelos a la misma altura son factores en alg´n morfismo producto tensou rial y las composiciones van bajando nivel a nivel en el gr´fico. .6 CHRISTIAN VALQUI y por la asociatividad de la multiplicaci´n en A se tiene o (µA ⊗ µB ) ◦ (µA ⊗ IdA ⊗ µB ⊗ IdB ) = [µA ◦ (µA ⊗ IdA )] ⊗ [µB ◦ (µB ⊗ IdB )] = [µA ◦ (IdA ⊗ µA )] ⊗ [µB ◦ (µB ⊗ IdB )] = (µA ⊗ µB ) ◦ (IdA ⊗ µA ⊗ µB ⊗ IdB ). Para manejar este tipo de pruebas engorrosas conviene trabajar en diagramas. ´ Comentario 2.2. a Por ejemplo la igualdad (c) s ◦ (IdB ⊗ µA ) = (µA ⊗ IdB ) ×ÐÖÑÕÒÔÓ (IdA ⊗ s) ×ÐÖÑÕÒÔÓ (s ⊗ IdA ). se obtiene que µs ◦ (IdA⊗B ⊗ µs ) =(µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB ) ◦ [IdA ⊗ IdB ⊗ (µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB ) ] es igual a (2. Ahora notamos que 1A ⊗ 1B es el elemento neutro de la multiplicaci´n y que (a) y (b) implican que las inclusiones ιA y ιB o son homomorfismos de algebras unitales.1). Similarmente. usando la asociatividad en B y el ´ ıtem (c).

Usando esta representaci´n gr´fica se puede describir ahora o a d     d   d µs = (µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB ) como .PLANOS TORCIDOS 7 se ver´ as´ ıa ı: B A A B A A d   d   d   d d d d     d   d = d     d   d  A y la igualdad (d) B A B se ver´ as´ ıa ı: s ◦ (µB ⊗ IdA ) = (IdA ⊗ µB ) ×ÐÖÑÕÒÔÓ (s ⊗ IdB ) ×ÐÖÑÕÒÔÓ (IdB ⊗ s)   d   d     d      d     d   d = d   d   d  .  Ahora se puede seguir m´s f´cilmente la prueba desde a a µs ◦ (µs ⊗ IdA⊗B ) .

. El producto tensorial torcido A ⊗s B tiene la siguiente propiedad universal: Dados morfismos de algebras f : A → C y ´ g : B → C tales que µC Ð×ÑÖÒÕÓÔ (g ⊗ f ) = µC ×ÐÖÑÕÒÔÓ (f ⊗ g) ×ÐÖÑÕÒÔÓ s.8 CHRISTIAN VALQUI que se grafica as´ ı: d     d   d    d d     d   d   d    . hasta (µA ⊗µB )◦(IdA ⊗µA ⊗µB ⊗IdB )◦(IdA ⊗IdA ⊗s⊗IdB ⊗IdB )◦(IdA ⊗s⊗s⊗IdB que corresponde al gr´fico a d   d     d   d   d   d d     d   d    .

entonces s es un twist. g) : s → t es un par de morfismos de algebras f : A → C y g : B → D tal ´ que t Ð×ÑÖÒÕÓÔ (g ⊗ f ) = (f ⊗ g) ×ÐÖÑÕÒÔÓ s. Dos twists s. Si (bi )i∈I genera B como ´lgebra y a para todo a. A ⊗ B y t : D ⊗ C → C ⊗ D twists. t : B ⊗ A → A ⊗ o B se llaman equivalentes si son isomorfos. el ´lgebra ´ a de polinomios sobre y.3. (b) y (c). 3. es f´cil verificar que h = µC ×ÐÖÑÕÒÔÓ (f ⊗ g).PLANOS TORCIDOS 9 entonces existe un unico morfismo de algebras h : A ⊗s B → C ´ ´ que satisface En efecto.2) s(y r ⊗ a) = j≥0 r γj (a) ⊗ y j . f = h Ð×ÑÖÒÕÓÔ iA and g = h ×ÐÖÑÕÒÔÓ iB . En este caso todo morfismo lineal s : i k[y] ⊗ A → A ⊗ k[y] est´ determinado por los morfismos γj : a A → A definidos por la ecuaci´n o (3. Extensiones polinomiales Ahora veamos el caso en que el algebra B sea k[y]. y ser´ usado o a impl´ ıcitamente a lo largo de este trabajo. a ∈ A y cada ´ ındice i. Esto es. La composici´n es la evidente. si existen automorfismos f : A → A y g : B → B tales que t = (f −1 ⊗ g −1 ) Ð×ÑÖÒÕÓÔ s Ð×ÑÖÒÕÓÔ (g ⊗ f ). Un morfismo (f. a Los twists son objetos de una categor´ Sean s : B ⊗ A → ıa. Proposici´n 2. Sea s : B ⊗ A → A ⊗ B una aplicaci´n que o o satisface (a). s(bi ⊗ aa ) = (µA ⊗ B) ×ÐÖÑÕÒÔÓ (A ⊗ s) ×ÐÖÑÕÒÔÓ (s ⊗ A)(bi ⊗ a ⊗ a ) Entonces las condiciones se escriben de la siguiente manera: . El siguiente resultado es util para verificar si una cierta apli´ caci´n s : B ⊗ A → A ⊗ B es un twist o no.

Es claro que (a) y (b) corresponden a los mismos o items en la proposici´n (2.1).1. . Notemos que γj αj .nr for r > 0.. . .. tenemos j r γj = l=0 (e) Para cada a y r fijos existe un N = N (a. . Tambi´n se puede calcular direco e tamente que lo mismo vale para (c) y para (d).. (1) = .. . M´s a´n escribimos γj = δ0j id (0) r−k γlk ×ÐÖÑÕÒÔÓ γj−l . ponemos |n1 . Un conjunto de aplicaciones γj : A → A o define un twist v´a (3. Finalmente hay que notar que (e) vale si y solamente si la ecuaci´n (3. r) tal que r γj (a) = 0 para j > N (a. |n1 ..nr |=j donde δ0j denota el s´ ımbolo de Kronecker. Demostraci´n. nr ≥ 0. . i i (b) γj (1) = δj . .nr = a u αn1 Ð×ÑÖÒÕÓÔ · · · Ð×ÑÖÒÕÓÔ αnr .2) define o una aplicaci´n s : k[y] ⊗ A → A ⊗ k[y]... and γj = (r) αn1 . r). . (d) Para todo 0 ≤ k ≤ r. o Dada una familia de aplicaciones (αj : A → A)j≥0 e ´ ındices n1 . j tenemos r γj (ab) = k≥0 r k γk (a)γj (b).10 CHRISTIAN VALQUI i Proposici´n 3.. nr | = n1 + · · · + nr y αn1 . (c) Para todo r.2) si y solamente si cumple las siguientes ı propiedades: 0 (a) γj = δj0 id.

que satisface: (1) Para cada a ∈ A existe j0 ≥ 0. (r) M´s a´n. entonces ν αν (ab) = α1 (a)αν (b) + αν (a)α1 (b). Demostraci´n. define una familia de aplicaciones αj : A → A. la f´rmula (3. La ecuaci´n o ∞ s(Y ⊗ a) = j=0 αj (a) ⊗ Y j . entonces ker(α0 ) es un sub´lgebra de A. (3) Para todo j ≥ 0 y todo a. b ∈ A. o o Comentario 3. dadas aplicaciones αj : A → A (j ≥ 0) satisfaciendo (1)–(3).PLANOS TORCIDOS 11 Corolario 3. Por otro lado. M´s a´n. a a u • Si α0 = 0. Si α0 = 0 y αj = 0 para 1 < j < ν. ∞ (3.3) αj (ab) = r=0 αr (a)γj (b). Si s : k[Y ]⊗A → A⊗k[Y ] es un twist. a u ∞ (3.4) s(Y r ⊗ a) = j=0 γj (a) ⊗ Y j (r) para todo r ≥ 0 y a ∈ A. (2) αj (1) = δj1 . tal que αj (a) = 0 cuando j > j0 .3. a • Sea ν > 1.2. Sigue directamente de la proposici´n. entonces α1 es un endomorfismo de ´lgebras. Sea A un ´lgebra y s : k[Y ] ⊗ A → A ⊗ k[Y ] un a twist.4) deo fine un twist. .

para j = e i 0. o i La condici´n de convergencia (γj (a) = 0 para j > N (a. . En particular. Consideremos la familia de aplicaciones (αj : A → A)j≥0 . . n − 1. a i En ese caso tambi´n se tiene morfismos lineales γj . a Ejemplo 3.12 CHRISTIAN VALQUI Ejemplo 3. entonces i los γj definen un twist de A ⊗ k[y]/ y n . Sea A = k[t]/ t2 . o ´ Si α1 = Id y α0 (x) = 1 obtenemos el ´lgebra de Weyl. α2 (λ + µt) = µt and αj = 0 for j > 2. a Ejemplo 3. o o la completaci´n como C*-´lgebra viendo los elementos de k[y] o a como operadores de multiplicaci´n en un espacio de Hilbert con o k base {y }. .4. vamos a tener los resultados a u m´s importantes en el caso en que B = k[y]/ y n . Sin embargo en este trabajo no vamos a entrar en detalles en ese aspecto. i)) o puede ser modificada. Si α : A → A es un endomorfismo de ´lgebras y a δ : A → A es una α-derivaci´n (esto es δ(ab) = δ(a)b+α(a)δ(b)).6. Este ejemplo corresponde al caso cl´sico de extensiones de Ore. α0 = 0 y α1 (x) = qx se obtiene un ´lgebra relacionada con el algebra de a rotaci´n irracional por el angulo Θ con exp(iπΘ) = q. y para i ≥ n se tiene γj = 0. o entonces existe un unico twist s : k[Y ] ⊗ A → A ⊗ k[Y ] tal que ´ s(Y ⊗ a) = α(a) ⊗ Y + δ(a) ⊗ 1 para todo a ∈ A. definidos por α0 = 0. por ejemplo las series formales de potencia k[[y]]. La f´rmula s(Y ⊗ a) = α1 (a) ⊗ Y + α2 (a) ⊗ Y 2 define un twist. . si en vez de k[y] tomamos alguna completaci´n. si se i tiene un twist de A ⊗ k[y] para el cual γj = 0 si i ≥ n. En el caso particular en que A = k[x]. .5. α1 = id. M´s a´n.

Las ecuaciones o n−1 s(y ⊗ a) = j=0 r γj : r r γj (a) ⊗ y j define aplicaciones A → A para 0 ≤ j.PLANOS TORCIDOS 13 4. C = k[y]/ y n y s : C ⊗ A → A ⊗ C una aplicaci´n k-lineal. 0 γj = δj0 id. Las siguientes condiciones son equivalentes: o (1) La aplicaci´n s es un twist. (Ley del producto) (d) Para todo 0 < k < r. r < n. a u r r ponemos γj = 0 si r ≥ n si 0 ≤ j < n. (c) Para 0 ≤ j < n y 0 < r < n. o 0 (2) (a) γj = δj0 id. a Proposici´n 4. tenemos j r γj = l=0 (3) (a) (b) (c) Para todo j tenemos n−1 1 γj (ab) = k=0 1 k γk (a)γj (b). (Ley de composici´n) o (d) Para todo r > 1. r γj (1) = δjr .1. . tenemos n−1 r γj (ab) = k=0 r k γk (a)γj (b). M´s a´n. tenemos j r γj = l=0 r−1 γl1 ×ÐÖÑÕÒÔÓ γj−l . r (b) γj (1) = δjr . Notemos que los γj ’s est´n definidos para r ≥ 0 y 0 ≤ j < n. r−k γlk Ð×ÑÖÒÕÓÔ γj−l . Extensiones polinomiales truncadas Sea A una k-algebra.

Pero un c´lculo directo muestra a que (a’) ⇔ (2)(a). (3) ⇒ (2) Para k = 1 y r > 1 la condici´n (2)(d) coincide con o (3)(d). s(y r y t ⊗ a) = (A ⊗ µC ) ×ÐÖÑÕÒÔÓ (s ⊗ C) ×ÐÖÑÕÒÔÓ (C ⊗ s)(y r ⊗ y t ⊗ a). (2) ⇒ (3) Esto es trivial. (1) ⇔ (2) Sabemos que s es un twist si y solao mente si (a’) (b’) (c’) (d’) s(1 ⊗ a) = a ⊗ 1. s(y r ⊗ ab) = (µA ⊗ C) ×ÐÖÑÕÒÔÓ (A ⊗ s) ×ÐÖÑÕÒÔÓ (s ⊗ A)(y r ⊗ a ⊗ b). t < n y a. y a la probaremos para k + 1 y todo r > k + 1. b ∈ A. Finalmente probemos (2)(c). r−k−1 1 k γh Ð×ÑÖÒÕÓÔ γl−h Ð×ÑÖÒÕÓÔ γj−l por (3)(d) As´ (2)(d) se cumple. para todo r.14 CHRISTIAN VALQUI Demostraci´n. (b’) ⇔ (2)(b). Para r = 1 ı es lo mismo que (3)(c). Suponemos que (2)(d) es v´lida para k y todo r > k. (c’) ⇔ (2)(c) y (d’) ⇔ (2)(d). Supongamos que (2)(c) vale para 1 ≤ . Entonces j r γj = h=0 j 1 r−1 γh Ð×ÑÖÒÕÓÔ γj−h j−h por (3)(d) = h=0 u=0 j j 1 k r−k−1 γh Ð×ÑÖÒÕÓÔ γu Ð×ÑÖÒÕÓÔ γj−h−u por hip´tesis inductiva o = h=0 l=h j l r−k−1 1 k γh Ð×ÑÖÒÕÓÔ γl−h Ð×ÑÖÒÕÓÔ γj−l poniendo l := u + h = l=0 h=0 j = l=0 r−k−1 γlk+1 Ð×ÑÖÒÕÓÔ γj−l . Fijemos r > k + 1. s(y r ⊗ 1) = 1 ⊗ y r .

5) r γj = u1 . Del ´ ıtem (3)(c) de la proposici´n se deduce o f´cilmente por inducci´n en r que a o (4. Comentario 4. n−1 n−1 = l=0 k=0 m=0 n−1 n−1 1 γm k=0 m=0 n−1 n−1 por (3)(c) j r (γk (a)) l=0 m+k 1 r γm (γk (a)) γj (b) k γlm γj−l (b) = = m=0 k=0 n−1 n−1 por (2)(d) poniendo u = m + k.i.ur u1 +···+ur =j 1 1 γu1 ×ÐÖÑÕÒÔÓ · · · ×ÐÖÑÕÒÔÓ γur ..2. Entonces j r+1 γj (ab) = l=0 j = l=0 j γl1 Ð×ÑÖÒÕÓÔ r γl1 Ð×ÑÖÒÕÓÔ γj−l (ab) n−1 r k γk (a)γj−l (b) k=0 1 r k γm (γk (a)) γlm γj−l (b) por (3)(d) por h. por (3)(d) Esto conluye la prueba...PLANOS TORCIDOS 15 r < n − 1.. ya que u γj = 0 para u≥n = m=0 u=m n−1 u 1 r u γm γu−m (a) γj (b) = u=0 m=0 n−1 1 r u γm γu−m (a) γj (b) = u=0 r+1 u γu (a)γj (b).

. 1 Corolario 4. o Asociado al twist s : C ⊗ A → A ⊗ C tenemos la matriz M ∈ Mn (Endk (A)) dada por   id 0 . . . M´s a´n.. . γn−1   .1..16 CHRISTIAN VALQUI para todo r ≥ 1. .  . Pongamos γj = δ0j id y r γj := u1 .4.ur u1 +···+ur =j n Si γj = 0 para todo j < n y n−1 1 γj (ab) 1 1 γu1 Ð×ÑÖÒÕÓÔ · · · ×ÐÖÑÕÒÔÓ γur para r ≥ 1 y 0 ≤ j < n. ... . r entonces las aplicaciones γj satisfacen las condiciones equivalentes de la proposici´n 4. Por hip´tesis sabemos que se cumplen (3)(b) and o o (3)(c) de la proposici´n 4.3... .. Las matrices M (a) cumplen: (1) M (1) = Id. b ∈ A y 0 ≤ j < n. para a ∈ A definimos la matriz M (a) ∈ Mn+1 (A) por a medio de i M (a)ij := γj (a) (0 ≤ i. (2) M (ab) = M (a)M (b). . o Demostraci´n.1. = k=0 k 1 γk (a)γj (b) para a. . . Sean γk : A → A (0 ≤ k < n) aplicaciones 0 1 k-lineales que satisfacen γk (1) = δ1k . M = . γn−1 Adem´s. j ≤ n − 1) Corolario 4. 0 1 1 1  γ0 γ1 . n−1 n−1 n−1 γ0 γ1 . por la definici´n de los o a u o r r r γj ’s es claro que γj = 0 para r ≥ n y que las aplicaciones γj satisfacen items (3)(a) y (3)(d) de la misma proposici´n.

para verificar que ϕ define un o morfismo de algebras. . 0 · · · 1 0 0 ··· 0 (matriz de Jordan nilpot. . solamente tenemos que garantizar que ´ 1 1 1 ϕ(y)ϕ(a) = ϕ(γ0 (a)) + ϕ(γ1 (a))ϕ(y) + · · · + ϕ(γn−1 (a))ϕ(y)n−1 .PLANOS TORCIDOS 17 Teorema 4. .. . . . 0   1 ··· 0 .j 0 para i < n − 1. en otro caso.5. . o Demostraci´n. en otro caso. J0 ) definen una representaci´n fiel ϕ : A ⊗s C → Mn (A). . Las f´rmulas ϕ(a) := M (a) para a ∈ A.j−u 0 para j ≥ u. . . y o 0 . y u M (b)J0 ij = M (b)i. ϕ(y) :=  . Como ϕ(y)n = 0. Pero notemos que J0 M (b) ij = M (b)i+1.

18 CHRISTIAN VALQUI y as´ ı ϕ(y)ϕ(a) ij = J0 M (a) = = u=0 j i+1 γj (a) j ij i 1 γj−u ×ÐÖÑÕÒÔÓ γu (a) 1 M γu (a) i. s es biyectivo si y solamente 1 si lo es γ1 . Por ejemplo. es f´cil o a 1 e ver que si γ1 es un morfismo inyectivo. dado un twist con 1 1 a γ0 = 0. Por lo tanto.j−u = u=0 n−1 = u=0 n−1 1 u M γu (a) J0 ij = u=0 1 ϕ(γu (a))ϕ(y)u ij . donde A es una k-´lgebra conmutativa. cuando A es finito dimensional. entonces s tambi´n es 1 inyectivo. La a 1 aplicaci´n γ1 juega un rol importante. La inyectividad sigue del hecho que la composici´n de ϕ con o la yecci´n sobre la primera fila nos da el isomorfismo lineal o can´nico A ⊗s C → An .j = 0 = γj (a). y si s es sobreyectivo. Notemos que o . ponemos α := γ1 . ya e que n J0 M (a) n−1. donde la segunda igualdad vale tambi´n en el caso i = n − 1. entonces lo es γ1 . Para simplificar las notaciones. o 1 ´ 5. Twists de algebras conmutativas con γ0 = 0 El objetivo de esta secci´n es estudiar twists s : C ⊗ A → o 1 A ⊗ C con γ0 = 0. Adem´s denotaremos con αm a las composici´n de m copias de α consigo mismo.

Sea α un endomorfismo de A. . ponemos ∆ij = αi − αj . .7) r+1 γr+k = l=1 q Demostraci´n. Lema 5. Durante esta secci´n A es un ´lgebra conmutativa y o a dado un endomorfismo α : A → A.1 (3)(c) nos da: o j 1 γj (ab) j 1 k γk (a)γj (b) k=1 1 k γk (b)γj (a). . . . k=1 r γl1 Ð×ÑÖÒÕÓÔ γr+k−l . Supongao mos que existe un b ∈ A. . n − 1. γ1 = α y γj (b) = bj para j = 2. existe a lo m´s un twist s : C ⊗ A → a 1 1 1 A ⊗ C con γ0 = 0.PLANOS TORCIDOS 19 α es un endomorfismo de A y que M e una matriz triangular superior. . bn−1 ∈ A. ∆1. para el cual los elementos ∆12 (b). . Sean γj las aplicaciones asociadas a otro twist o ¯r s : C ⊗ A → A ⊗ C satisfaciendo las mismas condiciones que s. . Entonces.1 (3)(d). = = La primera f´rmula del enunciado sigue f´cilmente de este hecho.2. Valen las siguientes f´rmulas: o (5. Asumamos que 1 γ0 = 0. dados elementos b2 .6) j−1 1 γj (a)∆1j (b) = 1 γj (b)∆1j (a) k + k=2 1 k 1 k (γk (a)γj (b) − γk (b)γj (a)).1. . ∆13 (b). la o proposici´n 4. o a j j usando que γj = α . . ¯r . Proposici´n 5. (5. La segunda f´rmula es consecuencia inmeo q diata de la proposici´n 4. nuevamente porque γp = 0 o para q > p. r Probaremos que γr+k = γr+k usando inducci´n en k. Como γp = 0 para q > p y A es conmutativo. Sea s : C ⊗ A → A ⊗ C un twist. Demostraci´n. . Para k = 0 ¯r o esto es claro ya que r γr = α r = γr .n−1 (b) no son divisores del cero.

. b ∈ A y 1 ≤ k < j. r γr+j−1 = u1 .1. ¯1 Finalmante. ¯r γu1 ×ÐÖÑÕÒÔÓ · · · ×ÐÖÑÕÒÔÓ γur ¯1 ¯1 como deseabamos. o . r entonces. sabemos que j−1 1 γj (a)∆1j (b) = 1 γj (b)∆1j (a) + i=2 j−1 i i (γi1 (a)γj (b) − γi1 (b)γj (a)) = γj (b)∆1j (a) + ¯1 i=2 (¯i1 (a)¯j (b) − γi1 (b)¯j (a)) γ γi ¯ γi = γj (a)∆1j (b). 1 Lema 5..ur u1 +···+ur =r+j−1 = γr+j−1 ..20 CHRISTIAN VALQUI r ¯r Asumamos que γr+k = γr+k para k < j − 1 y todo r.3. ¯1 1 1 γu1 ×ÐÖÑÕÒÔÓ · · · ×ÐÖÑÕÒÔÓ γur 1 Luego γj (a) = γj (a).. para r > 1.. Pongamos γ0 = 0.2. pues γ0 = 0.. n−1 1 γk (ab) = l=0 l γl1 (a)γk (b) para a. Sean γk : A → A (1 ≤ k ≤ j − 1) aplicaciones 1 0 k-lineales... cada ui ≤ j ya que ui > j lleva a ui + l=i ul ≥ ui + r − 1 > r + j − 1.. por el comentario 4.. pues ∆1j (b) no es un divisor de cero.. Entonces. y por lo tanto. γj = δj0 id y 1 1 γu1 ×ÐÖÑÕÒÔÓ · · · ×ÐÖÑÕÒÔÓ γur (5. Notemos que en un sumando no nulo cada 1 ui ≥ 1. por Lema 5..ur u1 +···+ur =k para 2 ≤ r ≤ k ≤ j.8) Si r γk := u1 .ur u1 +···+ur =r+j−1 = u1 . las aplicaciones γj satisfacen la Ley de composici´n y la Ley del producto.

si la ley del producto se cumple para i todo γj con (i. . donde M(k) (a) ij = i γj (a) para i. j = 0. Sea A = k[x] y p1 (x). i Proof. k. pn−1 (x) ∈ k[x]. . pues γp = 0 para q > p donde la tercera igualdad se obtiene siguiendo paso a paso el c´lculo largo hecho ya en la demostraci´n de la proposici´n 4. o 1 Entonces existe un unico twist s : C ⊗A → A⊗C tal que γj (x) = ´ 1 pj (x) para j = 1. j) = (1. n − 1 y γ0 = 0. De la definici´n sigue inmediatamente la Ley de o o composici´n. . Notemos primero que los γk´ satisfacen la ley del pros t ducto si y solamente si M(k) (x ) = M(k) (x)t . j r+1 γj (ab) = l=0 j−1 r γl1 Ð×ÑÖÒÕÓÔ γj−l (ab) r γl1 Ð×ÑÖÒÕÓÔ γj−l (ab) r+1 u γu (a)γj (b) por la Ley de composici´n o 1 pues γ0 = 0 = l=1 n−1 = u=0 j = u=r+1 r+1 u q γu (a)γj (b).1 a o o (solamente el rango de l se reduce). .4. . j) = (1. .9) i γj (xt ) = M(k) (x)t ij para todo (i. . .PLANOS TORCIDOS 21 Demostraci´n. . La Ley del producto se cumple por las siguientes o consideraciones. Para el lado derecho no se necesitan las entradas M(k) (x)t 1k con t < m. Proposici´n 5. ya que M(k) (x) es . Luego (5. k). . . k). .

γn−1 . . γ5 . γ3 . . i Por el lema previo es claro que los γj´ satisfacen la ley del pros ducto y la de la composici´n para i ≥ 2. γ4 . γ5 . Para los γk o definimos primero la matriz M(k) (x) poniendo M(k) (x) 1k := i pk (x) y M(k) (x) ij := γj (x) para (i.22 CHRISTIAN VALQUI triangular superior. γ5 . γn−1 . Pero 1 γk (xm xt ) = M(k) (x)m+t m 1k 1k = M(k) (x) M(k) (x)t k = j=0 k M(k) (x)m 1j M(k) (x)t jk = j=1 j 1 γj (xm )γk (xt ). 1 2 3 4 5 γ4 . . j) = (1. n−2 n−1 1 2 γn−2 . .8) para los γk´ con i > 1. k). γ4 . . . donde la ultima igualdad se deduce de (5. 1 2 3 γ2 . γ3 . 1 2 3 4 γ3 . Ahora podemos definir recursivamente 2 γ2 . γ5 . Por lineas lidad es suficiente probarla para elementos a = xm y b = xt . . 1 γn−1 . γ4 . Por lo tanto solamente o 1 necesitamos probar la ley del producto para los γk´. . 1 i s usando la f´rmula (5. Luego ponemos 1 γk (xm ) := M(k) (x)m 1k . γn−1 .9) y la definici´n de ´ o 1 γj (xm ).

. γ4 . Notemos que N se obtiene de M eliminando la primera columna y la primera fila. γ5 . Por el lema 5. γn−1 . γn−1 . 1 2 3 4 γ3 . 1 γn−1 . . . . γ5 .j−i γj (a). . Llamamos Dk (a) a la matriz (n − 1) × (n − 1) dada por i Dk (a)ij := δk. j corre de 1 a n − 1. Definimos recursivamente 2 γ2 . . γ3 . donde i. para probar el 1 teorema es suficiente verificar la ley del producto para los γk ’s. γ4 . para cada l ≤ n − 1 a u k escribimos D(l) y N(l) (a) para denotar a las submatrices l × l . Sea N la matriz (n − 1) × (n − 1) dada por i Nij := γj (1 ≤ i. . .3.5. j < n). M´s a´n. Adicionalmente ponemos γj = δ0j idA y γj = 0 para todo r > j y todo j < n. . n − 1. γn−1 . 1 usando la f´rmula (5. γ1 |A = α y γk (b) = bk para k = 2.PLANOS TORCIDOS 23 Teorema 5. γ4 . γ5 . Entonces. γ5 . . . . Notemos primeramente que α induce un moro 1 fismo γ1 : A∆ → A∆ . γ3 . Asumamos que existe b ∈ A tal que {∆ij (b) : 1 ≤ i < j < n} no son divisores de cero y sea A∆ la localizaci´n de A en el sistema multiplicao tivo ∆ generado por {∆ij (b) : 1 ≤ i < j < n}. Sea α un endomorfismo de A. 1 2 3 4 5 γ4 . . . 3 2 1 γ2 .8) para los o o i 0 r γk ’s con i > 1. bn−1 ∈ A existe un twist s : C ⊗ A∆ → A∆ ⊗ C 1 1 1 con γ0 = 0. dados elementos b2 . n−2 n−1 1 2 γn−2 . Demostraci´n.6) para los γk ’s y la f´rmula (5. .

Por el lema 5. N(l)(b)]N(l)(a ) =0 . que se anula por la definici´n de γl1 .24 CHRISTIAN VALQUI de las l primeras columnas y filas de Dk (a) y N (a). j) o est´n dadas por a j i k i k i i (γk (a)γj (b) − γk (b)γj (a)) = γj (ab) − γj (ba) = 0. l) es l−1 −γl1 (a)∆1l (b) + γl1 (b)∆1l (a) + j=2 1 1 (γj (a)γlj (b) − γj (b)γlj (a)). r y la probaremos para γl1 . la entrada (1. N(l)(b)] =N(l)(a)[N(l)(a ). En efecto. . .3 sabemos que γj satisface la ley del producto para j ≤ l y r > 1. N(l) (b)] = −[D(l) (a). Notemos que las entradas no nulas de D(l) (a) est´n a concentradas en la k-´sima diagonal (contada desde la diagonal e principal hacia arriba) y que l−1 N(l) (a) = k=0 k D(l) (a). Afirmamos que [N(l) (a). N(l) (b)] = 0. y las otras entradas (i. Luego l−1 l−2 0 [D(l) (a). k=i donde la prmera igualdad sigue de la ley del producto para j < l k y del hecho que γj = 0 si k > j. y [N(l)(a)N(l)(a ). respectik vamente. . . N(l) (b)] para todo a ∈ A. N(l)(b)] + [N(l)(a). γl−1 . N(l) (b)] − · · · − [D(l) (a). 1 1 Suponemos que la ley del producto se cumple para γ1 .

[e1l . ya que l−1 D(l) (aa ) = γl1 (aa )e1l . donde la tercera igualdad se deduce del hecho que l−1 j j−h h D(l) (a)D(l) (a ). Por consiguiente. N(l) (b)] − [N(l) (a)N(l) (a ).PLANOS TORCIDOS 25 para todo a. Esto e h=0 concluye la prueba. Ahora por la hip´tesis inductiva (ley del o i producto para los γi+j ’s con i + j < l) sabemos que j j [D(l) (aa ). l−1 l−1−h h D(l) (a)D(l) (a h=0 l−1 )= h=0 1 γh+1 (a)γlh+1 (a )e1l . l−1 [D(l) (aa ). j=0 h=0 N(l) (a)N(l) (a ) = porque N(l) (a)N(l) (a ) es una matriz l × l triangular superior j−h h cuya diagonal j-´sima superior es j D(l) (a)D(l) (a ). N(l) (b)] = l−2 0 = −[D(l) (aa ). N(l) (b)] = ∆1l (b)e1l . N(l) (b)] − · · · − [D(l) (aa ). N(l) (b)] j=0 h=0 l−1 =− = h=0 l−1 l−h h [D(l) (a)D(l) (a ). N(l) (b)]. a ∈ A. N(l) (b)] = h=0 j−h h [D(l) (a)D(l) (a ). N(l) (b)] = h=0 l−h h [D(l) (a)D(l) (a ). N(l) (b)] l−2 j j−h h [D(l) (a)D(l) (a ). N(l) (b)] para j < l − 1.

b ∈ A. para alg´n a ∈ k \ {0}. El objetivo de la presente a secci´n es estudiar los twists s : C ⊗ A → A ⊗ C que satisfacen o la siguiente condici´n: o h BM(h) Existen 1 < h ≤ n y x ∈ A tales que γ0 = 0 y q := h−1 γ0 (x) no es un divisor de cero. entonces ∆ij (b) es invertible para 1 ≤ i < j < n. Denotamos por M(h) (a) a las submatrices h × h formadas por las primeras h filas y columnas de M (a). Demostraci´n. Por lo tanto M(h) (ab) = M(h) (a)M(h) (b) para todo a. h−1 e i ≥ h. . Sea α un morfismo de algebras con α(x1 ) = x1 + a. (2) Sea K/k una extensi´n de Galois y asumamos que existe o un α ∈ Gal(K/k) y b ∈ K tal que b = αi (b) para 1 ≤ i ≤ n − 2. Aqu´ e1l es la matriz l × l definida por ı (e1l )ij = δ1i δlj . Entonces. h − 1.1. 6. . Extensiones polinomiales truncadas para ´ algebras conmutativas Sea A un k-´lgebra conmutativa. ´ u Entonces ∆ij (b) = (i − j)a es invertible. . Pongamos bj = γ0 (x) para j = 0.26 CHRISTIAN VALQUI y ∆1l (b) es invertible. o r γ0 (bj ) = q si r = j. . . se cumple γj = 0. xr ] a y tomemos b = x1 en el teorema. x y q. .6. Por la ley de composici´n es suficiente probarlo o o h−1−j para i = h. . como los siguientes: (1) Sea k un cuerpo de car´cteristica cero. . Ejemplo 5. . 0 si r > j. A = k[x1 . . i Lema 6. . . De ahora en adelante fijamos ambos. por la ley de composici´n. Para cada j = 0. No es dif´ encontrar ejemplos en los cuales las ıcil condiciones de teorema previo se cumplen. .

Por el lema 6.. h i−h pues en cada sumando γu ×ÐÖÑÕÒÔÓ γj−u uno de los factores se anula. Para cada i ≥ lh y o j ≤ lh − 1 la aplicaci´n γj se anula.2. . . etcetera. 1 Demostraci´n. 0 1 1 γ1 (b1 ) .. Sea 0 < l ≤ n/h . 1 Lema 6. h0 h = qγ1 (a). la matriz M(h) (a) conmuta con   b1 0 . M(h) (b1 ) =  .  0 . Consideremos los mismos bj ’s que en el lema anterior. h i−h γu ×ÐÖÑÕÒÔÓ γj−u = 0.1. h−1 h−1 0 γ1 (b1 ) . . entonces u M(h) (a) = aIh . o i Demostraci´n. . Entonces h 0 = γ1 (ab2 ) = M (ab2 )h0 = M (a)M (b2 ) h0 h = qγ2 (a). . . . Proposici´n 6. γh−1 (b1 ) q . . tenemos j i γj = u=0 para cada i ≥ (l + 1)h y j ≤ (l + 1)h − 1.3. por la ley de composici´n teo o i nemos que γ0 (a) = 0 para todo i > 0. Si para alg´n a ∈ A se cumple γ0 (a) = 0. que es lo deseado.. . . .PLANOS TORCIDOS 27 Como h 0 = γ1 (ab1 ) = M (ab1 )h0 = M (a)M (b1 ) h tenemos γ1 (a) = 0. Procedemos por inducci´n en l. Asumiendo que es cierto para l ≥ 1. Para l = 1 el o o resultado es exactamente el lema previo. γh−1 (b1 ) Luego 1 γ1 (a)q = M(h) (a)M(h) (b1 ) 10 = M(h) (b1 )M(h) (a) 10 = qa. Como γ0 (a) = 0.

la igualdad M(h) (a)M(h) (b2 ) = M(h) (b2 )M(h) (a). . . luego γ1 (a) = 0. Supongamos adem´s que E := ker g a es una k-sub´lgebra de D y que g es una aplicaci´n E-lineal. nos da qγ1 (a) = 0. g (x)} es una base. . Ahora aplicamos el mismo procedimiento sucesivamente con M(h) (b3 ). Para i. j = 0. Asumamos que g = 0 y que existe x ∈ D tal que q := g h−1 (x) es invertible.4 obtenemos o i γj (ba) = M(h) (b)M(h) (a) ij = bIh M(h) (a) = b M(h) (a) = lo cual concluye la prueba. i bγj (a). Del corolario 4. . 1 y j = i. Tambi´n se tiene o e h−1 que B = {x. Sean D una k-´lgebra y g : D → D una aplicaci´n a o h k-lineal. g(x). a Proposici´n 6. . como ´ j 1 0 γ0 (a) = γ1 (a) = a y γi = 0 para i = 0. M(h) (bn−1 ). Sean b ∈ B y a ∈ A. . .5. . . a o Entonces D es un E-m´dulo libre de rango h. 1 Notemos que B := ker γ0 es una sub´lgebra de A y que q ∈ B. h − 1. 0) para j = 2.28 CHRISTIAN VALQUI y as´ γ1 (a) = a.4. nos da j 2 γ2 (a) = a y γ2 (a) = 0 para j = 2. . combinado con el hecho j j j de que γ0 = 0. . Ahora. . . . . Demostraci´n. en las mismas entradas que anteriormente. . . h−1. la aplicaci´n γj : A → o o i A es B-lineal. ij ij Lema 6. El mismo producto conmutativo de matrices en ı 1 las entradas (j. y obtenemos el resultado deseado.

g 1 y vemos que λ1 = 0. y obtenemos h−1 a= i=0 λi g i (x). . . i Como consecuencia inmediata de la proposici´n 6. y as´ ı g h−2 (a1 ) = λ1 q = λ1 g h−1 (x). . los γj o (0 ≤ i. . con λ1 = g h−2 (a1 ) q h−1 ∈ B. Resta probar que B genera a D como E-m´dulo. ql . Luego λ0 = 0. Ahora aplicamos sucesivamente g h−2 . Como g es E-lineal g h−1 (a1 ) = 0. . . j < h) se extienden al algebra A(q) de fracciones de A ´ respecto a las potencias de q.4.PLANOS TORCIDOS 29 Demostraci´n. Por lo tanto B es linealmente independiente. λh−1 = 0. Procediendo recursivamente de la misma manera. Pero entonces g h−2 (a) = λ0 g h−2 (x) + λ1 g h−1 (x). el elemento λ0 := q pertenece a E. . Para cada o g h−1 (a) a ∈ D. Consideremos una combinaci´n E-lineal que se o o anula h−1 λi g i (x) = 0. por medio de i γj a ql i γj (a) := . Adem´s a g h−1 (a) = λ0 q = λ0 g h−1 (x). i=0 Aplicando g obtenemos λ0 g h−1 (x) = λ0 q = 0. lo cual completa la prueba. definimos ai = h−i−1 ai−1 − λi−1 g i−1 (x) y λi = g q (ai ) . Pongamos a1 = a − λ0 x.

o . 0 ≤ u < h y i > u. a u lh+1 lh+h−1 lh γlh (b) = γlh+1 (b) = · · · = γlh+h−1 (b) para 0 ≤ l < n/h . Sea i = lh + i y u = lh + u.2.3. Sea A una k-´lgebra finito-dimensional conmua tativa. y lh γu −j = 0 para j > u. i γj (b) = 0 para b ∈ B y j < i.2. Tenemos i−1 i γu (b) = j=0 pues lh i γu −j ×ÐÖÑÕÒÔÓ γj (b) u + j=i lh i γu −j ×ÐÖÑÕÒÔÓ γj (b) = 0. . Si existe un twist que satisface las condiciones requeridas al inicio de esta secci´n. Aplicar el lema con D = A(q) . Demostraci´n. Para probar que M (b) es triangular superior es o lh+i suficiente verificar que γlh+u (b) = 0 para l ≥ 0. Demostraci´n. Si i ≥ h. El ´lgebra A(q) es un m´dulo libre de rango h soa o h−1 1 bre B(q) (notemos que q = γ0 (x) = (γ0 )h−1 (x) ∈ B). Para cada b ∈ B la matriz M (b) es triangular o superior. y γ n/h h n/h h (b) n−1 = · · · = γn−1 (b).6. M´s a´n. por la proposici´n 6. si h no divide a n. Por lo tanto o podemos asumir que u < i < h. pues el no-divisor del cero o q es invertible. E = B(q) y g = o 1 γ0 . . Adem´s a h−1 1 B = {x. Proposici´n 6. . γ0 (x). Demostraci´n.7. . esto sigue de la proposici´n 6. γ0 (x)} es una base. entonces h|dimk (A) y dimk (A) = o h · dimk (B).30 CHRISTIAN VALQUI Teorema 6.8.6. por el lema 6. Corolario 6. Sigue del teorema 6.

lh u = γlh Ð×ÑÖÒÕÓÔ γu (b) lh u γu −j Ð×ÑÖÒÕÓÔ γj (b) + lh u γlh ×ÐÖÑÕÒÔÓ γu (b) u + j=h lh u γu −j ×ÐÖÑÕÒÔÓ γj (b) lh u u pues γj (b) = 0 para j < h. donde la ultima igualdad para r > j. Ahora. . Pongamos bj = γ0 o Por la ley de composici´n y la proposici´n 6.2 lh+i γk (bj ) = 0 para k < lh.2. Demostraci´n. si r > j. h−1−j (xl ) para j = 0. h−1. r+h−1−j lh+r lh γlh (bj ) =γlh γ0 (xl ) lh+r+h−1−j =γlh (xl ) = ql 0 si r = j. Asumamos que existe o lh+h−1 xl ∈ A tal que ql := γlh (xl ) no es divisor de cero.2 ´ o y del hecho que en este caso. .PLANOS TORCIDOS 31 Ahora probaremos las igualdades. lh + r + h − 1 − j ≥ l(h + 1). 0 ≤ i < j < h y lh + j < n. . (l) . Sea l ≤ (n − 1)/h . j = u. Sea 0 ≤ u < h. Proposici´n 6. As´ ı. γu (b) = b y γu −j = 0 para j > u.9. Entonces lh+i γlh+j (b) = 0 para b ∈ B. Entonces h−1 u γu (b) = j=0 j=u lh = γlh (u). o o lh lh+u γlh lh u lh u γlh−k Ð×ÑÖÒÕÓÔ γk = γlh ×ÐÖÑÕÒÔÓ γ0 (l) (l) = k=0 para todo u ≥ 0. . nuevamente por Proposition 6. sigue de la proposici´n 6.

10. definimos 1 γlh := gl .32 CHRISTIAN VALQUI Sea b ∈ B. y para l creciente. Reemplazando x por x podemos asumir que g0 (x) = q q 0 1. Entonces existe a 1 un unico twist s : C ⊗ A → A ⊗ C tal que γlh = gl . Teorema 6. Asumamos que g0 = 0 y que existe x tal que q := g0 (x) es invertible. (l) Como lh+i γlh+i (b) = lh γlh (b) por la proposici´n 6. . Luego. obtenemos o (l) j−1 lh+i lh+k lh+i γlh+k (b)γlh (bj ) + γlh+j (b)ql = 0. lh+i lh γlh (bj )γlh (b) = M (bj )M (b) (l) lh+i. Por la proposici´n 6. ´ Demostraci´n.lh j lh+i lh+k γlh+k (b)γlh (bj ) k=i j−1 (l) = k=i+1 lh+i lh+k lh+i γlh+k (b)γlh (bj ) + γlh+j (b)ql . Como 0 = g0 ( 1 · q) = g0 ( 1 )q = 0. Supongamos adem´s que B := ker(g0 ) es una ka sub´lgebra de A y que los gl ’s son B-lineales. h − 1. Sea h > 1 un divisor de n y sean gl : A → A (0 ≤ l ≤ n/h − 1) aplicaciones k-lineales que satisfacen gl (1) = h−1 h 0. . usando la f´rmula (4. Ahora ponemos γj := δ0j id. k=i+1 lh+i De esto sigue por inducci´n en j que γlh+j (b) = 0 para j = o i + 1. o .8.8 o k γlh (b) = 0 para k > lh y (l) lh+i γk (b) = 0 para k < lh + i. .lh = = (l) M (b)M (bj ) lh+i.Primero γlh para r ≥ 2. y luego: r .5). tenemos que o q q h−1 1 ∈ B. .

Esto sigue de la prueba del lema 6. ≥ 2 y lh + 1 ≤ j ≤ lh + h − 1. .PLANOS TORCIDOS 1 . γlh+h−1 . 1 1 γu1 ×ÐÖÑÕÒÔÓ · · · ×ÐÖÑÕÒÔÓ γur . o 1 r Por construcci´n los γj son B-lineales y γj (1) = δ1j .. Para l = 0 tenemos: Primer paso. r Cuarto paso: Verificar la ley del producto para γj con r > 1 y j ≤ lh. que satisfagan la ley del producto y la de la composici´n (y no o la existencia de un twist).. Para lograr esta meta necesitamos usar la ley de composici´n o r que se deduce inmediatamente de la definici´n de los γj ’s.5).ur u1 +···+ur =j h−1−j donde bj = γ0 (x). . Esto se cumple por hip´tesis.. o Segundo paso. . 1 1 Quinto paso: Verificar ley del producto para γlh+1 . usando la f´rmula (4.. . γj para r En lo que sigue vamos a probar la ley del producto para cada 1 bloque de γj ’s con lh ≤ j ≤ lh + h − 1. i Segundo paso: Probar que γj = 0 para j < lh + h y i ≥ lh + h. para probar el teorema es suficiente mostrar que n 1 γj = 0 para j < n y que los γj ’s satisfacen la ley del producto. en cinco pasos. con r ≥ 0 y 0 ≤ j < h. usando la f´rmula o r γj := u1 .3. γlh+j por medio de lh+j−1 1 γlh+j (a) 1 γlh (abj ) 33 := − k=0 1 k γk (a)γlh (bj ) para 1 ≤ j < h. r Finalmente. por o el corolario 4. y de o r que γj (1) = δrj para todo r. . Esto ultimo sigue f´cilmente del ´ a caso r = 1.1 ya que rer quiere solamente las aplicaciones γj . 1 Tercer paso: Verificar la ley del producto para γlh .Luego. lh+h−1 Primer paso: Probar que γlh (x) = 1. Luego.

u=0 r k 1 γk (a)γ0 γ0 (x) para 0 ≤ r < h.1. mientras que para r ≤ h − 2.5. y obtenemos o r+1 γ0 (ab) 1 r γ0 ×ÐÖÑÕÒÔÓ γ0 (ab) n−1 r+1 u γu (a)γ0 (b). Asumamos que la ley del producto se cumple para γi1 con i < j. . = = Quinto paso. = − = − paso 4. Sea 0 < j < h.i.34 CHRISTIAN VALQUI r Tercer paso. es suficiente probar que n−1 r 1 γ0 aγ0 (x) = k=0 h−1 Para r = h − 1 esto se deduce del hecho que γ0 (x) = 1 y k γ0 (1) = δk0 . Entonces tenemos j−1 1 1 γj (ab) = γ0 (abbj ) − i=0 n−1 j−1 n−1 1 u γu (a)γ0 (bbj ) u=0 n−1 1 γu (a) u=0 n−1 n−1 1 γu (a) u=0 i=0 i γiu (b)γ0 (bj ) u γ0 (bbj ) 1 i γu (a)γiu (b)γ0 (bj ) i=0 u=0 j−1 i γiu (b)γ0 (bj ) i=0 j−1 i γiu (b)γ0 (bj ) i=0 i γi1 (ab)γ0 (bj ) = − por h. r {γ0 (x) : 0 ≤ r < h} es una B-base de A. Como los γj son B-lineales y. por lema 6. Cuarto paso. Asumiendo que el resultado vale para r procedemos como en la prueba del ´ ıtem (2)(c) en la parte (3) ⇒ (2) de la prueba de la proposici´n 4. esto sigue de la 1 definici´n de los γj ’s para 1 ≤ j ≤ h − 1 y del hecho que o h−1 k γ0 (x) = 1 y que γ0 (x) = 0 si k ≥ h.

esto sigue de la 1 definici´n de los γlh+j ’s para 1 ≤ j ≤ h − 1 y de que o lh+j h−1−j h−1−j lh+k γlh (γ0 (x)) = 1 y γlh (γ0 (x)) = 0 cuando k > j (como vimos en la prueba de la proposici´n 6. h−1 Para r = h − 1 esto se deduce las igualdades γ0 (x) = 1 y k γlh (1) = δk. ejecutamos los cinco pasos para l. para cada i ≥ lh + h o y j < lh + h.lh . = u=0 i−h h ya que γu = 0 para u < h y γj−u = 0 para u ≥ h. r Tercer paso. o lh+h−1 lh+h−1 γlh (x) h lh−1 h γu ×ÐÖÑÕÒÔÓ γlh−u (x) = γh (1) = 1. Por la ley de composici´n. por lema 6. = u=0 lh−1 lh−1 h pues γu = 0 para u < h. A continuaci´n. Por la ley de composici´n. j i donde para la ultima igualdad usamos que γ0 (bj ) = 1 y γ0 (bj ) = ´ 0 para i > j. Primer paso. tenemos que j i γj h i−h γu ×ÐÖÑÕÒÔÓ γj−u = 0.9). Como los γj son B-lineales y. o . es suficiente mostrar que n−1 1 γlh r aγ0 (x) = k=0 1 k r γk (a)γlh γ0 (x) para 0 ≤ r < h.5. r {γ0 (x) : 0 ≤ r < h} es una B-base de A. asumiendo que hemos realizado los cinco pao sos hasta l − 1. γlh−u = 0 para u > h y γlh−h (x) = 1. mientras que para r ≤ h − 2.PLANOS TORCIDOS n−1 35 = u=0 u 1 γu (a)γj (b). Segundo paso.

36 CHRISTIAN VALQUI Cuarto paso. usando el cuarto paso.9. γiu (b)γlh γ0 i=lh+j para j ≥ 1. . Argumentando como en la prueba de la proposici´n 6. Quinto paso. Entonces. u ≥ 0. y por lo tanto lh+h−1 h−j−1 lh+h−1 u u i (x) = γlh+j (b)γlh (x) = γlh+j (b). por la definici´n de γlh+j . Asumiendo el resultado probado para r y argumentando como en el caso l = 0 obtenemos j r+1 γj (ab) = k=0 1 r γk ×ÐÖÑÕÒÔÓ γj−k (ab) n−1 = u=0 u r+1 γu (a)γj (b). o lh+j−1 1 γlh+j (ab) = 1 γlh (abbj ) n−1 − i=0 i γi1 (ab)γlh (bj ) lh+j−1 n−1 = u=0 n−1 1 u γu (a)γlh (bbj ) − i=0 u=0 lh+j−1 1 i γu (a)γiu (b)γlh (bj ) = u=0 n−1 1 γu (a) u γlh (bbj ) n−1 − i=0 i γiu (b)γlh (bj ) lh+j−1 = u=0 n−1 1 γu (a) i=0 i γiu (b)γlh (bj ) n−1 − i=0 i γiu (b)γlh (bj ) = u=0 1 γu (a) i=lh+j i γiu (b)γlh (bj ) . para i. tenemos que o lh+i+r+u i lh+r u γlh = γ0 ×ÐÖÑÕÒÔÓ γlh ×ÐÖÑÕÒÔÓ γ0 . Supongamos que la ley del producto se cumple 1 o para γi1 con i < lh + j. la hip´tesis inductiva y el cuarto paso. r.

lo cual por el lema 6. .11) 1 γ1 Ð×ÑÖÒÕÓÔ r−2 h−r+1+j γj j=0 r−2 = j=0 h−r+1+j γj γl1 Ð×ÑÖÒÕÓÔ r−i−1 h−r+i+j γj j=0 = 0 para l ≥ 2. Asumamos entonces que r > 1 y 1 γ0 Ð×ÑÖÒÕÓÔ r−i−1 h−r+i+j γj j=0 1 En particular γ0 Ð×ÑÖÒÕÓÔ Tr(M(h) ) = 0. lo cual concluye la prueba. Para cada r = 1. h. Procedemos por inducci´n en r = 1. = 0 para 1 ≤ i < r. . Proposici´n 6. Demostraci´n. (como se vio en la prueba de la proposici´n 6.9).3 implica (6. obtenemos que o n−1 1 γlh+j (ab) = u=0 1 u γu (a)γlh+j (b).11. . Para o o 1 ×ÐÖÑÕÒÔÓ h−1 h r = 1 es obviamente cierto. . pues γ0 γ0 = γ0 = 0.PLANOS TORCIDOS 37 Como se cumple lh+r γlh (bj ) = 1 if r = j. .10) y (6. . . . 0 if r > j. . tenemos que: o 1 γ0 Ð×ÑÖÒÕÓÔ r−1 h−r+j γj j=0 = 0. h.

Esto prueba la primera afirmaci´n. = + j=0 h−r+1+j γj .11).38 CHRISTIAN VALQUI Por la ley de composici´n tenemos o h−r+1+j 1 h−r+j γj = γ0 ×ÐÖÑÕÒÔÓ γj + 1 γ0 Ð×ÑÖÒÕÓÔ r−1 h−r+j γj j=0 r−1 h−r+j γj j=0 h−r+j γi1 ×ÐÖÑÕÒÔÓ γj−i . 1 γ1 Ð×ÑÖÒÕÓÔ r−1 h−r+j γj−1 j=1 = por (6. sumando para j desde 0 a r − 1.10). . La utima se obtiene too ´ mando r = h. j h−r+j γi1 ×ÐÖÑÕÒÔÓ γj−i .1. r−1 j i=1 De modo que. por (6. = j=i h y por lema 6. cada γj es cero. tenemos que r−2 h−r+1+j γj j=0 1 γ0 ×ÐÖÑÕÒÔÓ r−1 h−r+j γj j=0 r−2 γi1 ×ÐÖÑÕÒÔÓ r−i−1 h−r+i+j γj j=0 = 0. se obtiene r−1 h−r+1+j γj j=0 = + j=1 i=1 1 γ1 ×ÐÖÑÕÒÔÓ = r−1 r−1 1 γ0 Ð×ÑÖÒÕÓÔ r−1 h−r+j γi1 ×ÐÖÑÕÒÔÓ γj−i h−r+j γj−1 + j=1 + i=2 j=i Pero ahora. r−1 h−r+j γi1 Ð×ÑÖÒÕÓÔ γj−i 1 γ1 ×ÐÖÑÕÒÔÓ r−2 h−r+1+j γj−1 j=0 r−2 = j=0 h−r+1+j γj−1 .

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

Sign up to vote on this title
UsefulNot useful