Koszul cohomology and the geometry of projective varieties | Synapse