Вы находитесь на странице: 1из 13

DE LAS DERIVACIONES

UNA APLICACION
LOCALMENTE NILPOTENTES AL PROBLEMA DE
EXTENDIBILIDAD

PROPUESTA DE TRABAJO DE GRADO


En modalidad seminario, presentado como requisito parcial
para optar al ttulo de Matematico

AMELIA ELIZABETH CORDOBA


GARCIA
REYNALDO MANZANO CALVACHE
Directora:
Mg. MARIBEL DEL CARMEN DIAZ NOGUERA
UNIVERSIDAD DEL CAUCA
FACULTAD DE CIENCIAS NATURALES, EXACTAS Y DE LA

EDUCACION

DEPARTAMENTO DE MATEMATICAS
CAUCA
POPAYAN,
2012

Indice
1. Presentaci
on

2. Justificaci
on

3. Objetivos

3.1. Objetivo general

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3.2. Objetivos especficos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4. Metodologa

5. Recursos

10

5.1. Recursos humanos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10


5.2. Recursos materiales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
5.3. Recursos economicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

6. Cronograma de actividades

11

7. Presupuesto

12

8. Bibliografa

13

1.

Presentaci
on

La siguiente propuesta de trabajo de grado sera desarrollado en modalidad seminario,


como requisito de grado. El proyecto tiene como finalidad presentar una aplicacion de
la teora de derivaciones localmente nilpotentes al problema de extendibilidad. Para ello
estudiaremos minuciosamente la teora basica de derivaciones en anillos, la cual nos permitira abordar el estudio de dicha aplicacion.
Antes de iniciar, es necesario tener en cuenta que siempre que se hable de un anillo B este
sera considerado conmutativo con unitario, tambien escribiremos A B para indicar que
A es un subanillo de B, denotaremos por A[n] al anillo de polinomios en n variables sobre
un anillo A y K denotara un campo.
La derivacion de anillos esta ligada a una funcion definida en un anillo como se observa a
continuacion.

Definici
on 1. Una derivacion D de un anillo B es un homomorfismo de grupos
D : B B tal que para todo f, g B, se satisface D(f g) = D(f )g + f D(g).

Al conjunto de todas las derivaciones de B lo denotamos por Der(B). Aunque, Der(B)


es un B-modulo con la suma y producto por escalar definido en funciones, no es cerrado
cuando de composicion de funciones se trata.
Dada una derivacion D de un anillo B definimos el conjunto Ker(D) = {x B|D(x) = 0}
y lo llamamos n
ucleo o kernel de D. Un primer resultado relacionado con este conjunto
es que define un subanillo en B. Si A B tal que A Ker(D) decimos que D es una
Aderivacion de B y al conjunto de todas las Aderivaciones lo denotamos por DerA (B).
Note que DerA (B) Der(B), a
un mas DerA (B) es un Bsubmodulo de Der(B).
Un ejemplo clasico de una Kderivacion en el anillo de polinomios K [1] es el siguente:
Ejemplo 1. Consideremos el anillo de polinomios K[t]. La funcion D, llamada la derivada
con respecto a t, D =

d
dt

: K [t] K [t] y definida como sigue:


3

para p(t) =

n
P

(ai )ti K[t], D(p(t)) =

i=0

d
(p(t))
dt

n
P

i(ai )ti1 . Es facil verificar que esta

i=1

derivada es una K- derivacion en K[t]. Ademas, si K es un campo de caracterstica cero


se tiene que Ker(D) = K y si su caracterstica es p, con p > 0 entonces Ker(D) = K[tp ].
Para el desarrollo del presente trabajo sera de gran importancia el estudio de las derivaciones en el anillo de polinomios B = A[n] , como veremos mas adelante el problema de
extendibilidad esta planteado en el anillo de polinomios con constantes en K. Un resultado
basico acerca de las derivaciones en este anillo esta dado por:
Lema 1. Sea A un anillo y B = A[X1 , ..., Xn ] = A[n] . Dados f1 , f2 , ..., fn B, existe una
u
nica D DerA (B) que satisface D(Xi ) = fi , para todo i = 1, 2, ..., n.
n
P
La derivacion de la que nos habla el lema anterior es D =
fi x i . As, DerA (B) es
i=0
n
o

