6. 复数域上的椭圆曲线

椭圆积分源于计算椭圆周长的尝试. 这类包含根号的积分应当看作 Riemann 面上的线积分. 与椭圆弦长的积分相关联的 Riemann 面是复数域上的椭圆曲线.

6.1椭圆积分

上的椭圆曲线, 有 Weierstrass 方程

自然映射为二重分歧覆盖, 分歧点为 .

复积分并非与路径无关; 它是 上的全纯微分形式 的积分.

使用切割分支的方法, 将两个 拼在一起, 可以构造与上述积分相关联的 Riemann 面, 它同胚于甜甜圈. 于是, 这个积分取决于路径在甜甜圈上绕了多少圈, 即路径在 中所属的类.

的基, 称周期. 令 , 于是我们有映射 ,在第三章我们证明了 的平移不变性; 因此从而 是加法群的同态.

商空间 是紧 Riemann 面当且仅当 是一个, 即 上线性无关. 但我们不是直接证明这个事实, 转而研究给定的格 对应的空间 . 在第三节, 我们构造 的逆映射, 证明 解析同构于某个椭圆曲线 . 在第五节, 我们使用规整化说明每个椭圆曲线都同构于某个 . 以此我们得出椭圆曲线的两个周期在 上线性无关.

6.2椭圆函数

定义 6.2.1 (椭圆函数). 关于格 椭圆函数 上的亚纯函数 , 满足对任意 , .

为此类函数构成的域.

定义 6.2.2. 的一个基本平行四边形是一个形如 的区域, 其中 的基.

命题 6.2.3. 全纯的椭圆函数为常数.

分别为 处的留数和阶数.

为基本平行四边形 上的求和.

定理 6.2.4. 是关于 的椭圆函数.

.

.

.

证明. 注意到

定义 6.2.5. 一个椭圆函数的是指其在一个基本平行四边形中的极点数 (计重数).

推论 6.2.6. 非常值椭圆函数的阶至少为 .

定义除子群 是形式线性组合 构成的群, 其中 , 仅对有限个 非零. 定义 .

定义 .

由定理 6.2.4, 有同态 (每个 是一个赋值) 以及求和映射

定理 6.2.7. 如下序列为正合列:

证明. 处的正合性是后面的定理 6.3.4.

6.3椭圆函数的构造

定义 6.3.1. 为格, Weierstrass 函数定义为权为 的 Eisenstein 级数为当格 确定时, 我们以 记之.

定理 6.3.2. 为格,

1.

Eisenstein 级数 时绝对收敛.

2.

Weierstrass 函数的级数在 的每个紧集上绝对一致收敛. 这个级数定义了一个仅在格点上有 阶极点的亚纯函数.

3.

函数为偶椭圆函数.

定理 6.3.3. 为格, 那么即任何椭圆函数都是 的有理函数.

证明., 只需证 为偶函数的情形, 我们断言此时其中 是基本平行四边形 的一半. 这是因为, , 且当 时, , 从而 是偶数.

考虑因为 , 所以 有完全相同的零点和极点, 从而由结论 6.2.3, 是常数.

定理 6.3.4., 满足那么存在椭圆函数 满足

定理 6.3.5. (a) 处的 Laurent 级数为

(b) 对 , Weierstrass 函数与其导数满足

, .

命题 6.3.6. (a) 多项式有相异的根, 其判别式非零.

(b) 令 为椭圆曲线则映射 为复 Lie 群的解析同构, 即同时为 Riemann 面的同构与群的同态.

证明. (a) 记 . 因为 是以 为周期的偶函数, 所以 . 由定理 6.3.5, 的零点.

因为 为偶函数, 它在 有至少二重零点. 但它是一个 阶椭圆函数, 所以除此之外没有零点. 这证明了三个值 互不相同.

(b) 首先, 由定理 6.3.5, 的像确实落在 中. 为证明 为满射, 对 , 因为 . 是非常值的椭圆函数, 它有一个零点 . 故 , .

6.4解析映射和代数映射

本节研究复环面之间的解析映射. 我们将看到, 这样的映射对应椭圆曲线的同源映射, 即有理函数.

中的格, 满足 . 定义 , .

定理 6.4.1.

用上述记号, 给出了满足 的复数 与全纯映射 的一一对应.

为椭圆曲线, 对应格 . 则 的同源映射给出了全部的全纯映射 .

证明.

假设 , 即 , . 由 的离散性, 知 . 因此 是单射.

为全纯映射, . 因为 单连通, 可将 提升为全纯映射 , 使得 , 且下图交换: 那么 , . 由 的离散性, 知 无关, 故 , 为常函数, . 于是有 .

对于满足 的复数 , 映射 由下式给出: 因为 , 所以 均属于 , 从而 (由定理 6.3.3) 是 的有理函数.

推论 6.4.2., 为椭圆曲线, 对应格 . 那么 同构当且仅当 位似, 即 .

注 6.4.3. 由此, 的复解析映射一定是群同态. 类比第三章的一个结论: 椭圆曲线的同源映射是群同态.

6.5规整化

椭圆曲线可由椭圆函数参数化. 这个事实最自然的证明要用到模函数, 即定义域为 中全体格的函数, 例如 .

定理 6.5.1., . 那么存在唯一的格 使得 .

推论 6.5.2. 为椭圆曲线. 存在位似意义下唯一的格 与复解析同构 ,

现在处理 6.1 节末尾未完成的问题.

命题 6.5.3. 为椭圆曲线, 具有 Weierstrass 坐标 . (a) 令 中的闭曲线, 作为 的基. 那么 上线性无关.

(b) 令 生成的格, 则映射 , 为 Lie 群的复解析同构. 其逆映射正是推论 6.5.2 中定义的映射.

证明. (a) 由推论 6.5.2, 存在某个格 与复解析同构 , .

视为 的映射, 那么 的基. 观察到两个事实:

作为加法群同构于 , 圈 对应 .

上的微分形式 拉回得到

所以两个周期-基, 从而是 -线性无关的. 换言之, 推论 6.5.2 中的格是由 的两个 -线性无关的周期生成的.

(b) 考虑复合映射由定理 6.4.1, 它形如 . 而.

命题 6.3.6 已经说明 为解析同构, 故 为解析同构.

定理 6.5.4. 如下几个范畴等价:

上的椭圆曲线与同源映射构成的范畴;

上的椭圆曲线与保持 点的复解析映射构成的范畴;

中的格 (位似的格视为等同) 构成的范畴, 其中 的态射为满足 的复数 .

注 6.5.5. 上述范畴等价是 GAGA 的例子.

命题 6.5.6. 为椭圆曲线, 为整数.

(a) 作为抽象的群同构于 .

(b) 乘以 映射 具有度数 .

定义 6.5.7. 数域 的一个是指一个子环 , 满足 作为 模有限生成, 且 .

定理 6.5.8. 为椭圆曲线, 为相对应的格 的基. 那么以下两者之一成立:

(i) ;

(ii) 域 是虚二次扩域, 且 同构于 的一个阶.

证明. 不妨设 . 令. 对任意 , 存在整数 使得 , , 可验证 (或由 Cayley-Hamilton 定理), 的整扩张. 假设 , 即 , 那么化简得 为虚二次扩域. 因为 上整, 所以 的一个阶.

命题 6.5.9. 为椭圆曲线, 固定一个同构 .

6.6Lefschetz 原理

Lefschetz 原理大致是说特征 代数闭域上的代数几何可当作 上的代数几何.