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.
Motivated by its links to $τ$-tilting theory, we introduce a generalization of cotorsion pairs in module categories. Such pairs are also linked to co-t-structures in corresponding triangulated categories, and to cotorsion pairs in certain extension closed (and hence extriangulated) subcategories, which we call two-term categories.
Let $(\mathcal{A,B})$ be a complete and hereditary cotorsion pair in the category of left $R$-modules. In this paper, the so-called Gorenstein projective complexes respect to the cotorsion pair $(\mathcal{A}, \mathcal{B})$ are introduced. We show that these complexes are just the complexes of Gorenstein projective modules respect to the cotorsion pair $(\mathcal{A}, \mathcal{B})$. As applications, we prove that both Gorenstein projective modules with respect to cotorsion pairs and Gorenstein projective complexes with respect to cotorsion pairs possess of stability.
Cotorsion pairs and Tor-pairs over commutative noetherian rings
Universitat Autònoma de Barcelona（巴塞罗那自治大学）；Centre de Recerca Matemàtica（数学研究中心）；Institute of Mathematics of the Czech Academy of Sciences（捷克科学院数学研究所）；Charles University, Faculty of Mathematics and Physics（查理大学数学物理学院）
We study Tate-Vogel and relative cohomologies of complexes by applying the model structure induced by a complete hereditary cotorsion pair ($\A$, $\B$) of modules. We show first that the class of complexes admitting a complete $\A$ resolution is exactly the class of complexes with finite Gorenstein $\A$ dimension. This lets us give general techniques for computing Tate-Vogel cohomoloies of complexes with finite Gorenstein $\A$ dimension. As a consequence, relative cohomology groups for complexes with finite Gorenstein $\A$ dimension are investigated. Finally, the relationships between Gorenste…
We generalize the tilting process by Happel, Reiten and Smalø to the setting of finitely presented modules over right coherent rings. Moreover, we extend the characterization of quasi-tilted artin algebras as the almost hereditary ones to all right noetherian rings.
We study the behaviour of modules $M$ that fit into a short exact sequence $0\to M\to C\to M\to 0$, where $C$ belongs to a class of modules $\mathcal C$, the so-called $\mathcal C$-periodic modules. We find a rather general framework to improve and generalize some well-known results of Benson and Goodearl and Simson. In the second part we will combine techniques of hereditary cotorsion pairs and presentation of direct limits, to conclude, among other applications, that if $M$ is any module and $C$ is cotorsion, then $M$ will be also cotorsion. This will lead to some meaningful consequences in …
By the Telescope Conjecture for Module Categories, we mean the following claim: "Let R be any ring and (A, B) be a hereditary cotorsion pair in Mod-R with A and B closed under direct limits. Then (A, B) is of finite type." We prove a modification of this conjecture with the word 'finite' replaced by 'countable'. We show that a hereditary cotorsion pair (A, B) of modules over an arbitrary ring R is generated by a set of strongly countably presented modules provided that B is closed under unions of well-ordered chains. We also characterize the modules in B and the countably presented modules in …
Let $\mathcal{H}$ be a connected hereditary abelian category with tilting objects. It is proved that the cluster-tilting graph associated with $\mathcal{H}$ is always connected. As a consequence, we establish the connectedness of the tilting graph for the category $\operatorname{coh}\mathbb{X}$ of coherent sheaves over a weighted projective line $\mathbb{X}$ of wild type. The connectedness of tilting graphs for such categories was conjectured by Happel-Unger, which has immediately applications in cluster algebras. For instance, we deduce that there is a bijection between the set of indecomposa…
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…
For a Calabi-Yau triangulated category $\mathcal{C}$ of Calabi-Yau dimension $d$ with a $d-$cluster tilting subcategory $\mathcal{T}$, it is proved that the decomposition of $\mathcal{C}$ is determined by the special decomposition of $\mathcal{T}$, namely, $\mathcal{C}=\oplus_{i\in I}\mathcal{C}_i$, where $\mathcal{C}_i, i\in I$ are triangulated subcategories, if and only if $\mathcal{T}=\oplus_{i\in I}\mathcal{T}_i,$ where $\mathcal{T}_i, i\in I$ are subcategories with $Hom_{\mathcal{C}}(\mathcal{T}_i[t],\mathcal{T}_j)=0, \forall 1\leq t\leq d-2$ and $i\not= j.$ This induces that the Gabriel …
Construction of $n$-cotorsion pairs in some abelian categories
College of Mathematics and Statistics, Northwest Normal University（西北师范大学数学与统计学院）；Gansu Provincial Research Center for Basic Disciplines of Mathematics and Statistics（甘肃省数学与统计学基础学科研究中心）
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}$.
We study Mittag-Leffler conditions on modules providing relative versions of classical results by Raynaud and Gruson. We then apply our investigations to several contexts. First of all, we give a new argument for solving the Baer splitting problem. Moreover, we show that modules arising in cotorsion pairs satisfy certain Mittag-Leffler conditions. In particular, this implies that tilting modules satisfy a useful finiteness condition over their endomorphism ring. In the final section, we focus on a special tilting cotorsion pair related to the pure-semisimplicity conjecture.
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.
In this paper, we consider the endomorphism algebras of infinitely generated tilting modules of the form $R_{\mathcal U}\oplus R_{\mathcal U}/R$ over tame hereditary $k$-algebras $R$ with $k$ an arbitrary field, where $R_{\mathcal{U}}$ is the universal localization of $R$ at an arbitrary set $\mathcal{U}$ of simple regular $R$-modules, and show that the derived module category of $\End_R(R_{\mathcal U}\oplus R_{\mathcal U}/R)$ is a recollement of the derived module category $\D{R}$ of $R$ and the derived module category $\D{{\mathbb A}_{\mathcal{U}}}$ of the adèle ring ${\mathbb A}_{\mathcal{U…
Tilting theory in cluster categories of hereditary algebras has been developed in [BMRRT] and [BMR]. These results are generalized to cluster categories of hereditary abelian categories. Furthermore, for any tilting object $T$ in a hereditary abelian category $\mathcal{H}$, we verify that the tilting functor Hom$_\mathcal{H}(T,-)$ induces a triangle equivalence from the cluster category $\mathcal{C(H)}$ to the cluster category $\mathcal{C}(A)$, where $A$ is the quasi-tilted algebra End$_{\mathcal{H}}T.$ Under the condition that one of derived categories of hereditary abelian categories $\mathc…
Tilting bundles $\mathcal{T}$ on a weighted projective line $\mathbb{X}$ have been intensively studied by representation theorists since they give rise to a derived equivalence between $\mathbb{X}$ and the finite dimensional algebra End $\mathcal{T}$. A classical result states that if End $\mathcal{T}$ is hereditary, then $\mathbb{X}$ is Fano and conversely, for every Fano weighted projective line, there exists a tilting bundle $\mathcal{T}$ with End $\mathcal{T}$ hereditary. In this paper, we examine the question of when a weighted projective surface has a tilting bundle whose endomorphism ri…
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…
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…
We study IE-closed subcategories of a module category, subcategories which are closed under taking Images and Extensions. We investigate the relation between IE-closed subcategories and torsion pairs, and characterize $τ$-tilting finite algebras using IE-closed subcategories. For the hereditary case, we show that IE-closed subcategories can be classified by twin rigid modules, pairs of rigid modules satisfying some homological conditions. Moreover, we introduce mutation of twin rigid modules analogously to tilting modules, which gives a way to calculate all twin rigid modules for the represent…
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 a finite dimensional hereditary algebra over an algebraically closed field $k$, $A^{(m)}$ be the $m$-replicated algebra of $A$ and $\mathscr{C}_{m}(A)$ be the $m$-cluster category of $ A$. We investigate properties of complements to a faithful almost complete tilting $A^{(m)}$-module and prove that the $m$-cluster mutation in $\mathscr{C}_{m}(A)$ can be realized in ${\rm mod} A^{(m)}$, which generalizes corresponding results on duplicated algebras established in [Z1].
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 consider an arbitrary Abelian category $\mathcal{A}$ and a subcategory $\mathcal{T}$ closed under extensions and direct summands, and characterize those $\mathcal{T}$ that are (semi-)special preenveloping in $\mathcal{A}$; as a byproduct, we generalize to this setting several classical results for categories of modules. For instance, we get that the special preenveloping subcategories $\mathcal{T}$ of $\mathcal{A}$ closed under extensions and direct summands are precisely those for which $(_{}^{\perp_1}\mathcal{T},\mathcal{T})$ is a right complete cotorsion pair, where $_{}^{\perp_1}\mathca…
Let $(\mathscr{X}$, $\mathscr{Y})$ be a balanced pair in an abelian category. We first introduce the notion of cotorsion pairs relative to $(\mathscr{X}$, $\mathscr{Y})$, and then give some equivalent characterizations when a relative cotorsion pair is hereditary or perfect. We prove that if the $\mathscr{X}$-resolution dimension of $\mathscr{Y}$ (resp. $\mathscr{Y}$-coresolution dimension of $\mathscr{X}$) is finite, then the bounded homotopy category of $\mathscr{Y}$ (resp. $\mathscr{X}$) is contained in that of $\mathscr{X}$ (resp. $\mathscr{Y}$). As a consequence, we get that the right $\m…
We introduce a new category C, which we call the cluster category, obtained as a quotient of the bounded derived category D of the module category of a finite-dimensional hereditary algebra H over a field. We show that, in the simply-laced Dynkin case, C can be regarded as a natural model for the combinatorics of the corresponding Fomin-Zelevinsky cluster algebra. In this model, the tilting modules correspond to the clusters of Fomin-Zelevinsky. Using approximation theory, we investigate the tilting theory of C, showing that it is more regular than that of the module category itself, and demon…
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（中国科学技术大学数学科学学院）
Let $A$ be a hereditary algebra. We construct a fundamental domain for the cluster category of $A$ inside the category of modules over the duplicated algebra $\bar{A}$ of $A$. We then prove that there exists a bijection between the tilting objects in the cluster category and the tilting $\bar{A}$-modules all of whose non projective-injective indecomposable summands lie in the left part of the module category of $\bar{A}$.
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…
For any set of modules S, we prove the existence of precovers (right approximations) for all classes of modules of bounded C-resolution dimension, where C is the class of all S-filtered modules. In contrast, we use infinite dimensional tilting theory to show that the class of all locally free modules induced by a non-sum-pure-split tilting module is not precovering. Consequently, the class of all locally Baer modules is not precovering for any countable hereditary artin algebra of infinite representation type.
Let A be an algebra over a field k, and denote by D^b(Mod A) the bounded derived category of left A-modules. The derived Picard group DPic_k(A) is the group of triangle auto-equivalences of D^b(Mod A) induced by tilting complexes. We study the group DPic_k(A) when A = k Δis the path algebra of a finite quiver Δ. We obtain general results on the structure of DPic_k(A), as well as explicit calculations for many cases, including all finite and tame representation types. Our method is to construct a representation of DPic_k(A) on a certain infinite quiver. This representation is faithful whenΔis a…
We construct two functors from the submodule category of a self-injective representation-finite algebra $Λ$ to the module category of the stable Auslander algebra of $Λ$. These functors factor through the module category of the Auslander algebra of $Λ$. Moreover they induce equivalences from the quotient categories of the submodule category modulo their respective kernels and said kernels have finitely many indecomposable objects up to isomorphism. Their construction uses a recollement of the module category of the Auslander algebra induced by an idempotent and this recollement determines a ch…
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 propose a new approach to study the relation between the module categories of a tilted algebra $C$ and the corresponding cluster-tilted algebra $B=C\ltimes E$. This new approach consists of using the induction functor $-\otimes_C B$ as well as the coinduction functor $D(B\otimes_C D-)$. We show that $DE$ is a partial tilting and a $τ$-rigid $C$-module and that the induced module $DE\otimes_C B$ is a partial tilting and a $τ$-rigid $B$-module. Furthermore, if $C=\text{End}_A T$ for a tilting module $T$ over a hereditary algebra $A$, we compare the induction and coinduction functors to the Bu…
