The principle “Every result in classical homological algebra should have a counterpart in Gorenstein homological algebra” was given by Henrik Holm. There is a remarkable body of evidence supporting this claim. Perhaps one of the most glaring exceptions is provided by the fact that tensor products of Gorenstein projective modules need not be Gorenstein projective, even over Gorenstein rings. So ...

We investigate the notion of the C-projective dimension of a module, where C is a semidualizing module. When C = R, this recovers the standard projective dimension. We show that three natural definitions of finite Cprojective dimension agree, and investigate the relationship between relative cohomology modules and absolute cohomology modules in this setting. Finally, we prove several results th...

In this paper we use "ring changed'' Gorenstein homologicaldimensions to define Cohen-Macaulay injective, projective and flatdimensions. For doing this we use the amalgamated duplication of thebase ring with semi-dualizing ideals. Among other results, we prove that finiteness of these new dimensions characterizes Cohen-Macaulay rings with dualizing ideals.

Let $A$ be a Banach algebra, $\Omega(A)$ be the character space of $A$ and $\alpha\in\Omega(A)$. In this paper, we examine the characteristics of $\alpha$-projective (injective) $A$-modules and demonstrate that these character-based $A$-modules also satisfy well-known classical homological properties on Banach $A$-modules.

The main theorem of this paper asserts that the inclusion of the space of projective Lagrangian planes into the space of Lagrangian submanifolds of complex projective space induces an injective homomorphism of fundamental groups. We introduce three invariants of exact loops of Lagrangian submanifolds that are modelled on invariants introduced by Polterovich for loops of Hamiltonian symplectomor...

The higher direct image complex of a coherent sheaf (or finite complex of coherent sheaves) under a projective morphism is a fundamental construction that can be defined via a Cech complex or an injective resolution, both inherently infinite constructions. Using exterior algebras and relative versions of theorems of Beilinson and Bernstein-Gel’fand-Gel’fand, we give an alternate description in ...

It is well-known that a countably injective module is Σ-injective. In Proc. Amer. Math. Soc. 316, 10 (2008), 3461-3466, Beidar, Jain and Srivastava extended it and showed that an injective module M is Σ-injective if and only if each essential extension of M(א0) is a direct sum of injective modules. This paper extends and simplifies this result further and shows that an injective module M is Σ-i...