Given a non-negative integer n and a ring R with identity, we construct a hereditary abelian model structure on the category of left R-modules where the class of cofibrant objects coincides with $\mathcal{GF}_n(R)$ the class of left R-modules with Gorenstein flat dimension at most n, the class of fibrant objects coincides with $\mathcal{F}_n(R)^\perp$ the right ${\rm Ext}$-orthogonal class of left R-modules with flat dimension at most n, and the class of trivial objects coincides with $\mathcal{PGF}(R)^\perp$ the right ${\rm Ext}$-orthogonal class of PGF left R-modules recently introduced by Šaroch and . The homotopy category of this model structure is triangulated equivalent to the stable category $\underline{\mathcal{GF}(R)\cap\mathcal{C}(R)}$ modulo flat-cotorsion modules and it is compactly generated when R has finite global Gorenstein projective dimension.

The second part of this paper deals with the PGF dimension of modules and rings. Our results suggest that this dimension could serve as an alternative definition of the Gorenstein projective dimension. We show, among other things, that (n-)perfect rings can be characterized in terms of Gorenstein homological dimensions, similar to the classical ones, and the global Gorenstein projective dimension coincides with the global PGF dimension.

Many connections and dualities in representation theory and Lie theory can be explained using quasi-hereditary covers in the sense of Rouquier. Recent work by the first-named author shows that relative dominant (and codominant) dimensions are natural tools to classify and distinguish distinct quasi-hereditary covers of a finite-dimensional algebra. In this paper, we prove that the relative dominant dimension of a quasi-hereditary algebra, possessing a simple preserving duality, with respect to a direct summand of the characteristic tilting module is always an even number or infinite and that this homological invariant controls the quality of quasi-hereditary covers that possess a simple preserving duality. To resolve the Temperley–Lieb algebras, we apply this result to the class of Schur algebras $S(2, d)$ and their $q$-analogues. Our second main result completely determines the relative dominant dimension of $S(2, d)$ with respect to $Q=V^{\otimes d}$, the $d$-th tensor power of the natural two-dimensional module. As a byproduct, we deduce that Ringel duals of $q$-Schur algebras $S(2,d)$ give rise to quasi-hereditary covers of Temperley–Lieb algebras. Further, we obtain precisely when the Temperley–Lieb algebra is Morita equivalent to the Ringel dual of the $q$-Schur algebra $S(2, d)$ and precisely how far these two algebras are from being Morita equivalent, when they are not. These results are compatible with the integral setup, and we use them to deduce that the Ringel dual of a $q$-Schur algebra over the ring of Laurent polynomials over the integers together with some projective module is the best quasi-hereditary cover of the integral Temperley–Lieb algebra.

Let Λ be an artin algebra and $0=I_{0}\subseteq I_{1} \subseteq I_{2}\subseteq\cdots \subseteq I_{n}$ a chain of ideals of Λ such that $(I_{i+1}/I_{i})\rad(\Lambda/I_{i})=0$ for any $0\leq i\leq n-1$ and $\Lambda/I_{n}$ is semisimple. If either none or the direct sum of exactly two consecutive ideals has infinite projective dimension, then the finitistic dimension conjecture holds for Λ. As a consequence, we have that if either none or the direct sum of exactly two consecutive terms in the radical series of Λ has infinite projective dimension, then the finitistic dimension conjecture holds for Λ. Some known results are obtained as corollaries.

Let R→U be an associative ring epimorphism such that U is a flat left R-module. Assume that the related Gabriel topology $\mathbb{G}$ of right ideals in R has a countable base. Then we show that the left R-module U has projective dimension at most 1. Furthermore, the abelian category of left contramodules over the completion of R at $\mathbb{G}$ fully faithfully embeds into the Geigle–Lenzing right perpendicular subcategory to U in the category of left R-modules, and every object of the latter abelian category is an extension of two objects of the former one. We discuss conditions under which the two abelian categories are equivalent. Given a right linear topology on an associative ring R, we consider the induced topology on every left R-module and, for a perfect Gabriel topology $\mathbb{G}$, compare the completion of a module with an appropriate Ext module. Finally, we characterize the U-strongly flat left R-modules by the two conditions of left positive-degree Ext-orthogonality to all left U-modules and all $\mathbb{G}$-separated $\mathbb{G}$-complete left R-modules.

