## Why do people “forget” Verdier abelianization functor?(Looking for application)

I am now learning localization theory for triangulated catgeory(actually, more general (co)suspend category) in a lecture course. I found Verdier abelianization which is equivalent to universal cohomological functor) is really powerful and useful formalism. The professor assigned many problems concerning the property of localization functor in triangulated category.He strongly suggested us using abelianization functor to do these problems

If we do these problems in triangulated category, we have to work with various axioms TRI to TRIV which are not very easy to deal with. But if we use Verdier abelianization functor, we can turn the whole story to the abelian settings. Triangulated category can be embedded to Frobenius abelian category(projectives and injectives coincide). Triangulated functors become exact functor between abelian categories. Then we can work in abelian category. Then we can easily go back(because objects in triangulated category are just projectives in Frobenius abelian category, we can use restriction functor). In this way, it is much easier to prove something than Verider did in his book.

My question is:

1. What makes me surprised is that Verdier himself even did not use Abelianization in his book to prove something. I do not know why?(Maybe I miss something)

2. I wonder whether there are any non-trivial application of Verdier abelianization functor in algebraic geometry or other fields?

Thank you

-
Could you please give a reference where to find this abelianization you are writing about? – babubba Feb 11 2010 at 15:27
Des Catégories Dérivées des Catégories Abéliennes. – Shizhuo Zhang Feb 11 2010 at 15:30
A minor point but if your original triangulated category is not idempotent complete then there are more projectives in the abelianization than just the representables. – Greg Stevenson Feb 12 2010 at 0:20
Yes,that is correct. We made assumptions that the original triangulated category is Karoubian. Then the Beck's theorem is pretty nice. But if it is not, it might be subtle though there is also Beck's theorem – Shizhuo Zhang Feb 12 2010 at 0:40
Verdier refers to Freyd for this universal construction. What you can't do with the mere Frobenius abelian structure is taking a cone of a morphism of bijectives. You can take a cokernel, embed it into a bijective, but this attempt doesn't give anything unique up to isomorphism, for you can add further bijectives. Heller answered the question which extra structure a Frobenius abelian category needs in order that the full subcategories of bijectives be a Puppe triangulated category in Stable homotopy categories, Bull. Am. Math. Soc. 74, p. 28-63, 1968. – Matthias Künzer Sep 30 2010 at 18:31

The problem with respect to applications of the abelianization is that the abelian categories one produces are almost uniformly horrible. More precisely they are just too big to deal with. So using them to produce results which aren't formal statements about some class of triangulated categories seems like it would be very challenging.

As a concrete(ish) example suppose that $R$ is a discrete valuation ring and let $D(R)$ be the unbounded derived category of $R$-modules. Then the abelianization $A(D(R))$ is not well-copowered - the image of the stalk complex $R$ in degree zero in $A(D(R))$ has a proper class of quotient objects (the reference for this is Appendix C of Neeman's book Triangulated Categories). Since in this case $R$-Mod is hereditary the derived category is really pretty good - we understand the compacts $D^b(R-mod)$ very well and we know all of the localizing and smashing subcategories of $D(R)$. It even comes with a natural tensor product making it rigidly compactly generated and it has a DG-enhancement. On the other hand the abelianization is kind of crazy.

One can take approximations of the abelianization by abelian categories which are more managable. However, I still don't know of any specific applications that aren't just shadows of facts which work for all sufficiently nice triangulated categories.

-

There is a proof of Brown representability using the abelianisation. One can identify the abelianisation with the category of coherent functors (in the sense of M. Auslander). It is an amusing fact that Auslander and Brown were both colleagues at Brandeis in the early 1960s, and most likely not aware about the close relationship of their work.

-
 Do you have a reference for that proof? – Mariano Suárez-Alvarez May 26 2011 at 21:22 The reference is: H. Krause, A Brown representability theorem via coherent functors, Topology 41 (2002), 853–861. – Henning Krause May 26 2011 at 22:06 Thanks! (And welcome, by the way :) ) – Mariano Suárez-Alvarez May 26 2011 at 22:33