本文通过增加完备余挠对的遗传性条件，将 Beligiannis 和 Reiten 仅基于单个完备余挠对构造 Abel 范畴模型结构的结果扩展到弱幂等完备正合范畴，并证明了弱投射模型结构的对应关系依然成立。
摘要：
与从两个完备余挠对得到 Abel 模型结构的 Hovey 对应不同，Beligiannis 和 Reiten 给出了仅从一个完备余挠对在 Abel 范畴上构造模型结构的方法。本文旨在通过增加完备余挠对的遗传性条件，将此结果扩展到弱幂等完备正合范畴。事实上，即使对于 Abel 范畴，也应添加此遗传性条件。该构造确实给出了在 Gillespie 意义下不必然正合的模型结构。Beligiannis 和 Reiten 关于弱投射模型结构的对应关系对于弱幂等完备正合范畴同样成立。
英文摘要：
In contrast with the Hovey correspondence of abelian model structures from two complete cotorsion pairs, Beligiannis and Reiten give a construction of model structures on abelian categories from only one complete cotorsion pair. The aim of this paper is to extend this result to weakly idempotent complete exact categories, by adding the condition of heredity of the complete cotorsion pair. In fact, even for abelian categories, this condition of heredity should be added. This construction really gives model structures which are not necessarily exact in the sense of Gillespie. The correspondence of Beligiannis and Reiten of weakly projective model structures also holds for weakly idempotent complete exact categories.
Let $\mathcal B$ be an extriangulated category with enough projectives and enough injectives. We define a proper $m$-term subcategory $\mathcal G$ on $\mathcal B$, which is an extriangulated subcategory. Then we give a correspondence between cotorsion pairs on $\mathcal G$, support $τ$-tilting subcategories on an abelian quotient of $\mathcal G$ when $m=2$. If such $\mathcal G$ is induced by a hereditary cotorsion pair, then we give a correspondence between cotorsion pairs on $\mathcal G$ and intermediate cotorsion pairs on $\mathcal B$ under certain assumptions. At last, we study an important…
In this paper, we study (complete) cotorsion pairs in extriangulated categories. First, we study a relationship between an interval of the poset of cotorsion pairs and the poset of cotorsion pairs in the heart associated to the interval. Secondly, we establish a bijection between bounded hereditary cotorsion pairs and silting subcategories in extriangulated categories.
We give necessary and sufficient conditions for torsion pairs in a hereditary category to be in bijection with $t$-structures in the bounded derived category of that hereditary category. We prove that the existence of a split $t$-structure with nontrivial heart in a semiconnected Krull-Schmidt category implies that this category is equivalent to the derived category of a hereditary category. We construct a bijection between split torsion pairs in the module category of a tilted algebra having a complete slice in the preinjective component with corresponding $t$-structures. Finally, we classify…
For the module category of a hereditary ring, the Ext-orthogonal pairs of subcategories are studied. For each Ext-orthogonal pair that is generated by a single module, a 5-term exact sequence is constructed. The pairs of finite type are characterized and two consequences for the class of hereditary rings are established: homological epimorphisms and universal localizations coincide, and the telescope conjecture for the derived category holds true. However, we present examples showing that neither of these two statements is true in general for rings of global dimension 2.
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 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…
We give a complete picture of the interaction between Koszul and Ringel dualities for quasi-hereditary algebras admitting linear tilting (co)resolutions of standard and costandard modules. We show that such algebras are Koszul, that the class of these algebras is closed with respect to both dualities and that on this class these two dualities commute. All arguments reduce to short computations in the bounded derived category of graded modules.
We use the characteristic polynomial of the Coxeter matrix of an algebra to complete the combinatorial classification of piecewise hereditary algebras which Happel gave in terms of the trace of the Coxeter matrix. We also give a cohomological interpretation of the coefficients (other than the trace) of the characteristic polynomial of the Coxeter matrix of any finite dimensional algebra with finite global dimension.
In this paper, we prove that the lower triangular matrix category $Λ=\left [ \begin{smallmatrix} \mathcal{T}&0\\ M&\mathcal{U} \end{smallmatrix} \right ]$, where $\mathcal{T}$ and $\mathcal{U}$ are quasi-hereditary $\mathrm{Hom}$-finite Krull-Schmidt $K$-categories and $M$ is a $\mathcal U\otimes_K \mathcal T^{op}$-module that satisfies suitable conditions, is quasi-hereditary in the sense of \cite{LGOS1} and \cite{Martin}. Moreover, we solve the problem of finding quotients of path categories isomorphic to the lower triangular matrix category $Λ$, where $\mathcal T=K\mathcal{R/J}$ and $\mathc…
Chains of model structures arising from cotorsion pairs on extriangulated categories
School of Mathematical Sciences, Zhejiang University of Technology（浙江工业大学数学科学学院）；School of Science, Zhejiang University of Science and Technology（浙江科技大学理学院）；School of Mathematical Sciences, Zhejiang Normal University（浙江师范大学数学与计算机科学学院）；School of Mathematics and Statistics, Changsha University of Science and Technology（长沙理工大学数学与统计学院）
We describe necessary and sufficient conditions for the hereditarity of the category algebra of an infinite EI category satisfying certain combinatorial assumptions. More generally, we discuss conditions such that the left global dimension of a category algebra equals the maximal left global dimension of the endomorphism algebras of its objects, and classify its projective modules in this case. As applications, we completely classify transporter categories, orbit categories, and Quillen categories with left hereditary category algebras over a field.
It is a result of Gabriel that hereditary torsion pairs in categories of modules are in bijection with certain filters of ideals of the base ring, called Gabriel filters or Gabriel topologies. A result of Jans shows that this bijection restricts to a correspondence between (Gabriel filters that are uniquely determined by) idempotent ideals and TTF triples. Over the years, these classical results have been extended in several different directions. In this paper we present a detailed and self-contained exposition of an extension of the above bijective correspondences to additive functor categori…
It was shown recently that the heart of a twin cotorsion pair on an extriangulated category is semi-abelian. In this article, we consider a special kind of hearts of twin cotorsion pairs induced by $d$-cluster tilting subcategories in extriangulated categories. We give a necessary and sufficient condition for such hearts to be abelian. In particular, we also can see that such hearts are hereditary. As an application, this generalizes the work by Liu in an exact case, thereby providing new insights in a triangulated case.
We determine all values of the parameters for which the cell modules form a standard system, for a class of cellular diagram algebras including partition, Brauer, walled Brauer, Temperley-Lieb and Jones algebras. For this, we develop and apply a general theory of algebras with Borelic pairs. The theory is also applied to give new uniform proofs of the cellular and quasi-hereditary properties of the diagram algebras and to construct quasi-hereditary 1-covers, in the sense of Rouquier, with exact Borel subalgebras, in the sense of König. Another application of the theory leads to a proof that Au…
In this article, we generalize the concept of torsion pairs and study its structure. As a trial of obtaining all torsion pairs, we decompose torsion pairs by projective modules and injective modules. Then we calculate torsion pairs on the algebra KAn and tub categories. At last we try to find all torsion pairs on the module categories of finite dimensional hereditary algebras.
Given a finite dimensional algebra $A$ over a field $k$, and a finite acyclic quiver $Q$, let $Λ= A\otimes_k kQ/I$, where $kQ$ is the path algebra of $Q$ over $k$ and $I$ is a monomial ideal. We show that $(\mathcal X,\mathcal Y)$ is a (complete) hereditary cotorsion pair in $A$-mod if and only if $({\rm smon}(Q,I,\mathcal X), {\rm rep}(Q,I,\mathcal Y))$ is a (complete) hereditary cotorsion pair in $Λ$-mod. We also show that $A$ is left weakly Gorenstein if and only if so is $Λ$. Provided that $kQ/I$ is non-semisimple, the category $^{\perp}Λ$ of semi-Gorenstein-projective $Λ$-modules coincide…
Assume that $(\mathcal{C}, \mathbb{E}, \mathfrak{s})$ is an extriangulated category satisfying Condition (WIC). Let $(\cal Q, \widetilde{\cal R})$ and $(\widetilde{\cal Q}, \cal R)$ be two hereditary cotorsion pairs satisfying conditions $\widetilde{\cal R} \subseteq \cal R$, $\widetilde{\cal Q}\subseteq \cal Q$ and $\widetilde{\cal Q}\cap \cal R = \cal Q \cap \widetilde{\cal R}$. Then there exists a unique thick class $\cal W$ for which $(\cal Q,\cal W,\cal R)$ is a Hovey triple. As an application, this result generalizes the work by Gillespie in an exact case. Moreover, it highlights new phe…
This paper focuses on a question raised by Holm and Jørgensen, who asked if the induced cotorsion pairs $(Φ({\sf X}),Φ({\sf X})^{\perp})$ and $(^{\perp}Ψ({\sf Y}),Ψ({\sf Y}))$ in $\mathrm{Rep}(Q,{\sf{A}})$ -- the category of all $\sf{A}$-valued representations of a quiver $Q$ -- are complete whenever $(\sf X,\sf Y)$ is a complete cotorsion pair in an abelian category $\sf{A}$ satisfying some mild conditions. Recently, Odabaşı gave an affirmative answer if the quiver $Q$ is rooted and the cotorsion pair $(\sf X,\sf Y)$ is further hereditary. In this paper, we improve Odabaşı's work by removing …
Given a complete hereditary cotorsion pair $(\mathcal{A}, \mathcal{B})$ in an abelian category $\mathcal{C}$ satisfying certain conditions, we study the completeness of the induced cotorsion pairs $(Φ(\mathcal{A}), Φ(\mathcal{A})^{\perp})$ and $(^{\perp}Ψ(\mathcal{B}), Ψ(\mathcal{B}) )$ in the category $\mbox{Rep}(Q, \mathcal{C})$ of $\mathcal{C}$-valued representations of a given quiver $Q$. We show that if $Q$ is left rooted, then the cotorsion pair $(Φ(\mathcal{A}), Φ(\mathcal{A})^{\perp})$ is complete, and if $Q$ is right rooted, then the cotorsion pair $(^{\perp}Ψ(\mathcal{B}), Ψ(\mathcal…
This is a survey on the categorification of the poset of generalized non-crossing partitions, using the representation theory of a hereditary artin algebra H, looking at the set P of exceptional subcategories in mod H. This categorification is due to Ingalls and Thomas, and a subsequent paper by Igusa and Schiffler. Starting point is a refinement of the classical tilting theory for mod H, replacing torsion pairs by torsion triples, thus putting it into the realm of the stability theory of King. The torsion pairs in mod H correspond nicely to the perpendicular pairs of exceptional subcategories…
Given a torsion pair $\mathbf{t} = (\mathcal{T} ;\mathcal{F})$ in a module category $R$-Mod we give necessary and sufficient conditions for the associated Happel-Reiten-Smalø$\text{ }$ t-structure in $\mathcal{D}(R)$ to have a heart $\mathcal{H}_{\mathbf{t}}$ which is a module category. We also study when such a pair is given by a 2-term complex of projective modules in the way described by Hoshino-Kato-Miyachi ([HKM]). Among other consequences, we completely identify the hereditary torsion pairs $\mathbf{t}$ for which $\mathcal{H}_{\mathbf{t}}$ is a module category in the following cases: i) …
Balanced pairs appear naturally in the realm of Relative Homological Algebra associated to the balance of right derived functors of the $\mathsf{Hom}$ functor. A natural source to get such pairs is by means of cotorsion triplets. In this paper we study the connection between balanced pairs and cotorsion triplets by using recent quiver representation techniques. In doing so, we find a new characterization of abelian categories having enough projectives and injectives in terms of the existence of complete hereditary cotorsion triplets. We also give a short proof of the lack of balance for derive…
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 investigate parametrizations of compactly generated t-structures, or more generally, t-structures with a definable coaisle, in the unbounded derived category D(Mod-A) of a ring A. To this end, we provide a construction of t-structures from chains in the lattice of ring epimorphisms starting in A, which is a natural extension of the construction of compactly generated t-structures from chains of subsets of the Zariski spectrum known for the commutative noetherian case. We also provide constructions of silting and cosilting objects in D(Mod-A). This leads us to classification results over som…
Let $G$ be a finite group of Lie type. In studying the cross-characteristic representation theory of $G$, the (specialized) Hecke algebra $H=\End_G(\ind_B^G1_B)$ has played a important role. In particular, when $G=GL_n(\mathbb F_q)$ is a finite general linear group, this approach led to the Dipper-James theory of $q$-Schur algebras $A$. These algebras can be constructed over $\sZ:=\mathbb Z[t,t^{-1}]$ as the $q$-analog (with $q=t^2$) of an endomorphism algebra larger than $H$, involving parabolic subgroups. The algebra $A$ is quasi-hereditary over $\sZ$. An analogous algebra, still denoted $A$…
