ScalingStacks

0NY5

Corollary 4.12. Let XX be a perfect stack, and let Σ\Sigma be a finite simplicial set. Then there is canonical equivalence

QC⁡(XΣ)≃QC⁡(X)⊗Σ.\qc(X^{\Sigma})\simeq\qc(X)\otimes\Sigma.

In other words, the ∞\infty-category of sheaves on the mapping stack is calculated as the tensor product of the ∞\infty-categories of sheaves on the simplices.

0NY6

Proof. We calculate QC⁡(XΣ)\qc(X^{\Sigma}) by induction on the simplices as an iterated fiber product of copies of XX over perfect stacks (by Proposition 3.24), and apply Theorem 4.7 at each stage. ∎

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