You are on page 1of 29

Lecturas Matem

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

VICTOR ALBIS & WILSON ZU

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).

FUNCIONES ZETA LOCALES DE IGUSA

Si f (x) OK [x], x = (x1 , , xn ), la funci


on zeta local de Igusa asociada con
este polinomio se dene por la f
ormula

|f (x)|sK dx ,
(1)
Z(s, f ) :=
n
OK

donde dx es una medidad de Haar normalizada de tal manera que la medida


n
sea 1, y s C, con Re(s) > 0.
de OK
La funci
on zeta local Z(s, f ) contiene informacion aritmetica acerca del polinomio f (x). Para explicar esta relacion introducimos la denominada serie de
umero de soluciones de la conPoincare de f (x) OK [x]: si Nm designa al n
m
gruencia f (x1 , , xn ) 0(mod p ), con xi OK /pm , sea
P (t) :=

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


(x) exp ( 1f (x))dx ,


(4)
I() =
Rn

NIGAGALINDO

VICTOR ALBIS & WILSON ZU

donde es una funci


on del tipo de Schwartz. En este caso, sabemos que R es
un cuerpo local arquimediano, localmente compacto, y que dx, la medida de
Lebesgue, es precisamente la medida de Haar del grupo topol
ogico (Rn , +).
Los an
alogos no arquimedianos de las funciones de tipo Schwartz son las
denominadas funciones del tipo de SchwartzBruhat. Estas son funciones localmente constantes con soporte compacto. Si K es un cuerpo local no arquimediano, la an
aloga de (4) es una funci
on zeta local denida por

Z (s, f ) =

(x)|f (x)|s dx ,

Re(s) > 0 ,

(5)

Kn

donde f (x) es una funci


on K-analtica, es una funci
on del tipo de Schwartzon adeBruhat y dx es una medida de Haar sobre K n . Bajo una interpretaci
cuada las integrales (4) y (5) resultan ser realizaciones diferentes de un mismo
objeto matematico.
En la secci
on 5, introducimos la f
ormula de la fase estacionaria de Igusa y la
usamos para calcular las funciones zeta locales de algunos tipos de polinomios.
Es importante anotar que la racionalidad de Z(s, f ) es un problema abierto
en caracterstica positiva, raz
on por la cual la conjetura de Bori
evich y Shafari
evich es a
un un tema de actualidad. Esto despert
o nuestro interes en
examinar mas de cerca este u
ltimo caso. En [1], V. S. Albis y R. Chaparro,
usando metodos elementales, demostraron su validez en algunos casos. En
un artculo reciente [18], Igusa ha sugerido que un estudio cuidadoso de su
formula de la fase estacionaria puede conducir a una nueva demostraci
on de
la racionalidad de las funciones zeta locales en cualquier caracterstica. W.
iga [24, 25] ha empleado exitosamente esta sugerencia para comprobar la
Zun
validez de la conjetura para amplias clases de polinomios.
Finalmente, para cerrar esta introducci
on, queremos recomendar vivamente
al lector interesado en proseguir el estudio de las funciones zeta locales las
referencias [6, 17, 20], las cuales contienen una excelente y mas completa
introducci
on al tema de las funciones zeta locales.
2. Cuerpos locales
En esta seccion seguimos de cerca la exposicion que hace Goldstein en [12].
A este libro remitimos al lector para mas detalles sobre algunas de nuestras
armaciones, aunque tambien puede serle u
til el libro m
as difcil de A. Weil
[23].
Un cuerpo de n
umeros algebraicos es una extensi
on nita de Q.

FUNCIONES ZETA LOCALES DE IGUSA

Al cuerpo nito con q elementos lo denotamos con Fq y con Fq (x) al cuerpo de


funciones racionales con coecientes en Fq . Un cuerpo de funciones algebraicas
en una variable con cuerpo de constantes finito es una extensi
on nita de Fq (x).
Un cuerpo K se denomina un cuerpo global si es un cuerpo de n
umeros
algebraicos o un cuerpo de funciones algebraicas en una variable con cuerpo de
constantes nito.
Definici
on 2.1. Sea K un cuerpo global. Un valor absoluto | | de K es una
aplicaci
on | | : K R+ {0} que cumple las siguientes condiciones:
(i) |0| = 0; |x| = 0 si, y s
olo si, x = 0.
(ii) |xy| = |x| |y|.
(iii) Existe una constante C > 0 tal que: |x + y| C max{|x|, |y|}.
Si (iii) es v
alida con C = 1, decimos que | | es un valor absoluto no arquimediano. En cualquier otro caso decimos que | | es un un valor absoluto
arquimediano.
El lector puede vericar f
acilmente que los valores absolutos no arquimedianos y los valores absolutos arquimedianos con constante C = 2 satisfacen la
desigualdad triangular. Por otra parte, si | | es un valor absoluto con constante
C > 2 y R+ , entonces | | es un valor absoluto con constante igual a C .
Ahora bien, el valor absoluto | | es equivalente al valor absoluto | |, en el
sentido de que las topologas que inducen sobre K son equivalentes, como precisaremos mas adelante. Seg
un esto, podemos suponer que todo valor absoluto
satisface la desigualdad triangular.
Ejemplo 2.2. Sean K = Q y p Z un n
umero primo. Dado que Z es un
dominio de factorizaci
on u
nica y Q es su cuerpo de cocientes, todo n
umero
racional x = 0 se expresa de manera u
nica en la forma
a
x = pm , m Z, p  a, p  b.
b


