A quasi-hereditary algebra is an Artin algebra together with a partial order on its set of isomorphism classes of simple modules which satisfies certain conditions. In this article we investigate all the possible choices that yield to quasi-hereditary structures on a given algebra, in particular we introduce and study what we call the poset of quasi-hereditary structures. Our techniques involve certain quiver decompositions and idempotent reductions. For a path algebra of Dynkin type $\mathbb{A}$, we provide a full classification of its quasi-hereditary structures. For types $\mathbb{D}$ and $\mathbb{E}$, we give a counting method for the number of quasi-hereditary structures. In the case of a hereditary incidence algebra, we present a necessary and sufficient condition for its poset of quasi-hereditary structures to be a lattice.
This is a survey on the categorification of the poset of generalized non-crossing partitions, using the representation theory of a hereditary artin algebra H, looking at the set P of exceptional subcategories in mod H. This categorification is due to Ingalls and Thomas, and a subsequent paper by Igusa and Schiffler. Starting point is a refinement of the classical tilting theory for mod H, replacing torsion pairs by torsion triples, thus putting it into the realm of the stability theory of King. The torsion pairs in mod H correspond nicely to the perpendicular pairs of exceptional subcategories…
We call a finite dimensional algebra A S-connected if the projective dimensions of the simple A-modules form an interval. We prove that a Nakayama algebra A is S-connected if and only if A is quasi-hereditary. We apply this result to improve an inequality for the global dimension of quasi-hereditary Nakayama algebras due to Brown. We furthermore classify the Nakayama algebras where equality is attained in Brown's inequality and show that they are enumerated by the even indexed Fibonacci numbers if the algebra is cyclic and by the odd indexed Fibonacci numbers if the algebra is linear.
We define Bernstein-Gelfand-Ponomarev reflection functors in the cluster categories of hereditary algebras. They are triangle equivalences which provide a natural quiver realization of the "truncated simple reflections" on the set of almost positive roots $Φ_{\ge -1}$ associated to a finite dimensional semisimple Lie algebra. Combining with the tilting theory in cluster categories developed in [4], we give a unified interpretation via quiver representations for the generalized associahedra associated to the root systems of all Dynkin types (a simply-laced or non-simply-laced). This confirms th…
Dlab and Ringel showed that algebras being quasi-hereditary in all orders for indices of primitive idempotents becomes hereditary. So, we are interested in for which orders a given quasi-hereditary algebra is again quasi-hereditary. As a matter of fact, we consider permutations of indices, and if the algebra with permuted indices is quasi-hereditary, then we say that this permutation gives a quasi-hereditary structure. In this article, we first give a criterion for adjacent transpositions giving quasi-hereditary structures, in terms of homological conditions of standard or costandard modules o…
Dlab and Ringel showed that algebras being quasi-hereditary in all total orders for indices of primitive idempotents becomes hereditary. So, we are interested in for which orders a given quasi-hereditary algebra is again quasi-hereditary. As a matter of fact, we consider permutations of indices instead of total orders. If the standard modules defined by two permutations coincide, we say that the permutations are equivalent. Moreover if the algebra with permuted indices is quasi-hereditary, then this equivalence class of the permutation is called a quasi-hereditary structure. In this article, w…
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.
We show how any finite-dimensional algebra can be realized as an idempotent subquotient of some symmetric quasi-hereditary algebra. In the special case of rigid symmetric algebras we show that they can be realized as centralizer subalgebras of symmetric quasi-hereditary algebras. We also show that the infinite-dimensional symmetric quasi-hereditary algebras we construct admit quasi-hereditary structure with respect to two opposite orders, that they have strong exact Borel and $Δ$-subalgebras and the corresponding triangular decompositions.
Let $Λ$ be an artin algebra and $X$ a finitely generated $Λ$-module. Iyama has shown that there exists a module $Y$ such that the endomorphism ring $Γ$ of $X\oplus Y$ is quasi-hereditary, with a heredity chain of length $n$, and that the global dimension of $Γ$ is bounded by this $n$. In general, one only knows that a quasi-hereditary algebra with a heredity chain of length $n$ must have global dimension at most $2n-2$. We want to show that Iyama's better bound is related to the fact that the ring $Γ$ he constructs is not only quasi-hereditary, but even left strongly quasi-hereditary: By defin…
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.
Recollements of abelian categories are used as a basis of a homological and recursive approach to quasi-hereditary algebras. This yields a homological proof of Dlab and Ringel's characterisation of idempotent ideals occuring in heredity chains, which in turn characterises quasi-hereditary algebras recursively. Further applications are given to hereditary algebras and to Morita context rings.
A notion of a split quasi-hereditary algebra has been defined by Cline, Parshall and Scott. Du and Rui describe a based approach to split quasi-hereditary algebras. We develop this approach further to show that over a complete local Noetherian ring, one can achieve even stronger basis properties. This is important for `schurifying' quasi-hereditary algebras as developed in our subsequent work. The schurification procedure associates to an algebra $A$ a new algebra, which is the classical Schur algebra if $A$ is a field. Schurification produces interesting new quasi-hereditary and cellular alge…
In arXiv:1104.4441 it was shown that any 1-quasi-hereditary algebra affords a particular basis which is related to a given partial order on the set of simple modules. We show that the modules generated by these basis-elements are also modules over the endomorphism algebra of some projective indecomposable modules. In case the Ringel-dual of a 1-quasi-hereditary algebra is also 1-quasi-hereditary, we describe all local Delta-good submodules of projective indecomposable modules. We also consider several examples.
Koenig, Külshammer and Ovsienko showed that Morita equivalence classes of quasi-hereditary algebras are in one-to-one correspondence with equivalence classes of the module categories over directed bocses. In this article, we extend this result to $Δ$-filtered algebras and $\overlineΔ$-filtered algebras.
We define and study new classes of quasi-hereditary and cellular algebras which generalize Turner's double algebras. Turner's algebras provide a local description of blocks of symmetric groups up to derived equivalence. Our general construction allows one to `schurify' any quasi-hereditary algebra $A$ to obtain a generalized Schur algebra $S^A(n,d)$ which we prove is again quasi-hereditary if $d\leq n$. We describe decomposition numbers of $S^A(n,d)$ in terms of those of $A$ and the classical Schur algebra $S(n,d)$. In fact, it is essential to work with quasi-hereditary superalgebras $A$, in w…
We show that taking the wreath product of a quasi-hereditary algebra with symmetric group inherits several homological properties of the original algebra, namely BGG duality, standard Koszulity, balancedness as well as a condition which makes the Ext-algebra of its standard modules a Koszul algebra.
Let $A$ be a finite dimensional algebra over an algebraically closed field $\mathbf{k}$. If $A$ is quasi-hereditary and the projective dimensions of all standard modules are at most one, then $A$ is called left strongly quasi-hereditary. In this paper, we construct a special heredity chain for left strongly quasi-hereditary algebras. Moreover, we show the quotient algebra by an ideal which appears in a special heredity chain of left strongly quasi-hereditary algebra is also left strongly quasi-hereditary algebra.
Ringel's right-strongly quasi-hereditary algebras are a distinguished class of quasi-hereditary algebras of Cline-Parshall-Scott. We give characterizations of these algebras in terms of heredity chains and right rejective subcategories. We prove that any artin algebra of global dimension at most two is right-strongly quasi-hereditary. Moreover we show that the Auslander algebra of a representation-finite algebra $A$ is strongly quasi-hereditary if and only if $A$ is a Nakayama algebra.
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.
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 …
We study composition series of derived module categories in the sense of Angeleri Hügel, König & Liu for quasi-hereditary algebras. More precisely, we show that having a composition series with all factors being derived categories of vector spaces does not characterise derived categories of quasi-hereditay algebras. This gives a negative answer to a question of Liu & Yang and the proof also confirms part of a conjecture of Bobiński & Malicki. In another direction, we show that derived categories of quasi-hereditary algebras can have composition series with lots of different lengths and composi…
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.
Let $A$ be a quasi-hereditary algebra. We prove that in many cases, a tilting module is rigid (i.e. has identical radical and socle series) if it does not have certain subquotients whose composition factors extend more than one layer in the radical series or the socle series. We apply this theorem to give new results about the radical series of some tilting modules for $SL_4(K)$, where $K$ is a field of positive characteristic.
In this paper we consider how the \nabla-, Δ- and global dimensions of a quasi-hereditary algebra are interrelated. We first consider quasi-hereditary algebras with simple preserving duality and such that if μ< λthen \nabla fd(L(μ)) < \nabla fd(L(λ)) where μ, λare in the poset and L(μ), L(λ) are the corresponding simples. We show that in this case the global dimension of the algebra is twice its \nabla-filtration dimension. We then consider more general quasi-hereditary algebras and look at how these dimensions are affected by the Ringel dual and by two forms of truncation. We restrict again t…
We present an easily applicable sufficient condition for standard Koszul algebras to be Koszul with respect to $Δ$. If a quasi-hereditary algebra $Ł$ is Koszul with respect to $Δ$, then $Ł$ and the Yoneda extension algebra of $Δ$ are Koszul dual in a sense explained below, implying in particular that their bounded derived categories of finitely generated graded modules are equivalent. We also prove that the extension algebra of $Δ$ is Koszul in the classical sense.
The dominant dimension of algebras in the class A of 1-quasi-hereditary algebras is at least two. By the Morita-Tachikawa Theorem this implies that A is related to a certain class B of algebras via bimodules satisfying the double centralizer condition. In this paper we specify the class B and the modules over algebras in B connected with A. The class A is not closed under taking the Ringel-dual. However the dominant dimension of the Ringel-dual R(q) of a 1-quasi-hereditary algebra q is at least two. This fact induces a corresponding concept of modules over algebras in B which yield the algebra…
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…
Up to Morita equivalence, every quasi-hereditary algebra is the dual algebra of a directed bocs or coring. From the bocs, an exact Borel subalgebra is obtained. In this paper a characterisation of exact Borel subalgebras arising in this way is given.
Motivated by the study of (m,n)-quasitilted algebras, which are the piecewise hereditary algebras obtained from quasitilted algebras of global dimension two by a sequence of (co)tiltings involving n-1 tilting modules and m-1 cotilting modules, we introduce (m,n)-almost hereditary algebras. These are the algebras with global dimension m+n and such that any indecomposable module has projective dimension at most m, or else injective dimension at most n. We relate these two classes of algebras, among which (m,1)-almost hereditary ones play a special role. For these, we prove that any indecomposabl…
We introduce quasi-hereditary endomorphism algebras defined over a new class of finite dimensional monomial algebras with a special ideal structure. The main result is a uniform formula describing the Ringel duals of these quasi-hereditary algebras. As special cases, we obtain a Ringel-duality formula for a family of strongly quasi-hereditary algebras arising from a type A configuration of projective lines in a rational, projective surface as recently introduced by Hille and Ploog, for certain Auslander-Dlab-Ringel algebras, and for Eiriksson and Sauter's nilpotent quiver algebras when the qui…
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 …
The aim of this paper is to define and study some quasi-hereditary covers for higher zigzag algebras. We will show how these algebras satisfy three different Koszul properties: they are Koszul in the classical sense, standard Koszul and Koszul with respect to the standard module $Δ$, according with the definition given in \cite{Madsen1}. This last property gives rise to a well defined duality and the $Δ$-Koszul dual will be computed as the path algebra of a quiver with relations.
In this short note we investigate some consequences of the vanishing of simple biset functors. As corollary, if there is no non-trivial vanishing of simple biset functors (e.g. if the group is commutative), then we show that the double Burnside algebra is a quasi-hereditary algebra in characteristic zero. In general, this not true without the non-vanishing condition, as over a field of characteristic zero, the double Burnside algebra of the alternating group of degree 5 has infinite global dimension.
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.
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 …
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…
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…
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.
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…
Fix a principal ideal domain $k$. In this article we associate to a (weighted) matroid $M$ a quasi-hereditary algebra $R(M)$ defined over $k$ such that matroid duality corresponds to Ringel duality of quasi-hereditary algebras. The representation theory of these algebras is related to work of Schechtman-Varchenko and Brylawski-Varchenko. In characteristic zero, our algebras are also closely related to work of Kook-Reiner-Stanton and Denham.
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…
We introduce a new category C, which we call the cluster category, obtained as a quotient of the bounded derived category D of the module category of a finite-dimensional hereditary algebra H over a field. We show that, in the simply-laced Dynkin case, C can be regarded as a natural model for the combinatorics of the corresponding Fomin-Zelevinsky cluster algebra. In this model, the tilting modules correspond to the clusters of Fomin-Zelevinsky. Using approximation theory, we investigate the tilting theory of C, showing that it is more regular than that of the module category itself, and demon…
Lin and Xi introduced Auslander--Dlab--Ringel (ADR) algebras of seimlocal modules as a generalization of original ADR algebras and showed that they are quasi-hereditary. In this paper, we prove that such algebras are always left-strongly quasi-hereditary. As an application, we give a better upper bound for global dimension of ADR algebras of semilocal modules. Moreover we describe characterizations of original ADR algebras to be strongly quasi-hereditary.
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…
This is the first of four articles studying some slight generalisations H(n,m) of Khovanov's diagram algebra, as well as quasi-hereditary covers K(n,m) of these algebras in the sense of Rouquier, and certain infinite dimensional limiting versions. In this article we prove that H(n,m) is a cellular symmetric algebra and that K(n,m) is a cellular quasi-hereditary algebra. In subsequent articles, we relate these algebras to level two blocks of degenerate cyclotomic Hecke algebras, parabolic category O and the general linear supergroup, respectively.
