Motivic strict ring spectra representing semi-topological cohomology theories (Q5963046)

The article under review is very similar to, but in many regards much stronger than, [\textit{A. Krishna} et al., Algebr. Geom. Topol. 15, No. 2, 823--861 (2015; Zbl 1323.14016)]. The author establishes the existence of a lax monoidal ``homotopy semitopologization'' functor and studies some of its properties. In establishing the first goal, he constructs a lax monoidal fibrant replacement functor on motivic symmetric spectra, which is of independent interest. The studied properties are manifold. For example, similar to the above reference, it is shown that applying the functor to spectra representing motivic cohomology or algebraic K theory yields the standard semitopological versions; and applying it to algebraic cobordism yields a semitopological version of algebraic cobordism which has the expected properties. Some of these properties can only be formulated knowing that the semitopologization functor is lax monoidal, and so are completely new.