Overconvergent modular sheaves and modular forms for GL 2/F

Given a totally real field F and a prime integer p which is unramified in F, we construct p-adic families of overconvergent Hilbert modular forms (of non-necessarily parallel weight) as sections of, so called, overconvergent Hilbert modular sheaves. We prove that the classical Hilbert modular forms of integral weights are overconvergent in our sense. We compare our notion with Katz’s definition of p-adic Hilbert modular forms. For F = ℚ, we prove that our notion of (families of) overconvergent elliptic modular forms coincides with those of R. Coleman and V. Pilloni.