Symmetric powers in abstract homotopy categories
We study symmetric powers in the homotopy categories of abstract closed symmetric monoidal model categories, in both unstable and stable settings. As an outcome, we prove that symmetric powers preserve the Nisnevich and étale homotopy type in the unstable and stable motivic homotopy theories of schemes over a base. More precisely, iff is a weak equivalence of motivic spaces, or a weak equivalence between positively cofibrant motivic spectra, with respect to the Nisnevich or étale topology, then all symmetric powers Symn(f) are weak equivalences too. This gives left derived symmetric powers in the corresponding motivic homotopy categories of schemes over a base, which aggregate into a categorical λ-structures on these categories.