symmetric monoidal (∞,1)-category of spectra
The notion of Calabi-Yau algebra is an algebraic incarnation of the notion of Calabi-Yau manifold .
For a dg-algebra and a dg-bimodule over , write
for the dual -bimodule, where denotes the right derived hom-functor with respect to the model structure on dg-modules.
A homologically smooth dg-algebra is a Calabi-Yau algebra of dimension if there is a quasi-isomorphism of -bimodules
such that
This is (Ginzburg, def. 3.2.3).
Let be a smooth quasi-projective variety. Write for the derived category of bounded chain complexes of coherent sheaves over .
An object is called a tilting generator if the Ext-functor satisfies
for all ;
implies ;
the endomorphism algebra has finite Hochschild dimension.
This appears as (Ginzburg, def. 7.1.1).
For a tilting generator there is an equivalence of triangulated categories
to the derived category of modules over .
For smooth connected variety which is projective over an affine variety, let be a tilting generator, def. 3.
Then is a Calabi-Yau algebra of dimension precisely if is a Calabi-Yau manifold of dimension .
This appears as (Ginzburg, prop. 3.3.1).