Lemma 22.37.8. Let R be a ring. Let A and B be R-algebras. The following are equivalent
there is an R-linear equivalence D(A) \to D(B) of triangulated categories,
there exists an object P of D(B) such that
P can be represented by a finite complex of finite projective B-modules,
if K \in D(B) with \mathop{\mathrm{Ext}}\nolimits ^ i_ B(P, K) = 0 for i \in \mathbf{Z}, then K = 0, and
\mathop{\mathrm{Ext}}\nolimits ^ i_ B(P, P) = 0 for i \not= 0 and equal to A for i= 0.
Moreover, if B is flat as an R-module, then this is also equivalent to
there exists an (A, B)-bimodule N such that - \otimes _ A^\mathbf {L} N : D(A) \to D(B) is an equivalence.
Comments (0)