4
代数曲线
由于我们的读者不一定是代数几何专家,我们在这里包括更全面的论述见
[7]
或
[9
,第四
章
]
。
对于完备域k上的
曲线
,我们总是指k上的一个光滑的、射影的、几何上不可约的1维
簇
C
。对于每一条这样的曲线,我们可以将
C
上的有理函数域
K
(
C
)联系起来
;
这是一个超
越度为1的域,其中k是相对代数闭的。事实上,函子C K(C)是曲线和这样的域之间的
等价。设
k
表示
k
的代数闭包,
C
(
k
)和
C
(
k
)分别表示
C
上的
k-
有理点集和
k-
有理点集
.
C上的
除数
是形式和
在
P
=
0
的情况
下,由
G
a
l
(
k
/
k
)
的
无
约束性
C
(
k
)决定
G
al
(
k /k
)的无
约束
性
对于所有人,除了100多个P。最后一个条件意味着和
PcP
是明确定义的;
它被称为D的
次数
,并表示为deg(D)。
我们指出三种特殊类型的除数。我们将
C
(
k
)上的单个伽罗瓦轨道上的和(所有系数
为1)称为
素因子
;因子群由下式自由生成:
这是一个
很好
的
例子
。
对于
f
∈
K
(
C
)
和
P
∈
C
(
k
)
,
P
(
f
)
d
不
等于
v
的
d
或
h
(正、负或零)。定义除数(
f
)
=
P
ord
P
(
f
)(
P
)
;
任何除数
在这种形式下,可以
使用一种
预
处理
方法
。
同样
,
对于
ω
n
z
e
r
o
1
,
对于
C
,
我们
可以
定义
order
P
(
ω
)为消失的阶数,并定义除数(
ω
)
=
P
ord
P
(
ω
)(
P
)
;
任何
这种形式的除数称为
标准除数
。注意,如果
D
是主因子,则
deg
(
D
)
= 0
,而如果
D
是典
型因子,则deg(D)= 2g− 2,其中g是C的亏格(根据黎曼-洛克定理;见下文)。我们写
D1 D2
意味着
D1D2
是
主因子;这显然是一个等价关系。注意,两个1-形式的比率
这是一个复杂的过程,因此
,两
种
工作
都
可以独立完成,也都是平等的。
一个除数D=
P
c
P
(P)是
有效的
,如果对所有Pc
P
≥0;我们写D
1
≥D
2
表示,
D
1 D2
是有效的。 对于D有效,我们必须有deg(D) 0(但不是相反)。
设D是C上的除数,设L(D)是函数
f
K(C)的集合,使得
(
f
)+D0,连同零函数。集
合L(D)是一
个
k上的向量空间;设k(D)是该空间的维数。请注意,当deg(D)
为
0
时,θ(D)= 0。
<
支配R(D)的主要定理是Riemann-Roch定理,其陈述如下。
命题3(Riemann-Roch定理)
对于
C
上的任何除数
D
,
(
D
)= deg(
D
)+1 −
g +
类
群
Cl(C)被定义为零次因子群,模主因子子群;它可以与某个g维阿贝尔簇J的k-有
理数点相同,即所谓的C的
雅可比簇
。在有限域上,Cl(C)的阶与zeta函数密切相关,
通过以下公式(参见,例如,[18,第14节])。