Еще один хороший вопрос про экзотические производные категории матричных факторизаций

[posic]

Нельзя ли доказать, что пересечение D^abs(w-coh) и D^abs(w-qcoh_lf) внутри D^abs(w-qcoh) равно D^abs(w-coh_lf)?

Если внутри D^co(w-qcoh) пересечение брать, то такое вряд ли будет верно: в случае горенштейновой объемлющей схемы X, это означало бы просто, что D^abs(w-coh) = D^abs(w-coh_lf), что otherwise ниоткуда не следует и вообще мало похоже на правду. Да и функтор D^co(w-qcoh_lf) → D^co(w-qcoh) вряд ли в общем случае вполне строгий.