Spherical Witt vectors and integral models for spaces

Abstract

We give a new construction of the spherical Witt vector functor of Lurie and Burklund-Schlank-Yuan and extend it to nonconnective objects using synthetic spectra and recent work of Holeman. The spherical Witt vectors are used to build spherical versions of perfect $\hat{I}»$-rings and to motivate new results in Grothendieck's schematization program, building on work of Ekedahl, Kriz, Mandell, Lurie, Quillen, Sullivan, Toën, and Yuan. In particular, there is an $\infty$-category of perfect derived $\hat{I}»$-rings with trivializations of the Adams operations $\ddot{I}{ˆ}^p$ for all $p$ such that the functor sending a space $X$ to its integral cochains on $X$, viewed as such a derived $\hat{I}»$-ring, is fully faithful on a large class of nilpotent spaces. Our theorem is closely related to recent work of Horel and Kubrak-Shuklin-Zakharov. Finally, we answer two questions of Yuan on spherical cochains.

this version corrects a critical error in one of our proofs which was pointed out by Maxime Ramzi and Maria Yakerson; the main results of the paper are unaffected