Let $R$ be a two-sided Noetherian ring, and let $M$ be a nilpotent $R$-bimodule, which is finitely generated on both sides. We study Gorenstein homological properties of the tensor ring $T_{R}(M)$. Under certain conditions, the ring $R$ is Gorenstein if and only if so is $T_{R}(M)$. We characterize Gorenstein projective $T_{R}(M)$-modules in terms of $R$-modules.

A classification of simple weight modules over the Schrödinger algebra is given. The Krull and the global dimensions are found for the centralizer ${{C}_{S}}(H)$ (and some of its prime factor algebras) of the Cartan element $H$ in the universal enveloping algebra $S$ of the Schrödinger (Lie) algebra. The simple ${{C}_{S}}(H)$-modules are classified. The Krull and the global dimensions are found for some (prime) factor algebras of the algebra $S$ (over the centre). It is proved that some (prime) factor algebras of $S$ and ${{C}_{S}}(H)$ are tensor homological$/$Krull minimal.

In this paper, we consider several homological dimensions of crossed products AασG, where A is a left Noetherian ring and G is a finite group. We revisit the induction and restriction functors in derived categories, generalizing a few classical results for separable extensions. The global dimension and finitistic dimension of AσαG are classified: global dimension of AσαG is either infinity or equal to that of A, and finitistic dimension of AσαG coincides with that of A. A criterion for skew group rings to have finite global dimensions is deduced. Under the hypothesis that A is a semiprimary algebra containing a complete set of primitive orthogonal idempotents closed under the action of a Sylow p-subgroup S ≤ G, we show that A and AασG share the same homological dimensions under extra assumptions, extending the main results in (Li, Representations of modular skew group algebras, Trans. Amer. Math. Soc.367(9) (2015), 6293–6314, Li, Finitistic dimensions and picewise hereditary property of skew group algebras, to Glasgow Math. J.57(3) (2015), 509–517).

Let $\mathcal{E}$ be an injectively resolving subcategory of left $R$-modules. A left $R$-module $M$ (resp. right $R$-module $N$) is called $\mathcal{E}$-injective (resp. $\mathcal{E}$-flat) if $\text{Ext}_{R}^{1}\left( G,\,M \right)\,=\,0$ (resp. $\text{Tor}_{1}^{R}\left( N,\,G \right)\,=\,0$) for any $G\,\in \,\mathcal{E}$. Let $\mathcal{E}$ be a covering subcategory. We prove that a left $R$-module $M$ is $\mathcal{E}$-injective if and only if $M$ is a direct sum of an injective left $R$-module and a reduced $\mathcal{E}$-injective left $R$-module. Suppose $\mathcal{F}$ is a preenveloping subcategory of right $R$-modules such that ${{\mathcal{E}}^{+}}\,\subseteq \,\mathcal{F}$ and ${{\mathcal{F}}^{+}}\,\subseteq \,\mathcal{E}$. It is shown that a finitely presented right $R$-module $M$ is $\mathcal{E}$-flat if and only if $M$ is a cokernel of an $\mathcal{F}$-preenvelope of a right $R$-module. In addition, we introduce and investigate the $\mathcal{E}$-injective and $\mathcal{E}$-flat dimensions of modules and rings. We also introduce $\mathcal{E}$-(semi)hereditary rings and $\mathcal{E}$-von Neumann regular rings and characterize them in terms of $\mathcal{E}$-injective and $\mathcal{E}$-flat modules.

Let Λ be a finite-dimensional algebra and G be a finite group whose elements act on Λ as algebra automorphisms. Assume that Λ has a complete set E of primitive orthogonal idempotents, closed under the action of a Sylow p-subgroup S ≤ G. If the action of S on E is free, we show that the skew group algebra Λ G and Λ have the same finitistic dimension, and have the same strong global dimension if the fixed algebra ΛS is a direct summand of the ΛS-bimodule Λ. Using a homological characterization of piecewise hereditary algebras proved by Happel and Zacharia, we deduce a criterion for Λ G to be piecewise hereditary.

A formula is provided to explicitly describe global dimensions of all kinds of tree type finite dimensional $k$-algebras for $k$ an algebraic closed field. In particular, it is pointed out that if the underlying tree type quiver has $n$ vertices, then the maximum global dimension is $n\,-\,1$.

