Grothendieck groups of unbounded complexes of finitely generated modules

Let Λ be a left Artinian ring, D⁺(mod Λ) (resp., D⁻(mod Λ), D(mod Λ)) the derived category of bounded below complexes (resp., bounded above complexes, unbounded complexes) of finitely generated left Λ-modules. We show that the Grothendieck groups K₀(D⁺(mod Λ)), K₀(D⁻(mod Λ)) and K₀(D(mod Λ)) are trivial. Received: 7 April 2005     

Grothendieck group and generalized mutation rule for 2-Calabi-Yau triangulated categories

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 cluster algebras. In this setup, we also prove a generalization of the Fomin-Zelevinsky mutation rule.     

The Grothendieck group of a cluster category

For the cluster category of a hereditary or a canonical algebra, or 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.     

Gorenstein projective bimodules via monomorphism categories and filtration categories

We generalize the monomorphism category from quiver (with monomial relations) to arbitrary finite dimensional algebras by a homological definition. Given two finite dimension algebras A and B, we use the special monomorphism category $\mathsf{Mon}(B,A\text{-}\mathsf{Gproj})$ to describe some Gorenstein projective bimodules over the tensor product of A and B. If one of the two algebras is Gorenstein, we give a sufficient and necessary condition for $\mathsf{Mon}(B,A\text{-}\mathsf{Gproj})$ being the category of all Gorenstein projective bimodules. In addition, if both A and B are Gorenstein, we can describe the category of all Gorenstein projective bimodules via filtration categories. Similarly, in this case, we get the same result for infinitely generated Gorenstein projective bimodules.     

The quiver of projectives in hereditary categories with Serre duality

Let k be an algebraically closed field and A a k-linear hereditary category satisfying Serre duality with no infinite radicals between the preprojective objects. If A is generated by the preprojective objects, then we show that A is derived equivalent to for a so-called strongly locally finite quiver Q. To this end, we introduce light cone distances and round trip distances on quivers which will be used to investigate sections in stable translation quivers of the form ZQ.     

Bounds on the global dimension of certain piecewise hereditary categories

We give bounds on the global dimension of a finite length, piecewise hereditary category in terms of quantitative connectivity properties of its graph of indecomposables.We use this to show that the global dimension of a finite-dimensional, piecewise hereditary algebra A cannot exceed 3 if A is an incidence algebra of a finite poset or more generally, a sincere algebra. This bound is tight.     

Relativized Grothendieck topoi

In this paper we define a notion of relativization for higher order logic. We then show that there is a higher order theory of Grothendieck topoi such that all Grothendieck topoi relativizes to all models of set theory with choice.     

Conics in the Grothendieck ring

The subring of the Grothendieck ring of k-varieties generated by smooth conics is described, giving many zero divisors. The proof uses only elementary projective geometry.     

Exactness of direct limits for abelian categories with an injective cogenerator

We prove that the exactness of direct limits in an abelian category with products and an injective cogenerator J is equivalent to a condition on J which is well-known to characterize pure-injectivity in module categories, and we describe an application of this result to the tilting theory. We derive our result as a consequence of a more general characterization of when inverse limits in the Eilenberg–Moore category of a monad on the category of sets preserve regular epimorphisms.     

Cluster tilting objects in generalized higher cluster categories

We prove the existence of an m-cluster tilting object in a generalized m-cluster category which is (m+1)-Calabi-Yau and Hom-finite, arising from an (m+2)-Calabi-Yau dg algebra. This is a generalization of the result for the m=1 case in Amiot’s Ph.D. thesis. Our results apply in particular to higher cluster categories associated to Ginzburg dg categories coming from suitable graded quivers with superpotential, and higher cluster categories associated to suitable finite-dimensional algebras of finite global dimension.     

Folding derived categories with Frobenius functors

Following the work [B. Deng, J. Du, Frobenius morphisms and representations of algebras, Trans. Amer. Math. Soc. 358 (2006) 3591-3622], we show that a Frobenius morphism F on an algebra A induces naturally a functor F on the (bounded) derived category D^b(A) of , and we further prove that the derived category D^b(A^F) of for the F-fixed point algebra A^F is naturally embedded as the triangulated subcategory D^b(A)^F of F-stable objects in D^b(A). When applying the theory to an algebra with finite global dimension, we discover a folding relation between the Auslander-Reiten triangles in D^b(A^F) and those in D^b(A). Thus, the AR-quiver of D^b(A^F) can be obtained by folding the AR-quiver of D^b(A). Finally, we further extend this relation to the root categories ?(A^F) of A^F and ?(A) of A, and show that, when A is hereditary, this folding relation over the indecomposable objects in ?(A^F) and ?(A) results in the same relation on the associated root systems as induced from the graph folding relation.     

