Universality and distribution of zeros and poles of some zeta functions

Abstract

This paper studies zeta functions of the form $\sum_{n=1}^{\infty} χ(n) n^{-s}$, with $χ$ a completely multiplicative function taking only unimodular values. We denote by $σ(χ)$ the infimum of those $α$ such that the Dirichlet series $\sum_{n=1}^{\infty} χ(n) n^{-s}$ can be continued meromorphically to the half-plane $\operatorname{Re} s>α$, and denote by $ζ_χ(s)$ the corresponding meromorphic function in $\operatorname{Re} s>σ(χ)$. We construct $ζ_χ(s)$ that have $σ(χ)\le 1/2$ and are universal for zero-free analytic functions on the half-critical strip $1/2<\operatorname{Re} s <1$, with zeros and poles at any discrete multisets lying in a strip to the right of $\operatorname{Re} s =1/2$ and satisfying a density condition that is somewhat stricter than the density hypothesis for the zeros of the Riemann zeta function. On a conceivable version of Cramér's conjecture for gaps between primes, the density condition can be relaxed, and zeros and poles can also be placed at $β+i γ$ with $β\le 1-λ\log\log |γ|/\log |γ|$ when $λ>1$. Finally, we show that there exists $ζ_χ(s)$ with $σ(χ) \le 1/2$ and zeros at any discrete multiset in the strip $1/2<\operatorname{Re} s \le 39/40$ with no accumulation point in $\operatorname{Re} s >1/2$; on the Riemann hypothesis, this strip may be replaced by the half-critical strip $1/2 < \operatorname{Re} s < 1$.