{"title":"n-Calabi-Yau三元组中三角化和商类的性质","authors":"F. Fedele","doi":"10.2140/PJM.2021.310.1","DOIUrl":null,"url":null,"abstract":"Let $k$ be a field, $n\\geq 3$ an integer and $\\mathcal{T}$ a $k$-linear triangulated category with a triangulated subcategory $\\mathcal{T}^{fd}$ and a subcategory $\\mathcal{M}=\\text{add}(M)$ such that $(\\mathcal{T}, \\mathcal{T}^{fd}, \\mathcal{M})$ is an $n$-Calabi-Yau triple. For every integer $m$ and every object $X$ in $\\mathcal{T}$, there is a unique, up to isomorphism, truncation triangle of the form \n\\begin{align*} \nX^{\\leq m}\\rightarrow X\\rightarrow X^{\\geq m+1}\\rightarrow\\Sigma X^{\\leq m}, \n\\end{align*} with respect to the $t$-structure $((\\Sigma^{ -m}\\mathcal{M})^{\\perp_\\mathcal{T}})$. In this paper, we prove some properties of the triangulated categories $\\mathcal{T}$ and $\\mathcal{T}/\\mathcal{T}^{fd}$. Our first result gives a relation between the Hom-spaces in these categories, using limits and colimits. Our second result is a Gap Theorem in $\\mathcal{T}$, showing when the truncation triangles split. \nMoreover, we apply our two theorems to present an alternative proof to a result by Guo, originally stated in a more specific setup of dg $k$-algebras $A$ and subcategories of the derived category of dg $A$-modules. This proves that $\\mathcal{T}/\\mathcal{T}^{fd}$ is Hom-finite and $(n-1)$-Calabi-Yau, its object $M$ is $(n-1)$-cluster tilting and the endomorphism algebras of $M$ over $\\mathcal{T}$ and over $\\mathcal{T}/\\mathcal{T}^{fd}$ are isomorphic. Note that these properties make $\\mathcal{T}/\\mathcal{T}^{fd}$ a generalisation of the cluster category.","PeriodicalId":275006,"journal":{"name":"arXiv: Representation Theory","volume":"83 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-05-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Properties of triangulated and quotient\\ncategories arising from n-Calabi–Yau triples\",\"authors\":\"F. Fedele\",\"doi\":\"10.2140/PJM.2021.310.1\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Let $k$ be a field, $n\\\\geq 3$ an integer and $\\\\mathcal{T}$ a $k$-linear triangulated category with a triangulated subcategory $\\\\mathcal{T}^{fd}$ and a subcategory $\\\\mathcal{M}=\\\\text{add}(M)$ such that $(\\\\mathcal{T}, \\\\mathcal{T}^{fd}, \\\\mathcal{M})$ is an $n$-Calabi-Yau triple. For every integer $m$ and every object $X$ in $\\\\mathcal{T}$, there is a unique, up to isomorphism, truncation triangle of the form \\n\\\\begin{align*} \\nX^{\\\\leq m}\\\\rightarrow X\\\\rightarrow X^{\\\\geq m+1}\\\\rightarrow\\\\Sigma X^{\\\\leq m}, \\n\\\\end{align*} with respect to the $t$-structure $((\\\\Sigma^{ -m}\\\\mathcal{M})^{\\\\perp_\\\\mathcal{T}})$. In this paper, we prove some properties of the triangulated categories $\\\\mathcal{T}$ and $\\\\mathcal{T}/\\\\mathcal{T}^{fd}$. Our first result gives a relation between the Hom-spaces in these categories, using limits and colimits. Our second result is a Gap Theorem in $\\\\mathcal{T}$, showing when the truncation triangles split. \\nMoreover, we apply our two theorems to present an alternative proof to a result by Guo, originally stated in a more specific setup of dg $k$-algebras $A$ and subcategories of the derived category of dg $A$-modules. This proves that $\\\\mathcal{T}/\\\\mathcal{T}^{fd}$ is Hom-finite and $(n-1)$-Calabi-Yau, its object $M$ is $(n-1)$-cluster tilting and the endomorphism algebras of $M$ over $\\\\mathcal{T}$ and over $\\\\mathcal{T}/\\\\mathcal{T}^{fd}$ are isomorphic. Note that these properties make $\\\\mathcal{T}/\\\\mathcal{T}^{fd}$ a generalisation of the cluster category.\",\"PeriodicalId\":275006,\"journal\":{\"name\":\"arXiv: Representation Theory\",\"volume\":\"83 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2020-05-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv: Representation Theory\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.2140/PJM.2021.310.1\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv: Representation Theory","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.2140/PJM.2021.310.1","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Properties of triangulated and quotient
categories arising from n-Calabi–Yau triples
Let $k$ be a field, $n\geq 3$ an integer and $\mathcal{T}$ a $k$-linear triangulated category with a triangulated subcategory $\mathcal{T}^{fd}$ and a subcategory $\mathcal{M}=\text{add}(M)$ such that $(\mathcal{T}, \mathcal{T}^{fd}, \mathcal{M})$ is an $n$-Calabi-Yau triple. For every integer $m$ and every object $X$ in $\mathcal{T}$, there is a unique, up to isomorphism, truncation triangle of the form
\begin{align*}
X^{\leq m}\rightarrow X\rightarrow X^{\geq m+1}\rightarrow\Sigma X^{\leq m},
\end{align*} with respect to the $t$-structure $((\Sigma^{ -m}\mathcal{M})^{\perp_\mathcal{T}})$. In this paper, we prove some properties of the triangulated categories $\mathcal{T}$ and $\mathcal{T}/\mathcal{T}^{fd}$. Our first result gives a relation between the Hom-spaces in these categories, using limits and colimits. Our second result is a Gap Theorem in $\mathcal{T}$, showing when the truncation triangles split.
Moreover, we apply our two theorems to present an alternative proof to a result by Guo, originally stated in a more specific setup of dg $k$-algebras $A$ and subcategories of the derived category of dg $A$-modules. This proves that $\mathcal{T}/\mathcal{T}^{fd}$ is Hom-finite and $(n-1)$-Calabi-Yau, its object $M$ is $(n-1)$-cluster tilting and the endomorphism algebras of $M$ over $\mathcal{T}$ and over $\mathcal{T}/\mathcal{T}^{fd}$ are isomorphic. Note that these properties make $\mathcal{T}/\mathcal{T}^{fd}$ a generalisation of the cluster category.