Galois Representations and Automorphic Forms

I will describe a joint work with Barnet-Lamb, Gee and Taylor where we establish a potential automorphy result for compatible systems of Galois representations over totally real and CM fields. This is deduced from a potential automorphy result for single l-adic Galois representations satisfying a `diagonalizability' condition at the places dividing l.

To a regular algebraic cuspidal representation of GL(2) over a quadratic imaginary field, whose central character is conjugation invariant, Taylor et al. associated a two dimensional Galois representation which is unramified at l different from p outside a finite set of places. The first half of this talk concerns the crystallinity of the Galois representation at p , under a technical assumption. The second half of the talk is on recent work towards local-global compatibility (on GSp(4) and its implication for GL(2)).

Iwasawa developed his theory for class groups in towers of cyclotomic fields partly in analogy with Weil's theory of curves over finite fields. In this talk, we present another such conjectural analogy. It seems intertwined with Leopoldt's conjecture. This talk is related to J-P.Wintenberger's talk here earlier this year.

Some automorphic forms, despite the fact they are algebraic, do not have any interpretation as cohomology classes on a Shimura variety: therefore nothing is known at present on their expected arithmetic properties. I shall explain how such forms appear to be related to more general objects (Griffiths-Schmid varieties) and discuss some related rationality questions.

We study families of filtered phi-modules associated to families of p-adic Galois representations as considered by Berger and Colmez. We show that the weakly admissible locus in a family of filtered phi-modules is open and that the groupoid of weakly admissible modules is in fact an Artin stack. Working in the category of adic spaces instead of the category of rigid analytic spaces one can show that there is an open substack of the weakly admissible locus over which the filtered phi-modules is induced from a family of crystalline representations.