MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## Galois representation associated to a modular form is crystalline iff…

I am looking for the reference for the following fact (used, for example, in the proof of theorem 4.4. in Breuil's expose about local-global compatibility at Bourbaki):

For $f$ a modular cuspidal form of weight $k \geq 2$, let $\rho _f$ be the associated Galos representation and let $\pi _p (\rho _{f, |Gal(\overline{\mathbb{Q}} _p/\mathbb{Q}_p)})$ be the smooth representation associated to $\rho _f$ by the Local Langlands correspondance. Then $\rho _{f, |Gal(\overline{\mathbb{Q}} _p/\mathbb{Q} _p)}$ is crystalline iff $\pi _p (\rho _{f, | Gal(\overline{\mathbb{Q}} _p / \mathbb{Q} _p)}) ^{GL_2(\mathbb{Z} _p)}$ is non-zero.

Additional question: does there exist a generalisation of this fact? For instance, to the totally real setting?

-
 Have you looked at Saito's article on local-global compatibility at $p$? This statement simply seems to be saying that the $GL_2(\mathbb{Q}_p)$-representation is unramified precisely when the associated $WD$-representation has no monodromy, which, by Fontaine's construction, is true if and only if the Galois representation is crystalline. – Keerthi Madapusi Pera Apr 22 2011 at 13:40 By "no monodromy" you mean that the nilpotent matrix in the WD-rep is 0? If so then I think what you say is not true, at the $GL_2(Q_p)$-side you can take Steinberg twisted with a ramified character. – Arno Kret Apr 22 2011 at 14:34 Dear Arno, A twist of Steinberg by a ramified character still has a non-trivial monodromy operator (i.e. the nilpotent matrix in the WD-rep is non-zero). In any event, I think that Keerthi just mis-wrote: he meant that the WD representation is trivial on inertia and has trivial monodromy operator. Regards, Matthew – Emerton Apr 22 2011 at 14:38 Dear Matt--Thank you for the correction. That was sloppy of me. – Keerthi Madapusi Pera Apr 22 2011 at 15:40

As Keerthi writes in his comment above, this follows from T. Saito's results. The statement in one direction, that non-trivial $GL_2(\mathbb Z_p)$-invariants implies that the associated $p$-adic Galois rep'n is crystalline at $p$, is in fact easier, and goes back to Scholl, and in principle goes back further than that. The point is that modular curves, and the universal elliptic curves over them, have good reduction at $p$ when $p$ doesn't divide the level, and the Galois representations appearing in the $p$-adic etale cohomology of a good reduction variety are crystalline. (As Arno Kret observes, there are technical issues related to the non-compactness of modular curves, but these were essentially resolved by Deligne already in his Bourbaki seminar on the construction of Galois rep's for modular forms, and were treated carefully by Scholl in his paper on motives attached to modular forms.)

The statement in the other direction is more difficult, because one has to show that ramified-at-$p$ modular forms give rise to Galois representations which are non-crystalline; Saito proves this (in fact he proves a much more precise local-global compatibility result).

These results all extend to the Hilbert modular case. In most cases, the Galois representations can be constructed directly from $p$-adic etale cohomology, and then the same geometric arguments apply (on Shimura curves now, rather than modular curves). (I think that Saito has a paper specificallly dealing with this.) In those situations for which the Galois representations are not constructed geometrically, but instead by a $p$-adic limiting process, one can still deduce these kinds of local-global compatibility-at-$p$ arguments in various ways. There is an eigenvariety argument due to Chenevier, which is written up in a paper of his, and in a joint paper of his and Harris. I think there are also arguments by Kisin, by Skinner, and by T. Liu. (I hope that commmenters will clarify or correct this list if it is incomplete or otherwise in error.)

One caveat: without chasing references, I'm not sure whether one can show that the monodromy operator is non-trivial in these limiting cases when it should be (the monodromy operator is hard to keep track of in arguments via $p$-adic families), so it may be that in these cases, when $\pi_v$ is Steinberg for a prime $v$ above $p$, one doesn't know whether the Galois representation is semi-stable but non-crystalline (as it should be) rather than crystalline. (Perhaps someone can comment on this.)

Also, Ana Caraiani has introduced a geometric method which pins down the monodromy operator in these limiting cases (and with $GL_2$ replaced by $GL_n$). Her results at the moment only cover primes $v$ not dividing $p$, but it seems likely that she will be able to extend them to the case of $v$ dividing $p$.

In general, to see the state of the art on such local-global compatibility results at primes dividing $p$ (for $GL_n$, not just $GL_2$), you should look at the recent preprints on this topic by Barnet-Lamb--Gee--Geraghty--Taylor, available on Taylor's web-site. The general statement is given by Theorem A of the second preprint. (The assumption about Shin regular weight appearing in that result is what would be removed by the generalization of Caraiani's work to the case $v$ divides $p$ mentioned above.)

-
 Matt: I will bite and say that to the best of my knowledge, local-global is not even known at $\ell\not=p$ for Hilbert modular forms of partial weight 1; these guys have associated Galois representations constructed via congruences in Frazer Jarvis' thesis, and he proves most instances of local-global, but I believe that the case he doesn't deal with in the thesis (namely: if the local $\pi$ is special then $N$ should be non-zero) is still open. See section 7 of afjarvis.staff.shef.ac.uk/maths/… . – Kevin Buzzard Apr 22 2011 at 18:10 Dear Kevin, But won't this follow (at least with the exception of the monodromy operator) by the argument along an eigenvariety as in Chenevier? Best wishes, Matt – Emerton Apr 22 2011 at 22:10 Actually, I'm not sure that the previous comment is correct. But I do know another possible argument using eigenvarieties; let me think about it. Best wishes, Matt – Emerton Apr 22 2011 at 22:24 The Steinberg case is not an issue in the Hilbert modular context, as in this case the Galois representations show up in the cohomology of a Shimura curve already (so is covered by Saito). – TG Apr 23 2011 at 11:49 Dear Toby, Brilliant, thanks! (Actually I think I pointed precisely this point out in a talk a few weeks ago, so I don't know why I missed it here.) What about the partial weight 1 case the Kevin brought up? Cheers, Matt – Emerton Apr 23 2011 at 12:07
show 1 more comment