We study finiteness conditions on large tilting modules over arbitrary rings. We then turn to a hereditary artin algebra R and apply our results to the (infinite dimensional) tilting module L that generates all modules without preprojective direct summands. We show that the behaviour of L over its endomorphism ring determines the representation type of R. A similar result holds true for the (infinite dimensional) tilting module W that generates the divisible modules. Finally, we extend to the wild case some results on Baer modules and torsion-free modules proven in [AHT] for tame hereditary algebras.
Let $Λ$ be an artin algebra and $T$ a $τ$-tilting $Λ$-module. We prove that $T$ is a tilting module if and only if ${\rm Ext}_Λ^{i}(T,\Fac T)=0$ for all $i\geq 1$, where $\Fac T$ is the full subcategory consisting of modules generated by $T$. Consequently, a $τ$-tilting module $T$ of finite projective dimension is a tilting module if and only if ${\rm Ext}_Λ^{i}(T, T)=0$ for all $i\geq 1$. Moreover, we also give an example to show that a support $τ$-tilting but not $τ$-tilting module $M$ of finite projective dimension satisfying ${\rm Ext}_Λ^{i}(M, M)=0$ for all $i\geq1$ need not be a partial …
In this paper, we show that the tilting modules over a cluster-tilted algebra $A$ lift to tilting objects in the associated cluster category $\mathcal{C}_H$. As a first application, we describe the induced exchange relation for tilting $A$-modules arising from the exchange relation for tilting object in $\mathcal{C}_H$. As a second application, we exhibit tilting $A$-modules having cluster-tilted endomorphism algebras.
Let $A$ be a finite dimensional algebra over an algebraically closed field $k$. We investigate the structure properties of the endomorphism algebras of semi-tilting $A$-modules, and prove that the endomorphism algebras arising from the mutations of semi-tilting $A$-modules can be realized as the endomorphism algebras of BB-tilting modules.
Happel and Unger defined a partial order on the set of basic tilting modules. The tilting quiver is the Hasse diagram of the poset of basic tilting modules. We determine the number of arrows in the tilting quiver over a path algebra of type $A$ or $D$.
We study which algebras have tilting modules that are both generated and cogenerated by projective-injective modules. Crawley-Boevey and Sauter have shown that Auslander algebras have such tilting modules; and for algebras of global dimension $2$, Auslander algebras are classified by the existence of such tilting modules. In this paper, we show that the existence of such a tilting module is equivalent to the algebra having dominant dimension at least $2$, independent of its global dimension. In general such a tilting module is not necessarily cotilting. Here, we show that the algebras which ha…
We construct an isomorphism between the partially ordered set of tilting modules for the Auslander algebra of $K[x]/(x^n)$ and the interval of rational permutation braids in the braid group on $n$ strands. Hence, there are only finitely many tilting modules.
Let $Λ$ be a radical square zero Nakayama algebra with $n$ simple modules and let $Γ$ be the Auslander algebra of $Λ$. Then every indecomposable direct summand of a tilting $Γ$-module is either simple or projective. Moreover, if $Λ$ is self-injective, then the number of tilting $Γ$-modules is $2^n$; otherwise, the number of tilting $Γ$-modules is $2^{n-1}$.
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…
We study infinite dimensional tilting modules over a concealed canonical algebra of domestic or tubular type. In the domestic case, such tilting modules are constructed by using the technique of universal localization, and they can be interpreted in terms of Gabriel localizations of the corresponding category of quasi-coherent sheaves over a noncommutative curve of genus zero. In the tubular case, we have to distinguish between tilting modules of rational and irrational slope. For rational slope the situation is analogous to the domestic case. In contrast, for any irrational slope, there is ju…
Let $T$ be a $1$-tilting module whose tilting torsion pair $({\mathcal T}, {\mathcal F})$ has the property that the heart ${\mathcal H}_t$ of the induced $t$-structure (in the derived category ${\mathcal D}({\rm Mod} \mbox{-} R)$ is Grothendieck. It is proved that such tilting torsion pairs are characterized in several ways: (1) the $1$-tilting module $T$ is pure projective; (2) ${\mathcal T}$ is a definable subcategory of ${\rm Mod} \mbox{-} R$ with enough pure projectives, and (3) both classes ${\mathcal T}$ and ${\mathcal F}$ are finitely axiomatizable. This study addresses the question of …
Inspired by tau-tilting theory [AIR], we introduce the notion of nu-stable support tau-tilting modules. For any finite dimensional selfinjective algebra Λ, we give bijections between two-term tilting complexes in Kb(proj Λ), nu-stable support tau-tilting Λ-modules and nu-stable functorially finite torsion classes in mod Λ. Moreover, these objects correspond bijectively to selfinjective cluster tilting objects in C if Λ is a 2-CY tilted algebra associated with a Hom-finite 2-CY triangulated category C. As an application, we give a necessary condition such that selfinjective algebras are 2-CY ti…
We study universal localisations, in the sense of Cohn and Schofield, for finite dimensional algebras and classify them by certain subcategories of our initial module category. A complete classification is presented in the hereditary case as well as for Nakayama algebras and local algebras. Furthermore, for hereditary algebras, we establish a correspondence between finite dimensional universal localisations and finitely generated support tilting modules. In the Nakayama case, we get a similar result using $τ$-tilting modules, which were recently introduced by Adachi, Iyama and Reiten.
D.Happel and L.Unger defined a partial order on the set of basic tilting modules. We study the poset of basic pre-projective tilting modules over path algebra of infinite type. First we will give a criterion for Ext-vanishing for pre-projective modules. And by using this we will give a combinatorial characterization of the poset of basic pre-projective tilting modules. Finally we will see a structure of a pre-projective part of tilting quivers.
Let $Λ$ be a radical square zero algebra of a Dynkin quiver and let $Γ$ be the Auslander algebra of $Λ$. Then the number of tilting right $Γ$-modules is $2^{m-1}$ if $Λ$ is of $A_{m}$ type for $m\geq 1$. Otherwise, the number of tilting right $Γ$-modules is $2^{m-3}\times14$ if $Λ$ is either of $D_{m}$ type for $m\geq 4$ or of $E_{m}$ type for $m=6,7,8$.
Given a non-unit, non-zero-divisor, central element $x$ of a ring $Λ$, it is well known that many properties or invariants of $Λ$ determine, and are determined by, those of $Λ/ x Λ$ and $Λ_x$. In the present paper, we investigate how the property of "being tilting" behaves in this situation. It turns out that any tilting module over $Λ$ gives rise to tilting modules over $Λ_x$ and $Λ/ x Λ$ after localization and passing to quotient respectively. On the other hand, it is proved that under some mild conditions, a module over $Λ$ is tilting if its corresponding localization and quotient are tilti…
In this paper, motivated by a $τ$-tilting version of the Brauer-Thrall Conjectures, we study general properties of band modules and their endomorphisms in the module category of a finite dimensional algebra. As an application we describe properties of torsion classes containing band modules. Furthermore, we show that a special biserial algebra is $τ$-tilting finite if and only if no band module is a brick. We also recover a criterion for the $τ$-tilting finiteness of Brauer graph algebras in terms of the Brauer graph.
In this paper, we study the relationship between equivalences of noncommutative projective schemes and cluster tilting modules. In particular, we prove the following result. Let $A$ be an AS-Gorenstein algebra of dimension $d\geq 2$ and ${\mathsf{tails}\,} A$ the noncommutative projective scheme associated to $A$. If $\operatorname{gldim}({\mathsf{tails}\,} A)< \infty$ and $A$ has a $(d-1)$-cluster tilting module $X$ satisfying that its graded endomorphism algebra is $\mathbb N$-graded, then the graded endomorphism algebra $B$ of a basic $(d-1)$-cluster tilting submodule of $X$ is a two-sided …
The category of level zero representations of current and affine Lie algebras shares many of the properties of other well-known categories which appear in Lie theory and in algebraic groups in characteristic p and in this paper we explore further similarities. The role of the standard and co-standard module is played by the finite-dimensional local Weyl module and the dual of the infinite-dimensional global Weyl module respectively. We define the canonical filtration of a graded module for the current algebra. In the case when $\mathfrak g$ is of type $\mathfrak{sl}_{n+1}$ we show that the wel…
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 higher APR tilting modules and higher BB tilting modules were introduced and studied in higher Auslander-Reiten theory. Our objective is to consider these tilting modules by the corresponding simple modules, and show that the tensor product of higher APR (BB) tilting modules is a higher APR (BB) tilting module.
In this paper we study the behaviour of modules over finite dimensional algebras whose endomorphism algebra is a division ring. We show that there are finitely many such modules in the module category of an algebra if and only if the length of all such modules is bounded.
Tilting Completion and Full-Rank Self-Orthogonal Modules
School of Mathematics and Statistics, Shaanxi Normal University（陕西师范大学数学与统计学院）；School of Mathematical Sciences, University of Science and Technology of China（中国科学技术大学数学科学学院）
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.
Let $A$ be the one point extension of an algebra $B$ by a projective $B$-module. We prove that the extension of a given support $τ$-tilting $B$-module is a support $τ$-tilting $A$-module; and, conversely, the restriction of a given support $τ$-tilting $A$-module is a support $τ$-tilting $B$-module. Moreover, we prove that there exists a full embedding of quivers between the corresponding poset of support $τ$-tilting modules.
Let $Λ$ and $Γ$ be left and right noetherian rings and $_ΛU$ a Wakamatsu tilting module with $Γ={\rm End}(_ΛT)$. We introduce a new definition of $U$-dominant dimensions and show that the $U$-dominant dimensions of $_ΛU$ and $U_Γ$ are identical. We characterize $k$-Gorenstein modules in terms of homological dimensions and the property of double homological functors preserving monomorphisms. We also study a generalization of $k$-Gorenstein modules, and characterize it in terms of some similar properties of $k$-Gorenstein modules.
Let $T$ be an infinitely generated tilting module of projective dimension at most one over an arbitrary associative ring $A$, and let $B$ be the endomorphism ring of $T$. In this paper, we prove that if $T$ is good then there exists a ring $C$, a homological ring epimorphism $B\ra C$ and a recollement among the (unbounded) derived module categories $\D{C}$ of $C$, $\D{B}$ of $B$, and $\D{A}$ of $A$. In particular, the kernel of the total left derived functor $T\otimes_B^{\mathbb L}-$ is triangle equivalent to the derived module category $\D{C}$. Conversely, if the functor $T\otimes_B^{\mathbb …
Let $\tilde{G}$ be a finite group, $G$ a normal subgroup of $\tilde{G}$ and $k$ an algebraically closed field of characteristic $p>0$. The first main result in this paper is to show that support $τ$-tilting $k\tilde{G}$-modules satisfying some properties are support $τ$-tilting modules as $kG$-modules too. As the second main result, we give equivalent conditions for support $τ$-tilting $k\tilde{G}$-modules to satisfy the above properties, and show that the set of the support $τ$-tilting $k\tilde{G}$-modules with the properties is isomorphic to the set of $\tilde{G}$-invariant support $τ$-tilti…
The Nakayama conjecture states that an algebra of infinite dominant dimension should be self-injective. Motivated by understanding this conjecture in the context of derived categories, we study dominant dimensions of algebras under derived equivalences induced by tilting modules, specifically, the infinity of dominant dimensions under tilting procedure. We first give a new method to produce derived equivalences from relatively exact sequences, and then establish relationships and lower bounds of dominant dimensions for derived equivalences induced by tilting modules. Particularly, we show that…
C. Ingalls and H. Thomas defined support tilting modules for path algebras. From tau-tilting theory introduced by T. Adachi, O. Iyama and I. Reiten, a partial order on the set of basic tilting modules defined by D. Happel and L. Unger is extended as a partial order on the set of support tilting modules. In this paper, we study a combinatorial relationship between the poset of basic tilting modules and basic support tilting modules. We will show that the subposet of tilting modules is uniquely determined by the poset structure of the set of support tilting modules.
In this paper we study the poset of basic tilting $kQ$-modules when $Q$ is a Dynkin quiver, and the poset of basic support $τ$-tilting $kQ$-modules when $Q$ is a connected acyclic quiver respectively. It is shown that the first poset is a distributive lattice if and only if $Q$ is of types $\mathbb{A}_{1}, \mathbb{A}_{2}$ or $\mathbb{A}_{3}$ with a nonlinear orientation and the second poset is a distributive lattice if and only if $Q$ is of type $\mathbb{A}_{1}$.
The theory of finitely generated relative (co)tilting modules has been established in the 1980s by Auslander and Solberg, and infinitely generated relative tilting modules have recently been studied by many authors in the context of Gorenstein homological algebra. In this work, we build on the theory of infinitely generated Gorenstein tilting modules by developing "Gorenstein tilting approximations" and employing these approximations to study Gorenstein tilting classes and their associated relative cotorsion pairs. As applications of our results, we discuss the problem of existence of compleme…
Mutation of τ-tilting modules is a basic operation to construct a new support τ-tilting module from a given one by replacing a direct summand. The aim of this paper is to give a positive answer to the question posed in [AIR, Question 2.31] about mutation of τ-tilting modules.
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 build a bijection between the set $\sttiltΛ$ of isomorphism classes of basic support $τ$-tilting modules over the Auslander algebra $Λ$ of $K[x]/(x^n)$ and the symmetric group $\mathfrak{S}_{n+1}$, which is an anti-isomorphism of partially ordered sets with respect to the generation order on $\sttiltΛ$ and the left order on $\mathfrak{S}_{n+1}$. This restricts to the bijection between the set $\tiltΛ$ of isomorphism classes of basic tilting $Λ$-modules and the symmetric group $\mathfrak{S}_n$ due to Brüstle, Hille, Ringel and Röhrle. Regarding the preprojective algebra $Γ$ of Dynkin type $A…
Let $Γ$ be a split extension of a finite-dimensional algebra $Λ$ by a nilpotent bimodule $_ΛE_Λ$, and let $(T,P)$ be a pair in $\modΛ$ with $P$ projective. We prove that $(T\otimes_ΛΓ_Γ, P\otimes_ΛΓ_Γ)$ is a support $τ$-tilting pair in $\mod Γ$ if and only if $(T,P)$ is a support $τ$-tilting pair in $\mod Λ$ and $\Hom_Λ(T\otimes_ΛE,τT_Λ)=0=\Hom_Λ(P,T\otimes_ΛE)$. As applications, we obtain a necessary and sufficient condition such that $(T\otimes_ΛΓ_Γ, P\otimes_ΛΓ_Γ)$ is support $τ$-tilting pair for a cluster-tilted algebra $Γ$ corresponding to a tilted algebra $Λ$; and we also get that if $T_…
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.
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…
Let $R$ be a ring and $T \in {\rm Mod-}R$ be a (non-classical) tilting module of finite projective dimension. Let $\mathcal T=({\mathcal T}^{\leq0}, {\mathcal T}^{\geq0})$ be the $t$-structure on $D(R)$ generated by $T$ and ${\mathcal D}=({\mathcal D}^{\leq0}, {\mathcal D}^{\geq0})$ be the natural $t$-structure. We show that the pair $(\mathcal D, \mathcal T)$ is right filterable in the sense of [FMT14], that is, for any $i\in\mathbb Z$ the intersection ${\mathcal D}^{\geq i}\cap {\mathcal T}^{\geq 0}$ is the co-aisle of a $t$-structure. As a consequence, the heart of $\mathcal T$ is derived e…
For any given symmetrizable Cartan matrix $C$ with a symmetrizer $D$, Geiß~ et al. (2016) introduced a generalized preprojective algebra $Π(C, D)$. We study tilting modules and support $τ$-tilting modules for the generalized preprojective algebra $Π(C, D)$ and show that there is a bijection between the set of all cofinite tilting ideals of $Π(C,D)$ and the corresponding Weyl group $W(C)$ provided that $C$ has no component of Dynkin type. When $C$ is of Dynkin type, we also establish a bijection between the set of all basic support $τ$-tilting $Π(C,D)$-modules and the corresponding Weyl group $…
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.
The blob algebra is a finite-dimensional quotient of the Hecke algebra of type $B$ which is almost always quasi-hereditary. We construct the indecomposable tilting modules for the blob algebra over a field of characteristic $0$ in the doubly critical case. Every indecomposable tilting module of maximal highest weight is either a projective module or an extension of a simple module by a projective module. Moreover, every indecomposable tilting module is a submodule of an indecomposable tilting module of maximal highest weight. We conclude that the graded Weyl multiplicities of the indecomposabl…
We introduce the notions of Gorenstein projective $τ$-rigid modules, Gorenstein projective support $τ$-tilting modules and Gorenstein torsion pairs and give a Gorenstein analog to Adachi-Iyama-Reiten's bijection theorem on support $τ$-tilting modules. More precisely, for an algebra $Λ$, We prove that there is a bijection between the set of Gorenstein projective support $τ$-tilting modules and the set of functorially finite Gorenstein projective torsion classes. As an application, we introduce the notion of CM-$τ$-tilting finite algebras and show that $Λ$ is CM-$τ$-tilting finite if and only if…
Support $τ$-tilting modules correspond to some classes of categorical objects bijectively, such as two-term tilting complexes for any finite dimensional symmetric algebra. This fact motivates us to classify support $τ$-tilting modules over blocks of finite groups. Therefore we classify support $τ$-tilting modules over particular blocks of finite groups by using the modular representation theoretical approaches including Clifford theory, Green's indecomposability theorem and so on.
Let $A$ be a finite dimensional algebra over an algebraically closed field $k$. Let $T$ be a tilting $A$-module and $B={\rm End}_A\ T$ be the endomorphism algebra of $T$. In this paper, we consider the correspondence between the tilting $A$-modules and the tilting $B$-modules, and we prove that there is a one-one correspondence between the basic $T$-tilting $A$-modules in $T^{\perp}$ and the basic tilting $B$-modules in $^{\perp}(D_BT)$. Moreover, we show that there is a one-one correspondence between the $T$-contravariantly finite $T$-resolving subcategories of $T^{\perp}$ and the basic $T$-t…
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…
We study (support) $τ$-tilting modules over the trivial extensions of finite dimensional algebras. More precisely, we construct two classes of (support)$τ$-tilting modules in terms of the adjoint functors which extend and generalize the results on (support) $τ$-tilting modules over triangular matrix rings given by Gao-Huang.
We give a necessary and sufficient condition for that the support $τ$-tilting poset of a finite dimensional algebra is isomorphic to the poset of symmetric group with weak order. Moreover we show that there are infinitely many finite dimensional algebras whose support $τ$-tilting posets are isomorphic to the poset of symmetric group with weak order.
We give a construction of Gorenstein projective $τ$-tilting modules in terms of tensor products of modules. As a consequence, we give a class of non-self-injective algebras admitting non-trivial Gorenstein projective $τ$-tilting modules. Moreover, we show that a finite dimensional algebra $Λ$ over an algebraically closed field is $CM$-$τ$-tilting finite if $T_n(Λ)$ is $CM$-$τ$-tilting finite which gives a partial answer to a question on $CM$-$τ$-tilting finite algebras posed by Xie and Zhang.
Following the previous work, we determine exactly the highest weights for which a tensor product of two induced modules is a tilting module, for the algebraic group $SL_2$ over an algebraically closed field of positive characteristic.
We give an example of a finite-dimensional algebra with a 2-cluster tilting module and a simple module which has infinite complexity. This answers a question of Erdmann and Holm.
In this paper, we investigate the relative dominant dimension with respect to an injective module and characterize the algebras with finite relative dominant dimension. As an application, we introduce the almost n-precluster tilting module and establish a correspondence between almost n-precluster tilting modules and almost n-minimal Auslander-Gorenstein algebras. Moreover, we give a description of the Gorenstein projective modules over almost n-minimal Auslander-Gorenstein algebras in terms of the corresponding almost n-precluster tilting modules.
The class of support $τ$-tilting modules was introduced recently by Adachi, Iyama and Reiten. These modules complete the class of tilting modules from the point of view of mutations. Given a finite dimensional algebra $A$, we study all basic support $τ$-tilting $A$-modules which have given basic $τ$-rigid $A$-module as a direct summand. We show that there exist an algebra $C$ such that there exists an order-preserving bijection between these modules and all basic support $τ$-tilting $C$-modules; we call this process $τ$-tilting reduction. An important step in this process is the formation of $…
We show that for two quivers without oriented cycles related by a BGP reflection, the posets of their tilting modules are related by a simple combinatorial construction, which we call flip-flop. We deduce that the posets of tilting modules of derived equivalent path algebras of quivers without oriented cycles are universally derived equivalent.
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（江汉大学人工智能学院）
