In this paper, we introduce the notion of $ν$-stable silting-discrete algebras, which unify silting-discrete algebras and tilting-discrete self-injective algebras, where $ν$ is a triangle auto-equivalence of the bounded homotopy category of finitely generated projective modules. Moreover, we give an example of tilting-discrete self-injective algebras which are not silting-discrete.
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.
We develop silting theory of a noetherian algebra $Λ$ over a commutative noetherian ring $R$. We study mutation theory of $2$-term silting complexes of $Λ$, and as a consequence, we see that mutation exists. As in the case of finite dimensional algebras, functorially finite torsion classes of $Λ$ bijectively correspond to silting $Λ$-modules, if $R$ is complete local. We show a reduction theorem of $2$-term silting complexes of $Λ$, and by using this theorem, we study torsion classes of the module category of $Λ$. When $R$ has Krull dimension one, we describe the set of torsion classes of $Λ$ …
If (A,B) and (A',B') are co-t-structures of a triangulated category, then (A',B') is called intermediate if A \subseteq A' \subseteq ΣA. Our main results show that intermediate co-t-structures are in bijection with two-term silting subcategories, and also with support tau-tilting subcategories under some assumptions. We also show that support tau-tilting subcategories are in bijection with certain finitely generated torsion classes. These generalise results by Adachi, Iyama, and Reiten.
We provide an explicit procedure to glue (not necessarily compact) silting objects along recollements of triangulated categories with coproducts having a 'nice' set of generators, namely, well generated triangulated categories. This procedure is compatible with gluing co-t-structures and it generalizes a result by Liu, Vitória and Yang. We provide conditions for our procedure to restrict to tilting objects and to silting and tilting modules. As applications, we retrieve the classification of silting modules over the Kronecker algebra and the classification of non-compact tilting sheaves over a…
Let $Λ$ be an Artin algebra. In 2014, T. Adachi, O. Iyama and I. Reiten proved that the torsion funtorially finite classes in $\mathrm{mod}\,(Λ)$ can be described by the $τ$-tilting theory. The aim of this paper is to introduce the notion of $F$-torsion class in $\mathrm{mod}\,(Λ)$, where $F$ is an additive subfunctor of $\mathrm{Ext}^1_Λ,$ and to characterize when these clases are preenveloping and $F$-preenveloping. In order to do that, we introduce the notion of $F$-presilting $Λ$-module. The latter is both a generalization of $τ$-rigid and $F$-tilting in $\mathrm{mod}(Λ).$
Let $Λ$ be an Artin algebra and $K^b(proj(Λ))$ be the triangulated category of bounded co-chain complexes in $proj(Λ).$ It is well known that two-terms silting complexes in $K^b(proj(Λ))$ are described by the $τ$-tilting theory. The aim of this paper is to give a characterization of certain $n$-term silting complexes in $K^b(proj(Λ))$ which are induced by $Λ$-modules. In order to do that, we introduce the notions of $τ_n$-rigid, $τ_n$-tilting and $τ_{n,m}$-tilting $Λ$-modules. The latter is both a generalization of $τ$-tilting and tilting in $mod(Λ).$ It is also stated and proved some variant,…
We introduce the notion of noncompact (partial) silting and (partial) tilting sets and objects in any triangulated category D with arbitrary (set-indexed) coproducts. We show that equivalence classes of partial silting sets are in bijection with t-structures generated by their co-heart whose heart has a generator, and in case D is compactly generated, this bijection restricts to one between equivalence classes of self-small partially silting objects and left nondegenerate t-structures in D whose heart is a module category and whose associated cohomological functor preserves products. We descri…
We introduce Wakamatsu-silting complexes (resp., Wakamatsu-tilting complexes) as a common generalization of both silting complexes (resp., tilting complexes) and Wakamatsu-tilting modules. Characterizations of Wakamatsu-silting complexes are given. In particular, we show that a complex $T$ is Wakamatsu-silting if and only if its dual $DT$ is Wakamatsu-silting. It is conjectured that all compact Wakamatsu-silting complexes are just silting complexes. We prove that the conjecture lies under the finitistic dimension conjecture.
The notion of silting mutation was introduced by Iyama and the author. In this paper we mainly study silting mutation for self-injective algebras and prove that any representation-finite symmetric algebra is tilting-connected. Moreover we give some sufficient conditions for a Bongartz-type Lemma to hold for silting objects.
In representation theory of algebras the notion of `mutation' often plays important roles, and two cases are well known, i.e. `cluster tilting mutation' and `exceptional mutation'. In this paper we focus on `tilting mutation', which has a disadvantage that it is often impossible, i.e. some of summands of a tilting object can not be replaced to get a new tilting object. The aim of this paper is to take away this disadvantage by introducing `silting mutation' for silting objects as a generalization of `tilting mutation'. We shall develope a basic theory of silting mutation. In particular, we int…
Let $G$ be a connected reductive algebraic group over an algebraically closed field $\Bbbk$ of characteristic $p \ge 0$, and let $\mathcal{N}$ be its nilpotent cone. Under mild hypotheses, we construct for each nilpotent $G$-orbit $C$ and each indecomposable tilting vector bundle $T$ on $C$ a certain complex $S(C,T)$ of $G \times \mathbb{G}_m$-equivariant coherent sheaves on $\mathcal{N}$. We prove that these objects are (up to shift) precisely the indecomposable objects in the coheart of a certain co-$t$-structure. We then show that if $p$ is larger than the Coxeter number, then the hypercoho…
Let $\mathcal{C}$ be a triangulated category with shift functor $[1]$ and $\mathcal{R}$ a rigid subcategory of $\mathcal{C}$. We introduce the notions of two-term $\mathcal{R}[1]$-rigid subcategories, two-term (weak) $\mathcal{R}[1]$-cluster tilting subcategories and two-term maximal $\mathcal{R}[1]$-rigid subcategories, and discuss relationship between them. Our main result shows that there exists a bijection between the set of two-term $\mathcal{R}[1]$-rigid subcategories of $\mathcal{C}$ and the set of $τ$-rigid subcategories of $\mod\mathcal{R}$, which induces a one-to-one correspondence b…
Tilting modules over commutative rings were recently classified in [12]: they correspond bijectively to faithful Gabriel topologies of finite type. In this note we extend this classification by dropping faithfulness. The counterpart of an arbitrary Gabriel topology of finite type is obtained by replacing tilting with the more general notion of a silting module.
We introduce the new concept of silting modules. These modules generalise tilting modules over an arbitrary ring, as well as support $τ$-tilting modules over a finite dimensional algebra recently introduced by Adachi, Iyama and Reiten. We show that silting modules generate torsion classes that provide left approximations, and that every partial silting module admits an analogue of the Bongartz complement. Furthermore, we prove that silting modules are in bijection with 2-term silting complexes and with certain t-structures and co-t-structures in the derived module category. We also see how som…
An important result in tilting theory states that a class of modules over a ring is a tilting class if and only if it is the Ext-orthogonal class to a set of compact modules of bounded projective dimension. Moreover, cotilting classes are precisely the resolving and definable subcategories of the module category whose Ext-orthogonal class has bounded injective dimension. In this article, we prove a derived counterpart of the statements above in the context of silting theory. Silting and cosilting complexes in the derived category of a ring generalise tilting and cotilting modules. They give ri…
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.
Let $B$ be a finite dimensional algebra and $A=B[P_0]$ be the one-point extension algebra of $B$ with respect to the finitely generated projective $B$-module $P_0$. The categories of $B$-modules and $A$-modules are related by two adjoint functors $\mathcal{R}$ and $\mathcal{E}$, called the restriction and the extension functors, respectively. Based on the nice homological properties of these two functors, restriction and extension of some notions such as tilting and $τ$-tilting modules have been studied in the category of finitely presented modules, i.e. small mod. In this paper, we investigat…
First, we give a new example of silting-discrete algebras. Second, one explores when the algebra of triangular matrices over a finite dimensional algebra is $τ$-tilting finite. In particular, we classify algebras over which triangular matrix algebras are $τ$-tilting finite. Finally, we investigate when a triangular matrix algebra is silting-discrete.
The main goal of this paper is to compare the silting theory of an $R$-algebra $Λ$ over a Noetherian ring $R$ with that of its tensor product $Λ\otimes Γ$ with another $R$-algebra $Γ$. In the case that the $R$-algebra $Λ$ is Noetherian, $R$ a complete local ring and $\mathfrak{a}$ a certain ideal of the ring $R$, we obtain an isomorphism between the silting poset of $Λ$ and that of its quotient $Λ\otimes R/ \mathfrak{a}$. Furthermore, we study the restrictions of such a bijection to tilting complexes and deduce silting embedding and descent results for the algebra $Λ$ and a certain family of a…
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.
Let $R$ be a perfect ring and $T$ be an $R$-module. We study characterizations of sincere modules, sincere silting modules and tilting modules in terms of various vanishing conditions. It is proved that $T$ is sincere silting if and only if $T$ is presilting satisfing the vanishing condition $\mathrm{KerExt}^{0\le i\le 1}_R(T,-)=0$, and that $T$ is tilting if and only if $\mathrm{Ker}\mathrm{Ext}^{0\leqslant i\leqslant 1}_{R}(T,-)=0$ and $\mathrm{Gen}T\subseteq \mathrm{Ker}\mathrm{Ext}^{1\leqslant i\leqslant 2}_{R}(T,-)$. As an application, we prove that a sincere silting $R$-module $T$ of fin…
Higher torsion classes, $τ_d$-tilting theory and silting complexes
University of Glasgow（格拉斯哥大学）；Department of Mathematical Sciences NTNU（挪威科技大学数学科学系）；Aarhus Universitet（奥胡斯大学）；LAMFA, Université de Picardie Jules Verne（皮卡第儒勒·凡尔纳大学 LAMFA）；Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales（布宜诺斯艾利斯大学理学院）；CONICET - Universidad de Buenos Aires. Instituto de Investigaciones Matemáticas “Luis A. Santaló” (IMAS)（阿根廷国家科学研究委员会-布宜诺斯艾利斯大学路易斯·桑塔洛数学研究所）
We show that silting modules are closely related with localisations of rings. More precisely, every partial silting module gives rise to a localisation at a set of maps between countably generated projective modules and, conversely, every universal localisation, in the sense of Cohn and Schofield, arises in this way. To establish these results, we further explore the finite-type classification of tilting classes and we use the morphism category to translate silting modules into tilting objects. In particular, we prove that silting modules are of finite type.
We prove that a finite dimensional algebra is $τ$-tilting finite if and only if it does not admit large silting modules. Moreover, we show that for a $τ$-tilting finite algebra $A$ there is a bijection between isomorphism classes of basic support $τ$-tilting (that is, finite dimensional silting) modules and equivalence classes of ring epimorphisms $A\longrightarrow B$ with ${\rm Tor}_1^A(B,B)=0$. It follows that a finite dimensional algebra is $τ$-tilting finite if and only if there are only finitely many equivalence classes of such ring epimorphisms.
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.
A silting theorem was established by Buan and Zhou as a generalisation of the classical tilting theorem of Brenner and Butler. In this paper, we give an alternative proof of the theorem by using differential graded algebras.
In this paper, we study a relationship between tilting modules with finite projective dimension and dominant dimension with respect to injective modules as a generalization of results of Crawley-Boevey-Sauter, Nguyen-Reiten-Todorov-Zhu and Pressland-Sauter. Moreover, we give characterizations of almost $n$-Auslander-Gorenstein algebras and almost $n$-Auslander algebras by the existence of tilting modules. As an application, we describe a sufficient condition for almost $1$-Auslander algebras to be strongly quasi-hereditary by comparing such tilting modules and characteristic tilting modules.
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 study the stable category of the factor algebra of the preprojective algebra associated with an element $w$ of the Coxeter group of a quiver. We show that there exists a silting object $M(\bf{w})$ of this category associated with each reduced expression $\bf{w}$ of $w$ and give a sufficient condition on $\bf{w}$ such that $M(\bf{w})$ is a tilting object. In particular, the stable category is triangle equivalent to the derived category of the endomorphism algebra of $M(\bf{w})$. Moreover, we compare it with a triangle equivalence given by Amiot-Reiten-Todorov for a cluster category.
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 give a generalization of the classical tilting theorem. We show that for a 2-term silting complex $\mathbf{P}$ in the bounded homotopy category $K^b(\mathop{\rm proj}\nolimits A)$ of finitely generated projective modules of a finite dimensional algebra $A$, the algebra $B = \mathop{\rm End}\nolimits_{K^b(\mathop{\rm proj}\nolimits A)}(\mathbf{P})$ admits a 2-term silting complex $\mathbf{Q}$ with the following properties: (i) The endomorphism algebra of $\mathbf{Q}$ in $K^b(\mathop{\rm proj}\nolimits B)$ is a factor algebra of $A$, and (ii) there are induced torsion pairs in $\mathop{\rm mo…
There are well-known constructions relating ring epimorphisms and tilting modules. The new notion of silting module provides a wider framework for studying this interplay. To every partial silting module we associate a ring epimorphism which we describe explicitly as an idempotent quotient of the endomorphism ring of the Bongartz completion. For hereditary rings, this assignment is used to parametrise homological ring epimorphisms by silting modules. We further show that homological ring epimorphisms of a hereditary ring form a lattice which completes the poset of noncrossing partitions in the…
Let k be an algebraically closed field of characteristic p>0 and let G be a symplectic or general linear group over k. We consider induced modules for G under the assumption that p is bigger than the greatest hook length in the partitions involved. We give explicit constructions of left resolutions of induced modules by tilting modules. Furthermore, we give injective resolutions for induced modules in certain truncated categories. We show that the multiplicities of the indecomposable tilting and injective modules in these resolutions are the coefficients of certain Kazhdan-Lusztig polynomials.…
We study higher cluster tilting objects in generalized higher cluster categories arising from dg algebras of higher Calabi-Yau dimension. Taking advantage of silting mutations of Aihara-Iyama, we obtain a class of $m$-cluster tilting objects in generalized $m$-cluster categories. For generalized $m$-cluster categories arising from strongly ($m+2$)-Calabi-Yau dg algebras, by using truncations of minimal cofibrant resolutions of simple modules, we prove that each almost complete $m$-cluster tilting $P$-object has exactly $m+1$ complements with periodicity property. This leads us to the conjectur…
In this article, we initiate the study of hereditary extriangulated categories. Many important categories arising in representation theory in connection with various theories of mutation are hereditary extriangulated. Special cases include homotopy categories of 2-term complexes with projective components, which are related to silting mutation, and cluster categories (with relevant relative extriangulated structures) where cluster tilting mutation take place. We prove that there is a theory of irreducible mutation for maximal rigid objects and subcategories in hereditary extriangulated categor…
Motivated by $τ$-tilting theory developed by Adachi, Iyama and Reiten, for a finite-dimensional algebra $Λ$ with action by a finite group $G$, we introduce the notion of $G$-stable support $τ$-tilting modules. Then we establish bijections among $G$-stable support $τ$-tilting modules over $Λ$, $G$-stable two-term silting complexes in the homotopy category of bounded complexes of finitely generated projective $Λ$-modules, and $G$-stable functorially finite torsion classes in the category of finitely generated left $Λ$-modules. In the case when $Λ$ is the endomorphism of a $G$-stable cluster-tilt…
We study tilting and projective-injective modules in a parabolic BGG category $\mathcal O$ for an arbitrary classical Lie superalgebra. We establish a version of Ringel duality for this type of Lie superalgebras which allows to express the characters of tilting modules in terms of those of simple modules in that category. We also obtain a classification of projective-injective modules in the full BGG category $\mathcal O$ for all simple classical Lie superalgebras. We then classify and give an explicit combinatorial description of parabolic subalgebras of the periplectic Lie superalgebras and …
For an acyclic quiver $Q$ and a finite-dimensional algebra $A$, we give a unified form of the indecomposable injective objects in the monomorphism category ${\rm Mon}(Q,A)$ and prove that ${\rm Mon}(Q, A)$ has enough injective objects. As applications, we show that for a given self-injective algebra $A$, a tilting object in the stable category $\underline{A}$-mod induces a natural tilting object in the stable monomorphism category $\underline{\rm Mon}(Q,A)$. We also realize the singularity category of the algebra $kQ\otimes_k A$ as the stable monomorphism category of the module category of $A$…
Let $R$ be a left noetherian ring, $S$ a right noetherian ring and $_RU$ a generalized tilting module with $S={\rm End}(_RU)$. The injective dimensions of $_RU$ and $U_S$ are identical provided both of them are finite. Under the assumption that the injective dimensions of $_RU$ and $U_S$ are finite, we describe when the subcategory $\{{\rm Ext}_S^n(N, U)|N$ is a finitely generated right $S$-module$\}$ is closed under submodules. As a consequence, we obtain a negative answer to a question posed by Auslander in 1969. Finally, some partial answers to Wakamatsu Tilting Conjecture are given.
The aim of this paper is to introduce tau-tilting theory, which completes (classical) tilting theory from the viewpoint of mutation. It is well-known in tilting theory that an almost complete tilting module for any finite dimensional algebra over a field k is a direct summand of exactly 1 or 2 tilting modules. An important property in cluster tilting theory is that an almost complete cluster-tilting object in a 2-CY triangulated category is a direct summand of exactly 2 cluster-tilting objects. Reformulated for path algebras kQ, this says that an almost complete support tilting modules has exa…
Let $Λ$ be an algebra with a indecomposable projective-injective module. Adachi gave a method to construct the Hasse quiver of support $τ$-tilting $Λ$-modules. In this paper, we will show that it can be restricted to $τ$-tilting modules.
From $τ$-tilting to $τ_2$-tilting via splitting tilting triples
Ministry of Education Key Laboratory of NSLSCS, School of Mathematical Sciences, Nanjing Normal University（南京师范大学数学科学学院教育部非线性科学重点实验室）；School of Artificial Intelligence, Jianghan University（江汉大学人工智能学院）
