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.

Supplying bells and whistles in symmetric monoidal categories

Symmetric monoidal categories of conveniently-constructible Banach bundles

Monoidal supercategories

Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities

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

A braided monoidal $(\infty,2)$-category of Soergel bimodules

A Construction of the Symmetric Monoidal Structure of the Geometric Whittaker Model

Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation

Monoidal algebraic model structures

A monadicity theorem for higher algebraic structures

Different exact structures on the monomorphism categories

Model Category Structure on Simplicial Algebras via Dold-Kan Correspondence

Symmetry in the cubical Joyal model structure

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas

A symmetric monoidal fracture square

Local Modules in Braided Monoidal 2-Categories

String diagrams for symmetric powers I: In symmetric monoidal $\mathbb{Q}_{\ge 0}$-linear categories

Dualities for universal (co)acting Hopf monoids

Monoidal category of C*-algebras

Interacting Monoidal Structures with Applications in Computing

Enriched Koszul Duality