## Glueing triangulated categories

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

Hello!

Given a triangulated category, one can look for semiorthogonal decompositions into (simpler?) triangulated subcategories.

I'd like to know if there's a way to attack the opposite problem, i.e. to classify the ways two given triangulated categories can be composed to give a big triangulated category which decomposes semiorthogonally into the given ones. Does anybody know about this?

I hope this question isn't too vague.

Thank you!

-

## 3 Answers

If $T = \langle A ,B\rangle$ is a semiorthogonal decomposition and $\alpha_\ast:A \to T$, $\beta_\ast:B \to T$ are the embedding functors then one can consider the functor $\beta^\ast\circ\alpha_\ast:A \to B$ (or its right adjoint $\alpha^!\circ\beta_\ast:B \to A$). This is called the gluing functor. Morally, the ways of gluing $A$ to $B$ are classified by gluing functors --- to each functor one should be able to associate a triangulated category $T$ with a s.o.d. into $A$ and $B$ for which the gluing functor is isomorphic to the given one. Because of the well-known problems with nonfunctoriality of the cone, one cannot hope to prove this precise statement. However, if everything has a DG-enhancement, one can.

Indeed, assume that $A = Hot(R)$, $B = Hot(S)$, where $R$ and $S$ are pretriangulated DG-algebras and assume that the functor $A \to B$ is realized by a $R-S$-bimodule $M$. Then one can consider a DG-algebra of the form $$U = \left(\begin{array}{cc} R & 0 \cr M & S \end{array}\right).$$ Then $T := Hot(U)$ should give what you want.

-

Sasha, that looks great, thanks alot. Is there a reference for the details? – Hanno Becker Oct 7 2010 at 20:35
I am afraid there is no reference. This is a folklore. – Sasha Oct 8 2010 at 5:30

### 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.

[Lidia Angeleri Hügel, Steffen Koenig, Qunhua Liu: On the uniqueness of stratifications of derived module categories] at http://arxiv.org/abs/1006.5301 (and other recent work by Koenig) should be relevant: this is Jordan-Hölder for (appropriate) triangulated categories.

-

This is very interesting, thank you! – Hanno Becker Oct 7 2010 at 20:34

I'm not sure but Proposition 1.16 in the paper:

http://arxiv.org/pdf/0911.0172

by Iyama-Kato-Miyachi might be related to your question.

-

Thank you, Yann! – Hanno Becker Oct 7 2010 at 20:34
{"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": 18, "mathjax_display_tex": 1, "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.9094234108924866, "perplexity_flag": "middle"}