  As a corollary of nonabelian Hodge theory, Simpson proved a strong Lefschetz
theorem for complex polarized variations of Hodge structure. We show an
arithmetic analog. Our primary technique is $p$-adic nonabelian Hodge theory.
