A Lefschetz theorem for overconvergent isocrystals with Frobenius structure

Tomoyuki Abe, Hélène Esnault

We show a Lefschetz theorem for irreducible overconvergent $F$-isocrystals on smooth varieties defined over a finite field. We derive several consequences from it.