Polinomios Cuanticos Torcidos - Cesar Fernando Venegas PDF

AUTOMORFISMOS DE
POLINOMIOS CU
ANTICOS
TORCIDOS
Cesar Fernando Venegas Ramrez
Universidad Nacional de Colombia
Facultad de Ciencias
Departamento de Matematicas
Bogota, Colombia
2013
AUTOMORFISMOS DE
POLINOMIOS CU
ANTICOS
TORCIDOS
Cesar Fernando Venegas Ramrez
Trabajo de grado presentado como requisito parcial para optar al ttulo de:
Magister en Ciencias Matematicas
Director:
(Doctor) Jose Oswaldo Lezama Serrano
Lnea de Investigacion:
Algebra no conmutativa
Grupo de Investigacion:
Seminario de

Algebra Constructiva SAC
2
Universidad Nacional de Colombia
Facultad de Ciencias
Departamento de Matematicas
Bogota, Colombia
2013
(Dedicatoria)
A Angie Melo, Ana Rosa Ramrez (madre),
Luis Fernando Venegas (Padre) y hermanos.
Agradecimientos
Agradezco a:
Jose Oswaldo Lezama, Profesor titular de la Universidad Nacional de Colombia, Sede Bo-
got a. Por su asesora y colaboracion en la realizaci on de este trabajo.
ix
Resumen
En este trabajo estudiamos los automorsmos de extensiones PBW torcidas y polinomios
cu anticos torcidos. Usando el trabajo de Artamonov como referencia se obtiene el resulta-
do principal sobre automorsmos para extensiones PBW torcidas genericas y polinomios
cu anticos torcidos genericos. En general, si tenemos un endomorphismo sobre una extensi on
PBW torcida generica y existen x
i
, x
j
, x
u
, tal que, el endomorsmo no es cero para estos
elementos, y el coeciente principal es invertible, entonces el endomorsmo act ua sobre ca-
da x
i
como a
i
x
i
para alg un a
i
en el anillo de coecientes. Por supuesto, este resultado es
valido para anillos de polinomios cu anticos , con r = 0, tal como muestra Artamonov en su
trabajo. Usamos este resultado para dar algunos resultados mas generales para extensiones
PBW torcidas usando tecnicas de graduaci on-ltraci on. Finalmente, usamos localizaci on
para caracterizar algunas clase de endomorsmos y automorsmos para extensiones PBW
torcidas y polinomios cu anticos torcidos sobre dominios de Ore.
Palabras clave: Extension PBW torcida, polinomios cuanticos torcidos, polinomios
torcidos iterados, localizacion, dominio de Ore, ltracion-graduacion, automorsmos,
endomorsmos.
Abstract
In this work we study the automorphisms of skew PBW extensions and skew quantum
polynomials. We use Artamonovs work as reference for getting the principal results about
automorphisms for generic skew PBW extensions and generic skew quantum polynomials.
In general, if we have an endomorphism on a generic skew PBW extension and there are
some x
i
, x
j
, x
u
such that the endomorphism is not zero on this elements and the principal
coecients are invertible, then endomorphism act over x
i
as a
i
x
i
for some a
i
in the ring of
coecients. Of course, this result is valid for quantum polynomials rings, with r = 0, as such
Artamonov shows in his work. We use this for giving some more general results for skew
PBW extensions using ltered-graded techniques. Finally, we use localization for characte-
rize some class the endomorphisms and automorphisms for skew PBW extensions and skew
quantum polynomials over Ore domains.
Keywords: Skew PBW extensions, skew quantum polynomials, iterated skew poly-
nomials, localization, Ore domains, ltered-graded rings, automorphisms, endomorp-
hisms .
Contenido
Agradecimientos VII
Resumen IX
1. INTRODUCCI
ON 2
2. POLINOMIOS CU
ANTICOS. 5
2.1. Denici on y generalidades. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2. Derivaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
3. AUTOMORFISMOS PARA EL ANILLO DE POLINOMIOS CU
ANTICOS. 16
3.1. Automorsmos para el espacio cu antico. . . . . . . . . . . . . . . . . . . . . 16
3.1.1. El plano cu antico. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.1.2. El producto tensorial de planos cu anticos. . . . . . . . . . . . . . . . 25
3.1.3. El espacio cu antico uniparametrico. . . . . . . . . . . . . . . . . . . . 25
3.2. Automorsmos para el anillos de polinomios cu anticos generico. . . . . . . . 26
4. AUTOMORFISMOS PARA EXTENSIONES PBW TORCIDAS. 33
4.1. Deniciones y propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.2. Reglas de conmutacion para extensiones PBW torcidas cuasi-conmutativas. 34
4.3. Automorsmos para extensiones PBW torcidas. . . . . . . . . . . . . . . . . 36
4.4. Automorsmos para extensiones PBW torcidas sobre dominios de Ore a iz-
quierda. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4.5. Ejemplos y consideraciones. . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
5. AUTOMORFISMOS PARA POLINOMIOS CU
ANTICOS TORCIDOS. 50
5.1. Denici on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
5.2. Reglas de multiplicaci on. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
5.3. Automorsmos para anillos de polinomios cuanticos torcidos. . . . . . . . . . 55
5.4. Automorsmos para el anillo de polinomios cu anticos torcidos sobre un do-
minio de Ore. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
5.5. Ejemplos y consideraciones. . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
Bibliografa 64
1 INTRODUCCI
ON
El concepto de anillo de polinomios cu anticos torcidos es realmente nuevo (vease [10]), y mu-
chos aspectos alrededor de estos anillos a un no han sido estudiados a profundidad. Este es
el caso de su grupo de automorsmo, por lo cual, el principal interes en el desarrollo de este
trabajo es comenzar el estudio de este tema, esperando que los resultados aqu presentados
sirvan como referente para futuros trabajos. Por otro lado, basado en los trabajos hechos por
V.A. Artamonov sobre automorsmos para el anillo de polinomios cuanticos, podra decir
que, el estudio del grupo de automorsmos para el anillo de polinomios cu anticos torcidos
ayudar a futuras investigaciones en temas como, invariantes bajo la acci on de subgrupos del
grupo de automorsmo del anillo de polinomios cu anticos torcidos, derivaciones generaliza-
das y acciones de algebras de Hopf punteadas. Adem as, los aportes hechos por Artamonov
son parte esencial para el desarrollo de este trabajo, no solo por que hacen parte fundamental
de un historico de resultados que ha sido realmente corto, aproximadamente 20 a nos, sino
porque han inspirado los resultados m as importantes que se han obtenido en este trabajo,
no solo para el anillo de polinomios cu anticos torcidos, sino tambien para extensiones PBW
torcidas.
Este trabajo tiene una distribucion general resumida de la siguiente forma: Los captulos 2
y 3 presentan una recopilaci on bibliogr aca de algunos de los resultados sobre el grupo de
automorsmos del anillo de polinomios cu anticos, y en los captulos 4 y 5, presentan resul-
tados sobre los endomorsmos y automorsmos para extensiones PBW torcidas y el anillo
de polinomios cu anticos torcidos, respectivamente. A continuaci on se hara una descripcion
un poco m as detallada de cada captulo.
En el captulo 2 se presentan deniciones basicas, como son las de anillo de polinomios
cu anticos torcidos y derivaci on, as como algunos resultados que hacen referencia a la des-
composici on de las derivaciones del espacio cu antico. Es mas, este captulo esta dedicado
casi en su totalidad al estudio de los resultados presentados por Alev y Chamarie sobre las
derivaciones del espacio cu antico (vease [1]), con un especial interes en el teorema 2.2.2,
as como en algunos resultados particulares para el plano cuantico, el producto tensorial de
planos cuanticos y el espacio cu antico uniparametrico.
El captulo 3 se divide en dos partes. En la primera se caracteriza el grupo de automorsmos
de los espacios cuanticos, usando los resultados obtenidos en el captulo anterior sobre deri-
3
vaciones, y se presentan algunos resultados particulares para el plano cu antico, el producto
tensorial de planos cu anticos y el espacio cu antico uniparametrico. En la segunda parte, el
teorema 3.2.3 caracteriza los endomorsmos de los anillos de polinomios cuanticos generi-
cos (de cierta forma m as generales que los espacios cu anticos), para los que el n umero de
indeterminadas es mayor o igual a tres, y como consecuencia se caracterizan algunos tipos
especiales de automorsmos.
El captulo 4 se aborda desde tres estrategias de trabajo. En la primera, se estudian los
automorsmos de extensiones PBW torcidas genericas, empezando por establecer reglas
de multiplicaci on, y con ellas, demostrar el teorema 4.3.2, y algunos corolarios inmedia-
tos, los cuales son an alogos a varios resultados presentados por Artamonov para polinomios
cu anticos. En la segunda, se hace uso de la estrategia de ltracion-graduacion para obtener
resultados para endomorsmos de extensiones PBW torcidas genericas, basandose en los
resultados obtenidos con anterioridad para extensiones cuasi-conmutativas. Y nalmente en
la tercera, se estudian los endomorsmos para extensiones PBW torcidas sobre dominios de
Ore, obteniendo el teorema 4.4.6, tal vez el resultado mas interesante del captulo.
La estructura del captulo 5 es bastante parecida a la del captulo 4. Primero, estudiamos
de forma lo mas general posible los automorsmos para el anillo de polinomios cu anticos
torcidos, estableciendo reglas de multiplicaci on para estos anillos, y con ellas obtenemos un
an alogo al teorema 3.2.2; en segundo lugar, estudiamos el anillo de polinomios cuanticos tor-
cidos sobre dominios de Ore, obteniendo el teorema 5.4.5 y el corolario 5.4.6. Los teoremas
aqu mencionados, se convierten por tanto, en los resultados principales para los objetivos
de este trabajo.
Por otro lado, al lector le parecer a extra no que se haya incluido el captulo 4, dado que al
parecer no guarda relaci on con los objetivos de este trabajo, por lo cual dedico estas lineas a
dar una justicaci on al porque de este hecho. En primer lugar, algunos casos particulares de
polinomios cuanticos torcidos pueden clasicarse como una extension PBW torcida cuasi-
conmutativa biyectiva, y a un m as, el anillo de polinomios cuanticos torcidos puede verse
como una localizaci on de una extensi on PBW torcida cuasi-conmutativa biyectiva. Por lo
tanto, un estudio de los automorsmos para estas extensiones sera tambien aplicable a casos
particulares de polinomios cu anticos torcidos. En segundo lugar, los resultados del captulo
4 fueron posibles gracias a que, cuando se estudiaron los anillos de polinomios cu anticos
torcidos que podan clasicarse como extensi on PBW torcida, pude notar que los resultados
obtenidos, podan generalizarse a extensiones PBW torcidas cuasi-conmutativas, y usando
propiedades de ltraci on y localizaci on podan generalizarse aun m as dichos resultados, tal
como se hace en [9], y dado que el estudio de endomorsmos para las extensiones PBW
torcidas es realmente poco, el captulo sera de interes para aquellas personas que quieran
abarcar este tema.
4 1 INTRODUCCI
ON
Aclaro adem as que, cuando se haga referencia a endomorsmo, hablare de un endomorsmo
de anillos que adem as act ua como la identidad sobre el anillo de coecientes. Los modulos y
localizaciones son consideradas siempre por la izquierda, al igual que todas las propiedades
que hagan referencia a los mismos.
2 POLINOMIOS CU
ANTICOS.
2.1. Denicion y generalidades.
Sea D un anillo de division con un conjunto jo de automorsmos
1
, . . . ,
n
y n 2.
Tambien jamos elementos q
ij
D, i, j = 1, . . . , n, que satisfacen las siguientes igualdades:
q
ii
= q
ij
q
ji
= Q
ijr
Q
jri
Q
rij
= 1,
i
(
j
(d)) = q
ij
j
(
i
(d))q
ji
, (2-1)
donde Q
ijr
= q
ij
j
(q
ir
) y d D. Adicionalmente, introducimos la matriz Q = (q
ij
) y
= (
1
, . . . ,
n
).
Denici on 2.1.1. Las entradas q
ij
de la matriz Q forman un sistema de multiparame-
tros.
Denici on 2.1.2. Notemos por
:= D
Q,
[x
1
1
, . . . , x
1
r
, x
r+1
, . . . , x
n
] (2-2)
al anillo asociativo generado por los elementos de D y por
x
1
, . . . , x
n
, x
1
1
, . . . x
1
r
, (2-3)
sujeto a las relaciones
x
i
x
1
i
= x
1
i
x
i
= 1, 1 i r;
x
i
d =
i
(d)x
i
, d D, i = 1, . . . , n; (2-4)
x
i
x
j
= q
ij
x
j
x
i
, i, j = 1, . . . , n.
El anillo (2-2) es llamado anillo de polinomios cuanticos. Si r = n, el anillo (2-2) se dice
que es un anillo de polinomios cuanticos de Laurent.
Proposicion 2.1.3 ([3]). El anillo de (2-2) es un espacio vectorial a derecha e izquierda
sobre D cuya base consiste de los monomios u = x
m
1
1
x
mn
n
, donde m
i
Z si 1 i r y
m
i
N0, si r+1 i n. En particular, el anillo de (2-2) es un dominio noetheriano a
derecha e izquierda con anillo total de fracciones F = D
Q,
(x
1
, . . . , x
n
). Cada automorsmo
i
de D puede ser extendido a F de la siguiente forma
i
(f) = x
i
fx
1
i
.
6 2 POLINOMIOS CU
ANTICOS.
Denici on 2.1.4. Sea N el subgrupo del grupo multiplicativo D
del anillo de divisi on D

generado por el subgrupo derivado [D
, D
] y el conjunto de todos los elementos de la forma

z
1
i
(z), donde z D
e i = 1, . . . n.
Podemos observar que N es un subgrupo normal del grupo multiplicativo D
y D
/N es un
grupo abeliano multiplicativo. El subgrupo normal N surge cuando multiplicamos monomios
en el anillo . La siguiente formula ser a usada frecuentemente. Para cualquiera dos monomios
en se tiene que
(x
m
1
1
x
mn
n
)(x
s
1
1
x
sn
n
) = (
ij
q
m
j
s
i
ji
u)x
m
1
+s
1
1
x
mn+sn
n
, (2-5)
donde u N.
Cuando las im agenes de los multipar ametros q
ij
son independientes en D
/N decimos que
el anillo es un anillo de polinomios cuanticos general o generico.
2.2. Derivaciones
En esta secci on se asumira que en el anillo (2-2), D = k es un campo, r = 0 y consiste
solo de la identidad sobre D.
Denici on 2.2.1. Una derivaci on de un anillo R es un homomorsmo de su grupo aditivo
d : R R, (2-6)
que satisface d(r
1
r
2
) = d(r
1
)r
2
+ r
1
d(r
2
). Al conjunto de todas las derivaciones de R se le
notar a como Der(R).
Si b es un elemento de R, la funci on
[, b] : R R
x [x, b] = xb bx
es una derivacion, llamada derivacion interna respecto a b. Al conjunto de todas las
derivaciones interna de R se le notar a como Derint(R) (vease [7]).
Cuando adicionalmente R es una k algebra, con k un anillo conmutativo, una derivaci on es
adem as un homomorsmo de km odulos.
2.2 Derivaciones 7
Es claro que si es una derivaci on de la k algebra , ella esta determinada por su acci on
sobre los x
i
y debe cumplir:
(x
i
)x
j
+ x
i
(x
j
) = q
ij
((x
j
)x
i
+ x
j
(x
i
)) para todo i, j = 1, . . . , n. (2-7)
Denimos
D
i
: (2-8)
x
j
D
i
(x
j
) :=
_
x
i
i = j,
0 i ,= j,
es claro que D
i
es una derivacion para todo i.
Por otro lado, si
i
:= v N
n
: v
i
= 0 y
k
q
v
k
kj
= q
ij
para i ,= j, (2-9)
podemos denir una unica derivacion D
iv
, para todo v
i
, tal que D
iv
(x
j
) :=
ij
x
v
para
todo j. Estas derivaciones son linealmente independientes, por lo cual consideramos E :=
i
(
v
i
kD
iv
).
Teorema 2.2.2. Sea un anillo de polinomios cuanticos con las hipotesis consideradas al
principio de esta seccion, entonces Der() = Derint() (
i
Z()D
i
) E.
Demostracion. Dividimos la prueba en tres paso.
Paso 1. Sea
E
:= D Der() : para todo i, D(x

i
) no contiene el termino x
i
en su expansi on.
Veamos que E
= E.
Como D
iv
(x
i
) = x
v
, con v
i
= 0, entonces D
iv
(x
i
) no posee en su expansion a x
i
, por lo cual
D
iv
E
para cada v
i
, y para todo i = 1, . . . , n. Esto implica que E E
.
Para probar la otra contenencia, consideremos una derivaci on D E
. Esta derivaci on
satisface
D(x
i
)x
j
q
ij
x
j
D(x
i
) = 0 para todo i ,= j. (2-10)
En efecto, si D E
, sabemos de (2-7) que

D(x
i
)x
j
+ x
i
D(x
j
) = q
ij
(D(x
j
)x
i
+ x
j
D(x
i
)). (2-11)
8 2 POLINOMIOS CU
ANTICOS.
Observando que D(x
i
)x
j
y x
j
D(x
i
) no tienen a x
i
en su representacion, pero si la tienen
x
i
D(x
j
) y D(x
j
)x
i
, y teniendo en cuenta la representaci on unica de los elementos de , se
tiene que
D(x
i
)x
j
q
ij
x
j
D(x
i
) = 0.
Por otro lado, cualquier monomio x
v
en la escritura de D(x
i
) =
iv
x
v
,
iv
k
, verica
x
v
x
j
q
ij
x
j
x
v
= 0 si i ,= j. (2-12)
En efecto, dado que D E
, entonces para cada x

