用户: Cybcat/曲线模空间/番外篇其一

1番外篇其一

椭圆曲线

我很喜欢用复的方法引入椭圆曲线, 这一部分选自我的本科毕业论文, 用最简短的语言介绍了椭圆曲线的最基本信息.

定义 1.1. 一条椭圆曲线指一个亏格 的紧 Riemann 面.

为研究椭圆曲线, 我们需给出它的具体刻画. 它最基本的事实由下面的定理给出:

定理 1.2. 椭圆曲线都全纯同构于 , 其中 中秩 的格.

证明. 为亏格 的紧 Riemann 面. 考虑 Abel–Jacobi 映射 , 我们证明它是 Riemann 面的同构, 那么由于 亏格 , Jacobi 簇 维复环面, 即可证出命题. 考虑 上非平凡的全纯 -形式 , 取定 , 对 具体计算 得到

显然 是 Riemann 面间的全纯映射, 于是它是满射, 现只需证明是单射. 假设不是单射, 即存在 使 , 就会存在 -圈 满足

Abel 定理, 我们得知存在 上的亚纯函数 具有唯一的单极点, 这将给出 为到 Riemann 球面的同构, 这与亏格 相矛盾.

接下来我们引入双周期函数. 这是为了具体构造椭圆曲线上的函数.

定义 1.3. 双周期 (复) 函数指一个 满足存在秩 的格 使得一切 , 格 周期格, 的一组基 称一个基本周期对. 给定 满足 -线性无关, 则它生成秩二的格 . 给定 , 记 , 称一个基本平行四边形基本区域.

下面固定秩 的格 , 记 , 定义

称为 Weierstrass 函数, 简单的分析学告诉我们它在 的紧集中一致绝对收敛. 作为 上的亚纯函数它有唯一的一个 重极点. 利用 是偶函数, 对 , 作为 上函数的零点情况是, 要么有一对关于原点中心对称的零点, 要么在 的某点处有两个零点. 导函数 具有唯一的 重极点, 从而具有按重数的 个零点, 利在格 处是零点, 故在 上的全体零点正是 重的 .

推论 1.4. 对椭圆函数域 , 即以 为周期的亚纯函数构成的域, 有其中 使代数关系 总成立, 处的值, 故 上超越度为 .

核心技巧是证明 中的偶函数构成的子域为 , 通过前面对 的零点信息分析, 配凑就可以得到一般的偶函数. 而奇函数为 .

接下来确定 的系数, 得到一个只涉及 的表达式. 对正整数 , 定义

不难检查这一求和也绝对收敛.

定理 1.5 (Weierstrass 形式). 我们有 . 在传统记号上一般定义 这样上述表达式也被写作 .

证明. 在原点写 的 Laurent 展式, 通过比较系数配凑消掉 的项后得到 上的全纯函数, 且在原点取 从而只能是 .

第二个等号交换了求和顺序, 并且利用了 是偶函数得出 .

类似的写 的 Laurent 展开得

由此待定 , 列出 的系数方程解得 . 至此我们确定了 的使用 表示的具体形式.

注 1.6. 当然上述表达式立刻带来一系列推论, 例如观察 的系数会得到 , 化简得到 . 为了得到一般的公式, , 由此比较两边的系数立刻得到对 时成立着递推式

自然地定义 .

命题 1.7. 上述 在逐点上是 的解析双射, 或者说全纯同构. 特别地, 为三次曲线在 轴方向上的无穷远点.

证明. 注意到 不是半格点时 , 这告诉我们 时对应三次曲线上的全体 , 每个点都恰取到一次. 而 时对应三次曲线上全体 的点和无穷远点 , 恰各取一次, 这证明了双射.

不难求导检查三次曲线的光滑性, 从而它是紧 Riemann 面. 的解析性显然, 根据上一段的叙述, 处以外已检查是双射, 没有重根故求导得知 以外处是全纯双射, 特别的 的解析性只需用到映射在该点的局部有界性从而作为奇点可去.

注意到 上带有由 自然诱导的加法结构, 借由双射 , 这一加法被带到三次曲线 上去, 我们需要确定这一加法的具体形式. 即给定这三次曲线上的两点, 如何仅通过三次曲线的参数 表示出两点和与它们逆的坐标.

引理 1.8. 对任意 , 设它在某基本区域 中的零点和极点 (按重数计) 分别为 , , 则 .

证明. 微扰 使 上没有 的极点和零点, 这只会让某些 被换成了差一个 中元素的代表元而不影响问题. 于是计算得通过换元 , 记 分别为 的线段与 的线段在 下的像, 得然后注意到 阶零点 的 Laurent 展开的第一项为 , 在 阶极点 的 Laurent 展开的第一项为 由留数定理得这即是我们要证明的命题.

定理 1.9. 中椭圆曲线上的一点 , 记 . 则其上由 诱导的交换群, 零元是无穷远点 , 点 的逆元为 , 给定两点 , 记它们确定的 (复) 直线 (如果 则为该点处三次曲线的切线) 与三次曲线的第三个交点为 , 则 的和为 .

