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.

.

.

.

J. donde σ : B ⊗ A → A ⊗ B es el flip. En nuestro caso este plano ya no es un objeto conmutativo. Nosotros vamos a caracterizar estos planos torcidos a trav´s de un cierto morfismo e de torcimiento llamado ”Twisting map” o twist. 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. 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.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 ). que en la dualidad mencionada anteriormente corresponde a un plano. Guccione y J. El caso m´s estudiado coa rresponde al producto tensorial k[x] ⊗ k[y]. 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 ). a ı Primero daremos condiciones muy generales que deben cumplir . Vamos a llamar A ⊗s B al ´lgebra as´ obtenida. Guccione. es un ”plano no-conmutativo” o un ”Plano Torcido”.A. que simplemente intercambia los factores. 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 .

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

Veremos que ambos lados son iguales a (2. evaluando ιB (b) ιB (b )ιA (a) = ιB (b)ιB (b ) ιA (a). Por un lado tenemos ιB (b) ιA (a)ιA (a ) = (1A ⊗ b)(aa ⊗ 1B ) = s(b ⊗ aa ) = s ◦ (IdB ⊗ µA )(b ⊗ a ⊗ a ). Similarmente. Por un lado tenemos µs ◦ (µs ⊗ IdA⊗B ) = =(µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB ) ◦ [ (µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB ) ⊗ IdA ⊗ IdB ] . 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).1) (µA ⊗ µB ) ◦ (IdA ⊗ µA ⊗ µB ⊗ IdB ) ◦ (IdA ⊗ IdA ⊗ s ⊗ IdB ⊗ IdB ) ◦ (IdA ⊗ s ⊗ s ⊗ IdB ).(c) y (d). se obtiene (d).(b). (IdA ⊗ s) ◦ (s ⊗ IdA ) (x) ⊗ 1B donde x = b ⊗ a ⊗ a . Ahora supongamos que se cumplen (a).4 CHRISTIAN VALQUI de las dos distintas maneras. La asociatividad significa µs ◦ (µs ⊗ IdA⊗B ) = µs ◦ (IdA⊗B ⊗ µs ).

=[(µA ⊗ µB ) ◦ (µA ⊗ IdA ⊗ µB ⊗ IdB )] donde la pen´ltima igualdad se obtiene usando (d). . 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 . y la ultima u ´ usando que µA = µA ◦ (IdA ⊗ IdA ) ◦ (IdA ⊗ IdA ).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 ).1). La ultima expresi´n es igual a (2.

se obtiene que µs ◦ (IdA⊗B ⊗ µs ) =(µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB ) ◦ [IdA ⊗ IdB ⊗ (µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB ) ] es igual a (2. 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. usando la asociatividad en B y el ´ ıtem (c). 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. ´ Comentario 2. Para manejar este tipo de pruebas engorrosas conviene trabajar en diagramas. a Por ejemplo la igualdad (c) s ◦ (IdB ⊗ µA ) = (µA ⊗ IdB ) ×ÐÖÑÕÒÔÓ (IdA ⊗ s) ×ÐÖÑÕÒÔÓ (s ⊗ IdA ).1).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 ). . Similarmente.2.

 Ahora se puede seguir m´s f´cilmente la prueba desde a a µs ◦ (µs ⊗ IdA⊗B ) . 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  .

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    .8 CHRISTIAN VALQUI que se grafica as´ ı: d     d   d    d d     d   d   d    . . 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.

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

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

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

Sin embargo en este trabajo no vamos a entrar en detalles en ese aspecto. por ejemplo las series formales de potencia k[[y]]. . En particular. n − 1. definidos por α0 = 0. Si α : A → A es un endomorfismo de ´lgebras y a δ : A → A es una α-derivaci´n (esto es δ(ab) = δ(a)b+α(a)δ(b)). si en vez de k[y] tomamos alguna completaci´n.4. α1 = id. 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. para j = e i 0. α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. En el caso particular en que A = k[x]. o i La condici´n de convergencia (γj (a) = 0 para j > N (a. La f´rmula s(Y ⊗ a) = α1 (a) ⊗ Y + α2 (a) ⊗ Y 2 define un twist. a Ejemplo 3. . y para i ≥ n se tiene γj = 0. a Ejemplo 3. M´s a´n. α2 (λ + µt) = µt and αj = 0 for j > 2. vamos a tener los resultados a u m´s importantes en el caso en que B = k[y]/ y n . 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 }. a i En ese caso tambi´n se tiene morfismos lineales γj . .12 CHRISTIAN VALQUI Ejemplo 3. entonces i los γj definen un twist de A ⊗ k[y]/ y n . si se i tiene un twist de A ⊗ k[y] para el cual γj = 0 si i ≥ n. Este ejemplo corresponde al caso cl´sico de extensiones de Ore. i)) o puede ser modificada. Sea A = k[t]/ t2 . Consideremos la familia de aplicaciones (αj : A → A)j≥0 . o ´ Si α1 = Id y α0 (x) = 1 obtenemos el ´lgebra de Weyl.6.5. . .

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

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