The fiber of functors between categories of algebras

We investigate the fiber of a functor F:C→D between sketchable categories of algebras over an object D∈D from two points of view: characterizing its classifying space as a universal -space; and parametrizing its objects in cohomological terms.     

Comparisons between singularity categories and relative stable categories of finite groups

We consider the relationship between the relative stable category of and the usual singularity category for group algebras with coefficients in a commutative noetherian ring. When the coefficient ring is self-injective we show that these categories share a common, relatively large, Verdier quotient. At the other extreme, when the coefficient ring has finite global dimension, there is a semi-orthogonal decomposition, due to Poulton, relating the two categories. We prove that this decomposition is partially compatible with the monoidal structure and study the morphism it induces on spectra.     

On derived equivalences of categories of sheaves over finite posets

A finite poset X carries a natural structure of a topological space. Fix a field k, and denote by D^b(X) the bounded derived category of sheaves of finite dimensional k-vector spaces over X. Two posets X and Y are said to be derived equivalent if D^b(X) and D^b(Y) are equivalent as triangulated categories.We give explicit combinatorial properties of X which are invariant under derived equivalence; among them are the number of points, the Z-congruency class of the incidence matrix, and the Betti numbers. We also show that taking opposites and products preserves derived equivalence.For any closed subset Y⊆X, we construct a strongly exceptional collection in D^b(X) and use it to show an equivalence D^b(X)?D^b(A) for a finite dimensional algebra A (depending on Y). We give conditions on X and Y under which A becomes an incidence algebra of a poset.We deduce that a lexicographic sum of a collection of posets along a bipartite graph S is derived equivalent to the lexicographic sum of the same collection along the opposite .This construction produces many new derived equivalences of posets and generalizes other well-known ones.As a corollary we show that the derived equivalence class of an ordinal sum of two posets does not depend on the order of summands. We give an example that this is not true for three summands.     

On the cohomology rings of small categories

Let C be a small category and R a commutative ring with identity. The cohomology ring of C with coefficients in R is defined as the cohomology ring of the topological realization of its nerve. First we give an example showing that this ring modulo nilpotents is not finitely generated in general, even when the category is finite EI. Then we study the relationship between the cohomology ring of a category and those of its subcategories and extensions. The main results generalize certain theorems in group cohomology theory.     

Artin-Schelter regular algebras and categories

Motivated by constructions in the representation theory of finite dimensional algebras we generalize the notion of Artin-Schelter regular algebras of dimension n to algebras and categories to include Auslander algebras and a graded analogue for infinite representation type. A generalized Artin-Schelter regular algebra or a category of dimension n is shown to have common properties with the classical Artin-Schelter regular algebras. In particular, when they admit a duality, then they satisfy Serre duality formulas and the -category of nice sets of simple objects of maximal projective dimension n is a finite length Frobenius category.     

Model structures on exact categories

We define model structures on exact categories, which we call exact model structures. We look at the relationship between these model structures and cotorsion pairs on the exact category. In particular, when the underlying category is weakly idempotent complete, we get Hovey’s one-to-one correspondence between model structures and complete cotorsion pairs. We classify the right and the left homotopy relation in terms of the cotorsion pairs and look at examples of exact model structures. In particular, we see that given any hereditary abelian model category, the full subcategories of cofibrant, fibrant and cofibrant-fibrant subobjects each has natural exact model structures equivalent to the original model structure. These model structures each has interesting characteristics. For example, the cofibrant-fibrant subobjects form a Frobenius category, whose stable category is the same as the homotopy category of its model structure.     

The countable Telescope Conjecture for module categories

By the Telescope Conjecture for Module Categories, we mean the following claim: “Let R be any ring and (A,B) be a hereditary cotorsion pair in Mod-R with A and B closed under direct limits. Then (A,B) is of finite type.”We prove a modification of this conjecture with the word ‘finite’ replaced by ‘countable.’ We show that a hereditary cotorsion pair (A,B) of modules over an arbitrary ring R is generated by a set of strongly countably presented modules provided that B is closed under unions of well-ordered chains. We also characterize the modules in B and the countably presented modules in A in terms of morphisms between finitely presented modules, and show that (A,B) is cogenerated by a single pure-injective module provided that A is closed under direct limits. Then we move our attention to strong analogies between cotorsion pairs in module categories and localizing pairs in compactly generated triangulated categories.