Abstract:We prove a prime number theorem first for the classical Rankin-Selberg L-function $L(s,\pi\times\pi')$ over any Galois extension with $\pi$ and $\pi'$ unitary automorphic cuspidal representations of $GL_n$ and $GL_m$ respectively with at least one of the representations subject to a self-contragredient assumption. We then extend these results to two representations $\pi$ defined on $GL_n/E$ and $\pi'$ defined on $GL_m/F$ with $E$ and $F$ cylic algebraic number fields of coprime degree where $\pi$ and $\pi'$ admit a base change lift from $\mathbb{Q}$ again given a self-contragredient assumption on at least one of the representations which lift to $\pi$ or $\pi'$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the prime number theorem for Rankin - Selberg L - functions over number fields. Specifically, the author defines a new Rankin - Selberg L - function, which is related to automorphic cusp representations and these representations are invariant under Galois actions. By using the results of Arthur and Clozel, the author proves the prime number theorem for this L - function and finally rewrites the asymptotic formula as a sum over prime numbers, which contains restrictions on the modulus of number field extensions.
### Main problems
1. **Define a new Rankin - Selberg L - function**:
- The author defines a new Rankin - Selberg L - function \( L(s, \pi\times\text{BC}\tilde{\pi}') \), where \( \pi \) and \( \pi' \) are automorphic cusp representations on \( \text{GL}_m(\mathbb{A}_E) \) and \( \text{GL}_{m'}(\mathbb{A}_F) \) respectively, and \( E \) and \( F \) are cyclic Galois extensions.
- The form of this L - function is:
\[
L(s, \pi\times\text{BC}\tilde{\pi}')=\prod_{0\leq i\leq\ell - 1}\prod_{0\leq j\leq q - 1}L(s, \pi_Q\otimes\eta_E^i\times\tilde{\pi}_Q'\otimes\psi_F^j)
\]
2. **Prove the prime number theorem**:
- The author proves that for this new L - function, its behavior at \( s = 1 \) can be described as:
\[
\sum_{n\leq x}\Lambda(n)a_{\pi\times\text{BC}\tilde{\pi}'}(n)=\begin{cases}
\frac{x^{1 + i\tau_0}}{1 + i\tau_0}+O\left(x\exp(-c\sqrt{\log x})\right)&\text{if }\pi'\sim\pi\otimes|\det|^{i\tau_0}\text{ for some }\tau_0\in\mathbb{R};\\
O\left(x\exp(-c\sqrt{\log x})\right)&\text{otherwise}.
\end{cases}
\]
3. **Rewrite the asymptotic formula**:
- The author further rewrites the above result as a sum over prime numbers, with special attention to those prime numbers that are completely split in number field extensions.
### Key conclusions
- **Theorem 1.1**: For automorphic cusp representations \( \pi \) and \( \pi' \) over a single number field \( E \), the specific form of the prime number theorem is given.
- **Theorem 1.2**: For automorphic cusp representations \( \pi \) and \( \pi' \) over two different number fields \( E \) and \( F \), a similar prime number theorem is given.
- **Theorem 1.3**: By assuming Hypothesis H and Conjecture 2.1, the main terms are reduced to those prime numbers that are completely split in number field extensions.
### Methods and tools
- **Rankin - Selberg L - function**: Used to study the analytic properties of automorphic representations.
- **Perron formula**: Used to handle the derivatives of L - functions.
- **Zero - free region**: Used to control the error terms.
- **Hypothesis H** and **Conjecture 2.1**: Used to handle coefficient estimates under specific conditions.
Through these methods