代数簇上除子的线性等价与加减极限.docVIP

代数簇上除子的线性等价与加减极限

一、代数簇与除子的基础概念

（一）代数簇的定义与分类

代数簇是代数几何的核心研究对象，它是由多项式方程组的公共零点集所定义的几何空间。从维度上看，代数簇可以分为仿射簇和射影簇。仿射簇通常定义在仿射空间$\mathbb{A}^n$中，例如平面曲线$y=x^2$就是一个二维仿射簇；而射影簇则定义在射影空间$\mathbb{P}^n$中，比如射影平面$\mathbb{P}^2$中的椭圆曲线。

从奇点的角度，代数簇又可分为光滑簇和奇异簇。光滑簇在每一点都存在一个局部同构于欧几里得空间的邻域，例如二维球面在代数几何中可对应一个光滑射影曲面；而奇异簇则存在奇点，比如曲线$y^2=x^3$在原点处就是一个奇点，该点的切空间维度大于曲线本身的维度。

（二）除子的概念与类型

除子是代数簇上的一种重要的几何对象，它可以被看作是余维数为1的子簇的形式和。具体来说，设$X$是一个代数簇，$D$是$X$上的一个除子，那么$D$可以表示为$D=\sum_{i}n_iZ_i$，其中$Z_i$是$X$上余维数为1的不可约子簇，$n_i$是整数。

除子主要有Cartier除子和Weil除子两种类型。Cartier除子是由局部函数定义的，它可以看作是代数簇上的一种“局部平凡”的除子。例如，在仿射空间$\math