## Recovering an abelian category out of its derived category

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

I'm trying to learn more about derived category stuff and my curiosity has made me to ask these questions. Sorry if I'm being sloppy, I'm a new learner.

In Wikipedia it has been stated that since different abelian categories can give rise to equivalent derived categories, so it is impossible to reconstruct $\mathcal{A}$ (an abelian category) from its derived category $D(\mathcal{A}).$

1. To what extent it is possible to recover $\mathcal{A}?$ what would be the frame work for studying such questions?

2. Is there any notion of moduli space of t-structures on the derived category of a given abelian category?

-

## 2 Answers

The derived category of an abelian category has a t-structure, so obviously that's the first thing you want. To a t-structure corresponds a heart, which is an abelian category, whose derived category might be different than the one you started with. To further complicate matters, as you noted, you could have a heart whose derived category is actually equivalent to the one you started with, but the heart itself is not the original abelian category.

It's not clear what you can recover from a triangulated category alone, or even from a triangulated category + t-structure. If you like algebraic geometry and are willing to consider additional structures then you can recover the abelian category. The derived category of a scheme, considered as a monoidal category (coming from tensor products) recovers the original scheme (and thus the abelian category). The same is true if you start with a variety with an ample canonical bundle, then the category plus the bundle do recover the variety.

Somehow this flexibility of derived categories is a nice feature, as it gives rise to interesting (and hidden?) "symmetries" and "relationships" between spaces.

As per the second question I can only think of what Sasha said, that is stability conditions. Given a stability condition one automatically gets a heart of a t-structure (which again may not have anything to do with the original abelian category) and the slices of the stability condition may be seen as a continuous family of t-structures. It would indeed be really nice to have such a thing as a moduli space of t-structures!

-

3
Dear Jacob, you can recover a variety with ample or anti-ample canonical bundle from its derived category alone, you don't need the canonical bundle. – Piotr Achinger Feb 13 at 22:55

3
To be precise, the varieties should be smooth and projective (Serre duality is used); and the reference for this is Bondal-Orlov, "Reconstruction of a variety from the derived category...". By the way, this uses only the graded structure, not the triangulated structure at all (!). For reconstructing a (Noetherian) scheme from the derived category considered as a monoidal triangulated category, see Balmer, "Presheaves of triangulated categories and reconstruction of schemes". – Adeel Feb 13 at 23:54
dear Piotr, thanks for the correction, I always get the Bondal-Orlov stuff wrong! – Jacob Bell Feb 14 at 0:37
Dear Jacob, thank you, those algebraic geometry examples are indeed very good motivations. – Ehsan M. Kermani Feb 14 at 5:12

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

There is a notion of "Bridgeland stability condition" which includes a t-structure. Those have a reasonable moduli space. See papers of Bridgeland for details.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 3, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9335025548934937, "perplexity_flag": "head"}