Euler systems for Rankin-Selberg convolutions of modular forms

Article, Preprint English OPEN
Lei, Antonio ; Loeffler, David ; Zerbes, Sarah (2013)
  • Publisher: Mathematical Sciences Publishers
  • Journal: Annals of Mathematics (acceptance date given) (issn: 0003-486X)
  • Related identifiers: doi: 10.4007/annals.2014.180.2.6
  • Subject: QA | 11F85, 11F67, 11G40, 14G35 | Mathematics - Number Theory
    arxiv: Mathematics::Number Theory

We construct an Euler system in the cohomology of the tensor product of the Galois representations attached to two modular forms, using elements in the higher Chow groups of products of modular curves. We use this Euler system to prove a finiteness theorem for the strict Selmer group of the Galois representation when the associated p-adic Rankin--Selberg L-function is non-vanishing at s = 1.
  • References (13)
    13 references, page 1 of 2

    Proposition 2.7.4. The generalized Beilinson-Flach element cΞm,N,j,α is the pushforward of the element α0 α0 , α0 α0 Y (M, N ), Proof. It suffices to show that the hypotheses of Theorem 7.1.4 are satisfied. By Proposition 7.2.18, the element τ required by Hypothesis Hyp(Q, T ) exists for T = TOp(f, g)∗; and the Euler system of Definition 7.3.5 satisfies Hypothesis Hyp(S{p}, V )(ii). Since T is nontrivial and irreducible, T GK = 0; and the element γ in Hypothesis Hyp(S{p}, V )(iii) clearly exists.

    By Theorem 5.6.4, if Dp(f, g, 1/N )(1) 6= 0, the image of regp Ξ1,N,1 in the (f, g)-isotypical quotient of Hd2R(X1(N )/Qp)/ Fil2 is nonzero. Hence, by the diagram of §5.5, the localization of the Galois cohomology class zf,g,N at p is nonzero, so in particular czf1,g,N is non-torsion as an element of H1(Q, TLp(f, g)∗)

    for any c > 1. Thus we may apply Theorem 7.1.4 to the Euler system (czˆfm,g,N )m∈A of Definition 7.3.5 to obtain the finiteness of the strict Selmer group.

    , Fonctions L p-adiques des repr´esentations p-adiques, Ast´erisque 229 (1995), 1-198. MR 1327803. (69) Robert Pollack and Glenn Stevens, Overconvergent modular symbols and p-adic L-functions, Ann. Sci. E´cole Norm. Sup. 44 (2011), no. 1, 1-42. MR 2760194. (56)

    , Critical slope p-adic L-functions, to appear in J. London Math. Soc., 2012. (56) Daniel Quillen, Higher algebraic K-theory. I, Algebraic K-theory, I: Higher K-theories (Seattle, 1972), Lecture Notes in Math., vol. 341, Springer, Berlin, 1973, pp. 85-147. MR 0338129. (9) Dinakar Ramakrishnan, Modularity of the Rankin-Selberg L-series, and multiplicity one for SL(2), Ann. of Math. (2) 152 (2000), no. 1, 45-111. MR 1792292. (64) Kenneth A. Ribet, On l-adic representations attached to modular forms. II , Glasgow Math. J. 27 (1985), 185- 194. MR 819838. (61)

    Karl Rubin, Euler systems, Annals of Mathematics Studies, vol. 147, Princeton University Press, 2000. MR 1749177. (52, 60, 61, 65)

    The Sage Group, Sage Mathematics Software, http://www.sagemath.org/. (25, 54, 67) Shuji Saito and Kanetomo Sato, A p-adic regulator map and finiteness results for arithmetic schemes, Doc.

    Math. (2010), no. Extra volume: Andrei A. Suslin sixtieth birthday, 525-594. MR 2804264. (46) A. J. Scholl, An introduction to Kato's Euler systems, Galois representations in arithmetic algebraic geometry (Durham, 1996), London Math. Soc. Lecture Note Ser., vol. 254, Cambridge Univ. Press, Cambridge, 1998, pp. 379-460. MR 1696501. (7)

    Freydoon Shahidi, On certain L-functions, Amer. J. Math. 103 (1981), no. 2, 297-355. MR 610479. (41) Goro Shimura, The special values of the zeta functions associated with cusp forms, Comm. Pure Appl. Math.

    29 (1976), no. 6, 783-804. (38)

  • Metrics
    No metrics available
Share - Bookmark