Inspired by recent work of Geiss-Leclerc-Schroer, we use Hom-finite cluster categories to give a good candidate set for a basis of (upper) cluster algebras with coefficients arising from quivers. This set consists of generic values taken by the cluster character on objects having the same index. If the matrix associated to the quiver is of full rank, then we prove that the elements in this set are linearly independent. If the cluster algebra arises from the setting of Geiss-Leclerc-Schroer, then we obtain the basis found by these authors. We show how our point of view agrees with the spirit of conjectures of Fock-Goncharov concerning the parametrization of a basis of the upper cluster algebra by points in the tropical X-variety.
To an artin algebra with radical square zero, a regular algebra in the sense of von Neumann and a family of invertible bimodules over the regular algebra are associated. These data describe completely, as a triangulated category, the singularity category of the artin algebra. A criterion on the Hom-finiteness of the singularity category is given in terms of the valued quiver of the artin algebra.
We exploit singular equivalences between artin algebras, that are induced from certain functors between the stable module categories. Such functors are called pre-triangle equivalences. We construct two pre-triangle equivalences connecting the stable module category over a quadratic monomial algebra and the one over an algebra with radical square zero. Consequently, we obtain an explicit singular equivalence between the two algebras.
We construct an action of a braid group associated to a complete graph on the derived category of a certain symmetric Nakayama algebra which is also a Brauer star algebra with no exceptional vertex. We connect this action with the affine braid group action on Brauer star algebras defined by Schaps and Zakay-Illouz. We show that for Brauer star algebras with no exceptional vertex, the action is faithful.
Curved A-infinity algebras appear in nature as deformations of dg algebras. We develop the basic theory of curved A-infinity algebras and, in particular, curved dg algebras. We investigate their link with a suitable class of dg coalgebras via the bar construction and produce Quillen model structures on their module categories. We define the analogue of the relative derived category for a curved dg algebra.
Bongartz and Ringel proved that there is no gaps in the sequence of lengths of indecomposable modules for the finite-dimensional algebras over algebraically closed fields. The present paper mainly study this "no gaps" theorem for the bounded derived module category $D^b(A)$ of a gentle algebra $A$: if there is an indecomposable object in $D^b(A)$ of cohomological length $l>1$, then there exists an indecomposable with cohomological length $l-1$.
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.
For a finite dimensional algebra $Λ$ of finite representation type and an additive generator $M$ for $\mathrm{mod}\,Λ$, we investigate the properties of the Yoneda algebra $Γ=\bigoplus_{i \geq 0}\mathrm{Ext}_Λ^i(M,M)$. We show that $Γ$ is graded coherent and Gorenstein of self-injective dimension at most $1$, and the graded singularity category $\mathrm{D_{sg}^\mathbb{Z}}(Γ)$ of $Γ$ is triangle equivalent to the derived category of the stable Auslander algebra of $Λ$. These results remain valid for representation-infinite algebras. For this we introduce the Yoneda category $\mathcal{Y}$ of $Λ$…
In this note we correct two oversights in [Mapping cones in the bounded derived category of a gentle algebra, J. Algebra 530 (2019), 163--194, also arXiv:1609.09688] which only occur when a band complex is involved. As a consequence we see that the mapping cone of a morphism between two band complexes can decompose into arbitrarily many indecomposable direct summands.
We consider an intermediate category between the category of finite quivers and a certain category of pseudocompact associative algebras whose objects include all pointed finite dimensional algebras. We define the completed path algebra and the Gabriel quiver as functors. We give an explicit quotient of the category of algebras on which these functors form an adjoint pair. We show that these functors respect ideals, obtaining in this way an equivalence between related categories.
In a perfect category every object has a minimal projective resolution. We give a criterion for the category of modules over a categorygraded algebra to be perfect.
Let $\C$ be a finite projective EI category and $k$ be a field. The singularity category of the category algebra $k\C$ is a tensor triangulated category. We compute its spectrum in the sense of Balmer.
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 prove that two finite-dimensional commutative algebras over an algebraically closed field are isomorphic if and only if they give rise to isomorphic representations of the category of finite sets and surjective maps.
We give conditions on when a triangular matrix ring is Gorenstein of a given selfinjective dimension. We apply the result to the category algebra of a finite EI category. In particular, we prove that for a finite EI category, its category algebra is 1-Gorenstein if and only if the given category is free and projective.
We classify blocks of category $\mathcal{O}$ for rational Cherednik algebras and of cyclotomic Hecke algebras of type G(r,p,n) by using the "residue equivalence" for multi-partitions.
Let $A$ be a Nakayama algebra. We give a description of the singularity category of $A$ inside its stable module category. We prove that there is a duality between the singularity category of $A$ and the singularity category of its opposite algebra. As a consequence, the resolution quiver of $A$ and the resolution quiver of its opposite algebra have the same number of cycles and the same number of cyclic vertices.
We introduce a category of cluster algebras with fixed initial seeds. This category has countable coproducts, which can be constructed combinatorially, but no products. We characterise isomorphisms and monomorphisms in this category and provide combinatorial methods for constructing special classes of monomorphisms and epimorphisms. In the case of cluster algebras from surfaces, we describe interactions between this category and the geometry of the surfaces.
For a finite free and projective EI category, we prove that Gorenstein-projective modules over its category algebra are closed under the tensor product if and only if each morphism in the given category is a monomorphism.
Given a negatively graded Calabi-Yau algebra, we regard it as a DG algebra with vanishing differentials and study its cluster category. We show that this DG algebra is sign-twisted Calabi-Yau, and realize its cluster category as a triangulated hull of an orbit category of a derived category, and as the singularity category of a finite dimensional Iwanaga-Gorenstein algebra. Along the way, we give two results which stand on their own. First, we show that the derived category of coherent sheaves over a Calabi-Yau algebra has a natural cluster tilting subcategory whose dimension is determined by …
Colored planar rook algebra is a semigroup algebra in which the basis element has a diagrammatic description. The category of finite dimensional modules over this algebra is completely reducible and suitable functors are defined on this category so that it admits a crystal structure in the sense of Kashiwara. We show that the category and functors categorify the crystal bases for the polynomial representations of quantized enveloping algebra $U_q(gl_{n+1})$.
Using the orbifold KZ connection we construct a functor from an affine parabolic category O of type A to the category O of a cyclotomic rational double affine Hecke algebra. We give several results concerning this functor.
For a finite free EI category, we construct an explicit module over its category algebra. If in addition the category is projective over the ground field, the constructed module is Gorenstein-projective and is a maximal Cohen-Macaulay approximation of the trivial module. We give conditions on when the trivial module is Gorenstein-projective.
Given a finite dimensional algebra $A$ over an algebraically closed field we study the relationship between the powers of the radical of a morphism in the module category of the algebra $A$ and the induced morphism in the module category of the endomorphism algebra of a tilting $A$-module. We compare the nilpotency indices of the radical of the mentioned module categories. We find an upper bound for the nilpotency index of the radical of the module category of iterated tilted algebras of Dynkin type.
The restricted category O at the critical level over an affine Kac-Moody algebra is a certain subcategory of the ordinary BGG-category O. We study a deformed version introduced by Arakawa and Fiebig and calculate the center of the deformed restricted category O.
We establish a link between the Gerstenhaber bracket in the Hochshild cohomology and the behaviour of cycles in the module category of a monomial quadratic algebra $A$.
In this paper we classify global dimensions of the category algebras of some finite categories, including finite truncations of the categories $FI$, $FI_G$, $FI_d$, $OI$, $OI_G$, $OI_d$ and $VI$
A Lie algebra is said to be generalised reductive if it is a direct sum of a semisimple Lie algebra and a commutative radical. In this paper we extend the BGG category $\mathcal{O}$ over complex semisimple Lie algebras to the category $\mathcal {O'}$ over complex generalised reductive Lie algebras. Then we make a preliminary research on the highest weight modules and the projective modules in this new category $\mathcal {O'}$, and generalize some conclusions in the classical case. As a critical difference from the complex semisimple Lie algebra case, we prove that there is no projective module…
Let C be a finite EI category and k be a field. We consider the category algebra kC. Suppose K(C)=D^b(kC-mod) is the bounded derived category of finitely generated left modules. This is a tensor triangulated category and we compute its spectrum in the sense of Balmer. When C=G*P is a finite transporter category, the category algebra becomes Gorenstein so we can define the stable module category \CM k(G*P), of maximal Cohen-Macaulay modules, as a quotient category of K(G*P). Since \CM k(G*P) is also tensor triangulated, we compute its spectrum as well. These spectra are used to classify tensor …
In this article we provide a simple combinatorial description of morphisms between indecomposable complexes in the bounded derived category of a gentle algebra.
We study the truncation functors and show the existence of projective cover of each irreducible module in parabolic BGG category $\mathcal O$ over infinite rank Lie algebra of types $\mathfrak{a,b,c,d}$. Moreover, $\mathcal O$ is a Koszul category. As a consequence, the corresponding parabolic BGG category $\overline{\mathcal O}$ over infinite rank Lie superalgebra of types $\mathfrak{a,b,c,d}$ through the super duality is also a Koszul category.
Let G be a finite group. Over any finite G-poset P we may define a transporter category as the corresponding Grothendieck construction. The classifying space of the transporter category is the Borel construction on the G-space BP, while the k-category algebra of the transporter category is the (Gorenstein) skew group algebra on the G-incidence algebra kP. We introduce a support variety theory for the category algebras of transporter categories. It extends Carlson's support variety theory on group cohomology rings to equivariant cohomology rings. In the mean time it provides a class of (usually…
Let A be a finite-dimensional, self-injective algebra, graded in non-positive degree. We define A-dgstab, the differential graded stable category of A, to be the quotient of the bounded derived category of dg-modules by the thick subcategory of perfect dg-modules. We express A-dgstab as the triangulated hull of the orbit category A-grstab/$Ω$(1). This result allows computations in the dg-stable category to be performed by reducing to the graded stable category. We provide a sufficient condition for the orbit category to be equivalent to A-dgstab and show this condition is satisfied by Nakayama…
Koszul duality and covering theory are combined to realise the bounded derived category D of an algebra with radical square zero as a certain orbit category of the bounded derived category of finitely presented representations of an associated infinite quiver. As a consequence, the possible shapes of the connected components of the Auslander--Reiten quiver of D are described.
W-algebra (of finite type) W is a certain associative algebra associated with a semisimple Lie algebra, say g, and its nilpotent element, say e. The goal of this paper is to study the category O for W introduced by Brundan, Goodwin and Kleshchev. We establish an equivalence of this category with certain category of g-modules. In the case when e is of principal Levi type (this is always so when g is of type A) the category of g-modules in interest is the category of generalized Whittaker modules introduced McDowel and studied by Milicic-Soergel and Backelin.
We study category $\mathcal{O}$ for Takiff Lie algebras $\mathfrak{g} \otimes \mathbb{C}[ε]/(ε^2)$ where $\mathfrak{g}$ is the Lie algebra of a reductive algebraic group over $\mathbb{C}$. We decompose this category as a direct sum of certain subcategories and use an analogue of parabolic induction functors and twisting functors for BGG category $\mathcal{O}$ to prove equivalences between these subcategories. We then use these equivalences to compute the composition multiplicities of the simple modules in the Verma modules in terms of composition multiplicities in the BGG category $\mathcal{O}…
Let $\mathfrak{W}$ be the Lie algebra of vector fields on the line. Via computing extensions between all simple modules in the category $\mathcal{O}$, we give the block decomposition of $\mathcal{O}$, and show that the representation type of each block of $\mathcal{O}$ is wild using the Ext-quiver. Each block of $\mathcal{O}$ has infinite simple objects. This result is very different from that of $\mathcal{O}$ for complex semisimple Lie algebras. To find a connection between $\mathcal{O}$ and the module category over some associative algebra, we define a subalgebra $H_1$ of $U(\mathfrak{b})$. …
We study the category O of representations of the rational Cherednik algebra A attached to a complex reflection group W. We construct an exact functor, called Knizhnik-Zamolodchikov functor, from O to the category of H-modules, where H is the (finite) Iwahori-Hecke algebra associated to W. We prove that the Knizhnik-Zamolodchikov functor induces an equivalence between O/O_tor, the quotient of O by the subcategory of A-modules supported on the discriminant and the category of finite-dimensional H-modules. The standard A-modules go, under this equivalence, to certain modules arising in Kazhdan-L…
We construct a faithful categorical representation of an infinite Temperley-Lieb algebra on the periplectic analogue of Deligne's category. We use the corresponding combinatorics to classify thick tensor ideals in this periplectic Deligne category. This allows to determine the objects in the kernel of the monoidal functor going to the module category of the periplectic Lie supergroup. We use this to classify indecomposable direct summands in the tensor powers of the natural representation, determine which are projective and determine their simple top.
EI categories can be thought of as amalgams of finite posets and finite groups and therefore the associated algebras are built up from incidence algebras and group algebras of finite groups. For this particular class of algebras we present a construction of an upper bound for the finitistic dimension which is due to Lueck.
We show that the weighted fusion category algebra of the principal 2-block $b_0$ of $\mathrm{GL}_2(q)$ is the quotient of the $q$-Schur algebra $\mathcal{S}_2(q)$ by its socle, for $q$ an odd prime power. As a consequence, we get a canonical bijection between the set of isomorphism classes of simple $k\mathrm{GL}_2(q)b_0$-modules and the set of conjugacy classes of $b_0$-weights in this case.
In this paper we describe the characters of irreducible objects in category O for the rational Cherednik algebra associated to GL_2(F_p) over an algebraically closed field of positive characteristic p, for any value of the parameter t and generic value of the parameter c.
We classify the Auslander-Reiten components of the bounded derived category of Λ, where Λ is a cluster-tilted of type Ã. The main tool is the combinatoric description of the indecomposable complexes in the bounded homotopy category via homotopy strings and homotopy bands.
A duality theorem for the singularity category of a finite dimensional Gorenstein algebra is proved. It complements a duality on the category of perfect complexes, discovered by Happel. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local and $\mathfrak{p}$-torsion subcategories of the derived category, for each homogeneous prime ideal $\mathfrak{p}$ arising from the action of a commutative ring via Hochschild cohomology.
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 introduce a category B of bounded modules for the toroidal Lie algebras and study irreducible modules in B. We show that one of the irreducible modules in this category, L(T_0), admits a structure of a vertex operator algebra. We prove that L(T_0) factors into a tensor product of a sub-VOA of a hyperbolic lattice VOA and a simple VOA associated with a twisted Virasoro-affine Lie algebra. Every irreducible module in category B is a VOA module for a slightly larger VOA V(T_0). Knowing the structure of V(T_0), we are able to give explicit realizations for all irreducible modules in category B …
We prove that the center of each degenerate cyclotomic Hecke algebra associated to the complex reflection group of type B_d(l) consists of symmetric polynomials in its commuting generators. The classification of the blocks of the degenerate cyclotomic Hecke algebras is an easy consequence. We then deduce that the center of an integral block of parabolic category O for the Lie algebra gl_n(C) is generated by the center of its universal enveloping algebra.
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.
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…
In this article, gentle algebras are realised as tiling algebras, which are associated to partial triangulations of unpunctured surfaces with marked points on the boundary. This notion of tiling algebras generalise the notion of Jacobian algebras of triangulations of surfaces and the notion of surface algebras. We use this description to give a geometric model of the module category of any gentle algebra.