Del ´ ıtem (3)(c) de la proposici´n se deduce o f´cilmente por inducci´n en r que a o (4.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). 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.2.ur u1 +···+ur =j 1 1 γu1 ×ÐÖÑÕÒÔÓ · · · ×ÐÖÑÕÒÔÓ γur . 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.i. por (3)(d) Esto conluye la prueba..5) r γj = u1 .

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. γn−1 Adem´s. .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..  . n−1 n−1 n−1 γ0 γ1 . = k=0 k 1 γk (a)γj (b) para a. o Demostraci´n. Pongamos γj = δ0j id y r γj := u1 . M = . (2) M (ab) = M (a)M (b). Sean γk : A → A (0 ≤ k < n) aplicaciones 0 1 k-lineales que satisfacen γk (1) = δ1k . . . γn−1   .. . . . . . j ≤ n − 1) Corolario 4.4.. Las matrices M (a) cumplen: (1) M (1) = Id. para a ∈ A definimos la matriz M (a) ∈ Mn+1 (A) por a medio de i M (a)ij := γj (a) (0 ≤ i. . o Asociado al twist s : C ⊗ A → A ⊗ C tenemos la matriz M ∈ Mn (Endk (A)) dada por   id 0 . M´s a´n.. 1 Corolario 4.16 CHRISTIAN VALQUI para todo r ≥ 1..3.. 0 1 1 1  γ0 γ1 . r entonces las aplicaciones γj satisfacen las condiciones equivalentes de la proposici´n 4. . b ∈ A y 0 ≤ j < n.1.1.. . Por hip´tesis sabemos que se cumplen (3)(b) and o o (3)(c) de la proposici´n 4.

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

dado un twist con 1 1 a γ0 = 0. donde A es una k-´lgebra conmutativa. ya e que n J0 M (a) n−1. Para simplificar las notaciones. Notemos que o . o 1 ´ 5.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 . Por ejemplo. entonces lo es γ1 . Adem´s denotaremos con αm a las composici´n de m copias de α consigo mismo. cuando A es finito dimensional. entonces s tambi´n es 1 inyectivo.j = 0 = γj (a). La a 1 aplicaci´n γ1 juega un rol importante. Por lo tanto. y si s es sobreyectivo. s es biyectivo si y solamente 1 si lo es γ1 . ponemos α := γ1 . donde la segunda igualdad vale tambi´n en el caso i = n − 1. 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 .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. 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. es f´cil o a 1 e ver que si γ1 es un morfismo inyectivo.

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

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

. donde M(k) (a) ij = i γj (a) para i.9) i γj (xt ) = M(k) (x)t ij para todo (i.PLANOS TORCIDOS 21 Demostraci´n. j) = (1. Luego (5. . La Ley del producto se cumple por las siguientes o consideraciones. si la ley del producto se cumple para i todo γj con (i. . j) = (1. 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. Proposici´n 5. . . .4. Para el lado derecho no se necesitan las entradas M(k) (x)t 1k con t < m.1 a o o (solamente el rango de l se reduce). . De la definici´n sigue inmediatamente la Ley de o o composici´n. Sea A = k[x] y p1 (x). . k). i Proof. n − 1 y γ0 = 0. . o 1 Entonces existe un unico twist s : C ⊗A → A⊗C tal que γj (x) = ´ 1 pj (x) para j = 1. . . j = 0. k). Notemos primero que los γk´ satisfacen la ley del pros t ducto si y solamente si M(k) (x ) = M(k) (x)t . ya que M(k) (x) es . . 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). pn−1 (x) ∈ k[x]. k.

