Given a homological epimorphism $π:\mathcal{C}\longrightarrow \mathcal{C}/\mathcal{I}$ between $K$-categories, we show that if the ideal $\mathcal{I}$ satisfies certain conditions, then there exists an equivalence between the singularity categories $\mathbf{D}_{sg}(\mathrm{Mod}(\mathcal{C}))$ and $ \mathbf{D}_{sg}(\mathrm{Mod}(\mathcal{C}/\mathcal{I}))$. This result generalizes the one obtained by Xiao-Wu Chen in [6]. We apply our result to the one point extension category and show that there is a singular equivalence between a $K$-category $\mathcal{U}$ and its one point extension category $Λ:=\left[ \begin{smallmatrix} \mathcal{C}_{K} & 0 \\ \underline{M} & \mathcal{U} \end{smallmatrix}\right].$
We prove that a certain homological epimorphism between two algebras induces a triangle equivalence between their singularity categories. Applying the result to a construction of matrix algebras, we describe the singularity categories of some non-Gorenstein algebras.
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…
We show that recollements of module categories give rise to homomorphisms between the associated Hochschild cohomology algebras which preserve the strict Gerstenhaber structure, i.e., the cup product, the graded Lie bracket and the squaring map. We review various long exact sequences in Hochschild cohomology and apply our results in order to realise that the occurring maps preserve the strict Gerstenhaber structure as well. As a byproduct, we generalise a known long exact cohomology sequence of Koenig-Nagase to arbitrary surjective homological epimorphisms. We use our observations to motivate …
Under mild assumptions, we construct the two Matlis additive category equivalences for an associative ring epimorphism $u\colon R\to U$. Assuming that the ring epimorphism is homological of flat/projective dimension $1$, we discuss the abelian categories of $u$-comodules and $u$-contramodules and construct the recollement of unbounded derived categories of $R$-modules, $U$-modules, and complexes of $R$-modules with $u$-co/contramodule cohomology. Further assumptions allow to describe the third category in the recollement as the unbounded derived category of the abelian categories of $u$-comodu…
We show that direct summands of certain additive functors arising as bifunctors with a fixed argument in an abelian category are again of that form whenever the fixed argument has finite length or, more generally, satisfies the descending chain condition on images of nested endomorphisms. In particular, this provides a positive answer to a conjecture of M. Auslander in the case of categories of finite modules over artin algebras. This implies that the covariant Ext functors are the only injectives in the category of defect-zero finitely presented functors on such categories.
We prove that any faithful Frobenius functor between abelian categories preserves the Gorenstein projective dimension of objects. Consequently, it preserves and reflects Gorenstein projective objects. We give conditions on when a Frobenius functor preserves the stable categories of Gorenstein projective objects, the singularity categories and the Gorenstein defect categories, respectively. In the appendix, we give a direct proof of the following known result: for an abelian category with enough projectives and injectives, its global Gorenstein projective dimension coincides with its global Gor…
Let $k$ be a commutative Noetherian ring and $\underline{\mathscr{C}}$ be a locally finite $k$-linear category equipped with a self-embedding functor of degree 1. We show under a moderate condition that finitely generated torsion representations of $\underline{\mathscr{C}}$ are super finitely presented (that is, they have projective resolutions each term of which is finitely generated). In the situation that these self-embedding functors are genetic functors, we give upper bounds for homological degrees of finitely generated torsion modules. These results apply to quite a few categories recent…
Surjective homological epimorphisms with stratifying kernel can be used to construct recollements of derived module categories. These `stratifying' recollements are derived from recollements of module categories. Can every recollement be put in this form, up to equivalence? A negative answer will be given after providing a characterisation of recollements equivalent to stratifying ones. Moreover, criteria for a ring epimorphism to be `stratifying' will be presented as well as constructions of such epimorphisms.
We prove that the global dimension of the complex algebra of the monoid of all partial functions on an n-set is $n-1$ for all $n\geq 1$. This is also the global dimension of the complex algebra of the category of all epimorphisms between subsets of an $n$-set. In our proof we use standard homological methods as well as combinatorial techniques associated to the representation theory of the symmetric group. As part of the proof, we obtain a partial description of the Cartan matrix of these algebras.
We study the homological algebra in the category $\mathcal{P}_p$ of strict polynomial functors of degree $p$ over a field of positive characteristic $p$. We determine the decomposition matrix of our category and we calculate the Ext-groups between functors important from the point of view of representation theory. Our results include computations of the Ext-algebras of simple functors and Schur functors. We observe that the category $\mathcal{P}_p$ has a Kazhdan-Lusztig theory and we show that the DG algebras computing the Ext-algebras for simple functors and Schur functors are formal. These l…
It is important for applications of Homological Algebra in Representation Theory to have control over the behaviour of (minimal) projective resolutions under various functors. In this article we describe three broad families of functors that preserve such resolutions. We will use these results in our work on Representation Theory of Schur algebras.
Happel constructed a fully faithful functor $\mathcal{H} :\mathsf{D}^{\mathrm{b}}(\text{mod} \ Λ) \to \underline{\text{mod}}^{\Bbb{Z}} \ \text{T}(Λ)$ for a finite dimensional algebra $Λ$. He also showed that this functor $\mathcal{H}$ gives an equivalence precisely when $\text{gldim } Λ< \infty$. Thus if $\mathcal{H}$ gives an equivalence, then it provides a canonical tilting object $\mathcal{H} (Λ)$ of $\underline{\text{mod}}^{\mathbb{Z}} \ \text{T}(Λ)$. In this paper we generalize Happel's functor $\mathcal{H}$ in the case where $\text{T}(Λ)$ is replaced with a finitely graded IG algebra $A$…
We study the category of $\mathbb{Z}$-indexed sequences over an abelian category and certain generalized homology functors for this category of sequences which are indexed by positive integers $a$ and $b$. By looking at the corresponding derived category, we show that there is an "optimal" subcategory of sequences for every choice of our generalized homology functors, namely, the category of $N$-complexes (sequences for which the differential $d$ satisfies $d^N = 0$) where $N = a + b$. In this optimal case we show that our homology functors reduce to Kapranov's homology functors $\operatorname…
Let $A= Λ\oplus C$ be a trivial extension algebra. The aim of this paper is to establish formulas for the projective dimension and the injective dimension for a certain class of $A$-modules which is expressed by using the derived functors $- \otimes^{\mathbb{L}}_ΛC$ and $\mathbb{R}\text{Hom}_Λ(C, -)$. Consequently, we obtain formulas for the global dimension of $A$, which gives a modern expression of the classical formula for the global dimension by Palmer-Roos and Löfwall that is written in complicated classical derived functors. The main application of the formulas is to give a necessary and…
We prove a general representation stability result for polynomial coefficient systems which lets us prove representation stability and secondary homological stability for many families of groups with polynomial coefficients. This gives two generalizations of classical homological stability theorems with twisted coefficients. We apply our results to prove homological stability for hyperelliptic mapping class groups with twisted coefficients, prove new representation stability results for congruence subgroups, establish secondary homological stability for groups of diffeomorphisms of surfaces vi…
We generalise notions of Gorenstein homological algebra for rings to the context of arbitrary abelian categories. The results are strongest for module categories of rngs with enough idempotents. We also reformulate the notion of Frobenius extensions of noetherian rings into a setting which allows for direct generalisation to arbitrary abelian categories. The abstract theory is then applied to the BGG category O for Lie superalgebras, which can now be seen as a "Frobenius extension" of the corresponding category for the underlying Lie algebra and is therefore "Gorenstein". In particular we obta…
From certain triangle functors, called non-negative functors, between the bounded derived categories of abelian categories with enough projective objects, we introduce their stable functors which are certain additive functors between the stable categories of the abelian categories. The construction generalizes a previous work by Hu and Xi. We show that the stable functors of non-negative functors have nice exactness property and are compatible with composition of functors. This allows us to compare conveniently the homological properties of objects linked by the stable functors. Particularly, …
We develop the basic constructions of homological algebra in the (appropriately defined) unbounded derived categories of modules over algebras over coalgebras over noncommutative rings (which we call semialgebras over corings). We define double-sided derived functors SemiTor and SemiExt of the functors of semitensor product and semihomomorphisms, and construct an equivalence between the exotic derived categories of semimodules and semicontramodules. Certain (co)flatness and/or (co)projectivity conditions have to be imposed on the coring and semialgebra to make the module categories abelian (an…
For a recollement $(\mathcal{D}B,\mathcal{D}A,\mathcal{D}C)$ of derived categories of algebras, we investigate when the functor $j^*:\mathcal{D}A\rightarrow\mathcal{D}C$ is an eventually homological isomorphism. In this context, we compare the algebras $A$ and $C$ with respect to Gorensteinness, singularity categories and the finite generation condition Fg for the Hochschild cohomology. The results are applied to stratifying ideals, triangular matrix algebras and derived discrete algebras.
We study the coinduction functor on the category of FI-modules and its variants. Using the coinduction functor, we give new and simpler proofs of (generalizations of) various results on homological properties of FI-modules. We also prove that any finitely generated projective VI-module over a field of characteristic 0 is injective.
In this largely expository paper we extend properties of the homological duality functor $RHom_{\mathcal H}(-,{\mathcal H})$ where ${\mathcal H}$ is the Hecke algebra of a reductive $p$-adic group, to the case where it is the Hecke algebra of a finite central extension of a reductive $p$-adic group. The most important properties being that $RHom_{\mathcal H}(-,{\mathcal H})$ is concentrated in a single degree for irreducible representations and that it gives rise to Schneider--Stuhler duality for Ext groups (a Serre functor like property). Along the way we also study Grothendieck--Serre dualit…
An (additive) functor F from an additive category A to an additive category B is said to be objective, provided any morphism f in A with F(f) = 0 factors through an object K with F(K) = 0. In this paper we concentrate on triangle functors between triangulated categories. The first aim of this paper is to characterize objective triangle functors F in several ways. Second, we are interested in the corresponding Verdier quotient functors V_F, in particular we want do know under what conditions V_F is full. The third question to be considered concerns the possibility to factorize a given triangle …
In this paper, we consider a kind of ideal quotient of an extriangulated category such that the ideal is the kernel of a functor from this extriangulated category to an abelian category. We study a condition when the functor is dense and full, in another word, the ideal quotient becomes abelian. Moreover, a new equivalent characterization of cluster-tilting subcategories is given by applying homological methods according to this functor. As an application, we show that in a connected 2-Calabi-Yau triangulated category B, a functorially finite, extension closed subcategory T of B is cluster til…
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 …
We show, in full generality, that Lusztig's $\mathbf{a}$-function describes the projective dimension of both indecomposable tilting modules and indecomposable injective modules in the regular block of the BGG category $\mathcal{O}$, proving a conjecture from the first paper. On the way we show that the images of simple modules under projective functors can be represented in the derived category by linear complexes of tilting modules. These complexes, in turn, can be interpreted as the images of simple modules under projective functors in the Koszul dual of the category $\mathcal{O}$. Finally, …
We introduce a new functor category: the category $\mathcal{P}_{d,n}$ of strict polynomial functors with bounded by $n$ domain of degree $d$ over a field of characteristic $p>0$. It is equivalent to the category of finite dimensional modules over the Schur algebra $S(n,d)$, hence it allows one to apply the tools available in functor categories to representations of the algebraic group $\operatorname{GL}_n$. We investigate in detail the homological algebra in ${\cal P}_{d,n}$ for $d=p$ and establish equivalences between certain subcategories of ${\cal P}_{d,n}$'s which resemble the Spanier-Whit…
