Graded loopspaces in mixed characteristics and de Rham-Witt algebra
This PhD manuscript focuses on the study of a variation of the graded loop space construction for mixed graded derived schemes endowed with a Frobenius lift. We developed a theory of derived Frobenius lifts on a derived stack which are homotopy theoretic analogues of delta-structures for commutative rings. This graded loop space construction is the first step towards a definition of the de Rham-Witt complex for derived schemes. In this context, a loop is given by an action of the "crystalline circle", which is a formal analogue of the topological circle, endowed with its natural endomorphism given by multiplication by p. In this language, a derived Dieudonn\'e complex can be seen as a graded module endowed with an action of the crystalline circle.