Abstract:Let $f$ and $g$ be $1$-bounded multiplicative functions for which $f*g=1_{.=1}$. The Bombieri-Vinogradov Theorem holds for both $f$ and $g$ if and only if the Siegel-Walfisz criterion holds for both $f$ and $g$, and the Bombieri-Vinogradov Theorem holds for $f$ restricted to the primes.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to determine for which multiplicative functions \( f \) the Bombieri - Vinogradov theorem holds. Specifically, the author explores the following problems:
1. **Whether the Bombieri - Vinogradov theorem holds for a given multiplicative function \( f \)**: That is, whether it satisfies
\[
\sum_{q \leq \sqrt{x}/(\log x)^B} \max_{\substack{a: \\ (a,q)=1}} |\Delta(f, x; q, a)| \ll_A \frac{x}{(\log x)^A}
\]
where
\[
\Delta(f, x; q, a) := \sum_{\substack{n \leq x \\ n \equiv a \pmod{q}}} f(n) - \frac{1}{\phi(q)} \sum_{\substack{n \leq x \\ (n, q) = 1}} f(n).
\]
2. **Whether the Siegel - Walfisz criterion holds for \( f \)**: That is, whether it satisfies
\[
|\Delta(f, x; q, a)| \ll_A \frac{x}{(\log x)^A}.
\]
3. **Whether the Bombieri - Vinogradov theorem holds for \( f \) restricted to prime numbers**: That is, for \( f\cdot1_P \) (where \( P \) is the set of prime numbers), whether the Bombieri - Vinogradov theorem holds.
### Main Conclusions
The main conclusions of the paper are:
- For two multiplicative functions \( f \) and \( g \), if their Dirichlet inverses \( F(s)G(s)=1 \), then the Bombieri - Vinogradov theorem holds for \( f \) and \( g \) simultaneously if and only if:
- The Siegel - Walfisz criterion holds for both \( f \) and \( g \);
- The Bombieri - Vinogradov theorem holds for \( f \) restricted to prime numbers.
Expressed in mathematical formulas:
\[
\text{The Bombieri - Vinogradov theorem holds for } f \text{ and } g \text{ } \iff \begin{cases}
\text{The Siegel - Walfisz criterion holds for } f \text{ and } g \text{ } \\
\text{The Bombieri - Vinogradov theorem holds for } f\cdot1_P \text{ }
\end{cases}
\]
### Methods and Proofs
To prove this conclusion, the author introduced some key concepts and techniques, including:
- Using the large sieve method to deal with smooth numbers.
- Estimating sums by convolution and partial summation techniques.
- Analyzing in detail the behavior of completely multiplicative functions and functions supported on smooth numbers.
These methods enable the author to accurately characterize the distribution properties of the multiplicative function \( f \) and finally draw the above conclusions.