Denimos
|x|p :=

pm , si x = 0,
0, si x = 0.

Dejamos al cuidado del lector vericar, como ejercicio, que | |p es un valor


absoluto no arquimediano.
Ejemplo 2.3.
ax{x, x}, el valor absoluto usual, es un
Sea K = R. Entonces |x| := m
valor absoluto arquimediano.

10

NIGAGALINDO

VICTOR ALBIS & WILSON ZU

Dado un valor absoluto | | sobre un cuerpo global K, podemos asociar a K


la metrica d : K R+ {0} denida por
d(x, y) := |x y|, para todo x, y K .
Se dice que la topologa correspondiente a esta metrica es inducida por el valor
absoluto | |.
Proposici
on 2.4. Con respecto a la topologa inducida por la metrica d, K es
un cuerpo topol
ogico. Esto es, K es un espacio tolopogico en el cual las operaciones adicion, multiplicaci
on y formacion de inversos son funciones continuas.
Dejamos la vericaci
on de la anterior proposici
on como ejercicio al lector,
sugiriendole que para simplicar la demostraci
on tenga en cuenta que las traslaciones y las dilataciones son homeomorsmos, as que para vericar la continuidad de la adici
on (respectivamente, de la multiplicaci
on) basta mostrar
que ella es continua en el punto (0, 0) (respectivamente, en el punto (1, 1)).
La razon para esto es que la topologa de K (respectivamente, de K ) esta
completamente determinada por las vecindades de 0 (respectivamente, de 1).
El lector podr
a tambien consultar [12], por ejemplo.
Definici
on 2.5. Dados dos valores absolutos, | |1 , | |2 sobre K, decimos que
son equivalentes si inducen la misma topologa sobre K.
Para nuestra conveniencia y la del lector, recordamos la noci
on de completado
de cuerpo. Sea K un cuerpo con un valor absoluto | |.
Definici
on 2.6. El completado de K con respecto a | | es el completado de K
como espacio metrico. M
as exactamente, el completado de K con respecto a | |
 ) consistente en un espacio metrico K
 y una isometra
es el par ordenado (K,
 que satisfacen las siguientes condiciones:
:KK
 es un espacio metrico completo;
(i) K

(ii) (K) es denso en K.
 puede construirse a partir de las sucesiones de Cauchy
Recordemos que K
con elementos en K.
 ) esta unvocamente determinado, salvo isometras. En el caso
