Prefer a chat interface with context about you and your work?
Existence of Gorenstein projective resolutions and Tate cohomology
Existence of proper Gorenstein projective resolutions and Tate cohomology is proved over rings with a dualizing complex. The proofs are based on Bousfield Localization which is originally a method from algebraic topology.