A Spectral "schematization" of Homotopy Types
Abstract
Toen has interpreted the schematization problem as originally imagined by Grothendieck in "Pursuing Stacks" in such a way that solution(s) to this problem could be given. As he pointed out, there are many solutions available, and he gave two constructions solving this problem. What we do in the present work is reconsider what Grothendieck initially had in mind and develop a formalism that provides a concept of "schematization" and corresponding homotopy groups of "schematized" homotopy types. In our view this can be realized if we generalize topological spaces to symmetric spectra, and the mapping spaces Map(S,A) in the category of symmetric sequences play the role of homotopy groups, S the sphere spectrum, A a symmetric spectrum.
Cite
@article{arxiv.1609.04290,
title = {A Spectral "schematization" of Homotopy Types},
author = {Renaud Gauthier},
journal= {arXiv preprint arXiv:1609.04290},
year = {2022}
}
Comments
21 pages. The definition of homotopy groups used to define spectral homotopy types has been modified, since the old one yielded trivial results, and the very last subsection has been removed as a consequence