un Bmodulo libre con base x1 , x2 , ..., xn , en el desarrollo del trabajo veremos su

prueba.
Una otra derivacion en el anillo de polinomios B = A[n] es la derivacion jacobiana definida
como sigue:
Ejemplo 2. Dados f = (f1 , f2 , ..., fn1 ) B definimos la derivacion jacobiana
f : B B dada por:

4f (g) = det

(f1 , f2 , ..., fn1 , g)


(X1 , ..., Xn )


,

para cada g B. Podemos verificar que 4f DerA (B) y que A[f1 , f2 , ..., fn1 ] Ker(D).

Para el desarrollo de este trabajo es basico el estudio de Derivaciones Localmente


Nilpotentes (LND).
Definici
on 2. Sean B un anillo y D Der(B), definimos el conjunto
N il(D) = {x B|n N/Dn (x) = 0}
Nota 1. Se puede demostrar que, Ker(D) N il(D) B y N il(D) B.
4

Definici
on 3. Sea B un anillo y D Der(B) decimos que D es una derivacion localmente
nilpotente, si satisface N il(D) = B, es decir, si b B n N Dn (b) = 0. Denotamos
por LN D(B) al conjunto de todas las derivaciones localmente nilpotentes de B.

Aunque LN D(B) Der(B) este conjunto no es un subgrupo de Der(B), ya que no es


cerrado respecto a la suma de funciones como se puede ver en el siguiente ejemplo.
d
d
Ejemplo 3. Sean B = C[x, y], y las derivaciones D1 = y dx
y D2 = x dy
definidas en B

son derivaciones localmente nilpotentes. Sin embargo, D1 + D2


/ LN D(B). Ya que para
f (x, y) = x, (D1 + D2 )(x) = y, luego (D1 + D2 )2 (x) = (D1 + D2 )(y) = x y por tanto no
existe n N tal que (D1 + D2 )n = 0.
La derivada con respecto a t definida sobre el anillo de polinomios K[t] del Ejemplo1,
tambien es una derivacion localmente nilpotente. En esta derivacion encontramos un elemento con una caracterstica en particular. Como podemos ver para el elemento t K[t],
D(t) = 1 decimos que t es un Slice de

d
dt

LN D(K[t]). Dicho elemento sera tematica de

estudio en el desarrollo del trabajo de grado.


Definici
on 4. Sea B un anillo y D LN D(B). Un Slice de D es un elemento s B
que satisface D(s) = 1.

Cuando existe un Slice en una derivacion localmente nilpotente, la situacion es muy


especial:
Teorema 5. Sean B una Q-algebra, D LN D(B) y A = Ker(D). Si s B satisface
D(s) = 1 entonces B = A[s] = A[1] y D =

d
ds

: A[s] A[s]. Esto es B es un anillo de

polinomios sobre A.

Hay derivaciones que no poseen Slices. Ver ejemplo 7.2 de [2].


En la actualidad un problema relacionado con las derivaciones localmente nilpotentes es
determinar si una derivacion localmente nilpotente definida en un anillo B = K [n] tiene o

no, un Slice. Este


problema del algebra conmutativa se denomina Problema del Slice.
5

Por otro lado un problema clasico en algebra conmutativa, resuelto parcialmente es el


problema de extendibilidad.
Definici
on 6. Sean F1 , F2 , ..., Fn1 C[X] = C[n] . Decimos que la n1-upla (F1 , F2 , ..., Fn1 )
es extendible si existe un polinomio Fn C[X] tal que C[X] = C[F1 , ..., Fn ].
Problema de Extendibiblidad: Decidir cuando una n 1-upla es extendible.
El problema de extendibilidad y el problema de Slice estan fuertemente relacionados.
Pretendemos mediante este trabajo mostrar el siguiente resultado publicado por Arno
van den Essen en el artculo Locally nilpotent and derivations and their applications, III.
Teorema 7. Sea F1 , ..., Fn1 C[X]. La n 1- u
pla (F1 , ..., Fn1 ) es extendible s y
solo s la derivacion jacobiana D definida en C[x1 , ..., xn ] tiene un Slice y el n
ucleo es
C[F1 , ..., Fn1 ] .

