Let A be a hereditary algebra over an algebraically closed field. We prove that an exact fundamental domain for the m-cluster category of A is the m-left part of the m-replicated algebra $A^{(m)}$ of A. Moreover, we obtain a one-to-one correspondence between the tilting objects in the m-cluster category (that is, the m-clusters) and those tilting $A^{(m)}$-modules for which all non projective-injective direct summands lie in the m-left part of $A^{(m)}$.
Let $A$ be a finite dimensional hereditary algebra over an algebraically closed field and $A^{(m)}$ the $m$-replicated algebra of $A$. We prove that the representation dimension of $A^{(m)}$ is at most three, and that the dominant dimension of $A^{(m)}$ is at least $m$.
Let $A$ be a finite dimensional hereditary algebra over an algebraically closed field $k$, $A^{(m)}$ be the $m$-replicated algebra of $A$ and $\mathscr{C}_{m}(A)$ be the $m$-cluster category of $ A$. We investigate properties of complements to a faithful almost complete tilting $A^{(m)}$-module and prove that the $m$-cluster mutation in $\mathscr{C}_{m}(A)$ can be realized in ${\rm mod} A^{(m)}$, which generalizes corresponding results on duplicated algebras established in [Z1].
Let $A$ be a hereditary algebra over an algebraically closed field $k$ and $A^{(m)}$ be the $m$-replicated algebra of $A$. Given an $A^{(m)}$-module $T$, we denote by $δ(T)$ the number of non isomorphic indecomposable summands of $T$. In this paper, we prove that a partial tilting $A^{(m)}$-module $T$ is a tilting $A^{(m)}$-module if and only if $δ(T)=δ(A^{(m)})$, and that every partial tilting $A^{(m)}$-module has complements. As an application, we deduce that the tilting quiver $\mathscr{K}_{A^{(m)}}$ of $A^{(m)}$ is connected. Moreover, we investigate the number of complements to almost til…
Let $A$ be a hereditary artin algebra and $A^{(m)}$ be the $m$-replicated algebra of $A$. We investigate the possibilities for the global dimensions of the endomorphism algebras of generator-cogenerators over $A^{(m)}$.
Let $A$ be a finite dimensional algebra over an algebraically closed field $k$, $\mathcal {D}^b(A)$ be the bounded derived category of $A$-mod and $A^{(m)}$ be the $m$-replicated algebra of $A$. In this paper, we investigate the structure properties of endomorphism algebras arising from silting mutation in $\mathcal {D}^b(A)$ and tilting mutation in $A^{(m)}$-mod.
In this article we describe indecomposable objects of the derived categories of a branch class of associative algebras. To this class belong such known classes of algebras as gentle algebras, skew-gentle algebras and certain degenerations of tubular algebras.
A Jordan Hölder theorem is established for derived module categories of piecewise hereditary algebras. The resulting composition series of derived categories are shown to be independent of the choice of bounded or unbounded derived module categories, and also of the choice of finitely generated or arbitrary modules.
By using the approach in \cite{XX2006} to Hall algebras arising in homologically finite triangulated categories, we find an `almost' associative multiplication structure for indecomposable objects in a 2-periodic triangulated category. As an application, we give a new proof of the theorem of Peng and Xiao in \cite{PX2000} which provides a way of realizing symmetrizable Kac-Moody algebras and elliptic Lie algebras via 2-periodic triangulated categories.
Let $Λ= \left[\begin{array}{cc} A & 0 \\ M & B \end{array}\right] $ be an Artin algebra and $_BM_A$ a $B$-$A$-bimodule. We prove that there is a triangle equivalence $D_{sg}(Λ) \cong D_{sg}(A)\coprod D_{sg}(B)$ between the corresponding singularity categories if $_BM$ is semi-simple and $M_A$ is projective. As a result, we obtain a new method for describing the singularity categories of certain bounded quiver algebras.
For any finite-dimensional algebra $A$ over a field $k$ with finite global dimension, we investigate the root category $\cR_A$ as the triangulated hull of the 2-periodic orbit category of $A$ via the construction of B. Keller in "On triangulated orbit categories". This is motivated by Ringel-Hall Lie algebras associated to 2-periodic triangulated categories. As an application, we study the Ringel-Hall Lie algebras for a class of finite-dimensional $k$-algebras with global dimension 2, which turn out to give an alternative answer for a question of GIM Lie algebras by Slodowy in "Beyond Kac-Mood…
Let $\mathcal{C}$ be a $k$-linear category with split idempotents, and $Σ:\mathcal{C}\rightarrow\mathcal{C}$ an automorphism. We show that there is an $n$-angulated structure on $(\mathcal{C},Σ)$ under certain conditions. As an application, we obtain a class of examples of $n$-angulated categories from self-injective algebras.
We develop a new approach to highest weight categories $\cal{C}$ with good (and cogood) posets of weights via pseudocompact algebras by introducing ascending (and descending) quasi-hereditary pseudocompact algebras. For $\cal{C}$ admitting a Chevalley duality, we define and investigate tilting modules and Ringel duals of the corresponding pseudocompact algebras. Finally, we illustrate all these concepts on an explicit example of the general linear supergroup $GL(1|1)$.
We classify integrable irreducible $\hat{g}[σ]$-modules in categories E and C, where E is proved to contain the well known evaluation modules and C to unify highest weight modules, evaluation modules and their tensor product modules.
Building on work by Geiss-Leclerc-Schroer and by Buan-Iyama-Reiten-Scott we investigate the link between certain cluster algebras with coefficients and suitable 2-Calabi-Yau categories. These include the cluster-categories associated with acyclic quivers and certain Frobenius subcategories of module categories over preprojective algebras. Our motivation comes from the conjectures formulated by Fomin and Zelevinsky in `Cluster algebras IV: Coefficients'. We provide new evidence for Conjectures 5.4, 6.10, 7.2, 7.10 and 7.12 and show by an example that the statement of Conjecture 7.17 does not al…
Our published paper contains an incorrect statement of a result due to Artin and Zhang. This corrigendum gives the correct statement of their result and includes a new result that allows us to use their result to prove our main theorem. Thus the main theorem of our published paper is correct as stated but its proof must be modified.
We determine the singularity category of an arbitrary finite dimensional gentle algebra $Λ$. It is a finite product of $n$-cluster categories of type $\mathbb{A}_{1}$. Equivalently, it may be described as the stable module category of a selfinjective gentle algebra. If $Λ$ is a Jacobian algebra arising from a triangulation $\ct$ of an unpunctured marked Riemann surface, then the number of factors equals the number of inner triangles of $\ct$.
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.
The cluster category is a triangulated category introduced for its combinatorial similarities with cluster algebras. We prove that a cluster algebra A of finite type can be realized as a Hall algebra, called the exceptional Hall algebra, of the cluster category. This realization provides a natural basis for A. We prove new results and formulate conjectures on `good basis' properties, positivity, denominator theorems and toric degenerations.
Dyck paths categories are introduced as a combinatorial model of the category of representations of quivers of Dynkin type An. In particular, it is proved that there is a bijection between some Dyck paths and perfect matchings of some snake graphs. The approach allows us to give formulas for cluster variables in cluster algebras of Dynkin type An in terms of Dyck paths.
Motivated by constructions in the representation theory of finite dimensional algebras we generalize the notion of Artin-Schelter regular algebras of dimension $n$ to algebras and categories to include Auslander algebras and a graded analogue for infinite representation type. A generalized Artin-Schelter regular algebra or a category of dimension $n$ is shown to have common properties with the classical Artin-Schelter regular algebras. In particular, when they admit a duality, then they satisfy Serre duality formulas and the $\Ext$-category of nice sets of simple objects of maximal projective …
Skew-gentle algebras are a generalisation of the well-known class of gentle algebras with which they share many common properties. In this work, using non-commutative Gröbner basis theory, we show that these algebras are Koszul and that the Koszul dual is again skew-gentle. We give a geometric model of their bounded derived categories in terms of polygonal dissections of orbifold surfaces establishing a correspondence between curves in the orbifold and indecomposable objects. Moreover, we show that the orbifold dissections encode homological properties of skew-gentle algebras such as their sin…
A finite directed category is a $k$-linear category with finitely many objects and an underlying poset structure, where $k$ is an algebraically closed field. This concept unifies structures such as $k$-linerizations of posets and finite EI categories, quotient algebras of finite-dimensional hereditary algebras, triangular matrix algebras, etc. In this paper we study representations of finite directed categories, discuss their stratification properties, and show the existence of generalized APR tilting modules for triangular matrix algebras under some assumptions.
For a recollement $(\mathcal{D}B,\mathcal{D}A,\mathcal{D}C)$ of derived categories of algebras, we investigate when the functor $j^*:\mathcal{D}A\rightarrow\mathcal{D}C$ is an eventually homological isomorphism. In this context, we compare the algebras $A$ and $C$ with respect to Gorensteinness, singularity categories and the finite generation condition Fg for the Hochschild cohomology. The results are applied to stratifying ideals, triangular matrix algebras and derived discrete algebras.
Let $T=(A,M,0,B)$ be a triangular matrix algebra with its corner algebras $A$ and $B$ Artinian and $_AM_B$ an $A$-$B$-bimodule. The 2-recollement structures for singularity categories and Gorenstein defect categories over $T$ are studied. Under mild assumptions, we provide necessary and sufficient conditions for the existences of 2-recollements of singularity categories and Gorenstein defect categories over $T$ relative to those of $A$ and $B$. Parts of our results strengthen and unify the corresponding work in [27,28,34].
As a step towards the structure theory of Lie algebras in symmetric monoidal categories we establish results involving the Killing form. The proper categorical setting for discussing these issues are symmetric ribbon categories.
Recently, Nakaoka and Palu introduced a notion of extriangulated categories. This is a unification of exact categories and triangulated categories. In this paper, we generalize the definitions of Hall algebras of exact categories and triangulated categories to extriangulated categories.
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 …
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.
We apply the technique of recollement to study the Gorenstein defect categories of triangular matrix algebras. First, we construct a left recollement of Gorenstein defect categories for a triangular matrix algebra under some conditions, using it, we give a categorical interpretation of the Gorenstein properties of the triangular matrix algebra obtained by X-W. Chen, B. L. Xiong and P. Zhang respectively. Second, under some additional conditions, a recollement of Gorenstein defect categories for a triangular matrix algebra is constructed. As an application, for a special kind of triangular matr…
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$
We determine the derived representation types of algebras with radical square zero and give a description of the indecomposable objects in their bounded derived categories.
We give a complete classification of all algebras appearing as endomorphism algebras of maximal rigid objects in standard 2-Calabi-Yau categories of finite type. Such categories are equivalent to certain orbit categories of derived categories of Dynkin algebras. It turns out that with one exception, all the algebras that occur are $2$-Calabi-Yau-tilted, and therefore appear in an earlier classification by Bertani-Økland and Oppermann. We explain this phenomenon by investigating the subcategories generated by rigid objects in standard 2-Calabi-Yau categories of finite type.
We give a characterization of the sets of objects of the derived category of a block of a finite group algebra (or other symmetric algebra) that occur as the set of images of simple modules under an equivalence of derived categories. We give some applications to proving that certain blocks have equivalent derived categories.
In this paper, we use the stable categories of some selfinjective algebras to describe the singularity categories of the cluster-tilted algebras of Dynkin type. Furthermore, in this way, we settle the problem of singularity equivalence classification of the cluster-tilted algebra of type $A$, $D$ and $E$ respectively.
We give the definition of presentations of linear monoidal categories. Our main result is that given a presentation of a linear monoidal category, we can produce a presentation of the same category as a linear category. We apply this result to endomorphism algebras of certain important linear monoidal categories.
Let $A$ be a graded algebra. It is shown that the derived category of dg modules over $A$ (viewed as a dg algebra with trivial differential) is a triangulated hull of a certain orbit category of the derived category of graded $A$-modules. This is applied to study derived categories of graded gentle one-cycle algebras.
We present a simplified and more intuitive proof of a theorem of Peng and Xiao, which constructs a Lie algebra from any 2-periodic triangulated k-category (satisfying some finiteness assumptions).
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.
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…
In this paper, we use basic formal variable techniques to study certain categories of modules for the toroidal Lie algebra $τ$. More specifically, we define and study two categories $\mathcal{E}_τ$ and $\mathcal{C}_τ$ of $τ$-modules using generating functions, where $\mathcal{E}_τ$ is proved to contain the evaluation modules while $\mathcal{C}_τ$ contains certain restricted $τ$-modules, the evaluation modules, and their tensor product modules. Furthermore, we classify the irreducible integrable modules in categories $\mathcal{E}_τ$ and $\mathcal{C}_τ$.
We study the homotopy category $ K(\Inj A)$ of all injective modules over a finite dimensional algebra $A$ with discrete derived category. We give a classification of the indecomposable objects of $ K(\Inj A)$ for any radical square zero self-injective algebra $A$. In particular, every indecomposable object is endofinite.
In this paper, we shall establish the Mackey formulas in the following two set ups: (i) on the tensor induction and restriction functors on the modules over cyclotomic Hecke algebras (Ariki-Koike algebras) and their standard subalgebras of parabolic subgroups. (ii) on the Bezrukavnikov-Etingof induction and restriction functors among categories O of rational Cherednik algebras for the complex reflection group of type G(r, 1, n) and their parabolic subgroups.
Cellular categories are a generalization of cellular algebras, which include a number of important categories such as (affine)Temperley-Lieb categories, Brauer diagram categories, partition categories, the categories of invariant tensors for certain quantised enveloping algebras and their highest weight representations, Hecke categories and so on. The common feather is that, for most of the examples, the endomorphism algebras of the categories form a tower of algebras. In this paper, we give an axiomatic framework for the cellular categories related to the quasi-hereditary tower and then study…
We introduce syzygies for derived categories and study their properties. Using these, we prove the derived invariance of the following classes of artin algebras: (1) syzygy-finite algebras, (2) Igusa-Todorov algebras, (3) AC algebras, (4) algebras satisfying the finitistic Auslander conjecture, and (5) algebras satisfying the generalized Auslander-Reiten conjecture. In particular, Gorenstein CM-finite algebras are derived invariants.
Let $H$ be a finite dimensional hereditary algebra over an algebraically closed field, and let $\mathcal{C}_{H}$ be the corresponding cluster category. We give a description of the (standard) fundamental domain of $\mathcal{C}_{H} $ in the bounded derived category $\mathcal{D}^{b}(H)$, and of the cluster-tilting objects, in terms of the category $\modΓ$\ of finitely generated modules over a suitable tilted algebra $% Γ.$ Furthermore, we apply this description to obtain (the quiver of) an arbitrary cluster-tilted algebra.
For any positive integer $n$, $n$-derived-simple derived discrete algebras are classified up to derived equivalence. Furthermore, the Jordan-Hölder theorems for all kinds of derived categories of derived discrete algebras are obtained.
We study algebras defined by identities in symmetric monoidal categories. Our focus is on Lie algebras. Besides usual Lie algebras, there are examples appearing in the study of knot invariants and Rozansky-Witten invariants. Our main result is a proof of Westbury's conjecture for K3-surface: there exists a Lie algebra homomorphism from Vogel's universal simple Lie algebra to the Lie algebra describing the Rozansky-Witten invariants of a K3-surface. Most of the paper involves setting up a proper language to discuss the problem and we formulate nine open questions as we proceed.
We develop the theory dg algebras with enough idempotents and their dg modules and show their equivalence with that of small dg categories and their dg modules. We introduce the concept of dg adjunction and show that the classical covariant tensor-Hom and contravariant Hom-Hom adjunctions of modules over associative unital algebras are extended as dg adjunctions between categories of dg bimodules. The corresponding adjunctions of the associated triangulated functors are studied, and we investigate when they are one-sided parts of bifunctors which are triangulated on both variables. We finally …
We classify all triangulated orbit categories of path-algebras of Dynkin diagrams that are triangle equivalent to a stable module category of a representation-finite self-injective standard algebra. For each triangulated orbit category T we give an explicit description of a representation-finite self-injective standard algebra with stable module category triangle equivalent to T.
