Skip to main content
2 of 3
fixed the latex
Zev Chonoles
  • 6.8k
  • 4
  • 54
  • 92

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}$, $\text{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 $\text{Ext}^n(X,Y)$.

Note that in the derived category one could have all kinds of non-vanishing $\text{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