24
$\begingroup$

Surely yes, and in more generality, but can it be proved?

It seems that most, if not all, statements about quadratic forms representing primes fall back on algebraic number theory (i.e. splitting of primes in $\mathbb{Q}(\sqrt{7})$) for their proofs, and so are incompatible with the condition that $0 < y < x/10$.

Some related references which didn't lead to a proof: First of all there is this previous MO post, which suggests a negative answer.

There is also this paper of Iwaniec, which uses sieve methods but which also uses the multiplicative structure of solutions to the quadratic form.

There is also the interesting Theorem 5.36 of Iwaniec and Kowalski, which states that the arguments of prime elements of $\mathbb{Z}[i]$ are equidistributed in $(0, 2\pi)$. This is proved using the Hecke $L$-function $\sum_{\alpha \in \mathbb{Z}[i]} \big( \frac{\alpha}{|\alpha|} \big)^{ik} |\alpha|^{-s}$, for all $k$ divisible by 4. This generalizes further, but presumably not to real quadratic fields, where the infinite unit group would foul the construction up.

Finally, using a straight-up sieve (with only the additive structure of solutions to $x^2 - 7 y^2$) seems hopeless, as sieves tend to be bad at finding primes. There is the recent work of Friedlander-Iwaniec on $x^2 + y^4$ and Heath-Brown on $x^3 + 2y^3$, but these use algebraic number theory in $\mathbb{Q}(i)$ and $\mathbb{Q}(\sqrt{-3})$, and seem unlikely to generalize here.

I wonder if there is a promising approach out there which I have overlooked? Thank you!

$\endgroup$
7
  • 1
    $\begingroup$ Regarding "It seems that most, if not all, statements about quadratic forms representing primes fall back on algebraic number theory (i.e. splitting of primes in Q(7√)) for their proofs, and so are incompatible with the condition and so are incompatible with the condition that 0<y<x/10." This isn't obviously true, for example see "On the relative sizes of A and B in p=A²+B², where p is a prime=1(mod 4)" math.carleton.ca/~williams/papers/pdf/237.pdf I guess Daniel Litt's comment is in similar spirit. $\endgroup$ May 15, 2011 at 21:36
  • 1
    $\begingroup$ Quibble: Heath-Brown's prime-capturing polynomials is $x^3+2y^3$, not $x^3+y^3$ which is reducible and hence won't take prime values. $\endgroup$ May 15, 2011 at 22:06
  • 1
    $\begingroup$ I'm not sure of the details, but a reference for this might be in Lang, Algebraic number theory, Chap. XV, see Example 3 at the end of the chapter, in which equiditribution of Gaussian primes is (in some sense) generalized to the case of number fields with class number 1. $\endgroup$ May 16, 2011 at 13:05
  • 1
    $\begingroup$ I guess we were not very careful there with precise attributions for fairly classical things, but let's make it clear that Th. 5.36 in my book with Iwaniec is a theorem at least as old as Hecke (very probably due to him, but I haven't actually checked the history.) $\endgroup$ May 16, 2011 at 21:34
  • $\begingroup$ @Emmanuel : On the other hand, I'm happy that you and Iwaniec have included this result in your book, because this theorem deserves to be known more widely. I was once interested in the distribution of rational points on the unit circle and I had a hard time finding references, until I found it in Lang... $\endgroup$ May 17, 2011 at 5:37

2 Answers 2

16
$\begingroup$

The units of $k=\mathbf{Q}(\sqrt{7})$ have the form $\pm (8+3 \sqrt{7})^n$ with $n \in \mathbf{Z}$. If $\pi = x+y\sqrt{7}$ is a prime element of $k$, then $\lambda(\pi):= \log |x+y\sqrt{7}|$ is well-defined in $\mathbf{R}/\alpha \mathbf{Z}$ where $\alpha = \log(8+3\sqrt{7})$. Note that $\lambda$ factors as $\lambda = f \circ \sigma$ where $\sigma : k^{\times} \to \mathbf{R}^{\times}$ is a given embedding of $k$ and $f : \mathbf{R}^{\times} \to \mathbf{R}/\alpha \mathbf{Z}$ is a continuous group homomorphism. We can apply Hecke's theory of equidistribution (see Lang, Algebraic number theory, Chap. XV, especially Example 3 at the end of the chapter) to show that the sequence $\lambda(\pi)$ is equidistributed in $\mathbf{R}/\alpha \mathbf{Z}$ where $\pi$ runs through the primes of $k$ (with respect to the usual ordering on the norm of $\pi$).

