Monoidality of Franke's exotic model (Q649593)

This paper concerns \(\mathrm{Ho}(L_1\mathcal{S})\), the \(K_{(p)}\)-local stable homotopy category for \(p\) odd. Here \(L_1\mathcal{S}\) denotes Bousfield localization with respect to the homology theory \(E(1)\). \textit{J. Franke} [``Uniqueness theorems for certain triangulated categories possessing an Adams spectral sequence'', preprint, \url{http://www.mathematik.uni-osnabrueck.de/K-theory/0139}], constructed an algebraic model category whose homotopy category is equivalent to \(\mathrm{Ho}(L_1\mathcal{S})\). Franke's construction, however, does not induce the monoidal structure on the homotopy category. The authors construct a new model structure on Franke's model category with compatible monoidal product which is Quillen equivalent to the original. They prove the induced product is compatible with the smash product on \(\mathrm{Ho}(L_1\mathcal{S})\) expanding on results of \textit{N. Ganter} [Cah. Topol. Géom. Différ. Catég. 48, No. 1, 3--54 (2007; Zbl 1126.18007)]. They also prove the Picard group of the homotopy category of their model is isomorphic to the integers.