论特征零下 de Rham 深度与形式阶的理想等式

设 $Y \subset \mathbb{P}^n_k$ 为特征零域 $k$ 上射影 $n$ 空间的非奇异真闭子集，并设 $I \subset R=k[x_0, \ldots, x_n]$ 为 $Y$ 的齐次定义理想。我们表明在此情形下，$Y$ 的 de Rham 深度与 $I$ 在 $R$ 中的所谓形式阶相同。