Motivic symmetric spectra (Q1586185)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Motivic symmetric spectra
scientific article

    Statements

    Motivic symmetric spectra (English)
    0 references
    30 November 2000
    0 references
    Let \(T\) denote the quotient of sheaves \({\mathbb A}^1/({\mathbb A}^1-0)\) in motivic homotopy theory, and let \(X\) denote a \(T\)-spectrum. Morel and Voevodsky introduced a motivic stable category, which can be obtained by formally inverting the functor \(X\rightarrow T\wedge X\). This category is fundamental for Voevodsky's proof of the Milnor conjecture. The underlying paper gives a method for importing the stable homotopy theory of symmetric spectra as developed by \textit{M. Hovey, B. Shipley} and \textit{J. Smith} [J. Am. Math. Soc. 13, 149-208 (2000; Zbl 0931.55006)] into Morel's and Voevodsky's motivic stable category. The paper consists of four chapters, two appendices and an index. The first chapter supplies the necessary tools such as motivic homotopy theory, controlled fibrant models, Nisnevich descent and flasque simplicial presheaves. The second chapter deals with motivic stable categories. Topics discussed are level structures, compact objects, stable closed model structures, change of suspension and bounded cofibrations. The third chapter is on fibre and cofibre sequences. It is subdivided into four sections on exact sequences for \(S^1\)-spectra, weighted stable homotopy groups, fibre and cofibre sequences, and \(T\)-suspensions and \(T\)-loops, respectively. The fourth chapter gives the main results. It discusses motivic symmetric spectra. Subjects dealt with are level structures, stable structures, smash product, equivalence of stable categories, and symmetric \(S^1\)-spectra. On the whole the paper is rather technical and probably meant for specialists in the field. The key result states that ``The category \({\mathcal S}pt^{\Sigma}_T(Sm|_S)_ {\text{Nis}}\) of symmetric \(T\)-spectra on the smooth Nisnevich site, and the classes of stable equivalences, stable fibrations and stable cofibrations, together satisfy the axioms for a proper closed simplicial model category''. The same result holds for the category \({\mathcal S}pt^{\Sigma}_{S^1}(Sm|_S)_{\text{Nis}}\) of symmetric \(S^1\)-spectra. The first appendix is on properness, and the second deals with motivic homotopy theory of presheaves.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    motivic stable category
    0 references
    motivic symmetric spectra
    0 references
    motivic homotopy theory
    0 references
    level structures
    0 references
    compact objects
    0 references
    stable closed model structures
    0 references
    change of suspension
    0 references
    bounded cofibrations
    0 references
    cofibre sequence
    0 references
    fibre sequence
    0 references
    0 references