%0 Journal Article
%T Rigid rational homotopy types
%A Christopher Lazda
%J Mathematics
%D 2013
%I arXiv
%R 10.1112/plms/pdu014
%X In this paper we define a rigid rational homotopy type, associated to any variety $X$ over a perfect field $k$ of positive characteristic. We prove comparison theorems with previous definitions in the smooth and proper, and log-smooth and proper case. Using these, we can show that if $k$ is a finite field, then the Frobenius structure on the higher rational homotopy groups is mixed. We also define a relative rigid rational homotopy type, and use it to define a homotopy obstruction for the existence of sections.
%U http://arxiv.org/abs/1306.6446v3