Förmodan om överflöd

I algebraisk geometri är överflödsförmodan en gissning i birational geometri , närmare bestämt i det minimala modellprogrammet , som anger att för varje projektiv varietet med Kawamata log terminal singulariteter över ett fält om kanoniskt paket är nef , då är semi-ample.

Viktiga fall av överflödsförmodan har bevisats av Caucher Birkar .