Cotorsion pairs, thick subcategories, and finitely generated Gorenstein projective modules
Let $R$ be a noetherian algebra over a Cohen--Macaulay ring $S$ admitting a canonical module $ω$, and assume that $R$ is maximal Cohen--Macaulay over $S$. We prove that the category of finitely generated Gorenstein projective $R$-modules coincides with the left $\mathrm Ext$-orthogonal class of the thick subcategory generated by $R$ and ${\mathrm Hom}_S(R,ω)$. As an application, finitely generated Gorenstein projective $R$-modules form the left half of a hereditary cotorsion pair. In the case of Cohen--Macaulay local rings, this yields an affirmative answer to a question of R. Takahashi. We further characterize when $R$ is left weakly Gorenstein. Finally, we prove that a Cohen--Macaulay local ring is Gorenstein if and only if the right $\mathrm Ext$-orthogonal class of finitely generated Gorenstein projective modules coincides with the category of finitely generated modules of finite projective dimension.