In algebraic geometry, the abundance conjecture is a conjecture in birational geometry, more precisely in the minimal model program, stating that for every projective variety
with Kawamata log terminal singularities over a field
Important cases of the abundance conjecture have been proven by Caucher Birkar.
[1] This algebraic geometry–related article is a stub.
You can help Wikipedia by expanding it.