El par (K,
 puede dotarse de una
especial que estamos considerando, el espacio metrico K
estructura de cuerpo topol
ogico.
Definici
on 2.7. Un cuerpo local no arquimediano es una extensi
on nita de
Qp o de Fq ((T )).

FUNCIONES ZETA LOCALES DE IGUSA

11

Los cuerpos locales no arquimedianos se obtienen completando un cuerpo


global con respecto a un valor absoluto no arquimediano.
Si K es un cuerpo local no arquimediano con valor absoluto | |K , denimos
OK := {x K ; |x|K 1},
pK := {x K ; |x|K < 1} .
El conjunto OK es un anillo topol
ogicamente cerrado, llamado el anillo de los
enteros de K. Por otra parte, pK es un ideal maximal de OK . El cuerpo
OK /pK se denominan el cuerpo residual de K. El siguiente resultado describe
la estructura del anillo OK y de sus ideales [12].
Teorema 2.8. OK es un subanillo compacto y abierto de K. Los ideales
de OK son de la forma prK , r 1, y son conjuntos a la vez compactos y
abiertos. En particular, K es localmente compacto y totalmente discontinuo.
Finalmente, pK es un ideal principal.

, el conjunto de los elementos invertibles


De aqu resulta f
acilmente que OK
(o unidades) de OK , es igual a {x K ; |x|K = 1}.
ametro uniformador.
Un generador del ideal principal pK se llama un par
Podemos, pues, escribir pK = OK .
Sea R OK un sistema completo de representantes de las coclases de
OK /OK en OK . Un tal sistema se suele llamar tambien un levantamiento
de OK /OK . La escogencia de los elementos de R puede ser crucial en algunos
aspectos de la teora de los cuerpos locales no arquimedianos. Usualmente, se
on X q X = 0, donde
toman elementos de R a las races en OK de la ecuaci
ller.
q = Card[Ok /pK ]. En este caso hablamos de representantes de Teichmu
El siguiente resultado nos ser
a muy u
til en lo que sigue [12].

Lema 2.9. Si x K, entonces x puede escribirse unvocamente en la forma



bj j , bj R.
x=
jr

Recprocamente, toda serie de la forma anterior converge en K.


Los siguientes dos ejemplos desempe
nan papeles centrales en nuestra exposicion.
Ejemplo 2.10. Sea k[[T ]] el anillo de las series potenciales formales en la
indeterminada T y coecientes en un cuerpo nito k con q elementos. Sus
elementos tienen la forma


ai T i = a0 + a1 T + + ai T + ,
ai k .
x=
i=0

NIGAGALINDO

VICTOR ALBIS & WILSON ZU

12

La suma de dos estas series se dene por la formula

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

Observemos que la inclusi


on k k[[T ]] subsiste si identicamos cada elemento
a k con la serie a + 0 T + 0 T 2 + . Usando directamente las deniciones,
podemos comprobar f
acilmente que la serie 0 es el elemento neutro para la
adici
on y la serie 1 lo es para la multiplicaci
on, y que las operaciones que
hemos denido hacen de k[[T ]] un dominio unitario.
Denamos ahora la siguiente funci
on:
v(x) = v


i=0

ai T


:=

i si a0 = a1 = = ai1 = 0 y ai = 0
si x = 0 .

Evidentemente, v es una aplicacion sobreyectiva de k[[T ]] sobre N {}, la


cual tiene las siguientes propiedades:
(a) v(xy) = v(x) + v(y).
(b) v(x + y) mn {v(x), v(y)} y v(x + y) = mn {v(x), v(y)} si, y s
olo si,
v(x) = v(y).
(c) v(x) = 0 si, y solo si, x es una unidad del anillo k[[T ]].
(d) v(0) = .
La aplicaci
on v se denomina una valuaci
on de k[[T ]].
Observaci
on. En general, una aplicaci
on sobreyectiva v de un dominio entero
A sobre Z {} que satisfaga las propiedades (a), (b), c), (d) se denonomina
una valuaci
on de A, y la pareja (A, v) se denomina un anillo de valuaci
on
discreta.
Vericaremos ahora las anteriores propiedades en el caso A = k[[T ]]. Usando
las deniciones del producto y la suma de series formales, es facil comprobar

FUNCIONES ZETA LOCALES DE IGUSA

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

es nuevamente una serie potencial formal. En consecuencia, x1 = a1


0 (1 +
y)1 .
El cuerpo de fracciones k((T )) de k[[T ]] esta conformado por las llamadas
series de Laurent (o series formales meromorfas)

k((T )) :=


ai T i ;

ai k

umero nito de ndices.


donde ai = 0 para i < 0, salvo para un n
La valuaci
on v se extiende naturalmente al cuerpo de cocientes k((T )) de
k[[T ]].
Denimos ahora

|x|v := q v(x) ,

x k((T )) .

A partir de las propiedades (a), (b), (c), (d) de la aplicaci


on v que hemos vericado anteriormente, se deduce que | | dene un valor absoluto no arquimediano
sobre k((T )) y, por consiguiente, que k((T )) es cuerpo topol
ogico.
Observaci
on. Si | | es un valor absoluto no arquimediano sobre un cuerpo K,
log | | dene una valuaci
on sobre K.
Por otra parte, v(T ) = 1, de modo que el ideal maximal del anillo k[[T ]] es el
ideal principal
T k[[T ]]. Si denimos el homomorsmo de anillos : k[[T ]] k

i
por
i=0 ai T ) = a0 , vemos que ker = (T ). Por consiguiente, usando el
primer teorema de isomorfa de los anillos, obtenemos que
k[[T ]]/(T ) k .
En consecuencia, k es el cuerpo residual de k[[T ]] para la valuaci
on v. Ademas,
k es un sistema completo de representantes de k[[T ]]/(T ). Dejamos como ejercicio al lector comprobar que el cuerpo k((T )) es completo.

14

NIGAGALINDO

VICTOR ALBIS & WILSON ZU

Ejemplo 2.11. Cuando en el anillo Z de los n


umeros enteros ordinarios se
n
n+1
n
 a, escribimos p a. Dicho esto, para cada primo p
