Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
aticas
Volumen 20 (1999), p
aginas 5-33
Una introducci
on elemental a la teora
de las funciones zeta locales de Igusa
n
iga-Galindo
Vctor Albis & Wilson Zu
Universidad Nacional de Colombia, Santafe de Bogota
Universidad Aut
onoma de Bucaramanga, Bucaramanga
Abstract. In this paper, an elementary account of the theory of Igusas local
zeta functions and the stationary phase formula for adic integrals is given.
The main motivation was to study the rationality of the local zeta functions in
positive characteristic for some special classes of polynomials. At the end of the
paper, the zeta functions for some types of polynomials are explicitly calculated,
in any characteristic
Key words and phrases. Local zeta functions, local fields, number of solutions
of congruences, characteristic p methods.
1991 Mathematics Subject Classication. Primary 11S40, 11D79. Secondary
13A35
Resumen. En este artculo hacemos una introducci
on elemental a la teora
de las funciones zeta locales de Igusa y a su f
ormula de la fase estacionaria
para integrales
adicas, motivados por el deseo de estudiar la racionalidad de
las funciones zeta locales en caracterstica positiva para ciertos tipos de polinomios. En la parte final se calculan, explcita e independientemente del valor
de la caracterstica, las funciones zeta locales correspondientes a ciertas clases
de polinomios.
Los autores quieren expresar sus agradecimientos a las Universidades Nacional de
noma de Bucaramanga el apoyo que les brindaron. El primer autor
Colombia y Auto
cont
o con la ayuda financiera de la Academia Colombiana de Ciencias Exactas, Fsicas
y Naturales. El segundo, con la de COLCIENCIAS (Proyecto c
odigo # 1241-05-111-97) .
5
NIGAGALINDO
1. Introducci
on
El prop
osito del presente trabajo, de car
acter divulgativo, es presentar algunas nociones b
asicas de la teora de las llamadas funciones zeta locales de
Igusa, e introducir la f
ormula de la fase estacionaria para integrales
adicas
debida al mismo autor.
En el estudio de las funciones zeta locales se mezclan de manera sorprendente
ideas de varias teoras matematicas, como son la geometra algebraica, la teora
de los n
umeros, la teora de las singularidades y la l
ogica. Ademas, existe una
gran cantidad de conjeturas que relacionan propiedadades de las funciones zeta
locales con conceptos y objetos de estas teoras. Con este ensayo buscamos
despertar y estimular en nuestro medio el interes por este tipo de problemas.
Como se acostumbra en este tipo de artculos, no presentamos demostraciones de todas las armaciones. Sin embargo, esperamos que la exposicion
que hacemos permita al lector obtener una vision panor
amica coherente de los
temas discutidos.
Las funciones zeta locales, como lo veremos mas adelante, se denen mediante integrales asociadas a polinomios con coecientes en cuerpos locales no
arquimedianos. Estos cuerpos son de dos tipos:
umeros p-adicos
cuerpos p-adicos K/Qp , donde Qp es el cuerpo de los n
racionales y K es una extensi
on nita Qp ; y
cuerpos K/k((T )), donde k((T )) es el cuerpo de las series meromorfas
formales sobre un cuerpo nito k y K es una extensi
on nita de k((T )).
A continuaci
on describimos la estructura de este trabajo.
En la secci
on 2, resumimos las propiedades y resultados basicos relativos a
los cuerpos locales no arquimedianos. Estos son cuerpos topol
ogicos localmente
compactos. Este hecho implica la existencia de una medida invariante por
traslaciones, la llamada medida de Haar, la cual esta unvocamente determinada
por K, excepto por factores constantes positivos. Sobre la base de que el lector
esta familiarizado con la teora abstracta de la integraci
on, en la seccion 3
enunciamos las propiedades fundamentales de la integral de Haar en K que
necesitaremos en las secciones siguientes. Debemos anotar, sin embargo, que
es posible, en nuestro caso, hacer un desarrollo ad hoc de la integral de Haar
que usaremos aqu, lo cual evitara tener un conocimiento previo de la teora
general de la integraci
on.
Todo cuerpo local no arquimediano K contiene un subanillo compacto maximal OK . Este subanillo se denomina el anillo de los enteros del cuerpo K.
Adicionalmente, este contiene un u
nico ideal maximal p (vease la seccion 2).
Nm (q n t)m ,
(2)
m=0
donde n es el n
umero de variables del polinomio. La siguiente relaci
on entre
esta serie P (t) y la funci
on zeta de Igusa Z(s, f ) explica la armaci
on anterior
acerca de la naturaleza aritmetica de Z(s, f ):
Z(f, s) = P (t) t1 (P (t) 1) ,
donde t = q s .
(3)
En la secci
on 4 introducimos los resultados b
asicos sobre las funciones zeta
locales de Igusa y establecemos la relacion entre Z(s, f ) y P (t) que acabamos
de mencionar. Tambien enunciamos un teorema fundamental de Igusa que
arma que si K es un cuerpo p-adico entonces Z(s, f ) es una funci
on racional
on racional de t, en virtud de (3).
de q s , con lo cual P (t) resulta una funci
Este resultado fue conjeturado por Bori
evich y Shafari
evich [4, p
ag. 47],
apoy
andose en su validez en casos particulares.
A partir de la racionalidad de Z(s, f ) demostraremos luego que los polos de
Z(s, f ) controlan el comportamiento asint
otico de Nm .
n
on del tipo de Schwartz si es de clase
Una funci
on : R R es una funci
C , tiene soporte compacto y decrece muy rapidamente en innito (vease, por
ejemplo, [17, cap. 2] para una denici
on precisa de la topologa del espacio de
las funciones de Schwartz). Estas funciones desempe
nan un papel importante
en la fsica matematica ([2]). En particular, las integrales oscilantes con fase
analtica se expresan por formulas del tipo
NIGAGALINDO
(x)|f (x)|s dx ,
Re(s) > 0 ,
(5)
Kn
Denimos
|x|p :=
pm , si x = 0,
0, si x = 0.
10
NIGAGALINDO
11
ai T i = a0 + a1 T + + ai T + ,
ai k .
x=
i=0
NIGAGALINDO
12
ai T +
i=0
bi T :=
(ai + bi )T i
i
i=0
i=0
y su producto por la f
ormula de Cauchy
ai T
i=0
bi T
i=0
donde
ci :=
ci T i ,
i=0
aj bk .
j+k=i
i=0
ai T
:=
i si a0 = a1 = = ai1 = 0 y ai = 0
si x = 0 .
13
que v satisface (a) y (b). Veamos que satisface (c). En primer lugar, observemos
que v(1) = 0. Por lo tanto, si x1 k[[T ]], tenemos que v(1) = v(xx1 ) =
v(x) + v(x1 ) = 0, lo cual implica que v(x) = 0. Recprocamente, si v(x) = 0
(con lo que forzosamente tenemos a0 = 0), entonces x = a0 (1 + y), donde y es
una serie formal sin termino constante. Pero
(1 + y)1 =
1
= 1 y + y 2 + (1)r y r + . . .
1+y
ai T i ;
ai k
|x|v := q v(x) ,
x k((T )) .
14
NIGAGALINDO
a
b
Q ; a, b Z, p b ,
15
un cuerpo nito con p elementos, el cual no esta contenido en A(p) . Adicionalmente, k[[T ]] es un anillo completo, mientras que A(p) no lo es. El completado
de este anillo se denomina el anillo de los enteros p-
adicos y se denota con Zp ,
y su cuerpo de cocientes, el cuerpo de los n
umeros p-
adicos, con Qp .
3. La medida de Haar
En esta seccion presuponemos un conocimiento b
asico de la teora general
de la integraci
on. Nuestro prop
osito es presentar, sin demostraciones, ciertos
hechos relacionados con la medida de Haar sobre los grupos localmente compactos, que usaremos mas adelante. Esta seccion esta basada en las referencias
[12], [17].
Recordemos, en primer lugar, que un grupo topol
ogico G es un grupo (para
una operaci
on que denotamos por el momento multiplicativamente) en el que
se ha denido una topologa para la cual la operaci
on G G G, (x, y) xy,
1
y la formaci
on de inversos G G, x x , son funciones continuas.
Si G es un grupo topol
ogico conmutativo y localmente compacto, se puede
demostrar la existencia sobre G de una medida no nula que cumple las condiciones siguientes:
(1) Las funciones continuas de valor complejo y soporte compacto son integrables.
(2) La medida es invariante por traslaciones; es decir,
f (g)d(g) =
G
f (xg)d(g),
xG,
(1)
16
NIGAGALINDO
A conjunto - medible.
(2)
Es f
acil vericar que es una medida de Haar que diere de por una constante positiva. Esta constante se conoce como el m
odulo del automorfismo
odulo de queda
, y lo denotamos con m
od G (). Por consiguiente, el m
caracterizado por la ecuaci
on
= mod G () .
(3)
OK =
(pK + a).
aOK /pK
a m
od pK
17
donde [OK : pK ] = q designa la cardinalidad de OK /pK . Hemos, pues, demostrado que (pk ) = q 1 .
n1
: pnK ] , n Z, el cardinal del
De manera general, si denotamos con [pK
n1 n
grupo pK /pK , tenemos que
(p ) =
1
[OK : pnK ]
[pnK
: OK ]
de lo cual
[OK : pK ][pK
1
para n 0
n1
: p2K ] . . . [pK
: pnK ]
1
= [pnK : pn+1
K ] . . . [pK : OK ] para n 0
(pn ) = q n .
(4)
v(a)
(aOK )
v(a)
= mod (a ) = pK
= q v(a) = |a|K .
(OK )
(5)
odulo.
De ah que m
od (a ) haya recibido el nombre de m
) = (OK ) (pK ) = 1 q 1 .
(OK
(6)
18
NIGAGALINDO
1 q 1 OK
K
OK
Entonces, es igual a la medida denida en (7). Este hecho se expresa
simb
olicamente en la forma
d (x) =
1
dx
.
1
1q
|x|K
(8)
C un car
acter de OK
, esto es, un homomorsmo continuo de
Sea : OK
19
(1)
Kn
Para Re(s) > 0, la integral anterior converge, pues el valor absoluto complejo
del integrando es menor que 1 y la medida de Okn es 1. Dejamos al lector la
vericacion de que en el semiplano Re(s) > 0, la funci
on Z(s, f ) es holomorfa
en s; le sugerimos demostrar que la derivada con respecto a s, el conjugado
complejo de s, es nula. Esto se logra mediante un bien conocido resultado
sobre la derivaci
on de una integral con respecto a un par
ametro.
El presente trabajo est
a consagrado al estudio de las funciones zeta locales
del tipo (1) en casos particulares. Como lo indicamos en la introducci
on, estas funciones estan relacionadas con el n
umero de soluciones de congruencias
modulo n y con las sumas exponenciales modulo n . Nosotros estamos particularmente interesados en su relaci
on con el n
umero de soluciones de congrun
encias modulo .
Nos interesa, pues, saber con exactitud cual es esta relacion. Para ello, sea
umero de soluciones de f (x) 0 (mod m ) en OK / m OK , y considereNm el n
mos la llamada serie de Poincare asociada a f (x) OK [x], x = (x1 , , xn ),
P (t) :=
Nm (q n t)m ,
m=0
donde n es el n
umero de variables del polinomio. La siguiente proposici
on
proporciona la relaci
on que buscamos.
Proposici
on 4.1. Si t = q s , entonces
Z(f, s) = P (t) t1 (P (t) 1)
(3)
NIGAGALINDO
20
n
Demostraci
on. Tenemos la siguiente particion de OK
f 1 (0):
(x01 , . . . , x0n ) + piK piK
donde (x01 , . . . , x0n ) es una de las Ni soluciones de la congruencia f (x) 0
( mod n ). Como la medida de Haar es invariante bajo traslaciones, tenemos
que la medida de f 1 (piK ) es Ni veces la medida del conjunto
n veces
piK piK ,
la cual, a su vez, es igual a q ni . De todo lo anterior se deduce que
Z(f, s) =
=
i=0
|f (x)|s dx =
q is f 1 (piK ) f 1 (pi+1
K )
i=0
q is Ni q ni Ni q n(i+1) = P (t) t1 (P (t) 1) .
i=0
21
lm supi Ni
q n+
2k
i
,
+
Mi
Mi loge q
i=0
Ni q ni (q s )i =
R(q s )
,
(1 q 1s ) i (1 q Mi si )
(4)
22
NIGAGALINDO
lm supi Ni
q n+ .
ormula de la fase
5. La f
adicas
estacionaria para integrales -
En [18], Igusa introdujo una f
ormula, que denomin
o f
ormula de la fase
estacionaria para integrales -
adicas, la cual permite calcular explcitamente
en muchos casos las funciones zeta locales Z(s, f ). En el artculo mencionado,
Igusa sugiri
o que un estudio de su f
ormula podra conducir a una nueva demostracion de la racionalidad de las funciones Z(s, f ) v
alida en cualquier caracterstica. En [19], Igusa us
o tambien esta f
ormula en el c
alculo explcito de
las funciones zeta locales de ciertos espacios prehomogeneos. Animado por la
sugerencia de Igusa, el segundo autor estudi
o el problema de la racionalidad
de las funciones zeta locales Z(s, f ) de polinomios semicuasihomogeneos en
caracterstica arbitaria [24] y, m
as recientemente, el de la racionalidad de las
funciones zeta locales Z(, s, f ) asociadas con polinomios no degenerados con
respecto a su poliedro de Newton [25], logrando dar una descripci
on detallada
de sus polos (ver tambien [7], [8], [9]).
La presente seccion tiene como proposito presentar una demostracion elemental de la f
ormula de la fase estacionaria de Igusa e ilustrar su uso en el
calculo explcito de varias funciones zeta locales. La presentacion se basa en
[24].
Empezamos por explicar el por que del nombre f
ormula de la fase estacionaria. Las integrales oscilantes del tipo
23
NIGAGALINDO
24
f (x) si k = 0;
fP1 ...Pk (x) =
eP1 ...Pk
fP1 ...Pk1 (Pk + x) , si k 1.
f
Card P E ; f (P ) = 0,
(P ) = 0, para alg
un i = 1, . . . , n .
xi
(3)
P S(f,E)
En consecuencia,
s
|f (x)| dx =
Z(s, f ) =
E
|f (x)| dx +
|f (x)| dx +
25
|f (x)|s dx .
ES(f,E)
A continuaci
on calculamos las dos primeras integrales de la igualdad anterior.
La tercera da origen al termino sumatorio sobre el conjunto S(f, E) en (3).
Para calcular la integral sobre el conjunto E , procedemos como sigue. Primero
observemos que
n
(P + (OK ) ) ,
E =
P E
P E
P +(OK )n
P E
OK
Ahora, mediante la f
ormula de Taylor, obtenemos que
f (P + x) = f (P ) +
f
(P )xi ( mod 2 ) .
x
i
i
para cualquier x OK
. Por consiguiente, |f (P + x)| =
que f (P + x) OK
|f (P )| = 1. En conclusi
on,
|f (x)|s dx = q n Card(E ) .
E
(E,i E,i+1 ) ,
i1
donde la uni
on es disyunta.
La siguiente armacion se usar
a a continuaci
on. Su demostraci
on se presentar
a una vez concluyamos la demostracion en curso.
NIGAGALINDO
26
Afirmaci
on.
Card (E,i mod (piK )n ) = q (n1)(i1) Card(E ), i 1.
(4)
i1
E,i E,i+1
q is
i1
|f (x)|s dx =
q is
dx
dx
E,i E,i+1
dx
i1
E,i
(5)
E,i+1
Para calcular E,i dx, observemos que el conjunto E,i es uni
on disyunta de
i
clases modulo y, dado que la medida dx es invariante bajo traslaciones,
(6)
E,i
dx = Card(E )q in+(n1)(i1) , i 1.
(7)
E,i
27
n
f (x)
xi
i=1
( i z) ( mod i+1 ) .
(9)
xi
i=1
z + a 0( mod ) ,
(10)
o, equivalentemente, que
n
f (x)
i=1
xi
z + a = 0, en Fq .
(11)
f (x)
= 0 para alg
un j. Entonces, el n
umero de soluciones del
xj
sistema de ecuaciones en (11) es q n1 .
Por hip
otesis,
i=1
OK
Estas
pueden evaluarse de la siguiente manera:
|x|ms dx =
|x|ms dx =
q ims
OK
i OK i+1 OK
i0
ims
(i+1)
i0
= (1 q 1 )
io
=
dx
i OK i+1 OK
q i(ms+1) 1 q 1
i0
1
1 q 1ms
(13)
NIGAGALINDO
28
Ejemplo 5.2. Sea f (x) OK [x] una forma de grado d tal que Singf (Fq ) =
{0}. Se dice en tal caso que f (x) es una forma fuertemente no degenerada. Su
correspondiente funci
on zeta local tiene la siguiente forma:
(1 q 1 )q s
1
(f ) + (f )
.
Z(f, s) =
1 q dsn
1 q 1s
En efecto, utilizando la f
ormula de la fase estacionaria y que Singf (f ) = {0} y
S(f ) = pnK , obtenemos que
(1 q 1 )q s
Z(f, s) = (f ) + (f )
+
1 q 1s
pn
K
|f (x)|s dx .
(14)
n
OK
= q dsn
n
OK
n
OK
(15)
.
n y m. Sin perdida sustancial de la generalidad, podemos suponer que OK
En el caso de caracterstica cero, las series de Poincare P (t) asociadas con estos
polinomios fueron calculadas explcitamente por Goldman [11, Thm. 1] y Lin
[21]
Denamos
2
; v(x) m, v(y) n} .
A = {(x, y) OK
Observemos que Z(f, s) puede expresarse como sigue:
s
|f | dxdy +
|f |s dxdy .
Z(f, s) =
A
Ac
29
1
{Z(f, A1 , s) + Z(f, A2 , s) + Z(f, A3 , s)} .
1 q (n+m)mns
(17)
Pasamos en seguida a calcular las integrales Z(f, A1 , s), Z(f, A2 , s), Z(f, A3 , s).
C
alculo de Z(f, A1 , s)
Observemos, en primer lugar, que
|f (x, y)| = |xn + y m | = |xn |, x, y A1 .
Por consiguiente,
|f |s =
Z(f, A1 , s) =
A1
m1
k=0
{(x,y)A1 ; v(x)=k,v(y)n}
Luego,
Z(f, A1 , s) = (1 q 1 )q n
m1
q knsk .
|x|ns dxdy
(18)
k=0
C
alculo de Z(f, A2 , s)
Hagamos L(i, j) := jm in + v(). El conjunto A2 puede describirse como
la uni
on disyunta de los tres subconjuntos
A2,1 = {(x, y) A2 ; L(v(x), v(y)) > 0} ,
A2,2 = {(x, y) A2 ; L(v(x), v(y)) < 0} ,
A2,3 = {(x, y) A2 ; L(v(x), v(y)) = 0}.
NIGAGALINDO
30
Entonces Z(f, A2 , s) = Z(f, A2,1 , s) + Z(f, A2,2 , s) + Z(f, A2,3 , s), donde
Z(f, A2,1 , s) = (1 q 1 )2
q ij+nis
(19)
i,j
q ij(v()+mj)s ,
(20)
i,j
ijnis
OK
i,j
|xn + y m |s dxdy,
1 q 1 )q s ijnis
q
.
1 q 1s i,j
(21)
C
alculo de Z(f, A3 , s)
Designemos con [x] la parte entera del n
umero real x y tomemos v() =
en + r, 0 r < n. Hagamos
"
v()
+ r, v(y) < n ,
:= (x, y) A3 ; v(x) m +
n
"
!
v()
+ r 1, v(y) < n .
:= (x, y) A3 ; v(x) m +
n
A3,1
A3,2
on disyunta), y
Entonces A3 = A3,1 A3,2 (uni
Z(f, A3 , s) = Z(f, A3,1 , s) + Z(f, A3,2 , s).
Para calcular Z(f, A3,1 , s), observemos que
|f (x, y)| = |xn + y m | = |y m |, x, y A3,1 .
31
Entonces
|f (x, y)|s dxdy
Z(f, A3,1 , s) =
A3,1
= (1 q
)q
(m+[
v()
n
])+r
n1
q (v()+mk)sk .
(22)
k=0
El c
alculo de la integral Z(f, A3,2 , s) es similar al de Z(f, A2,2 , s). El conjunto
on disyunta de tres subconjuntos A3,2,1 ,
A3,2 puede descomponerse en la uni
A3,2,2 , A3,2,3 , dados por
A3,2,1 := {(x, y) A3,2 |L(v(x), v(y)) > 0} ,
A3,2,2 := {(x, y) A3,2 |L(v(x), v(y)) < 0} ,
A3,2,3 := {(x, y) A3,2 |L(v(x), v(y)) = 0} .
Por consiguiente, Z(f, A3,2 , s) = Z(f, A3,2,1 , s)+Z(f, A3,2,2 , s)+Z(f, A3,2,3 , s),
y
q ijnis,
(23)
Z(f, A3,2,1 , s) = (1 q 1 )2
i,j
"
v()
+ r, 0 j < n;
donde i, j satisfacen L(i, j) > 0 y m i < m +
n
!
Z(f, A3,2,2 , s) = (1 q 1 )
q ij(v()+mj)s ,
(24)
i,j
!
donde L(i, j) < 0, m i < m +
#
Z(f, A3,2,3 , s) =
"
v()
+ r, 0 j < n, y
n
(f )(1 q 1 )q s
(f ) +
1 q 1s
$
q ijnis,
(25)
i,j
"
v()
+ r, 0 j < n.
donde L(i, j) = 0, m i < m +
n
!
Finalmente, queremos recalcar que los anteriores calculos son validos en cualquier caracterstica, lo cual rearma nuestra conviccion de que la racionalidad
de Z(s, f ) podr
a posiblemente demostrarse sobre la base de la formula de la
fase estacionaria.
32
NIGAGALINDO
Agradecimientos
Los autores quieren agradecer al an
onimo revisor cientco las oportunas y
signicativas sugerencias que nos permitieron mejorar la presentacion de este
trabajo.
Bibliografa
1. Albis, V. S. & Chaparro, R., On a conjecture of Borevich & Shafarevich in arithmetic
function elds, Rev. Acad. Colombiana Ci. Ex. Fis. Nat XXI (80) (1997), 313319.
2. Arnold, V., Varchenko, A. & Goussein-Zade, S., Singularit
es des applications di
eren
tiables, Vol.2, Editions
Mir, Moscou, 1986.
3. Bernstein, I. N. and Gelfand S.I., Meromorphic property of the function P , Funct. Anal
Appl. 3 (1969), 6869.
4. Borevich, Z. I. & Shafarevich, I. R., Number Theory, Academic Press, New York, 1966.
5. Denef, J., The rationality of the Poincar
e series associated to the p-adic points of a
variety, Inv. Math. 77 (1984), 123.
6. Denef, J., Report on Igusas local zeta function. S
eminaire Bourbaki, Vol. 1990/91, No.
201-203, Asterisque No. 741 (1992), 359386.
7. Denef, J., Poles of p-adic complex powers and Newton polyhedra, Nieuw Arch. Wisk. (4)
13 (3), 289295.
s . I., J. Analyse Math. 53
8. Denef, J. & Sargos, P., Poly`
edre de Newton et distribution f+
(1989), 201218.
s . II., Math. Annalen 293
9. Denef, J. & Sargos, P., Poly`
edre de Newton et distribution f+
(1992), 193211.
10. Denef, J. & van den Dries, L., p-adic and real subanalytic sets, Annals of Math. 128
(1988), 201218.
11. Goldman, J., Number of solutions of congruences. Poincar
e series for algebraic curves,
Adv. in Math. 62 (1986), 6883.
12. Goldstein, L. J., Analytic number theory, Prentice-Hall, 1969.
13. Hironaka, H., Resolution of singularities of an algebraic variety over a eld of characteristic zero, Ann. Math. 79 (1964), 109326.
14. Igusa, J.I., Complex powers and asymptotic expansions, I, J. reine u. angew. Math.
268/ 269 (1974), 110130.
15. Igusa, J.I., Complex powers and asymptotic expansions, II, J. reine u. angew. Math.
278/279 (1975), 307321.
16. Igusa, J.I., Some observations on higher degree characters, Amer. J. Math. 99 (1977),
393417.
17. Igusa, J.I., Lectures on forms of higher degree, Tata Inst. Fund. Research, Bombay,
1978.
18. Igusa, J.I., Stationary phase formula for p-adic integrals and its applications, Algebraic
Geometry and its applications (1994), 175-194, Springer-Verlag.
19. Igusa, J.I., Local zeta functions of certain prehomogeneous vector spaces, Amer. J. Math.
114 (2) (1992), 251296.
20. Igusa, J.I., On local zeta functions [translation of Sugaku 46 (1994), no. 1, 2338; MR
95e:11126]. In Selected papers on number theory and algebraic geometry, Amer. Math.
Soc. Transl. Ser. 2, 172 (1996), 120, Amer. Math. Soc., Providence, RI.
33
21. Lin, C. Y., On the Igusas local zeta function of xa + y b . In Algebraic geometry and
algebraic number theory (Tianjin, 19891990), Nankai Ser. Pure Appl. Math. Theoret.
Phys. 3 (1992), 6470, World Sci. Publishing, River Edge, NJ.
22. Meuser, D., On the rationality of certain generating functions, Math. Ann. 256 (1981),
303310.
23. Weil, A., Basic Number Theory, SpringerVerlag, Berlin, 1967.
24. Zu
niga-Galindo, W. A., Igusas local functions of semiquasihomogeneous polynomials, to
appear in Trans. Amer. Math. Soc. (1998).
25. Zu
niga-Galindo, W. A., Igusas local functions of non-degenerated polynomials, submitted (1999).
n
iga-Galindo
Wilson Zu
mputo Especializado,
Laboratorio de Co
noma de Bucaramanga,
Universidad Auto
Bucaramanga, Colombia.
e-mail: wzuniga@bumanga.unab.edu.co
Vctor Albis
ticas y Estadstica,
Departamento de Matema
Universidad Nacional de Colombia,
, Colombia.
Bogota
e-mail: valbis@accefyn.org.co