Resolution of unbounded complexes in Grothendieck categories

As Spaltenstein showed, the category of unbounded complexes of sheaves on a topological space has enough K-injective complexes. We extend this result to the category of unbounded complexes of an arbitrary Grothendieck category. This is important for a construction, by the author, of a triangulated category of equivariant motives.     

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.     

Exact categories,big Cohen-Macaulay modules and finite representation type

One of the first remarkable results in the representation theory of artin algebras, due to Auslander and Ringel-Tachikawa, is the characterisation of when an artin algebra is representation-finite. In this paper, we investigate aspects of representation-finiteness in the general context of exact categories in the sense of Quillen. In this framework, we introduce “big objects” and prove an Auslander-type “splitting-big-objects” theorem. Our approach generalises and unifies the known results from the literature. As a further application of our methods, we extend the theorems of Auslander and Ringel-Tachikawa to arbitrary dimension, i.e. we characterise when a Cohen-Macaulay order over a complete regular local ring is of finite representation type.     

The homotopy category of complexes of projective modules

The homotopy category of complexes of projective left-modules over any reasonably nice ring is proved to be a compactly generated triangulated category, and a duality is given between its subcategory of compact objects and the finite derived category of right-modules.     

Algebraic convergence of finitely generated Kleinian groups in all dimensions

In this paper we prove that for a sequence {G_i,r} of r-generator Kleinian groups acting on , if {G_i,r} satisfies Condition A, then its algebraic limit is also a Kleinian group. This generalizes the main result in [X. Wang, Algebraic convergence theorems of n-dimensional Kleinian groups, Israel J. Math. 162 (2007) 221-233].     

Abelian subgroup separability of certain generalized free products of free or finitely generated nilpotent groups

In this paper we prove that certain generalized free products of abelian subgroup separable groups, amalgamating an infinite cyclic subgroup, are abelian subgroup separable. Applying this, we derive that tree products of free groups or finitely generated nilpotent groups, amalgamating infinite cyclic subgroups, are abelian subgroup separable.     

IG-projective modules

This paper concerns finitely generated modules over Artin algebras. We introduce the notion of an IG-projective module and use this to prove that if, over such an algebra R$R$, each simple module is strongly Gorenstein projective, then any indecomposable R$R$-module is either projective or simple. We also prove that if R$R$ is local and the simple module is IG-projective, then 1-self-orthogonal modules are projective.     

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.     

Classifying subcategories of finitely generated modules over a Noetherian ring

For R a commutative Noetherian ring, wide and Serre subcategories of finitely generated R-modules have been classified by their support. This paper studies general torsion classes and introduces narrow subcategories. These are closed under fewer operations than wide and Serre subcategories, but still for finitely generated R-modules both narrow subcategories and torsion classes are classified using the same support data. Although for finitely generated R-modules all four kinds of subcategories coincide, they do not coincide in the larger category of all R-modules.     

An elementary construction of tilting complexes

Let A be an artin algebra and e∈A an idempotent with add(eA_A)=add(D(_AAe)). Then a projective resolution of Ae_eAe gives rise to tilting complexes for A, where P(l)^• is of term length l+1. In particular, if A is self-injective, then is self-injective and has the same Nakayama permutation as A. In case A is a finite dimensional algebra over a field and eAe is a Nakayama algebra, a projective resolution of eAe over the enveloping algebra of eAe gives rise to two-sided tilting complexes {T(2l)^•}_l?1 for A, where T(2l)^• is of term length 2l+1. In particular, if eAe is of Loewy length two, then we get tilting complexes {T(l)^•}_l?1 for A, where T(l)^• is of term length l+1.     

Polynomially bounded cohomology and discrete groups

We establish the homological foundations for studying polynomially bounded group cohomology, and show that the natural map from PH^*(G;Q) to H^*(G;Q) is an isomorphism for a certain class of groups.     

Stable functors of derived equivalences and Gorenstein projective modules

From certain triangle functors, called nonnegative functors, between the bounded derived categories of abelian categories with enough projective objects, we introduce their stable functors which are certain additive functors between the stable categories of the abelian categories. The construction generalizes a previous work by Hu and Xi. We show that the stable functors of nonnegative functors have nice exactness property and are compatible with composition of functors. This allows us to compare conveniently the homological properties of objects linked by the stable functors. In particular, we prove that the stable functor of a derived equivalence between two arbitrary rings provides an explicit triangle equivalence between the stable categories of Gorenstein projective modules. This generalizes a result of Y. Kato. Our results can also be applied to provide shorter proofs of some known results on homological conjectures.     

The almost split triangles for perfect complexes over gentle algebras

Throughout the paper k denotes a fixed field. All vector spaces and linear maps are k-vector spaces and k-linear maps, respectively. By Z, N, and N₊, we denote the sets of integers, nonnegative integers, and positive integers, respectively. For i,j∈Z, [i,j]:={l∈Z∣i≤l≤j} (in particular, [i,j]=∅ if i>j).     

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.     

Irreducible morphisms in the bounded derived category

We study irreducible morphisms in the bounded derived category of finitely generated modules over an Artin algebra Λ, denoted , by means of the underlying category of complexes showing that, in fact, we can restrict to the study of certain subcategories of finite complexes. We prove that as in the case of modules there are no irreducible morphisms from X to X if X is an indecomposable complex. In case Λ is a selfinjective Artin algebra we show that for every irreducible morphism f in either f^j is split monomorphism for all j∈Z or split epimorphism, for all j∈Z. Moreover, we prove that all the non-trivial components of the Auslander-Reiten quiver of are of the form ZA_∞.     

On the relation between cluster and classical tilting

Let be a triangulated category with a cluster tilting subcategory U. The quotient category is abelian; suppose that it has finite global dimension.We show that projection from to sends cluster tilting subcategories of to support tilting subcategories of , and that, in turn, support tilting subcategories of can be lifted uniquely to weak cluster tilting subcategories of .