An arithmetic zeta function respecting multiplicities

Abstract: In this paper, we study the arithmetic zeta function

mathscr{Z}_{mathcal{X}}(s) = prod_p prod_{substack{x in mathcal{X}_p \ ext{closed}}} Big( frac{1}{1-|kappa(x)|^{-s}} Big)^{mathfrak{m}_{p}(x)}

associated to a scheme

m a t h c a l X

of finite type over

m a t h b b Z

, where

k a p p a (x)

denotes the residue field and

m a t h f r a k m_{p} (x)

the multiplicity of

x

in

m a t h c a l X_{p}

. If

m a t h c a l X

is defined over a finite field, then

m a t h s c r Z_{m a t h c a l X}

appears naturally in the context of point counting with multiplicities. We prove that

m a t h s c r Z_{m a t h c a l X}

admits a meromorphic continuation to

s i n m a t h b b C c o l o n m a t h r m R e (s) > m a t h r m d i m (m a t h c a l X) - 1 / 2

and determine the order of its pole at

s = m a t h r m d i m (m a t h c a l X)

. Finally, we relate

m a t h s c r Z_{m a t h c a l X}

to a zeta function

z e t a_{f}

encoding the residual factorization patterns of a polynomial

f

.

This page was built for publication: An arithmetic zeta function respecting multiplicities