MIT 18.782 算数几何导论讲义.pdfVIP

18.782算术几何学导论2013年秋季

讲座#209/10/2013

2.1平面圆锥曲线

一个圆锥曲线是一个二次的平面射影曲线。这样的曲线具有以下形式

C/k:ax2+by2+cz2+dxy+exz+fyz

其中a,b,c,d,e,f∈k。假设k的特征不是2，我们可以通过可逆线性变换使d=e=f=0

。首先，如果a=b=c=0，我们可以通过将一个变量与另一个变量的和替换为非零值来

使其中一个变量非零；在这种情况下，其中一个d,e,f必须非零，假设是d，然后将y替换

为x+y，得到一个a=0的方程。因此，假设不失一般性地认为a=0。将x替换为x−

dy消去了xy项，我们可以通

2a

e

过将x替换为x−来同样消去xz项2z（我们只是在完成平方）。

a

最后，如果f=0，我们可以使b非零，然后用y−fz替换y以消去yz项。这些替换都对

2b

应于射影平面的可逆线性变换，就像它们的组合一样。

因此，我们现在假设char(k)=2，并且C具有对角形式

ax2+by2+cz2=0。(1)

如果系数a、b、c中的任何一个为零，则该曲线不是不可约的。12例如，

如果系数c为零，我们可以在k上因式分解（1）的左手边：

ax2+by2=(√ax+√−by)(√ax−√−by)=0.

在这种情况下，C(k)是两条相交于(0:0:1)的射影直线的并集（但是C(k)可能只包含一

个点，例如当k=Q且a,b0时）。现在我们用以下定理总结这个讨论。

定理2.1.在特征不为2的域上，每个几何上不可约的圆锥曲线同构于一个对角线曲线ax2+

22

by+cz=0，其中abc=0。

备注2.2.这在特征为2的情况下不成立。

2.2圆锥曲线上有理点的参数化

假设(x0:y0:z0)是对角线圆锥C:ax2+by2+cz2=0上的有理点。

不失一般性，我们假设z0=0，并考虑代换

x=xW+U,y=yW+V,z=zW(2)

000

1在第一讲中，我们定义了一个平面射影曲线f(x,y,z)=0为可约的，如果存在g,h∈k[x,y,z]，使得f=

gh，其中k是k的代数闭包。一些作者区分在k和k上的不可约性，将后者称为几何不可约性（或绝对不可

约性）。在本课程中，我们将始终使用几何不可约性的概念。

2平面射影曲线的定义f(x,y,z)=0要求f在k[x,y,z]中没有重复因子，这排除了a,b,c中有两个为零的

情况。在更一般的情况下，由多项式定义的曲线被称为非约化的，如果有重复因子。我们要求我们的曲线是

约化的。约化且几何