Finiteness for crystalline representations of the absolute Galois group of a totally real field

Abstract

Let K be a totally real field and G(K) := Gal((K) over bar /K) its absolute Galois group, where K is a fixed algebraic closure of (K) over bar. Let e be a prime and E a finite extension of Q(l). Let S be a finite set of finite places of K not dividing l. Assume that K, S, Hodge-Tate type h and a positive integer n are fixed. In this paper, we prove that if 2 is sufficiently large, then, for any fixed E, there are only finitely many isomorphism classes of crystalline representations r : G(K) -> GL(n)(E) unramified outside S boolean OR {v : v vertical bar l}, with fixed Hodge-Tate type h, such that r vertical bar G(K') similar or equal to circle plus r(i)' for some finite totally real field extension K' of K unramified at all places of K over l, where each representation r(i)'over E is an 1-dimensional representation of G(K)' or a totally odd irreducible 2-dimensional representation of G(K)' with distinct Hodge-Tate numbers.