Let $\mathfrak{F}$ be a locally compact nonarchimedean field with residue characteristic $p$, and let $\mathrm{G} $ be the group of $\mathfrak{F}$-rational points of a connected split reductive group over $\mathfrak{F}$. For $k$ an arbitrary field of any characteristic, we study the homological properties of the Iwahori–Hecke $k$-algebra ${\mathrm{H} }^{\prime } $ and of the pro-$p$ Iwahori–Hecke $k$-algebra $\mathrm{H} $ of $\mathrm{G} $. We prove that both of these algebras are Gorenstein rings with self-injective dimension bounded above by the rank of $\mathrm{G} $. If $\mathrm{G} $ is semisimple, we also show that this upper bound is sharp, that both $\mathrm{H} $ and ${\mathrm{H} }^{\prime } $ are Auslander–Gorenstein, and that there is a duality functor on the finite length modules of $\mathrm{H} $ (respectively ${\mathrm{H} }^{\prime } $). We obtain the analogous Gorenstein and Auslander–Gorenstein properties for the graded rings associated to $\mathrm{H} $ and ${\mathrm{H} }^{\prime } $.

When $k$ has characteristic $p$, we prove that in ‘most’ cases $\mathrm{H} $ and ${\mathrm{H} }^{\prime } $ have infinite global dimension. In particular, we deduce that the category of smooth $k$-representations of $\mathrm{G} = {\mathrm{PGL} }_{2} ({ \mathbb{Q} }_{p} )$ generated by their invariant vectors under the pro-$p$ Iwahori subgroup has infinite global dimension (at least if $k$ is algebraically closed).

In this paper, we study algebras of global dimension at most 2 whose generalized cluster category is equivalent to the cluster category of an acyclic quiver which is either a tree or of type Ã. We are particularly interested in their derived equivalence classification. We prove that each algebra which is cluster equivalent to a tree quiver is derived equivalent to the path algebra of this tree. Then we describe explicitly the algebras of cluster type Ãn for each possible orientation of Ãn. We give an explicit way to read off the derived equivalence class in which such an algebra lies, and we describe the Auslander-Reiten quiver of its derived category. Together, these results in particular provide a complete classification of algebras which are cluster equivalent to tame acyclic quivers.

Let A be an artin algebra with representation dimension not more than 3. Assuming that AV is an Auslander generator and M ∈ addAV, we show that both findim(EndAM) and findim(EndAM)op are finite, and consequently the Gorenstein symmetry conjecture, the Wakamatsu-tilting conjecture and the generalized Nakayama conjecture hold for EndAM.

Sather-Wagstaff et al. proved in [8] (S. Sather-Wagsta, T. Sharif and D. White, Stability of Gorenstein categories, J. Lond. Math. Soc.(2), 77(2) (2008), 481–502) that iterating the process used to define Gorenstein projective modules exactly leads to the Gorenstein projective modules. Also, they established in [9] (S. Sather-Wagsta, T. Sharif and D. White, AB-contexts and stability for Goren-stein at modules with respect to semi-dualizing modules, Algebra Represent. Theory14(3) (2011), 403–428) a stability of the subcategory of Gorenstein flat modules under a procedure to build R-modules from complete resolutions. In this paper we are concerned with another kind of stability of the class of Gorenstein flat modules via-à-vis the very Gorenstein process used to define Gorenstein flat modules. We settle in affirmative the following natural question in the setting of a left GF-closed ring R: Given an exact sequence of Gorenstein flat R-modules G = ⋅⋅⋅ G2G1G0G−1G−2 ⋅⋅⋅ such that the complex H ⊗RG is exact for each Gorenstein injective right R-module H, is the module M:= Im(G0 → G−1) a Gorenstein flat module?

A left R-module M is called two-degree Gorenstein flat if there exists an exact sequence of Gorenstein flat left R-modules ⋅⋅⋅ → G2 → G1 → G0 → G−1 → G−2 → ⋅⋅⋅ such that M ≅ Ker(G0 → G−1) and it remains exact after applying H ⊗R- for any Gorenstein injective right R-module H. In this paper we first give some characterisations of Gorenstein flat objects in the category of complexes of modules and then use them to show that two notions of the two-degree Gorenstein flat and the Gorenstein flat left R-modules coincide when R is right coherent.

