We describe necessary and sufficient conditions for the hereditarity of the category algebra of an infinite EI category satisfying certain combinatorial assumptions. More generally, we discuss conditions such that the left global dimension of a category algebra equals the maximal left global dimension of the endomorphism algebras of its objects, and classify its projective modules in this case. As applications, we completely classify transporter categories, orbit categories, and Quillen categories with left hereditary category algebras over a field.
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.
Let k be a field, let A a finite-dimensional hereditary k-algebra. We consider the category of all finite-dimensional A-modules. We are going to characterize the representation type of A (tame or wild) in terms of the possible subcategories of all M-static modules, where M is an indecomposable A-module.
A category is called {\em split} if for every morphism $s\colon X\to Y$ there exists a morphism $t\colon Y\to X$ such that $s\circ t\circ s = s$. Let $C$ be a finite split category, let $k$ be a field of characteristic 0 and let $α$ be a 2-cocycle of $C$ with values in the unit group of $k$. Then the twisted category algebra $k_αC$ is a quasi-hereditary algebra.
The (co)completeness problem for the (projectively) stable module category of an associative ring is studied. (Normal) monomorphisms and (normal) epimorphisms in such a category are characterized. As an application, we give a criterion for the stable category of a left hereditary ring to be abelian. By a structure theorem of Colby-Rutter, this leads to an explicit description of all such rings.
We give necessary and sufficient conditions for torsion pairs in a hereditary category to be in bijection with $t$-structures in the bounded derived category of that hereditary category. We prove that the existence of a split $t$-structure with nontrivial heart in a semiconnected Krull-Schmidt category implies that this category is equivalent to the derived category of a hereditary category. We construct a bijection between split torsion pairs in the module category of a tilted algebra having a complete slice in the preinjective component with corresponding $t$-structures. Finally, we classify…
We describe the derived Picard groups and two-term silting complexes for quasi-hereditary algebras with two simple modules. We also describe by quivers with relations all algebras derived equivalent to a quasi-hereditary algebra with two simple modules.
In this paper, we study the category $\mathscr{H}^{(ρ)}$ of semi-stable coherent sheaves of a fixed slope $ρ$ over a weighted projective curve. This category has nice properties: it is a hereditary abelian finitary length category. We will define the Ringel-Hall algebra of $\mathscr{H}^{(ρ)}$ and relate it to generalized Kac-Moody Lie algebras. Finally we obtain the Kac type theorem to describe the indecomposable objects in this category, i.e. the indecomposable semi-stable sheaves.
In this paper we give an explicit algorithm to construct the ordinary quiver of a finite EI category for which the endomorphism groups of all objects have orders invertible in the field k. We classify all finite EI categories with hereditary category algebras, characterizing them as free EI categories (in a sense which we define) for which all endomorphism groups of objects have invertible orders. Some applications on the representation types of finite EI categories are derived.
We introduce the notion of Gabriel filter for a preadditive category C and we show that there is a bijective correspondence between Gabriel filters of C and hereditary torsion theories in the category of additive functors (C,Ab), obtaining a generelization of the theorem given by Gabriel [Ga] and Maranda [Ma] which establishes a bijective correspondence between Gabriel filters for a ring and hereditary torsion theories in the corresponding category of modules.
For the module category of a hereditary ring, the Ext-orthogonal pairs of subcategories are studied. For each Ext-orthogonal pair that is generated by a single module, a 5-term exact sequence is constructed. The pairs of finite type are characterized and two consequences for the class of hereditary rings are established: homological epimorphisms and universal localizations coincide, and the telescope conjecture for the derived category holds true. However, we present examples showing that neither of these two statements is true in general for rings of global dimension 2.
We show that there exists a natural non-degenerate pairing of the homomorphism space between two neighbor standard modules over a quasi-hereditary algebra with the first extension space between the corresponding costandard modules and vise versa. Investigation of this phenomenon leads to a family of pairings involving standard, costandard and tilting modules. In the graded case, under some "Koszul-like" assumptions (which we prove are satisfied for example for the blocks of the category $\mathcal{O}$), we obtain a non-degenerate pairing between certain graded homomorphism and graded extension …
Let $\mathcal{H}$ be a connected hereditary abelian category with tilting objects. It is proved that the cluster-tilting graph associated with $\mathcal{H}$ is always connected. As a consequence, we establish the connectedness of the tilting graph for the category $\operatorname{coh}\mathbb{X}$ of coherent sheaves over a weighted projective line $\mathbb{X}$ of wild type. The connectedness of tilting graphs for such categories was conjectured by Happel-Unger, which has immediately applications in cluster algebras. For instance, we deduce that there is a bijection between the set of indecomposa…
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. We show that for wide classes of non-piecewise hereditary algebras the orbit category is never equal to the clus…
We show that every k-linear abelian Ext-finite hereditary category with Serre duality which is generated by preprojective objects is derived equivalent to the category of representations of a strongly locally finite thread quiver.
We show that for the path algebra $A$ of an acyclic quiver, the singularity category of the derived category $\mathsf{D}^{\rm b}(\mathsf{mod}\,A)$ is triangle equivalent to the derived category of the functor category of $\underline{\mathsf{mod}}\,A$, that is, $\mathsf{D}_{\rm sg}(\mathsf{D}^{\rm b}(\mathsf{mod}\,A))\simeq \mathsf{D}^{\rm b}(\mathsf{mod}(\underline{\mathsf{mod}}\,A))$. This extends a result of Iyama-Oppermann for the path algebra $A$ of a Dynkin quiver. An important step is to establish a functor category analog of Happel's triangle equivalence for repetitive algebras.
In this paper, we consider the endomorphism algebras of infinitely generated tilting modules of the form $R_{\mathcal U}\oplus R_{\mathcal U}/R$ over tame hereditary $k$-algebras $R$ with $k$ an arbitrary field, where $R_{\mathcal{U}}$ is the universal localization of $R$ at an arbitrary set $\mathcal{U}$ of simple regular $R$-modules, and show that the derived module category of $\End_R(R_{\mathcal U}\oplus R_{\mathcal U}/R)$ is a recollement of the derived module category $\D{R}$ of $R$ and the derived module category $\D{{\mathbb A}_{\mathcal{U}}}$ of the adèle ring ${\mathbb A}_{\mathcal{U…
Tilting theory in cluster categories of hereditary algebras has been developed in [BMRRT] and [BMR]. These results are generalized to cluster categories of hereditary abelian categories. Furthermore, for any tilting object $T$ in a hereditary abelian category $\mathcal{H}$, we verify that the tilting functor Hom$_\mathcal{H}(T,-)$ induces a triangle equivalence from the cluster category $\mathcal{C(H)}$ to the cluster category $\mathcal{C}(A)$, where $A$ is the quasi-tilted algebra End$_{\mathcal{H}}T.$ Under the condition that one of derived categories of hereditary abelian categories $\mathc…
In this article we construct a categorical resolution of singularities of an excellent reduced curve $X$, introducing a certain sheaf of orders on $X$. This categorical resolution is shown to be a recollement of the derived category of coherent sheaves on the normalization of $X$ and the derived category of finite length modules over a certain artinian quasi-hereditary ring $Q$ depending purely on the local singularity types of $X$. Using this technique, we prove several statements on the Rouquier dimension of the derived category of coherent sheaves on $X$. Moreover, in the case $X$ is ration…
We give a structure theorem for Calabi-Yau triangulated category with a hereditary cluster tilting object. We prove that an algebraic $d$-Calabi-Yau triangulated category with a $d$-cluster tilting object $T$ such that its shifted sum $T\oplus\cdots\oplus T[-(d-2)]$ has hereditary endomorphism algebra $H$ is triangle equivalent to the orbit category $\mathscr{D}^b(\mathrm{\mathop{mod}}\, H)/τ^{-1/(d-1)}[1]$ of the derived category of $H$ for a naturally defined $(d-1)$-st root $τ^{1/(d-1)}$ of the AR translation, provided $H$ is of non-Dynkin type. We also show that hereditaryness of $H$ follo…
For the cluster category of a hereditary or a canonical algebra, 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.
We discuss tilting modules of affine quasi-hereditary algebras. We present an existence theorem of indecomposable tilting modules when the algebra has a large center and use it to deduce a criterion for an exact functor between two affine highest weight categories to give an equivalence. As an application, we prove that the Arakawa-Suzuki functor [Arakawa-Suzuki, J. of Alg. 209 (1998)] gives a fully faithful embedding of a block of the deformed BGG category of $\mathfrak{gl}_{m}$ into the module category of a suitable completion of degenerate affine Hecke algebra of $GL_{n}$.
For any Koszul Artin-Schelter regular algebra A, we consider a version of the universal Hopf algebra aut(A) coacting on A, introduced by Manin. To study the representations (i.e. finite dimensional comodules) of this Hopf algebra, we use the Tannaka-Krein formalism. Specifically, we construct an explicit combinatorial rigid monoidal category U, equipped with a functor M to finite dimensional vector spaces such that aut(A)= coend_U(M). Using this pair (U,M) we show that aut(A) is quasi-hereditary as a coalgebra and in addition is derived equivalent to the representation category of U.
Let $k$ be a field of characteristic $0$, let $\mathsf{C}$ be a finite split category, let $α$ be a 2-cocycle of $\mathsf{C}$ with values in the multiplicative group of $k$, and consider the resulting twisted category algebra $A:=k_α\mathsf{C}$. Several interesting algebras arise that way, for instance, the Brauer algebra. Moreover, the category of biset functors over $k$ is equivalent to a module category over a condensed algebra $\varepsilon A\varepsilon$, for an idempotent $\varepsilon$ of $A$. In [2] the authors proved that $A$ is quasi-hereditary (with respect to an explicit partial order…
Let T be a tilting object in a triangulated category equivalent to the bounded derived category of a hereditary abelian category with finite dimensional homomorphism spaces and split idempotents. This text investigates the strong global dimension, in the sense of Ringel, of the endomorphism algebra of T. This invariant is expressed using the infimum of the lengths of the sequences of tilting objects successively related by tilting mutations and where the last term is T and the endomorphism algebra of the first term is quasi-tilted. It is also expressed in terms of the hereditary abelian genera…
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.
Highest weight categories arising in Lie theory are known to be associated with finite dimensional quasi-hereditary algebras such as Schur algebras or blocks of category $\mathcal O$. An analogue of the PBW theorem will be shown to hold for quasi-hereditary algebras: Up to Morita equivalence each such algebra has an exact Borel subalgebra. The category $\mathcal{F}(Δ)$ of modules with standard (Verma, Weyl, \dots) filtration, which is exact, but rarely abelian, will be shown to be equivalent to the category of representations of a directed box. This box is constructed as a quotient of a dg alg…
Let G be an algebraic group over an algebraically closed field, acting on a variety X with finitely many orbits. "Staggered sheaves" are certain complexes of G-equivariant coherent sheaves on X that seem to possess many remarkable properties. In this paper, we construct "standard" and "costandard" objects in the category of staggered sheaves, and we prove that that category has enough projectives and injectives.
We define and investigate a class of Koszul quasi-hereditary algebras for which there is a natural equivalence between the bounded derived category of graded modules and the bounded derived category of graded modules over (a proper version of) the extension algebra of standard modules. Examples of such algebras include, in particular, the multiplicity free blocks of the BGG category $\mathcal{O}$, and some quasi-hereditary algebras with Cartan decomposition in the sense of K{ö}nig.
We present a graded mutation rule for quivers of cluster-tilted algebras. Furthermore, we give a technique to recover a cluster-tilting object from its graded quiver in the cluster category of coh $\mathbb{X}$.
We compare the so-called clock condition to the gradability of certain differential modules over quadratic monomial algebras. For a stably hereditary algebra or a gentle one-cycle algebra, these considerations show that the orbit category of its bounded derived category with respect to a positive power of the shift functor is triangulated if and only if the algebra is piecewise hereditary.
The cluster morphism category of an hereditary algebra was introduced in [5] to show that the picture space of an hereditary algebra of finite representation type is a $K(π,1)$ for the associated picture group, thereby allowing for the computation of the homology of picture groups of finite type as carried out in [7] for the case of $A_n$. In this paper we show that the cluster morphism category is a $CAT(0)$-category for hereditary algebras of finite or tame type with only small tubes. As a consequence, we get that the classifying space of the cluster morphism category is a locally $CAT(0)$ s…
We study the role of the Serre functor in the theory of derived equivalences. Let $\mathcal{A}$ be an abelian category and let $(\mathcal{U}, \mathcal{V})$ be a $t$-structure on the bounded derived category $D^b \mathcal{A}$ with heart $\mathcal{H}$. We investigate when the natural embedding $\mathcal{H} \to D^b \mathcal{A}$ can be extended to a triangle equivalence $D^b \mathcal{H} \to D^b \mathcal{A}$. Our focus of study is the case where $\mathcal{A}$ is the category of finite-dimensional modules over a finite-dimensional hereditary algebra. In this case, we prove that such an extension exi…
Motivated by the structure of the algebras associated to the blocks of the BGG-category O we define a subclass of quasi-hereditary algebras called 1-quasi-hereditary. Many properties of these algebras only depend on the defining partial order. In particular, we can determine the quiver and the form of the relations. Moreover, if the Ringel dual of a 1-quasi-hereditary algebra is also 1-quasi-hereditary, then the structure of the characteristic tilting module can be computed.
Quasi-hereditary were introduced by L. Scott \cite{Scott, CPS1,CPS2} in order to deal highest weight categories as they arise in the representation theory of semi-simple complex Lie algebras and algebraic groups, and they have been a very important tool in the study of finite-dimensional algebras. On the other hand, functor categories were introduced in representation theory by M. Auslander [A], [AQM] and used in his proof of the first Brauer-Thrall conjecture [A2] and later on used systematically in his joint work with I. Reiten on stable equivalence [AR], [AR2] and many other applications. R…
Establishing whether an algebra is quasi-hereditary or not is, in general, a difficult problem. In this paper we introduce a sufficient criterion to determine whether a general finite dimensional algebra is quasi-hereditary by showing that the question can be reduced to showing that a closely associated monomial algebra is quasi-hereditary. For monomial algebras, we give an explicit, easily verifiable, necessary and sufficient criterion to determine whether it is quasi-hereditary.
Let $X$ be any rational surface. We construct a tilting bundle $T$ on $X$. Moreover, we can choose $T$ in such way that its endomorphism algebra is quasi-hereditary. In particular, the bounded derived category of coherent sheaves on $X$ is equivalent to the bounded derived category of finitely generated modules over a finite dimensional quasi-hereditary algebra $A$. The construction starts with a full exceptional sequence of line bundles on $X$ and uses universal extensions. If $X$ is any smooth projective variety with a full exceptional sequence of coherent sheaves (or vector bundles, or even…
We study IE-closed subcategories of a module category, subcategories which are closed under taking Images and Extensions. We investigate the relation between IE-closed subcategories and torsion pairs, and characterize $τ$-tilting finite algebras using IE-closed subcategories. For the hereditary case, we show that IE-closed subcategories can be classified by twin rigid modules, pairs of rigid modules satisfying some homological conditions. Moreover, we introduce mutation of twin rigid modules analogously to tilting modules, which gives a way to calculate all twin rigid modules for the represent…
Let $G$ be a finite group of Lie type. In studying the cross-characteristic representation theory of $G$, the (specialized) Hecke algebra $H=\End_G(\ind_B^G1_B)$ has played a important role. In particular, when $G=GL_n(\mathbb F_q)$ is a finite general linear group, this approach led to the Dipper-James theory of $q$-Schur algebras $A$. These algebras can be constructed over $\sZ:=\mathbb Z[t,t^{-1}]$ as the $q$-analog (with $q=t^2$) of an endomorphism algebra larger than $H$, involving parabolic subgroups. The algebra $A$ is quasi-hereditary over $\sZ$. An analogous algebra, still denoted $A$…
Let A be an algebra over a field k, and denote by D^b(Mod A) the bounded derived category of left A-modules. The derived Picard group DPic_k(A) is the group of triangle auto-equivalences of D^b(Mod A) induced by tilting complexes. We study the group DPic_k(A) when A = k Δis the path algebra of a finite quiver Δ. We obtain general results on the structure of DPic_k(A), as well as explicit calculations for many cases, including all finite and tame representation types. Our method is to construct a representation of DPic_k(A) on a certain infinite quiver. This representation is faithful whenΔis a…
We give a complete picture of the interaction between Koszul and Ringel dualities for quasi-hereditary algebras admitting linear tilting (co)resolutions of standard and costandard modules. We show that such algebras are Koszul, that the class of these algebras is closed with respect to both dualities and that on this class these two dualities commute. All arguments reduce to short computations in the bounded derived category of graded modules.
We give a simple proof, using Auslander-Reiten theory, that the preprojective algebra of a basic hereditary algebra of finite representation type is Frobenius. We then describe its Nakayama automorphism, which is induced by the Nakayama functor on the module category of our hereditary algebra.
Following the work of Beilinson, Bernstein and Deligne, we study restriction and induction of t-structures in triangulated categories with respect to recollements. For derived categories of piecewise hereditary algebras we give a necessary and sufficient condition for a bounded t-structure to be induced from a recollement by derived categories of algebras. As a corollary we prove that for hereditary algebras of finite representation type all bounded t-structures can be obtained in this way.
In this paper, we prove that the lower triangular matrix category $Λ=\left [ \begin{smallmatrix} \mathcal{T}&0\\ M&\mathcal{U} \end{smallmatrix} \right ]$, where $\mathcal{T}$ and $\mathcal{U}$ are quasi-hereditary $\mathrm{Hom}$-finite Krull-Schmidt $K$-categories and $M$ is a $\mathcal U\otimes_K \mathcal T^{op}$-module that satisfies suitable conditions, is quasi-hereditary in the sense of \cite{LGOS1} and \cite{Martin}. Moreover, we solve the problem of finding quotients of path categories isomorphic to the lower triangular matrix category $Λ$, where $\mathcal T=K\mathcal{R/J}$ and $\mathc…
An abelian Krull-Schmidt category is said to be uniserial if the isomorphism classes of subobjects of a given indecomposable object form a linearly ordered poset. In this paper, we classify the hereditary uniserial categories with Serre duality. They fall into two types: the first type is given by the representations of the quiver A_n with linear orientation (and infinite variants thereof), the second type by tubes (and an infinite variant). These last categories give a new class of hereditary categories with Serre duality, called big tubes.
It is a result of Gabriel that hereditary torsion pairs in categories of modules are in bijection with certain filters of ideals of the base ring, called Gabriel filters or Gabriel topologies. A result of Jans shows that this bijection restricts to a correspondence between (Gabriel filters that are uniquely determined by) idempotent ideals and TTF triples. Over the years, these classical results have been extended in several different directions. In this paper we present a detailed and self-contained exposition of an extension of the above bijective correspondences to additive functor categori…
Let $\A$ be a finitary hereditary abelian category and $D(\A)$ be its reduced Drinfeld double Hall algebra. By giving explicit formulas in $D(\A)$ for left and right mutations, we show that the subalgebras of $D(\A)$ generated by exceptional sequences are invariant under mutation equivalences. As an application, we obtain that if $\A$ is the category of finite dimensional modules over a finite dimensional hereditary algebra, or the category of coherent sheaves on a weighted projective line, the double composition algebra of $\A$ is generated by any complete exceptional sequence. Moreover, for …
This paper surveys bocses, quasi-hereditary algebras and their relationship which was established in a recent result by Koenig, Ovsienko, and the author. Particular emphasis is placed on applications of this result to the representation type of the category filtered by standard modules for a quasi-hereditary algebra. In this direction, joint work with Thiel is presented showing that the subcategory of modules filtered by Weyl modules for tame Schur algebras is of finite representation type. The paper also includes a new proof for the classification of quasi-hereditary algebras with two simple …
Locally finitely presented Grothendieck categories and the pure semisimplicity conjecture
School of Mathematics, Institute for Research in Fundamental Sciences (IPM)（基础科学研究所）；Department of Pure Mathematics Faculty of Mathematics and Statistics University of Isfahan（伊斯法罕大学数学与统计学院纯数学系）；Institute for Research in Fundamental Sciences (IPM)（基础科学研究所）
Let $A$ be a hereditary algebra. We construct a fundamental domain for the cluster category of $A$ inside the category of modules over the duplicated algebra $\bar{A}$ of $A$. We then prove that there exists a bijection between the tilting objects in the cluster category and the tilting $\bar{A}$-modules all of whose non projective-injective indecomposable summands lie in the left part of the module category of $\bar{A}$.
We introduce thread quivers as an (infinite) generalization of quivers, and show that every k-linear (k algebraically closed) hereditary category with Serre duality and enough projectives is equivalent to the category of finitely presented representations of a thread quiver. In this way, we obtain an explicit construction of a new class of 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 rep_k Q 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 \mathbb{Z} Q.
Let $\sO$ be a discrete valuation ring with fraction field $K$ and residue field $k$. A quasi-hereditary algebra $\wA$ over $\sO$ provides a bridge between the representation theory of the quasi-hereditary algebra $\wA_K:=K\otimes \wA$ over the field $K$ and the quasi-hereditary algebra $A_k:=k\otimes_\sO\wA$ over $k$. In one important example, $\wA_K$--mod is a full subcategory of the category of modules for a quantum enveloping algebra while $\wA_k$--mod is a full subcategory of the category of modules for a reductive group in positive characteristic. This paper considers first the question …
We associate to a sufficiently generic oriented matroid program and choice of linear system of parameters a finite dimensional algebra, whose representation theory is analogous to blocks of Bernstein--Gelfand--Gelfand category $\mathcal O$. When the data above comes from a generic linear program for a hyperplane arrangement, we recover the algebra defined by Braden--Licata--Proudfoot--Webster. Applying our construction to nonlinear oriented matroid programs provides a large new class of algebras. For Euclidean oriented matroid programs, the resulting algebras are quasi-hereditary and Koszul, a…
