A Lefschetz theorem for overconvergent isocrystals with Frobenius structure. (English) Zbl 1440.14097
Summary: We show a Lefschetz theorem for irreducible overconvergent \(F\)-isocrystals on smooth varieties defined over a finite field. We derive several consequences from it.
MSC:
14F10 | Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials |
14F30 | \(p\)-adic cohomology, crystalline cohomology |