We define evaluation forms associated to objects in a module subcategory of Ext-symmetry generated by finitely many simple modules over a path algebra with relations and prove a multiplication formula for the product of two evaluation forms. It is analogous to a multiplication formula for the product of two evaluation forms associated to modules over a preprojective algebra given by Geiss, Leclerc and Schröer in \cite{GLS2006}.
We will study the resolution dimension of functorially finite subcategories. The subcategories with the resolution dimension zero correspond to ring epimorphisms, and rejective subcategories correspond to surjective ring morphisms. We will study a chain of rejective subcategories to construct modules with endomorphisms rings of finite global dimension. We apply these result to study a function $r_Λ:\modΛ\to\nnn_{\ge0}$ which is a natural extension of Auslander's representation dimension.
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 introduce image-cokernel-extension-closed (ICE-closed) subcategories of module categories. This class unifies both torsion classes and wide subcategories. We show that ICE-closed subcategories over the path algebra of Dynkin type are in bijection with basic rigid modules, that ICE-closed subcategories are precisely torsion classes in some wide subcategories, and that the number does not depend on the orientation of the quiver. We give an explicit formula of this number for each Dynkin type, and in particular, it is equal to the large Schröder number for type A case.
In this paper, by using functor rings and functor categories, we study finiteness and purity of subcategories of the module categories. We give a characterisation of contravariantly finite resolving subcategories of the module category of finite representation type in terms of their functor rings. We also characterize contravariantly finite resolving subcategories of the module category $Λ${\rm -mod} that contain the Jacobson radical of $Λ$ of finite type, by their functor categories. We study the pure semisimplicity conjecture for a locally finitely presented category ${\underrightarrow{\lim}…
An Artin algebra is by definition virtually Gorenstein if the class of modules which are right orthogonal (with respect to Ext^*(-,-)) to all Gorenstein projective modules coincides with the class of modules which are left orthogonal to all Gorenstein injective modules. We provide a new characterization in terms of finitely generated modules. In addition, an example of an algebra is presented which is not virtually Gorenstein.
Recently, Wang, Wei and Zhang introduced the notion of recollements of extriangulated categories. In this paper, let $(\mathcal{A},\mathcal{B},\mathcal{C})$ be a recollement of extriangulated categories. We provide some methods to construct resolving subcategories in $(\mathcal{A},\mathcal{B},\mathcal{C})$. As applications of the Auslander-Reiten correspondence, we get the gluing of cotilting modules in a recollement of module categories for artin algebras. We also give some bounds of resolution dimensions of the categories involved in $(\mathcal{A},\mathcal{B},\mathcal{C})$ with respect to re…
We give a characterization of radical square zero bound quiver algebras $\mathbf{k} Q/\mathcal{J}^2$ that admit $n$-cluster tilting subcategories and $n\mathbb{Z}$-cluster tilting subcategories in terms of $Q$. We also show that if $Q$ is not of cyclically oriented extended Dynkin type $\tilde{A}$, then the poset of $n$-cluster tilting subcategories of $\mathbf{k} Q/\mathcal{J}^2$ with relation given by inclusion forms a lattice isomorphic to the opposite of the lattice of divisors of an integer which depends on $Q$.
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…
$r$ICE-closed subcategories induced by the morphism category of projective modules
Nanjing University of Information Science & Technology（南京信息工程大学）；University of Isfahan（伊斯法罕大学）；Institute for Research in Fundamental Sciences (IPM)（伊朗基础科学研究所）；Zhejiang Normal University（浙江师范大学）
A subcategory $\mathscr{W}$ of an abelian category is called wide if it is closed under kernels, cokernels, and extensions. Wide subcategories are of interest in representation theory because of their links to other homological and combinatorial objects, established among others by Ingalls-Thomas and Marks-Šťovíček. If $d \geqslant 1$ is an integer, then Jasso introduced the notion of $d$-abelian categories, where kernels, cokernels, and extensions have been replaced by longer complexes. Wide subcategories can be generalised to this situation. Important examples of $d$-abelian categories arise…
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…
A subcategory of an abelian category is wide if it is closed under sums, summands, kernels, cokernels, and extensions. Wide subcategories provide a significant interface between representation theory and combinatorics. If $Φ$ is a finite dimensional algebra, then each functorially finite wide subcategory of $\operatorname{mod}( Φ)$ is of the form $ϕ_{ * }\big( \operatorname{mod}( Γ) \big)$ in an essentially unique way, where $Γ$ is a finite dimensional algebra and $Φ\stackrel{ ϕ}{ \longrightarrow } Γ$ is an algebra epimorphism satisfying $\operatorname{Tor}^{ Φ}_1( Γ,Γ) = 0$. Let ${\mathcal F}…
In this paper, we study ICE-closed (= Image-Cokernel-Extension-closed) subcategories of an abelian length category using torsion classes. To each interval $[\mathcal{U},\mathcal{T}]$ in the lattice of torsion classes, we associate a subcategory $\mathcal{T} \cap \mathcal{U}^\perp$ called the heart. We show that every ICE-closed subcategory can be realized as a heart of some interval of torsion classes, and give a lattice-theoretic characterization of intervals whose hearts are ICE-closed. In particular, we prove that ICE-closed subcategories are precisely torsion classes in some wide subcatego…
The Hom closed colocalizing subcategories of the stable module category of a finite group are classified. Along the way, the colocalizing subcategories of the homotopy category of injectives over an exterior algebra, and the derived category of a formal commutative differential graded algebra, are classified. To this end, and with an eye towards future applications, a notion of local homology and cosupport for triangulated categories is developed, building on earlier work of the authors on local cohomology and support.
Over a Cohen-Macaulay ring we consider two extensions of the maximal Cohen-Macaulay modules from the viewpoint of definable subcategories, which are closed under direct limits, direct products and pure submodules. After describing these categories, we compare them and consider which properties they inherit from the maximal Cohen-Macaulay modules. We then consider some further properties of these classes and how they interact with the entire module category.
Let $A$ be an artinian algebra, and let $\mathcal{C}$ be a subcategory of mod$A$ that is closed under extensions. When $\mathcal{C}$ is closed under kernels of epimorphisms (or closed under cokernels of monomorphisms), we describe the smallest class of modules that filters $\mathcal{C}$. As a consequence, we obtain sufficient conditions for the finitistic dimension of an algebra over a field to be finite. We also apply our results to the torsion pairs. In particular, when a torsion pair is induced by a tilting module, we show that the smallest classes of modules that filter the torsion and tor…
Given an abelian $p$-group $G$ of rank $n$, we construct an action of the torus $\mathbb{T}^n$ on the stable module $\infty$-category of $G$-representations over a field of characteristic $p$. The homotopy fixed points are given by the $\infty$-category of module spectra over the Tate construction of the torus. The relationship thus obtained arises from a Galois extension in the sense of Rognes, with Galois group given by the torus. As one application, we give a homotopy-theoretic proof of Dade's classification of endotrivial modules for abelian $p$-groups. As another application, we give a sl…
We introduce the notion of balanced pair of additive subcategories in an abelian category. We give sufficient conditions under which the balanced pair of subcategories gives rise to equivalent homotopy categories of complexes. As an application, we prove that for a left-Gorenstein ring, there exists a triangle-equivalence between the homotopy category of its Gorenstein projective modules and the homotopy category of its Gorenstein injective modules, which restricts to a triangle-equivalence between the homotopy category of projective modules and the homotopy category of injective modules. In t…
For a suitable triangulated category $\mathcal{T}$ with a Serre functor $S$ and a full precovering subcategory $\mathcal{C}$ closed under summands and extensions, an indecomposable object $C$ in $\mathcal{C}$ is called Ext-projective if Ext$^1(C,\mathcal{C})=0$. Then there is no Auslander-Reiten triangle in $\mathcal{C}$ with end term $C$. In this paper, we show that if, for such an object $C$, there is a minimal right almost split morphism $β:B\rightarrow C$ in $\mathcal{C}$, then $C$ appears in something very similar to an Auslander-Reiten triangle in $\mathcal{C}$: an essentially unique tri…
We study the category of Z^l-graded modules with finite-dimensional graded pieces for certain Z+^l-graded Lie algebras. We also consider certain Serre subcategories with finitely many isomorphism classes of simple objects. We construct projective resolutions for the simple modules in these categories and compute the Ext groups between simple modules. We show that the projective covers of the simple modules in these Serre subcategories can be regarded as multigraded generalizations of Kirillov-Reshetikhin modules and give a recursive formula for computing their graded characters.
We classify localising subcategories of the stable module category of a finite group that are closed under tensor product with simple (or, equivalently all) modules. One application is a proof of the telescope conjecture in this context. Others include new proofs of the tensor product theorem and of the classification of thick subcategories of the finitely generated modules which avoid the use of cyclic shifted subgroups. Along the way we establish similar classifications for differential graded modules over graded polynomial rings, and over graded exterior algebras.
We study ideal cotorsion pairs associated to weak proper classes of triangles in extension closed subcategories of triangulated categories. This approach allows us to extend the recent ideal approximations theory developed by Fu, Herzog et al. for exact categories in the above mentioned context, and to provide simplified proofs for the ideal versions of some standard results as Salce's Lemma, Wakamatsu's Lemma and Christensen's Ghost Lemma. In the last part of the paper we apply the theory in order to study connections between projective classes (in particular localization or smashing subcateg…