.8) para los γk´ con i > 1. Luego ponemos 1 γk (xm ) := M(k) (x)m 1k . γ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. . 1 i s usando la f´rmula (5. 1 2 3 γ2 . γ4 . Ahora podemos definir recursivamente 2 γ2 . γ5 .22 CHRISTIAN VALQUI triangular superior. γ4 . k). .9) y la definici´n de ´ o 1 γj (xm ). γ4 . . . γn−1 . γ5 . . 1 2 3 4 5 γ4 . 1 γn−1 . γn−1 . γ5 . γ3 . γ5 . γn−1 . . j) = (1. Por lineas lidad es suficiente probarla para elementos a = xm y b = xt . 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. 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 ). n−2 n−1 1 2 γn−2 . donde la ultima igualdad se deduce de (5. 1 2 3 4 γ3 . Por lo tanto solamente o 1 necesitamos probar la ley del producto para los γk´.

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

1 1 Suponemos que la ley del producto se cumple para γ1 . N(l)(b)] + [N(l)(a). N(l)(b)]N(l)(a ) =0 . γl−1 . y las otras entradas (i. . 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). y [N(l)(a)N(l)(a ). que se anula por la definici´n de γl1 . N(l) (b)] = 0.24 CHRISTIAN VALQUI de las l primeras columnas y filas de Dk (a) y N (a). . l) es l−1 −γl1 (a)∆1l (b) + γl1 (b)∆1l (a) + j=2 1 1 (γj (a)γlj (b) − γj (b)γlj (a)). Afirmamos que [N(l) (a). N(l) (b)] − · · · − [D(l) (a). . En efecto. 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. la entrada (1. Por el lema 5. r y la probaremos para γl1 . respectik vamente. . N(l) (b)] para todo a ∈ A. Luego l−1 l−2 0 [D(l) (a).3 sabemos que γj satisface la ley del producto para j ≤ l y r > 1. N(l)(b)] =N(l)(a)[N(l)(a ). N(l) (b)] = −[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.

N(l) (b)] para j < l − 1. Por consiguiente. Esto e h=0 concluye la prueba. donde la tercera igualdad se deduce del hecho que l−1 j j−h h D(l) (a)D(l) (a ). N(l) (b)]. 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 ). N(l) (b)] = h=0 j−h h [D(l) (a)D(l) (a ). N(l) (b)] l−2 j j−h h [D(l) (a)D(l) (a ). 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 ). l−1 [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 . N(l) (b)] = h=0 l−h h [D(l) (a)D(l) (a ). ya que l−1 D(l) (aa ) = γl1 (aa )e1l . a ∈ A. [e1l . N(l) (b)] = ∆1l (b)e1l . N(l) (b)] − · · · − [D(l) (aa ).PLANOS TORCIDOS 25 para todo a. 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)] − [N(l) (a)N(l) (a ).

6. . . se cumple γj = 0. para alg´n a ∈ k \ {0}. Por la ley de composici´n es suficiente probarlo o o h−1−j para i = h. Demostraci´n. o r γ0 (bj ) = q si r = j. . por la ley de composici´n. entonces ∆ij (b) es invertible para 1 ≤ i < j < n. Pongamos bj = γ0 (x) para j = 0. h−1 e i ≥ h. Aqu´ e1l es la matriz l × l definida por ı (e1l )ij = δ1i δlj . como los siguientes: (1) Sea k un cuerpo de car´cteristica cero. Por lo tanto M(h) (ab) = M(h) (a)M(h) (b) para todo a. ´ u Entonces ∆ij (b) = (i − j)a es invertible. . xr ] a y tomemos b = x1 en el teorema. Para cada j = 0. . i Lema 6. Extensiones polinomiales truncadas para ´ algebras conmutativas Sea A un k-´lgebra conmutativa.1. (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. . . . A = k[x1 . . No es dif´ encontrar ejemplos en los cuales las ıcil condiciones de teorema previo se cumplen. Ejemplo 5. Entonces. x y q. . 0 si r > j. De ahora en adelante fijamos ambos. . . b ∈ A. 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. . 6. h − 1. Sea α un morfismo de algebras con α(x1 ) = x1 + a. Denotamos por M(h) (a) a las submatrices h × h formadas por las primeras h filas y columnas de M (a).26 CHRISTIAN VALQUI y ∆1l (b) es invertible.

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

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

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

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

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

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

. Esto ultimo sigue f´cilmente del ´ a caso r = 1. lh+h−1 Primer paso: Probar que γlh (x) = 1. . . en cinco pasos. 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.. Esto se cumple por hip´tesis. y de o r que γj (1) = δrj para todo r.. γ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.5). o 1 r Por construcci´n los γj son B-lineales y γj (1) = δ1j . 1 Tercer paso: Verificar la ley del producto para γlh . con r ≥ 0 y 0 ≤ j < h. . γ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.PLANOS TORCIDOS 1 . por o el corolario 4. Para l = 0 tenemos: Primer paso. Esto sigue de la prueba del lema 6. 1 1 γu1 ×ÐÖÑÕÒÔÓ · · · ×ÐÖÑÕÒÔÓ γur . ≥ 2 y lh + 1 ≤ j ≤ lh + h − 1.. usando la f´rmula o r γj := u1 . 1 1 Quinto paso: Verificar ley del producto para γlh+1 . .3. o Segundo paso. r Cuarto paso: Verificar la ley del producto para γj con r > 1 y j ≤ lh.. Luego. i Segundo paso: Probar que γj = 0 para j < lh + h y i ≥ lh + h.1 ya que rer quiere solamente las aplicaciones γj . que satisfagan la ley del producto y la de la composici´n (y no o la existencia de un twist).ur u1 +···+ur =j h−1−j donde bj = γ0 (x). γlh+h−1 . r Finalmente. usando la f´rmula (4.Luego. 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.

= − = − paso 4.i. Asumamos que la ley del producto se cumple para γi1 con i < j.34 CHRISTIAN VALQUI r Tercer 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. 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.1. y obtenemos o r+1 γ0 (ab) 1 r γ0 ×ÐÖÑÕÒÔÓ γ0 (ab) n−1 r+1 u γu (a)γ0 (b). por lema 6. r {γ0 (x) : 0 ≤ r < h} es una B-base de A. 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. mientras que para r ≤ h − 2. u=0 r k 1 γk (a)γ0 γ0 (x) para 0 ≤ r < h. .5. Como los γj son B-lineales y. Cuarto paso. Sea 0 < j < h. = = Quinto 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 .

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

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).9. para i. . Argumentando como en la prueba de la proposici´n 6. u ≥ 0. usando el cuarto paso.36 CHRISTIAN VALQUI Cuarto paso. Supongamos que la ley del producto se cumple 1 o para γi1 con i < lh + j. 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 ) . Entonces. por la definici´n de γlh+j . la hip´tesis inductiva y el cuarto paso. tenemos que o lh+i+r+u i lh+r u γlh = γ0 ×ÐÖÑÕÒÔÓ γlh ×ÐÖÑÕÒÔÓ γ0 . Quinto paso. γiu (b)γlh γ0 i=lh+j para j ≥ 1. r. 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).

