In this article we classify indecomposable objects of the derived categories of finitely-generated modules over certain infinite-dimensional algebras. The considered class of algebras (which we call nodal algebras) contains such well-known algebras as the complete ring of a double nodal point $\kk[[x,y]]/(xy)$ and the completed path algebra of the Gelfand quiver. As a corollary we obtain a description of the derived category of Harish-Chandra modules over $SL_{2}({\mathbb R})$. We also give an algorithm, which allows to construct projective resolutions of indecomposable complexes. In the appendix we prove the Krull-Schmidt theorem for homotopy categories.
It follows from the work of Burban and Drozd arXiv:0905.1231 that for nodal curves $C$, the derived category of modules over the Auslander order $\mathcal{A}_C$ provides a categorical (smooth and proper) resolution of the category of perfect complexes $\mathrm{Perf}(C)$. On the A-side, it follows from the work of Haiden-Katzarkov-Kontsevich arXiv:1409.8611 that for punctured surfaces $X$ with stops $Λ$ at their boundary, the partially wrapped Fukaya category $\mathcal{W}(X,Λ)$ provides a categorical (smooth and proper) resolution of the compact Fukaya category $\mathcal{F}(X)$. Inspired by thi…
We define nodal finite dimensional algebras and describe their structure over an algebraically closed field. For a special class of such algebras (type A) we find a criterion of tameness.
In this paper, we develop a geometric approach to study derived tame finite dimensional associative algebras, based on the theory of non-commutative nodal curves.
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 consider the universal pivotal, symmetric, monoidal, $\Bbbk$-linear category, generated by a Schurian object with a skew-symmetric multiplication, and study some of its quotients. We show that these quotients give rise to either vector product algebras or representation categories of exceptional Lie algebras.
The category of modules over the endomorphism algebra of a rigid object in a Hom-finite triangulated category C has been given two different descriptions: On the one hand, as shown by Osamu Iyama and Yuji Yoshino, it is equivalent to an ideal quotient of a subcategory of C. On the other hand, Aslak Buan and Robert Marsh proved that this module category is also equivalent to some localisation of C. In this paper, we give a conceptual interpretation, inspired from homotopical algebra, of this double description. Our main aim, yet to be acheived, is to generalise Buan-Marsh's result to the case o…
We give analogues of the Auslander correspondence for two classes of triangulated categories satisfying certain finiteness conditions. The first class is triangulated categories with additive generators and we consider their endomorphism algebras as the Auslander algebras. For the second one, we introduce the notion of $[1]$-additive generators and consider their graded endormorphism algebras as the Auslander algebras. We give a homological characterization of the Auslander algebras for each class. Along the way, we also show that the algebraic triangle structures on the homotopy categories ar…
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 show that in the Deligne categories $\mathrm{Rep}(S_t)$ for $t$ a transcendental number, the only simple algebra objects are images of simple algebras in the category of representations of a symmetric group under a canonical induction functor. They come in families which interpolate the families of algebras of functions on the cosets of $H\times S_{n-k}$ in $S_n$, for a fixed subgroup $H$ of $S_k$.
We study semiorthogonal decompositions of bounded derived categories of gentle algebras and how they are manifested in the geometric model of these categories as constructed by Opper, Plamondon and Schroll. We prove that there is a one-to-one correspondence between such semiorthogonal decompositions and suitable cuts of the marked surface underlying the geometric model. Our main tool is the characterization of basis morphisms between indecomposable objects due to Arnesen, Laking and Pauksztello.
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.
This is a companion paper of arXiv:1901.09461, where different notions of dimension for triangulated categories are discussed. Here we compute dimensions for some examples of triangulated categories and thus illustrate and motivate material from loc. cit. Our examples include path algebras of finite ordered quivers, orbifold projective lines, some tensor powers of path algebras in Dynkin quivers of type A and categories, generated by an exceptional pair.
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.
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.
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 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…
By studying NIM-representations we show that the Fibonacci category and its tensor powers are completely anisotropic; that is, they do not have any non-trivial separable commutative ribbon algebras. As an application we deduce that a chiral algebra with the representation category equivalent to a product of Fibonacci categories is maximal; that is, it is not a proper subalgebra of another chiral algebra. In particular the chiral algebras of the Yang-Lee model, the WZW models of G2 and F4 at level 1, as well as their tensor powers, are maximal.
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 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.
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 $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].
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 define the Hall algebra associated to any triangulated category under some finiteness conditions with the $t$-periodic translation functor $T$ for odd $t>1.$ This generalizes the results in \cite{Toen2005} and \cite{XX2006}.
We 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.
In this note we use results of Minamoto and Amiot, Iyama, Reiten to construct an embedding of the graded singularity category of certain graded Gorenstein algebras into the derived categories of coherent sheaves over its projective scheme. These graded algebras are constructed using the preprojective algebras of $d$-representation infinite algebras as defined by Herschend, Iyama and Oppermann. We relate this embedding to the construction of a semi-orthogonal decomposition of the derived category of coherent sheaves over the projective scheme of a Gorenstein algebra of parameter 1 described by …
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$.
We embed triangulated categories defined by quivers with potential arising from ideal triangulations of marked bordered surfaces into Fukaya categories of quasi-projective 3-folds associated to meromorphic quadratic differentials. Together with previous results, this yields non-trivial computations of spaces of stability conditions on Fukaya categories of symplectic 6-manifolds.
