Proposition 3.9. For a derived stack with affine diagonal, the following are equivalent:
- (1)
is perfect.
- (2)
is compactly generated, and its compact and dualizable objects coincide.
Proposition 3.9. For a derived stack with affine diagonal, the following are equivalent:
is perfect.
is compactly generated, and its compact and dualizable objects coincide.
Proof. If is perfect, so that , 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 -subcategory of dualizable objects of is idempotent complete (since it is also stable). Since is idempotent complete, this is equivalent to showing that dualizable objects are closed under retracts. However, for a retract of a dualizable object one can explicitly write down the unit and trace maps for and confirm the necessary conditions. We leave this to the reader.
Conversely, if is compactly generated, then 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 source: arXiv:0805.0157v5