Wach Modules, Regulator Maps, and e-Isomorphisms in Families

We prove the "local epsilon-isomorphism" conjecture of Fukaya and Kato [13] for certain crystalline families of G(Qp)-representations. This conjecture can be regarded as a local analog of the Iwasawa main conjecture for families. Our work extends earlier work of Kato for rank-1 modules (cf. [33]), of Benois and Berger for crystalline G(Qp)-representations with respect to the cyclotomic extension (cf. [1]), as well as of Loeffler et al. (cf. [21]) for crystalline G(Qp)-representations with respect to abelian p-adic Lie extensions of Q(p). Nakamura [24, 25] has also formulated a version of Kato's epsilon-conjecture for affinoid families of (phi, Gamma)-modules over the Robba ring, and proved his conjecture in the rank-1 case. He used this case to construct an epsilon-isomorphism for families of trianguline (phi, Gamma)-modules, depending on a fixed triangulation. Our results imply that this epsilon-isomorphism is independent of the chosen triangulation for certain crystalline families. The main ingredient of our proof consists of the construction of families of Wach modules generalizing work of Wach and Berger [6] and following Kisin's approach to the construction of potentially semi-stable deformation rings [18].