v
en la expansi on de D(x
i
) satisface que
v
i
= 0, de lo contrario D(x
i
) tendra un termino en el que aparece x
i
, lo cual no es posible.
Por lo tanto, de (2-10) se tiene que
(
iv
x
v
)x
j
q
ij
x
j
(
iv
x
v
) = 0, (2-13)
as
iv
(x
v
x
j
q
ij
x
j
x
v
) = 0, (2-14)
por lo cual
iv
(
k
q
v
k
kj
q
ij
)x
j
x
v
= 0. (2-15)
Como la representacion de todo elemento en es unica, tenemos que
iv
(
k
q
v
k
kj
q
ij
)x
j
x
v
= 0, (2-16)
por lo tanto,
k
q
v
k
kj
x
j
x
v
q
ij
x
j
x
v
= 0 para i ,= j, (2-17)
es decir
x
v
x
j
q
ij
x
j
x
v
= 0.
La ecuacion (2-16) ademas nos dice que
k
q
v
k
kj
= q
ij
para todo j ,= i, (2-18)
As vemos que v
i
, ya que v
i
= 0.
2.2 Derivaciones 9
Con esto concluimos que D =
iv
D
iv
, ya que D y
iv
D
iv
act uan de la misma for-
ma sobre los x
i
, i = 1, . . . , n. As hemos mostrado que D puede escribirse como combinacion
lineal de los D
iv
, que son los generadores de E; es decir, hemos probado que D E y por
tanto E
E.
Paso 2. Sea F := D Der() : D(x
i
) x
i
para todo i, donde x
i
denota el ideal
bil atero generado por x
i
. Probemos que
Der() = F E. (2-19)
Si D es una derivaci on de , para todo i existe f
i
cuya escritura no contiene a x
i
, tal
que D(x
i
) f
i
x
i
. Es decir, D(x
i
) = p
i
+ f
i
, con p
i
x
i
.
La ecuacion (2-7), implica que
p
i
x
j
+ f
i
x
j
+ x
i
p
j
+ x
i
f
j
= q
ij
(p
j
x
i
+ f
j
x
i
+ x
j
p
i
+ x
j
f
i
). (2-20)
Observamos que los unicos elementos de (2-20) que no tienen a x
i
es su escritura son f
i
x
j
y
x
j
f
i
. Luego por la representacion unica de los elementos de , se tiene que
f
i
x
j
= q
ij
x
j
f
i
. (2-21)
De aqu observamos que
f
i
x
j
+ x
i
f
j
= q
ij
(f
j
x
i
+ x
j
f
i
) para i ,= j, (2-22)
por lo tanto, existe una derivacion D
tal que D
(x
i
) = f
i
para todo i = 1, . . . , n. Ademas,
D D
F ya que
(D D
)(x
i
) = D(x
i
) D
(x
i
)
= D(x
i
) f
i
x
i
, (2-23)
para todo i = 1, . . . , n. As, todo elemento D Der() puede escribirse como suma de un
elemento de F y uno de E, y por tanto
Der() = F + E. (2-24)
Claramente FE = 0, ya que de lo contrario tendramos una derivaci on D, tal que D(x
k
) ,= 0
y D(x
k
) est a en x
i
y a su vez no tiene a x
i
en su escritura, lo cual es una contradicci on.
Por lo tanto, concluimos que Der() = F E.
Paso 3. Si
G := Derint() +
i
Z()D
i
; (2-25)
10 2 POLINOMIOS CU
ANTICOS.
veamos que F = G.
Comencemos probando que (2-25) es suma directa. De lo contrario, existir an elementos no
nulos z
i
Z() y f no nulos tales que
z
j
D
j
= [, f], (2-26)
por lo tanto
z
i
D
i
(x
i
) = [x
i
, f]. (2-27)
Suponiendo que z
i
=
v
x
v
, tenemos que
z
i
x
i
=
v
x
v
x
i
=
j
q
v
j
ji
x
i
x
v
=
v
x
i
x
v
.
Dada la representaci on unica de los elementos de se llega a que
q
v
j
ji
= 1, para cada v,
luego x
v
conmuta con x
i
.
Por otro lado, si f =
v
x
v
z
i
x
i
= x
i
f fx
i
= x
i
v
x
v
v
x
v
x
i
=
v
(x
i
x
v
x
v
x
i
)
=
v
[x
i
, x
v
]. (2-28)
As,
v

v
x
v
x
i
=
v

v
[x
i
, x
v
], y por tanto
v
x
v
x
i
=
v
[x
i
, x
v
], pero [x
i
, x
v
] = 0 ya que x
i
y
x
v
conmutan. Luego z
i
x
i
= 0 y en consecuencia z
i
= 0, lo que no es posible.
Si [, b] Derint(), entonces [x
i
, b] x
i
, y D
j
(x
i
) =
ji
x
i
x
i
para todo i = 1, . . . , n,
lo cual quiere decir que G F.
Pasamos ahora a demostrar que F G. Para todo i, sea
F
i
:= D F : D(x
j
) = 0 para todo j < i. (2-29)
2.2 Derivaciones 11
Estos conjuntos satisfacen F
i
F
i+1
+G. En efecto, si D F
i
podemos escribir D(x
i
) = f
i
x
i
para alg un f
i
.
Para todo j < i, la ecuaci on (2-7) implica que
D(x
i
)x
j
= q
ij
x
j
D(x
i
), (2-30)
lo cual nos lleva a que
f
i
x
i
x
j
= q
ij
x
j
f
i
x
i
, . (2-31)
Como x
i
x
j
= q
ij
x
j
x
i
, (2-31) se convierte en
q
ij
f
i
x
j
x
i
= q
ij
x
j
f
i
x
i
, (2-32)
esto nos dice que f
i
x
j
= x
j
f
i
. Por tanto x
j
y f
i
conmutan si j < i.
De lo anterior deducimos que todos los monomios que aparecen en la escritura de f
i
conmu-
tan con x
j
, para todo j < i.
Consideremos ahora
i
:= v N :
k
q
v
k
ik
= 1. (2-33)
Observe que si v
i
, entonces x
v
conmuta con x
i
.
Denimos
g
i
:=
v
i
v
x
v
y (2-34)
h
i
:=
v/
i
v
(
j
q
v
j
ij
1)
1
x
v
, (2-35)
donde los
v
est an dados por la escritura unica de f
i
. Entonces
D(x
i
) = [x
i
, h
i
] + g
i
x
i
. (2-36)
En efecto, observemos que
x
i
h
i
= x
i
v/
i
v
(
j
q
v
j
ij
1)
1
x
v
=
v/
i
v
[(
j
q
v
j
ij
1)
1
j
q
v
j
ij
]x
v
x
i
. (2-37)
12 2 POLINOMIOS CU
ANTICOS.
Entonces,
x
i
h
i
h
i
x
i
=
v/
i
v
(
j
q
v
j
ij
1)
1
j
q
v
j
ij
x
v
x
i
v/
i
v
(
j
q
v
j
ij
1)
1
x
v
x
i
=
v/
i
v
(
j
q
v
j
ij
1)
1
(
j
q
v
j
ij
1)x
v
x
i
(2-38)
=
v/
i
v
x
v
x
i
.
Por lo tanto,
v/
i
v
x
v
x
i
+ g
i
x
i
= f
i
x
i
= D(x
i
). (2-39)
Tomado D
= D [, h
i
] notamos que D
F
i
. En efecto, sabemos que D F
i
y que todos
los monomios x
v
que aparecen en la escritura de f
i
, conmutan con x
j
si j < i, por lo que
[x
j
, h
i
] = 0. Por otra parte, la relaci on (2-7) aplicada a D
para todo k > i implica que

D
(x
i
)x
k
+ x
i
D
(x
k
) = q
ik
[D
(x
k
)x
i
+ x
k
D
(x
i
)]
g
i
x
i
x
k
q
ik
x
k
g
i
x
i
= q
ik
D
(x
k
)x
i
x
i
D
(x
k
),
(2-40)
ya que los g
i
conmutan con x
i
tenemos que
g
i
x
i
x
k
q
ik
x
k
x
i
g
i
= q
ik
D
(x
k
)x
i
x
i
D
(x
k
),
(2-41)
como x
k
x
i
= q
ki
x
i
x
k
= q
1
ik
x
i
x
k
,
g
i
x
i
x
k
x
i
x
k
g
i
= q
ik
D
(x
k
)x
i
x
i
D
(x
k
)
x
i
(g
i
x
k
x
k
g
i
) = q
ik
D
(x
k
)x
i
x
i
D
(x
k
)
x
i
[g
i
, x
k
] = q
ik
D
(x
k
)x
i
x
i
D
(x
k
). (2-42)
Por otro lado, observemos que si [g
i
, x
k
] =
v

v
x
v
entonces
x
i
[g
i
, x
k
] = x
i
(g
i
x
k
x
k
g
i
)
= x
i
g
i
x
k
x
i
x
k
g
i
= g
i
x
i
x
k
q
ik
x
k
x
i
g
i
= q
ik
g
i
x
k
x
i
q
ik
x
k
g
i
x
i
= q
ik
(g
i
x
k
x
k
g
i
)x
i
= q
ik
[g
i
, x
k
]x
i
= q
ik
v
x
v
x
i
,
2.2 Derivaciones 13
lo cual quiere decir que el primer miembro de (2-42) posee monomios x
v
con
l
q
v
l
il
= q
ik
,
mientras que la segunda no contiene tales monomios. Si existieran tales monomios entonces
tendramos que x
i
x
v
=
l
q
v
l
il
x
v
x
i
= q
ik
x
v
x
i
, y por tanto q
ik
x
v
x
i
x
i
x
v
= 0, as estos mono-
mios no aparecen en la representacion.
Esto nos lleva a concluir que g
i
conmuta con todos los x
k
para k > i y por lo tanto g
i
Z().
Finalmente, tenemos que D
g
i
D
i
F
i+1
, pues D
, D F
i
y D
(x
i
)g
i
D
i
(x
i
) = g
i
x
i
g
i
x
i
=
0. Entonces D = D
g
i
D
i
+ [, h
i
] + g
i
D
i
F
i+1
+ G. Luego hemos demostrado que
F = F
1
F
2
+ G F
n+1
+ G = G, (2-43)
lo cual nos dice que F G. Por tanto F = G.
Corolario 2.2.3. Si n = 2, E = 0 si, y solo si, q

12
,= 1.
Demostracion. En efecto, si v
i
, entonces v
i
=0 y adem as q
v
i
ij
= q
ij
, es decir, 1 = q
ij
.
Corolario 2.2.4. Si A =
p
i=1
A
i
, con A
j
= k[x
i
, y
i
], x
i
y
i
= q
i
y
i
x
i
y q
i
,= 1 para i = 1, . . . , p,
entonces E = 0.
Demostracion. Veamos como se comporta la matriz de multiparametros para el caso de este
producto tensorial. Cuando multiplicamos x
i
por x
j
o y
j
con i ,= j tenemos que x
i
x
j
= x
j
x
i
y
de la misma forma x
i
y
j
= y
j
x
i
, por lo cual podemos deducir que la matriz de multipar ametros
es de la siguiente forma
_
_
_
_
_
_
_
_
_
_
_
_
1 q
1
1 1 . . . 1 1
q
1
1
1 1 1 . . . 1 1
1 1 1 q
2
. . . 1 1
1 1 q
1
2
1 . . . 1 1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1 1 1 1 . . . 1 q
p
1 1 1 1 . . . q
1
p
1
_
_
_
_
_
_
_
_
_
_
_
_
. (2-44)
Observamos que en cada la y cada columna solo existe una entrada distinta de 1, y por
tanto cualquier permutaci on de las las y columnas de esta matriz cumple la misma propie-
dad.
Notemos y
k
por x
k+p
para todo k, 1 k p. Si v
i
, entonces v
i
= 0 y
k
q
v
k
kj
= q
ij
con i ,= j. En particular, tomando q
ij
,= 1 se tiene que 1 =
k
q
v
k
kj
= q
ij
, lo que es una
contradicci on. Por lo tanto,
i
= para cada i = 1, . . . , p.
14 2 POLINOMIOS CU
ANTICOS.
Corolario 2.2.5. Supongamos que q
ij
= q para todo i < j y q no es raz de la unidad.
Entonces Z() = k y se tienen los siguientes casos
(1) Si n = 3, entonces E = k donde esta dado por
(x
1
) = (x
3
) = 0 y (x
2
) = x
1
x
3
.
(2) Si n ,= 3, entonces E = 0.
Demostracion. Si q no es raz de la unidad, para todo v N y todo i,
[x
i
, x
v
] = 0 si, y s olo si,
j<i
v
j
=
j>i
v
j
.
En efecto, sabemos que x
i
y x
v
conmutan si, y solo si,
j
q
v
j
ij
= 1. Como en este caso q
ij
= q
para i < j entonces debemos tener (
i<j
q
v
j
)(
i>j
q
v
j
) = 1. Como q no es raz de la unidad,
entonces
i<j
v
j
=
i>j
v
j
.
Por lo tanto, cuando i = 1, 2 tenemos que v
2
+ v
3
+ + v
n
= 0 y v
1
= v
3
+ + v
n
,
respectivamente. Por lo tanto, v
1
+ v
2
= 0, como cada v
i
0 entonces v
1
= = v
n
= 0.
En consecuencia, se tiene que Z() = k, pues cualquier monomio que conmute con x
i
debe
tener exponente v = 0.
Supongamos que existe i y v tal que v
i
, entonces v
i
= 0 y
k
q
v
k
kj
= q
ij
. Como q no es
raz de la unidad y q
ij
= q para i < j, entonces
k<j
v
k
+
k>j
v
k
= 1 si i < j (2-45)
o
k<j
v
k
+
k>j
v
k
= 1 si i > j. (2-46)
En particular, se debe tener que i ,= n, ya que de lo contrario, tomando j = n1, tendramos
que
k<n1
v
k
v
n
= 1 (seg un (2-46)), (2-47)
pero en este caso v
n
= 0, es decir
k<n1
v
k
= 1 lo cual es una contradiccion ya que v
k
0.
Similarmente, i ,= 1, ya que suponiendo lo contrario, y tomando j = 2 tenemos
k>2
v
k
= 1 (seg un (2-45)), (2-48)
2.2 Derivaciones 15
lo cual no es posible, ya que v
k
0 para cada k.
Para el caso en que j = n, tenemos que
k<n
v
k
= 1, luego existe l < n tal que v
l
= 1, v
k
= 0
para todo k ,= l y k < n. Necesariamente l < i, ya que de lo contrario
k<l
v
k

k>l
v
k
= 1, lo
cual no lleva a que v
n
= 1, lo cual es una contradicci on. Por lo tanto,
k<l
v
k

k>l
v
k
= 1. (2-49)
Como v
k
= 0 para k ,= j y k < n, entonces solo nos queda, v
n
= 1.
Cuando j = 1, se tiene que
k>1
v
k
= 1, seg un (2-46) (2-50)
por lo que
k>1
v
k
= 1, (2-51)
lo cual requiere que l = 1, p ues ya hemos deducido que v
n
= 1.
Veamos ahora que i = 2. En efecto, si i > 2 podramos considerar 1 < j = i 1, por lo cual
k<i1
v
k

k>i+1
v
k
= v
1
v
n
= 1, (2-52)
lo cual es una contradicci on, ya que v
1
v
n
= 0.
Luego para el caso en que n ,= 3, E = 0. En efecto, se tiene que i = 2 y por tanto
k
q
v
k
kj
= q
2j
para j ,= 2, esto equivalente a decir que q
1j
q
nj
= q
2j
para j ,= 2. Tomando
j ,= 1, 2, n se tiene que 1 < j < n, por lo tanto, 1 = q
1j
q
nj
= qq
1
= q
2j
= q, lo que es una
contradicci on.
Finalmente, para el caso en que n = 3, v
1
= 1, v
2
= 0 y v
3
= 1, por lo cual existe una
derivacion D
2v
tal que D
2v
(x
j
) =
ij
x
v
, es decir
D
2v
(x
1
) = 0
D
2v
(x
2
) = x
1
x
3
D
2v
(x
3
) = 0.
Dado el razonamiento anterior esta es la unica derivacion de este tipo y por tanto E = kD
2v
.
3 AUTOMORFISMOS PARA EL
ANILLO DE POLINOMIOS
CU
ANTICOS.
Denotaremos por End() al semigrupo de todos los endomorsmos de anillos de que
act uan como la identidad sobre D, y Aut() es el grupo de todos los automorsmos de
, que act uan como la identidad sobre D, es decir, los elementos invertibles del semigrupo
End().
3.1. Automorsmos para el espacio cuantico.
En esta seccion se asumir a que D es un campo de caracterstica cero, r = 0 y
1
=
2
=
. . . =
n
= id
D
. Para este caso, el anillo de (2-2) lo denominaremos espacio cu antico.
Por notaci on, Aut
L
() es el grupo de automorsmos lineales de , es decir, el conjunto de
aquellos automorsmos que dejan estable el subespacio generado por los x
i
.
Proposicion 3.1.1. Dos monomios x
m
1
1
x
m
2
2
x
mn
n
y x
s
1
1
x
s
2
2
x
sn
n
conmutan si, y solo si,
i<j
q
m
i
s
j
s
i
m
j
ji
= 1. (3-1)
Demostracion. Supongamos que x
m
1
1
x
m
2
2
x
mn
n
y x
s
1
1
x
s
2
2
x
sn
n
conmutan. Seg un las reglas
de conmutaci on,
(x
m
1
1
x
m
2
2
x
mn
n
)(x
s
1
1
x
s
2
2
x
sn
n
) =
i<j
q
m
j
s
i
ji
x
m
1
+s
1
1
x
mn+sn
n
, (3-2)
y
(x
s
1
1
x
s
2
2
x
sn
n
)(x
m
1
1
x
m
2
2
x
mn
n
) =
i<j
q
s
j
m
i
ji
x
m
1
+s
1
1
x
mn+sn
n
. (3-3)
Como hemos supuesto que estos monomios conmutan, entonces
i<j
q
s
j
m
i
ji
x
m
1
+s
1
1
x
mn+sn
n
=
i<j
q
m
j
s
i
ji
x
m
1
+s
1
1
x
mn+sn
n
, (3-4)
3.1 Automorsmos para el espacio cuantico. 17
por lo tanto, usando la representacion unica de los elementos de , tenemos que
i<j
q
s
j
m
i
ji
=
i<j
q
m
j
s
i
ji
, (3-5)
as,
i<j
q
m
i
s
j
s
i
m
j
ji
= 1. (3-6)
La demostracion de la proposici on recproca consiste en realizar el an alisis inverso al presen-
tado anteriormente.
Lema 3.1.2. Una matriz = (

ij
) GL
n
(D) dene un automorsmo lineal de si, y solo
si, verica la siguiente relacion para todo i < j y k l:
ik
jl
(1 q
ij
q
lk
) =
il
jk
(q
ij
q
lk
). (3-7)
Demostracion. Supongamos que la matriz dene un automorsmo lineal T de , entonces
para i < j,
T(x
i
) =
ik
x
k
,
T(x
j
) =
jl
x
l
,
se tiene que
T(x
i
x
j
) = q
ij
T(x
j
x
i
),
es decir,
(
ik
x
k
)(
jl
x
l
) = q
ij
(
jl
x
l
)(
ik
x
k
). (3-8)
Por otro lado, si k l el coeciente de x
k
x
l
del lado izquierdo debe ser igual al coeciente
de x
k
x
l
del lado derecho. Por lo cual
ik
x
k
jl
x
l
+
il
x
l
jk
x
k
= q
ij
jk
x
k
il
x
l
+
jl
x
l
ik
x
k
, (3-9)
por lo que
ik
jl
+ q
lk
il
jk
= q
ij
jk
il
+ q
ij
q
lk
jl
ik
. (3-10)
As,
ik
jl
(1 q
ij
q
lk
) =
jk
il
(q
ij
q
lk
). (3-11)
18 3 AUTOMORFISMOS PARA EL ANILLO DE POLINOMIOS CU
ANTICOS.
Para probar el recproco, observemos que (3-11) implica (3-8) (realizando los an alisis con-
trarios), luego deniendo
T(x
i
) =
ik
x
k
, (3-12)
para todo i = 1, . . . , n, se tiene que
T(x
i
)T(x
j
) = q
ij
T(x
j
)T(x
i
) (seg un (3-8)). (3-13)
Observemos ahora que es una k algebra generada por D y X := x
1
, x
2
, . . . , x
n
, por lo
tanto,

