Abstract:We study how Rankin-Selberg periods interact with integral structures in spherical Whittaker type representations. Using this representation-theoretic framework, we show that the local Euler factors appearing in the construction of the motivic Rankin-Selberg Euler system for a product of modular forms are integrally optimal; i.e. any construction of this type with any choice of integral input data would give local factors appearing in tame norm relations at $p$ which are integrally divisible by the Euler factor $\mathcal{P}_p^{'}(\mathrm{Frob}_p^{-1})$ modulo $p-1$.
What problem does this paper attempt to address?
This paper aims to explore and solve problems related to the interaction of Rankin - Selberg periods in integral structures, especially within the framework of the representation theory of GL2×GL2. Specifically, the author studies how to construct local Euler factors through integral input data and proves that these factors have integral optimality in constructing the motivic Rankin - Selberg Euler system. This means that for the product of modular forms, any local factor obtained by a construction method using integral input data is an integral multiple of the Euler factor \(P'_p(\text{Frob}_p^{-1})\) modulo \(p - 1\) in the tame norm relation at \(p\).
### Main contributions of the paper
1. **Integral optimality**:
- The author shows that for the product of modular forms, local Euler factors have integral optimality in constructing the motivic Rankin - Selberg Euler system. Specifically, any choice of integral input data will lead to local factors in the tame norm relation at \(p\) being integral multiples of the Euler factor \(P'_p(\text{Frob}_p^{-1})\) modulo \(p - 1\).
- This result indicates that the local factors of motivic classes modulo \(p - 1\) are optimal and cannot be further reduced.
2. **Application of representation theory**:
- The author uses methods of local representation theory to completely determine the behavior of all local factors related to integral data and provides a method to obtain the expected Euler factors.
- These techniques are applicable not only to standard modular forms but also to any finite extension \(F/\mathbb{Q}_p\), although for the sake of simplifying notation, the author mainly focuses on \(\mathbb{Q}_p\).
3. **Relationship with Hecke modules**:
- The author's research reveals a profound connection between these integral structures and the integral behavior of Rankin - Selberg periods, especially the periods related to the product of modular forms.
- Through these results, the author proves that for any integral test vector, the integral properties of these periods can be systematically studied and understood.
### Specific results
- **Theorem A**:
- For any family of integral data \(\delta\) with determinant level, the motivic class \(\Xi^{\text{mot}}_n(\delta)\) obtained by the push - forward of Siegel units satisfies specific norm relations.
- These norm relations show that the local factor \(P^{\text{cycl}}_{\text{Tr}}(\delta_p)\) is an element in \((p - 1, P'_p(\text{Frob}_p^{-1}))\) and is a canonical function of the arithmetic Frobenius \(\text{Frob}_p\).
- **Theorem B**:
- For modular forms \(f_1\) and \(f_2\), and their automorphic representations \(\pi_{f_1}\) and \(\pi_{f_2}\), the author studies the integral properties of the local Rankin - Selberg period \(\epsilon_{\ell, f_1, f_2}(\Phi, g_1, g_2)\).
- The author proves that if the value of \(\Phi_p\) is in \(\text{vol}_{H_p}(\text{Stab}_{H_p}(\Phi_p)\cap g_p G^\circ_p g_p^{-1})^{-1}\mathcal{O}_{L_{f_1, f_2}}\), then \(\epsilon_{\ell, f_1, f_2}(\Phi, g_1, g_2)\) belongs to \(\mathcal{O}_{L_{f_1, f_2}}\).
### Conclusion
This paper solves the problems of Rankin - Selberg periods in motivic through in - depth research on representation theory and integral structures.