Gorenstein projective modules and Gorenstein flatness

Determine whether every Gorenstein projective module over an arbitrary ring is Gorenstein flat.

Background

Gorenstein projective and Gorenstein flat modules are central classes in Gorenstein homological algebra. The paper establishes positive partial results: every ℵ₁-generated strongly Gorenstein projective module is Gorenstein flat, and every strongly ℵ₁-presented Gorenstein projective module is Gorenstein flat. These size-restricted results do not resolve the general problem posed by Holm for arbitrary Gorenstein projective modules.

References

One central open problem, posed by Holm , asks whether every Gorenstein projective module is Gorenstein flat.

— Mittag-Leffler Conditions, Gorenstein Modules and Homological Invariants  (2608.13898 - Dai et al., 14 Aug 2026) in Introduction; Section 3, immediately before Proposition 3.1

Hence the following questions are equivalent: \begin{itemize} \item Does $GP(R)\subseteqGF(R)$ hold for every ring $R$? \item Does $GP(R)=PGF(R)$ hold for every ring $R$? \end{itemize} Šaroch--Šťovíček stated this problem Remark following Example~3.10; it remains open in $\textsf{ZFC}$.

— A strongly compact cardinal yields a left and right coherent ring with $\mathcal{PGF}(R)\subsetneq\mathcal{GP}(R)$  (2608.17748 - Zhang, 18 Aug 2026) in Section 1, Introduction