LEARNING SEMINAR: SUMMER 2018: GALOIS REPRESENTATIONS ATTACHED TO MODULAR FORMS

1. Overview

1.1. The global Langlands correspondence conjecture for GLn. The global Langlands con- jecture for GLn predicts the existence of a universal group LQ, the Langlands group of Q, whose complex representations parametrize cuspidal automorphic representations of GLn(AQ). A little more precisely, there’s expected to be a bijection      (isomorphism classes of)   (isomorphism classes of)  cuspidal automorphic ←→ irreducible n-dimensional ,     representations of GLn(AQ) complex representations of LQ that is compatible with associated data (L-functions and -factors), and also compatible with the local Langlands correspondence. A precise definition of LQ is not yet clear, though there is at least one candidate [1]. In any case it’s expected to be a very large group admitting surjective maps to certain other canonical groups. There’s expected to be a surjection LQ → GQ = Gal(Q/Q). Then any continuous complex representation of the Galois group GQ should give rise to a representation of LQ by composition with the map. Now complex continuous representations of GQ have finite image, since GQ is pro-finite and GLn(C) has “no small subgroups”. Such representations correspond to cuspidal automorphic representations of “Galois type”. Let MQ denote the (conjectural) motivic Galois group associated to the category of pure motives over Q (with coefficients extended to C). Zero-dimensional (Artin) motives span a full Tannakian subcategory, with associated Galois group GQ. Therefore there should be a surjective map MQ → GQ. In fact, one expects surjective homomorphisms

LQ → MQ → GQ. Suppose that M is an irreducible motive over Q. Then conjecturally, M corresponds to a repre- sentation of MQ. One expects to get a representation of LQ by pullback via LQ → MQ, and hence a cuspidal automorphism representation of GLn(AQ) for some n. In other words to each irreducible motive M should correspond a cuspidal automorphic representation πM . These are expected to be “algebraic” representations. See further below for the precise definition of “algebraic” and “Galois type”. Since MQ is itself mysterious, one has little hope of associating reprsentations of MQ to auto- morphic representations of GLn. However, there are ´etalecohomology groups attached to motives over Q, and those provide l-adic representations of GQ. The Fontaine-Mazur conjecture predicts exactly the l-adic representations that are expected to arise in this way: those that are unramified at almost all primes p, and de Rham at l. Then restricting the scope of the general Langlands conjecture to algebraic cuspidal automorphic representations, one may formulate something precise: there should be a bijection  (isomorphism classes of)   (isomorphism classes of)       irreducible n-dimensional  algebraic cuspidal automorphic ←→ , l-adic representations of G ,  representations of GL ( )   Q  n AQ  unramified at almost all p and de Rham at l 

Date: Summer 2018. 1 ARITHMETIC GEOMETRY LEARNING SEMINAR:SUMMER 2018: GALOIS REPRESENTATIONS ATTACHED TO MODULAR FORMS2 preserving L and -factors, and compatible with local Langlands. When n = 2, the Fontaine-Mazur conjecture is a theorem, and the restricted form of global Langlands above is almost known.

Let us now provide precise definitions of “algebraic” and “Galois type” as promised. In general a cuspidal automorphic representation π of GLn factors into a restricted tensor product ∼ O π = π∞ ⊗ πp, p prime where π∞ is a smooth representation of GLn(R) and πp a representation of GL2(Qp). Being “alge- braic” is a condition on π∞. Under local Langlands for GLn(R), π∞ corresponds to a represesenta- tion

ρ : WR → GLn(C), × × where the local Weil group WR is the non-trivial extension of Gal(C/R) by C . Considering C as the real points of the algebraic group S = ResC/R(Gm,C), π∞ is said to be algebraic if the restriction × of ρ to C = S(R) ⊂ S(C), comes from a morphism of complex algebraic groups SC → GLn,C. It is × of Galois type if ρ has finite image, which is equivalent to ρ(C ) = 1. The n = 1 case of the global Langlands correspondence essentially amounts to global class field theory. Over Q, this is equivalent to the Kronecker-Weber theorem that says any abelian extension of Q is a subfield of a cyclotomic field. The case n = 2 is the only other case one in which significant progress has been made.

1.2. Algebraic automorphic representations of GL2. When n = 2, the algebraic π∞ fall into three types: (a) Discrete series represesentations (b) Limit of discrete series 1 (c) The principal series representation with parameter s = 2 ( ⇐⇒ λ = 0). In terms of modular forms, such π correspond to normalized new cuspidal Hecke eigenforms f : H → C which are: (a) Holomorphic of weight ≥ 2 (b) Holomorphic of weight 1 1 (c) Non-holomorphic Maass forms of weight 1, with Laplacian eigenvalue 4 .

