Abstract:A standard zero free region is obtained for Rankin Selberg L-functions $L(s, f\times \widetilde{f})$ where $f$ is an almost everywhere tempered Maass form on $GL(n)$ and $f$ is not necessarily self dual. The method is based on the theory of Eisenstein series generalizing a work of Sarnak.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
The main goal of this paper is to obtain a standard zero - free region for the Rankin - Selberg L - function \(L(s, f\times\tilde{f})\), where \(f\) is a Maass form that is almost everywhere tempered and \(f\) does not have to be self - dual. Specifically, the authors attempt to solve the following problems:
1. **Zero - free region in the non - self - dual case**:
- In previous studies, zero - free regions of the Rankin - Selberg L - function have been obtained when at least one of the two cuspidal automorphic representations \(\pi_1\) and \(\pi_2\) is self - dual. However, when neither is self - dual, the best previous result was proposed by Brumley (2006).
- The goal of this paper is to provide a stronger standard zero - free region for the Rankin - Selberg L - function in the non - self - dual case by generalizing Sarnak's method.
2. **Improve the existing zero - free regions**:
- Specifically, the authors hope to prove a standard zero - free region of the form
\[
\sigma>1-\frac{c}{(\log(Q_{\pi_1}Q_{\pi_2}(|t| + 2)))^B}
\]
where \(c>0\) and \(B>0\) are constants, and \(Q_{\pi_1}\) and \(Q_{\pi_2}\) are the analytic conductors of \(\pi_1\) and \(\pi_2\), respectively.
3. **Apply to other fields**:
- By obtaining more powerful zero - free regions, these results can be applied to other fields of mathematics, such as the relative trace formula and Langlands - Shahidi - type L - functions.
### Main conclusions
By introducing the smoothly truncated Eisenstein series and using the Maass - Selberg relation and estimates of Whittaker functions, the authors finally prove the following main theorems:
- **Theorem 1.2**: Let \(\pi\) be an irreducible, unramified cuspidal representation on \(GL(n,\mathbb{A}_\mathbb{Q})\), which is almost tempered at all finite primes. Let \(\tilde{\pi}\) be the dual representation of \(\pi\), then the zero - free region of \(L(s,\pi\times\tilde{\pi})\) is
\[
\sigma>1-\frac{c}{(\log(|t| + 2))^5}
\]
where \(c>0\) is a fixed constant independent of \(t\) and depends only on \(\pi\).
- **Theorem 1.3**: Let \(\pi\) be an irreducible, unramified cuspidal representation on \(GL(n,\mathbb{A}_\mathbb{Q})\), which is almost tempered at all finite primes. Let \(f\) be a Maass cusp form in the space of \(\pi\), and its dual is \(\tilde{f}\in\tilde{\pi}\), then
\[
|L(1 + it,f\times\tilde{f})|\gg\frac{1}{(\log(|t| + 2))^3}
\]
for all \(t\in\mathbb{R}\), where the implied constant is computable and depends at most on \(f\).