The polynomials $X^2+(Y^2+1)^2$ and $X^{2} + (Y^3+Z^3)^2$ also capture their primes

Jori Merikoski

2023-07-21

Abstract:We show that there are infinitely many primes of the form $X^2+(Y^2+1)^2$ and $X^2+(Y^3+Z^3)^2$. This extends the work of Friedlander and Iwaniec showing that there are infinitely many primes of the form $X^2+Y^4$. More precisely, Friedlander and Iwaniec obtained an asymptotic formula for the number of primes of this form. For the sequences $X^2+(Y^2+1)^2$ and $X^2+(Y^3+Z^3)^2$ we establish Type II information that is too narrow for an aysmptotic formula, but we can use Harman's sieve method to produce a lower bound of the correct order of magnitude for primes of form $X^2+(Y^2+1)^2$ and $X^2+(Y^3+Z^3)^2$. Estimating the Type II sums is reduced to a counting problem which is solved by using the Weil bound, where the arithmetic input is quite different from the work of Friedlander and Iwaniec for $X^2+Y^4$. We also show that there are infinitely many primes $p=X^2+Y^2$ where $Y$ is represented by an incomplete norm form of degree $k$ with $k-1$ variables. For this we require a Deligne-type bound for correlations of hyper-Kloosterman sums.

Number Theory

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to prove that there are infinitely many primes of specific forms. Specifically, the author Jori Merikoski shows that there are infinitely many primes in the following two polynomial forms:

1. Primes of the form \(X^2+(Y^2 + 1)^2\).
2. Primes of the form \(X^2+(Y^3+Z^3)^2\).

These results extend the work of Friedlander and Iwaniec, who proved that there are infinitely many primes of the form \(a^2 + b^4\). Merikoski's work not only proves that there are infinitely many primes of the above two forms, but also gives a lower bound for the number of these primes, whose order is as expected.

### Specific Problem Description

- **Problem 1**: Prove that there are infinitely many primes of the form \(X^2+(Y^2 + 1)^2\) and give a lower bound for the number of these primes.
- **Main Result**:
\[
\sum_{p\leq X}\sum_{p = X^2+(Y^2 + 1)^2}1\asymp\frac{X^{3/4}}{\log X}
\]

- **Problem 2**: Prove that there are infinitely many primes of the form \(X^2+(Y^3+Z^3)^2\) and give a lower bound for the number of these primes.
- **Main Result**:
\[
\sum_{p\leq X}\sum_{p = X^2+(Y^3+Z^3)^2}1\asymp\frac{X^{5/6}}{\log X}
\]

### Method Overview

To prove these results, the author uses the Harman sieve method and deals with the forms of Type I and Type II sums. The specific steps are as follows:

1. **Type I Information**: Deal with the form of Type I sums through the large sieve inequality to obtain estimates within a certain range.
2. **Type II Information**: Deal with the form of Type II sums through the Weil bound, transforming it into a counting problem.
3. **Sieve Application**: Use the Harman sieve method, combined with Type I and Type II information, to obtain a lower bound for the number of primes.

### Key Techniques

- **Weil Bound**: Used to deal with the counting problem of points on non - singular curves.
- **Deligne - type Bound**: Used to deal with the correlation of high - dimensional exponential sums.
- **Poisson Summation Formula**: Used to deal with sums of specific forms, transforming them into problems in the frequency domain.

### Conclusion

Through the above methods, the author successfully proves that there are infinitely many primes of the forms \(X^2+(Y^2 + 1)^2\) and \(X^2+(Y^3+Z^3)^2\), and gives a lower bound for the number of these primes, whose order is as expected. This not only extends the work of Friedlander and Iwaniec, but also provides new tools and methods for studying primes in sparse polynomial sets.