Rigid rational homotopy types (Q2921110)

Rational homotopy types of algebraic varieties are a fundamental object of study in contemporary algebraic geometry. In recent years, the study of the rational homotopy theory related to special cohomology theories for varieties over perfect fields of characteristic \(p>0\) has become a research topic of particular interest. In this context, suitable definitions of \(p\)-adic rational homotopy types have been proposed by \textit{M. Kim} and \textit{R. M. Hain} [Compos. Math. 140, No. 5, 1245--1276 (2004; Zbl 1086.14021)] and by \textit{M. C. Olsson} [J. Pure Appl. Algebra 210, No. 3, 591--638 (2007; Zbl 1122.14017)], respectively. NEWLINENEWLINENEWLINEThe aim of the paper under review is to link up with these developments by studying rational homotopy types with respect to the rigid cohomology of arbitrary algebraic varieties over a perfect field of characteristic \(p>0\).NEWLINENEWLINENEWLINEMore precisely, the author first extends the definitions of \(p\)-adic rational homotopy types by Olsson and Kim-Hain in two different ways. The first approach uses embedding systems and differential graded algebras of overconvergent differential forms on rigid analytic varieties, whereas the second approach is based on the study of the so-called overconvergent site of the base variety as established in [\textit{B. Le Stum}, Mém. Soc. Math. Fr., Nouv. Sér. 127, 108 p. (2011; Zbl 1246.14028)].NEWLINENEWLINENEWLINEComparisons with the earlier definitions of Olsson and Kim-Hain, respectively, as well as comparisons with the author's two different approaches are made in various special cases of base varieties.NEWLINENEWLINENEWLINEIn the sequel, this is used to study Frobenius structures on the author's rigid rational homotopy types in the case of a finite ground field. Furthermore, relative rigid rational homotopy types are defined, again in two different ways, which are then applied to the study of rigid fundamental groups in the last section of the paper. As the author points out, his approach to rigid rational homotopy types is strongly influenced by the work of \textit{V. Navarro Aznar} [Ann. Sci. Éc. Norm. Supér. (4) 26, No. 1, 99--148 (1993; Zbl 0787.55010)].