2.

Justificaci
on

Las Derivaciones Localmente Nilpotentes han sido utilizadas, en la solucion de diversos


problemas. En particular podemos mencionar el Decimo cuarto Problema de Hilbert, que
es enunciado asi:
Sea B = K[x1 , x2 , ..., xn ] el anillo de polinomios en n variables sobre un cuerpo K de caracterstica cero, y K(x1 , x2 , ..., xn ) su cuerpo de fracciones. Suponga que L es un subcuerpo
de K(x1 , x2 , ..., xn ) contenido en K. Entonces, la k-subalgebra L B de K(x1 , x2 , ..., xn )
es finitamente generada?
En [4], Freudenburg presenta una derivacion localmente nilpotente en B = k[x1 , ..., x6 ]
cuyo n
ucleo A no es finitamente generado y por tanto F rac(A) B es un contraejemplo
para la conjetura en el caso n = 6.
Una otra aplicacion la encontramos en el artculo [10], en el cual se reformula el problema
de extendibilidad, en terminos de derivaciones localmente nilpotentes.
El problema de extendibilidad fue resuelto para n = 2 por Chadzynski y Krasinski en
[12]. En el arculo [10], se resuelve el caso para n = 3, utilizando derivaciones localmente
nilpotentes mediante las cuales se reformula el problema de extendibilidad, en terminos
del problema del Slice.
La lectura de esta u
ltima aplicacion y que resuelve un ploblema clasico de algebra, requiere de conocimientos sobre derivaciones localmente nilpotentes definidas en un anillo.
Teniendo en cuenta que en los programas de Matematicas y Licenciatura en Matematicas
no existe una asignatura que estudie esta tematica, pretendemos con este trabajo presentar esta aplicacion imprimiendole una secuencia logica que abarque los requisitos previos,
de tal forma que sea de facil lectura para personas que tengan conocimientos basicos de
algebra conmutativa.
Ademas, la realizacion de este trabajo nos permite conocer problemas abiertos y temas
de investigacion.

3.
3.1.

Objetivos

Objetivo general

Estudiar, divulgar y escribir en detalle una aplicacion de las derivaciones localmente nilpotentes mediante la cual se reformula el problema de extendibilidad del problema del Slice.
Esta aplicacion fue publicada por Arno Van den Essen en el artculo Locally nilpotent
derivations and their applications, en la revista JOURNAL OF PURE AND APPLIED
ALGEBRA (1995).

3.2.

Objetivos especficos
Escribir en detalle resultados basicos sobre las derivaciones localmente nilpotentes
en dominios enteros, dominios de factorizacion u
nica y en anillos de polinomios.
Probar que si B es una Q-algebra y D es una derivacion localmente nilpotente definida en B, con n
ucleo A y que posee un Slice, entonces B es un anillo de polinomios
con coeficientes en A. Para esto, se estudiaran en detalle resultados basicos referentes
a Slice y Preslice.
Definir el problema de extendibilidad y utilizar las derivaciones Jacobianas para
reformular el problema de extendibilidad en terminos de derivaciones localmente
nilpotentes.
Ilustrar con ejemplos de la tematica desarrollada en la presente monografa.
Resolver los ejercicios planteados en las notas de clase de Daniel Daigle [2], referentes
a las derivaciones, derivaciones localmente nilpotentes, Slices y Preslices.

4.

Metodologa

Con base en la tematica que se pretende abarcar en este proyecto, se proponen 4 etapas
para su desarrollo. En las tres primeras se pretende hacer revision bibliografica y escritos
parciales, los cuales seran presentados al director del proyecto y al comite de seguimiento,
para que realicen las observaciones y/o correcciones pertinentes. Al final de cada etapa se
hara la respectiva divulgacion. Mencionamos a continuacion la tematica a desarrollar en
cada una de estas:
ETAPA 1.
Conceptos y resultados basicos sobre la teora de derivacion en anillos, derivacion en
anillos de polinomios.
ETAPA 2.
Derivaciones Localmente Nilpotentes en dominios enteros y dominios de factorizacion
u
nica, Slice y Preslice.
ETAPA 3.
El problema de extendibilidad y su reformulacion en terminos de Derivaciones Local mente
Nilpotentes.
Finalmente en la ETAPA 4 se realizara la redaccion y divulgacion del documento final.

