4
$\begingroup$

In this question, we needed to compute the Hardy-Littlewood constant for the Bateman-Horn conjecture. Is there a simple argument to show that the infinite product actually converges? Also, is there a reasonable (for your favorite value of "reasonable") estimate of the convergence speed?

$\endgroup$
8
  • 1
    $\begingroup$ I really wish that the answer to the first question turns out to be a "no". I would love to see a proof! (Seriously, one probably cannot avoid Chebotarev's density theorem, for if the average of $n_p$ is not $1$, the product would diverge.) $\endgroup$
    – Boris Bukh
    Aug 16, 2015 at 12:26
  • $\begingroup$ Wiki articles claims that this product is always positive (without reference), I guess it is also always finite. This is a statement of Chebotarev Density Theorem type, though quite strong. $\endgroup$ Aug 16, 2015 at 12:28
  • $\begingroup$ @BorisBukh The average of $n_p$ is $1$ when the Galois group is the whole $S_d,$ but it's far from clear for other Galois groups (at least to me). That's part of the reason why I asked the question: from the Chebotarev argument, it is far from clear that the product is always finite. $\endgroup$
    – Igor Rivin
    Aug 16, 2015 at 13:50
  • $\begingroup$ @FedorPetrov See my answer, though I don't claim to understand what is going on. $\endgroup$
    – Igor Rivin
    Aug 16, 2015 at 14:12
  • 1
    $\begingroup$ @BorisBukh: That $n_p = 1$ on average is nothing but Landau's prime ideal theorem for non-normal fields, which is very much simpler than Chebotarev. And here, for the convergence at hand, this is only needed in logarithmic form (Dirichlet rather than natural density), which by a straightforward arrangement amounts to establishing that the Dedekind zeta function has a simple pole at $s = 1$ (and can even be arranged in simple terms not mentioning the zeta function). $\endgroup$ Aug 27, 2015 at 14:35

1 Answer 1

2
$\begingroup$

Well, the good news is that one can find an argument in the original paper of Bateman and Horn, which also gives the convergence rate, and which does not use Chebotarev. The bad news is that I don't understand why this works if the Galois group of $f$ is such that the average number of fixed points is not equal to $1.$

$\endgroup$
2
  • 8
    $\begingroup$ The Galois group acts transitively on the roots, and Burnside's lemma gives that the average number of fixed points is the size of the orbit which is one. $\endgroup$
    – Lucia
    Aug 16, 2015 at 14:33
  • $\begingroup$ @Lucia I wasn't thinking :( Thanks! $\endgroup$
    – Igor Rivin
    Aug 16, 2015 at 14:37

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.