Starting from Simpson’s theory, we show how one can interpret and prove in arithmetic geometry his main theorem on bialgebraic loci, which in particular implies the Hard Lefschetz theorem in rank one in positive characteristic (joint with Moritz Kerz)