Mukai Conjecture

Abstract

In algebraic geometry, syzygies roughly refers to the relations of defining equations of a projective variety embedded in a projective space. They are defined in terms of a minimal graded free resolution for the homogeneous coordinate ring over a polynomial ring. Since the resolution is unique up to isomorphism, it makes sense to talk about the number of a minimal set of generators of given degree in any syzygy module.