1
$\begingroup$

Let $A, B, C$ be algebras. Suppose that $D^b(A)$ (the bounded derived category of $A$) admits a recollement relative to $D^b(B)$ and $D^b(C)$.

Then, by a result of Alfred Wiedemann's paper "On stratifications of derived module categories," the algebra $A$ has a finite global dimension if and only if so are $B$ and $C$.

Now, suppose that the bounded derived categories of $A$ and $B$ are equivalent. By Rickard's result, $D^b(A)$ admits a recollement relative to $D^b(B)$ and 0. Hence, the global dimension is a derived invariant.

But, BGS's Koszul duality give an equivalent between the bounded derived categories of the symmetric algebra and the exterior algebra. Obviously, their global dimension are quite different. So, what's the reason?

$\endgroup$
6
  • 5
    $\begingroup$ The global dimension is not derived invariant: there are non-hereditary algebras derived equivalent to path algebras. $\endgroup$ Nov 29, 2011 at 4:33
  • 3
    $\begingroup$ (There are concrete examples, including the one you are interested, at mathoverflow.net/questions/57437/…) $\endgroup$ Nov 29, 2011 at 4:38
  • $\begingroup$ It seems that this contradicts to statement of the global dimension on the recollements of the bounded derived categories of algebras. So, where is the mistake? $\endgroup$
    – C Zhu
    Nov 29, 2011 at 4:57
  • $\begingroup$ Your derivation of the invariance of global dimension is not very convincing: I'd look there :) $\endgroup$ Nov 29, 2011 at 5:01
  • $\begingroup$ @ Mariano Suárez-Alvarez I have make a mistake! I intended to say the following. Is the finiteness of global dimension a derived invariant? $\endgroup$
    – C Zhu
    Nov 30, 2011 at 12:23

1 Answer 1

6
$\begingroup$

As Mariano points out, global dimension of non-commutative algebras is not derived invariant, which surprised me at first since the dimension of regular projective varieties is preserved by derived equivalence.

On the other hand, being homologically smooth is an invariant of the differential-graded derived categories. Homologically smooth means that the diagonal bimodule is perfect (has a finite projective resolution by projective bimodules). Alternatively, this means that the identity functor is perfect in the dg category of nice endofunctors of your category. Since perfection of the identity functor is a categorical property, it is preserved by equivalence. (See Toen's The homotopy theory of dg categories and derived Morita theory.)

About the symmetric algebra/exterior algebra example. As dg algebras with trivial grading and trivial differential, the symmetric algebra is homologically smooth and the exterior algebra is not, so they can't be derived equivalent. The BGG/BGS equivalence includes a grading on the modules, together with some boundedness conditions, and the Goresky-Macpherson type equivalence involves considering the symmetric algebra and exterior algebra as dg algebras with trivial differential but non-trivial grading.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.