Can the finite Gorenstein dimension hypothesis on N be removed in Theorem 5.4(2)?
Determine whether the implication PR(N,M) < ∞ ⇒ PR(M,N) < ∞ in the Ext symmetry result holds without assuming Gdim_R N < ∞, under the remaining hypotheses of Theorem 5.4(2): R is a Cohen–Macaulay local ring with canonical module W_R, PR(W_R,M) < ∞, cob_M < ∞, PR(M,R) < ∞, Q is an MCM syzygy of N, and Ext_R^n(Hom_R(Q,M), R) = 0 for all sufficiently large n.
References
Question 5.6. Can we drop the Gdimp N < < assumption in Theorem 5.4?
                — A Study on Auslander Bounds
                
                (2402.06130 - Levins, 9 Feb 2024) in Question 5.6