  We obtain new results on the geometry of Hilbert modular varieties in
positive characteristic and morphisms between them. Using these results and
methods of rigid geometry, we develop a theory of canonical subgroups for
abelian varieties with real multiplication.