= DX/x
i
x
j
q
ij
x
j
x
i
: i < j, donde DX es el algebra libre en el alfabeto X.
Deniendo
T
: X
x
i
T(x
i
), (3-14)
y usando propiedad universal para el algebra sobre el alfabeto X, existe un Dhomomorsmo
de anillos T
: DX , tal que T
(x
i
) = T
(x
i
) = T(x
i
). Observemos adem as, que T
es
un homomorsmo de anillos sobreyectivo y ker(T
) x
i
x
j
q
ij
x
j
x
i
: i < j (esta ultima se
deduce de (3-13)).
Como ker(T
) x
i
x
j
q
ij
x
j
x
i
: i < j, existe un Dhomomorsmo de anillos
T : , (3-15)
tal que T(x
i
) = T
(x
i
), el cual resulta sobreyectivo, ya que T
lo es. Resta ver que T es un

homomorsmos inyectivo. Como es noetheriano a derecha e izquierda y T es sobreyectivo,
entonces T es inyectivo. As, T es un automorsmo.
Finalmente, como T(x
i
) esta en el subespacio generado por los x
k
, para cada i = 1, 2, . . . , n,
entonces T deja invariante el subespacio generado por los x
k
, es decir, T Aut
L
() como se
quera probar.
El siguiente lema permite usar las derivaciones de para calcular o caracterizar Aut()
en algunos casos especiales del espacio cu antico. Notaremos por D() a la sub algebra de
End
D
() generada por las Dderivaciones de , donde una Dderivacion es entendida
como una derivaci on de que adem as es un Dhomomorsmo.
Denici on 3.1.3 ( Derivacion alta). Sea A una D algebra graduada, y consideremos el
conjunto de funciones
d
l
: A A, (3-16)
para l 0. Decimos que (d
l
)
l0
es una derivacion alta de A, si d
0
= id
A
y para todo x, y A
y todo l 0, d
l
(xy) =
i+j=l
d
i
(x)d
j
(y).
Lema 3.1.4. Sea A =
i0
A
i
una Dalgebra graduada tal que A
0
= D y A es generada por
A
1
. Sea : A A un morsmo de Dalgebras, y supongamos que
i2
A
i
( id)(A
1
).
Entonces para l 0, existe d
l
D(A) tal que para todo i 0, si x A
i
, d
l
(x) es la
componente homogenea de grado i + l de (x).
Demostracion. Por hip otesis, se tiene que A
i
= A
i
1
. Denimos el morsmo de D algebras
u : A A[t], (3-17)
de la siguiente forma: para todo x A
i
, u(x) =
ji
y
j
t
ji
, donde y
j
son las componentes
homogeneas de grado j de (x), y escribimos u(x) =
l0
d
l
(x)t
l
.
Observamos que (d
l
)
l0
es una derivacion alta de A (vease [6], p ag. 193), y dado que D es
una campo de caracterstica cero, el lema ser a consecuencia del siguiente resultado.
Lema 3.1.5. Sea A un algebra sobre un campo k de caracterstica cero. Si (d

l
)
l0
es una
derivacion alta de A, cada componente d
l
esta en D(A).
Demostracion. Si d = (d
l
)
l0
y d
= (d
l
)
l0
son dos derivaciones altas, podemos denir una
derivacion alta d d
de la siguiente forma
(d d
)
l
:=
i+j=l
d
i
d
j
. (3-18)
Por otro lado, dos derivaciones altas son equivalentes si para todo l 0, d
l
d
l
pertenece a
la k algebra generada por D(A) y d
0
, . . . , d
l1
(esta relacion es de equivalencia).
Mostremos usando inducci on sobre l 0, que existe un derivacion alta d
equivalente a d tal
que d
i
= 0 para todo i = 1, . . . , l. Es claro que d
l+1
en este caso es una derivacion.
A partir de d
podemos obtener una derivaci on alta de la siguiente forma:

d
i(l+1)
=
1
i!
(d
l+1
)
i
, y (3-19)
d
j
= 0 para j ,= i(l + 1) para todo i.
Se tiene que d
es una derivacion alta equivalente a d
y por lo tanto a d, y verica

(d
)
i
= 0 (3-20)
para todo i tal que 0 < i l + 1.
Luego por inducci on sobre l se llega a que para todo l 0, d
l
D(A).
ANTICOS.
Para el siguiente teorema consideraremos la graduaci on de , donde cada componente ho-
mogenea de grado i se notara como A
i
.
Teorema 3.1.6. Si E = 0, entonces Aut() = Aut
L
().
Demostracion. Note en primer lugar que si E = 0, para i jo, existe al menos un j tal
que q
ij
,= 1. Ya que de lo contrario v = 0 estara en
i
.
Sea un automorsmo de y supongamos que
(x
i
) =
i0
+
ik
x
k
+ f
i
, (3-21)
con
ik
D para todo k 0, y f
i
una suma de elementos homogeneos de grado mayor o
igual que dos.
Como
(x
i
)(x
j
) = q
ij
(x
j
)(x
i
), (3-22)
tenemos que
(x
i
)(x
j
) = (
i0
+
ik
x
k
+ f
i
)(
j0
+
jt
x
t
+ f
j
)
=
i0
j0
+
i0
(
jt
x
t
) +
i0
f
j
+ (
ik
x
k
)
j0
+ (
ik
x
k
)(
jt
x
t
)
+(
ik
x
k
)f
j
+ f
i
j0
+ f
i
(
jt
x
t
) + f
i
f
j
,
(3-23)
y por otro lado,
q
ij
(x
j
)(x
i
) = q
ij
(
j0
+
jt
x
t
+ f
j
)(
i0
+
ik
x
k
+ f
i
)
= q
ij
(
j0
i0
+
j0
(
ik
x
k
) +
j0
f
i
+ (
jt
x
t
)
i0
+(
jt
x
t
)(
ik
x
k
) + (
jt
x
t
)f
i
+ f
j
i0
+f
j
(
ik
x
k
) + f
j
f
i
). (3-24)
Comparando los elementos homogeneos llegamos a que
i0
j0
= q
ij
j0
i0
, y tambien
i0
jt
+
it
j0
= q
ij
(
j0
it
+
jt
i0
). (3-25)
Es decir,
i0
jt
q
ij
i0
jt
+
it
j0
q
ij
it
j0
= 0; (3-26)
y por tanto
(1 q
ij
)(
i0
jt
+
it
j0
) = 0, (3-27)
para todo t 0.
Si
i0
,= 0, tomando q
ij
,= 1 y t = 0, entonces
(
i0
j0
+
j0
i0
) = 0, (3-28)
de donde
j0
= 0. Reemplazando
j0
en (3-27), deducimos que para t 0,
i0
jt
= 0 , es
decir,
jt
= 0.
Seg un (3-22), (3-23), (3-24) se tiene
i0
f
j
+ (
ik
x
k
)f
j
+ f
i
f
j
= q
ij
(f
j
i0
+ f
j
(
ik
x
k
) + f
j
f
i
),
y dada la representaci on unica de (x
i
)(x
j
) se debe tener
i0
f
j
q
ij
f
j
i0
= (1 q
ij
)
i0
f
j
= 0, (3-29)
as f
j
= 0 lo que indica (x
j
) = 0, que es una contradiccion, y por tanto
i0
= 0.
Ya que la proposicion tambien es v alida para
1
, veamos que la matriz (
ij
)
1i,jn
es in-
vertible.
Es claro que si a
i
A
i
con i 1, (a
i
) / A
0
, pues de lo contrario no sera un automorsmo.
Adem as, si i 2 entonces (a
i
) / A
1
, ya que es producto de componentes de grado 1 o mayor.
Suponiendo que
1
(x
k
) =
kj
x
j
+ f
k
, (3-30)
entonces,
1
((x
i
)) =
1
(
ik
x
k
+ f
i
)
=
ik
1
(x
k
) +
1
(f
i
)
=
ik
(
kj
x
j
+ f
k
) +
1
(f
i
)
=
ik
kj
x
j
+
ik
f
k
+
1
(f
i
),
ANTICOS.
comparando componentes homogeneas, se llega a que
i1
1j
+
i2
2j
+ +
in
nj
=
_
1 si i = j
0 si i ,= j
.
Recprocamente, aplicando el razonamiento a
1
se tiene que (
ij
)
1i,jn
es invertible y de-
ne un automorsmo lineal de de la siguiente forma, (x
i
) =
ik
x
k
para k = 1, . . . , n.
Por lo tanto,
(x
i
) = (x
i
) + f
i
. (3-31)
Luego se tiene que
1
(x
i
) = x
i
+
1
(f
i
). (3-32)
Como ya hemos observado,
1
(f
i
)

i2
A
i
, por lo cual solo debemos considerar automor-
smos de la forma (x
i
) = x
i
+ f
i
, donde f
i

i2
A
i
.
Por otro lado, observemos que y cumplen las hip otesis del lema 3.1.4, y puesto que
E = 0, entonces
Der() = Derint() +
(kD
i
), (3-33)
y cada derivacion de este tipo deja estable el ideal x
i
, por lo cual se concluye que cada
d
j
, del que habla el lema 3.1.4, cumple d
j
(x
i
) x
i
, y por tanto (x
i
) x
i
. Como el
razonamiento tambien esa v alido para
1
,
1
(x
i
) x
i
para cada i = 1, . . . , n.
Luego tenemos que (x
i
) = ax
i
y
1
(x
i
) = bx
i
para alg un a, b , y as
x
i
=
1
(x
i
)
=
1
(ax
i
)
=
1
(a)
1
(x
i
)
=
1
(a)bx
i
, (3-34)
como la representaci on de x
i
es unica, entonces
1
(a)b = 1, pero dado que k es un campo,
los unicos invertibles de est an en k
, por lo tanto tenemos que (x

i
) k
x
i
. Por otro lado,
hemos supuesto (x
i
) = x
i
+ f
i
, con lo cual concluimos que (x
i
) = x
i
, es decir = id
.
Luego,
1
= id
. Aplicando el mismo razonamiento a

1
, se deduce que = , y por
tanto Aut() = Aut
L
().

3.1.1. El plano cuantico.
Teorema 3.1.7. Para el plano cuantico (n = 2), tenemos los siguientes casos:
(1) Si q
12
/ 1, 1, entonces Aut() es isomorfo a (k
)
2
, que act ua naturalmente sobre
Dx
1
Dx
2
;
(2) Si q
12
= 1, entonces Aut() es isomorfo al producto semidirecto (k
)
2
, donde
es la simetra que intercambia x
1
y x
2
.
Demostracion. (1) Seg un el corolario 2.2.3, E = 0 si, y solo si, q
12
,= 1, y por 3.1.6
Aut() = Aut
L
(). Adem as, una matriz (
ij
) GL
2
(k) dene un automorsmo lineal
si, y s olo si, para k l
1k
2l
(1 q
12
q
lk
) =
1l
2k
(q
12
q
lk
). (3-35)
Si k = 1 y l = 2, tenemos que
11
22
(1 q
12
q
21
) =
12
21
(q
12
q
21
). (3-36)
Como q
12
q
21
= 1, entonces
12
21
(q
12
q
21
) = 0, (3-37)
adem as q
12
q
21
,= 0 (ya que D es de caracteristica cero), por lo tanto
12
21
= 0.
Cuando l = k = 1,
11
21
(1 q
12
q
11
) =
11
21
(q
12
q
11
), (3-38)
y cuando l = k = 2,
12
22
(1 q
12
q
22
) =
12
22
(q
12
q
22
). (3-39)
Dado que q
ii
= 1 para i = 1, 2, entonces (3-38) y (3-39) pueden escribirse como
11
21
(1 q
12
) =
11
21
(q
12
1), (3-40)
12
22
(1 q
12
) =
12
22
(q
12
1) (3-41)
respectivamente. Por lo tanto deducimos que
11
21
=
11
21
(3-42)
12
22
=
12
22
. (3-43)
ANTICOS.
Ahora, seg un (3-37),
12
= 0 o
21
= 0.
Si
12
= 0 y
21
,= 0, la ecuaci on (3-42) nos dice que
11
= 0, lo cual no es posible ya
que la matriz no sera invertible. Por lo tanto, si
12
= 0 entonces
21
= 0. Usando
el mismo razonamiento deducimos que si
21
= 0 entonces
12
= 0.
Por lo tanto, todas las matrices invertibles que denen un automorsmo lineal, son de
la forma
_

11
0
0
22
_
. (3-44)
(2) Por otro lado, si q
12
= 1, entonces q
21
= 1, y la ecuacion (3-35) puede escribirse
como
1k
2l
(1 + q
lk
) =
1l
2k
(1 q
lk
). (3-45)
Tomando entonces l = k = 1, tenemos
11
21
=
11
21
, (3-46)
y tomando l = k = 2, tenemos
12
22
=
12
22
. (3-47)
As,
12
22
= 0 (3-48)
11
21
= 0. (3-49)
Si
11
= 0 (respectivamente
22
) se debe tener que
12
y
21
son distintos de cero,
pues de lo contrario no sera invertible, y as
22
11
). Luego
para este caso, los automorsmos lineales estan en correspondencia con las matrices
invertibles de la forma
_
0
12
21
0
_
=
_

12
0
0
21
__
0 1
1 0
_
. (3-50)
Si
11
,= 0 (respectivamente
22
), entonces
21
12
), por tanto
22
,= 0 (respectivamente
11
), lo cual implica que
12
21
).
Luego para este caso, los automorsmos lineales est an en correspondencia con las
matrices de la forma
_

11
0
0
22
_
=
_

11
0
0
22
__
0 1
1 0
_
2
. (3-51)