You want $0 < y < x/10$ which translates into the inequality

\begin{equation*} \sqrt{p} \leq x+y\sqrt{7} \leq C \sqrt{p} \end{equation*} where $C=\frac{10+\sqrt{7}}{\sqrt{93}}>1$ and $p=N_{k/\mathbf{Q}}(x+y\sqrt{7})$. This in turn is equivalent to $\lambda(\pi) \in [\frac12 \log p , \frac12 \log p + \log C]$ inside $\mathbf{R}/\alpha \mathbf{Z}$.

Using the equidistribution result above, the set $X=\{\pi : \lambda(\pi) \in [0,\frac12 \log C]\}$ has a positive natural density (here we consider only primes of $k$ which don't belong to $\mathbf{Q}$, but this is ok because the norm of a rational prime $p$ is equal to $p^2$, so these rational primes are negligible). Moreover, the set $Y=\{\frac12 \log p : \pi \in X\}$ is dense in $\mathbf{R}/\alpha \mathbf{Z}$ because of the prime number theorem. So we can find infinitely many primes $\pi \in X$ with $\frac12 \log p \in [-\frac12 \log C,0]$ inside $\mathbf{R}/\alpha \mathbf{Z}$, which implies what you want using the above discussion.

$\endgroup$
5
  • $\begingroup$ I hope someone will triple-check this, because somehow it feels too good to be true, but this is stupendous! Thank you. $\endgroup$ May 16, 2011 at 20:28
  • 1
    $\begingroup$ One thing from Lang's book that might be added: The Lang/Hecke argument relies on a Hecke $L$-function, and the Hecke character (where $\pi$ is a prime of $k = \mathbb{Q}(\sqrt{7})$) is given by $\chi(\pi) = |\pi|^{2 \pi i/\log \alpha}$. This is rigged to be trivial on units, hence it gives a character on ideals or on the idele class group. Now $L(s, \chi)$ is a nontrivial Hecke $L$-function, hence holomorphic at $s = 1$, and hence you get equidistribution. $\endgroup$ May 16, 2011 at 20:34
  • $\begingroup$ @Frank : Yes, of course I should have said that the real heart of the proof lies in the study of the Hecke L-function. $\endgroup$ May 17, 2011 at 5:45
  • 1
    $\begingroup$ @Frank: I think you need the holomorphicity of all $L(s,\chi^k)$ with $k\in\mathbb{Z}$ at $s=1$. $\endgroup$
    – GH from MO
    May 18, 2011 at 16:28
  • $\begingroup$ @GH: Yes indeed. $\endgroup$ May 19, 2011 at 16:48
5
$\begingroup$

It is true, with the same proof as Iwaniec-Kowalski. Real or complex, the generators of principal primes are equidistributed modulo units. There just happen to be no units in the complex case.

$\endgroup$
5
  • 1
    $\begingroup$ I don't see how to write down a convergent Hecke $L$-series which corresponds to that in I-K. Would you please elaborate? $\endgroup$ May 16, 2011 at 3:46
  • $\begingroup$ @anonymous: I don't buy this. Hecke characters in the real quadratic case don't seem to be any help; "equidistribution modulo units" becomes, after rescaling, equidistribution of (the orbits under the action of the unit group of) the representations of a prime p on a hyperboloid of the form $x^2-dy^2=1$. $\endgroup$ May 16, 2011 at 7:07
  • $\begingroup$ I would also be interested in seeing this spelled out. $\endgroup$ May 16, 2011 at 15:19
  • $\begingroup$ Actually, I believe this is correct. See François's answer as well as my comment to it. $\endgroup$ May 16, 2011 at 20:34
  • 1
    $\begingroup$ That's what I get for posting comments at three in the morning. :) $\endgroup$ May 17, 2011 at 6:25

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.