2 problems
Gorensteinness conjecture. If is an almost Gorenstein graded ring, then is a Gorenstein ring.
Arbitrary-degree elimination conjecture. For arbitrary , has projective dimension two and specializes to the defining ideal of the Rees algebra .