tiene p |a pero p
vamos a tratar de construir una valuaci
on vp del anillo Z, empezando de la
siguiente manera:
vp (a) := n(a) = n si pn a .
Si pn a y pm b, es claro que pn+m ab, o sea, que vp (ab) = vp (a) + vp (b). Si
n < m, tambien es claro que pn (a+b), luego vp (a+b) = mn {vp (a), vp (b)} =
n. Ahora, si n = m, sabemos que pn |(a + b), pero posiblemente una mayor potencia de p puede a
un dividir a (a+b). Entonces vp (a+b) mn {vp (a), vp (b)}.
Hemos, pues, demostrado las propiedades (a) y (b) de las valuaciones.
Sin embargo, (c) no es v
alida en Z para vp , pues si q es un primo distinto
de p entonces vp (q) = 0, pero q no es invertible en Z. El que vp no satisfaga
(c) expresa sencillamente el hecho de que en Z no hay sucientes unidades:
Z = {1, +1}.
Esta situaci
on llev
o a Kurt Hensel a introducir un anillo m
as grande que
Z, en el cual se satisfaga (iii). La idea de Hensel fue tomar el anillo
A(p) =

a
b


Q ; a, b Z, p  b ,

el cual claramente contiene a Z, y denir v p (a/b) := vp (a) en A(p) . En A(p)


todo primo q de Z, distinto de p, es ahora una unidad.
Observaci
on. Los lectores familiarizados con el proceso de localizacion de un
anillo en uno de sus ideales primos pueden reconocer que A(p) es precisamente
la localizaci
on de Z en el ideal (p) = pZ.
Esta extension de vp satisface (a), (b) y tambien (c). En efecto, si u
es una unidad, sabemos que v p (u) = 0. Supongamos, recprocamente, que
v p (x) = v p (a/b) = 0. Esto signica que p  a, es decir, b/a A(p) y, por lo tanto,
x es una unidad de A(p) . Entonces, si hacemos v p (0) = , (A(p) , v p ) es un
ametro uniformador
anillo de valuaci
on discreta. Como v p (p) = 1, p es un par
de A(p) . De nuevo construimos un valor absoluto no arquimediano sobre A(p)
tomando para cada x = 0, |x| = pvp (x) .
Es posible demostrar que, para todo n 1, Ap /pn Ap = Z/pn Z, donde
p A(p) es el ideal generado por pn en A(p) . En virtud de este resultado, podemos
tomar como sistema de representantes al conjunto de enteros {0, 1, . . . , p 1}.
n

Existe una diferencia esencial entre k[[T ]] y A(p) . El primero es un anillo de


caracterstica positiva y su cuerpo residual k esta contenido en k[[T ]], mientras
que A(p) es un anillo de caracterstica cero, Z A(p) y su cuerpo residual es

FUNCIONES ZETA LOCALES DE IGUSA

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,

para todas las funciones f que sean -integrables.


Esta medida es u
nica salvo por m
ultiplos constantes positivos, y se le llama
medida de Haar.
Si es una medida de Haar sobre G, entonces, para todo conjunto -medible
A G y todo x G, tenemos que
(A) = (xA) .

(1)

Ademas, todo conjunto de Borel de G es -medible. Tambien, si A G es


abierto y no vaco, (A) > 0, y si A es compacto, (A) es nito.
Sean G un grupo localmente compacto, una medida de Haar sobre G y
un automorsmo algebraico y topol
ogico de G. Si A G es -medible,

16

NIGAGALINDO

VICTOR ALBIS & WILSON ZU

tambien lo es (A). Para cada automorsmo de G podemos entonces denir


on
una nueva medida  sobre G mediante la relaci
 (A) = ((A)),

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)

Es claro entonces que el modulo es independiente de la escogencia original de la


medida de Haar. Si G es compacto, entonces G es -medible y (G) = G para
todo automorsmo. Por consiguiente, en este caso, mod G () = 1 para todo
automorsmo . Si G es discreto, entonces {e} es -medible (e es la unidad
de G) y (e) = e para todo automorsmo . Por lo tanto, si G es discreto,
mod G () = 1 para todo automorsmo .
Sean ahora K un cuerpo local no arquimediano, OK su subanillo compacto
nico ideal de OK , donde es un
maximal, pK = {x K ; |x|K < 1} = OK el u
par
ametro uniformador. Sabemos (vease la seccion 2) que OK /pK = OK /OK
tiene q elementos, donde q es alguna potencia de un primo p.
Para una medida de Haar sobre el grupo aditivo del cuerpo K, usaremos
la notaci
on dxK . Como OK es compacto, es un conjunto medible. Para
nuestros prop
ositos usaremos la medida de Haar sobre K que satisface (OK ) =
1. Por lo tanto, escribiremos (1) as:
(A) = (x + A) .
on disyunta de
Ahora bien, OK admite la siguiente descomposicion como uni
un n
umero nito de clases de equivalencia:

OK =

(pK + a).

aOK /pK

Usando la aditividad de y el hecho de que es invariante por traslaciones, lo


