ScalingStacks

0NWM

Proposition 3.9. For a derived stack XX with affine diagonal, the following are equivalent:

  1. (1)

    XX is perfect.

  2. (2)

    QC⁡(X)\qc(X) is compactly generated, and its compact and dualizable objects coincide.

0NWN

Proof. If XX is perfect, so that QC⁡(X)=Ind⁡Perf⁡(X)\qc(X)=\operatorname{Ind}\operatorname{Perf}(X), we claim that compact and dualizable objects agree, and hence compact objects generate, so that (1) implies (2).

To see the claim, it suffices to show that the full ∞\infty-subcategory of dualizable objects of QC⁡(X)\qc(X) is idempotent complete (since it is also stable). Since QC⁡(X)\qc(X) is idempotent complete, this is equivalent to showing that dualizable objects are closed under retracts. However, for a retract NN of a dualizable object MM one can explicitly write down the unit and trace maps for N⊗ℋ​o​m​(N,𝒪X)N\otimes{\mathcal{H}om}(N,\mathcal{O}_{X}) and confirm the necessary conditions. We leave this to the reader.

Conversely, if QC⁡(X)\qc(X) is compactly generated, then QC⁡(X)\qc(X) is the Ind-category of its compact objects, and hence by assumption also the Ind-category of its dualizable objects, so that (2) implies (1). ∎

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

David Ben-Zvi, John Francis, David Nadler

Original source: arXiv:0805.0157v5