Event image

We show how to construct rigid homotopy types, extending the construction of convergent and log crystalline homotopy types of (log) smooth and proper varieties. Using descent, we then show that the Frobenius structure on the rigid rational homotopy groups is mixed.