Nakai conjecture

if a complex algebraic variety has a ring of differential operators generated by its contained derivations, then it must be smooth.

Open the “Algebraic geometry” section on Wikipedia →

Source: List of unsolved problems in mathematics (CC BY-SA 4.0)