Strongart数学笔记代数曲面上曲线相交数的计算与分析.pdfVIP

代数曲面上曲线相交数的计算与分析 (2015-03-0914:25:46) 代数几何中的相交理论一直都是一个核心论题，特别是 代数曲面上曲线的相交，已经发展出了相当丰富的理论体 系，下面我们通过一个简单问题来分析曲面上相交数的特 点。 约定：系数域k是特征为零的代数闭域，读者也可以认 为它就是复数域C；所有的曲面与曲线都是非异的，同时作 为概型是射影的。 先介绍一些背景知识，首先是相交数的定义。在一般的 正常位置，即所谓横截相交的情况下，代数曲面上曲线的相 交数就是其交点的个数。由此出发，我们定义曲面X上相交 数为其除子群上满足下列条件的对DivX×DivX→Z， （C， D）→CD： （1）CD是对称的且对各因子都是双线性的。 （2）CD只与其除子类有关，即若D~E，则CD=CE. （3）若C，D有效且无公共分支，则CD=Σ_(P∈C∩D) （CD）_P，其中局部相交数) （CD）_P=dimO_(X,P)/ （I_C， I_D）O_(X,P) 这里一个比较有趣的情形就是自相交数D^2，我们可以 把它理解为存在某个E~D，使得D^2=DE，这个操作已经成 了代数曲面理论中的常识性技术，我们总可以找到这样的E 与D处在正常位置。但假若非要对此细究，那么它实际上是 由关于射影代数簇Bertini定理保证的，它说明了几乎所有的 位置都是曲线的正常位置（参见【2】）。作为这个等价替 换的代价，曲线的自相交数中引入了曲面的因素，因此它可 能是负的。 关于相交数最简单的定理应该是Bezout 定理：若P^2 内两条次数分别为d和e 的曲线，若它们无公共分支，则它 们一共有de个交点 （按重数计算）。用这里代数曲面的理论 来说，就是假若不出现自相交数的情况，那么它们的相交数 就是次数的乘积。 对于更为一般的情况，我们有伴随公式与亏格公式，它 们是处理相交数的问题的大杀器。 设X是非异簇Y是非异超曲面，则有典型除子的伴随公 式： K_X= （K_Y+X）|X 由伴随公式，我们可以得到射影空间P^n的典型除子为： K_(P^n)=- （n+1）H 其中H是P^n 内的P^(n-1)超平面除子类。 对于非异代数曲面而言，在伴随公式中取X=C是非异代 数曲线，就得到了亏格公式 “ 2g-2= （K_X+C）C 其中g是曲线C 的亏格。对于d次平面曲线而言，g= （d-1） （d-2）/2. 问题：设X=X_d是P^3 内的d次曲面，超平面P与X 的交是两条曲线A与B 的并，其中A 的次数为a，B 的次数 为b，求相交数·A^2，AB与B^2. 解答：首先，交叉项AB是比较好求的，P^3 内的超平 面就是P^2，由此可以通过Bezout定理，得到AB=ab. 对于平方项A^2，我们可以用亏格公式来计算：先由伴 随公式得到X 的典型除子K_X= （K_(P^3)+dH）|H= （-4+d） H，这样由亏格公式，有 A^2=2g-2-AK_X=2g-2-（-4+d）AH= （a-1）（a-2） -2- （-4+d）a=a^2+a-ad 同理有 B^2=b^2+b-bd 此外，还有一种更简单的直观解法，用P代表A+B，可 以假定它们是处在正常位置，则有A （A+B）=AP=a，这样 A^2=a-ab；类似有B^2=b-ab. 事实上，第二种是一个国外学者告诉我的，但它与亏格 公式的计算结果不一致，而且其结果似乎没有出现d，与X 似乎的无关的，这就让我产生了一些怀疑。后来发现，其实 这个问题的条件是冗余的，我们还有d=a+b，这样两种结果 一致起来了。 为什么会有d=a+b 呢？这似乎是一个推广了的Bezout 定理，但个人对一般的相交理论还不熟悉，因此还不能准确 的写出它的内容。但我们还采用朴素的讨论方法，首先射影 空间是完备的，也就是说不会出现类似平行线的情况，出现 相交数的损失。这样P∩X就相当于一个d次（齐次）方程 与一个线性方程的联立，那么它一般应该有d个解，其中a 个解合成一个a次曲线，那么剩下来的b 次曲线就应该由 b=d-a个解合成。 这样一来，第二种结果看似与代数曲面无关，实际上却 是与之相关的。为了进一步看清这里的相关性，不妨计算一