We consider the homotopy category of complexes of projective modules over a
Noetherian ring. Truncation at degree zero induces a fully faithful triangle
functor from the totally acyclic complexes to the stable derived category. We
show that if the ring is either Artin or commutative Noetherian local, then the
functor is dense if and only if the ring is Gorenstein. Motivated by this, we
define the Gorenstein defect category of the ring, a category which in some
sense measures how far the ring is from being Gorenstein.
Cluster categories of hereditary algebras have been introduced as orbit
categories of their derived categories. Keller has pointed out that for
non-hereditary algebras orbit categories need not be triangulated, and he
introduced the notion of triangulated hull to overcome this problem. In this
paper we study the image if the natural functor from the bounded derived
category to the cluster category, that is we investigate how far the orbit
category is from being the cluster category.
Higher Auslander algebras were introduced by Iyama generalizing classical
concepts from representation theory of finite dimensional algebras. Recently
these higher analogues of classical representation theory have been
increasingly studied. Cyclic polytopes are classical objects of study in convex
geometry. In particular, their triangulations have been studied with a view
towards generalizing the rich combinatorial structure of triangulations of
polygons. In this paper, we demonstrate a connection between these two
seemingly unrelated subjects.
Any cluster-tilted algebra is the relation extension of a tilted algebra. We
present a method to, given the distribution of a cluster-tilting object in the
Auslander-Reiten quiver of the cluster category, construct all tilted algebras
whose relation extension is the endomorphism ring of this cluster-tilting
object.
We provide a technique to find a cluster-tilting object having a given
cluster-tilted algebra as endomorphism ring in the finite type case.
We introduce the notion of n-representation-finiteness, generalizing
representation-finite hereditary algebras. We establish the procedure of n-APR
tilting, and show that it preserves n-representation-finiteness. We give some
combinatorial description of this procedure, and use this to completely
describe a class of n-representation-finite algebras called ``type A''.