que en este caso signica que (pK + a) = (pK ), podemos entonces escribir
1 = (OK ) =


a m
od pK

(pK + a) = (pK )[OK : pK ],

FUNCIONES ZETA LOCALES DE IGUSA

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)

Consideremos ahora a K. Sabemos que aOK = pK = v(a) OK . Por


otra parte, si a K y si a : K K es el automorsmo (algebraico y
topol
ogico) x  ax, x K, podemos considerar la medida  asociada con este
automorsmo, de manera que ser
a  (A) = mod (a )(A) para todo conjunto
medible A. En particular,


v(a)
pK
(OK )



(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

de las unidades de OK es precisamente OK 


Recordemos que el grupo OK
pK = {x K ; |x|K = 1}. Por consiguiente,

) = (OK ) (pK ) = 1 q 1 .
(OK

(6)

Como K = K  {0} resulta ser tambien un grupo localmente compacto


multiplicativo, existe tambien una medida de Haar , la cual suponemos nor
) = 1. Armamos que esta medida es igual
malizada en forma tal que (OK
a la medida

1
dx
.
(7)
A 
1
|x|K
A 1q
Para vericar esta armaci
on demostramos primero que la medida denida en
(7) es una medida invariante para la multiplicaci
on de K .
En efecto, si K , haciendo el cambio de variables x = z en

1
dx
1
|x|K
A 1 q

18

NIGAGALINDO

VICTOR ALBIS & WILSON ZU

y teniendo en cuenta (4), obtenemos que





1
dx
1
||K dz
1
dx
=
=
.
1
1
1
|x|K
||K |z|K
|x|K
A 1 q
A 1q
A 1q
on.
Esto es, (7) dene en el grupo K una medida invariante para la multiplicaci
Como la medida de Haar esta u
nivocamente determinada salvo por m
ultiplos
positivos, tenemos que la medida denida en (7) es un m
ultiplo de la medida
. Por otra parte,


1
1
dx
=
dx = 1.
1 q 1 |x|

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)

4. Funciones zeta locales de Igusa


En esta seccion presentamos las deniciones y resultados b
asicos relativos a
las funciones zeta locales. Sean K un cuerpo local no arquimediano, OK su
anillo de enteros, pK el ideal maximal de OK , OK /pK
= Fq el cuerpo residual
ametro uniformador
(donde Fq es el cuerpo nito con q elementos) y un par
jo.
Se dice que una funci
on : K n C es localmente constante, si para todo
n
punto x K existe una vecindad de x en la cual es constante. Con otras
palabras, si existe r N, dependiente de x, tal que (x) = (y) si y x
prK .... prK (n veces). Por otra parte, se dice que tiene soporte compacto,
si la clausura topologica del conjunto {x K n ; f (x) = 0} es un subconjunto
compacto de K n . Si : K n C es a la vez localmente constante y de soporte
compacto, decimos que es una funci
on de Schwartz-Bruhat. Denotamos con
S(K n ) al conjunto de estas funciones.
Sea f (x) OK [x], x = (x1 , . . . , xn ), un polinomio no constante, y
S(K n ).

C un car
acter de OK
, esto es, un homomorsmo continuo de
Sea : OK

umeros complejos de norma 1 cuya imagen sea nita.


OK en el grupo de los n
Formalmente, hacemos (0) = 0.

, escribimos u = ac(z). Este valor lo llamamos


Si z K, z = u v(z) y u OK
la componente angular de z.

FUNCIONES ZETA LOCALES DE IGUSA

A , f y asociamos la funcion zeta local, que llamamos de Igusa,



(x)(acf (x))|f (x)|sK dx ,
Z (s, , f ) = Z (s, , K, f ) =

19

(1)

Kn

para s C, Re(s) > 0, donde dx denota la medida de Haar sobre K n , norman


lizada de tal manera que OK
tenga medida 1. La integral (1) converge para
Re(s) > 0.
Estas funciones fueron introducidas por Andr
e Weil (vease, por ejemplo,
[23]) y sus propiedades para polinomios arbitrarios fueron estudiadas por Igusa
[14, 15, 16, 17, 20] cuando K tiene caracterstica 0. El tipo mas simple de
estas funciones tiene la forma

|f (x)|sK dx .
(2)
Z(s, f ) =
n
OK

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

VICTOR ALBIS & WILSON ZU

20

n
Demostraci
on. Tenemos la siguiente particion de OK
 f 1 (0):

f 1 (O ) (f 1 (pK )  f 1 (p2K )) (f 1 (pkK )  f 1 (pk+1


K )) . . .
on
Por otra parte, el conjunto f 1 (piK ) puede descomponerse como una uni
disyunta de Ni conjuntos de la forma
n veces




