Zeta Functions for Curves and Log Canonical Models

The topological zeta function and Igusa's local zeta functionare respectively a geometrical invariant associated to a complexpolynomial f and an arithmetical invariant associated to a polynomialf over a p-adic field. When f is a polynomial in two variables we prove a formula forboth zeta functions in terms of the so-called log canonicalmodel of f^-1{0} in A². This result yields moreover a conceptualexplanation for a known cancellation property of candidate polesfor these zeta functions. Also in the formula for Igusa's localzeta function appears a remarkable non-symmetric ‘q-deformation’of the intersection matrix of the minimal resolution of a Hirzebruch-Jungsingularity. 1991 Mathematics Subject Classification: 32S5011S80 14E30 (14G20)     

On the Poles of Maximal Order of the Topological Zeta Function

The global and local topological zeta functions are singularityinvariants associated to a polynomial f and its germ at 0, respectively.By definition, these zeta functions are rational functions inone variable, and their poles are negative rational numbers.In this paper we study their poles of maximal possible order.When f is non-degenerate with respect to its Newton polyhedron,we prove that its local topological zeta function has at mostone such pole, in which case it is also the largest pole; wegive a similar result concerning the global zeta function. Moreover,for any f we show that poles of maximal possible order are alwaysof the form –1/N with N a positive integer. 1991 MathematicsSubject Classification 14B05, 14E15, 32S50.     

Monodromy conjecture for semi-quasihomogeneous hypersurfaces

We give a proof of the monodromy conjecture relating the poles of motivic zeta functions with roots of b-functions for isolated quasihomogeneous hypersurfaces, and more generally for semi-quasihomogeneous hypersurfaces. We also give a strange generalization allowing a twist by certain differential forms.     

Monodromy eigenvalues and zeta functions with differential forms

For a complex polynomial or analytic function f, there is a strong correspondence between poles of the so-called local zeta functions or complex powers ∫|f|^2sω, where the ω are C^∞ differential forms with compact support, and eigenvalues of the local monodromy of f. In particular Barlet showed that each monodromy eigenvalue of f is of the form , where s₀ is such a pole. We prove an analogous result for similar p-adic complex powers, called Igusa (local) zeta functions, but mainly for the related algebro-geometric topological and motivic zeta functions.     

Poles of the topological zeta function associated to an ideal in dimension two

To an ideal in one can associate a topological zeta function. This is an extension of the topological zeta function associated to one polynomial. But in this case we use a principalization of the ideal instead of an embedded resolution of the curve. In this paper we will study two questions about the poles of this zeta function. First, we will give a criterion to determine whether or not a candidate pole is a pole. It turns out that we can know this immediately by looking at the intersection diagram of the principalization, together with the numerical data of the exceptional curves. Afterwards we will completely describe the set of rational numbers that can occur as poles of a topological zeta function associated to an ideal in dimension two. The same results are valid for related zeta functions, as for instance the motivic zeta function. The research was partially supported by the Fund of Scientific Research—Flanders (G.0318.06).     

On Hardy, BMO and Lipschitz spaces of invariantly harmonic functions in the unit ball

The invariantly harmonic functions in the unit ball Bⁿ in Cⁿare those annihilated by the Bergman Laplacian . The Poisson-Szegökernel P(z,) solves the Dirichlet problem for : if f C(Sⁿ),the Poisson-Szegö transform of f, where d is the normalized Lebesgue measure on Sⁿ,is the unique invariantly harmonic function u in Bⁿ, continuousup to the boundary, such that u=f on Sⁿ. The Poisson-Szegötransform establishes, loosely speaking, a one-to-one correspondencebetween function theory in Sⁿ and invariantly harmonic functiontheory in Bⁿ. When n 2, it is natural to consider on Sⁿ functionspaces related to its natural non-isotropic metric, for theseare the spaces arising from complex analysis. In the paper,different characterizations of such spaces of smooth functionsare given in terms of their invariantly harmonic extensions,using maximal functions and area integrals, as in the correspondingEuclidean theory. Particular attention is given to characterizationin terms of purely radial or purely tangential derivatives.The smoothness is measured in two different scales: that ofSobolev spaces and that of Lipschitz spaces, including BMO andBesov spaces. 1991 Mathematics Subject Classification: 32A35,32A37, 32M15, 42B25.     

Nonstandard Point Counting for Algebraic Varieties

For varieties over a field k, we define motivic measures with values in ordered fields, using point counting over finite fields and taking the limits with respect to ultrafilters. Some properties and problems related to such measures are discussed. We define similar measures for algebraic dynamical systems by counting periodic points, and explain how they can be used to prove certain statements, such as the non-rationality of a motivic zeta function.     

Extensions of Zeta Functions – Examples and a Study of the Double Sine Functions

