Let $k$ be a field and let $Λ$ be a finite dimensional $k$-algebra. We prove that every bounded complex $V^\bullet$ of finitely generated $Λ$-modules has a well-defined versal deformation ring $R(Λ,V^\bullet)$ which is a complete local commutative Noetherian $k$-algebra with residue field $k$. We also prove that nice two-sided tilting complexes between $Λ$ and another finite dimensional $k$-algebra $Γ$ preserve these versal deformation rings. Additionally, we investigate stable equivalences of Morita type between self-injective algebras in this context. We apply these results to the derived equivalence classes of the members of a particular family of algebras of dihedral type that were introduced by Erdmann and shown by Holm to be not derived equivalent to any block of a group algebra.
Let $\mathbf{k}$ be field of arbitrary characteristic and let $Λ$ be a finite dimensional $\mathbf{k}$-algebra. From results previously obtained by F.M Bleher and the author, it follows that if $V^\bullet$ is an object of the bounded derived category $\mathcal{D}^b(Λ\textup{-mod})$ of $Λ$, then $V^\bullet$ has a well-defined versal deformation ring $R(Λ, V^\bullet)$, which is complete local commutative Noetherian $\mathbf{k}$-algebra with residue field $\mathbf{k}$, and which is universal provided that $\textup{Hom}_{\mathcal{D}^b(Λ\textup{-mod})}(V^\bullet, V^\bullet)=\mathbf{k}$. Let $\mathc…
In this paper all two-term tilting complexes over a Brauer tree algebra with multiplicity one are described using a classification of indecomposable two-term partial tilting complexes obtained earlier in a joint paper with M. Antipov. The endomorphism rings of such complexes are computed.
We give a proof, based on the rigidity of tilting complexes, that the class of self-injective finite-dimensional algebras over an algebraically closed field is closed under derived equivalence.
In this paper, we compute the number of two-term tilting complexes for an arbitrary symmetric algebra with radical cube zero over an algebraically closed field. Firstly, we give a complete list of symmetric algebras with radical cube zero having only finitely many isomorphism classes of two-term tilting complexes in terms of their associated graphs. Secondly, we enumerate the number of two-term tilting complexes for each case in the list.
In this paper we describe all indecomposable two-term partial tilting complexes over a Brauer tree algebra with multiplicity 1 using a criterion for a minimal projective presentation of a module to be a partial tilting complex. As an application we describe all two-term tilting complexes over Brauer star algebra and compute their endomorphism rings.
In this article we provide a simple combinatorial description of morphisms between indecomposable complexes in the bounded derived category of a gentle algebra.
Using only the combinatorics of its defining ribbon graph, we classify the two-term tilting complexes, as well as their indecomposable summands, of a Brauer graph algebra. As an application, we determine precisely the class of Brauer graph algebras which are tilting-discrete.
In this paper we develop combinatorial techniques for the case of string algebras with the aim to give a characterization of string complexes with infinite minimal projective resolution. These complexes will be called \textit{periodic string complexes}. As a consequence of this characterization, we give two important applications. The first one, is a sufficient condition for a string algebra to have infinite global dimension. In the second one, we exhibit a class of indecomposable objects in the derived category for a special case of string algebras. Every construction, concept and consequence…
We construct derived equivalences between group graded self-injective algebras, starting from equivalences between their 1-components, obtained via a construction of J. Rickard and S. Al-Nofayee.
We show that any Brauer tree algebra has precisely $\binom{2n}{n}$ $2$-tilting complexes, where $n$ is the number of edges of the associated Brauer tree. More explicitly, for an external edge $e$ and an integer $j\neq0$, we show that the number of $2$-tilting complexes $T$ with $g_e(T)=j$ is $\binom{2n-|j|-1}{n-1}$, where $g_e(T)$ denotes the $e$-th of the $g$-vector of $T$. To prove this, we use a geometric model of Brauer graph algebras on the closed oriented marked surfaces and a classification of $2$-tilting complexes due to Adachi-Aihara-Chan.
Let $\mathbf{k}$ be an algebraically closed field. In this article, inspired by the description of indecomposable objects in the derived category of a gentle algebra obtained by V. Bekkert and H. A. Merklen, we define string complexes for a certain class $\mathscr{C}$ of symmetric special biserial algebras, which are indecomposable perfect complexes in the corresponding derived category. We also prove that if $Λ$ is a $\mathbf{k}$-algebra in the class $\mathscr{C}$ and $P^\bullet$ is a string complex over $Λ$, then $P^\bullet$ lies in the rim of its Auslander-Reiten component.
In representation theory, the double centraliser property is an important property for a module (bimodule). It plays a fundamental role in many theories. In this paper, we extend this property to complexes in derived categories of finite dimensional algebras, under the name derived double centraliser property. Characterizations for complexes with the derived double centraliser property and (two-sided) tilting complexes in derived categories of hereditary algebras are given. In particular, all complexes with this property in the derived categories of lower triangular matrix algebras are classif…
In this paper, we study two-term tilting complexes for preprojective algebras of non-Dynkin type. We show that there exist two families of two-term tilting complexes, which are respectively parameterized by the elements of the corresponding Coxeter group. Moreover, we provide the complete classification in the case of affine type by showing that any two-term silting complex belongs one of them. For this purpose, we also discuss the Krull-Schmidt property for the homotopy category of finitely generated projective modules over a complete ring.
We study equivariant localization of intersection cohomology complexes on Schubert varieties in Kashiwara's flag manifold. Using moment graph theory, we establish a link to the representation theory of Kac-Moody algebras and give a new proof of the Kazhdan-Lusztig conjecture for blocks containing an antidominant element.
We show that every two-term tilting complex over an Artin algebra has a tilting module over a certain factor algebra as a homology group. Also, we determine the endomorphism algebra of such a homology group, which is given as a certain factor algebra of the endomorphism algebra of the two-term tilting complex. Thus, every derived equivalence between Artin algebras given by a two-term tilting complex induces a derived equivalence between the corresponding factor algebras.
We study the relation between simple-minded systems and two-term tilting complexes for self-injective Nakayama algebras. More precisely, we show that any simple-minded system of a self-injective Nakayama algebra is the image of the set of simple modules under a stable equivalence, which is given by the restriction of a standard derived equivalence induced by a two-term tilting complex. We achieve this by exploiting and connecting the mutation theories from the combinatorics of Brauer tree, configurations of stable translations quivers of type A, and triangulations of a punctured convex regular…
We describe quantum enveloping algebras of symmetric Kac-Moody Lie algebras via a finite field Hall algebra construction involving Z_2-graded complexes of quiver representations.
Let $\mathbb{X}$ be a weighted projective line and $\operatorname{coh}\mathbb{X}$ the associated categoy of coherent sheaves. We classify the tilting complexes $T$ in $D^b(\operatorname{coh}\mathbb{X})$ such that $τ^2 T\cong T$, where $τ$ is the Auslander-Reiten translation in $D^b(\operatorname{coh}\mathbb{X})$. As an application of this result, we classify the 2-representation-finite algebras which are derived-equivalent to a canonical algebra. This complements Iyama-Oppermann's classification of the iterated tilted 2-representation-finite algebras. By passing to 3-preprojective algebras, we…
We show that the Hall algebra of two-periodic complexes, which is recently introduced by T.Bridgeland, coincides with the Drinfeld double of the ordinary Hall bialgebra.
We study tilting complexes over preprojective algebras of Dynkin type. We classify all tilting complexes by giving a bijection between tilting complexes and the braid group of the corresponding folded graph. In particular, we determine the derived equivalence class of the algebra. For the results, we develop the theory of silting-discrete triangulated categories and give a criterion of silting-discreteness.
If A is a finite-dimensional symmetric algebra, then it is well-known that the only silting complexes in $\mathrm{K^b}(\mathrm{proj}A)$ are the tilting complexes. In this note we investigate to what extent the same can be said for weakly symmetric algebras. On one hand, we show that this holds for all tilting-discrete weakly symmetric algebras. In particular, a tilting-discrete weakly symmetric algebra is also silting-discrete. On the other hand, we also construct an example of a weakly symmetric algebra with silting complexes that are not tilting.
In this paper, we study two-sided tilting complexes of preprojective algebras of Dynkin type. We construct the most fundamental class of two-sided tilting complexes, which has a group structure by derived tensor products and induces a group of auto-equivalences of the derived category. We show that the group structure of the two-sided tilting complexes is isomorphic to the braid group of the corresponding folded graph. Moreover we show that these two-sided tilting complexes induce tilting mutation and any tilting complex is given as the derived tensor products of them. Using these results, we …
Let $\A$ be a finitary hereditary abelian category with enough projectives. We study the Hall algebra of complexes of fixed size over projectives. Explicitly, we first give a relation between Hall algebras of complexes of fixed size and cyclic complexes. Secondly, we characterize the Hall algebra of complexes of fixed size by generators and relations, and relate it to the derived Hall algebra of $\A$. Finally, we give the integration map on the Hall algebra of $2$-term complexes over projectives.
This paper studies silted algebras, namely, endomorphism algebras of 2-term silting complexes, over path algebras of Dynkin quivers. We will describe an algorithm to produce all basic 2-term silting complexes over the path algebra of a Dynkin quiver, and use this algorithm to compute some examples.
We consider algebras defined over a complete, local and noetherian ground ring. They are gentle algebras in case the ground ring is a field. The unbounded homotopy category of complexes of projective modules is considered. Complexes with finitely-generated homogeneous components are shown to be isomorphic to direct sums of indecomposable string and band complexes. The corresponding isoclasses are described, and the Krull-Remak-Schmidt-Azumaya property is verified. This classification problem is solved using the idea of functorial filtrations.
We study 2-term tilting complexes of Brauer tree algebras in terms of simplicial complexes. We show the symmetry and convexity of the simplicial complexes as lattice polytopes. Via a geometric interpretation of derived equivalences, we show that the $f$-vector of simplicial complexes of Brauer tree algebras only depends the number of the edges of the Brauer trees and hence it is a derived invariant. In particular, this result implies that the number of 2-term tilting complexes, which is in bijection with support $τ$-tilting modules, is a derived invariant. Moreover, we apply our result to the …
We establish an embedding of the quantum enveloping algebra of a symmetric generalized Kac--Moody algebra into a localized Hall algebra of $\mathbb Z_2$-graded complexes of representations of a quiver with (possible) loops. To overcome difficulties resulting from the existence of infinite dimensional projective objects, we consider the category of finitely-presented representations and the category of $\mathbb Z_2$-graded complexes of projectives with finite homology.
We give a combinatorial description of a family of indecomposable objects in the bounded derived categories of a new class of algebras: string almost gentle algebras. These indecomposable objects are, up to isomorphism, the string and band complexes introduced by V. Bekkert and H. Merklen. With this description, we give a necessary and sufficient condition for a given string complex to have infinite minimal projective resolution and we extend this condition for the case of string algebras. Using this characterization we establish a sufficient condition for a string almost gentle algebra (or a …
In this study, we consider the positive cluster complex, a full subcomplex of a cluster complex the vertices of which are all non-initial cluster variables. In particular, we provide a formula for the difference in face vectors of positive cluster complexes caused by a mutation for finite type. Moreover, we explicitly describe specific positive cluster complexes of finite type and calculate their face vectors. We also provide a method to compute the face vector of an arbitrary positive cluster complex of finite type using these results. Furthermore, we apply our results to the $τ$-tilting theo…
We study possible values of the global dimension of endomorphism algebras of 2-term silting complexes. We show that for any algebra $A$ whose global dimension $\mathop{\rm gl. dim}\nolimits A\leq 2$ and any 2-term silting complex $\mathbf{P}$ in the bounded derived category ${D^b(A)}$ of $A$, the global dimension of $\mathop{\rm End}\nolimits_{D^b(A)}(\mathbf{P})$ is at most 7. We also show that for each $n>2$, there is an algebra $A$ with $\mathop{\rm gl. dim}\nolimits A=n$ such that ${D^b(A)}$ admits a 2-term silting complex $\mathbf{P}$ with $\mathop{\rm gl. dim}\nolimits \mathop{\rm End}\n…
Let $A$ be the path algebra of a Dynkin quiver over a finite field, and let $C_1(\mathscr{P})$ be the category of 1-cyclic complexes of projective $A$-modules. In the present paper, we give a PBW-basis and a minimal set of generators for the Hall algebra $\H(C_1(\mathscr{P}))$ of $C_1(\mathscr{P})$. Using this PBW-basis, we firstly prove the degenerate Hall algebra of $C_1(\mathscr{P})$ is the universal enveloping algebra of the Lie algebra spanned by all indecomposable objects. Secondly, we calculate the relations in the generators in $\H(C_1(\mathscr{P}))$, and obtain quantum Serre relations…
A Categorification of Subword Complexes and Its Hall Algebra
Institut Camille Jordan UMR 5208, Université Jean Monnet, CNRS, Centrale Lyon, INSA Lyon, Université Claude Bernard Lyon 1（卡米耶·乔丹研究所，圣艾蒂安大学，法国国家科学研究中心，里昂中央理工学院，里昂国立应用科学学院，里昂第一大学）；Universität Hamburg, Fachbereich Mathematik（汉堡大学数学系）
Residue complexes were introduced by Grothendieck in algebraic geometry. These are canonical complexes of injective modules that enjoy remarkable functorial properties (traces). In this paper we study residue complexes over noncommutative rings. These objects are even more complicated than in the commutative case, since they are complexes of bimodules. We develop methods to prove uniqueness, existence and functoriality of residue complexes. For a noetherian affine PI algebra over a field (admitting a noetherian connected filtration) we prove existence of the residue complex and describe its st…
Let $W$ be a finite Coxeter group. We give an algebraic presentation of what we refer to as ``the non-crossing algebra'', which is associated to the hyperplane complement of $W$ and to the cohomology of its Milnor fibre. This is used to produce simpler and more general chain (and cochain) complexes which compute the integral homology and cohomology groups of the Milnor fibre $F$ of $W$. In the process we define a new, larger algebra $\widetilde{A}$, which seems to be ``dual'' to the Fomin-Kirillov algebra, and in low ranks is linearly isomorphic to it. There is also a mysterious connection bet…
In recent years it has been noted that a number of combinatorial structures such as real and complex hyperplane arrangements, interval greedoids, matroids and oriented matroids have the structure of a finite monoid called a left regular band. Random walks on the monoid model a number of interesting Markov chains such as the Tsetlin library and riffle shuffle. The representation theory of left regular bands then comes into play and has had a major influence on both the combinatorics and the probability theory associated to such structures. In a recent paper, the authors established a close conn…
