General heart construction on a triangulated category. I: Unifying \(t\)-structures and cluster tilting subcategories (Q409251): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let \(\mathcal C\) be a triangulated category. The pair \((\mathcal U,\mathcal V)\) of thick full subcategories of \(\mathcal C\) is a cotorsion pair if \(\text{Ext}(\mathcal U,\mathcal V)=0\), and for any \(C\in \mathcal C\) there exists a distinguished triangle \(U\to C\to V[1]\to U[1]\) such that \(U\in \mathcal U\) and \(V\in \mathcal V\). The author defines the additive full subcategories \(\mathcal C^+\) and \(\mathcal C^-\) of \(\mathcal C\) containing \(\mathcal U\cap\mathcal V\) and satisfying \(\mathcal C^+\supseteq \mathcal V[1]\) and \(\mathcal C^-\supseteq \mathcal U[-1]\). Then the quotient category \(\underline{\mathcal H}:=(\mathcal C^+\cap \mathcal C^-)/(\mathcal U\cap\mathcal V)\) is called the \textit{heart} of \(\mathcal C\), and the main result of the paper states that \(\underline{\mathcal H}\) is an abelian category. This construction unifies results of Keller and Reiten, where the cotorsion pair comes from a cluster tilting subcategory, and of Koenig and Zhu, where the cotorsion pair comes from a \(t\)-structure. | |||
Property / review text: Let \(\mathcal C\) be a triangulated category. The pair \((\mathcal U,\mathcal V)\) of thick full subcategories of \(\mathcal C\) is a cotorsion pair if \(\text{Ext}(\mathcal U,\mathcal V)=0\), and for any \(C\in \mathcal C\) there exists a distinguished triangle \(U\to C\to V[1]\to U[1]\) such that \(U\in \mathcal U\) and \(V\in \mathcal V\). The author defines the additive full subcategories \(\mathcal C^+\) and \(\mathcal C^-\) of \(\mathcal C\) containing \(\mathcal U\cap\mathcal V\) and satisfying \(\mathcal C^+\supseteq \mathcal V[1]\) and \(\mathcal C^-\supseteq \mathcal U[-1]\). Then the quotient category \(\underline{\mathcal H}:=(\mathcal C^+\cap \mathcal C^-)/(\mathcal U\cap\mathcal V)\) is called the \textit{heart} of \(\mathcal C\), and the main result of the paper states that \(\underline{\mathcal H}\) is an abelian category. This construction unifies results of Keller and Reiten, where the cotorsion pair comes from a cluster tilting subcategory, and of Koenig and Zhu, where the cotorsion pair comes from a \(t\)-structure. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Andrei Marcus / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18E30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18E35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18E40 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6023468 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
triangulated category | |||
Property / zbMATH Keywords: triangulated category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
cotorsion pair | |||
Property / zbMATH Keywords: cotorsion pair / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
heart | |||
Property / zbMATH Keywords: heart / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quotient category | |||
Property / zbMATH Keywords: quotient category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
abelian category | |||
Property / zbMATH Keywords: abelian category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(t\)-structure | |||
Property / zbMATH Keywords: \(t\)-structure / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
cluster tilting subcategory | |||
Property / zbMATH Keywords: cluster tilting subcategory / rank | |||
Normal rank |
Revision as of 19:11, 29 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | General heart construction on a triangulated category. I: Unifying \(t\)-structures and cluster tilting subcategories |
scientific article |
Statements
General heart construction on a triangulated category. I: Unifying \(t\)-structures and cluster tilting subcategories (English)
0 references
12 April 2012
0 references
Let \(\mathcal C\) be a triangulated category. The pair \((\mathcal U,\mathcal V)\) of thick full subcategories of \(\mathcal C\) is a cotorsion pair if \(\text{Ext}(\mathcal U,\mathcal V)=0\), and for any \(C\in \mathcal C\) there exists a distinguished triangle \(U\to C\to V[1]\to U[1]\) such that \(U\in \mathcal U\) and \(V\in \mathcal V\). The author defines the additive full subcategories \(\mathcal C^+\) and \(\mathcal C^-\) of \(\mathcal C\) containing \(\mathcal U\cap\mathcal V\) and satisfying \(\mathcal C^+\supseteq \mathcal V[1]\) and \(\mathcal C^-\supseteq \mathcal U[-1]\). Then the quotient category \(\underline{\mathcal H}:=(\mathcal C^+\cap \mathcal C^-)/(\mathcal U\cap\mathcal V)\) is called the \textit{heart} of \(\mathcal C\), and the main result of the paper states that \(\underline{\mathcal H}\) is an abelian category. This construction unifies results of Keller and Reiten, where the cotorsion pair comes from a cluster tilting subcategory, and of Koenig and Zhu, where the cotorsion pair comes from a \(t\)-structure.
0 references
triangulated category
0 references
cotorsion pair
0 references
heart
0 references
quotient category
0 references
abelian category
0 references
\(t\)-structure
0 references
cluster tilting subcategory
0 references