# To derive or not to derive, that is the question

What are concrete and abstract examples of problems (even whole programmes of inquiry) when one has a choice to use a "derived" theory (e.g., $\infty$-categories, DAG, HAG, $DRep_k(G)$, "higher" counting,...) or its non-derived variant (1-categorical arguments, basic algebraic geometry, "stupid" counting, $Rep_k(G)$ ...) but the derived variant will not work?

Motivation: when defining, say, some geometric theory, is it still useful to write up a 1-categorical treatment distinct from an $\infty$-categorical treatment?

• Where is the Kool-Aid? Commented Apr 14, 2017 at 15:17
• In the paper arXiv:1610.07421v4 "Modelling and Computing Homotopy Types: I" I explain how the use of certain strict higher homotopy groupoids has led to a new approach to algebraic topology at the border between homology and homotopy and to new computational procedures. Work on (weak) $\infty$-groupoids has not to my knowledge yielded corresponding results. Commented Apr 14, 2017 at 15:44
• The first paragraph is fine, but the "Motivation" (which was what I first read) is surreal; e.g., EGA is "1-categorical" and has vast depth! Not only is it good to write up explanations of things in terms that more people can understand, but if you think about how to explain ideas in as concrete a form as possible then you will come to a better understanding of where the real substance lies underneath a lot of abstract nonsense (e.g., articulate exactly why certain heavier machines are serving a real purpose in a given setting, if so). Talk with algebraic geometers in your department. Commented Apr 14, 2017 at 17:54
• It is of course fairly common that the passage from the strict category to the derived category is a loss of information. I find it interesting that QCoh(P^1) is very far from being a category of modules for a unital associative ring. The derived category is famously the modules of a quiver algebra. Commented Apr 15, 2017 at 2:48
• Please speak with some experienced algebraic geometry faculty in your department; nearly all of the material in algebraic geometry books and journal articles has nothing whatsoever to do with $\infty$-categorical methods (and Artin proved deep theorems on Artin stacks perfectly well without such things). It doesn't make sense why you should feel the need to keep explaining why you aren't doing things $\infty$-categorically; do whatever is appropriate to a problem at hand, and ignore any pressure to drink the Kool Aid if you can make do with water (which is better for your health too). Commented Apr 15, 2017 at 4:11