Abstract:In this paper we make a systematic study of certain motivic cohomology classes ("Rankin-Eisenstein classes") attached to the Rankin--Selberg convolution of two modular forms of weight $\ge 2$. The main result is the computation of the $p$-adic syntomic regulators of these classes. As a consequence we prove many cases of the Perrin-Riou conjecture for Rankin--Selberg convolutions of cusp forms.
What problem does this paper attempt to address?
This paper aims to solve the problems related to motivic cohomology classes associated with the Rankin - Selberg convolution of modular forms (called Rankin - Eisenstein classes). Specifically, the main objective of the paper is to calculate the p - adic syntomic regulators of these classes. As an application of this result, the author proves the validity of the Perrin - Riou conjecture for the Rankin - Selberg convolution of cusp forms in many cases.
The following are the specific problems that the paper attempts to solve:
1. **Construction and study of Rankin - Eisenstein classes**:
- The paper details how to construct Rankin - Eisenstein classes of arbitrary weights and evaluate their images under the Deligne regulator.
- For any integers \( k, k', j \) satisfying \( 0\leq j\leq\min(k, k') \), and any level \( N\geq4 \), a motivic cohomology class is defined:
\[
\text{Eis}[k,k',j]_{\text{mot},1,N}\in H^3_{\text{mot}}(Y_1(N)^2, T\text{Sym}[k,k'](H_Q)(2 - j))
\]
2. **Calculation of Deligne regulators**:
- If \( f \) and \( g \) are eigenforms of level \( N \), with weights \( k + 2 \) and \( k' + 2 \) respectively, then the first - order derivative \( L'(f,g,1 + j) \) of \( L(f,g,s) \) at \( s = 1 + j \) is related to the image of \( \text{Eis}[k,k',j]_{\text{mot},1,N} \) under the Deligne regulator (Theorem 6.2.9).
3. **Calculation of p - adic syntomic regulators**:
- The author generalizes the work of Bertolini - Darmon - Rotger, extends the calculation of p - adic syntomic regulators to modular forms of arbitrary weights, and relates it to the values of p - adic L - functions (Theorem 6.5.9). This is one of the main new results of this paper.
4. **Verification of the Perrin - Riou conjecture**:
- By calculating the syntomic and Deligne regulators, the author verifies an instance of the Perrin - Riou conjecture, that is, the leading term of the complex L - function at certain integers can be interpolated by the p - adic L - function (Theorem 7.2.6). Specifically, for \( 0\leq j\leq\min(k, k') \), the leading term of the complex L - function at \( s = 1 + j \) can be interpolated by Hida's p - adic Rankin L - function.
In summary, through in - depth research on Rankin - Eisenstein classes, this paper not only extends the existing theoretical framework but also provides new tools and methods to deal with important problems in the Rankin - Selberg convolution of modular forms.