Abstract:Deligne has formulated extremely influential conjectures about certain special values of the $L$-functions of (Grothendieck) motives over a number field $F$. Given the conjectural dictionary between motives and 'algebraic' automorphic representations of $\textrm{GL}(N, {\mathbb A}_F)$, where ${\mathbb A}_F$ denotes the adèles of $F$, they translate into conjectures concerning the $L$-functions of these automorphic representations. These complex representations, when they are 'regular', can be conjugated by the automorphisms of the complex field ${\mathbb C}$. It then follows, as a weak consequence of Deligne's conjectures, that the vanishing at critical points (integers of half-integers) of the automorphic $L$-functions should be invariant by automorphisms of ${\mathbb C}$. If $F$ is totally imaginary, this has been proven by Moeglin, for standard or Rankin $L$-functions. Here we extend the result to Rankin $L$-fuctions for totally real fields $F$, under a parity and a regularity assumption. The proof relies on Eisenstein cohomology and the Zucker conjecture (a theorem of Looijenga and Saper-Stern.)
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper aims to explore and prove some properties of Rankin L - functions of self - dual algebraic representations at the central value, especially for linear groups over totally real fields. Specifically, the paper mainly focuses on the following problems:
1. **Non - vanishing of the central value of L - functions**:
- For a self - dual, algebraic, regular and superregular representation π of GL(N, A_F), and any complex conjugation automorphism a ∈ Aut(C), the paper attempts to prove:
\[
L\left(\frac{1}{2}, \pi\right) = 0 \Leftrightarrow L\left(\frac{1}{2}, a(\pi)\right) = 0
\]
- This conclusion is achieved by studying Eisenstein cohomology.
2. **Properties of Rankin L - functions**:
- For a specific type of Rankin L - function \( L(s, \pi\times\rho) \), where π and ρ are self - dual, algebraic, regular and superregular representations on GL(r, A_F) and GL(t, A_F) respectively, and F is a totally real field, the paper attempts to prove:
\[
L\left(\frac{1}{2}, \pi\times\rho\right) = 0 \Leftrightarrow L\left(\frac{1}{2}, a(\pi)\times a(\rho)\right) = 0
\]
3. **Correspondence between motives and L - functions**:
- Study the relationship between motive M and L - functions, especially in the case of self - dual algebraic representations, how to deduce the properties of motives from the properties of L - functions.
- In particular, for a self - dual, algebraic, regular and superregular representation π, the non - vanishing of its L - function at certain critical points and the invariance under complex conjugation automorphisms.
4. **Application of Arthur parameters**:
- Use Arthur parameter ψ to describe the discrete spectrum space Hψ associated with the self - dual representation π, and study the representations in these spaces through the residue representation of Eisenstein series.
5. **Application of Eisenstein cohomology**:
- Use Eisenstein cohomology to prove the non - vanishing of the above - mentioned central values of L - functions, especially to find the corresponding representations in the L² - cohomology of Shimura varieties.
### Conclusion
By in - depth study of L - functions of self - dual algebraic representations and their related properties, especially the non - vanishing of Rankin L - functions at the central value, the paper provides a new proof method. This not only verifies the results of Gröbner and Raghuram, but also further generalizes to a broader case of Rankin L - functions.