Related papers: Failure of Brown representability in derived categ…

Let $R$ be a commutative Noetherian ring such that $X=Spec R$ is connected. We prove that the category $D^b(coh X)$ contains no proper full triangulated subcategories which are regular. We also bound from below the dimension of a regular…

We call product generator of an additive category a fixed object satisfying the property that every other object is a direct factor of a product of copies of it. In this paper we start with an additive category with products and images,…

We systematically develop the theory of definable functors between compactly generated triangulated categories. Such functors preserve pure triangles, pure injective objects, and definable subcategories, and as such appear in a wide range…

This is the second paper in a series. In part I we developed deformation theory of objects in homotopy and derived categories of DG categories. Here we extend these (derived) deformation functors to an appropriate bicategory of artinian DG…

In this paper we continue the project of generalizing tilting theory to the category of contravariant functors $Mod(C)$, from a skeletally small preadditive category $C$ to the category of abelian groups. We introduced the notion of a a…

For a finite dimensional algebra $A$, we prove that the bounded homotopy category of projective $A$-modules and the bounded derived category of $A$-modules are dual to each other via certain categories of locally-finite cohomological…

Let $A$ be a finite-dimensional algebra over a field $k$. We define $A$ to be $\mathbf{C}$-dichotomic if it has the dichotomy property of the representation type on complexes of projective $A$-modules. $\mathbf{C}$-dichotomy implies the…

We study the projective dimensions of the restriction of functors Hom(-,X) to a contravariantly finite rigid subcategory T of a triangulated category C. We show that the projective dimension of Hom(-,X)|T is at most one if and only if there…

We show that the homotopy category of a combinatorial stable model category $\ck$ is well generated. It means that each object $K$ of $\Ho(\ck)$ is an iterated weak colimit of $\lambda$-compact objects for some cardinal $\lambda$. A natural…

To any well-behaved homology theory we associate a derived $\infty$-category which encodes its Adams spectral sequence. As applications, we prove a conjecture of Franke on algebraicity of certain homotopy categories and establish…

We establish a relative version of the abstract "affine representability" theorem in ${\mathbb A}^1$--homotopy theory from Part I of this paper. We then prove some ${\mathbb A}^1$--invariance statements for generically trivial torsors under…

We show that bounded type implies finite type for a constructible subcategory of the module category of a finitely generated algebra over a field, which is a variant of the first Brauer-Thrall conjecture. A full subcategory is constructible…

Bivariant (equivariant) K-theory is the standard setting for non-commutative topology. We may carry over various techniques from homotopy theory and homological algebra to this setting. Here we do this for some basic notions from…

We revisit an old assertion due to Rouquier, characterizing the perfect complexes as bounded homological functors on the bounded complexes of coherent sheaves. The new results vastly generalize the old statement---first of all the ground…

We develop the general formalism of approximable triangulated categories, and prove two representability theorems.

Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of ``additive groupoid enriched categories'', in which a secondary analog of homological algebra can…

We give a construction of triangulated categories as quotients of exact categories where the subclass of objects sent to zero is defined by a triple of functors. This includes the cases of homotopy and stable module categories. These…

This is the final version of a series of papers uploaded in May 25, 2005. We have splitted the long last paper of the previous version in two parts to make it easier to understand. The results are essentially the same, although the…

Let $T$ be an infinitely generated tilting module of projective dimension at most one over an arbitrary associative ring $A$, and let $B$ be the endomorphism ring of $T$. In this paper, we prove that if $T$ is good then there exists a ring…

Among (conformal) quantum field theories, the rational conformal field theories are singled out by the fact that their correlators can be constructed from a modular tensor category C with a distinguished object, a symmetric special…