P. 1
Valqui Christian - Planos Torcidos

Valqui Christian - Planos Torcidos

|Views: 19|Likes:
Publicado porAntonia Eme

More info:

Published by: Antonia Eme on Mar 30, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

03/30/2011

pdf

text

original

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.

.

.

.

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

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

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

.1). =[(µ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 . La ultima expresi´n es igual a (2.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 ). y la ultima u ´ usando que µA = µA ◦ (IdA ⊗ IdA ) ◦ (IdA ⊗ IdA ).

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

 Ahora se puede seguir m´s f´cilmente la prueba desde a a µs ◦ (µs ⊗ IdA⊗B ) .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  . Usando esta representaci´n gr´fica se puede describir ahora o a d     d   d µs = (µA ⊗ µB ) ◦ (IdA ⊗ s ⊗ IdB ) como .

.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. 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. (b) y (c). Proposici´n 2. si existen automorfismos f : A → A y g : B → B tales que t = (f −1 ⊗ g −1 ) Ð×ÑÖÒÕÓÔ s Ð×ÑÖÒÕÓÔ (g ⊗ f ). Un morfismo (f. 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: .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 . Sea s : B ⊗ A → A ⊗ B una aplicaci´n que o o satisface (a). 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. Si (bi )i∈I genera B como ´lgebra y a para todo a. y ser´ usado o a impl´ ıcitamente a lo largo de este trabajo. Dos twists s. a Los twists son objetos de una categor´ Sean s : B ⊗ A → ıa. a ∈ A y cada ´ ındice i. A ⊗ B y t : D ⊗ C → C ⊗ D twists. es f´cil verificar que h = µC ×ÐÖÑÕÒÔÓ (f ⊗ g). t : B ⊗ A → A ⊗ o B se llaman equivalentes si son isomorfos. Extensiones polinomiales Ahora veamos el caso en que el algebra B sea k[y]. Esto es. f = h Ð×ÑÖÒÕÓÔ iA and g = h ×ÐÖÑÕÒÔÓ iB . el ´lgebra ´ a de polinomios sobre y. 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.3. La composici´n es la evidente. 3.

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

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

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

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

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

Comentario 4..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. 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..PLANOS TORCIDOS 15 r < n − 1..i.5) r γj = u1 . por (3)(d) Esto conluye la prueba. Del ´ ıtem (3)(c) de la proposici´n se deduce o f´cilmente por inducci´n en r que a o (4. 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).

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

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

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

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

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

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

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

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

. N(l) (b)] = 0. Afirmamos que [N(l) (a). . y [N(l)(a)N(l)(a ).3 sabemos que γj satisface la ley del producto para j ≤ l y r > 1. r y la probaremos para γl1 . N(l)(b)]N(l)(a ) =0 . 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. N(l) (b)] − · · · − [D(l) (a). la entrada (1. 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. N(l) (b)] para todo a ∈ A. Por el lema 5. 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). respectik vamente. 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). N(l)(b)] + [N(l)(a). y las otras entradas (i. . 1 1 Suponemos que la ley del producto se cumple para γ1 . N(l)(b)] =N(l)(a)[N(l)(a ). γl−1 . N(l) (b)] = −[D(l) (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)). En efecto.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->