In the 1980s, Harada introduced a new class of algebras now called Harada algebras. Harada algebras provides us with a rich source of Auslander's 1-Gorenstein algebras. In this paper, we have two main results about Harada algebras. The first is the classification of modules over Harada algebras whose projective dimension is at most one. The second is the classification of tilting modules over Harada algebras, which is shown by giving a bijection between tilting modules over Harada algebras and tilting modules over direct products of upper triangular matrix algebras over $K$. A combinatorial description of tilting modules over upper triangular matrix algebras over $K$ is known. These facts allow us to classify tilting modules over a given Harada algebra.
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. We give an equivalent condition for that this poset is a distributive lattice. We also give an equivalent condition for that a distributive lattice is isomorphic to the poset of basic pre-projective tilting modules over a path algebra of representation infinite type.
In this paper, we study when the kernel of a complete hereditary cotorsion pair is the additive closure of a tilting module. Applications go in three directions. The first is to characterize when the little finitistic dimension is finite. The second is to obtain equivalent formulations for a Wakamatsu tilting module to be a tilting module. The third is to give some new characterizations of Gorenstein rings.
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 …
We provide a complete classification of all tilting modules and tilting classes over almost perfect domains, which generalizes the classifications of tilting modules and tilting classes over Dedekind and 1-Gorenstein domains. Assuming the APD is Noetherian, a complete classification of all cotilting modules is obtained (as duals of the tilting ones).
We give a characterization of $τ$-rigid modules over Auslander algebras in terms of projective dimension of modules. Moreover, we show that for an Auslander algebra $Λ$ admitting finite number of non-isomorphic basic tilting $Λ$-modules and tilting $Λ^{op}$-modules, if all indecomposable $τ$-rigid $Λ$-modules of projective dimension $2$ are of grade $2$, then $Λ$ is $τ$-tilting finite.
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 generalize Brenner and Butler's Theorem as well as Happel's Theorem on the equivalences induced by a finitely generated tilting module over artin algebras, to the case of an infinitely generated tilting module over an arbitrary associative ring establishing the equivalences induced between subcategories of module categories and also at the level of derived categories.
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 al…
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…
Let $T_R$ be a right $n$-tilting module over an arbitrary associative ring $R$. In this paper we prove that there exists a $n$-tilting module $T'_R$ equivalent to $T_R$ which induces a derived equivalence between the unbounded derived category $\D(R)$ and a triangulated subcategory $\mathcal E_{\perp}$ of $\D(\End(T'))$ equivalent to the quotient category of $\D(\End(T'))$ modulo the kernel of the total left derived functor $-\otimes^{\mathbb L}_{S'}T'$. In case $T_R$ is a classical $n$-tilting module, we get again the Cline-Parshall-Scott and Happel's results.
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…
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…
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.
An abelian category with arbitrary coproducts and a small projective generator is equivalent to a module category \cite{Mit}. A tilting object in a abelian category is a natural generalization of a small projective generator. Moreover, any abelian category with a tilting object admits arbitrary coproducts \cite{CGM}. It naturally arises the question when an abelian category with a tilting object is equivalent to a module category. By \cite{CGM} the problem simplifies in understanding when, given an associative ring $R$ and a faithful torsion pair $(\X,\Y)$ in the category of right $R$-modules,…
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…
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（中国科学技术大学数学科学学院）
We classify 1-tilting classes over an arbitrary commutative ring. As a consequence, we classify all resolving subcategories of finitely presented modules of projective dimension at most 1. Both these collections are in 1-1 correspondence with faithful Gabriel topologies of finite type, or equivalently, with Thomason subsets of the spectrum avoiding a set of primes associated in a specific way to the ring. We also provide a generalization of the classical Fuchs and Salce tilting modules, and classify the equivalence classes of all 1-tilting modules. Finally we characterize the cases when tiltin…
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.
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 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.
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 …
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（江汉大学人工智能学院）
We discuss tilting modules of affine quasi-hereditary algebras. We present an existence theorem of indecomposable tilting modules when the algebra has a large center and use it to deduce a criterion for an exact functor between two affine highest weight categories to give an equivalence. As an application, we prove that the Arakawa-Suzuki functor [Arakawa-Suzuki, J. of Alg. 209 (1998)] gives a fully faithful embedding of a block of the deformed BGG category of $\mathfrak{gl}_{m}$ into the module category of a suitable completion of degenerate affine Hecke algebra of $GL_{n}$.
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…
Let $R$ be a ring and $T$ be a good Wakamatsu-tilting module with $S$ the endomorphism ring. We prove that $T$ induces an equivalence between stable categories of repetitive algebras of $R$ and $S$.
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_…
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…
Let $\mathcal{D}$ be a Hom-finite, Krull-Schmidt, 2-Calabi-Yau triangulated category with a rigid object $R$. Let $Λ=\operatorname{End}_{\mathcal{D}}R$ be the endomorphism algebra of $R$. We introduce the notion of mutation of maximal rigid objects in the two-term subcategory $R\ast R[1]$ via exchange triangles, which is shown to be compatible with mutation of support $τ$-tilting $Λ$-modules. In the case that $\mathcal{D}$ is the cluster category arising from a punctured marked surface, it is shown that the graph of mutations of support $τ$-tilting $Λ$-modules is isomorphic to the graph of fli…
We consider a finite dimensional strongly $G$-graded algebra $A$ with { self-injective} $1$-component $B$, and in our main result we prove that the induction from $B$ to $A$ of a basic support $τ$-tilting pair of $B$-modules is a support $τ$-tilting pair $(M,P)$ of $A$-modules if and only if $M$ is $G$-invariant. A similar statement holds for the restriction from $A$ to $B$, so our results may be viewed as Clifford and Maschke type theorems for $2$-term silting complexes. We also give applications to semibricks and the associated wide subcategories.
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…
Happel and Unger reconstructed hereditary algebras from their posets of tilting modules. Inspired by this result, we try removing the assumption to be hereditary. However, it would be unfortunately fail in general: e.g. every selfinjective algebra has the poset consisting of only one point. Therefore, we should consider a generalization of the Happel-Unger's result for posets of support $τ$-tilting modules, which contains those of tilting modules. In this paper, we spotlight finite dimensional algebras whose support $τ$-tilting posets coincide with those of tree quiver algebras and give a full…
The main theme of this paper is to study $τ$-tilting subcategories in an abelian category $\mathscr{A}$ with enough projective objects. We introduce the notion of $τ$-cotorsion torsion triples and show a bijection between the collection of $τ$-cotorsion torsion triples in $\mathscr{A}$ and the collection of $τ$-tilting subcategories of $\mathscr{A}$, generalizing the bijection by Bauer, Botnan, Oppermann and Steen between the collection of cotorsion torsion triples and the collection of tilting subcategories of $\mathscr{A}$. General definitions and results are exemplified using persistent mod…
We use the theory of $\textbf{U}_q$-tilting modules to construct cellular bases for centralizer algebras. Our methods are quite general and work for any quantum group $\textbf{U}_q$ attached to a Cartan matrix and include the non-semisimple cases for $q$ being a root of unity and ground fields of positive characteristic. Our approach also generalizes to certain categories containing infinite-dimensional modules. As applications, we give a new semisimplicty criterion for centralizer algebras, and recover the cellularity of several known algebras (with partially new cellular bases) which all fit…
