People use several distinct models for the motivic stable homotopy category (so, there are some choices for the underlying category and a collection of available model structures). I would like to ask for help in "navigating" in this matter. So, which advantages does each of the model have? Does any "guide" for this subject exist?


In particular, is the category of symmetric (motivic) $T$-spectra endowed with the injective (="levelwise"?) model structure a "reasonable" monoidal model category?



What are the advantages of various "models" for the motivic stable homotopy category
The injective model structure is monoidal (satisfies the pushout product axiom), see Hornbostel's paper "Localizations in motivic homotopy theory", Thm 1.9 and Lemma 1.10. The projective model structure is also monoidal. See Hovey's "Spectra and symmetric spectra in general model categories", where he introduces the projective model structure. 


Later, Hornbostel introduced the *positive* model structure, a modification of the projective model structure that, like the case for ordinary (non-motivic) symmetric spectra, avoids Gaunce Lewis's obstruction regarding commutative monoids. Specifically, this model structure is Quillen equivalent to the projective (and injective), but now the unit (sphere spectrum) is not cofibrant. Furthermore, there is now a transferred model structure on commutative ring spectra, which Lewis proved cannot exist for the projective model structure. For non-motivic spectra, the positive model structure was introduced in Mandell-May-Schwede-Shipley ("diagram spectra"). If you google, you can find old drafts online where I thought I'd done the positive analogue of Hovey's general-spectra paper, but Hornbostel beat me to it by several years.


There is also a positive *flat* model structure on symmetric spectra (see Shipley's paper "A convenient model category for commutative ring spectra") that has the extra property that cofibrant commutative monoids forget to cofibrant objects in the underlying category. This property is generally not true for the non-flat variant. I am not sure if this has been constructed for motivic symmetric spectra, but it surely must exist. An analogous program for equivariant spectra was carried out in the thesis of Martin Stolz. If this has been done for motivic, it would probably be in the paper of Pavlov and Scholbach. 


If you have other questions not answered here, please let me know and I'll edit to try and answer. I agree it would be good to have a unified place with lists of pros/cons of the various structures, and that may as well be here. All these model structures are combinatorial, stable, and proper. What other properties do you care about?


