In algebraic geometry, projective varieties are classified up to isomorphism. This involves classifying the varieties up to birational equivalence and classifying nonsingular varieties in each equivalence class up to ...