(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 1 (piK )f 1 (pi+1


K )

|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

En [15], Igusa establecio el siguiente resultado b


asico en la teora de las
funciones zeta locales.
Teorema 4.2. Si K es un cuerpo de n
umeros padicos, Z (s, , f ) admite
una prolongaci
on meromorfa a todo C, la cual es una funci
on racional de q s .
En su demostraci
on, Igusa hace uso del teorema de resolucion de singularidades de Hironaka [13], el cual, hasta el momento, no tiene contrapartida en
caracterstica distinta de cero. M
as tarde, Denef [5, 10 ] dio una demostraci
on
del Teorema 4.2 sin usar resoluci
on de singularidades. En ella us
o eliminaci
on
on no puede extenderse al caso de
de cuantificadores en Qp . Esta demostraci
caracterstica > 0, pues hasta ahora no se dispone de una teora de la eliminacion de cuanticadores en anillos sucientemente generales. Recientemente, A.
J. de Jong establecio una generalizaci
on debil del teorema de Hironaka en
caracterstica positiva. Sin embargo, hasta donde entendemos, este resultado
no es suciente para que la demostraci
on de Igusa se generalice a caracterstica

FUNCIONES ZETA LOCALES DE IGUSA

21

positiva. Adicionalmente mencionamos que a un n


umero nito de polinomios,
con coecientes en un cuerpo local no arquimediano, es posible asociar una
funci
on zeta local, la cual es de nuevo una funci
on racional de q s . Este
resultado fue primero establecido por Meusser [22], y luego por Denef, en
un ambito mucho m
as general [5], [10].
El an
alogo arquimediano del Teorema 4.2 fue estudiado por M. Atiyah,
I.M. Gelfand, I.N. Berstein (vease, por ejemplo, [3]).
Por otro lado, en [4], Bori
evich y Shafari
evich conjeturaron que en el
caso de que K fuese un cuerpo de n
umeros padicos, la serie de Poincare
on racional. Esta
P (t) asociada con un polinomio f (x) Zp [x] era una funci
conjetura es hoy una consecuencia directa del Teorema 4.2 y de la Proposici
on
4.1.
Los polos de P (t), o lo que es esencialmente lo mismo, los de Z(s, f ), controlan el comportamiento asint
otico de los coecientes Nm , tal como lo expresa
la siguiente proposicion.
Proposici
on 4.3.
1/i

lm supi Ni

q n+

donde = max {Re(s) ; s es polo de P (q s )}.


Demostraci
on. Igusa [15] demostro que los polos de Z(s, f ) son de la forma

2k
i
,
+
Mi
Mi loge q

donde k Z y los (i , Mi ) son datos numericos asociados con la resolucion


de singularidades de la hipersupercie denida por el polinomio f (x). En
consecuencia, usando el teorema de Igusa y la Proposici
on 4.1, tenemos


i=0

Ni q ni (q s )i =

R(q s )

,
(1 q 1s ) i (1 q Mi si )

donde R(t) Q[t]. Cada factor de la forma

(4)

da lugar a una serie


1
geometrica que converge uniforme y absolutamente cuando
q Mi si

q Re(s) < q i /Mi ,


de modo que la serie obtenida desarrollando en serie de potencias de q s el
miembro derecho de (4) converge uniforme y absolutamente cuando
q Re(s) < q mni {i /Mi } = q maxi {i /Mi } = q .

22

NIGAGALINDO

VICTOR ALBIS & WILSON ZU

Ahora bien, el criterio de la raz asegura que el radio de convergencia de la serie


que aparece en el miembro izquierdo debe ser mayor o igual a q , es decir,
que

1/i
q
lm supi Ni q ni
lo que implica que
1/i

lm supi Ni


q n+ . 

Como consecuencia de la anterior proposicion tenemos que si i  0 entonces


Ni q i(n+)
Para un panorama m
as amplio y profundo de la teora de las funciones zeta
locales que el que hemos mostrado aqu, recomendamos al lector las referencias
[6, 17, 20].
Terminamos esta seccion repitiendo que el considerar la conjetura de Bori
evich y Shafari
evich en caracterstica positiva ha sido el motivo que nos
ha llevado al estudio de esta interesante teora.

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


(x) exp ( 1f (x))dx ,


(1)
I() =
Rn

FUNCIONES ZETA LOCALES DE IGUSA

23

tienen un papel importante en la fsica matematica, y el comportamiento


asint
otico de las mismas, es decir, el comportamiento de su magnitud para
valores grandes del par
ametro , constituye un problema cl
asico con muchas
aplicaciones practicas. El principio de la fase estacionaria (vease, por ejemplo,
[2]) establece que la contribuci
on m
as importante al desarrollo asint
otico de
las integrales del tipo (1) proviene de los puntos crticos o singulares de la fase
f (x), esto es, de los puntos que satisfacen f (x) = 0, f (x) = 0.
Como contraparte, si K es un cuerpo local no arquimediano, podemos considerar la funci
on zeta

(x)|f (x)|s dx , Re(s) > 0 ,
(2)
Z (s, f ) =
Kn

donde f (x) es una funci


on K-analtica, es una funci
on de Schwartz-Bruhat
y dx es una medida de Haar sobre K n . Bajo una interpretaci
on adecuada, las
integrales (1) y (2) resultan ser realizaciones diferentes de un mismo objeto
matematico. En [18], Igusa da una f
ormula que permite calcular en ciertos
casos las integrales Z(s, f ). Por analoga con el metodo cl
asico de la fase estao al suyo metodo de la fase estacionaria
cionaria (donde K = Rn ), Igusa llam
para integrales -
adicas. A continuaci
on pasamos a describir este metodo.
Denotemos con x la imagen de un elemento x OK por el homomorsmo
odulo
canonico OK OK /OK Fq . Con otras palabras, x es la reduccion m
de x. Dado un polinomio f (x) cuyos coecientes no estan todos en OK ,
odulo los coecientes
denotemos con f (x) al polinomio obtenido reduciendo m
de f (x) y con Singf (K) (respectivamente, Singf (Fq )) al conjunto de los puntos
singulares en K n (respectivamente, Fnq )) de la hipersupercie denida por el
polinomio f (x) K[x] (respectivamente, f (x) Fq [[x]]). Es decir,