3.1.2. El producto tensorial de planos cuanticos.
Repetimos las hipotesis y notaci on del corolario 2.2.4. Para q
i
= q
j
, notamos por
ij
el
automorsmo de A que intercambia x
i
y x
j
, y
i
y y
j
, y deja jas las dem as variables. Para
q
i
= q
1
j
, notamos por
ij
el automorsmo de A que intercambia x
i
y y
j
, x
j
y y
i
, y deja jas
las demas variables. Sea G el grupo formado por los
ij
y los
ij
.
Teorema 3.1.8. Aut(A) es isomorfo al producto semidirecto de (D
)
2p
y G, donde el toro
(D
)
2p
act ua sobre el subespacio generado por los x
i
, y
i
.
Demostracion. Seg un 2.2.4 y 3.1.6, Aut(A) = Aut
L
(A).
Seg un 3.1.2, una matriz invertible (
ij
) dene un automorsmo si, y solo si, se tienen la
siguientes condiciones
i,k
j,k+p
=
i,k+p
j,k
si [i j[ , = p, 1 k p,
i,k
i+p,l
=
i,l
i+p,k
si [l k[ , = p, 1 i p,
i,k
i+p,k+p
(1 q
i
q
1
k
) =
i,k+p
i+p,k
(q
i
q
1
k
), si 1 i, k p.
Estas condiciones son equivalentes a: cada la y cada columna de (
ij
) tiene una y sola una
entrada no nula; y para 1 i, k p,
i,k
,= 0 si, y s olo si,
i+p,k+p
,= 0, (3-52)
lo que implica que q
i
= q
j
y,
i+p,k
,= 0 si, y s olos si,
i,k+p
,= 0, (3-53)
lo que implica que q
j
= q
i
k
.
Entonces es facil deducir el resultado enunciado.
3.1.3. El espacio cuantico uniparametrico.

Teorema 3.1.9. Supongamos que q
ij
= q para todo i < j, y q no es raz de la unidad. Se
tienen los siguientes casos:
(1) Si n = 3, todos los automorsmos de son de la forma (x
i
) =
i
x
i
, (x
2
) =
2
x
2
+x
1
x
3
, (x
3
) =
3
x
3
, donde
1
,
2
,
3
D
y k; as Aut() es isomorfo al
producto semidirecto k (D
)
3
.
(2) Si n ,= 3, Aut() es isomorfo a (D
)
n
.
ANTICOS.
Demostracion. Si n ,= 3, seg un el lema 3.1.2, una matriz invertible = (
ij
) dene un
automorsmo si, y s olo si, para i < j y k l,
ik
jl
(1 qq
1
) =
il
jk
(q q
1
).
Por tanto tenemos que para i < j y k l,
il
jk
= 0, lo cual implica que es una matriz
diagonal.
Si n = 3, repitiendo la demostraci on de la proposicion 3.1.6 para x
1
y x
3
, teniendo en cuenta
que seg un el corolario 2.2.5 toda derivaci on deja estable los ideales x
1
y x
3
, vemos que
todo automorsmos satisface
(x
1
) =
1
x
1
, (x
3
) =
3
x
3
, con
1
,
3
k
. (3-54)
Por otro lado, tenemos las siguientes relaciones
x
1
(x
2
) = q(x
2
)x
1
(x
2
)x
3
= qx
3
(x
2
),
las cuales implican que (x
2
) =
2
x
2
+ x
1
x
3
, con
2
k
y k.
Considerando H como el subgrupo de automorsmos , tales que (x
1
) = x
1
, (x
2
) =
x
2
+x
1
x
3
y (x
3
) = x
3
, con k. Vemos que H es isomorfo a k como grupo aditivo y que
adem as H es normal en (k
)
3
, lo cual termina la demostracion.
Todos los resultados contenidos en esta seccion pueden consultarse en [1].

3.2. Automorsmos para el anillos de polinomios
cuanticos generico.
En esta secci on presentaremos los resultados obtenidos por V.A. Artamonov en [2] y [3] para
endomorsmos y automorsmos de polinomios cu anticos. Podran notar que la demostracion
del teorema 3.2.1 es un poco distinta a la presentada en [2], sin embargo guarda la misma
esencia, solo que se ha presentado de forma un tanto distinta.
Teorema 3.2.1 ([2]). Sea k un campo (no necesariamente de caracteristica 0) con un con-
junto de homomorsmos
1
, . . . ,
n
= id
k
. Supongase que r = 0 y los multiparametros q
ij
,
1 i < j n, n 3, son independientes en el grupo multiplicativo k
. Si es un endomor-
smo de y (x
1
), . . . , (x
n
) ,= 0 entonces es un automorsmo y Aut() = (k
)
n
.
Demostracion. Consideremos el orden lexicogr aco sobre N
n
0 y sobre el conjunto de
monomios de . Si (x
i
) y (x
j
) son no nulos, supongamos que ellos tienen monomio principal
i
x
l
1
1
x
ln
n
y
j
x
t
1
1
x
tn
n
, respectivamente. Como es un automorsmo, tenemos que
(x
i
)(x
j
) = q
ij
(x
j
)(x
i
). (3-55)
3.2 Automorsmos para el anillos de polinomios cuanticos generico. 27
Como es un dominio, entonces el monomio principal de (x
i
x
j
) es
(
i
x
l
1
1
x
ln
n
)(
j
x
t
1
1
x
tn
n
),
y por tanto
s<r
(q
rs
)
lrts
= q
ik
s<r
(q
rs
)
trls
. (3-56)
Como los q
ij
son independientes, suponiendo que i > j se debe cumplir que para r ,= s
l
r
t
s
=
ri
sj
+ t
r
l
s
. (3-57)
Si l
p
,= 0 para alg un p ,= i, j entonces tenemos que para cada ndice q ,= p
l
q
t
p
= t
q
l
p
,
y por lo tanto, t
q
= t
p
l
q
l
1
p
. En particular cuando q = i, j
t
i
= t
p
l
i
l
1
p
,
t
j
= t
p
l
j
l
1
p
,
as,
l
i
t
j
l
j
t
i
= l
i
t
p
l
j
l
1
p
l
j
t
p
l
i
l
1
p
= 0,
lo cual contradice (3-57). As, l
p
= 0 para p ,= i, j. Similarmente se prueba que t
p
= 0 si
p ,= i, j.
Por lo tanto, los coecientes principales de (x
i
) y (x
j
) tiene la forma
i
x
l
i
i
x
l
j
j
y
j
x
t
i
i
x
t
j
j
,
donde l
i
t
j
l
j
t
i
= 1.
Como por hipotesis existe una tercera variable x
u
tal que (x
u
) ,= 0. Aplicando el mismo
argumento a (i, u) y a (j, u) se tiene que l
j
, t
i
son cero y que el coeciente principal de (x
u
)
tiene la forma
u
x
d
i
i
x
du
u
=
u
x
d
j
j
x
du
u
, (3-58)
lo cual implica que d
i
= d
j
= 0.
Por lo tanto, l
i
t
j
= 1 y l
i
d
u
= 1, es decir, l
i
= t
j
= d
u
= 1, pues en este contexto r = 0.
Para esta seccion asumiremos que el anillo de la denicion 2.1.2 es un anillo generico.
ANTICOS.
Teorema 3.2.2 ([3]). Sea un anillo de polinomios cuanticos generico con r = n 2.
Entonces es un anillo simple.
Demostracion. Sea I un ideal bil atero en . Esc ojase en I un elemento no nulo
f =
a
l
1
,...,ln
x
l
1
1
x
ln
n
, l
1
, . . . , l
n
0, (3-59)
cuyo termino principal
a
s
1
,...,sn
x
s
1
1
x
sn
n
, a
s
1
,...,sn
D
, (3-60)
es minimal respecto al orden lexicogr aco de los ndices.
Sin perdida de generalidad, podemos suponer que s
1
> 0. Entonces,
x
2
fx
1
2
=
2
(a
l
1
,...,ln
)(q
21
x
1
)
l
1
(q
2n
x
n
)
ln
=
2
(a
l
1
,...,ln
)q
l
1
21
q
ln
2n
d
l
1
...,ln
x
l
1
1
x
ln
n
, (3-61)
donde d
l
1
,...,ln
N. Tomando
z =
2
(a
s
1
,...,sn
)q
s
1
21
q
sn
2n
d
s
1
,...,sn
a
1
s
1
,...,sn
D
. (3-62)
Entonces g = zf x
2
fx
1
2
I, y si g ,= 0, el termino principal de g es menor que el termino
principal de f, que es imposible. Por tanto, tenemos que
za
l
1
,...,ln
=
2
(a
l
1
,...,ln
)q
l
1
21
q
ln
2n
d
l
1
,...,ln
. (3-63)
Sup ongase que (l
1
, . . . , l
n
) < (s
1
, . . . , s
n
) con respecto al orden lexicogr aco y a
l
1
,...,ln
,= 0.
De (3-59) y (3-63)
2
(a
s
1
,...,sn
)q
s
1
21
q
sn
2n
d
s
1
,...,sn
a
1
s
1
,...,sn
a
l
1
,...,ln
=
2
(a
l
1
,...,ln
)q
l
1
21
q
ln
2n
d
l
1
,...,ln
, (3-64)
y por tanto en D
/N,
q
s
1
21
q
sn
2n
N = q
l
1
21
q
ln
2n
N. (3-65)
Ya que q
21
= q
1
12
, q
22
= 1 y q
12
, . . . q
2n
so independientes en D
/N, tenemos que s

1
= l
1
,
s
3
= l
3
, . . . , s
n
= l
n
. Similarmente, considerando la conjugacion por x
1
se obtiene que s
2
= l
2
.
As (l
1
, . . . , l
n
) = (s
1
, . . . , s
n
), lo que es una contradiccion.
Hemos probado entonces que f es un monomio. Sin embargo, como r = n y cada variable x
i
es invertible en , cada monomio es invertible en , y por lo tanto I = .
A continuacion presentaremos un resultado mucho mas general que el dado por el teore-
ma 3.2.1. Este resultado puede consultarse en [3], aunque su enunciado, al igual que su
demostraci on, han sido modicados un poco.
Teorema 3.2.3. Supongase que End() y que existen al menos tres ndices 1 i, j, t
n tal que (x
i
), (x
j
), (x
t
) ,= 0. Entonces existen elementos
1
, . . . ,
n
D y un entero
= 1 tal que
1
, . . . ,
r
,= 0, y
(x
w
) =
w
x
w
. (3-66)
Demostracion. Consideremos el orden lexicograco natural sobre el conjunto de ndices Z
n
y sobre el conjunto de monomios en las variables x
1
, x
2
, . . . , x
n
. Sean a
i
, i = 1, . . . , n, los
terminos m as peque nos (respectivamente los principales) de (x
i
).
Observe que el termino m as peque no (respectivamente, el principal) de un producto de
elementos en es igual al producto de los terminos m as peque nos (respectivamente, los
principales) de los factores. As tenemos que
a
i
a
j
= q
ij
a
j
a
i
. (3-67)
Si (x
i
), (x
j
) ,= 0,
a
i
= x
l
1
1
x
ln
n
y
a
j
= x
t
1
1
x
tn
n
, (3-68)
donde , D
.
Entonces se tiene que
a
i
a
j
= (
r>s
q
lrts
rs
) x
l
1
+t
1
1
x
ln+tn
n
, (3-69)
y
q
ij
a
j
a
i
= q
ij
((
r>s
q
trls
rs
)
)x
l
1
+t
1
1
x
ln+tn
n
. (3-70)
As
(
r>s
q
lrts
rs
) = q
ij
(
r>s
q
trls
rs
)
. (3-71)
Es decir,
r>s
q
lrts
rs
q
ij
r>s
q
trls
rs
(modN). (3-72)
Sup ongase que i > j. Ya que las im agenes de q
rs
, n r > s 1 son independientes en
D
/N, se tiene que para r ,= s

l
r
t
s
=
ri
sj
+ t
r
l
s
. (3-73)
ANTICOS.
Por ejemplo, si l
p
,= 0 y p ,= i, j, entonces para cada ndice q ,= p,
t
q
= t
p
l
s
l
1
p
. (3-74)
En particular, cuando q = i
t
i
= t
p
l
i
l
1
p
, (3-75)
y cuando q = j
t
j
= t
p
l
j
t
1
p
, (3-76)
De donde tenemos que
l
i
t
j
l
j
t
i
= l
i
t
p
l
j
l
1
p
l
j
t
p
l
i
l
1
p
= 0, (3-77)
lo cual es una contradicci on.
Tenemos entonces que l
p
= 0. Similarmente probamos que t
p
= 0 si p ,= i, j. Por lo tanto
a
i
= x
l
i
i
x
l
j
j
,
a
j
= x
t
i
i
x
t
j
j
, (3-78)
donde l
i
t
j
l
j
t
i
= 1.
Por hip otesis existe una tercera variable x
u
tal que (x
u
) ,= 0. Aplicando el argumento
anterior a (i, u) y a (j, u) se tiene que
a
u
= x
ru
u
x
r
i
i
= x
ru
u
x
r
j
j
. (3-79)
Finalmente, r
i
= r
j
= 0, y por tanto a
u
= x
ru
u
. Similarmente a
i
= x
l
i
i
y a
j
= x
t
j
j
, con
l
i
t
j
= 1, lo cual implica que l
i
= t
j
= = 1.
Aplicando el mismo argumento al termino principal de (x
i
) obtenemos un resultado similar
para alg un
= 1 para el termino principal. Si =
el teorema est a probado.

Supongamos que r = 0, entonces en este caso =
= 1 para todo (x
i
) ,= 0, con lo cual el
termino principal y el m as peque no son iguales.
Si r > 0, consideremos 1 i r, con lo cual (x
i
)
. Si = 1 y
= 1, entonces
(x
i
) =
i
x
1
i
+
i
(s)x
m
i1
(s)
i
x
m
in
(s)
n
+
i
x
i
, (3-80)
donde
i
,
i
(s),
i
D
, y la suma se hace sobre algunos de los ndices

(m
i1
(s), . . . , m
in
(s)) Z
n
. (3-81)
tales que
(0, . . . , 0,
i
..
1 , 0, . . . , 0) < (m
i1
(s), . . . , m
in
(s)) < (0, . . . , 0,
i
..
1 , 0, . . . , 0). (3-82)
Como
i
y
i
son invertibles, entonces (x
i
) no es invertible, lo que es una contradiccion.
Por lo tanto, =
Comentario 3.2.4. Si r < n y (x

i
) ,= 0 para alg un i > r, entonces en el teorema 3.2.3, = 1.
Ejemplo 3.2.5. A continuaci on se mostrara un endomorsmo del anillo polinomios cu anti-
cos, para el que r < n pero = 1.
Consideremos D = R (el campo de los n umeros reales), n = 4, r = 3 y
1
=
2
= =
n
= id
R
. Ademas, consideremos la siguiente matriz de multip arametros,
q =
_
_
_
_
_
1 2 3 5
1 7 11
1 13
1
_
_
_
_
_
. (3-83)
Podemos considerar el anillo de polinomios cu anticos
O
q
:= R
q
[x
1
1
, x
1
2
, x
1
3
, x
4
], (3-84)
el cual resulta generico.
Para construir un endomorsmo de O
q
, consideramos RX, la R algebra en el alfabeto
X = x
1
, x
2
, x
3
, x
4
, y
1
, y
2
, y
3
, y la funcion X

O
q
, tal que (x
i
) = x
1
i
, 1 i 3,
(y
i
) = x
i
, 1 i 3, y (x
4
) = 0. Entonces tenemos un homomorsmos de algebras
RX

O
q
con
(x
i
) = (x
i
) para 1 i 4 y
(y
i
) = (y
i
) para 1 i 3.
Observemos que, homomorsmo
satisface
(x
i
y
i
1) = x
1
i
x
i
1 = 1 1 = 0 (3-85)
(x
i
x
j
q
ij
x
j
x
i
) = 0 (3-86)
(x
i
y
j
q
1
ij
y
j
x
i
) = x
1
i
x
j
q
1
ij
x
j
x
1
i
= 0. (3-87)
ANTICOS.
Por otro lado, el algebra O
q

= RX/I, donde I = x
i
x
j
q
ij
x
j
x
i
, x
i
y
j
q
1
ij
y
j
x
i
, x
k
y
k
1 :
1 i 4, 1 k 3. As, hemos encontrado un homomorsmo
: RX O
q
tal que
(I) = 0. Entonces existe un homomorsmo : RX/I O

q
con (x
i
) =
(x
i
) para
1 i 4 y (y
i
) =
(y
i
) para i = 1, 2, 3. Es decir, encontramos un endomorsmo del anillo
de polinomios cu anticos O
q
donde = 1 y r < n.
Corolario 3.2.6. Si (x
r+1
), . . . , (x
n
) ,= 0, en la situacion del teorema 3.2.3, entonces
es un automorsmo de . En particular cualquier endomorsmo inyectivo de es un
automorsmo.
4 AUTOMORFISMOS PARA
EXTENSIONES PBW TORCIDAS.
4.1. Deniciones y propiedades
Denici on 4.1.1 (Extension PBW torcida). Sean R y A anillos, decimos que A es una
extensi on PBW torcida de R, si la siguientes condiciones se tienen:
(1) R A.
(2) Existe un n umero nito de elementos x
1
, x
2
, . . . , x
n
A, tales que A es un Rm odulo
libre a izquierda con base
Mon(A) := Monx
1
, x
2
, . . . , x
n
:= x
t
= x
t
1
x
tn
n
: t = (t
1
, t
2
, . . . , t
n
) N
n
.
(3) Para cada 1 i n y r R 0 existe c
ir
R 0 tal que
x
i
r c
ir
x
i
R.
(4) Para cada 1 i, j n existe c
ji
R 0 tal que
x
j
x
i
c
ji
x
i
x
j
R + Rx
i
+ + Rx
n
.
En esta situaci on escribimos A = (R)x
1
, x
2
, . . . , x
n
.
Proposicion 4.1.2. Sea A una extension PBW torcida de R. Entonces, para cada 1
i n, existe una endomorsmo de anillos inyectivo
i
: R R y una
i
derivacion
i
: R R tal que
x
i
r =
i
(r)x
i
+
i
(r),
para cada r R.
Demostracion. Vease [4].
34 4 AUTOMORFISMOS PARA EXTENSIONES PBW TORCIDAS.

Denici on 4.1.3. Sea A una extension PBW torcida.
(a) A es cuasi-conmutativa si las condiciones (3) y (4) de la denici on 4.1.1 son rempla-
zadas por
(3) Para cada 1 i n y r R 0 existe c
ir
R 0 tal que
x
i
r = c
ir
x
i
(4) Para cada 1 i, j n existe c
ij
R 0 tal que
x
i
x
j
= c
ij
x
j
x
i
.
(b) A es biyectiva si
i
son biyectivas para cada 1 i n y c
ij
es invertible para cada
1 i j n.
Por notaci on, si l = (l
1
, l
2
, . . . , l
n
) Z
n
, escribimos
l
1
1

l
2
2

ln
n
como
l
.
4.2. Reglas de conmutacion para extensiones PBW
torcidas cuasi-conmutativas.
Al igual que para los anillos polinomios cu anticos torcidos, como lo veremos en el captulo 5,
podemos establecer algunas reglas para multiplicar monomios en A, siempre que A sea una
extensi on cuasi-conmutativa de R y los c
ij
sean invertibles para 1 i, j n.
Sea A una extensi on PBW torcida de R, es claro que el conjunto de elementos invertibles
R
de R es un grupo multiplicativo. Denimos N como el subgrupo de R
generado por
el subgrupo derivado [R
, R
] de R
y los elementos de la forma z

1
i
(z) para z R
e
i = 1, . . . , n (donde los
i
est an dados por la proposici on 4.1.2). Notamos ademas que este
subgrupo es normal en R
y R
/N es un grupo abeliano.
Proposicion 4.2.1. Sea A una extension cuasi-conmutativa R con los c
ij
invertibles para
1 i, j n. Entonces se tiene que
(1) x
i
x
t
j
= c
ij
j
(c
ij
)
2
j
(c
ij
)
t1
j
(c
ij
)x
t
j
x
i
para t N.
(2)
n
i
(z) = zz
1
i
(z)
i
(z)
1
2
i
(z)
2
i
(z)
1

n1
i
(z)
1
n
i
(z) para todo n N y z R
, es
decir,
n
i
(z) = z d, donde d N.
(3)
x
i
x
t
j
= (c
t
ij
d)x
t
j
x
i
, (4-1)
para todo t N y alg un d N.
4.2 Reglas de conmutaci on para extensiones PBW torcidas cuasi-conmutativas. 35
(4)
x
t
i
x
s
j
= (c
ts
ij
d)x
s
j
x
t
i
, (4-2)
para alg un d N y todo t, s N.
(5)
(x
t
1
1
x
t
2
2
x
tn
n
)(x
s
1
1
x
s
2
2
x
sn
n
) = ([
i<j
c
t
j
s
i
ji
] d)x
t
1
+s
1
1
x
t
2
+s
2
2
x
tn+sn
n
, (4-3)
para todo t
1
, . . . , t
n
, s
1
, . . . , s
n
N y alg un d N.
Demostracion. (1) Sea t N, entonces
x
i
x
t
j
= c
ij
x
j
x
i
x
t1
j
= c
ij
x
j
c
ij
x
j
x
i
x
t2
j
= c
ij
j
(c
ij
)x
2
j
x
i
x
t2
j
.
.
.
.
.
.
= c
ij
j
(c
ij
)
t2
j
(c
ij
)x
t1
j
x
i
x
j
= c
ij
j
(c
ij
)
t2
j
(c
ij
)x
t1
j
c
ij
x
j
x
i
= c
ij
j
(c
ij
)
t2
j
(c
ij
)
t1
j
(c
ij
)x
t
j
x
i
(2) La demostracion de este hecho es inmediata dado que los
i
son inyectivos (proposici on
4.1.2) y que z es invertible. En efecto, como z R
y
i
es inyectivo, entonces
k
i
(z) ,= 0
para cada k N y por tanto
k
i
(z) R
, por lo cual podemos escribir

n
i
(z) como
n
i
(z) = zz
1
i
(z)
i
(z)
1
2
i
(z)
2
i
(z)
1

n1
i
(z)
1
n
i
(z). (4-4)
De lo anterior, deducimos inmediatamente que
n
i
(z) = z d, para alg un d N.
(3) Tenemos que
x
i
x
t
j
= c
ij
j
(c
ij
)
2
j
(c
ij
)
t2
j
(c
ij
)
t1
j
(c
ij
)x
t
j
x
i
.
Usando (1) y (2) se tiene que
c
ij
j
(c
ij
)
2
j
(c
ij
)
t1
j
(c
ij
) = c
ij
(c
ij
d
1
) (c
ij
d
2
) (c
ij
d
t1
),
para algunos d
i
N, 1 i t 1. Seg un la denicion de N y la conmutatividad de
R
/N se tiene que
c
ij
j
(c
ij
)
2
j
(c
ij
)
t1
j
(c
ij
) c
t
ij
m od(N), (4-5)
con lo cual c
ij
j
(c
ij
)
2
j
(c
ij
)
t1
j
(c
ij
) = c
t
ij
d, para alg un d N. Por lo tanto,
x
i
x
t
j
= (c
t
ij
d)x
t
j
x
i
para alg un d N.
(4) Sean s, t N, entonces
x
t
i
x
s
j
= x
t1
i
(c
s
ij
d
)x
s
j
x
i
=
t1
i
(c
s
ij
d
)x
t1
i
x
s
j
x
i
=
t1
i
(c
s
ij
d
)x
t2
i
(c
s
ij
d
)x
s
j
x
2
i
=
t1
i
(c
s
ij
d
)
t2
i
(c
s
ij
d
)x
t2
i
x
s
j
x
2
i
.
.
.
.
.
.
=
t1
i
(c
s
ij
d
)
t2
i
(c
s
ij
d
)
i
(c
s
ij
d
)x
i
x
s
j
x
t1
i
=
t1
i
(c
s
ij
d
)
t2
i
(c
s
ij
d
)
i
(c
s
ij
d
)(c
s
ij
d
)x
s
j
x
t
i
,
con d
N.
Usando (2) tenemos que
t1
i
(c
s
ij
d
)
t2
i
(c
s
ij
d
)
i
(c
s
ij
d
)(c
s
ij
d
) = (c
s
ij
d
t1
)(c
s
ij
d
t2
) (c
s
ij
d
1
)(c
s
ij
d
0
),
para algunos d
i
N con i = 0, . . . , t 1. Por lo tanto,
t1
i
(c
s
ij
d
)
t2
i
(c
s
ij
d
)
i
(c
s
ij
d
)(c
s
ij
d
) c
st
ij
m od(N),
y as
x
t
i
x
s
j
= (c
ts
ij
d)x
s
j
x
t
i
, (4-6)
para alg un d N.
(5) La demostracion de este hecho se obtiene usando (2), (3), (4) y las propiedades de N.
4.3. Automorsmos para extensiones PBW torcidas.

Sea A una extension PBW torcida de R, entendemos End(A) como los endomorsmos del
anillo A que dejan jo los elementos de R y Aut(A) es el conjunto de elementos invertibles
de End(A).
Denici on 4.3.1. Sea A una extensi on PBW torcida de R con c
ij
invertibles para 1
i, j n. Diremos que A es una extension PBW torcida generica o general si los c
ij
,
1 i < j n, son independientes en R
/N.
Cuando no haya lugar a confusion nos referiremos a este tipo de extensiones simplemente
como una extension generica o general.
4.3 Automorsmos para extensiones PBW torcidas. 37
Teorema 4.3.2. Sean A = (R)x
1
, . . . , x
n
, una extension cuasi-conmutativa generica y
End(A). Si x
i
es tal que (x
i
) ,= 0, el coeciente principal (seg un el orden lexicograco)
de (x
i
) es invertible, y existen al menos tres ndices i, j, u para los que esto sucede, entonces
existen
1
, . . . ,
n
R tales que (x
w
) =
w
x
w
, para w = 1, . . . , n.
Demostracion. Consideremos el orden lexicograco para los exponentes de los monomios
en A. Supongamos que (x
i
) y (x
j
) son no nulos, y que ellos tienen monomio principal
i
x
l
1
1
x
ln
n
y
j
x
t
1
1
x
tn
n
respectivamente. Como los coecientes principales de (x
i
) y (x
j
)
son invertibles, sabemos que el coeciente principal del producto es igual al producto de los
coecientes principales. Por otro lado, sabemos que x
i
x
j
= c
ij
x
j
x
i
, por lo cual, (x
i
x
j
) =
c
ij
(x
j
x
i
), es decir (x
i
)(x
j
) = c
ij
(x
j
)(x
i
). El monomio principal del termino de la
derecha debe ser igual al monomio principal del termino de la izquierda, es decir
(
i
x
l
1
1
x
ln
n
)(
j
x
t
1
1
x
tn
n
) = c
ij
(
j
x
t
1
1
x
tn
n
)(
i
x
l
1
1
x
ln
n
). (4-7)
As,
l
(
j
)(x
l
1
1
x
ln
n
)(x
t
1
1
x
tn
n
) = c
ij
t
(
i
)(x
t
1
1
x
tn
n
)(x
l
1
1
x
ln
n
),
donde l = (l
1
, l
2
, . . . , l
n
) y t = (t
1
, t
2
, . . . , t
n
).
Usando la propiedad (5) de la proposici on 4.2.1 obtenemos que
l
(
j
)(
s<r
c
lrts
rs
d)x
l
1
+t
1
1
x
l
2
+t
2
2
x
ln+tn
n
= c
ij
t
(
i
)(
s<r
c
trls
rs
d
)x
l
1
+t
1
1
x
l
2
+t
2
2
x
ln+tn
n
.
Usando la representacion unica de los elementos de A, y la propiedad (2) de la proposici on
4.2.1, se obtiene
j
(
s<r
c
lrts
rs
) c
ij
j
(
s<r
c
trls
rs
) m od(N). (4-8)
Dado que A es una extensi on generica y suponiendo que i > j, se debe cumplir que
l
r
t
s
=
ri
sj
+ t
r
l
s
. (4-9)
Si l
p
,= 0 para alg un p ,= i, j entonces tenemos que para cada ndice q ,= p
l
q
t
p
= t
q
l
p
,
y por lo tanto, t
q
= t
p
l
q
l
1
p
. En particular, cuando q = i, j
t
i
= t
p
l
i
l
1
p
,
t
j
= t
p
l
j
l
1
p
,
as
l
i
t
j
l
j
t
i
= l
i
t
p
l
j
l
1
p
l
j
t
p
l
i
l
1
p
= 0,
lo cual contradice (4-9). As l
p
= 0 para p ,= i, j. Similarmente se prueba que t
p
= 0 si p ,= i, j.
Por lo tanto, los coecientes principales de (x
i
) y (x
j
) tiene la forma
i
x
l
i
i
x
l
j
j
y
j
x
t
i
i
x
t
j
j
,
donde l
i
t
j
l
j
t
i
= 1.
Como por hipotesis existe una tercera variable x
u
tal que (x
u
) ,= 0. Aplicando el mismo
argumento a (i, u) y a (j, u) se tiene que l
j
, t
i
son cero y que el coeciente principal de (x
u
)
tiene la forma
u
x
d
i
i
x
du
u
=
u
x
d
j
j
x
du
u
, (4-10)
lo cual implica que d
i
= d
j
= 0.
Por lo tanto l
i
t
j
= 1 y l
i
d
u
= 1, es decir, l
i
= t
j
= d
u
= 1.
Luego para cada 1 i n, (x
i
) =
i
x
i
, con
i
invertible.
Corolario 4.3.3. Si A es una extension PBW torcida de R y End(A) son como en

el teorema 4.3.2 y cada (x
i
) ,= 0, 1 i n, entonces es un automorsmo de A. En
particular, si es un homomorsmo de anillos inyectivo, es un automorsmo.
Demostracion. Observemos que
(x
l
1
1
x
l
2
2
x
ln
n
) = (x
1
)
l
1
(x
2
)
l
2
(x
n
)
ln
= (
1
x
1
)
l
1
(
2
x
2
)
l
2
(
n
x
n
)
ln
.
(4-11)
Usando la propiedad (2) de la proposici on 4.2.1 y las propiedades de N, se tiene que
(x
l
1
1
x
l
2
2
x
ln
n
) = (
l
1
1
u
1
x
l
1
1
)(
l
2
2
u
2
x
l
2
2
) (
ln
n
u
n
x
ln
n
),
para algunos u
i
N e i = 1, . . . , n.
Aplicando las propiedades de conmutacion y de N, as como la propiedad (2) de la proposicion
4.2.1, llegamos a que
(x
l
1
1
x
l
2
2
x
ln
n
) = (
l
k
k
) u x
l
1
1
x
ln
n
, (4-12)
para alg un u N.
Como por hip otesis cada
i
R
y N R
, entonces (
l
k
k
) u R
, y por tanto podemos

considerar (x
l
1
1
x
ln
n
) = d x
l
1
1
x
l
2
2
x
ln
n
, para alg un d R
.
Si (
lN
n
a
l
x
l
) = 0 entones
lN
n
a
l
d
l
x
l
= 0, donde d
l
es invertible. Dada la representacion
unica de cada elemento de A se concluye que cada a
l
d
l
= 0 para l N
n
. Como cada d
l
es
invertible, entonces a
l
= 0 para cada l, es decir,
lN
n
a
l
x
l
= 0, lo cual prueba la inyectividad
de .
Similarmente, si p =
lN
n
a
l
x
l
entonces p
lN
n
a
l
d
1
l
x
l
satisface (p
) = p, lo cual prueba la
sobreyectividad de .
Note que todo endomorsmo considerado en el teorema 4.3.2 es un endomorsmo ltrado.

En particular, cuando D es un anillo de division, todo endomorsmo de es ltrado.
Comentario 4.3.4. Observemos que si A es una extensi on PBW torcida cuasiconmuta-
tiva generica de R, no existen endomorsmos tal que (x
i
), (x
j
) R
. En efecto, si
(x
i
) = a y (x
j
) = b, con a, b R
, entonces se debe cumplir que ab = c

ij
ba, con lo
cual, c
ij
= aba
1
b
1
[R
, R
] N, y por tanto A no sera generica.

Por otro lado, no existe endomorsmo de una extensi on generica tal que (x
i
) = a R
y
(x
j
) tenga coeciente principal invertible, para alg un i, j. De lo contrario, tendramos que
a
j
x
t
= c
ij
j
x
t
a,
donde
j
x
t
es el termino principal de (x
j
), lo cual nos lleva a que
a
j
x
t
= c
ij
t
(a)x
t
, (4-13)
dada la representacion unica de los elementos en A y las propiedades de conmutaci on mos-
tradas en esta seccion, se tiene que a
j
= c
ij

j
a d, con d N. Luego c
ij
1 m od(N),
lo cual es una contradicci on.
Denici on 4.3.5. ([9]) Sea A una extensi on PBW torcida de R con endomorsmos
i
,
1 i n, como en la proposicion 4.1.2.
(1) Para = (
1
, . . . ,
n
) N
n
, [[ :=
1
+ +
n
. Si = (
1
, . . . ,
n
) N
n
, entonces
+ := (
1
+
1
, . . . ,
n
+
n
).
(2) Para X = x
Mon(A), exp(x
) := y deg(x
) := [[.
(3) Sea 0 ,= f A, t(f) es el conjunto nito de terminos que conforman f, es decir, si f =
c
1
X
1
+ +c
t
X
t
, con X
i
Mon(A) y c
i
R0, entonces t(f) := c
1
X
1
, , c
t
X
t
.
(4) Sea f como en (3), entonces deg(f) := maxdeg(X
i
)
t
i=1
.
Teorema 4.3.6. Sea A una extension PBW torcida de un anillo R. Entonces, A es un
anillo ltrado con ltracion dada por
F
m
:=
_
R, si m = 0,
f A : deg(f) m, si m 1
(4-14)
y el correspondiente anillo graduado Gr(A) es una extension PBW torcida cuasi-conmutativa
de R. Ademas, si A es biyectiva, entonces Gr(A) es una extension PBW torcida cuasi-
conmutativa biyectiva.
Demostracion. vease [10] o [9].
Proposicion 4.3.7. Sean A y B anillos ltrados, con ltracion F

p
(A)
pZ
y F
p
(B)
pZ
.
Sea f : A B, un homomorsmo ltrado. Entonces,
(1) f induce un homomorsmo graduado
Gr(A) Gr(B). (4-15)
(2) Su f es inyectivo y estricto, es decir, para cada p Z, f(F
p
(A)) Im(f) F
p
(B),
entonces Gr(f) es inyectivo. Ademas, si la ltracion es positiva, el recproco es valido.
(3) Si f es sobreyectivo y estricto, entonces Gr(f) es sobreyectivo. Ademas, si la ltracion
es positiva, el recproco es valido.
Demostracion. (1) Como f es un homomorsmo ltrado, entonces f(F
p
(A)) F
p
(B) para
cada p Z, y se induce la funci on
Gr(A)
p
= F
p
(A)/F
p1
(A)
Gr(f)p
F
p
(B)/F
p1
(B) = Gr(B)
p
,
m
p
f(m
p
), (4-16)
con m
p
:= m
p
+ F
p1
(A), m
p
F
p
(A) y f(m
p
) := f(m
p
) + F
p1
(B).
Notamos que Gr(f)
p
est a bien denida y es un homomorsmo de grupos abelianos.
Realizamos la suma directa externa de estos homomorsmos y obtenemos el homomor-
smo de grupos abelianos
Gr(f) : Gr(A) Gr(B)
(m
p
)
pZ
(f(m
p
))
pZ
. (4-17)
Resta ver que Gr(f) es un homomorsmos de anillos: Como Gr(f)(Gr(A)
p
) = Gr(f)
p
(Gr(A)
p
)
Gr(B)
p
, y adem as Gr(f)(a
p
b
p
) = f(a
p
b
p
) = Gr(f)(a
p
)Gr(f)(b
p
).
La demostraci on de (2) y (3) son analogas a la demostraci on presentada en [8] para la
proposici on 2.2.11, dado que para esta demostraci on solo se hace uso de las propiedades de
la ltracion y de la estructura de grupo.
Teorema 4.3.8. Sean A una extension PBW torcida de R y un endomorsmo ltrado

de A, tales que
(1) A es generica,
(2) para cada (x
i
) ,= 0, (x
i
) / F
0
(A), el coeciente principal (seg un el orden lexicogra-
co) es invertible, y existe al menos tres ndices i, j, u para los que esto sucede.
Entonces existen
1
, . . . ,
n
y a
1
, a
2
, . . . , a
n
en R, tal que (x
w
) = a
w
+
w
x
w
, para w =
1, . . . , n.
Demostracion. Como es un homomosmo ltrado, se induce un homomorsmo Gr() :
Gr(A) Gr(A). Observamos que Gr()(x
i
+ F
0
) = (x
i
) + F
0
,= 0, para aquellos x
i
tales
que (x
i
) ,= 0. Luego todas las hip otesis del teorema 4.3.2 se cumplen para Gr(A) y Gr(),
por lo que Gr()(x
i
) =
i
x
i
+ F
0
para alg un
i
R
.
Finalmente, como (x
i
) +F
0
=
i
x
i
+F
0
, entonces (x
i
) =
i
x
i
+a
i
, para alg un a
i
F
0
= R
y para todo i = 1, . . . , n.
Corolario 4.3.9. Si A es una extension PBW torcida de R y End(A) son como en el

teorema 4.3.8 y cada (x
i
) ,= 0, 1 i n, entonces es un automorsmo de A.
Demostracion. Como Gr()(x
i
+ F
0
) ,= 0 para todo i, el corolario 4.3.3 asegura que Gr()
es un automorsmos para Gr(A). Dado que la ltracion es positiva, entonces es un auto-
morsmo estricto de A, seg un la proposicion 4.3.7.
Adem as, (x
i
) = a
i
+
i
x
i
para cada 1 i n, donde
1
, . . . ,
n
R
y a
1
, . . . , a
n
R.
Observemos qu cuando es un endomorsmo inyectivo, podemos omitir la condicion (x

i
) /
F
0
(A), ya que de lo contrario no sera inyectivo.
Corolario 4.3.10. Si A es una extension PBW torcida generica de R con n 3, y un
endomorsmo inyectivo ltrado tal que el coeciente principal de (x
i
) es invertible para
cada i = 1, . . . , n. Entonces es un automorsmo.
4.4. Automorsmos para extensiones PBW torcidas sobre
dominios de Ore a izquierda.
En esta secci on caracterizaremos el grupo de automorsmos de una extensi on PBW torcida
de un anillo R, que ademas es un dominio de Ore a izquierda. Para ello consideremos los
siguientes resultados que pueden consultarse en [9].
Teorema 4.4.1 ([9]). Sea A una extension PBW torcida cuasi-conmutativa de R. Entonces
(1) A es isomorfo a un anillo de polinomios torcidos iterados de tipo endomorsmo.
(2) Si A es biyectiva, entonces cada endomorsmos es biyectivo.
Para la demostracion del teorema anterior, se establece un isomorsmo de anillos con el
anillo de polinomios iterados B := R[z
1
;
1
] [z
n
;
n
], donde
_
1
=
1
,
j
: R[z
1
;
1
] [z
j1
;
j1
] R[z
1
;
1
] [z
j1
;
j1
],
j
(z
i
) = c
ji
z
i
para 1 i < j n,
j
(r) =
j
(r) para r R,
(4-18)
donde los
i
son dados por la proposici on 4.1.2.
Teorema 4.4.2 ([9]). Sea R un anillo y S R un subconjunto multiplicativo tal que
(1) S
1
R existe,
(2) (S) S.
Entonces S
1
(R[x; , ])

= (S
1
R[x; , ]), con
S
1
R

S
1
R
a
s

(a)
(s)
(4-19)
y
S
1
R

S
1
R
a
s

(s)
(s)
a
s
+
(a)
(s)
. (4-20)
Seg un la demostraci on presentada en [9], el homomorsmo de anillos : R[x; , ]
S
1
R[x; , ], en la propiedad universal para el anillo de fracciones del conjunto multiplicativo
S, esta dado por (
i
a
i
x
i
) =
i
a
i
1
x
i
.
4.4 Automorsmos para extensiones PBW torcidas sobre dominios de Ore a izquierda.43
Corolario 4.4.3 ([9]). Sea R un anillo, S R un subconjunto multiplicativo, y
A := R[x
1
,
1
,
1
] [x
n
,
n
,
n
],
un anillo de polinomios iterados tal que
(1) S
1
R existe,
(2)
i
(S) S para cada 1 i n.
Entonces
S
1
A

= (S
1
R)[x
1
;
1
,
1
] [x
n
;
n
,
n
], (4-21)
con
S
1
R

i
S
1
R
a
s

i
(a)
i
(s)
(4-22)
y
S
1
R

i
S
1
R
a
s

i
(s)
i
(s)
a
s
+

i
(a)
i
(s)
. (4-23)
Aplicando de forma iterada el resultado y la construccion hecha en el teorema 4.4.2 (vease
[9]), llegamos a que la funci on : A (S
1
R)[x
1
;
1
,
1
] [x
n
;
n
,
n
], en la propiedad
universal para el anillo de fracciones de A respecto a S esta dado por (
t
a
t
x
t
) =
t
at
1
x
t
.
Proposicion 4.4.4. Sea A = R[x
1
,
1
] [x
n
,
n
] un anillo de polinomios torcidos iterados
de tipo endomorsmo, donde
i
[
R
es un endomorsmo inyectivo de R para 1 i n , y
i
(x
j
) = c
ij
x
j
, para cada 1 j < i n con c
ij
invertible a izquierda. Entonces A es una
extension PBW torcida cuasi-conmutativa de R con endomorsmos
i
=
i
[
R
.
Demostracion. La demostracion se hara usando induccion sobre n.
Cuando n = 1, tenemos que A = R[x
1
,
1
] es una extensi on cuasi-conmutativa de R (vease
[9]).
Supongamos que A
= R[x
1
,
1
] [x
n1
,
n1
] es una extensi on PBW torcida cuasi-conmutativa
de R, y consideremos A = R[x
1
;
1
] [x
n
;
n
] = A
[x
n
;
n
] que es una extensi on PBW tor-
cida cuasi-conmutativa de A
. Luego
(1) R A
A.
(2) Todo elemento p de A se puede escribir como
p =
n
j=0
a
j
x
j
n
, (4-24)
con a
j
A
, pues A es una extensi on PBW torcida de A
.
Por hip otesis de inducci on, a
j
=
l
a
jl
x
l
, con a
jl
R y l = (l
1
, . . . , l
n1
).
Luego
p =
n
j=0
l
a
jl
x
l
x
j
n
, (4-25)
por lo cual, cada elemento p A puede representarse como combinaci on lineal de
Mon(A) := Monx
1
, x
2
, . . . , x
n
.
Veamos que Mon(A) es una Rbase para A. Supongamos que 0 =
t
a
t
x
t
con t =
(t
1
, . . . , t
n
) N
n
y a
t
R, entonces se tiene que
0 =
s
i=0
{t:tn=i}
a
t
x
t
, donde s es el mayor exponente que aparece para x
n
=
s
i=0
{t:tn=i}
a
t
x
t
1
1
x
tn
n
=
s
i=0
(
{t:tn=i}
a
t
x
t
1
1
x
t
n1
n1
)x
i
n
.
Como A = (A
)x
n
,
{t:tn=i}
a
t
x
t
1
1
x
t
n1
n1
A
, y la representacion de cero es unica

considerando A como A
m odulo, se tiene que
{t:tn=i}
a
t
x
t
1
1
x
t
n1
n1
= 0 para cada i.
Finalmente, como A
= (R)x
1
, . . . , x
n1
entonces
{t:tn=i}
a
t
x
t
1
1
x
t
n1
n1
= 0 implica
que cada a
t
= 0, con lo cual hemos probado que cero tiene representaci on unica como
Rm odulo en los generadores Mon(A). Por lo tanto, Mon(A) es una Rbase para A.
(3) Si r R 0 entonces x
i
r =
i
(r)x
i
, pero por hipotesis sabemos que
i
(r) R 0,
ya que
i
es inyectivo en R. Luego existe c
ir
:=
i
(r) tal que x
i
r c
ir
x
i
= 0 R.
(4) Si j < i, x
i
x
j
=
i
(x
j
)x
i
= c
ij
x
j
x
i
, como adicionalmente, c
ij
es invertible a izquier-
da, entonces c
ji
x
i
x
j
= x
j
x
i
, donde c
ji
es el inverso a izquierda de c
ij
. Luego hemos
encontrado c
ij
R no nulo, tal que x
i
x
j
c
ij
x
j
x
i
= 0 R + Rx
1
+ + Rx
n
.
As tenemos que A es una extensi on PBW torcida cuasi-conmutativa de R.
Finalmente, observemos que x
i
r =
i
(r)x
i
para todo i, lo cual nos dice, dada la representacion
unica de los elementos de A, que
i
(r) =
i
(r) para todo r R.
Teorema 4.4.5. Sea A una extension PBW torcida cuasi-conmutativa de un dominio de

Ore a izquierda R con endomorsmos
i
dados en la proposicion 4.1.2. Entonces para S =
R 0, S
1
A

= (S
1
R)x
1
, . . . , x
n
es una extension cuasi-conmutativa de S
1
R, donde
los
i
para (S
1
R)x
1
, . . . , x
n
, son tales que
i
: S
1
R S
1
R
a
s

i
(a)
i
(s)
, (4-26)
y : A S
1
A de la denicion del anillo de fracciones a izquierda es tal que
(
t
a
t
x
t
) =
t
a
t
1
x
t
, (4-27)
para todo
t
a
t
x
t
A.
Demostracion. Como R es un dominio de Ore a izquierda, entonces S := R 0 es un
sistema multiplicativo de R, y por tanto, de A.
Como A es cuasi-conmutativa entonces seg un el teorema 4.4.1, A

= R[x
1
;
1
] [x
n
;
n
], tal
que
_
1
=
1
,
j
: R[x
1
;
1
] [x
j1
;
j1
] R[x
1
;
1
] [x
j1
;
j1
],
j
(x
i
) = c
ji
x
i
para 1 i < j n,
j
(r) =
j
(r) para r R,
(4-28)
donde los
i
son dados por la proposici on 4.1.2.
Por otro lado, observemos que para todo r S,
i
(r) =
i
(r) S. As, seg un el teorema
4.4.2 y el corolario 4.4.3, podemos considerar
S
1
(R[x
1
;
1
] [x
n
;
n
])

= (S
1
R)[x
1
;
1
] [x
n
;
n
],
con
S
1
R

i
S
1
R
a
s

i
(a)
i
(s)
=

i
(a)
i
(s)
.
Observemos que
i
(
a
s
) =

i
(a)
i
(s)
=

i
(a)
i
(s)
=
i
(
a
s
) para cada (
a
s
) S
1
R, donde
i
esta dado por
la propiedad universal de S
1
R con homomorsmo
.
R S
1
R
R
S
1
R
?
i
-
p
p
p
p
p
p
p
p
p
p
p
p
p
p
p
p
p
p
i
?
(4-29)
Tenemos que
i
es inyectivo ya que
es inyectivo, pues R no tiene divisores de cero y

i
es
inyectivo. Luego se tiene que
i
es inyectivo en S
1
R. Por otro lado, seg un el corolario 4.4.3
se tiene que
i
(x
j
) =
c
ij
1
x
j
.
En consecuencia, tenemos un anillo de polinomios iterados de tipo endomorsmos
(S
1
R)[x
1
;
1
] [x
n
;
n
],
de tal forma que
i
es un endomorsmo inyectivo de S
1
R para 1 i n. Por lo tanto,
usando el teorema 4.4.4, (S
1
R)[x
1
;
1
] [x
n
;
n
] es una extension PBW torcida cuasi-
conmutativa de la forma (S
1
R)x
1
, . . . , x
n
, con endomorsmos
i
.
Finalmente, (S
1
R)x
1
, . . . , x
n
= (S
1
R)[x
1
;
1
] [x
n
;
n
]

= S
1
(R[x
1
;
1
] [x
n
;
n
])

=
S
1
A, en donde esta dada para este caso en la demostraci on del teorema 4.4.2 y coincide
con la dada en este teorema.
En los siguientes resultados se asumira que S

1
A es una extensi on PBW torcida generica.
Teorema 4.4.6. Sean A una extension cuasi-conmutativa generica de un dominio de Ore
a izquierda R y End(A), tales que existen al menos tres ndices i, j, t, con (x
i
),(x
j
),
(x
t
) ,= 0. Entonces existen
1
,
2
, . . . ,
n
R tales que (x
w
) =
w
x
w
, para todo 1 w n.
Demostracion. Consideremos el sistema multiplicativo S := R 0, entonces S
1
R existe,
y seg un el teorema 4.4.5 podemos considerar S
1
A. Sea End(A), entonces podemos
encontrar End(S
1
A) usando propiedad universal para S
1
A, p ues (S) = S (S
1
A)
,
de la siguiente forma
A S
1
A
A
S
1
A
?
p
p
p
p
p
p
p
p
p
p
p
p
p
p
p
p
p
p
, (4-30)
donde satisface = .
Por otro lado, notemos que es inyectivo, pues S no tiene divisores de cero en A, por lo
cual, podemos considerar A S
1
A. Entonces, suponiendo que (x
i
) =
a
it
x
t
para cada
1 i n, se tiene que (x
i
) = ((x
i
)) =
a
it
1
x
t
.
De lo anterior, si (x
i
) = 0, entonces
t
a
it
1
x
t
= 0, lo cual quiere decir que (a
it
) =
a
it
1
= 0
para todo t N
n
. Dada la inyectividad de , se concluye que a
it
= 0 para todo t N
n
, y
por tanto (x
i
) =
a
it
x
t
= 0.
Luego, existen al menos tres ndices i, j, t, tales que (x
i
), (x
j
), (x
t
) ,= 0, y como S
1
A
es una extensi on cuasi-conmutativa generica de S
1
R (seg un el teorema 4.4.5), usando el
mismo razonamiento que en el teorema 4.3.2, (x
i
) =
a
i
1
x
i
para cada 1 i n.
En efecto, S
1
A es una extension cuasi-conmutativa de S
1
R, en donde los elementos no
nulos de R son invertibles, y por hip otesis los c
ij
con 1 i < j n son independientes
en S
1
A. Entonces, las hip otesis del teorema 4.3.2 se satisfacen para S
1
A y , por lo cual
existen
1
, . . . ,
n
S
1
R, tales que (x
w
) =
w
x
w
para w = 1, . . . , n. Por otro lado, tenemos
tambien que (x
w
) =
awt
1
x
t
, luego comparando ambas escritura, y dada la representacion
unica de los elementos de S
1
A, se tiene que (a
wt
) =
awt
1
= 0 si t ,= w, y (a
ww
) =
aww
1
=
w
,
donde w se entiende, en este caso como (0, 0, . . . ,
w
..
1 , . . . , 0). Dado que es inyectivo,
concluimos que a
tw
= 0 para t ,= w, y por lo tanto (x
w
) = a
w
x
w
para cada w = 1, . . . , n.
Corolario 4.4.7. Si A y End(A) son como en el teorema 4.4.6 y es inyectivo, entonces

existen
i
R 0, 1 i n, tal que
(x
w
) =
w
x
w
para cada w = 1, . . . n. (4-31)
En particular, si Aut(A) entonces tiene la forma (4-31).
Comentario 4.4.8. Cu ando Aut(A), se puede concluir adem as, que
w
R
para cada
i = 1, . . . , n.
Corolario 4.4.9. Si A es una extension PBW torcida generica de un dominio de Ore a
izquierda R, y es un endomorsmo ltrado, tal que si (x
i
) ,= 0, (x
i
) / F
0
(A), entonces
existen a
1
, . . . , a
n
,
1
, . . . ,
n
R tal que
(x
i
) = a
i
+
i
x
i
, 1 i n. (4-32)
En particular, si es inyectiva,
1
,
2
, . . . ,
n
R 0.
4.5. Ejemplos y consideraciones.
Como un hecho interesante, note que los Corolarios 4.3.3 y 4.3.9 nos recuerdan la Conjetura
de Dixmier para algebras de Weyl. La conjetura generalizada de Dixmier establece que todo
endomorsmo del algebra de Weyl A
n
(k) es un automorsmo (Vease [11], [12]).
De otra parte, a continuaci on presentamos un listado de ejemplos para los cuales se podran
aplicar los resultados de este captulo:
(1) Anillos de polinomios torcidos iterados R[x
1
;
1
,
1
] [x
n
;
n
,
n
] bajo las siguientes
condiciones:
(1) Para 1 i n,
i
es biyectivo.
(2) Para cada r R y 1 i n,
i
(r),
i
(r) R.
(3) Para i < j,
j
(x
i
) = cx
i
+ d, con c, d R y c invertible.
(4) Para i < j,
j
(x
i
) R + Rx
1
+ Rx
n
.
En particular,
Polinomios cu anticos torcidos con r = 0.
(2) Anillos de polinomios torcidos iterados de tipo endomorsmo bajo las consideraciones
de la proposici on 4.4.4 con par ametros invertibles.
(3)

Algebras de difusi on: Un algebra de difusi on / es generada por D
i
, x
i
: 1 i n
sobre k con relaciones
x
i
x
j
= x
j
x
i
1 i, j n,
x
i
D
j
= D
j
x
i
1 i, j n,
c
ij
D
i
D
j
c
ji
D
j
D
i
= x
j
D
i
x
i
D
j
, i < j, c
ij
, c
ji
k
. (4-33)
En este caso, /

= (k[x
1
, . . . , x
n
])D
1
, . . . , D
n
.
4.5 Ejemplos y consideraciones. 49
(4) Dentro de las algebra cu anticas encontramos los siguientes casos:
Analogo multiplicativo de las algebras de Weyl. En este caso, la k algebra
O
n
(
ij
) es generada por x
1
, . . . , x
n
sujeta a las siguientes relaciones
x
j
x
i
=
ji
x
i
x
j
, 1 i < j n,
donde
ji
k 0. Notamos que
O
n
(
ij
)

= (k)x
1
, . . . , x
n

= (k[x
1
])x
2
, . . . , x
n
.
Algebras de polinomios torcidos 3-dimensionales /. Estas algebras est an

dadas por las relaciones
yz zy = , zx xz = , xy yz = ,
tales que , , k+kx+ky+kz, y , , k0; as /

= (k)x, y, z. Seg un
[10], hay quince algebras de polinomios torcidos 3-dimensionales no isomorfas.
El algebra de operadores diferenciales D
q
(S
q
) sobre un espacios cuantico
S
q
. Sea k un anillo conmutativo, y sea q = (q
ij
) una matriz con entradas en k
tal
que q
ii
= 1 = q
ij
q
ji
para todo 1 i, j n. Entonces la k algebra S
q
es generada
por los x
i
, 1 i n, sujeta a las siguientes relaciones
x
i
x
j
= q
ij
x
j
x
i
.
El algebra D
q
(S
q
) de operadores qdiferenciales sobre S
q
es denida por
i
x
j
q
ij
x
j
i
=
ij
para cada i, j.
Las relaciones entre los
i
son dadas por
j
= q
ij
i
para cada i, j.
Por lo tanto, D
q
(S
q
)

= ((k)x
1
, . . . , x
n
)
1
, . . . ,
n
.
Todos los ejemplos de extensiones PBW torcidas aqu mencionados, as como muchos otros,
pueden consultarse en [10].
5 AUTOMORFISMOS PARA
POLINOMIOS CU
ANTICOS
TORCIDOS.
5.1. Denicion
Denici on 5.1.1 (Anillo de polinomios cuanticos torcidos). Sea R un anillo con una
matriz ja de par ametros q := (q
ij
) M
n
(R), n 2, tal que q
ii
= 1 = q
ij
q
ji
= q
ji
q
ij
para cada
1 i, j n, y sup ongase tambien un sistema de automorsmos de R,
1
, . . . ,
n
. El anillo
de polinomios cu anticos torcidos sobre R, notado por O
q,
o R
q,
[x
1
1
, . . . , x
1
r
, x
r+1
, . . . , x
n
],
es denido como sigue:
(1) R R
q,
[x
1
1
, . . . , x
1
r
, x
r+1
, . . . , x
n
].
(2) R
q,
[x
1
1
, . . . , x
1
r
, x
r+1
, . . . , x
n
] es un Rm odulo libre a izquierda con base
x
l
1
1
x
ln
n
: l
i
Z para 1 i r y l
i
N para r + 1 i n.
(3) Los elementos x
1
, . . . , x
n
satisfacen las siguientes relaciones
x
i
x
1
i
= 1 = x
1
i
x
i
, 1 i r, (5-1)
x
i
x
j
= q
ij
x
j
x
i
, 1 i, j n, (5-2)
x
i
r =
i
(r)x
i
, r R, 1 i n. (5-3)
Los anillos de polinomios cu anticos torcidos introducidos por Lezama son una generalizacion
de los anillos de polinomios cu anticos trabajados por Artamonov (vease [3]), ya que en la
denici on 5.1.1 se asume que R puede ser un anillo cualquiera, mientras que en [3] se supone
que el anillo de coecientes R es por lo menos un anillo de division.
Cuando todos los automorsmos son triviales, escribimos R
q
[x
1
1
, . . . , x
1
r
, x
r+1
, . . . , x
n
], y
este anillo es llamado el anillo de polinomios cuanticos sobre R. Si R = k es un campo,
entonces k
q,
[x
1
1
, . . . , x
1
r
, x
r+1
, . . . , x
n
] es el algebra de polinomios cuanticos. Para los au-
tomorsmos triviales obtenemos el algebra de polinomios cu anticos simplemente notada por
5.2 Reglas de multiplicacion. 51
O
q
.
R
q,
[x
1
1
, . . . , x
1
r
, x
r+1
, . . . , x
n
] puede ser visto como una localizacion de una extensi on PBW
torcida. En efecto, tenemos una extension PBW torcida cuasi-conmutativa biyectiva
A := (R)x
1
, . . . , x
n
, (5-4)
con x
i
r =
i
(r)x
i
y x
j
x
i
= q
ji
x
i
x
j
, 1 i, j n; si tomamos S := rx
l
: r R
, x
l
Monx
1
, . . . , x
r
, entonces S es un subconjunto multiplicativo de A y
S
1
A

= R
q,
[x
1
1
, . . . , x
1
r
, x
r+1
, . . . , x
n
]

= AS
1
. (5-5)
Cuando r = 0, R
q,
[x
1
1
, . . . , x
1
r
, x
r+1
, . . . , x
n
] = R
q,
[x
1
, . . . , x
r
, x
r+1
, . . . , x
n
] es el espacio
cu antico torcido nmultiparametrico sobre R, y cuando r = n, este coincide con R
q,
[x
1
1
, . . . , x
1
n
],
es decir, con el toro cu antico torcido nmultiparametrico sobre R (vease [10] y [9]).
5.2. Reglas de multiplicacion.
Cuando R es un anillo arbitrario, es claro que el conjunto de elementos invertibles R
de R
es un grupo multiplicativo. Denimos N como el subgrupo multiplicativo de R
generado
por el grupo derivado [R
, R
] de R
y los elementos de la forma z

1
i
(z) para z R
y
i = 1, . . . , n. Notamos adem as que este subgrupo es normal en R
y R
/N es un grupo
abeliano.
La normalidad de N en R
puede demostrarse usando el teorema de correspondencia, en

efecto, sabemos que existe una correspondencia biunvoca entre los subgrupos normales de
R
que contienen a [R
, R
] y los subgrupos normales de R
/[R
, R
] (que es abeliano), por

lo cual N/[R
, R
] es normal en R
/[R
, R
] y as N es normal en R
.
Comentario 5.2.1. Si a, b R
entonces a b = b a u, para alg un u N. En efecto,

considerando la imagen de a b en R
/N, tenemos que a b = b a m od(N), por lo tanto

a b = b a u, para alg un u N.
Algunas propiedades que se pueden deducir para O
q,
son las siguientes:
Proposicion 5.2.2. Si O
q,
es un anillo de polinomios cuanticos torcidos sobre R, entonces
(1) x
1
i
r =
1
i
(r)x
1
i
para cada r R y 1 i r.
(2) x
i
x
1
j
=
1
j
(q
1
ij
)x
1
j
x
i
para 1 i n y 1 j r.
(3)
n
i
(z) = zz
1
i
(z)
i
(z)
1
2
i
(z)
2
i
(z)
1

n1
i
(z)
1
n
i
(z) para todo n N y z R
, lo
cual ademas implica que
n
i
(z) = z d donde d N.
52 5 AUTOMORFISMOS PARA POLINOMIOS CU
ANTICOS TORCIDOS.
(4)
n
i
(z) =
n
i
(z)
n+1
i
(z)
1
n+1
i
(z)
n+2
i
(z)
1
n+2
i
(z)
1
i
(z)
1
1
i
(z)z
1
z para
cada n N y z R
. Ademas
n
i
(z) = z u
con u
N.
(5) x
i
x
u
j
= q
ij
j
(q
ij
)
2
j
(q
ij
)
u1
j
(q
ij
)x
u
j
x
i
para u N.
(6) x
i
x
u
j
=
1
j
(q
1
ij
)
2
j
(q
1
ij
)
u
j
(q
1
ij
)x
u
j
x
i
para cada u N.
(7) x
i
x
n
j
= (q
n
ij
d)x
n
j
x
i
, con d N y para todo n Z.
(8) x
t
i
x
s
j
= (q
ts
ij
u)x
s
j
x
t
i
, para alg un u N, y para todo t N, s Z.
(9) x
t
i
x
s
j
= (q
ts
ij
u)x
s
j
x
t
i
, para alg un u N, y para todo t N, s Z.
(10) (x
t
1
1
x
tn
n
)(x
l
1
1
x
ln
n
) = (
i<j
q
t
j
s
i
ji
) u x
t
1
+s
1
1
x
tn+sn
n
, para alg un u N.
Demostracion. (1) Si 1 i r y r R, tenemos que rx
i
= x
i
1
i
(r), luego x
1
i
rx
i
=
1
i
(r), lo cual quiere decir, x
1
i
r =
1
i
(r)x
1
i
.
(2) Sabemos que x
i
x
j
= q
ij
x
j
x
i
, por lo cual, x
j
x
i
= q
1
ij
x
i
x
j
. Luego x
j
x
i
x
1
j
= q
1
ij
x
i
, y as,
x
i
x
1
j
= x
1
j
q
1
ij
x
i
. Finalmente, usando (1) concluimos que x
i
x
1
j
=
1
j
(q
1
ij
)x
1
j
x
i
.
(3) Como z es invertible y
i
Aut(R), entonces
n
i
(z) R
, para todo n Z. Luego es

evidente que
n
i
(z) = zz
1
i
(z)(z)
1
2
i
(z)
2
i
(z)
1

n1
i
(z)
1
n
i
(z),
para todo n N y z R
. Finalmente, si z R
, z
1
i
(z) N, por lo cual
n
i
(z) = zu,
para alg un u N.
(4) Realizando el mismo analisis que en (3), tenemos
n
i
(z) =
n
i
(z)
n+1
i
(z)
1
n+1
i
(z)
n+2
i
(z)
1
n+2
i
(z)
1
i
(z)
1
1
i
(z)z
1
z,
para cada n N y z R
. Por otro lado, observemos que

1
i
(z)z
1
N para todo
z R
. En efecto, tomando w =
1
i
(z), se tiene que z =
i
(w), y as
1
i
(z)z
1
=
w
i
(w)
1
N. Por lo tanto,
n
i
(z) = u
z para alg un u
N. Dado que N es normal

en R
, existe u N tal que

n
i
(z) = z u.
(5) Realicemos la demostracion usando induccion sobre u. Si u = 1, entonces x
i
x
j
=
q
1
ij
x
j
x
i
= q
ij
x
j
x
i
.
Supongamos que la proposici on es cierta para u = n1, veamos que tambien es cierta
para u = n.
x
i
x
n
j
= x
i
x
n1
j
x
j
= q
ij
j
(q
ij
)
2
j
(q
ij
)
n2
j
(q
ij
)x
n1
j
x
i
x
j
,
5.2 Reglas de multiplicacion. 53
entonces
x
i
x
n
j
= q
ij
j
(q
ij
)
2
j
(q
ij
)
n2
j
(q
ij
)x
n1
j
q
ij
x
j
x
i
.
Aplicando la denicion 5.1.1, se tiene que
x
i
x
n
j
= q
ij
j
(q
ij
)
2
j
(q
ij
)
n2
j
(q
ij
)
n1
i
(q
ij
)x
n
j
x
i
.
(6) Realicemos la demostraci on usando inducci on sobre u. Si u = 1, tenemos (2).
Si u = 2, entonces
x
i
x
2
j
=
1
j
(q
1
ij
)x
1
j
x
i
x
1
j
=
1
j
(q
1
ij
)x
1
j

1
j
(q
1
ij
)x
j
x
i
=
1
j
(q
1
ij
)
2
j
(q
1
ij
)x
2
j
x
i
.
Supongamos que la proposici on es cierta para u = n1, veamos que tambien es cierta
para u = n.
x
i
x
n
j
= x
i
x
(n1)
j
x
1
j
=
1
j
(q
1
ij
)
2
j
(q
1
ij
)
n+1
j
(q
1
ij
)x
n+1
j
x
i
x
1
j
=
1
j
(q
1
ij
)
2
j
(q
1
ij
)
n+1
j
(q
1
ij
)x
n+1
j

1
j
(q
1
ij
)x
1
j
x
i
=
1
j
(q
1
ij
)
2
j
(q
1
ij
)
n+1
j
(q
1
ij
)
n
j
(q
1
ij
)x
n
j
x
i
.
(7) Usando (3) y (4), tenemos que
x
i
x
n
j
= q
ij
(q
ij
u
1
)(q
ij
u
2
) (q
ij
u
n1
)x
n
j
x
i
,
para n 0 y u
i
N. Como q
ij
R
y N R
, podemos considerar la imagen de

q
ij
(q
ij
u
1
)(q
ij
u
2
) (q
ij
u
n1
) en R
/N, y dada la conmutatividad de R
/N tenemos
que
q
ij
(q
ij
u
1
)(q
ij
u
2
) (q
ij
u
n1
) q
n
ij
m od(N).
Por lo tanto, x
i
x
n
j
= (q
n
ij
u)x
n
j
x
i
para alg un u N. La demostraci on para el caso
en que n 0 es similar. Note adem as que para realizar la demostracion tambien es
posible aplicar la propiedad de normalidad de N.
(8) Usando (5) y (6), para t N y s Z
x
t
i
x
s
j
= x
t1
i
x
i
x
s
j
=
t1
i
(q
s
ij
u
)x
t1
i
x
s
j
x
i
=
t1
i
(q
s
ij
u
)
t2
i
(q
s
ij
u
)x
t2
i
x
s
j
x
2
i
.
.
.
.
.
.
=
t1
i
(q
s
ij
u
)
t2
i
(q
s
ij
u
)
i
(q
s
ij
u
)(q
s
ij
u
)x
s
j
x
t
i
,
ANTICOS TORCIDOS.
donde u
N. Aplicando (3), (4) y las propiedades de N concluimos que

x
t
i
x
s
j
= (q
ts
ij
u)x
s
j
x
t
i
,
para alg un u N.
(9) Si s, t N, de acuerdo a (8),
x
s
j
= x
t
i
(q
st
ij
u)x
s
j
x
t
i
,
lo cual nos dice que
x
s
j
x
t
i
=
t
i
(q
st
ij
u)x
t
i
x
s
j
,
y por lo tanto,
(
t
i
(q
st
ij
u))
1
x
s
j
x
t
i
= x
t
i
x
s
j
, (5-6)
de nuevo aplicando (3) y (4) se tiene que (5-6) toma la forma
(q
st
ij
u
)
1
x
s
j
x
t
i
= x
t
i
x
s
j
. (5-7)
Aplicando las propiedades mencionadas para N se tiene que (5-7) es equivalente a
(q
ts
ij
u
)x
s
j
x
t
i
= x
t
i
x
s
j
para alg un u
N.
As de (8) y (9) podemos deducir la siguiente regla de multiplicaci on mas general
x
t
i
x
s
j
= (q
ts
ij
u)x
s
j
x
t
i
,
para todo s, t Z y alg un u N.
(10) Finalmente, es claro que usando los resultados anteriores podemos deducir que
(x
t
1
1
x
t
2
2
x
tn
n
)(x
l
1
1
x
l
2
2
x
ln
n
) = ([
i<j
q
t
j
s
i
ji
]u)x
t
1
+s
1
1
x
t
2
+s
2
2
x
tn+sn
n
,
donde u N.
Denici on 5.2.3. El anillo de polinomios cu anticos torcidos O

q,
de R, se dir a generico o
general si los multiparametros q
ij
, 1 i < j n, son independientes en R
/N.
5.3 Automorsmos para anillos de polinomios cu anticos torcidos. 55
5.3. Automorsmos para anillos de polinomios cuanticos
torcidos.
Entendemos End(O
q,
) como los endomorsmos del anillo O
q,
que dejan jo los elementos de
R y, Aut(O
q,
) End(O
q,
) es el conjunto de elementos invertibles de End(O
q,
). Entonces,
podemos decir que cada End(O
q,
) es adem as un Rhomomorsmo a izquierda de O
q,
.
Teorema 5.3.1. Sean O := O
q,
el anillo de polinomios cuanticos torcidos generico del
anillo R con r = 0, n 3 y End(O). Si para cada 1 i n, (x
i
) ,= 0, y el coeciente
principal es invertible, entonces es un automorsmo.
Demostracion. Consecuencia directa del corolario 4.3.3, ya que O puede considerarse como
una extension cuasi-conmutativa biyectiva de R.
Teorema 5.3.2. Supongase que End(O) y se cumple:

(1) para cada (x
i
) ,= 0 el coeciente principal y el mas peque no son invertibles y,
(2) existen al menos tres ndices distintos 1 i, j, t n tal que (x
i
), (x
j
), (x
t
) ,= 0.
Entonces existen elementos
1
, . . . ,
n
R y un entero = 1 tal que
1
, . . . ,
r
,= 0, y
(x
w
) =
w
x
w
, w = 1, 2, . . . , n. (5-8)
Demostracion. Seguiremos el esquema de la demostracion del teorema 3.2.3.
Consideremos el orden lexicogr aco sobre el conjunto de ndices Z
n
y sobre el conjunto de
monomios en x
1
, . . . , x
n
. Sea End(O
q,
) y note por a
i
, i = 1, . . . , n, el termino mas
peque no (el termino principal) de (x
i
).
Supongase que (x
i
), (x
j
) ,= 0. Observe que el termino mas peque no (el principal) de un
producto de polinomios no nulos en O
q,
es igual a el producto de los terminos mas peque nos
(el principal) de cada factor. Por otro lado, (5-2) en la denici on 5.1.1 implica que
a
i
a
j
= q
ij
a
j
a
i
. (5-9)
Supongamos que a
i
= x
l
1
1
x
ln
n
y a
j
= x
t
1
1
x
tn
n
, donde , R
.As
(x
l
1
1
x
ln
n
)(x
t
1
1
x
tn
n
) = q
ij
(x
t
1
1
x
tn
n
)(x
l
1
1
x
ln
n
).
Usando las reglas de multiplicaci on para monomios en O
q,
obtenemos
l
()(
s<r
q
lrts
rs
)dx
l
1
+t
1
1
x
ln+tn
n
= q
ij
t
()(
s<r
q
trls
rs
)d
x
l
1
+t
1
1
x
ln+tn
n
, (5-10)
ANTICOS TORCIDOS.
por lo tanto,
s<r
q
lrts
rs
q
ij
s<r
q
trls
rs
M od(N). (5-11)
Supongamos que i > j. Ya que las im agenes de q
rs
, n r > s 1, son independientes en
R
/N, para r ,= s
l
r
t
s
=
ri
sj
+ t
r
l
s
. (5-12)
Si l
p
,= 0 y p ,= i, j, para cada ndice q ,= p
l
p
t
q
l
q
t
p
= 0, (5-13)
y por tanto t
q
= t
p
l
q
l
1
p
. En particular
t
i
= t
p
l
i
l
1
p
y t
j
= t
p
l
j
l
1
i
, (5-14)
esto es
l
i
t
j
l
j
t
i
= l
i
t
p
l
j
l
1
p
l
j
t
p
l
i
l
1
p
= 0, (5-15)
lo que contradice (5-12). As l
p
= 0 para todo p ,= i, j. Similarmente, podemos probar que
t
p
= 0 si p ,= i, j.
Por lo tanto,
a
i
= x
l
i
i
x
l
j
j
y a
j
= x
t
i
i
x
t
j
j
, (5-16)
donde t
i
t
j
ljt
i
= 1.
Por hip otesis existe una tercera variable x
u
tal que (x
u
) ,= 0. El argumento anterior aplicado
a los pares de ndices (i, u) y (j, u) muestran que
a
u
= x
ru
u
x
r
i
i
= x
ru
u
x
r
j
j
(5-17)
con D
.
Finalmente r
i
= r
j
= 0, que es a
u
= x
ru
u
. Similarmente a
i
= x
l
i
i
, a
j
= x
t
j
j
con l
i
t
j
= 1, y
por tanto, l
i
= t
j
= = 1.
Aplicando el mismo argumento al termino principal de (x
i
) obtenemos un resultado similar
para alg un
= 1 para el termino principal. Si =
el teorema est a probado.

5.4 Automorsmos para el anillo de polinomios cu anticos torcidos sobre un dominio de
Ore. 57
Supongamos que r = 0, entonces en este caso =
= 1 para todo (x
i
) ,= 0, con lo cual el
termino principal y el m as peque no son iguales.
Si r > 0, consideremos 1 i r, con lo cual (x
i
) O
. Si = 1 y
= 1, entonces
(x
i
) =
i
x
1
i
+
i
(s)x
m
i1
(s)
i
x
m
in
(s)
n
+
i
x
i
, (5-18)
donde
i
(s) R,
i
,
i
R
y la suma se hace sobre algunos de los ndices

(m
i1
(s), . . . , m
in
(s)) Z
n
, (5-19)
tales que
(0, . . . , 0,
i
..
1 , 0, . . . , 0) < (m
i1
(s), . . . , m
in
(s)) < (0, . . . , 0,
i
..
1 , 0, . . . , 0). (5-20)
Como
i
y
i
son invertibles, entonces (x
i
) no es invertible, lo que es una contradicci on.
Por lo tanto, =
Corolario 5.3.3. Si (x
r+1
), . . . , (x
n
) ,= 0, en la situacion del teorema 5.3.2, entonces
es un automorsmo de O. En particular cualquier endomorsmo inyectivo de O es un
automorsmo.
5.4. Automorsmos para el anillo de polinomios cuanticos
torcidos sobre un dominio de Ore.
Lema 5.4.1 ([5]). Sea S un conjunto multiplicativo de R, tal que S
1
R existe. Entonces,
dados s
1
, . . . , s
n
S, existen r
1
, . . . , r
n
R, tales que r
1
s
1
= r
2
s
2
= = r
n
s
n
S, es
decir, Rs
1
Rs
n
,= 0.
Corolario 5.4.2. Sea S un conjunto multiplicativo de R, tal que S
1
R existe. Dados s
1
, . . . , s
n

S y r
1
, . . . , r
n
R, existen s S y b
1
, . . . , b
n
R, tales que sr
i
= b
i
s
i
para i = 1, . . . , n.
Demostracion. Aplicando la condicion de Ore a r
i
y s
i
para i = 1, . . . , n, existen c
i
R y
s
i
S, tales que, c
i
s
i
= s
i
r
i
para cada i = 1, . . . , n.
Aplicando el lema 5.4.1 a los s
i
, existen a
i
R tales que s := a
1
s
1
= a
2
s
2
= . . . , a
n
s
n
S.
Luego tenemos que
a
i
c
i
s
i
= a
i
s
i
r
i
, i = 1, . . . , n. (5-21)
tomando b
i
:= a
i
c
i
, tenemos que b
i
s
i
= sr
i
para i = 1, . . . , n.
ANTICOS TORCIDOS.
Proposicion 5.4.3. Sea R un anillo y S R un sistema multiplicativo. Si Q := S
1
R
existe, entonces cada conjunto nito q
1
, q
2
, . . . , q
n
de elementos de Q posee un com un
denominador, es decir, existen r
1
, . . . , r
n
R y s S tal que q
i
=
r
i
s
para cada i = 1, . . . n.
Demostracion. vease [5].
De aqu en adelante, R se considera un dominio de Ore a izquierda y el sistema multiplicativo

sobre el cual trabajaremos ser a S := R 0.
Consideremos O
q,
:= R
q,
[x
1
1
, . . . , x
1
r
, x
r+1
, . . . , x
n
] y S := R0, donde R es un dominio
de Ore, queremos ver que
S
1
O
q,

= (S
1
R)
q,
[x
1
1
, . . . , x
1
r
, x
r+1
, . . . , x
n
], (5-22)
donde
i
: S
1
R S
1
R, se obtiene extendiendo
i
usando propiedad universal para
S
1
R. En efecto, sea : R S
1
R, con (r) =
r
1
, tenemos que es inyectiva ya que R
es un dominio, por lo tanto
i
es inyectiva, y
i
(S) (RS
1
)
. Luego existe un unico

homomorsmo
i
tal que
i
=
i
.
R S
1
R
R
S
1
R
?
i
-
p
p
p
p
p
p
p
p
p
p
p
p
p
p
p
p
p
p
i
?
(5-23)
Por otro lado, como
i
es inyectivo, entonces
i
es inyectivo. Veamos entonces que es tam-
bien sobreyectivo, es decir
i
es un automorsmo para S
1
R.
Consideremos
a
s
S
1
R, dado que
i
es un automorsmo, existen a
R y s
S, tal que
i
(a
) = a y
i
(s
) = s, luego tenemos que
i
(
a
) =
i
(
1
s
1
)
=
i
(
1
s
)
i
(
a
1
)
=
i
(s
)
1
i
(a
)
= (
i
(s
))
1
i
(a
)
= (s)
1
(a)
= (
s
1
)
1
a
1
=
a
s
, (5-24)
Ore. 59
por lo tanto,
i
es un homomorsmo de anillos sobreyectivo.
Como R
q,
[x
1
, . . . , x
n
] existe, visto como anillo de polinomios iterados de tipo endomorsmo,
(S
1
R)
q,
[x
1
, . . . , x
n
] tambien existe, seg un el teorema 4.4.5. Por lo tanto,
(S
1
R)
q,
[x
1
1
, . . . , x
1
r
, x
r+1
, . . . , x
n
]
existe, usando la caracterizaci on para anillos de polinomios cu anticos torcidos mediante lo-
calizaci on (vease [9]).
Veamos que S
1
O
q,
tambien existe.
(1) Si f = a
t
1
x
t
1
+ + a
tn
x
tn
O
q,
, y f s = 0 para alg un s S, entonces
f s = a
t
1
t
1
(s)x
t
1
+ + a
tn
tn
(s)x
tn
= 0, (5-25)
luego, se tiene que a
t
i
t
i
(s) = 0. Como
i
son automorsmos,
t
i
(s) ,= 0 y por tanto
a
t
i
= 0 para cada 1 i n. Es decir, f = 0 y s f = 0.
(2) Sea f O
q,
y s S. Existen r S y b
t
i
R tales que r a
t
i
= b
t
i

t
i
(s) para
i = 1, . . . , n.
Tomando g = b
t
1
x
t
1
+ + b
tn
x
tn
, se tiene que
g s = (b
t
1
x
t
1
+ b
tn
x
tn
)s
= b
t
1
x
t
1
s + b
tn
x
tn
s
= b
t
1
t
1
(s)x
t
1
+ + b
tn
tn
(s)x
tn
= r a
t
1
x
t
1
+ + r a
tn
x
tn
= r(a
t
1
x
t
1
+ + a
tn
x
tn
)
= r f. (5-26)
As, S y O
q,
satisface la condicion de Ore a izquierda.
De (1) y (2), concluimos que S
1
O
q,
existe. Para ver el isomorsmo deseado, veamos que
(S
1
R)
q,
[x
1
1
, . . . , x
1
r
, x
r+1
, . . . , x
n
] satisface las condiciones en la denici on de anillo de
fracciones a izquierda respecto a S (vease [8]).
(1) Consideremos la funci on
: O
q,
(S
1
R)
q,
[x
1
1
, . . . , x
1
r
, x
r+1
, . . . , x
n
]
a
t
x
t
a
t
1
x
t
. (5-27)
Veamos que es un homomorsmo de anillos.
ANTICOS TORCIDOS.
a) Sean
a
t
x
t
y
b
t
x
t
elementos en O
q,
, entonces
(
a
t
x
t
+
b
t
x
t
) = (
(a
t
+ b
t
)x
t
)
=
(a
t
+ b
t
)
1
x
t
=
(
a
t
1
+
b
t
1
)x
t
=
a
t
1
x
t
+
b
t
1
x
t
= (
a
t
x
t
) + (
b
t
x
t
). (5-28)
b) Para ver que es multiplicativa, es suciente ver esta propiedad para los mono-
mios ax
i
y bx
j
.
Cuando i < j, tenemos que
(ax
i
bx
j
) = (a
i
(b)x
i
x
j
)
=
a
i
(b)
1
x
i
x
j
=
a
1
i
(b)
1
x
i
x
j
=
a
1
x
i
b
1
x
j
= (ax
i
)(bx
j
). (5-29)
Por otro lado, cuando i > j se tiene que
(ax
i
bx
j
) = (a
i
(b)x
i
x
j
)
= (a
i
(b)q
ij
x
j
x
i
)
=
a
i
(b)q
ij
1
x
j
x
i
=
a
1
i
(b)
1
q
ij
1
x
j
x
i
=
a
1
x
i
b
1
x
j
= (ax
i
)(bx
j
). (5-30)
Dada la aditividad de y la forma de representar los elementos de O
q,
, se tiene
la propiedad deseada.
(2) Si r R 0, entonces (r) =
r
1
(S
1
R
q,
[x
1
1
, . . . , x
1
r
, x
r+1
, . . . , x
n
])
, es decir,
(S) (S
1
R
q,
[x
1
1
, . . . , x
1
r
, x
r+1
, . . . , x
n
])
.
Ore. 61
(3) Si f =
a
t
x
t
O
q,
y (f) = 0, entonces
at
1
x
t
= 0. Usando la representaci on unica
de los elementos de O
q,
, concluimos que
at
1
= 0 para cada t Z
r
N
nr
. Como R es
un dominio concluimos que a
t
= 0, y por tanto, f = 0.
Suponiendo que (f) = 0, tenemos que 1 R 0 = S y 1 f = 0. Recprocamente,
si existe s S tal que s f = 0, concluimos que f = 0, y por tanto, (f) = 0. As,
la propiedad (3) para una anillo de fracciones sobre un sistema multiplicativo S se
satisface. Observemos ademas, que es inyectivo.
(4) Sea f =
a
1
s
1
x
t
1
+ +
an
sn
x
tn
, con a
i
R y s
i
S para cada i = 1, . . . , n. Seg un la
proposici on 5.4.3, existen s S y b
1
, . . . , b
n
R tal que
a
i
s
i
=
b
i
s
para i = 1, . . . , n. Por
lo tanto,
f =
a
1
s
1
x
t
1
+ +
a
n
s
n
x
tn
=
b
1
s
x
t
1
+ +
b
n
s
x
tn
= (
s
1
)
1
(
b
1
1
x
t
1
+
b
n
1
x
tn
)
= (s)
1
(b
1
x
t
1
+ + b
n
x
tn
). (5-31)
Luego, cada elemento f de O
q,
:= S
1
R
q,
[x
1
1
, . . . , x
1
r
, x
r+1
, . . . , x
n
] puede escribirse
como f = (s)
1
(g), para alg un s S y g O
q,
.
Concluimos entonces que S
1
O
q,
existe y, S
1
O
q,

= O
q,
como deseabamos.
Para ver la demostraci on del siguiente resultado, observemos como se extienden los endo-
morsmos End(O
q,
) a End(O
q,
).
Lema 5.4.4. Si End(O
q,
), existe End(O
q,
), es decir, (
a
s
) =
a
s
, para cada
a
s
S
1
R.
Demostracion. Consideremos el homomorsmo : O
q,
O
q,
, el cual satisface (S)
(O
q,
)
. Entonces existe End(O

q,
) tal que = .
O
q,
O
q,
O
q,
O
q,
?
p
p
p
p
p
p
p
p
p
p
p
p
p
p
p
p
p
p
p
(5-32)
ANTICOS TORCIDOS.
Ahora,
(
a
s
) = (
1
s
a
1
)
= (
s
1
)
1
(
a
1
)
= ((s))
1
((a))
= ((s))
1
((a))
= (s)
1
(a)
=
a
s
. (5-33)
En los siguientes resultados supondremos que S

1
O
q,
es un anillo de polinomios cu anticos
torcidos generico.
Teorema 5.4.5. Sea O
q,
un anillo de polinomios cuanticos torcidos generico sobre un domi-
nio de Ore R. Si End(O
q,
), y existen al menos tres ndices i, j, u con (x
i
), (x
j
), (x
u
)
no nulos, entonces existen
1
, . . . ,
n
R tal que (x
w
) =
w
x
w
para w = 1, . . . , n y = 1.
Demostracion. Observemos en primer lugar que si (x
i
) ,= 0, entonces (x
i
) ,= 0, y por
tanto, existen al menos tres ndices i, j, u, tales que (x
i
), (x
j
), (x
u
) ,= 0. En efecto,
0 ,= ((x
i
)) = ((x
i
)) = (x
i
). Adem as, de acuerdo a las hipotesis, O
q,
es un anillo
de polinomios cu anticos torcidos generico sobre un anillo de division S
1
R. Luego existen
1
, . . . ,
n
S
1
R, tales que, (x
w
) =
w
x
w
para w = 1, . . . , n y = 1 (usando 5.3.2).
Supongamos que (x
i
) =
a
t
x
t
, entonces
at
1
x
t
= ((x
i
)) = ((x
i
)) = (x
i
) =
i
x
i
.
Dada la representacion unica de los elementos de O
q,
,
at
1
= 0 si t ,= (0, 0, . . . ,
i
..
, . . . , 0) =: i
y
i
=
a
i
1
. Por lo tanto, a
t
= 0 si t ,= i, es decir, (x
i
) = a
i
x
i
.
As, podemos concluir que
(x
w
) =
w
x
w
, i = 1, . . . , n, (5-34)
para
1
, . . . ,
n
R y = 1.
Corolario 5.4.6. Si O
q,
es como en el teorema 5.4.5, y Aut(O
q,
). Entonces, existen
1
, . . . ,
n
R
, tales que,
(x
w
) =
w
x
w
, (5-35)
para w = 1, . . . , n y = 1.
5.5 Ejemplos y consideraciones. 63
5.5. Ejemplos y consideraciones.
Es importante mencionar que el anillo de polinomios cuanticos torcidos en la denici on 5.1.1,
puede entenderse como una extensi on PBW torcida quasi-conmutativa biyectiva sobre el
anillo de polinomios torcidos de Laurent B := R[x
1
1
;
1
] [x
1
r
;
r
] (vease [5]), donde
i
(x
j
) = q
ij
x
j
para j < i,
i
(r) =
i
(r) para cada r R.
Por lo cual, los resultados obtenidos en el captulo 4 pueden aplicarse directamente a anillos
de polinomios cu anticos torcidos bajo las consideraciones anteriores (cuando sea posible).
Sin embargo, la importancia del captulo 5 radica en los siguientes hechos:
(1) Como linea de trabajo, nos habamos plantado el seguir las ideas que presenta Artamo-
nov en sus artculos, los cuales consisten esencialmente en la manipulacion del anillo
de coecientes, y en las propiedades que pueden extraerse de el.
(2) Al considerar O
q,
con coecientes en B, las reglas de conmutaci on estaran denidas
sobre B
, que incluye a x
i
para i = 1, . . . r, por lo cual, los elementos u N podran
ser monomios en las variables invertibles, los cuales no son invariantes bajo la accion
de los endomorsmos que consideramos en este trabajo.
(3) Al considerar O
q,
como un anillo de polinomios cuanticos torcidos generico sobre R,
es posible que el mismo anillo no sea generico sobre B. En efecto, si O
q,
es visto como
una extensi on PBW torcida sobre B, entonces x
1
i

j
(x
i
) =
1
i
(q
ji
) N(B) (N(B)
representa el subgrupo normal de B
considerado para las reglas de multiplicaci on en

este caso), lo cual nos dice que q
ji
N(B) si i < r. Por lo tanto, la extension no sera
generica sobre B.
Ejemplo 5.5.1. Todos los resultados obtenidos en este captulo pueden aplicarse a cualquier
anillo de polinomios cu anticos generico , como por ejemplo a la R algebra considerada en
el ejemplo 3.2.5.
Finalmente, Al igual que algunos resultados similares del captulo anterior, el Corolario 5.3.3
tambien nos recuerda en cierta forma, la conjetura de Dixmier.
Bibliografa
[1] ALEV, J. ; CHAMARIE, M.: Derivations et automorphismes de quelques alg`ebres
quantiques. En: Communications in Algebras 20 (1992), Nr. 6 2, 26
[2] ARTAMONOV, V.A.: Quantum polynomial algebras. En: Journal of Mathematical
Sciences 87 (1997), Nr. 3 26
[3] ARTAMONOV, V.A. ; WISBAUER, R: Homological properties of Quantum Poly-
nomials. En: Algebras and representation Theory 4 (2001), Nr. 3 5, 26, 28, 50
[4] GALLEGO, C. ; LEZAMA, O.: Grobner bases for ideals of skew PBW extensions.
En: Communications in Algebras 39 (2011), p. 5075 33
[5] GOODEARL, K.R. ; WARFIELD, JR.: An introduction to Noncommutative Noet-
herian Rings. Cambridge University press, 2004 57, 58, 63
[6] JACOBSON, N.: Lectures in abstract algebra III. Theory of elds and Galois Theory.
Springer-Verlang, 1975 19
[7] KHARCHENKO, V.K.: Automorphisms and derivations of associative rings. Edt.
Kluwer Academic Publisher, 1991 6
[8] LEZAMA, O.: Cuaderno de algebra,

Algebra homologica. 2013 41, 59
[9] LEZAMA, O. ; FAJARDO, A. ; GALLEGO, C. ; REYES, M.: Constructive Ho-
mological Algebra over skew PBW extensions. in preparation 3, 39, 40, 42, 43, 51,
59
[10] LEZAMA, O. ; REYES, M.: Some homological properties of skew PBW extensions.
En: to appear in comm. in Algebra. 2, 40, 49, 51
[11] TSUCHIMOTO, Y.: Endomorphisms of Weyl algebra and pcurvatures. En: Osaka
J. Math. 42 (2005) 48
[12] VAN DEN ESSEN, A.: Polynomial Automorphisms and the Jacobian Conjeture. En:
Progress in Mathematicas 190 (2000) 48

Polinomios Cuanticos Torcidos - Cesar Fernando Venegas PDF

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Polinomios Cuanticos Torcidos - Cesar Fernando Venegas PDF

Caricato da

Copyright:

Formati disponibili

AUTOMORFISMOS DE

del anillo de divisi on D

] y el conjunto de todos los elementos de la forma

:= D Der() : para todo i, D(x

, sabemos de (2-7) que

, entonces para cada x

para todo k > i implica que

Corolario 2.2.3. Si n = 2, E = 0 si, y solo si, q

Lema 3.1.2. Una matriz = (

lo es. Resta ver que T es un

Lema 3.1.5. Sea A un algebra sobre un campo k de caracterstica cero. Si (d

podemos obtener una derivaci on alta de la siguiente forma:

es una derivacion alta equivalente a d

y por lo tanto a d, y verica

20 3 AUTOMORFISMOS PARA EL ANILLO DE POLINOMIOS CU

, por lo tanto tenemos que (x

. Aplicando el mismo razonamiento a

3.1 Automorsmos para el espacio cuantico. 23

3.1 Automorsmos para el espacio cuantico. 25

3.1.3. El espacio cuantico uniparametrico.

Todos los resultados contenidos en esta seccion pueden consultarse en [1].

/N, tenemos que s

/N, se tiene que para r ,= s

= 1 para el termino principal. Si =

el teorema est a probado.

, y la suma se hace sobre algunos de los ndices

Comentario 3.2.4. Si r < n y (x

(I) = 0. Entonces existe un homomorsmo : RX/I O

34 4 AUTOMORFISMOS PARA EXTENSIONES PBW TORCIDAS.

de R es un grupo multiplicativo. Denimos N como el subgrupo de R

y los elementos de la forma z

, por lo cual podemos escribir

4.3. Automorsmos para extensiones PBW torcidas.

Corolario 4.3.3. Si A es una extension PBW torcida de R y End(A) son como en

, y por tanto podemos

Note que todo endomorsmo considerado en el teorema 4.3.2 es un endomorsmo ltrado.

, entonces se debe cumplir que ab = c

] N, y por tanto A no sera generica.

Proposicion 4.3.7. Sean A y B anillos ltrados, con ltracion F

Teorema 4.3.8. Sean A una extension PBW torcida de R y un endomorsmo ltrado

Corolario 4.3.9. Si A es una extension PBW torcida de R y End(A) son como en el

Observemos qu cuando es un endomorsmo inyectivo, podemos omitir la condicion (x

, pues A es una extensi on PBW torcida de A

, y la representacion de cero es unica

m odulo, se tiene que

Teorema 4.4.5. Sea A una extension PBW torcida cuasi-conmutativa de un dominio de

es inyectivo, pues R no tiene divisores de cero y

En los siguientes resultados se asumira que S

Corolario 4.4.7. Si A y End(A) son como en el teorema 4.4.6 y es inyectivo, entonces

Algebras de polinomios torcidos 3-dimensionales /. Estas algebras est an

y los elementos de la forma z

puede demostrarse usando el teorema de correspondencia, en

] y los subgrupos normales de R

] (que es abeliano), por

entonces a b = b a u, para alg un u N. En efecto,

/N, tenemos que a b = b a m od(N), por lo tanto

, para todo n Z. Luego es

. Por otro lado, observemos que

N. Dado que N es normal

, existe u N tal que

, podemos considerar la imagen de

/N, y dada la conmutatividad de R

N. Aplicando (3), (4) y las propiedades de N concluimos que