Auslander and Kleiner proved in 1994 an abstract version of Green correspondence for pairs of adjoint functors between three categories. They produce additive quotients of certain subcategories giving the classical Green correspondence in the special setting of modular representation theory. Carlson, Peng and Wheeler showed in 1998 that Green correspondence in the classical setting of modular representation theory is actually an equivalence between triangulated categories with respect to a non standard triangulated structure. In the present note we first define and study a version of relative projectivity, respectively relative injectivity with respect to pairs of adjoint functors. We then modify Auslander Kleiner's construction such that the correspondence holds in the setting of triangulated categories.
This paper is the first in a series of papers in which we define and study a category of "sheaves of $\mathcal Z$-modules on the set of alcoves" that carries important information on the category of representations of semisimple Lie algebras in positive characteristics. Here, we define this category and study the structure of its projective objects using a new version of wall crossing functors.
We investigate a version of the Green correspondence for categories of complexes, including homotopy categories and derived categories. The correspondence is an equivalence between a category defined over a finite group $G$ and the same for a subgroup $H$, often the normalizer of a $p$-subgroup of $G$. We present a basic formula for deciding when categories of modules or complexes have a Green correspondence and apply it to many examples. In several cases the equivalence is an equivalence of triangulated categories, and in special cases it is an equivalence of tensor triangulated categories.
In the terms of an `$n$-periodic derived category', we describe explicitly how the orbit category of the bounded derived category of an algebra with respect to powers of the shift functor embeds in its triangulated hull. We obtain a large class of algebras whose orbit categories are strictly smaller than their triangulated hulls and a realization of the phenomenon that an automorphism need not induce the identity functor on the associated orbit category.
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 categories naturally fit into a framework of relative derived categories, and once we prove that there are decent resolutions of complexes, we are able to prove many familiar results in homological algebra.
In this article, we investigate the condition for the hearts of twin cotorsion pairs to be equivalent, compatibly with the associated functors. This is related to the vanishing of components of pairs through the associated functors.
Local cohomology functors are constructed for the category of cohomological functors on an essentially small triangulated category T equipped with an action of a commutative noetherian ring. This is used to establish a local-global principle and to develop a notion of stratification, for T and the cohomological functors on it, analogous to such concepts for compactly generated triangulated categories.
For a triangulated category with products we develop a method for constructing a nice set of cogenerators, allowing us to prove a formal criterion in order to satisfy Brown representability for covariant functors. We apply this criterion for showing that both homotopy category of projective modules and homotopy category of projective objects in a category of functors from a small category to a module category satisfy this kind of representability. In particular, homotopy category of projective complexes satisfies Brown representability for covariant functors.
With applications in mind to the representations and cohomology of block algebras, we examine elements of the graded center of a triangulated category when the category has a Serre functor. These are natural transformations from the identity functor to powers of the shift functor that commute with the shift functor We show that such natural transformations which have support in a single shift orbit of indecomposable objects are necessarily of a kind previously constructed by Linckelmann. Under further conditions, when the support is contained in only finitely many shift orbits, sums of transfo…
We study abelian quotient categories A=T/J, where T is a triangulated category and J is an ideal of T. Under the assumption that the quotient functor is cohomological we show that it is representable and give an explicit description of the functor. We give technical criteria for when a representable functor is a quotient functor, and a criterion for when J gives rise to a cluster-tilting subcategory of T. We show that the quotient functor preserves the AR-structure. As an application we show that if T is a finite 2-Calabi-Yau category, then with very few exceptions J is a cluster-tilting subca…
This article provides some basic results on weight structures, weight complex functors and homotopy categories. We prove that the full subcategories K(A)^{w < n}, K(A)^{w > n}, K(A)^- and K(A)^+ (of objects isomorphic to suitably bounded complexes) of the homotopy category K(A) of an additive category A are idempotent complete, which confirms that (K(A)^{w <= 0}, K(A)^{w >= 0}) is a weight structure on K(A). We discuss weight complex functors and provide full details of an argument sketched by M. Bondarko, which shows that if w is a bounded weight structure on a triangulated category T that ha…
We study abelian localizations of triangulated categories induced by rigid contravariantly finite subcategories, and also triangulated structures on subfactor categories of triangulated categories. In this context we generalize recent results of Buan-Marsh and Iyama-Yoshino. We also extend basic results of Keller-Reiten concerning the Gorenstein and the Calabi-Yau property for categories arising from certain rigid, not necessarily cluster tilting, subcategories, as well as several results of the literature concerning the connections between 2-cluster tilting subcategories of triangulated categ…
In this paper we consider a construction in an arbitrary triangulated category T which resembles the notion of a Moore spectrum in algebraic topology. Namely, given a compact object C of T satisfying some finite tilting assumptions, we obtain a functor which "approximates" objects of the module category of the endomorphism algebra of C in T. This generalises and extends a construction of Jorgensen in connection with lifts of certain homological functors of derived categories. We show that this new functor is well-behaved with respect to short exact sequences and distinguished triangles, and as…
Right triangulated categories can be thought of as triangulated categories whose shift functor is not an equivalence. We give intrinsic characterisations of when such categories have a natural extriangulated structure and are appearing as the (co-)aisle of a (co-)t-structure in an associated triangulated category.
We call a triangulated category \emph{hereditary} provided that it is equivalent to the bounded derived category of a hereditary abelian category, where the equivalence is required to commute with the translation functors. If the triangulated category is algebraical, we may replace the equivalence by a triangle equivalence. We give two intrinsic characterizations of hereditary triangulated categories using a certain full subcategory and the non-existence of certain paths. We apply them to piecewise hereditary algebras.
We define the Hall algebra associated to any triangulated category under some finiteness conditions with the $t$-periodic translation functor $T$ for odd $t>1.$ This generalizes the results in \cite{Toen2005} and \cite{XX2006}.
We define the spectrum of a tensor triangulated category $K$ as the set of so-called prime ideals, endowed with a suitable topology. In this very generality, the spectrum is the universal space in which one can define supports for objects of $K$. This construction is functorial with respect to all tensor triangulated functors. Several elementary properties of schemes hold for such spaces, e.g. the existence of generic points and some quasi-compactness. Locally trivial morphisms are proved to be nilpotent. We establish in complete generality a classification of thick tensor-ideal subcategories …
We recall P. Balmer's definition of tensor triangular Chow group for a tensor triangulated category $\mathcal{K}$ and explore some of its properties. We give a proof that for a suitably nice scheme $X$ it recovers the usual notion of Chow group from algebraic geometry when we put $\mathcal{K} = \mathrm{D^{perf}}(X)$. Furthermore, we identify a class of functors for which tensor triangular Chow groups behave functorially and show that (for suitably nice schemes) proper push-forward and flat pull-back of algebraic cycles can be interpreted as being induced by the derived inverse and direct image…
Relative theories(=closed subfunctors) are considered in exact, triangulated and extriangulated categories by Dräxler-Reiten-Smalø-Solberg-Keller, Beligiannis and Herschend-Liu-Nakaoka, respectively. We give a construction method of closed subfunctors from given half exact functors which contains existing constructions. Moreover, if an extriangulated category has enough projective objects, then every closed subfunctor is obtained by this construction.
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.
For a finite group $G$ and an algebraically closed field $k$ of characteristic $p>0$ for any indecomposable finite dimensional $kG$-module $M$ with vertex $D$ and a subgroup $H$ of $G$ containing $N_G(D)$ there is a unique indecomposable $kH$-module $N$ of vertex $D$ being a direct summand of the restriction of $M$ to $H$. This correspondence, called Green correspondence, was generalised by Auslander-Kleiner to the situation of pairs of adjoint functors between additive categories. In the original situation of group rings Carlson-Peng-Wheeler proved that this correspondence is actually restric…
Let k be an algebraically closed field and let T be the k-linear algebraic triangulated category generated by a w-spherical object for an integer w. For certain values of w this category is classical. For instance, if w = 0 then it is the compact derived category of the dual numbers over k. As main results of the paper we show that for w \leq 0, the category T has no non-trivial t-structures, but does have one family of non-trivial co-t-structures, whereas for w \geq 1 the opposite statement holds. Moreover, without any claim to originality, we observe that for w \leq -1, the category T is a c…
Given an exact functor between triangulated categories which admits both adjoints and whose cotwist is either zero or an autoequivalence, we show how to associate a unique full triangulated subcategory of the codomain on which the functor becomes either Frobenius or spherical, respectively. We illustrate our construction with examples coming from projective bundles and smooth blowups. This work generalises results about spherical subcategories obtained by Martin Kalck, David Ploog and the first author.
Let $\Ascr,\Bscr$ be exact categories with $\Ascr$ karoubian and $M$ be an exact functor. Under suitable adjonction hypotheses for $M$, we are able to show that the direct factors of the objects of $\Ascr$ of the form $MY$ with $Y \in \Bscr$ make up a Frobenius category which allow us to define an $M$-stable category for $\Ascr$ only by quotienting. In addition, we propose a construction of an $M$-stable category for $\Ascr,\Bscr$ triangulated categories and $M$ a triangulated functor. We illustrate this notion with a theorem of Keller and Vossieck which links the two notions of $M$-stable cat…
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…
We show that the quotient of a Hom-finite triangulated category C by the kernel of the functor Hom(T, -), where T is a rigid object, is preabelian. We further show that the class of regular morphisms in the quotient admit a calculus of left and right fractions. It follows that the Gabriel-Zisman localisation of the quotient at the class of regular morphisms is abelian. We show that it is equivalent to the category of finite dimensional modules over the endomorphism algebra of T in C.
C. Amiot has classified the connected triangulated k-categories with finitely many isoclasses of indecomposables satisfying suitable hypotheses. We remark that her proof shows that these triangulated categories are determined by their underlying k-linear categories. We observe that if the connectedness assumption is dropped, the triangulated categories are still determined by their underlying k-categories together with the action of the suspension functor on the set of isoclasses of indecomposables.
We define a dimension for a triangulated category. We prove a representabilityTheorem for a certain class of functors on finite dimensional triangulatedcategories. We study the dimension of the boundedderived category of an algebra or a scheme and we show in particularthat the bounded derived category of coherent sheaves over avariety has a finite dimension. For a self-injective algebra, a lowerbound for Auslander's representation dimension is given by the dimensionof the stable category. We use this to compute the representationdimension of exterior algebras. This provides the first known exa…
In this paper, we consider a kind of ideal quotient of an extriangulated category such that the ideal is the kernel of a functor from this extriangulated category to an abelian category. We study a condition when the functor is dense and full, in another word, the ideal quotient becomes abelian. Moreover, a new equivalent characterization of cluster-tilting subcategories is given by applying homological methods according to this functor. As an application, we show that in a connected 2-Calabi-Yau triangulated category B, a functorially finite, extension closed subcategory T of B is cluster til…
In this survey, we first present basic facts on A-infinity algebras and modules including their use in describing triangulated categories. Then we describe the Quillen model approach to A-infinity structures following K. Lefevre's thesis. Finally, starting from an idea of V. Lyubashenko's, we give a conceptual construction of A-infinity functor categories using a suitable closed monoidal category of cocategories. In particular, this yields a natural construction of the bialgebra structure on the bar construction of the Hochschild complex of an associative algebra.
We study hearts of cotorsion pairs in triangulated and exact categories.We give a sufficient and necessary condition when the hearts have enough projectives. We also show in such condition they are equivalent to functor categories over cohearts of the cotorsion pairs.
We define $n$-angulated categories by modifying the axioms of triangulated categories in a natural way. We show that Heller's parametrization of pre-triangulations extends to pre-$n$-angulations. We obtain a large class of examples of $n$-angulated categories by considering $(n-2)$-cluster tilting subcategories of triangulated categories which are stable under the $(n-2)$nd power of the suspension functor. As an application, we show how $n$-angulated Calabi-Yau categories yield triangulated Calabi-Yau categories of higher Calabi-Yau dimension. Finally, we sketch a link to algebraic geometry an…
Let $\mathcal{T}$ be a Krull-Schmidt, Hom-finite triangulated category with suspension functor $[1]$. Let $R$ be a basic rigid object, $Γ$ the endomorphism algebra of $R$, and $\operatorname{\mathsf{pr}}(R)\subseteq \mathcal{T}$ the subcategory of objects finitely presented by $R$. We investigate the relative rigid objects, \ie $R[1]$-rigid objects of $\mathcal{T}$. Our main results show that the $R[1]$-rigid objects in $\operatorname{\mathsf{pr}}(R)$ are in bijection with $τ$-rigid $Γ$-modules, and the maximal $R[1]$-rigid objects with respect to $\operatorname{\mathsf{pr}}(R)$ are in bijecti…
We show that Quillen's small object argument works for exact categories under very mild conditions. This has immediate applications to cotorsion pairs and their relation to the existence of certain triangulated adjoint functors and model structures. In particular, the interplay of different exact structures on the category of complexes of quasi-coherent sheaves leads to a streamlined and generalized version of recent results obtained by Estrada, Gillespie, Guil Asensio, Hovey, Jørgensen, Neeman, Murfet, Prest, Trlifaj and possibly others.
This work reports on joint research with Manuel Saorin. For an algebra A over an algebraically closed field k the set of A-module structures on k d forms an affine algebraic variety. The general linear group Gl d (k) acts on this variety and isomorphism classes correspond to orbits under this action. A module M degenerates to a module N if N belongs to the Zariski closure of the orbit of M. Yoshino gave a scheme-theoretic characterisation, and Saorin and Zimmermann generalise this concept to general triangulated categories. We show that this concept has an interpretation in terms of distinguis…
We introduce a new concept of s-recollements of extriangulated categories, which generalizes recollements of abelian categories, recollements of triangulated categories, as well as recollements of extriangulated categories. Moreover, some basic properties of s-recollements are presented. We also discuss the behavior of the localization theory on the adjoint pair of exact functors. Finally, we provide a method to obtain a recollement of triangulated categories from s-recollements of extriangulated categories via the localization theory.
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…
For a self-orthogonal module $T$, the relation between the quotient triangulated category $D^b(A)/K^b({\rm add} T)$ and the stable category of the Frobenius category of $T$-Cohen-Macaulay modules is investigated. In particular, for a Gorenstein algebra, we get a relative version of the description of the singularity category due to Happel. Also, the derived category of a Gorenstein algebra is explicitly given, inside the stable category of the graded module category of the corresponding trivial extension algebra, via Happel's functor $F: D^b(A) \longrightarrow T(A)^{\mathbb{Z}}{-}\underline{\r…
In the previous article "Hearts of twin cotorsion pairs on exact categories", we introduced the notion of the heart for any cotorsion pair on an exact category with enough projectives and injectives, and showed that it is an abelian category. In this paper, we construct a half exact functor from the exact category to the heart. This is analog of the construction of Abe and Nakaoka for triangulated categories. We will also use this half exact functor to find out a sufficient condition when two different hearts are equivalent.
In this article, we study the heart of a cotorsion pairs on an exact category and a triangulated category in a unified meathod, by means of the notion of an extriangulated category. We prove that the heart is abelian, and construct a cohomological functor to the heart. If the extriangulated category has enough projectives, this functor gives an equivalence between the heart and the category of coherent functors over the coheart modulo projectives. We also show how an n-cluster tilting subcategory of an extriangulated category gives rise to a family of cotorsion pairs with equivalent hearts.
For each recollement of triangulated categories, there is an epivalence between the middle category and the comma category associated to a triangle functor from the category on the right to the category on the left. For a morphic enhancement of a triangulated category $\mathcal{T}$, there are three explicit ideals of the enhancing category, whose corresponding factor categories are all equivalent to the module category over $\mathcal{T}$. Examples related to inflation categories and weighted projective lines are discussed.
We investigate correspondence functors, namely the functors from the category of finite sets and correspondences to the category of $k$-modules, where $k$ is a commutative ring.They have various specific properties which do not hold for other types of functors.In particular, if $k$ is a field and if $F$ is a correspondence functor, then $F$ is finitely generated if and only if the dimension of $F(X)$ grows exponentially in terms of the cardinality of the finite set $X$. In such a case, $F$ has finite length. Also, if $k$ is noetherian, then any subfunctor of a finitely generated functor is fin…
University of Science and Technology of China（中国科学技术大学）；Beijing Institute of Mathematical Sciences and Applications (BIMSA)（北京国际数学研究中心）；Central China Normal University（华中师范大学）；Shanghai Jiao Tong University（上海交通大学）；RIKEN iTHEMS（理化学研究所 iTHEMS）
