Relative Fundamental Groups and Rational Points

Abstract

In this paper we define a relative rigid fundamental group, which associates to a section $p$ of a smooth and proper morphism $f:X\to S$ in characteristic $p$, a Hopf algebra in the ind-category of overconvergent $F$-isocrystals on $S$. We prove a base change property, which says that the fibres of this object are the Hopf algebras of the rigid fundamental groups of the fibres of $f$. We explain how to use this theory to define period maps as Kim does for varieties over number fields, and show in certain cases that the targets of these maps can be interpreted as varieties.

38 pages. Final version, published in Rend. Sem. Math. Univ. Padova

References in corpus (1)

• Dwork Cohomology and Algebraic D-Modules

Cited by in corpus (4)

• A homotopy exact sequence for overconvergent isocrystals
• Around $\ell$-independence
• Malcev Completions, Hodge Theory, and Motives
• On a good reduction criterion for proper polycurves with sections