Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
@FernandoMuro For $Y,\{X_i\} \in \text{Loc}(b)$ we have $[Y,W \prod_i {X_i}] = [i(Y),\prod {X_i}] = \prod_i [i(Y),X_i] = \prod_i [Y,W(X_i)]$. So I think the product is just the product in $D(A)$ followed by $W$.
Is there any reason to suspect this is true? Take $A = D(R)$ for, say, a Noetherian regular local ring $(R,\mathfrak{m},k)$, and take $b = k$. The localizing subcategory generated by $k$ is then the derived category $\mathfrak{m}$-torsion $R$-modules. The inclusion will not, in general, preserve limits.
$\pi_{1,0}\mathbb{1}$ (I always get confused by motivic grading) is computed in arxiv.org/pdf/1604.00365.pdf. For an expository article, perhaps: Østvær, Paul Arne (2020). Motivic stable homotopy groups, In Haynes Miller (ed.), Handbook of Homotopy Theory. Chapman & Hall/CRC. ISBN 9780815369707. Motivic stable homotopy groups. s 759 - 793
@MarcHoyois Is it true that Cisinski proves this for a general qcqs scheme? My French isn't very good, but it seems like it is shown for Noetherian schemes of finite Krull dimension ('ans ce qui suit, tous les schémas seront noethériens, de dimension de Krull finie.')
Dear Badam, I'm not sure, but it seems to be difficult/unknown. There is a paper of Auslander which considers the case of global dimension of algebras over a field, but this is as much as a I could find.