Homological projective duality was missing
Resolution of singularities would be awesome