证明. 首先零元和逆元的对应都是很明确的, 都能通过直接的计算得到. 现在对三次曲面上的两点 依题意确定直线 , 构造 , 由 1.8, 它的零点坐标和极点坐标求和作差位于 , 显然它的零点就是 . 它的极点在 有三重, 因此在 上看 , 于是 .

注 1.10. 在定义椭圆曲线的时候, 有时额外要求指定一个基点作为幺元, 否则它只能是一个扭子 (torsor) , 在标准的射影嵌入下, 往往取无穷远点 作为幺元, 因为过它的直线都是好计算的.

注 1.11 (Legendre 族). 考虑 为参数, 是一族椭圆曲线, 称为 Legendre 族.

然后是椭圆曲线间的映射, 即所谓的同源 (isogeny) , 本节主要参考:

命题 1.12. 以下等价.

(1) 是两个椭圆曲线间的 -代数群同态;

(2) 是两个 中椭圆曲线间保护 点的 -代数映射.

假设 通过前面的 映射对应 , 则还有下列等价刻画.

(3) 全纯群同态 ;

(4) 全纯映射 映到 ;

(5) 上是一次函数 满足 然后商到环面上.

证明. 首先 都显然. 接下来看 , 注意它自然提升诱导万有覆叠上的全纯映射 , 且可以要求 . 它是提升的条件推出 对一切 , 由 的离散性得 是一 中常数, 因此求导得到 是格 上的全纯双周期函数, 从而由 Liouville 定理得知 是常数从而 是一次函数且常数项为 , 由 映到 得知 .

然后 利用 1.7 证的 是全纯同构得知, 注意代数映射也是全纯映射即可. 最后是 , 诱导了 , 根据域结构定理 1.4 只需检查 上的亚纯椭圆函数即可, 注意 可知.

定义 1.13. 由命题 1.12, 把符合上述五条的椭圆曲线间的非常值映射称为同源, 若两个椭圆曲线间存在同源映射则称这两个椭圆曲线是同源的.

定义 1.14.1.12, 用 表示 的同源映射在加法下构成的群, 它显然是无挠的. 对同源 , 如果它是 , 记 称为 度 (度数). 它是同源作为覆叠映射的重数, 也是映射核的大小.

引理 1.15. 任意同源 , 存在同源 使

最后一项即 倍映射.

证明., 则考虑 取作 . 为了检查 是同源, 对任意 中格的元素 , 由格间指标的性质 , 故 .

. 它实则在复合和相加下构成环.

命题 1.16. (1) 如果 , 则 . (2) 在 (1) 假设下若成立着 , 那么 必然同时成立.

证明. (1) 若 , 用 1.15 倘若存在 非零, 取 使 . 检查 是单同态, 因为 推出 , 从无挠推出 . 类似的证明 的情形.

(2) 沿用前一题符号, 我们检查 是单同态, 注意到 推出 , 从无挠推出 .

下面考察同源的一些简单的应用.

命题 1.17. 是一非平凡自同态, 用 表示 1.15 中得到的 使 , 那么 对应的复数是 对应者的复共轭, 且其模长平方是 .

证明. 对应格 , 对应复数 . 注意 使单位平行四边形面积变成 倍, 对应 , 结合 1.15 的计算, 对应 .

命题 1.18. 任意椭圆曲线 到自身的同构只有有限多种情况. 实际上准确地说自同构群只有 三种可能性, 而后两种可能性只有格同构于特定二次扩张的整数环 时取到, 其余情况下自同构群总是 .

证明. 换言之, 只需证明对任意格 有限, 注意 不改变单位平行四边形的面积知 , 由此结合格的离散性 (单位圆周上只有有限多点) 知 只能是单位根, 而且必须是至多二次的代数数, 否则 将推出它不是二阶的, 由此 只有 这些可能性, 而且那些二次单位根对应的格同构 .

漫谈 Hurwitz 定理与曲面自同构

著名的 Hurwitz 定理说:

定理 1.19. 是亏格 的紧黎曼面, 且 , 那么 的全纯自同构群有限, 且阶数不超过 .

先看另一方面, 哪些有限群 能成为紧黎曼面的自同构群呢? 仔细一想, 这其实和所谓的 Galois 逆问题密切相关, 因为 上的紧合或说射影代数曲线在双有理等价下的范畴, 等价于 上紧黎曼面在全纯等价下的范畴, 等价于 次超越域的范畴. 更强的事实是: 代数闭域上的一元分式域上面的 Galois 逆问题是可解的, 也就是说, 不仅 是自同构群, 而且存在到黎曼球面 的分歧覆盖, 使 (去掉分歧点后) 对应的 Deck transformation group 就是 . 在较弱的命题上, 几何学给出了如下的美丽证明:

命题 1.20. 每个有限群都能作用在某个紧黎曼面上.

证明. 个元素 生成, 那么任取亏格 的紧黎曼面 , 考虑 , 我们熟知它是熟知其中的元素 是自由的, 因为通过 就能看出它有自由商. 不过这里继续商, 可知 也是 的商, 于是覆叠理论可知, 存在紧黎曼面 和覆叠映射 , 使得 作为 Deck transformation group 作用在 上.

由于 毫无分歧点, 根据 Hurwitz 公式 元生成的有限群可以作用在某个亏格 的紧黎曼面上.

Fuchs 群