abstract. we give sufficient conditions for a frobenius category to be equivalent to
the category of gorenstein projective modules over an iwanaga–gorenstein ring. we
then apply this result to the frobenius category of special cohen–macaulay modules
over a rational surface singularity, where we show that the associated stable category is triangle equivalent to the singularity category of a certain discrepant partial
resolution of the given rational singularity. in particular, this produces uncountably
many iwanaga–gorenstein rings of finite gp type. we also apply our method to
representation theory, obtaining auslander–solberg and kong type results.