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 configurations on the line

Making the motivic group structure on the endomorphisms of the projective line explicit

Motivic measures of configuration spaces and polysymmetric functions

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

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

Liftable Point-Line Configurations: Defining Equations and Irreducibility of Associated Matroid and Circuit Varieties

Motivic distribution of rational curves and twisted products of toric varieties

Motivic realization of rigid G-local systems on curves and tamely ramified geometric Langlands

Motivic invariants of birational maps

Motivic complexes over finite fields and the ring of correspondences at the generic point

Motives, mapping class groups, and monodromy

The Structure of Motivic Homotopy Groups

Local motivic invariants of rational functions in two variables

Motivic nearby cycles functors, local monodromy and universal local acyclicity

Motivic monodromy and p-adic cohomology theories

Motivic cohomology of equicharacteristic schemes

Motivic integration on special rigid varieties and the motivic integral identity conjecture

Motivic classes of irregular Higgs bundles and irregular connections on a curve

Motivic interpretations for iterated integrals on some specific algebraic curves

Rational and $p$-local Motivic Homotopy Theory