f
n
(P ) = 0, i = 1, . . . , n ,
Singf (K) = P K ; f (P ) = 0,
xi


f
n
(P ) = 0, i = 1, . . . , n ,
Singf (Fq ) = P Fq ; f (P ) = 0,
xi
donde /i denota la derivada parcial formal usual.
Fijemos un levantamiento R de Fq en OK , es decir, un sistema de representantes de Fq en OK . Sean f (x) OK [x] un polinomio en n variables y
n
. La funci
on
P1 = (y1 , . . . , yn ) OK
fP1 (x) := ep1 f (P1 + x) ,

NIGAGALINDO

VICTOR ALBIS & WILSON ZU

24

donde ep1 es el mnimo orden de en los coecientes de f (P1 + x), se llama la


dilataci
on de f (x) en P1 . Inductivamente denimos eP1 , . . . , ePk y fP1 ...Pk (x)
por

f (x) si k = 0;
fP1 ...Pk (x) =

eP1 ...Pk
fP1 ...Pk1 (Pk + x) , si k 1.

Sea E un subconjunto de Fnq y sea E su preimagen bajo el homomorsmo


canonico OK OK /OK Fq . Sea S(f, E) el subconjunto de Rn (el conn
) que se aplica biyectivamente sobre el
junto de los representantes de Fnq en OK
conjunto Singf (Fq ) E. Denamos tambien
= (f ) = q n Card{P E ; f (P ) = 0}
= (f )
=q



f
Card P E ; f (P ) = 0,
(P ) = 0, para alg
un i = 1, . . . , n .
xi

Con todo esto podemos escribir la f


ormula de la fase estacionaria de Igusa.
Lemma 5.1. (F
ormula de la fase estacionaria de Igusa)



(1 q 1 )qs
s
nep s
+
|f (x)| dx = +
q
|fP (x)|sK dx
n
(1 q 1 q s )
E
OK

(3)

P S(f,E)

on disyunta de los siDemostraci


on. Comencemos observando que E es la uni
guientes conjuntos:
E := {P E ; f (P ) = 0} ,


f
E := P E ; f (P ) = 0,
(P ) = 0, para alg
un i = 1, . . . , n ,
xi


f
E S(f,E) := P E ; f (P ) = 0,
(P ) = 0, para todo i = 1, . . . , n .
xi
Por otro lado, puesto que E es la preimagen de E bajo el homomorsmo
on disyunta de las preim
agenes de
can
onico OK OK /OK Fq , E es la uni
on disyunta de los conjuntos
los conjuntos E , E , E S(f,E) . Esto es, E es la uni
E := {P E ; P E } ,
E := {P E ; P E } ,
ES(f,E) := {P E ; P E S(f,E) } .

FUNCIONES ZETA LOCALES DE IGUSA

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

donde P es el representante correspondiente a P y la uni


on es disyunta. Entonces,


 

s
s
n
|f (x)| dx =
|f (x)| dx =
q
|f (P + x)|s dx .
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

Por otro lado, de la denici


on del conjunto E se tiene que f (P ) = 0, esto es,

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

Calculemos ahora la integral sobre E . Consideremos los conjuntos


E,i := {P E | f (P ) (piK )n }, i 1.
Se tiene que
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

VICTOR ALBIS & WILSON ZU

26

Afirmaci
on.
Card (E,i mod (piK )n ) = q (n1)(i1) Card(E ), i 1.

