Towards the (ir)rationality of values of Dirichlet series

Abstract

We show that if $F(s)$ is a nondegenerate ordinary Dirichlet series with nonnegative coefficients and $F(k)$ is a rational number for all large enough positive integers $k$, then the denominators of those rational numbers are unbounded. In particular, our result holds for the Riemann zeta function over any arithmetic progression. These results are derived via upper bounds on associated Hankel determinants.