Let $D$ be a division algebra over a base field $k$. The homological transcendence degree of $D$, denoted by $\text{Htr}\; D$, is defined to be the injective dimension of the algebra $D \otimes_k D^{\circ}$. We show that $\text{Htr}$ has several useful properties which the classical transcendence degree has. We extend some results of Resco, Rosenberg, Schofield and Stafford, and compute $\text{Htr}$ for several classes of division algebras. The main tool for the computation is Van den Bergh's rigid dualizing complex.

In 1989 Happel asked the question whether, for a finite-dimensional algebra $A$ over an algebraically closed field $k,\ \text{\rm gl.dim\,} A< \infty$ if and only if $\text{\rm hch.dim\,} A < \infty$. Here, the Hochschild cohomology dimension of $A$ is given by $\text{\rm hch.dim\,} A := \inf \{ n \in \mathbb{N}_0 \mid \dim \textit{HH}^i(A)=0 \text{ for }i > n \}$. Recently Buchweitz, Green, Madsen and Solberg gave a negative answer to Happel's question. They found a family of pathological algebras $A_q$ for which $\text{\rm gl.dim\,} A_q = \infty$ but $\text{\rm hch.dim\,} A_q=2$. These algebras are pathological in many aspects. However, their Hochschild homology behaviors are not pathological any more; indeed one has $\text{\rm hh.dim\,} A_q = \infty=\text{\rm gl.dim\,} A_q$. Here, the Hochschild homology dimension of $A$ is given by $\text{\rm hh.dim\,} A := \inf \{ n \in \mathbb{N}_0 \mid \dim \textit{HH}_i(A)=0 \text{ for } i > n\}$. This suggests posing a seemingly more reasonable conjecture by replacing the Hochschild cohomology dimension in Happel's question with the Hochschild homology dimension: $\text{\rm gl.dim\,} A < \infty$ if and only if $\text{\rm hh.dim\,} A < \infty$ if and only if $\text{\rm hh.dim\,} A = 0$. The conjecture holds for commutative algebras and monomial algebras. In the case where $A$ is a truncated quiver algebra, these conditions are equivalent to the condition that the quiver of $A$ has no oriented cycles. Moreover, an algorithm for computing the Hochschild homology of any monomial algebra is provided. Thus the cyclic homology of any monomial algebra can be read off when the underlying field is characteristic 0.

Let R be the exterior algebra in n + 1 variables over a field K. We study the Auslander–Reiten quiver of the category of linear R-modules, and of certain subcategories of the category of coherent sheaves over Pn. If n > 1, we prove that up to shift, all but one of the connected components of these Auslander–Reiten quivers are translation subquivers of a ${\bf Z} A_{\infty}$-type quiver. We also study locally free sheaves over the projective n-space Pn for n > 1 and we show that each connected component contains at most one indecomposable locally free sheaf of rank less than n. Finally, using results from the theory of finite-dimensional algebras, we construct a family of indecomposable locally free sheaves of arbitrary large ranks, where the ranks can be computed using the Chebysheff polynomials of the second kind.

In this note it is shown that for $k$ a field, and for the four-dimensional algebra $\Lambda=k\langle x,y\rangle /\langle x^2,y^2,xy+qyx\rangle$ when $q^n\neq 1,0$ for all $n$, there exist a two-dimensional module $M$ and a family of two-dimensional modules $M_i$, $i=1,2,\ldots$, such that $\dim_k\Ext^i_\Lambda(M,M_j)=1$ for $i$ equal to 0, $j$ and $j+1$, and $\dim_k\Ext^i_\Lambda(M,M_j)=0$ otherwise. This is probably the most straightforward example giving a negative answer to a question raised by Maurice Auslander.

We study the properties of tilting modules in the context of properly stratified algebras. In particular, we answer the question of when the Ringel dual of a properly stratified algebra is properly stratified itself, and show that the class of properly stratified algebras for which the characteristic tilting and cotilting modules coincide is closed under taking the Ringel dual. Studying stratified algebras whose Ringel dual is properly stratified, we discover a new Ringel-type duality for such algebras, which we call the two-step duality. This duality arises from the existence of a new (generalized) tilting module for stratified algebras with properly stratified Ringel dual. We show that this new tilting module has a lot of interesting properties; for instance, its projective dimension equals the projectively defined finitistic dimension of the original algebra, it guarantees that the category of modules of finite projective dimension is contravariantly finite, and, finally, it allows one to compute the finitistic dimension of the original algebra in terms of the projective dimension of the characteristic tilting module.