(4)

Usando esta armaci


on y lo demostrado anteriormente, obtenemos que

|f (x)|s dx =
E


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,


dx = Card(E,i ( mod i ))q in .

(6)

E,i

Ahora bien, de la relaci


on anterior y de la armaci
on (5) resulta que


dx = Card(E )q in+(n1)(i1) , i 1.

(7)

E,i

Reemplazando (7) en (5) y realizando algunas c


alculos elementales obtenemos
que

(1 q 1 )qs
.
(8)
|f (x)|s dx =
(1 q 1 q s )
E
Para nalizar la demostraci
on, vericaremos la validez de la armaci
on (4).
Comencemos observando que la aplicacion
: E,i+1 ( mod ( i+1 OK )n ) E,i ( mod ( i OK )n ) ,
donde (x( mod ( i+1 OK )n )) = x( mod ( i OK )n ), es sobreyectiva. Teniendo
esto en cuenta, el problema se reduce a demostrar que cada bra de tiene q n1
elementos. Sea, pues, x( mod ( i OK )n ) un elemento de E,i ( mod ( i OK )n ).
Los elementos de la bra de x( mod i ) tienen la forma:
y = x + i z.

FUNCIONES ZETA LOCALES DE IGUSA

27

Debemos entonces contar el n


umero de los z. Para ello observemos que mediante la f
ormula de Taylor, podemos escribir
f (y) f (x) +

n

f (x)

xi

i=1

( i z) ( mod i+1 ) .

(9)

Pero f (x) = a i , pues f (x) 0( mod i ). Entonces, de (9) obtenemos que


n

f (x)

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,

En lo que sigue, calcularemos explcitamente la expresion de Z(s, f ) para tres


tipos de polinomios usando la f
ormula de la fase estacionaria, y comprobaremos
que efectivamente se trata de funciones racionales de q s .
mn
1
Ejemplo 5.1. El caso mas sencillo ocurre cuando f (x) = xm
1 . . . xn , en cuyo
caso

n 

m1
mn s
i s
|x1 . . . xn |K dx1 . . . dxn =
|xm
(12)
Z(f, s) =
i | dxi ,
n
OK

i=1

OK

ormula (12) muestra que podemos restringirnos al


donde dx = dx1 . . . dxn . La f
calculo de integrales del tipo

|xm |s dx .
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

VICTOR ALBIS & WILSON ZU

28

De (11) y (13) se deduce entonces que



1
.
1 q 1mi s
Z(f, s) = (1 q 1 )n




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)

El cambio de variable x = z, dx = q 1 dz, conduce a que





|f (x)|s dx =
|f (z)|s d(z) =
| d f (z)|s q s dz
pn
K

n
OK

= q dsn


n
OK

n
OK

|f (z)|s dz = q dsn Z(f, s) .

(15)

Reemplazando (15) en (14) y despejando luego Z(s, f ), llegamos al resultado



buscado. 
Ejemplo 5.3. En este ejemplo calculamos la funci
on zeta local para un polinomio del tipo f (x, y) = xn + y m , , OK , donde m, n > 1 son primos
relativos. Supongamos que la caracterstica de K no divide simult
aneamente a

.
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

FUNCIONES ZETA LOCALES DE IGUSA

29

Usando el hecho de que f ( m x, n y) = mn f (x, y), el cambio de variables


x m x, y n y en la primera integral de la igualdad anterior nos
permite obtener que

1
|f |s dxdy ,
(16)
Z(f, s) =
(n+m)mns
1q
Ac
2
es la uni
on disyunta de los
y como el complemento Ac de A con respecto a OK
tres conjuntos
2
A1 = {(x, y) OK
; v(x) < m, v(y) n},
2
; v(x) < m, v(y) < n},
A2 = {(x, y) OK
2
; v(x) m, v(y) < n} ,
A3 = {(x, y) OK

de (16) resulta que


Z(f, s) =

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

VICTOR ALBIS & WILSON ZU

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

e i, j satisfacen L(i, j) > 0, 0 i < m, 0 j < n;


Z(f, A2,2 , s) = (1 q 1 )2

q ij(v()+mj)s ,

(20)

i,j

donde i, j satisfacen L(i, j) < 0, 0 i < m, 0 j < n;


Z(f, A2,3 , s) =

ijnis

OK

i,j

|xn + y m |s dxdy,

donde L(i, j) = 0 y 0 i < m, 0 j < n. Usando ahora la f


ormula de la fase
estacionaria, la integral del lado derecho de (15) es igual a
Z(f, A2,3 , s) = (f ) + (f )

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 .

FUNCIONES ZETA LOCALES DE IGUSA

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

VICTOR ALBIS & WILSON ZU

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.

FUNCIONES ZETA LOCALES DE IGUSA

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).

Recivido en marzo, 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