derived Morita equivalence



Derived Morita equivalence is a generalization of Morita equivalence to the “derived” context (homotopy theory of dg-algebras). Just as two kk-algebras are Morita equivalent if and only if their categories of left modules are equivalent, the coarser equivalence relation of derived Morita equivalence holds whenever for two differential graded algebras their (bounded) derived categories of modules, along with their triangulated category structure, are equivalent.

The existence of a tilting complex is necessary and sufficient for an equivalence between the unbounded derived categories of two rings. A tilting complex is a special small generator of the derived category. It is a bounded complex TT of finitely generated projective RR-modules which generates the derived category 𝒟(R)\mathcal{D}(R) and whose graded ring of self maps 𝒟(R)(T,T) *\mathcal{D}(R)(T, T)_{\ast} is concentrated in dimension zero.


A derived Morita equivalence in the context of homological mirror symmetry appears in (Okada 09)


Related notions include Fourier-Mukai transform, mirror symmetry

The classical work in algebra concerning the Morita for derived categories of modules is due Rickard (also called Rickard equivalence)

Contemporary generality is outlined in

In the setting of dg-categories:

In the setting of stable (infinity,1)-categories (section 4):

For a treatment in terms of bicategories: