中井予想

Vが複素代数多様体で、微分作用素環で生成される場合、 Vは滑らかな多様体である。逆のステートメントとして、滑らかな代数多様体はそれらの導関数によって生成される微分演算子環を持っているアレクサンドル・グロタンディークの結果である^[2]。

中井予想は代数曲線^[3]とStanley–Reisner環に当てはまることが知られている^[4]。

予想の証明は座標環Rを持つ複雑な品種Vについて、ザリスキ-リップマン予想を確立する。この予想は、R上の自由加群ならば、 Vは滑らかであるという主張である^[5]。