We discuss zeta extensions in the sense of Kurokawa and Wakayama, Proc. Japan Acad. 2002, for constructing new zeta functions from a given zeta function. This notion appeared when we introduced higher zeta functions such as higher Riemann zeta functions in Kurokawa et al., Kyushu Univ. Preprint, 2003, and a higher Selberg zeta functions in Kurokawa and Wakayama, Comm. Math. Phys., 2004. In this article, we first recall some explicit examples of such zeta extensions and give a conjecture about functional equations satisfied by higher zeta functions. We devote the second part to making a detailed study of the double sine functions which are treated in a framework of the zeta extensions.Mathematics Subject Classification (2000) 11M36.Partially supported by Grant-in-Aid for Scientific Research (B) No. 15340012, and by Grant-in-Aid for Exploratory Research No. 13874004. This is based on the talk at The 2002 Twente Conference on Lie Groups 16–18 Dec. University of Twente, Enschede, The Netherlands.     

Determination of the poles of the topological zeta function for curves

Tof ∈ℂ[x ₁…,x _n ] one associates thetopological zeta function which is an invariant of (the germ of)f at 0, defined in terms of an embedded resolution of (the germ of)f ⁻¹{0} inf ⁻¹{0}. By definition the topological zeta function is a rational function in one variable, and it is related to Igusa’s local zeta function. A major problem is the study of its poles. In this paper we exactly determine all poles of the topological zeta function forn=2 and anyf ∈ℂ[x ₁,x ₂]. In particular there exists at most one pole of order two, and in this case it is the pole closest to the origin. Our proofs rely on a new geometrical result which makes the embedded resolution graph of the germ off into an ‘ordered tree’ with respect to the so-callednumerical data of the resolution. The author is a Postdoctoral Fellow of the Belgian National Fund for Scientific Research N.F.W.O.     

Another discrete Fourier transform pairs associated with the Lipschitz-Lerch zeta function

It is demonstrated that the alternating Lipschitz-Lerch zeta function and the alternating Hurwitz zeta function constitute a discrete Fourier transform pair. This discrete transform pair makes it possible to deduce, as special cases and consequences, many (mainly new) transformation relations involving the values at rational arguments of alternating variants of various zeta functions, such as the Lerch and Hurwitz zeta functions and Legendre chi function.     

Exponential Sums and the Riemann Zeta Function V

A Van der Corput exponential sum is S = exp (2 i f(m)) wherem has size M, the function f(x) has size T and = (log M) / log T < 1. There are different bounds for S in differentranges for . In the middle range where is near 1/over 2, . This bounds the exponent of growthof the Riemann zeta function on its critical line Re s = 1/over2. Van der Corput used an iteration which changed at each step.The Bombieri–Iwaniec method, whilst still based on meansquares, introduces number-theoretic ideas and problems. TheSecond Spacing Problem is to count the number of resonancesbetween short intervals of the sum, when two arcs of the graphof y = f'(x) coincide approximately after an automorphism ofthe integer lattice. In the previous paper in this series [Proc.London Math. Soc. (3) 66 (1993) 1–40] and the monographArea, lattice points, and exponential sums we saw that coincidenceimplies that there is an integer point close to some ‘resonancecurve’, one of a family of curves in some dual space,now calculated accurately in the paper ‘Resonance curvesin the Bombieri–Iwaniec method’, which is to appearin Funct. Approx. Comment. Math. We turn the whole Bombieri–Iwaniec method into an axiomatisedstep: an upper bound for the number of integer points closeto a plane curve gives a bound in the Second Spacing Problem,and a small improvement in the bound for S. Ends and cusps ofresonance curves are treated separately. Bounds for sums oftype S lead to bounds for integer points close to curves, andanother branching iteration. Luckily Swinnerton-Dyer's methodis stronger. We improve from 0.156140... in the previous paperand monograph to 0.156098.... In fact (32/205 + , 269/410 +) is an exponent pair for every > 0. 2000 Mathematics SubjectClassification 11L07 (primary), 11M06, 11P21, 11J54 (secondary).     

Automatic Hessians by reverse accumulation

Let n be the number of independent variables of a function f,and let W and S respectively be the time and space bounds forthe joint evaluation of {f, f} using automatic differentiationwith reverse accumulation. In this note, we examine an extensionof the technique of reverse accumulation which allows the automaticextraction of the Hessian of f. The method allows the parallelevaluation of all rows of the Hessian matrix in about 2W timeunits and 3S space units on each of n processors, or sequentialrow-by-row evaluation in about 2nW time units and 3S space unitson a single processor. The approach described here is intendedfor use with operator overloading (for example in Ada) and allowsthe conventional coding of the target function f.     

On Montel's theorem and Yang's problem

Let F be a family of meromorphic functions defined in a domain D, and let ψ be a function meromorphic in D. For every function f∈F, if (1)f has only multiple zeros; (2) the poles of f have multiplicity at least 3; (3) at the common poles of f and ψ, the multiplicity of f does not equal the multiplicity of ψ; (4)f(z)≠ψ(z), then F is normal in D. This gives a partial answer to a problem of L. Yang, and generalizes Montel's theorem. Some examples are given to show the sharpness of our result.     

