We study the Gorenstein weak global dimension of associative rings and its relation to the Gorenstein global dimension. In particular, we prove the conjecture that the Gorenstein weak global dimension is a left-right symmetric invariant -- just like the (absolute) weak global dimension.
In this paper, we investigate the weak Gorenstein global dimensions. We are mainly interested in studying the problem when the left and right weak Gorenstein global dimensions coincide. We first show, for GF-closed rings, that the left and right weak Gorenstein global dimensions are equal when they are finite. Then, we prove that the same equality holds for any two-sided coherent ring. We conclude the paper with some examples and a brief discussion of the scope and limits of our results.
We expand on two existing characterizations of rings of Gorenstein (weak) global dimension zero and give two new characterizations of rings of finite Gorenstein (weak) global dimension. We also include the answer to a question of Y.~Xiang on Gorenstein weak global dimension of group rings.
A new homological symmetry condition is exhibited that extends and unifies several recently defined and widely used concepts. Applications include general constructions of tilting modules and derived equivalences, and characterisations of Gorenstein properties of endomorphism rings.
In this paper, we introduce the notions of Gorenstein weak injective and weak flat modules respectively in terms of weak injective and weak flat modules, which is larger than classical classes of Gorenstein injective and flat modules. In this new setting, we characterize rings over which all modules are Gorenstein weak injective. Moreover, we also discuss a relation between weak cosyzygy and Gorenstein weak cosyzygy of a module, and the stability of Gorenstein weak injective modules.
In this note, we mainly extend some Gorenstein homological properties from special rings (Noetherian or coherent rings ) to arbitrary rings by introducing the notions of Gorenstein weak injective and weak projective modules respectively.
In this paper, we prove that Gorenstein projective conjecture is left and right symmetric and the co-homology vanishing condition can not be reduced in general. Moreover, the Gorenstein projective conjecture is proved to be true for CM-finite algebras.
Let $R$ be a Cohen--Macaulay normal domain with a canonical module $ω_R$. It is proved that if $R$ admits a noncommutative crepant resolution (NCCR), then necessarily it is $\mathbb{Q}$-Gorenstein. Writing $S$ for a Zariski local canonical cover of $R$, then a tight relationship between the existence of noncommutative (crepant) resolutions on $R$ and $S$ is given. A weaker notion of Gorenstein modification is developed, and a similar tight relationship is given. There are three applications: non-Gorenstein quotient singularities by connected reductive groups cannot admit an NCCR, the centre of…
Under semi-weak and weak compatibility of bimodules, we establish sufficient and necessary conditions of Gorenstein-projective modules over rings of Morita contexts with one bimodule homomorphism zero. This generalises and extends results on triangular matrix Artin algebras and on Artin algebras of Morita contexts with two bimodule homomorphisms zero in the literature, where only sufficient conditions are given under a strong assumption of compatibility of bimodules. An application is provided to describe Gorenstein-projective modules over noncommutative tensor products arising from Morita con…
In this paper we develop the homological properties of the $(\mathcal{L}, \mathcal{A})$-Gorenstein flat $R$-modules $\mathcal{GF}_{(\mathcal{F}(R), \mathcal{A})}$ proposed by Gillespie. Where the class $\mathcal{A} \subseteq \mathrm{Mod} (R^{op})$ sometimes corresponds to a duality pair $(\mathcal{L}, \mathcal{A})$. We study the weak global and finitistic dimensions that comes with $\mathcal{GF}_{(\mathcal{F}(R), \mathcal{A})}$ and show that over a $(\mathcal{L}, \mathcal{A})$-Gorenstein ring, the functor $-\otimes _R -$ is left balanced over $\mathrm{Mod} (R^{op}) \times \mathrm{Mod} (R)$ by …
Let $A$ and $B$ be rings, $U$ a $(B,A)$-bimodule and $T=\begin{pmatrix} A&0\\U&B \end{pmatrix}$ the triangular matrix ring. In this paper, several notions in relative Gorenstein algebra over a triangular matrix ring are investigated. We first study how to construct w-tilting (tilting, semidualizing) over $T$ using the corresponding ones over $A$ and $B$. We show that when $U$ is relative (weakly) compatible we are able to describe the structure of $G_C$-projective modules over $T$. As an application, we study when a morphism in $T$-Mod has a special $G_CP(T)$-precover and when the class $G_CP(…
For any ring R we construct two triangulated categories, each admitting a functor from R-modules that sends projective and injective modules to 0. When R is a quasi-Frobenius or Gorenstein ring, these triangulated categories agree with each other and with the usual stable module category. Our stable module categories are homotopy categories of Quillen model structures on the category of R-modules. These model categories involve generalizations of Gorenstein projective and injective modules that we derive by replacing finitely presented modules by modules of type FP-infinity. Along the way, we …
For an $(n-1)$-Auslander algebra $Λ$ with global dimension $n$, we give some necessary conditions for $Λ$ admitting a maximal $(n-1)$-orthogonal subcategory in terms of the properties of simple $Λ$-modules with projective dimension $n-1$ or $n$. For an almost hereditary algebra $Λ$ with global dimension 2, we prove that $Λ$ admits a maximal 1-orthogonal subcategory if and only if for any non-projective indecomposable $Λ$-module $M$, $M$ is injective is equivalent to that the reduced grade of $M$ is equal to 2. We give a connection between the Gorenstein Symmetric Conjecture and the existence o…
The symmetric group S_n acts on the skew polynomial ring A=k_{-1}[x_1,..., x_n] as permutations. For subgroups G of S_n we consider properties of the ring of invariants A^G. We show that A^G is always Artin-Schelter Gorenstein, and we investigate when A^G is a "complete intersection", in a sense we define. We obtain bounds on the degrees of the algebra generators. The properties of A^G are compared with those in the classical case, k[x_1, ..., x_n]^G.
We study a special class of weakly associative algebras: the symmetric Leibniz algebras. We describe the structure of the commutative and skew symmetric algebras associated with the polarization-depolarization principle. We also give a structure theorem for the symmetric Leibniz algebras and we study formal deformations in the context of deformation quantization.