A $p$-adic Bertini theorem for unipotent local systems

Abstract

In this short note we prove a version of Bertini's theorem for unipotent rigid fundamental groups, stating that for every smooth, projective, geometrically connected variety $X$ over an infinite perfect field $k$ of characteristic $p>0$, there exists a smooth, projective, geometrically connected curve $C\subset X$ such that the induced map on rigid fundamental groups is surjective.

This paper has been withdrawn as it was pointed out by a referee that the main theorem follows easily from the weak Lefschetz theorem

References in corpus (1)

• On the stability by tensor products of complexes of arithmetic D-modules