2 problems

Let ${\mathbf{Spt}}^\Sigma_{{\mathbb P}^1}(k)$ be the category of symmetric $\mathbb{P}^1$-spectra over $k$, and let ${\operatorname{{\mathcal S}{\mathcal H}}}(k)$ be its homotopy…

Realization conjecture. The functor ${\mathbf K}_{\operatorname{gl}}$ should descend to an equivalence from the localization of ${\bf{ParSumCat}}$ at the class of…