Related papers: Absolutely Clean, Level, and Gorenstein AC-Injecti…
Injective resolutions of modules are key objects of homological algebra, which are used for the computation of derived functors. Semiinjective resolutions of chain complexes are more general objects, which are used for the computation of…
Let A be a standard graded Artinian algebra over a field of characteristic zero and let z be a linear form in A. We define the central simple modules for each such pair (A, z). Assume that A is Gorenstein. Then we prove that A has the…
Let $R\subset A$ be a Frobenius extension of rings. We prove that: (1) for any left $A$-module $M$, $_{A}M$ is Gorenstein projective (injective) if and only if the underlying left $R$-module $_{R}M$ is Gorenstein projective (injective). (2)…
In this paper, we study the relationship of Gorenstein projective objects among three Abelian categories in a recollement. As an application, we introduce the relation of $n$-Gorenstein tilting modules (and Gorenstein syzygy modules) in…
In 2004 and 2005 Enochs et al. characterized the flat and projective quiver-representations of left rooted quivers. The proofs can be understood as filtering the classes $\Phi(\operatorname{Add}\mathscr X)$ and $\Phi(\varinjlim\mathscr X)$…
We review the theory of almost coherent modules that was introduced in "Almost Ring Theory" by Gabber and Ramero. Then we globalize it by developing a new theory of almost coherent sheaves on schemes and on a class of "nice" formal schemes.…
Let $R$ be a ring. It is proved that $(\mathcal{GP}(R), \mathcal{GP}(R)^\bot)$ is a complete hereditary cotorsion pair, where $\mathcal{GP}(R)$ denotes the class of the Gorenstein projective left $R$-modules. Then we get that each left…
We prove that if $R$ is a G-ring then every fully dualizable $R$-linear cocomplete category is equivalent to a twist by a $\mathbb{G}_m$-gerbe of the category of modules over a finite \'etale $R$-algebra. We also show that this holds more…
Let $\mathscr{A}$ be an abelian category having enough projective and injective objects, and let $\mathscr{T}$ be an additive subcategory of $\mathscr{A}$ closed under direct summands. A known assertion is that in a short exact sequence in…
In this paper we extend two results of Happel to commutative rings. Let $(A, \mathfrak{m})$ be a commutative Noetherian local ring. Let $D^b_f(mod \ A)$ be the bounded derived category of complexes of finitely generated modules over $A$…
We consider a finite acyclic quiver $\mathcal{Q}$ and a quasi-Frobenius ring $R$. We endow the category of quiver representations over $R$ with a model structure, whose homotopy category is equivalent to the stable category of…
Let $\Lambda$ be the path algebra of a finite quiver $Q$ over a finite-dimensional algebra $A$. Then $\Lambda$-modules are identified with representations of $Q$ over $A$. This yields the notion of monic representations of $Q$ over $A$. If…
The aim of this paper is twofold. On one hand, we prove a slight generalization of the stability for Gorenstein categories in [SWSW] and [Huang]; and show that the relative Auslander algebra of a CM-finite algebra is CM-free. On the other…
For a semi-separated noetherian scheme, we show that the category of cotorsion Gorenstein flat quasi-coherent sheaves is Frobenius and a natural non-affine analogue of the category of Gorenstein projective modules over a noetherian ring. We…
In this article, we study the Gorenstein property of abelian quotient categories induced by fully rigid subcategories on an exact category B. We also study when d-cluster tilting subcategories become fully rigid. We show that the quotient…
Let $R$ be a commutative Noetherian ring of Krull dimension $d$ admitting a dualizing complex $D$ and let $\frak a$ be any ideal of $R$, we prove that $\Gamma_{\frak a}(G)$ is Gorenstein injective for any Gorenstein injective $R$-module…
Let $A$ be a virtually Gorenstein algebra of finite CM-type. We establish a duality between the subcategory of compact objects in the homotopy category of Gorenstein projective left $A$-modules and the bounded Gorenstein derived category of…
We discuss the relationship between the trace ideal of the canonical module and pseudo-Gorensteinness. In particular, under certain mild assumptions, we show that every pseudo-Gorenstein nearly Gorenstein graded domain is Gorenstein. As an…
Consider the polynomial ring in countably infinitely many variables over a field of characteristic zero, together with its natural action of the infinite general linear group G. We study the algebraic and homological properties of finitely…
We introduce the notions of proto-complete, complete, complete* and strong-complete objects in pointed categories. We show under mild conditions on a pointed exact protomodular category that every proto-complete (respectively complete)…