Skip to main content
1 of 3
Yuhao Huang
  • 5.1k
  • 1
  • 39
  • 62

Does the derived category remembers the homological dimension?

Question:

Let $\mathcal{A}$ be an abelian category and $D^?(\mathcal{A})$ be its derived category, where ? could be empty, +, - or b (for boundedness). Is it possible to recover the homological dimension of $\mathcal{A}$ from the derived category?

Here I'm using the term homological dimension in the sense of Gelfand-Manin, i.e. if for all $X,Y\in\mathcal{A}$, Ext$_{\mathcal{A}}^i(X,Y):=\text{Hom}_{D(\mathcal{A})}(X[0],Y[i])=0$, then the homological dimension is said to be less than $i$. The homological dimension is the maximal $n$ such that there exists a non-vanishing Ext$^n(X,Y)$.

Note that in the derived category one could have all kinds of non-vanishing Ext$^n(X,Y)$, as $X,Y $ can be complexes shifted arbitrarily. Is it still possible to recover this information via other method?

Yuhao Huang
  • 5.1k
  • 1
  • 39
  • 62