Abstract

We prove (under certain assumptions) the irreducibility of the limit sigma _2 of a sequence of irreducible essentially self-dual Galois representations sigma _k: G_{{mathbf {Q}}} rightarrow {{,mathrm{GL},}}_4(overline{{mathbf {Q}}}_p) (as k approaches 2 in a p-adic sense) which mod p reduce (after semi-simplifying) to 1 oplus rho oplus chi with rho irreducible, two-dimensional of determinant chi , where chi is the mod p cyclotomic character. More precisely, we assume that sigma _k are crystalline (with a particular choice of weights) and Siegel-ordinary at p. Such representations arise in the study of p-adic families of Siegel modular forms and properties of their limits as krightarrow 2 appear to be important in the context of the Paramodular Conjecture. The result is deduced from the finiteness of two Selmer groups whose order is controlled by p-adic L-values of an elliptic modular form (giving rise to rho ) which we assume are non-zero.

Highlights

  • In [8] the authors studied the modularity of abelian surfaces with rational torsion

  • Assuming that ρ is irreducible, Serre’s conjecture (Theorem of Khare-Wintenberger) implies that the mod p representation looks like the reduction of that of a Saito–Kurakawa lift of an elliptic modular form f of weight 2

  • The Paramodular Conjecture predicts that this representation should be isomorphic to the Galois representation attached to a weight 2 Siegel modular form of paramodular level which is not in the space of Saito–Kurokawa lifts

Read more

Summary

Introduction

In [8] the authors studied the modularity of abelian surfaces with rational torsion. Let A be an abelian surface over Q, let p be a prime and suppose that A has a rational point of order p, and a polarization of degree prime to p. Assuming that ρ is irreducible, Serre’s conjecture (Theorem of Khare-Wintenberger) implies that the mod p representation looks like the reduction of that of a Saito–Kurakawa lift of an elliptic modular form f of weight 2. Establishing the modularity of A by a Siegel modular form requires proving congruences between the Saito–Kurokawa lift SK (f ) and “non-lifted type (G)” Siegel modular forms. The latter are cuspforms staying cuspidal under the transfer to GL4, and are expected to be exactly the forms whose associated p-adic representation is irreducible

41 Page 2 of 25
41 Page 4 of 25
41 Page 6 of 25
Main assumptions
41 Page 8 of 25
Ruling out Saito–Kurokawa type
41 Page 10 of 25
41 Page 12 of 25
41 Page 14 of 25
41 Page 16 of 25
41 Page 18 of 25
41 Page 20 of 25
Discussion of applicability to the paramodular conjecture
41 Page 22 of 25
Ruling out Yoshida type
41 Page 24 of 25
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call