ScalingStacks

0NY3

Proof. The statement is an immediate consequence of Theorem 4.7 and the fact that QC⁡(X)\qc(X) is self-dual (Corollary 4.8). It implies that internal hom of QC⁡(Y)\qc(Y)-modules out of QC⁡(X)\qc(X) is calculated by tensoring with QC⁡(X)∨≃QC⁡(X)\qc(X)^{\vee}\simeq\qc(X). ∎

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