Abstract:Let $\V$ be a symmetric monoidal model category and let $X$ be an object in $\V$. From this we can construct a new symmetric monoidal model category $Sp^{\Sigma}(\V,X)$ of symmetric spectra objects in $\V$ with respect to $X$, together with a left Quillen monoidal map $\V\to Sp^{\Sigma}(\V,X)$ sending $X$ to an invertible object. In this paper we use the recent developments in the subject of Higher Algebra to understand the nature of this construction. Every symmetric monoidal model category has an underlying symmetric monoidal $(\infty,1)$-category and the first notion should be understood as a mere "presentation" of the second. Our main result is the characterization of the underlying symmetric monoidal $\infty$-category of $Sp^{\Sigma}(\V,X)$, by means of a universal property inside the world of symmetric monoidal $(\infty,1)$-categories. In the process we also describe the link between the construction of ordinary spectra and the one of symmetric spectra. As a corollary, we obtain a precise universal characterization for the motivic stable homotopy theory of schemes with its symmetric monoidal structure. This characterization trivializes the problem of finding motivic monoidal realizations and opens the way to compare the motivic theory of schemes with other motivic theories. As an application we provide a new approach to the theory of noncommutative motives by constructing a stable motivic homotopy theory for the noncommutative spaces of Kontsevich. For that we introduce an analogue for the Nisnevich topology in the noncommutative setting. Our universal property for the classical theory for schemes provides a canonical monoidal map towards these new noncommutative motives and allows us to compare the two theories.

Motivic cohomology of the Nisnevich classifying space of even Clifford groups

Unstable cohomology of $\mathsf{GL}_{2n}(\mathbb{Z})$ and the odd commutative graph complex

Noncommutative numerical motives, Tannakian structures, and motivic Galois groups

A Serre-type spectral sequence for motivic cohomology

A geometric computation of cohomotopy groups in co-degree one

Motivic cohomology of equicharacteristic schemes

Equivariant cohomology of even-dimensional complex quadrics from a combinatorial point of view

Algebraic part of motivic cohomology with compact supports

Milnor-Witt motivic cohomology and linear algebraic groups

Equivariant cohomology of odd-dimensional complex quadrics from a combinatorial point of view

Motivic cohomology of cyclic coverings

Motivic modular forms from equivariant stable homotopy theory

Motivic Unipotent Fundamental Groupoid of Gm∖μN for N = 2,3,4,6,8 and Galois Descents

Motivic unipotent fundamental groupoid of $\mathbb{G}_{m} \setminus \mu_{N}$ for $N=2,3,4,6,8$ and Galois descents

Noncommutative Motives I: A Universal Characterization of the Motivic Stable Homotopy Theory of Schemes

Motivic fundamental group of ${\Bbb G}_m-μ_N$ and modular manifolds

Motivic Unipotent Fundamental Groupoid of $\mathbb{g}_{m} \setminus Μ_{n}$ for $N=2,3,4,6,8$ and Galois Descents

Weight two compactly supported cohomology of moduli spaces of curves

Motivic Gauss and Jacobi sums

The Structure of Motivic Homotopy Groups

Motivic mirror symmetry and $χ$-independence for Higgs bundles in arbitrary characteristic