×

zbMATH — the first resource for mathematics

The meromorphic continuation of a zeta function of Weil and Igusa type. (English) Zbl 0571.12009
Let \(K_1\) denote a finite algebraic extension of \({\mathbb{Q}}_p\). Let \(K_d\) denote the unique unramified extension of \(K_1\) of degree \(d\). For \(d\ge 1\) let \(R_d\) denote the ring of integers of \(K_d\) and \(P_d\) its unique maximal ideal. Let \(q= \operatorname{card} R_1/P_1\). Then \(R_d/P_d\simeq {\mathbb{F}}_{q^d}\), the finite field with \(q^d\) elements. Let \(f(x)=f(x_1,\ldots,x_n)\) denote a polynomial in \(n\) variables with coefficients in \(R_1\). Let \[ N_{e,d} = \operatorname{card}\{x \pmod{P^e_d)^{(n)}}\mid f(x)\equiv 0 \pmod {P^e_d} \]
and define \(P(w,z)\) by \(P(w,z)=\sum_{d\ge 1}\sum_{e\ge 0} N_{e,d} q^{-nde} w^dz^e\). The above series is a holomorphic function on the product of the two open unit discs in \({\mathbb{C}}^ 2\). The coefficient of \(z\) is \(Q_1(w)=\sum_{d\ge 1} N_{1,d} q^{-nd} w^d\), which is rational as a consequence of the rationality of the Weil zeta function. The coefficient of \(w^d\) is \(P_d(z)=\sum_{e\ge 0} N_{e,d} q^{-nde} z^e\) which is the Igusa zeta function for the field \(K_d\) and hence is rational.
In this paper we show that \(P(w,z)\) has a meromorphic continuation to \({\mathbb{C}}^ 2\). This is a best possible result since \(P(w,z)\) is not in general rational. We completely characterize those polynomials for which it is rational.
In the process of proving the above result we also prove two other results. The first is that a zeta function which is analogous to the Weil zeta function, namely \(Z_e(T)=\exp \sum_{d\ge 1} N_{e,d} T^d/d\) for any \(e>1\), is rational. The second is that the Igusa zeta function is an invariant of \(f(x)\) which only depends upon the degree \(d\) of the extension in a simple way.
Reviewer: Diane Meuser

MSC:
11S40 Zeta functions and \(L\)-functions
11S05 Polynomials
32A20 Meromorphic functions of several complex variables
14G10 Zeta functions and related questions in algebraic geometry (e.g., Birch-Swinnerton-Dyer conjecture)
PDF BibTeX XML Cite
Full Text: DOI EuDML
References:
[1] Bosch, S., G√ľntzer, U., Remmert, R.: Non-archimedean analysis, Berlin-Heidelberg-New York-Tokyo: Springer (1984) · Zbl 0539.14017
[2] Bourbaki, N.: Elements of mathematics. Commutative algebra. Paris: Hermann (1972) · Zbl 0279.13001
[3] Dwork, B.: On the rationality of the zeta function of an algebraic variety. Am. J. Math.82, 631-648 (1960) · Zbl 0173.48501 · doi:10.2307/2372974
[4] Greenberg, M.: Rational points in Henselian discrete valuation rings. Publ. Math. I.H.E.S.31, 59-64 (1966) · Zbl 0142.00901
[5] Hironaka, H.: Resolution of singularities of an algebraic variety over a field of characteristic zero. Ann. Math.79, 109-326 (1964) · Zbl 0122.38603 · doi:10.2307/1970486
[6] Igusa, J.-I.: Complex powers and asymptotic expansions I. J. Reine Angew. Math.268/269, 110-130 (1974); II. ibid. J. Reine Angew. Math.278/279, 307-321 (1975) · Zbl 0287.43007 · doi:10.1515/crll.1974.268-269.110
[7] Igusa, J.-I.: Some observations on higher degree characters. Am. J. Math.99, 393-417 (1977) · Zbl 0373.12008 · doi:10.2307/2373827
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.