5
$\begingroup$

Let $Q : \mathbb{Z} \rightarrow \mathbb{Z}$ be a polynomial. Form the set

$$M_{Q} := \{p:\text{ }p\text{ is prime, }\exists n_{p}\in \mathbb{Z}\text{ so that }p|Q(n_{p})\}$$

Is $$\sum_{s \in M_{Q}}\frac{1}{s} = \infty ?$$

This question is asked so that one can somewhat understand the density of primes dividing polynomials.

$\textbf{Some special cases:}$

If $Q$ is linear the result is true, if $Q(0) = 0$ the result is true, If $Q(z) = z^2+1$ the result is true.

$\endgroup$
3
  • 2
    $\begingroup$ Doesn't this follow from Cebotarev density? $\endgroup$ Commented Jun 19, 2022 at 0:55
  • 1
    $\begingroup$ Chebotarev gives you the constant $c$ so that $\sum_{p\le x, \, p \in M_Q} 1/p \sim c \log \log x$ as $x \to \infty$. This constant $c$ is the fraction of permutations in the Galois group of the splitting field of $f$ that have a fixed point. In fact, one can do with with Frobenius' density theorem. However, these are overkills IMO. $\endgroup$ Commented Jun 19, 2022 at 1:10
  • $\begingroup$ I would suggest to search for already present answers in mo before posting a new one. This one was discussed here(mathoverflow.net/questions/208604/…) in depth. $\endgroup$ Commented Jun 23, 2022 at 4:30

1 Answer 1

10
$\begingroup$

Yes, the series diverges. We can reduce easily to the case of irreducible monic $Q$.

Next, let $\alpha_Q(p)$ be the number of roots of $Q(x)$ in $\mathbb{Z}/p\mathbb{Z}$. Note that $M_Q$ is the set of primes $p$ for which $\alpha_Q(p)$ is positive. Landau's Prime Ideal Theorem (applied to the field $K=\mathbb{Q}(\theta)$ where $\theta$ is a root of $Q$) tells us that $\alpha_Q$ is, on average, equal to $1$. That is, $$\sum_{p \le x} \alpha_Q(p) \sim \frac{x}{\log x}.$$ This is because, apart from finitely many primes, the number of ideals in $\mathcal{O}_{K}$ of norm $p$ coincides with $\alpha_Q$ by Dedekind's Factorization Theorem. (See K. Conrad's notes on it.)

With partial summation this leads to $$\sum_{p \le x} \frac{\alpha_Q(p)}{p} \sim \log \log x.$$ Since $\alpha_Q(p) \le \deg Q$, we have that $$\sum_{p \le x,\, p \in M_Q} \frac{1}{p} \ge \frac{1}{\deg Q}\sum_{p \le x} \frac{\alpha_Q(p)}{p},$$ yielding the result. (A more detailed discussion, on which this answer was based, is given in p. 36 of "An Introduction to Sieve Methods and Their Applications" by Cojocaru and Murty.)


Of course, Landau's Theorem is quite an overkill. For you purposes, it suffices to show that the Dedekind zeta function of $K$ (defined above) diverges as $s \to 1^+$, which is a rather simple fact. For instance, see David E. Speyer nice proof here.

Knowing that, one can mimic Euler's proof of the divergence of $\sum_p 1/p$ and extend it to the ideal setting from which the answer follows.

One the other hand, $\sum_{p \in M_Q} 1/p = \infty$ implies that the Dedekind zeta function of $K$ diverges as $s\to 1^+$. So the question you asked is directly equivalent to this divergence.


Using more sophisticated 'prime number theorems' one can go beyond just $$\sum_{p \in M_Q, \, p \le x} 1/p = \Theta( \log \log x)$$ and obtain $$\sum_{p \in M_Q, \, p \le x} 1/p \sim c \log \log x$$ where $c$ is the following rational number: it is the fraction of permutations in the Galois group of the splitting field of $Q$ that have a fixed point. Indeed, by the Frobenius' density theorem we have $$\sum_{p \in M_Q, \, p \le x} 1 \sim c \frac{x}{\log x}$$ for this $c$, and now partial summation can be applied. (See B Sury's notes on the theorem. Of course, its analytic aspects can be simplified if we only want the sum of $1/p$.)

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .