\(F\)-isocrystals and homotopy types (Q886247): Difference between revisions

The nonabelian Hodge structure on the homotopy type of a smooth proper variety defined over \(\mathbb C\) was introduced by \textit{L. Katzarkov, T. Pantev} and \textit{B. Toen} [Schematic homotopy types and non-abelian Hodge theory I: The Hodge decomposition. \url{arxiv:math AG/0107129}]. The author studies the analogue of this for varieties in positive characteristic. Namely, if \(X\) is a proper smooth scheme over a perfect field of characteristic \(p\) and \(\mathcal C\) is a Tannakian category of isocrystals on \(X\) the author constructs an object \(X_{\mathcal C}\) in a homotopy category of simplicial presheaves. Its basic properties are described in the following theorem. Theorem 1.4. For any Tannakian subcategory \({\mathcal C}\subset \text{Isoc}(X/K),\) which is closed under extensions, there is a natural associated pointed stack \(X_{\mathcal C}\) over \(K\) for which: (i) There is a natural isomorphism \({\pi}_{1}(X_{\mathcal C})\cong {\pi}_{1}({\mathcal C},{\omega}_{X})\) (ii) For any object \({\mathcal V}\in \text{Isoc}(X/K)\) corresponding to a representation \noindent \({\rho}: {\pi}_{1}(X_{\mathcal C})\rightarrow \Aut(V),\) there is a natural isomorphism \(H^{*}(X_{\mathcal C}, (V, {\rho}))\cong H^{*}_{\text{cris}}(X, {\mathcal V})\) \noindent where \(H^{*}(X_{\mathcal C}, (V, {\rho}))\) denotes the cohomology of the local system \((V, {\rho})\). The \(F\)-isocrystal structure is also studied and several applications of the theory are given.