The algebraic global Langlands correspondence is known in cases (a) and (b), and still open in case (c). Cases (b) and (c) are of “Galois type”, corresponding to Artin motives, or equivalently continuous complex represenations of GQ (with finite image). Let c ∈ Gal(Q/Q) denote complex conjugation with respect to any embedding Q ,→ C. A two- dimensional Galois representation ρ : Gal(Q/Q) → GL2(F ) is called odd if det(ρ(c)) = −1, and even if det(ρ(c)) = 1. (a) Holomorphic cusp forms of weight ≥ 2. For (a) the correspondence takes the form      holomorphic f : H → C   odd irreducible continuous two-dimensional  normalized new cusp Hecke eigenforms ←→ l-adic representations of Gal(Q/Q), .  of weight ≥ 2   with distinct Hodge-Tate weights.  • The map −→ (automorphic to Galois) was established by Deligne [2], using the ´etalecoho- mology of modular curves, and building on the work of Eichler [4] and Shimura [5]. • Injectivity of the map −→ is a consequence of strong multiplicity one for GL2, due to Jacquet-Langlands. • Surjection of −→ is a special case of the Fontaine-Mazur conjecture. For GL2 it is a theorem of Emerton and Kisin, thus completing the correspondence. ARITHMETIC GEOMETRY LEARNING SEMINAR:SUMMER 2018: GALOIS REPRESENTATIONS ATTACHED TO MODULAR FORMS3

The case of weight 2 is special. A construction of Shimura associates to a normalized new cusp eigenform f of weight 2 an abelian variety Af which is an elliptic curve if the Fourier coefficients of f are rational. In that case the corresponding l-adic Galois representation occurs in the Tate module of the elliptic curve. The Shimura-Taniyama conjecture, now the , says f 7→ Ef is a surjection onto all elliptic curves over Q, up to isogeny. In cases (b) and (c) the automorphic representations are of “Galois type”, hence correspond to complex representations of GQ (with finite image). They come from 0-dimensional motives over Q, i.e. number fields. (b) Holomorphic cusp forms of weight 1. In case (b), the correspondence is also known, and takes the form  holomorphic     odd continuous irreducible two-dimensional  normalized new cusp Hecke eigenforms ←→ . complex representations of Gal( / ),  of weight 1  Q Q • The map −→ was constructed by Deligne-Serre [3], relying on the construction of Deligne for weight ≥ 2. • Injectivity again follows from strong multiplicity one for GL2. • Surjectivity follows from the Artin conjecture, in this case known due to work of Khare- Winterbenger. 1 (c) Non-holomorphic Maass cusp forms of eigenvalue 4 . Here the picture is far from clear. The conjectural correspondence is:

 non-holomorphic (Maass)     even continuous irreducible two-dimensional  normalized new cusp Hecke eigenforms ←→ .  1  complex representations of Gal(Q/Q), of weight 1, and Laplacian eigenvalue 4 • No general construction −→ is known • Galois reps with solvable image are known to be automorphic. This uses, among other things, the solvable base change theorem of Langlands-Tunnell. • When the image of the representation is non-solvable, it must be a central extension of A5. This is the so-called icosahedral case, where the correspondence is still a conjecture.

2. Seminar Plan The plan is for Zavosh to present the first three topics below. Then if there is continued interest, we may divide up the paper of Bruggeman-Zagier-Lewis (at least the first two chapters) among the willing participants, who will take turns presenting. The eventual goal is to understand which methods from the holomorphic cases (a) and (b) have any hope of being transferred to the non-holomorphic case (c).

2.1. The Eichler-Shimura isomorphism. Let Γ ⊂ PSL2(R) be an arithmetic subgroup (or more generally a Fuchsian group). Let n ≥ 0 be even, and Sn+2(Γ) denote the set of weight n + 2 holomorphic cusp forms for Γ. The Eichler-Shimura isomorphism is ∼ 1 Sn+2(Γ) −→ Hpar(Γ,Vn), where Vn denotes the representation of SL2(R) with highest weight n. The right hand side is Eichler cohomology, defined as the kernel of 1 Y 1 H (Γ,Vn) → H (Γs,Vn), s∈Σ 1 1 where Σ ⊂ R∪{∞} is the set of cusps of Γ, Γs is the stabilizer of s in Γ, and H (Γ,Vn) → H (Γs,Vn) is induced by restriction of cocycles. ARITHMETIC GEOMETRY LEARNING SEMINAR:SUMMER 2018: GALOIS REPRESENTATIONS ATTACHED TO MODULAR FORMS4

