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

代数簇上除子的线性等价与加减极限一、代数簇与除子的基础概念（一）代数簇的定义与分类代数簇是代数几何的核心研究对象，它是由多项式方程组的公共零点集所定义的几何空间。从维度上看，代数簇可以分为仿射簇和射影簇。仿射簇通常定义在仿射空间$\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除子是由局部函数定义的，它可以看作是代数簇上的一种“局部平凡”的除子。例如，在仿射空间$\mathbb{A}^n$中，一个非零有理函数$f$定义了一个Cartier除子$(f)=\sum_{Z}v_Z(f)Z$，其中$v_Z(f)$是$f$在子簇$Z$处的赋值。Weil除子则是基于余维数为1的子簇的形式和，在光滑代数簇上，Cartier除子和Weil除子是一一对应的，但在奇异簇上，它们之间存在着区别。二、线性等价的定义与基本性质（一）线性等价的定义设$X$是一个代数簇，$D_1$和$D_2$是$X$上的两个Cartier除子，如果存在$X$上的一个非零有理函数$f$，使得$D_1-D_2=(f)$，其中$(f)$是由$f$定义的主除子，那么我们称$D_1$和$D_2$是线性等价的，记作$D_1\simD_2$。对于Weil除子，在光滑代数簇上，线性等价的定义与Cartier除子类似。如果两个Weil除子$D_1$和$D_2$的差是一个主Weil除子，即存在一个非零有理函数$f$，使得$D_1-D_2=\text{div}(f)$，其中$\text{div}(f)$是$f$的除子，那么$D_1$和$D_2$线性等价。（二）线性等价的基本性质线性等价是一种等价关系，它满足自反性、对称性和传递性。自反性显然成立，因为对于任何除子$D$，$D-D=0$，而零除子是主除子（由常数函数1定义）。对称性是指如果$D_1\simD_2$，那么$D_2\simD_1$，这是因为如果$D_1-D_2=(f)$，那么$D_2-D_1=(f^{-1})$。传递性则是说如果$D_1\simD_2$且$D_2\simD_3$，那么$D_1\simD_3$，这可以通过将对应的有理函数相乘得到。线性等价的除子具有相同的次数。对于射影簇上的除子，次数是一个重要的不变量。设$X$是一个$n$维射影簇，$D$是$X$上的一个除子，$H$是$X$上的一个超平面截面，那么$D$的次数$\deg(D)$定义为$D\cdotH^{n-1}$，其中“$\cdot$”是相交数。如果$D_1\simD_2$，那么$\deg(D_1)=\deg(D_2)$，这是因为主除子与任何除子的相交数都为0。三、线性等价的几何意义与应用（一）线性等价与线性系线性等价的除子可以生成线性系。设$D$是代数簇$X$上的一个除子，那么与$D$线性等价的除子的集合可以表示为$|D|={D'\midD'\simD}$。在射影簇上，$|D|$可以看作是射影空间中的一个子空间，这就是线性系。线性系在代数几何中有着广泛的应用。例如，通过线性系可以定义代数簇到射影空间的态射。设$X$是一个射影簇，$|D|$是一个无基点的线性系，那么对于$X$上的每一点$x$，我们可以定义一个映射$\varphi_{|D|}:X\to\mathbb{P}^N$，其中$N=\dim|D|$，使得$\varphi_{|D|}(x)$是由$x$处的线性系的截面所定义的点。这个态射在研究代数簇的分类和性质中起着重要的作用。（二）线性等价与丰沛除子丰沛除子是代数几何中的一个重要概念，它与线性等价有着密切的关系。一个除子$D$被称为丰沛的，如果存在一个正整数$m$，使得$mD$是一个非常丰沛除子，即$|mD|$定义了一个嵌入$X\to\mathbb{P}^N$。丰沛除子的线性等价类具有很好的性质。例如，丰沛除子的正整数倍也是丰沛的，并且丰沛除子与任何有效除子的相交数都是正的。在射影曲面的分类中，丰沛除子起着关键的作用，它可以用来判断曲面的类型，比如有理曲面、椭圆曲面等。四、加减极限的概念与引入背景（一）加减极限的定义在代数簇上，除子的加减极限是一个相对较新的概念，它主要是为了研究除子在某种极限情况下的行为。设${D_t}_{t\inT}$是代数簇$X$上的一族除子，其中$T$是一个参数空间，通常是一个仿射曲线或者射影曲线。如果当$t$趋近于某个极限点$t_0\inT$时，$D_t$趋近于一个除子$D$，那么我们称$D$是${D_t}$在$t\tot_0$时的极限除子。更具体地说，假设$T=\mathbb{A}^1$，$t_0=0$，对于每个$t\neq0$，$D_t$是$X$上的一个除子，我们可以通过某种方式将$D_t$延拓到$t=0$处，得到一个除子$D_0$，这个$D_0$就是${D_t}$在$t\to0$时的极限除子。（二）引入加减极限的背景在代数几何的研究中，经常会遇到一族除子的极限情况。例如，在研究代数簇的退化时，代数簇本身会退化为一个奇异簇，而簇上的除子也会相应地发生退化。此时，研究除子的极限行为对于理解代数簇的退化过程和性质是非常重要的。另外，在镜像对称和量子cohomology等领域，除子的加减极限也有着重要的应用。在镜像对称中，通过研究除子的极限行为，可以建立起不同代数簇之间的对应关系；在量子cohomology中，除子的极限可以用来计算量子乘积等重要的不变量。五、线性等价与加减极限的关系（一）线性等价在加减极限下的不变性在一定条件下，线性等价在除子的加减极限下是保持不变的。也就是说，如果一族除子${D_t}$中的每个$D_t$都与某个固定除子$D$线性等价，那么它们的极限除子$D_0$也与$D$线性等价。设$X$是一个光滑射影簇，${D_t}_{t\in\mathbb{A}^1}$是$X$上的一族除子，对于每个$t\neq0$，$D_t\simD$，其中$D$是$X$上的一个固定除子。由于$D_t\simD$，所以存在有理函数$f_t$，使得$D_t-D=(f_t)$。通过适当的紧致化和延拓，我们可以将$f_t$延拓到$t=0$处，得到一个有理函数$f_0$，使得$D_0-D=(f_0)$，从而$D_0\simD$。（二）加减极限对线性等价类的影响虽然在一些情况下线性等价在加减极限下保持不变，但在某些特殊情况下，加减极限会改变除子的线性等价类。例如，当除子族的极限过程中出现奇点或者退化时，线性等价类可能会发生变化。考虑一个奇异代数簇$X$，它是由一个光滑代数簇$Y$退化而来的。设${D_t}$是$Y$上的一族除子，当$Y$退化为$X$时，${D_t}$的极限除子$D_0$在$X$上可能与原来的线性等价类不同。这是因为在奇异簇上，Cartier除子和Weil除子的关系变得复杂，线性等价的定义也需要进行相应的调整。六、除子加减极限的计算方法（一）局部坐标法局部坐标法是计算除子加减极限的一种基本方法。设$X$是一个代数簇，$U$是$X$上的一个仿射开集，在$U$上有局部坐标$x_1,x_2,\dots,x_n$。对于一族除子${D_t}$，我们可以在$U$上用局部方程来表示$D_t$。假设在$U$上，$D_t$的局部方程为$f_t(x_1,x_2,\dots,x_n)=0$，其中$f_t$是关于$t$和$x_i$的多项式。当$t\tot_0$时，$f_t$趋近于一个多项式$f_{t_0}$，那么$D_{t_0}$在$U$上的局部方程就是$f_{t_0}(x_1,x_2,\dots,x_n)=0$。通过将各个仿射开集上的局部方程拼接起来，我们就可以得到极限除子$D_{t_0}$。（二）相交数法相交数法是利用除子与其他子簇的相交数来计算极限除子的方法。设$X$是一个$n$维射影簇，$C$是$X$上的一条曲线，$D_t$是$X$上的一族除子。我们可以计算$D_t$与$C$的相交数$D_t\cdotC$，当$t\tot_0$时，这个相交数的极限就是$D_{t_0}\cdotC$。通过选取足够多的曲线$C$，我们可以确定极限除子$D_{t_0}$的相交数，进而确定$D_{t_0}$本身。例如，在二维射影曲面上，如果我们知道了极限除子与曲面上所有曲线的相交数，那么根据相交理论，我们可以唯一确定这个极限除子。七、线性等价与加减极限在代数几何中的应用（一）在代数簇分类中的应用线性等价和加减极限在代数簇的分类中起着重要的作用。在代数曲面的分类中，通过研究曲面上线性等价的除子类，可以将曲面分为不同的类型，比如有理曲面、直纹曲面、K3曲面等。而加减极限则可以用来研究曲面的退化过程。例如，当一族光滑曲面退化为一个奇异曲面时，曲面上的除子也会发生退化，通过研究除子的极限行为，我们可以了解退化曲面的性质和结构，从而更好地对代数曲面进行分类。（二）在镜像对称中的应用镜像对称是代数几何和理论物理中的一个重要研究领域，它建立了Calabi-Yau簇之间的一种对偶关系。在镜像对称中，线性等价和加减极限有着重要的应用。通过研究Calabi-Yau簇上除子的线性等价类，可以计算出镜像对称中的一些重要不变量，比如Gromov-Witten不变量。而除子的加减极限则可以用来研究Calabi-Yau簇的退化和镜像对称的边界情况，从而深入理解镜像对称的本质。（三）在量子cohomology中的应用量子cohomology是经典相交理论的量子化推广，它在代数几何和弦理论中都有着重要的应用。线性等价和加减极限在量子cohomology中也发挥着关键的作用。在量子cohomology中，除子的