Gluing of categories and Krull-Schmidt partners (Q2832514)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Gluing of categories and Krull-Schmidt partners |
scientific article; zbMATH DE number 6652182
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Gluing of categories and Krull-Schmidt partners |
scientific article; zbMATH DE number 6652182 |
Statements
Gluing of categories and Krull-Schmidt partners (English)
0 references
11 November 2016
0 references
semi-orthogonal decomposition
0 references
Krull-Schmidt partners
0 references
Let \(\mathcal{A}\) and \(\mathcal{B}\) be DG categories, \(S, T\) be DG \(\mathcal{A}\)-\(\mathcal{B}\)-bimodules. and \(\phi: S\rightarrow T\) be the morphism of DG \(\mathcal{A}\)-\(\mathcal{B}\)-bimodules, and let \(R=\mathrm{Cone}(\phi)\) be the cone of \(\phi\). Any morphism \(\phi: S\rightarrow T\) of \(\mathcal{A}\)-\(\mathcal{B}\)-bimodules induces a \(\mathcal{B}\)-\(\mathcal{C}\)-bimodule. In the paper under review is studying the semi-orthogonal decomposition of upper triangular DG category \(\mathcal{C}=\mathcal{A}\llcorner\mathcal{B}\). The main result is the following:NEWLINENEWLINE(1) Suppose that for any DG \(\mathcal{B}\)-modules \(M\) and \(N\) the following condition holds NEWLINE\[NEWLINE\mathrm{Hom}_{\mathbb D{\mathcal{A}}}(M\otimes^{L}R, N\otimes^{L}T)=0NEWLINE\]NEWLINE Then the derived functor \(-\otimes^{L}\tilde{T}:\mathbb D{\mathcal{A}}\longrightarrow\mathbb D{\mathcal{A}\llcorner\mathcal{B}}\) is fully faithful, and it induces a semi-orthogonal decomposition \(\mathbb D{\mathcal{A}\llcorner\mathcal{B}}=\langle \mathbb D{\mathcal{E}}, \mathbb D{\mathcal{B}}\rangle\) for some small DG category \(\mathcal{E}\).NEWLINENEWLINE(2) If the functors \(-\otimes^{L}\tilde{T}\) and \(\mathrm{RHom}(\tilde{T},-)\) send perfect modules to perfect modules, then there is a semi-orthogonal decomposition of the form \(\mathrm{Perf}{\mathcal{A}\llcorner\mathcal{B}}=\langle \mathrm{Perf}{\mathcal{E}}, \mathrm{Perf}{\mathcal{B}}\rangle\) for some small DG category \(\mathcal{E}\).
0 references