On analogues of Mazur-Tate type conjectures in the Rankin-Selberg setting (Q2154815): Difference between revisions

The authors generalize (under certain technical hypotheses) a recent work of \textit{C.-H. Kim} and \textit{M. Kurihara} on elliptic curves [Int. Math. Res. Not. 2021, No. 14, 10559--10599 (2021; Zbl 1497.11270)] to prove a result very close to the weak main conjecture of Mazur and Tate for Rankin-Selberg convolutions. The main results are stated in Theorem A (in the ordinary setting) and Theorem B (in the supersingular setting). They study the Fitting ideals over the finite layers of the cyclotomic \(\mathbb Z_p\)-extension of \(\mathbb Q\) of Selmer groups attached to the Rankin-Selberg convolution of two modular forms \(f\) and \(g\). Inspired by the theta elements for modular forms defined by \textit{B. Mazur} and \textit{J. Tate} [Duke Math. J. 54, 711--750 (1987; Zbl 0636.14004)], they define new theta elements for Rankin-Selberg convolutions of \(f\) and \(g\) using Loeffler-Zerbes' geometric \(p\)-adic \(L\)-functions attached to \(f\) and \(g\). Special emphasis is given to the case where \(f\) corresponds to an elliptic curve \(E\) and \(g\) to a two-dimensional odd irreducible Artin representation \(\rho\) with splitting field \(F\). As an application, they give an upper bound of the dimension of the \(\rho\)-isotypic component of the Mordell-Weil group of \(E\) over the finite layers of the cyclotomic \(\mathbb Z_p\)-extension of \(F\) in terms of the order of vanishing of theta elements.