Gareth A. Jones,Alexander K. Zvonkin
Abstract:Motivated by their research on automorphism groups of pseudo-real Riemann surfaces, Bujalance, Cirre and Conder have conjectured that there are infinitely many primes $p$ such that $p+2$ has all its prime factors $q\equiv -1$ mod~$(4)$. We use theorems of Landau and Raikov to prove that the number of integers $n\le x$ with only such prime factors $q$ is asymptotic to $cx/\sqrt{\ln x}$ for a specific constant $c=0.4865\ldots$. Heuristic arguments, following Hardy and Littlewood, then yield a conjecture that the number of such primes $p\le x$ is asymptotic to $c'\int_2^x(\ln t)^{-3/2}dt$ for a constant $c'=0.8981\ldots$. The theorem, the conjecture and a similar conjecture applying the Bateman--Horn Conjecture to other pseudo-real Riemann surfaces are supported by evidence from extensive computer searches.
What problem does this paper attempt to address?
### The problems the paper attempts to solve
This paper attempts to solve a number - theory problem regarding pseudo - real Riemann surfaces. Specifically, the author explores whether there are infinitely many BCC primes. A BCC prime is defined as a prime of the form \(p\), where all prime factors \(q\) of \(p + 2\) satisfy \(q\equiv - 1\mod(4)\).
### Background and motivation
1. **Pseudo - real Riemann surfaces**:
- A pseudo - real Riemann surface refers to a compact Riemann surface that has an orientation - reversing automorphism but no orientation - reversing automorphism of order 2.
- Bujalance, Cirre and Conder proved that for each \(g\geq2\), the order \(M_{\text{ab}}^+(g)\) of the maximal abelian automorphism group of a pseudo - real Riemann surface is at least \(g\).
- To verify whether this lower bound is sharp, they constructed a special class of pseudo - real Riemann surfaces whose abelian automorphism group has an order exactly equal to \(g\).
2. **BCC primes**:
- A BCC prime is defined as a prime of the form \(p\), where all prime factors \(q\) of \(p + 2\) satisfy \(q\equiv - 1\mod(4)\).
- For example, the first 16 BCC primes are: 5, 7, 17, 19, 29, 31, 41, 47, 61, 67, 79, 97, 101, 127, 131, 137.
### Main problems
- **Problem 1.2**: Are there infinitely many BCC primes, or equivalently, is the set \(A\) infinite?
- Here \(A\) is the set of \(g\) such that \(g = p + 1\), and \(p\) is a BCC prime.
### Methods and results
1. **Asymptotic estimates**:
- The author uses the theorems of Landau and Raikov to give an asymptotic estimate of the form \(cx/\sqrt{\ln x}\), where \(c\) is a specific constant.
- Through heuristic arguments, the author proposes a conjecture that the number \(a(x)\) of BCC primes is asymptotically \(c'\int_{2}^{x}\frac{dt}{(\ln t)^{3/2}}\), where \(c'\) is another specific constant.
2. **Numerical evidence**:
- The author provides a large amount of numerical evidence through computer searches, supporting the above - mentioned theorems and conjectures.
- Tables 1 and 2 show the comparison between the actual numbers and the theoretical estimates for different values of \(x\), indicating that the theoretical estimates are very close to the actual numbers.
### Conclusions
- Through theoretical analysis and numerical evidence, the author believes that there are infinitely many BCC primes and proposes the corresponding asymptotic formula.
- These results are not only of great significance in number theory, but also provide a new perspective for understanding the properties of pseudo - real Riemann surfaces.
### Formula summary
- **Asymptotic estimate**:
\[
g(x)\sim\frac{cx}{\sqrt{\ln x}}
\]
where \(c = \frac{\sqrt{e^{\gamma}}}{\pi}\cdot\frac{C(4,1)}{2}\approx0.4865\).
- **Asymptotic formula for BCC primes**:
\[
a(x)\sim c'\int_{2}^{x}\frac{dt}{(\ln t)^{3/2}}
\]
where \(c'= 2C_{2}^{+}c\approx0.8982\).
These formulas and conclusions provide important mathematical tools for studying the automorphism groups of pseudo - real Riemann surfaces.