When is the non-negative derived category compactly generated?

This is true more generally for every qcqs spectral algebraic space (assuming that D(X) has the meaning that I think it does). This is proven in (the current version of) Spectral Algebraic Geometry as 9.6.1.2. Probably there is some more classical reference in the case of schemes (it follows by a mild variation on Thomason's argument), but I'm not sure where to find it.


For qcqs algebraic spaces (non-spectral), this is lemma 2.7 in Algebraization and Tannaka Duality by Bhatt.

Tags:

Ag.Algebraic Geometry

Derived Categories

Related

Closed form $\int_{0}^{\frac{r}{2}} {\binom{n}{p} \binom{n-p}{r-2p} 2^{r-2p}}{\binom{2n}{r}^{-1}} \ \text{d}p$ What can the approximation of a group by some class be used for? Is it possible that the GHKK canonical basis for cluster algebras is the Lusztig/Kashiwara dual canonical basis? How complicated can a finite double complex over a field be? Elliptic Regularity with Gibbs Measure Satisfying Bakry-Emery Condition When is one 'ready' to make original contributions to mathematics? Cyclic vectors in irreducible representations of simple Lie algebras Dualizable object in the category of locally presentable categories Homotopy type of non-Cohen-Macaulay complexes A finite group $G$ all of whose reps are defined over $\mathbb{Z}$ and yet $Rep(G)$ is not generated by permutation representations Polynomials that share at least one root On some analytic property of the Riemann zeta function

Recent Posts