Spectral zeta functions of fractals and the complex dynamics of polynomials

We obtain formulas for the spectral zeta function of the Laplacian on symmetric finitely ramified fractals, such as the Sierpinski gasket, and a fractal Laplacian on the interval. These formulas contain a new type of zeta function associated with a polynomial (rational functions also can appear in this context). It is proved that this zeta function has a meromorphic continuation to a half-plane with poles contained in an arithmetic progression. It is shown as an example that the Riemann zeta function is the zeta function of a quadratic polynomial, which is associated with the Laplacian on an interval. The spectral zeta function of the Sierpinski gasket is a product of the zeta function of a polynomial and a geometric part; the poles of the former are canceled by the zeros of the latter. A similar product structure was discovered by M.L. Lapidus for self-similar fractal strings.

     

Pseudodifferential Operators on Prehomogeneous Vector Spaces

ABSTRACT

Let G be a connected, linear algebraic group defined over ?, acting regularly on a finite dimensional vector space V over ? with ?-structure V _?. Assume that V possesses a Zariski-dense orbit, so that (G, ?, V) becomes a prehomogeneous vector space over ?. We consider the left regular representation π of the group of ?-rational points G _? on the Banach space C₀(V _?) of continuous functions on V _? vanishing at infinity, and study the convolution operators π(f), where f is a rapidly decreasing function on the identity component of G _?. Denote the complement of the dense orbit by S, and put S _? = S ∩ V _?. It turns out that, on V _? ? S _?, π(f) is a smooth operator. If S _? = {0}, the restriction of the Schwartz kernel of π(f) to the diagonal defines a homogeneous distribution on V _? ? {0}. Its nonunique extension to V _? can then be regarded as a trace of π(f). If G is reductive, and S and S _? are irreducible hypersurfaces, π(f) corresponds, on each connected component of V _? ? S _?, to a totally characteristic pseudodifferential operator. In this case, the restriction of the Schwartz kernel of π(f) to the diagonal defines a distribution on V _? ? S _? given by some power |p(m)| ^s of a relative invariant p(m) of (G, ?, V) and, as a consequence of the Fundamental Theorem of Prehomogeneous Vector Spaces, its extension to V _?, and the complex s-plane, satisfies functional equations similar to those for local zeta functions. A trace of π(f) can then be defined by subtracting the singular contributions of the poles of the meromorphic extension.     

Motivic Milnor fibers of a rational function

Let P and Q be two complex polynomials and f be the induced rational function. In this Note we define a motivic Milnor fiber of the germ of f at an indeterminacy point x for a value a, a motivic Milnor fiber of f for a value a and finally motivic bifurcation sets.     

Motivic zeta functions of infinite-dimensional Lie algebras

The paper shows how to associate a motivic zeta function with a large class of infinite dimensional Lie algebras. These include loop algebras, affine Kac-Moody algebras, the Virasoro algebra and Lie algebras of Cartan type. The concept of a motivic zeta functions provides a good language to talk about the uniformity in p of local p-adic zeta functions of finite dimensional Lie algebras. The theory of motivic integration is employed to prove the rationality of motivic zeta functions associated to certain classes of infinite dimensional Lie algebras.     

Classification of zeta functions of bielliptic surfaces over finite fields

Let S be a bielliptic surface over a finite field, and let an elliptic curve B be the Albanese variety of S; then the zeta function of the surface S is equal to the zeta function of the direct product P¹ × B. Therefore, the classification problem for the zeta functions of bielliptic surfaces is reduced to the existence problem for surfaces of a given type with a given Albanese curve. In the present paper, we complete this classification initiated in [1].     

On the Poles of Igusa's Local Zeta Function for Algebraic Sets

Let K be a p-adic field, let Z (s, f), sC, with Re(s) > 0,be the Igusa local zeta function associated to f(x) = (f₁(x),..., f_l(x)) [K (x₁, ..., x_n)]^l, and let be a Schwartz–Bruhatfunction. The aim of this paper is to describe explicitly thepoles of the meromorphic continuation of Z (s, f). Using resolutionof singularities it is possible to express Z (s, f) as a finitesum of p-adic monomial integrals. These monomial integrals arecomputed explicitly by using techniques of toroidal geometry.In this way, an explicit list of the candidates for poles ofZ (s, f) is obtained. 2000 Mathematics Subject Classification11S40, 14M25, 11D79.     

Zeta functions of bielliptic surfaces over finite fields

Let S be a bielliptic surface over a finite field, and let the elliptic curve B be the image of the Albanese mapping S → B. In this case, the zeta function of the surface is equal to the zeta function of the direct product ?¹ × B. A classification of the possible zeta functions of bielliptic surfaces is also presented in the paper.