The representation Vn has an integral structure, i.e. a Γ-invariant lattice Mn. One may de- 1 fine integral cohomology groups Hpar(Γ,Mn) in an analogous manner, which turn out to be full- 1 rank lattices in Hpar(Γ,Vn). Under the Eichler-Shimura isomorphism they correspond to lattices Dm(Γ) ⊂ Sm(Γ). The rational vector space Dm(Γ) ⊗ Q is then closed under the action of Hecke operators, which implies the eigenvalues of normalized Hecke eigenforms are algebraic numbers. Shimura proves in [5] that the Petersson inner product takes rational values on Dm(Γ). It follows that its imaginary part is a Riemann form turning the quotient Am(Γ) = Sm(Γ)/Dm(Γ) into an abelian variety, which admits an action T → End(Am) ⊗ Q, where T is the Hecke algebra for Γ. In fact A2(Γ) is the Jacobian of the X(Γ), and is defined over Q. The Taniyama- Shimura formulation of the Modularity Theorem is then the statement that all elliptic curves over Q are a quotient of A2(Γ0(N)) for some N.

1 2.2. The work of Deligne. In [2], Deligne interprets Hpar(Γ,Vn) as an ´etalecohomology group of the modular curve X(Γ) with coefficients in a coherent sheaf. The Galois group GQ and the Hecke algebra T both act on such cohomology groups, and the two actions commute. The cohomology groups then split into two-dimensional subspaces that correspond on the one hand to cuspidal Hecke eigenforms, and on the other hand to two-dimensional l-adic Galois representations. This is the automorphic to Galois map of part (a). This technique has been generalized greatly in order to construct l-adic Galois representations in the ´etalecohomology of Shimura varieties. In fact, the proof of the local Langlands correspondence for GLn, due to Harris and Taylor, crucially uses this global construction.

2.3. The work of Deligne-Serre. Let f be a weight 1 normalized new cusp eigenform for Γ0(N), P 2πiτ with some character . Writing f(τ) = n>0 ane , the numbers an generate a number field K over Q. Let L denote the set of rational primes that split completely in K. The construction of Deligne-Serre begins by choosing l ∈ L, and multiplying f by an Eisenstein series El. The product f · El is a of weight 2, to which is associated an l-adic Galois P 2πiτ representation ρl by the work of Deligne. Writing f · El = n bne , for p - N one has bp = tr(ρl(Frobp)). On the other hand, El is chosen carefully so that ap ≡ bp (mod l). It follows that thare are infinitely many two-dimensional Galois representations ρl, parametrized by L, for each of which tr(ρl(Frobp)) ≡ ap (mod l) for all p - Nl. Deligne and Serre then show that this family of representations must come from a single complex two-dimensional representation ρ : GQ → GL2(C), such that ap = tr(ρ(Frobp)) for all p - N. The key facts that enable this argument, aside from the construction of Deligne, are various “smallness” properties. For instance the size of the image of each ρl is finite, and bounded by some constant independent of l.

2.4. The work of Bruggeman-Lewis-Zagier. Let Ms(Γ) denote the space of Maass cusp forms for Γ of eigenvalue s(1 − s). The work of Bruggeman-Lewis-Zagier generalizes the Eichler-Shimura isomorphism to ∼ 1 Ms(Γ) −→ Hpar(Γ,Vs), where Vs is a model of the (infinite-dimensional) prinicipal series representation of GL2(R), with 1 parameter s. One has to be extra careful about the choice of the model Vs when s = 2 , which is the case appearing in the algebraic Langlands correspondence.

1 Question: Does there exist an integral version of the cohomology group Hpar(Γ,V 1 )? 2

References [1] James Arthur. A note on the automorphic Langlands group. Canad. Math. Bull., 45(4):466–482, 2002. Dedicated to Robert V. Moody. ARITHMETIC GEOMETRY LEARNING SEMINAR:SUMMER 2018: GALOIS REPRESENTATIONS ATTACHED TO MODULAR FORMS5

[2] . Vari´et´esde Shimura: interpr´etationmodulaire, et techniques de construction de mod`elescanon- iques. In Automorphic forms, representations and L-functions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part 2, Proc. Sympos. Pure Math., XXXIII, pages 247–289. Amer. Math. Soc., Providence, R.I., 1979. [3] Pierre Deligne and Jean-Pierre Serre. Formes modulaires de poids 1. Ann. Sci. Ecole´ Norm. Sup. (4), 7:507–530 (1975), 1974. [4] M. Eichler. Eine Verallgemeinerung der Abelschen Integrale. Math. Z., 67:267–298, 1957. [5] Goro Shimura. Sur les int´egralesattach´eesaux formes automorphes. J. Math. Soc. Japan, 11:291–311, 1959.