Euler systems for Rankin-Selberg convolutions of modular forms (Q742912)

``In [Beilinson-Flach elements and Euler systems. I: syntomic regulators and \(p\)-adic Rankin \(L\)-series, Preprint]. \textit{M. Bertolini} et al. studied certain canonical global cohomology classes (the ``Beilinson-Flach elements'', obtained from the constructions of [\textit{A. A. Beilinson}, J. Sov. Math. 30, 2036--2070 (1985); translation from Itogi Nauki Tekh., Ser. Sovrem. Probl. Mat. 24, 181--238 (1984; Zbl 0588.14013)] and [\textit{M. Flach}, Invent. Math. 109, No. 2, 307--327 (1992; Zbl 0781.14022)] in the cohomology of the tensor products of the \(p\)-adic Galois representations of pairs of weight 2 modular forms. They related their image under the Bloch-Kato logarithm maps to the values of \(p\)-adic Rankin-Selberg \(L\)-functions. These Beilinson-Flach elements are constructed as ``the image of elements of the higher Chow groups of a product of modular curves.'' ``In this paper, we construct a form of Euler system -- a compatible system of cohomology classes over cyclotomic fields -- of which the Beilinson-Flach elements are the bottom layer.'' ``Using the first norm relation, we also obtain variation in Hida families. More precisely, if one of the forms (say \(g\)) is ordinary, we may deform our cohomology classes analytically as \(g\) varies over a Hida family; cf. Theorem 6.9.5. (In the special case \(m=1\), such results have been independently obtained by Bertolini et al. [loc. cit.].) When \(f\) and \(g\) are both ordinary, we obtain three-variable families that also incorporate cyclotomic twists; cf. Theorem 6.9.8.'' ``As an application of these constructions, we prove (under some technical hypotheses) a finiteness theorem for the strict Selmer group of a product of modular forms (Theorem 7.4.2) when the associated \(p\)-adic Rankin-Selberg \(L\)-function is nonvanishing at \(s=1\), and (under very slightly stronger hypotheses) we give an explicit bound for the order of the strict Selmer group in terms of the \(p\)-adic \(L\)-value (Theorem 7.5.1).''