切层

切层是代数簇上的点的切空间构成的层。更精确地说，对于代数簇 X，切层就是 X 上一次微分所构成的层的对偶层。