5.
5.1.

Recursos

Recursos humanos

Director del proyecto:

Mg. Maribel del Carmen Daz Noguera.

Responsables del proyecto:

Amelia Elizabeth Cordoba Garca,

Reynaldo Manzano Calvache.

5.2.

Recursos materiales

Biblioteca de la Universidad Del Cauca.


Biblioteca del Departamento de Matematicas.
Salas de computo de la Universidad del Cauca.
Papelera.
Computador personal.
Servicio de internet de la Universidad del Cauca y del estudiante responsable del proyecto.

5.3.

Recursos econ
omicos

Presupuesto personal del responsable de la propuesta de trabajo.

10

6.

Cronograma de actividades

Tiempo requerido en meses para el desarrollo de las actividades.

ACTIVIDAD

TIEMPO EN MESES

Revisi
on Bibliogr
afica

II

III

IV

VI

1a exposici
on

Estudo resultados b
asicos sobre derivaciones

2a exposici
on

Estudio de resultados b
asicos de las L.N.D y Problema de Extendibilidad
3a exposici
on

Elaboraci
on del documento final

11

7.

Presupuesto

La financiacion del proyecto estara bajo la responsabilidad de los estudiantes que presentan este plan de trabajo. La Universidad del Cauca colaborara con la planta fsica, equipos
disponibles y demas recursos presupuestados para la realizacion de trabajos de grado. En
particular, el Departamento de Matematicas asignara el tiempo necesario para la asesora
por parte del Director. A continuacion se detalla el costo aproximado del trabajo.

MATERIALES

A CARGO DE

CANTIDAD

V/UNIT.

V/TOTAL

(1 mes)
Servicio de Internet

Responsables del trabajo

6 meses

44.000

264.000

Resmas de papel

Responsables del trabajo

10.000

30.000

impresora

Responsables del trabajo

100.000

100.000

Marcadores

Responsables del trabajo

3.000

6.000

Computador personal

Responsables del trabajo

1.250.000

1.250.000

Fotocopias

Responsables del trabajo

300

50

15.000

Varios

Responsables del trabajo

Ilimitada

Cartuchos

TOTAL

100.000
1.765.000

12

8.

Bibliografa

Referencias
[1] Daigle,

D.

Locally

tember

School

tember

2003.

of

nilpotent

derivations,

algebraic

Available

geometry,
at

lecture
Lukecin,

notes

for

Poland,

http://aixi.otttawa.ca/ddaigle,

sepSepor

http://www.minuw.edu.pl/jarekw/EAGER/lukencin03.html
[2] Daigle,D. Introduction to locally nilpotent derivations, Lecture notes, 2010.
[3] Fraleigh, John B. , Algebra Abstracta . Addison-Weslwy Iberoamericana, 1987
[4] Freudenburg, G. Counterexaple to Hilberts Fourteenth Problem in Dimension Six ,
Transform. Group 5 2000. pp. 69-71.

[5] Hungerford, Tomas W. Algebra.


Springer, 1974.
[6] Kunz, Ernest. Introduction to Conmutative Algebra and Algebraic Geometry. Birkauses Boston, 1985.
[7] Macdnald I.G, Atiyah M.F. Introduccion al algebra conmutativa . Editorial Reverte,
S.A. XCMLXXIII.
[8] Nowicki, Andrzej. Polynomial Derivations and Their Rings of Constants. Torun.
[9] Pierre Samuel, Oscar Zariski. Conmutative Algebra. Vol.1. Springer, 1985.
[10] Van den Essen, Arno. Locally Nipotent derivations and their Applications, III. Journal of Pure and applied Algebra 98,1995 pp.15-23
[11] Van Den Essen, Arno. Polynomial Automorphisms and the Jacobian Conjecture Progress in Mathematics, Birkhauser, 2000.
[12] J. Chadzynski and T. Krasinski, On the Lojasiewicz exponent at infinite for polynomial mappings from C2 into C2 y components of polynomial automorphisms of C2 ,
preprint (1992).
13