TY - JOUR

T1 - Integral transforms and Drinfeld centers in derived algebraic geometry

AU - Ben-Zvi, David

AU - Francis, John

AU - Nadler, David

PY - 2010/10

Y1 - 2010/10

N2 - We study the interaction between geometric operations on stacks and algebraic operations on their categories of sheaves. We work in the general setting of derived algebraic geometry: our basic objects are derived stacks X and their ∞-categories QC(X) of quasi-coherent sheaves. (When X is a familiar scheme or stack, QC(X) is an enriched version of the usual quasi-coherent derived category Dqc(X).) We show that for a broad class of derived stacks, called perfect stacks, algebraic and geometric operations on their categories of sheaves are compatible. We identify the category of sheaves on a fiber product with the tensor product of the categories of sheaves on the factors. We also identify the category of sheaves on a fiber product with functors between the categories of sheaves on the factors (thus realizing functors as integral transforms, generalizing a theorem of Toën for ordinary schemes). As a first application, for a perfect stack X, consider QC(X) with its usual monoidal tensor product. Then our main results imply the equivalence of the Drinfeld center (or Hochschild cohomology category) of QC(X), the trace (or Hochschild homology category) of QC(X) and the category of sheaves on the loop space of X. More generally, we show that the εn-center and the εn-trace (orε n-Hochschild cohomology and homology categories, respectively) of QC{X) are equivalent to the category of sheaves on the space of maps from the n-sphere into X. This directly verifies geometric instances of the categorified Deligne and Kontsevich conjectures on the structure of Hochschild cohomology. As a second application, we use our main results to calculate the Drinfeld center of categories of linear endofunctors of categories of sheaves. This provides concrete applications to the structure of Hecke algebras in geometric representation theory. Finally, we explain how the above results can be interpreted in the context of topological field theory.

AB - We study the interaction between geometric operations on stacks and algebraic operations on their categories of sheaves. We work in the general setting of derived algebraic geometry: our basic objects are derived stacks X and their ∞-categories QC(X) of quasi-coherent sheaves. (When X is a familiar scheme or stack, QC(X) is an enriched version of the usual quasi-coherent derived category Dqc(X).) We show that for a broad class of derived stacks, called perfect stacks, algebraic and geometric operations on their categories of sheaves are compatible. We identify the category of sheaves on a fiber product with the tensor product of the categories of sheaves on the factors. We also identify the category of sheaves on a fiber product with functors between the categories of sheaves on the factors (thus realizing functors as integral transforms, generalizing a theorem of Toën for ordinary schemes). As a first application, for a perfect stack X, consider QC(X) with its usual monoidal tensor product. Then our main results imply the equivalence of the Drinfeld center (or Hochschild cohomology category) of QC(X), the trace (or Hochschild homology category) of QC(X) and the category of sheaves on the loop space of X. More generally, we show that the εn-center and the εn-trace (orε n-Hochschild cohomology and homology categories, respectively) of QC{X) are equivalent to the category of sheaves on the space of maps from the n-sphere into X. This directly verifies geometric instances of the categorified Deligne and Kontsevich conjectures on the structure of Hochschild cohomology. As a second application, we use our main results to calculate the Drinfeld center of categories of linear endofunctors of categories of sheaves. This provides concrete applications to the structure of Hecke algebras in geometric representation theory. Finally, we explain how the above results can be interpreted in the context of topological field theory.

UR - http://www.scopus.com/inward/record.url?scp=77956572225&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77956572225&partnerID=8YFLogxK

U2 - 10.1090/S0894-0347-10-00669-7

DO - 10.1090/S0894-0347-10-00669-7

M3 - Article

AN - SCOPUS:77956572225

SN - 0894-0347

VL - 23

SP - 909

EP - 966

JO - Journal of the American Mathematical Society

JF - Journal of the American Mathematical Society

IS - 4

ER -