In this paper we define and study triangulated categories in which the Hom-spaces have Krull dimension at most one over some base ring (hence they have a natural 2-step filtration), and each factor of the filtration satisfies some Calabi-Yau type property. If C is such a category, we say that C is Calabi-Yau with dimension at most one. We extend the notion of Calabi-Yau reduction to this setting, and prove general results which are an analogue of known results in cluster theory.
Such categories appear naturally in the setting of Gorenstein singularities in dimension three as the stable categories of Cohen-Macaulay modules. We explain the connection between Calabi-Yau reduction of $\underline{\rm CM} R$ and both partial crepant resolutions and Q-factorial terminalizations of Spec R, and we show under quite general assumptions that Calabi-Yau reductions exist.
In the remainder of the paper we focus on complete local cA_n singularities R. By using a purely algebraic argument based on Calabi-Yau reduction of $\underline{\rm CM} R$, we give a complete classification of maximal modifying modules in terms of the symmetric group, generalizing and strengthening results in [BIKR] and [DH], where we do not need any restriction on the ground field. We also describe the mutation of modifying modules at an arbitrary (not necessarily indecomposable) direct summand. As a corollary when the field is the complex numbers, we obtain many autoequivalences of the derived category of the Q-factorial terminalizations of Spec R.
In this paper, we explore when a locally finite triangulated category has dimension zero or finite representation type. We also study generation of derived categories by orthogonal subcategories.
In this paper, as an analogue of the spectrum of a tensor triangulated category introduced by Balmer, we define a spectrum of a triangulated category which does not necessarily admit a tensor structure. We apply it for some triangulated categories associated to a commutative noetherian ring.
In this short paper we introduce a new triangulated category for rational surface singularities which in the non-Gorenstein case acts as a substitute for the stable category of matrix factorizations. The category is formed as a Frobenius quotient of the category of special CM modules, and we classify the relatively projective-injective objects and thus describe the AR quiver of the quotient. Connections to the corresponding reconstruction algebras are also discussed.
We give a sufficient condition for a Verdier quotient $\ct/\cs$ of a triangulated category $\ct$ by a thick subcategory $\cs$ to be realized inside of $\ct$ as an ideal quotient. As applications, we deduce three significant results by Buchweitz, Orlov and Amiot--Guo--Keller.
In this article, we investigate the category $\mathcal{A}^G$ of equivariant objects of an additive category $\mathcal{A}$ with respect to an action of a finite group $G$. We show that if $G$ is solvable then we can reconstruct $\mathcal{A}$ from $\mathcal{A}^G$ via a finite sequence of equivariantization. We also consider the possibility of a triangulated structure on $\mathcal{A}^G$ canonical in certain sense when $\mathcal{A}$ is triangulated and give several instances in which $\mathcal{A}^G$ is indeed canonically triangulated.
This short note surveys the constructions of 3-Calabi--Yau triangulated categories with simple-minded collections due to Ginzburg and Kontsevich--Soibelman and the constructions of 2-Calabi--Yau triangulated categories with cluster-tilting objects due to Buan--Marsh--Reineke--Reiten--Todorov and Amiot, and includes a discussion on the normal form of 2-Calabi--Yau triangulated categories with cluster-tilting objects.
We introduce the notion of mutation of $n$-cluster tilting subcategories in a triangulated category with Auslander-Reiten-Serre duality. Using this idea, we are able to obtain the complete classifications of rigid Cohen-Macaulay modules over certain Veronese subrings.
This is a companion paper of arXiv:1901.09461, where different notions of dimension for triangulated categories are discussed. Here we compute dimensions for some examples of triangulated categories and thus illustrate and motivate material from loc. cit. Our examples include path algebras of finite ordered quivers, orbifold projective lines, some tensor powers of path algebras in Dynkin quivers of type A and categories, generated by an exceptional pair.
Right triangulated categories can be thought of as triangulated categories whose shift functor is not an equivalence. We give intrinsic characterisations of when such categories have a natural extriangulated structure and are appearing as the (co-)aisle of a (co-)t-structure in an associated triangulated category.
A notion of mutation of subcategories in a right triangulated category is defined in this paper. When (Z,Z) is a D-mutation pair in a right triangulated category C, the quotient category Z/D carries naturally a right triangulated structure. More-over, if the right triangulated category satisfies some reasonable conditions, then the right triangulated quotient category Z/D becomes a triangulated category. When C is triangulated, our result unifies the constructions of the quotient triangulated categories by Iyama-Yoshino and by Jørgensen respectively.
We introduce the notion of a prile of one-sided triangulated categories. Roughly speaking, a prile consists of two one-sided triangulated categories having a common full subcategory which inherits a pretriangulated structure from these ambient categories. The main example arises from exact model categories. This allows us to recover the pretriangulated structure of the homotoy category of an exact model category.
For an essentially small triangulated category $\mathcal{T}$, we introduce the notion of prime thick subcategories and define the spectrum of $\mathcal{T}$, which shares the basic properties with the spectrum of a tensor triangulated category introduced by Balmer. We mainly focus on triangulated categories that appear in algebraic geometry such as the derived and the singularity categories of a noetherian scheme $X$. We prove that certain classes of thick subcategories are prime thick subcategories of these triangulated categories. Furthermore, we use this result to show that certain subspaces…
These notes attempt to give a short survey of the approach to support theory and the study of lattices of triangulated subcategories through the machinery of tensor triangular geometry. One main aim is to introduce the material necessary to state and prove the local-to-global principle. In particular, we discuss Balmer's construction of the spectrum, generalised Rickard idempotents and support for compactly generated triangulated categories, and actions of tensor triangulated categories. Several examples are also given along the way. These notes are based on a series of lectures given during t…
We prove a stronger version of the octahedral axiom in a pre-triangulated category. The proof uses a new lemma about exact sequences in pointed additive categories which is based on a weak converse of the snake lemma.
Local cohomology functors are constructed for the category of cohomological functors on an essentially small triangulated category T equipped with an action of a commutative noetherian ring. This is used to establish a local-global principle and to develop a notion of stratification, for T and the cohomological functors on it, analogous to such concepts for compactly generated triangulated categories.
We give a criterion for cohomological symmetry in a triangulated category. As an application, we show that such cohomological symmetry holds for all pairs of modules over any exterior algebra.
We present a simplified and more intuitive proof of a theorem of Peng and Xiao, which constructs a Lie algebra from any 2-periodic triangulated k-category (satisfying some finiteness assumptions).
We develop the basic properties of $w$-simple-minded systems in $(-w)$-Calabi-Yau triangulated categories for $w \geq 1$. The main result is a reduction technique for negative Calabi-Yau triangulated categories. We show that the theory of simple-minded systems exhibits striking parallels with that of cluster-tilting objects. Our construction provides an inductive technique for constructing simple-minded systems.
We develop a point-free approach for constructing the Nakano-Vashaw-Yakimov-Balmer spectrum of a noncommutative tensor triangulated category under some mild assumptions. In particular, we provide a conceptual way of classifying radical thick tensor ideals of a noncommutative tensor triangulated category using frame theoretic methods, recovering the universal support data in the process. We further show that there is a homeomorphism between the spectral space of radical thick tensor ideals of a noncommutative tensor triangulated category and the collection of open subsets of its spectrum in the…
We construct a full strongly exceptional collection in the triangulated category of graded matrix factorizations of a polynomial associated to a non-degenerate regular system of weights whose smallest exponents are equal to -1. In the associated Grothendieck group, the strongly exceptional collection defines a root basis of a generalized root system of sign (l,0,2) and a Coxeter element of finite order, whose primitive eigenvector is a regular element in the expanded symmetric domain of type IV with respect to the Weyl group.
The basic properties of locally finite triangulated categories are discussed. The focus is on Auslander--Reiten theory and the lattice of thick subcategories.
We study singularity categories through Gorenstein objects in triangulated categories and silting theory. Let $ω$ be a semi-selforthogonal (or presilting) subcategory of a triangulated category $\mathcal{T}$. We introduce the notion of $ω$-Gorenstein objects, which is far extended version of Gorenstein projective modules and Gorenstein injective modules in triangulated categories. We prove that the stable category $\underline{\mathcal{G}_ω}$, where $\mathcal{G}_ω$ is the subcategory of all $ω$-Gorenstein objects, is a triangulated category and it is, under some conditions, triangle equivalent …
By using the approach in \cite{XX2006} to Hall algebras arising in homologically finite triangulated categories, we find an `almost' associative multiplication structure for indecomposable objects in a 2-periodic triangulated category. As an application, we give a new proof of the theorem of Peng and Xiao in \cite{PX2000} which provides a way of realizing symmetrizable Kac-Moody algebras and elliptic Lie algebras via 2-periodic triangulated categories.
We put cluster tilting in ageneral framework by showing that any quotient of a triangulated category modulo a tilting subcategory (that is, a maximal one-orthogonal subcategory) carries an abelian structure. These abelian quotients turn out to be module categories of Goreisten algebras of dimension at most one.
Extriangulated categories were introduced by Nakaoka and Palu by extracting the similarities between exact categories and triangulated categories. A notion of mutation of subcategories in an extriangulated category is defined in this article. Let $\cal A$ be an extension closed subcategory of an extriangulated category $\cal C$. Then the quotient category $\cal M:=\cal{A}/\cal{X}$ carries naturally a triangulated structure whenever $(\cal A,\cal A)$ forms an $\cal X$-mutation pair. This result unifies many previous constructions of triangulated quotient categories, and using it gives a classif…
We introduce the notion of a "baric structure" on a triangulated category, as an abstraction of S. Morel's weight truncation formalism for mixed l-adic sheaves. We study these structures on the derived category D_G(X) of G-equivariant coherent sheaves on a G-scheme X. Our main result shows how to endow this derived category with a family of nontrivial baric structures when G acts on X with finitely many orbits. We also describe a general construction for producing a new t-structure on a triangulated category equipped with given t- and baric structures, and we prove that the staggered t-structu…
We give a characterisation of the extriangulated categories which admit the structure of a triangulated category. We show that these are the extriangulated categories where for every object $X$ in the extriangulated category, the morphism $0 \rightarrow X$ is a deflation and the morphism $X \rightarrow 0$ is an inflation.
This paper introduces the concept of the dimension of a triangulated category with respect to a fixed full subcategory. For the bounded derived category of an abelian category, upper bounds of the dimension with respect to a contravariantly finite subcategory and a resolving subcategory are given. Our methods not only recover some known results on the dimensions of derived categories in the sense of Rouquier, but also apply to various commutative and non-commutative noetherian rings.
We show that a tilting module over the endomorphism algebra of a cluster-tilting object in a 2-Calabi-Yau triangulated category lifts to a cluster-tilting object in this 2-Calabi-Yau triangulated category. This generalizes a recent work of D. Smith for cluster categories.
The stable module category of a selfinjective algebra is triangulated, but need not have any nontrivial $t$-structures, and in particular, full abelian subcategories need not arise as hearts of a $t$-structure. The purpose of this paper is to investigate full abelian subcategories of triangulated categories whose exact structures are related, and more precisely, to explore relations between invariants of finite-dimensional selfinjective algebras and full abelian subcategories of their stable module categories.
In the theory of triangulated categories, we propose to replace hearts of $t$-structures by proper abelian subcategories, which may be plentiful even when hearts are not. For instance, this happens in negative cluster categories. In support of our proposal, we show that proper abelian subcategories with a few vanishing negative self extensions permit a tilting theory which is a direct generalisation of Happel-Reiten-Smalø tilting of hearts.
The additivity of traces in certain tensor triangulated categories for endomorphisms of finite order of distinguished triangles is investigated. For the identity endomorphism this has been fully established by J. P. May ("The additivity of traces in triangulated categories", Adv. Math., 2001, 163, 34-73). By imposing extra conditions on the coefficients we show how May's result implies a stronger additivity.
We define the Hall algebra associated to any triangulated category under some finiteness conditions with the $t$-periodic translation functor $T$ for odd $t>1.$ This generalizes the results in \cite{Toen2005} and \cite{XX2006}.
We give a definition of the action of a tensor triangulated category T on a triangulated category K. In the case that T is rigidly-compactly generated and K is compactly generated we show this gives rise to a notion of supports which categorifies work of Benson, Iyengar, and Krause and extends work of Balmer and Favi. We prove that a suitable version of the local-to-global principle holds very generally. A relative version of the telescope conjecture is formulated and we give a sufficient condition for it to hold.
In this survey we explain the results of the recent article arXiv:1806.06471. Following a 1973 article by Lawvere one can define metrics on categories, and following Kelly's 1982 book one can complete a category with respect to its metric. We specialize these general constructions to triangulated categories, and restrict our attention to "good metrics". And the remarkable new theorem is that, when we start with a triangulated category $\mathcal S$ with a good metric, its completion $\mathfrak{L}(\mathcal{S})$ contains an interesting subcategory $\mathfrak{S}(\mathcal{S})$ which is always trian…
We provide an explicit procedure to glue (not necessarily compact) silting objects along recollements of triangulated categories with coproducts having a 'nice' set of generators, namely, well generated triangulated categories. This procedure is compatible with gluing co-t-structures and it generalizes a result by Liu, Vitória and Yang. We provide conditions for our procedure to restrict to tilting objects and to silting and tilting modules. As applications, we retrieve the classification of silting modules over the Kronecker algebra and the classification of non-compact tilting sheaves over a…
The aim of this note is to answer several open problems arising from the geometric description of the $m$-cluster categories of type $A_n$ and their realization in terms of the $m$-th power of a translation quiver. In particular, we give a geometric interpretation of the triangulated structure of $m$-cluster categories. Furthermore, we characterize all the connected components arising from a cluster category when taking the $m$-th power of its Auslander-Reiten quiver.
The category of modules over the endomorphism algebra of a rigid object in a Hom-finite triangulated category C has been given two different descriptions: On the one hand, as shown by Osamu Iyama and Yuji Yoshino, it is equivalent to an ideal quotient of a subcategory of C. On the other hand, Aslak Buan and Robert Marsh proved that this module category is also equivalent to some localisation of C. In this paper, we give a conceptual interpretation, inspired from homotopical algebra, of this double description. Our main aim, yet to be acheived, is to generalise Buan-Marsh's result to the case o…
We call a triangulated category \emph{hereditary} provided that it is equivalent to the bounded derived category of a hereditary abelian category, where the equivalence is required to commute with the translation functors. If the triangulated category is algebraical, we may replace the equivalence by a triangle equivalence. We give two intrinsic characterizations of hereditary triangulated categories using a certain full subcategory and the non-existence of certain paths. We apply them to piecewise hereditary algebras.
We give a complete classification of (co)torsion pairs in finite $2$-Calabi-Yau triangulated categories with maximal rigid objects which are not cluster tilting. These finite $2$-Calabi-Yau triangulated categories are divided into two main classes: one denoted by $\mathcal{A}_{n,t}$ called of type $A$, and the other denoted by $D_{n,t}$ called of type $D$. By using the geometric model of cluster categories of type $A, $ or type $D$, we give a geometric description of (co)torsion pairs in $\mathcal{A}_{n,t}$ or $D_{n,t}$ respectively, via defining the periodic Ptolemy diagrams. This allows to c…
Lower bounds for the dimension of a triangulated category are provided. These bounds are applied to stable derived categories of Artin algebras and of commutative complete intersection local rings. As a consequence, one obtains bounds for the representation dimensions of certain Artin algebras.
The concept of a morphism determined by an object provides a method to construct or classify morphisms in a fixed category. We show that this works particularly well for triangulated categories having Serre duality. Another application of this concept arises from a reformulation of Freyd's generating hypothesis.
We give analogues of the Auslander correspondence for two classes of triangulated categories satisfying certain finiteness conditions. The first class is triangulated categories with additive generators and we consider their endomorphism algebras as the Auslander algebras. For the second one, we introduce the notion of $[1]$-additive generators and consider their graded endormorphism algebras as the Auslander algebras. We give a homological characterization of the Auslander algebras for each class. Along the way, we also show that the algebraic triangle structures on the homotopy categories ar…
In previous work, based on work of Zwara and Yoshino, we defined and studied degenerations of objects in triangulated categories analogous to degeneration of modules. In triangulated categories it is surprising that the zero object may degenerate. We study this systematically. In particular we show that the degeneration of the zero object actually induces all other degenerations by homotopy pullback, that degeneration of $0$ is closely linked, but not equivalent, to having zero image in the Grothendieck group.
