We compute the Grothendieck group of certain 2-Calabi--Yau triangulated categories appearing naturally in the study of the link between quiver representations and Fomin--Zelevinsky's cluster algebras. In this setup, we also prove a generalization of Fomin--Zelevinsky's mutation rule.
We prove that if the Auslander-Reiten triangles generate the relations for the Grothendieck group of a Hom-finite Krull-Schmidt triangulated category with a (co)generator, then the category has only finitely many isomorphism classes of indecomposable objects up to translation. This gives a triangulated converse to a theorem of Butler and Auslander-Reiten on the relations for Grothendieck groups. Our approach has applications in the context of Frobenius categories.
We define mutation pair in a pseudo-triangulated category. We prove that under certain conditions, for a mutation pair in a pseudo-triangulated category, the corresponding quotient category carries a natural triangulated structure. This result unifies many previous constructions of quotient triangulated categories.
We introduce the notion of asymptotic Grothendieck groups for abelian and triangulated categories that are both AB4 and AB4*. We study when the asymptotic Grothendieck group of the heart of a triangulated category with a t-structure is isomorphic to the asymptotic Grothendieck group of the triangulated category itself. We also explain a connexion with the notion of topological Grothendieck group from Achar-Stroppel. Finally, we compute the asymptotic Grothendieck group of some positive (dg-)algebras having a cone bounded, locally finite dimension.
We define the Grothendieck group of an $n$-exangulated category. For $n$ odd, we show that this group shares many properties with the Grothendieck group of an exact or a triangulated category. In particular, we classify dense complete subcategories of an $n$-exangulated category with an $n$-(co)generator in terms of subgroups of the Grothendieck group. This unifies and extends results of Thomason, Bergh--Thaule, Matsui and Zhu--Zhuang for triangulated, $(n+2)$-angulated, exact and extriangulated categories, respectively. We also introduce the notion of an $n$-exangulated subcategory and prove …
The aim of the paper is to discuss the relation subgroups of the Grothendieck groups of extriangulated categories and certain other subgroups. It is shown that a locally finite extriangulated category $\C$ has Auslander-Reiten $\E-$triangles and the relations of the Grothendieck group $K_{0}(\C)$ are generated by the Auslander-Rieten $\E-$triangles. A partial converse result is given when restricting to the triangulated categories with a cluster tilting subcategory: in the triangulated category $\C$ with a cluster tilting subcategory, the relations of the Grothendieck group $K_0(\C)$ are gener…
Classification problems of subcategories have been deeply considered so far. In this paper, we discuss classifying dense (co)resolving subcategories of exact categories via their Grothendieck groups. This study is motivated by the classification of dense triangulated subcategories of triangulated categories due to Thomason.
We extend the theory of bilinear forms on the Green ring of a finite group developed by Benson and Parker to the context of the Grothendieck group of a triangulated category with Auslander-Reiten triangles, taking only relations given by direct sum decompositions. We examine the non-degeneracy of the bilinear form given by dimensions of homomorphisms, and show that the form may be modified to give a Hermitian form for which the standard basis given by indecomposable objects has a dual basis given by Auslander-Reiten triangles. An application is given to the homotopy category of perfect complex…
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.
In representation theory of algebras the notion of `mutation' often plays important roles, and two cases are well known, i.e. `cluster tilting mutation' and `exceptional mutation'. In this paper we focus on `tilting mutation', which has a disadvantage that it is often impossible, i.e. some of summands of a tilting object can not be replaced to get a new tilting object. The aim of this paper is to take away this disadvantage by introducing `silting mutation' for silting objects as a generalization of `tilting mutation'. We shall develope a basic theory of silting mutation. In particular, we int…
We introduce and study mutation of torsion pairs, as a generalization of mutation of cluster tilting objects, rigid objects and maximal rigid objects. It is proved that any mutation of a torsion pair is again a torsion pair. A geometric realization of mutation of torsion pairs in the cluster category of type $A_n$ or $A_{\infty}$ is given via rotation of Ptolemy diagrams.
Xiao and Zhu has shown that if $\cal C$ is a locally finite triangulated category, then the Auslander-Reiten triangles generate the relations for the Grothendieck group of $\cal C$. The notion of $(d +2)$-angulated categories is a "higher dimensional" analogue of triangulated categories. In this article, we show that if A $(d+2)$-angulated category $\cal C$ is locally finite if and only if the Auslander-Reiten $(d+2)$-angles generate the relations for the Grothendieck group of $\cal C$. This extends the result of Xiao and Zhu, and gives the converse of Xiao and Zhu's result is also true.
We give a simultaneous generalization of exact categories and triangulated categories, which is suitable for considering cotorsion pairs, and which we call extriangulated categories. Extension-closed, full subcategories of triangulated categories are examples of extriangulated categories. We give a bijective correspondence between some pairs of cotorsion pairs which we call Hovey twin cotorsion pairs, and admissible model structures. As a consequence, these model structures relate certain localizations with certain ideal quotients, via the homotopy category which can be given a triangulated st…
The stable module category has been realized as a subcategory of the unbounded homotopy category of projective modules by Kato. We construct the triangulated hull of this subcategory inside the homotopy category. This can also be used to characterize self-injective algebras. Moreover, we extend this construction to a subcategory closed under an induced Nakayama functor. Both of these categories are shown to be preserved by stable equivalences of Morita type. As an application, we study the Grothendieck group of this triangulated hull and compare it with the stable Grothendieck group.
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.
In this work we compute the triangulated Grothendieck groups for each of the family of discrete cluster categories of Dynkin type $A_{\infty}$ as introduced by Holm-Jorgensen. Subsequently, we also compute the Grothendieck group of a completion of these discrete cluster categories in the sense of Paquette-Yildirim.
Let $k$ be a field and $\mathcal{C}$ a $k$-linear, Hom-finite triangulated category with split idempotents. In this paper, we show that under suitable circumstances, the Grothendieck group of $\mathcal{C}$, denoted $K_0(\mathcal{C})$, can be expressed as a quotient of the split Grothendieck group of a higher-cluster tilting subcategory of $\mathcal{C}$. Assume that $n\geq 2$ is an even integer, $\mathcal{C}$ is $n$-Calabi Yau and has an $n$-cluster tilting subcategory $\mathcal{T}$. Then, for every indecomposable $M$ in $\mathcal{T}$, there is an Auslander-Reiten $(n+2)$-angle in $\mathcal{T}$…
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.
We define mutation pair in an n-angulated category and prove that given such a mutation pair, the corresponding quotient category carries a natural n-angulated structure. This result generalizes a theorem of Iyama-Yoshino in classical triangulated category. As an application, we obtain that the quotient category of a Frobenius n-angulated category is also an n-angulated category.
For the cluster category of a hereditary or a canonical algebra, equivalently for the cluster category of the hereditary category of coherent sheaves on a weighted projective line, we study the Grothendieck group with respect to an admissible triangulated structure.
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…
Let T be a Hom-finite triangulated Krull-Schmidt category over a field k. Inspired by a definition of Koenig and Liu, we say that a family S of pairwise orthogonal objects in T with trivial endomorphism rings is a simple-minded system if its closure under extensions is all of T. We construct torsion pairs in T associated to any subset X of a simple-minded system S, and use these to define left and right mutations of S relative to X. When T has a Serre functor ν, and S and X are invariant under ν[1], we show that these mutations are again simple-minded systems. We are particularly interested in…
In the setting of compactly generated triangulated categories, we show that the heart of a (co)silting t-structure is a Grothendieck category if and only if the (co)silting object satisfies a purity assumption. Moreover, in the cosilting case the previous conditions are related to the coaisle of the t-structure being a definable subcategory. If we further assume our triangulated category to be algebraic, it follows that the heart of any nondegenerate compactly generated t-structure is a Grothendieck category.
We study the Grothendieck monoid (a monoid version of the Grothendieck group) of an extriangulated category, and give some results which are new even for abelian categories. First, we classify Serre subcategories and dense 2-out-of-3 subcategories using the Grothendieck monoid. Second, in good situations, we show that the Grothendieck monoid of the localization of an extriangulated category is isomorphic to the natural quotient monoid of the original Grothendieck monoid. This includes the cases of the Serre quotient of an abelian category and the Verdier quotient of a triangulated category. As…
In this article, we initiate the study of hereditary extriangulated categories. Many important categories arising in representation theory in connection with various theories of mutation are hereditary extriangulated. Special cases include homotopy categories of 2-term complexes with projective components, which are related to silting mutation, and cluster categories (with relevant relative extriangulated structures) where cluster tilting mutation take place. We prove that there is a theory of irreducible mutation for maximal rigid objects and subcategories in hereditary extriangulated categor…
We consider triangulations of surfaces with edges painted three colors so that edges of each triangle have different colors. Such structures arise as Belyi data (or Grothendieck dessins d'enfant), on the other hand they enumerate pairs of permutations determined up to a common conjugation. The topic of these notes is links of such combinatorial structures with infinite symmetric groups and their representations.
This paper is a representation-theoretic extension of Part I. It has been inspired by three recent developments: surface cluster algebras studied by Fomin-Shapiro-Thurston, the mutation theory of quivers with potentials initiated by Derksen-Weyman-Zelevinsky, and string modules associated to arcs on unpunctured surfaces by Assem-Brustle-Charbonneau-Plamondon. Modifying the latter construction, to each arc and each ideal triangulation of a bordered marked surface we associate in an explicit way a representation of the quiver with potential constructed in Part I, so that whenever two ideal trian…
We deal with the finite-dimensional mesh algebras given by stable translation quivers. These algebras are self-injective, and thus the stable categories have a structure of triangulated categories. Our main result determines the Grothendieck groups of these stable categories. As an application, we give an complete classification of the mesh algebras up to stable equivalences.
We derive an algorithm for mutating quivers of 2-CY tilted algebras that have loops and 2-cycles, under certain specific conditions. Further, we give the classification of the 2-CY tilted algebras coming from standard algebraic 2-CY triangulated categories with a finite number of indecomposables. These form a class of algebras that satisfy the setup for our mutation algorithm.
A recollement is a decomposition of a given category (abelian or triangulated) into two subcategories with functorial data that enables the glueing of structural information. This paper is dedicated to investigating the behaviour under glueing of some basic properties of abelian categories (well-poweredness, Grothendieck's axioms AB3, AB4 and AB5, existence of a generator) in the presence of a recollement. In particular, we observe that in a recollement of a Grothendieck abelian category the other two categories involved are also Grothendieck abelian and, more significantly, we provide an exam…
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.
We study ideal cotorsion pairs associated to weak proper classes of triangles in extension closed subcategories of triangulated categories. This approach allows us to extend the recent ideal approximations theory developed by Fu, Herzog et al. for exact categories in the above mentioned context, and to provide simplified proofs for the ideal versions of some standard results as Salce's Lemma, Wakamatsu's Lemma and Christensen's Ghost Lemma. In the last part of the paper we apply the theory in order to study connections between projective classes (in particular localization or smashing subcateg…
We attempt to relate two recent developments: cluster algebras associated to triangulations of surfaces by Fomin-Shapiro-Thurston, and quivers with potentials and their mutations introduced by Derksen-Weyman-Zelevinsky. To each ideal triangulation of a bordered surface with marked points we associate a quiver with potential, in such a way that whenever two ideal triangulations are related by a flip of an arc, the respective quivers with potentials are related by a mutation with respect to the flipped arc. We prove that if the surface has non-empty boundary, then the quivers with potentials ass…
In this article, we give a definition and a classification of 'higher' simple-minded systems in triangulated categories generated by spherical objects with negative Calabi-Yau dimension. We also study mutations of this class of objects and that of 'higher' Hom-configurations and Riedtmann configurations. This gives an explicit analogue of the nice mutation theory exhibited in cluster-tilting theory.
This paper shows a new phenomenon in higher cluster tilting theory. For each positive integer d, we exhibit a triangulated category C with the following properties. On the one hand, the d-cluster tilting subcategories of C have very simple mutation behaviour: Each indecomposable object has exactly d mutations. On the other hand, the weakly d-cluster tilting subcategories of C which lack functorial finiteness can have much more complicated mutation behaviour: For each 0 <= \ell <= d-1, we show a weakly d-cluster tilting subcategory T_{\ell} which has an indecomposable object with precisely \ell…
In this article, a new construction of derived equivalences is given. It relates different endomorphism rings and more generally cohomological endomorphism rings - including higher extensions - of objects in triangulated categories. These objects need to be connected by certain universal maps that are cohomological approximations and that exist in very general circumstances. The construction turns out to be applicable in a wide variety of situations, covering finite dimensional algebras as well as certain infinite dimensional algebras, Frobenius categories and $n$-Calabi-Yau categories.
Mutation of torsion pairs in triangulated categories and its combinatorial interpretation for the cluster category of Dynkin type $A_n$ and of type $A_\infty$ have been studied by Zhou and Zhu. In this paper we present a combinatorial model for mutation of torsion pairs in the cluster category of Dynkin type $D_n$, using Ptolemy diagrams of Dynkin type $D_n$ which were introduced by Holm, Jørgensen and Rubey.
We study the maximal rigid subcategories in $2-$CY triangulated categories and their endomorphism algebras. Cluster tilting subcategories are obviously maximal rigid; we prove that the converse is true if the $2-$CY triangulated categories admit a cluster tilting subcategory. As a generalization of a result of [KR], we prove that any maximal rigid subcategory is Gorenstein with Gorenstein dimension at most 1. Similar as cluster tilting subcategory, one can mutate maximal rigid subcategories at any indecomposable object. If two maximal rigid objects are reachable via mutations, then their endom…
In the acyclic case, we establish a one-to-one correspondence between the tilting objects of the cluster category and the clusters of the associated cluster algebra. This correspondence enables us to solve conjectures on cluster algebras. We prove a multiplicativity theorem, a denominator theorem, and some conjectures on properties of the mutation graph. As in the previous article, the proofs rely on the Calabi-Yau property of the cluster category.
We show that Derksen-Weyman-Zelevinsky's mutations of quivers with potential yield equivalences of suitable 3-Calabi-Yau triangulated categories. Our approach is related to that of Iyama-Reiten and Koszul dual to that of Kontsevich-Soibelman. It improves on previous work by Vitoria. In the appendix, the first-named author studies pseudo-compact derived categories of certain pseudo-compact dg algebras.
Let {\cal T} be a triangulated category, {\cal A} a full subcategory of {\cal T} and {\cal X} a functorially finite subcategory of {\cal A}. If {\cal A} has the properties that any {\cal X}-monomorphism of {\cal A} has a cone and any {\cal X}-epimorphism has a cocone. Then the subfactor category {\cal A/[X]} admits a pretriangulated structure in the sense of [BR]. Moreover the above pretriangulated category {\cal A/[X]} with ({\cal X},{\cal X}[1]) = 0 becomes a triangulated category if and only if ({\cal A},{\cal A}) forms an {\cal X}-mutation pair and {\cal A} is closed under extensions.
This is an introduction to some aspects of Fomin-Zelevinsky's cluster algebras and their links with the representation theory of quivers and with Calabi-Yau triangulated categories. It is based on lectures given by the author at summer schools held in 2006 (Bavaria) and 2008 (Jerusalem). In addition to by now classical material, we present the outline of a proof of the periodicity conjecture for pairs of Dynkin diagrams (details will appear elsewhere) and recent results on the interpretation of mutations as derived equivalences.
We construct a triangulated monoidal Karoubi closed category with the Grothendieck ring, naturally isomorphic to the ring of integers localized at two.
We describe presentations of braid groups of type ADE and show how these presentations are compatible with mutation of quivers, building on work of Barot and Marsh for Coxeter groups. In types A and D these presentations can be understood geometrically using triangulated surfaces. We then give a categorical interpretation of the presentations, with the new generators acting as spherical twists at simple modules on derived categories of Ginzburg dg-algebras of quivers with potential.
Assume that $\D$ is a Krull-Schmidt, Hom-finite triangulated category with a Serre functor and a cluster-tilting object $T$. We introduce the notion of relative cluster tilting objects, and $T[1]$-cluster tilting objects in $\D$, which are a generalization of cluster-tilting objects. When $\D$ is $2$-Calabi-Yau, the relative cluster tilting objects are cluster-tilting. Let $\la={\rm End}^{op}_{\D}(T)$ be the opposite algebra of the endomorphism algebra of $T$. We show that there exists a bijection between $T[1]$-cluster tilting objects in $\D$ and support $τ$-tilting $\la$-modules, which gener…