don't the simple modules (or Weyl modules, or tilting modules) generate? am I missing something subtle about the fact that you're using the derived category?
Ben Webster ♦
- 44.7k
- 12
- 126
- 260