. h. .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. . . 0 if r > j. . = 0 para 1 ≤ i < r. 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. obtenemos que o n−1 1 γlh+j (ab) = u=0 1 u γu (a)γlh+j (b). Proposici´n 6. pues γ0 γ0 = γ0 = 0. Para cada r = 1. (como se vio en la prueba de la proposici´n 6. .9). . . . Para o o 1 ×ÐÖÑÕÒÔÓ h−1 h r = 1 es obviamente cierto.3 implica (6.11. lo cual concluye la prueba. Demostraci´n. h. tenemos que: o 1 γ0 Ð×ÑÖÒÕÓÔ r−1 h−r+j γj j=0 = 0. lo cual por el lema 6. Procedemos por inducci´n en r = 1.PLANOS TORCIDOS 37 Como se cumple lh+r γlh (bj ) = 1 if r = j.10) y (6.

Esto prueba la primera afirmaci´n. La utima se obtiene too ´ mando r = h.1. r−1 j i=1 De modo que. = j=i h y por lema 6.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 . .11). cada γj es cero. = + j=0 h−r+1+j γj . 1 γ1 Ð×ÑÖÒÕÓÔ r−1 h−r+j γj−1 j=1 = por (6.10). sumando para j desde 0 a r − 1. 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 . por (6. j h−r+j γi1 ×ÐÖÑÕÒÔÓ γj−i .

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

Sign up to vote on this title
UsefulNot useful