6.3 椭圆曲线解剖：y² = x³ − x 的全面体检
6.3 椭圆曲线解剖：y² = x³ − x 的全面体检
全册出场频率最高的方程终于站上主舞台。椭圆曲线值得独占两节（本节体检、下节应用），因为它在代数几何中的地位类似枢纽车站：数论、密码学、拓扑、复分析六条线路在此换乘。本节按体检流程走一遍——光滑性、射影闭包、无穷远点、函数域、亏格——每一项都调用前面某一章的工具，让全册的知识地图在这条曲线上合龙。
椭圆曲线：一条亏格 1 的光滑射影曲线，连同指定的有理点 O。韦尔斯特拉斯标准形 y² = x³ + ax + b（判别式 4a³+27b² ≠ 0 保证光滑）。本书示范对象取 a=b=−1：y² = x³ − x，判别式 4·(−1)³+27·(−1)² = 23 ≠ 0。
一、体检项目一：光滑性
5.1 节的梯度判据上场。f = y² − x³ + x，梯度 (1 − 3x², 2y)。找嫌疑点：令两分量同时为零，2y=0 给 y=0，1−3x²=0 给 x=±1/√3。候选点要求落在曲线上：y²=0 但 x³−x = x(x²−1) 在 x=±1/√3 处取值 ±2/(3√3) ≠ 0——**候选点全都不在曲线上**。结论：仿射部分处处光滑。
无穷远点 O=(0:1:0) 也要查（5.1 的教训：换卡核对）。用卡片 Y≠0，闭包方程 Y²Z = X³ − XZ² 化为 Z = X³ − XZ²，在 (X,Z)=(0,0) 处梯度为 (1, 0)，非零——O 光滑。体检结论：曲线处处光滑，这正是判别式条件 4a³+27b²≠0 在一般情形干的事：它恰好排除"尖点 y²=x³（判别式 0）"与"结点 y²=x³+x²（判别式 0）"两类退化。
二、体检项目二：闭包与无穷远点
齐次化 y² = x³ − x 得 Y²Z = X³ − XZ²。令 Z=0：X³=0，X=0，得唯一无穷远点 O=(0:1:0)。两个观察。其一，O 是唯一的无穷远点（不像双曲线有两个），且是"竖直方向"的点——每条竖直线 x=c 都经过 O；6.4 节的加法作图将把这个巧合变成群结构的承重墙。其二，O 处曲线没有奇性（体检一已验），所以闭包是"仿射曲线 + 一个光滑点"的干净拼装——对照尖点 Y²Z=X³ 在无穷远还拖着三重奇性，椭圆曲线的闭包健康得多。
图：椭圆曲线的解剖图
三、体检项目三：函数域与亏格
椭圆曲线的函数域由 x、y 生成并受 y²=x³−x 约束。它同构于 k(t) 吗？判定工具是亏格：k(t) 的亏格为 0（3.3 节有理曲线家族），而椭圆曲线的亏格为 1，两者函数域不同构。亏格 1 有三条互相印证的验法，本册各给一句：
- 黎曼-罗赫验法：亏格读公式中的 g。x 的极点在 O 且为二阶、y 为三阶（6.1 与 6.2 已入账），l(n·O)=n 对 n≥1 成立——这正是 g=1 的签名（g=0 时 l(n·O)=n+1）。
- 微分验法：不恒为零的微分 dx/y 处处无极点且无零点；"存在无处为零的微分"是 g=1 的专属特征（g=0 的 dx 有二阶极点）。
- 拓扑验法（复数域上）：把实图两支按复点补全，E(ℂ) 是一个环面——甜甜圈的洞数就是 g。实图上看不出的"洞"，复视野一眼一个准。
三条验法指向同一个数，这不是巧合而是定理（亏格的良定义性）。对学习者的提示是：亏格是曲线的"身份证号"，函数域是"基因"，两者互为表里——分类曲线，本质上是分类这些基因。
四、为什么偏偏是"三次配一个点"
韦尔斯特拉斯形 y²=x³+ax+b 有两个数字特征：x 挂三次、y 挂二次。这不是审美，是黎曼-罗赫配额的精确落位（6.2 节第三遍已算）：取 D=2·O 发下 x，D=3·O 发下 y；x 的极点二阶、y 的极点三阶，函数 y²−x³−ax−b 的极点至多六阶，落在 l(6·O) 的六维配额里，八个基函数间的线性相关系数写成方程——两边恰好整理成 y²=x³+ax+b 的形状（严格说先得 7 维配方，消去一个可平移的参数后定格在两参数族）。
至于指定有理点 O：亏格 1 的曲线若无标记点，它自己认不出"哪里是原点"——所有点在平移下地位平等。"亏格 1 曲线" + "选定的原点" = 椭圆曲线，这个括号不是废话：它是曲线获得群结构的前提（下一节的主角），也是椭圆曲线数据库按"曲线 + 原点"登记的原因。顺带回应一个常见误会：椭圆曲线与椭圆（圆锥曲线）没有直接血缘——名字来自早期用这类积分算椭圆弧长，历史误会将错就错至今。
体检加项：j 不变量与"曲线的指纹"
光有亏格 1 还不够区分彼此——所有椭圆曲线同亏格，谁是谁？档案系统的下一级编号叫 j 不变量：由系数 a、b 算出的一个数，两条椭圆曲线在复数域上同构当且仅当 j 相同。拿本册两条曲线验算：y² = x³ − x 的 j 值为 1728；y² = x³ + 1 的 j 值为 0——数字各归各，身份分明。1728 这个数在数学圈有名有姓：它是 12³，与模形式、魔群、晶格的对称性都有牵连，我们这条示范曲线偏偏自带它，属于开箱即送的彩蛋。
j 不变量的实用价值在于把无穷多条椭圆曲线压缩成"一条数轴"：j 任意取值给出一条曲线（两个例外 j=0 与 j=1728 自带额外的对称），模空间因此是一维的。6.4 节密码学里的"曲线参数怎么选"，其实就是在 j 轴上挑安全地址；数据库里每条曲线的档案页，第一行都是 j。
其三，O 处的函数行为不能凭仿射直觉：x 与 y 在 O 的极点阶数（二阶与三阶）要用局部参数 s=1/x 核算，凭"无穷远"三个字猜阶数必错。补一条核对用的心算：在 O 附近 s 很小，x = s⁻² 量级（因 X/Z 按 s 展开的首项是 s⁻²），y = s⁻³ 量级——次数差恰好一阶，与方程 y²=x³ 的两侧量级 s⁻⁶ = s⁻⁶ 对上。量级对账虽是土办法，却能在正式计算前拦下大半笔误。
五、易错点与本节位置
三个易错点。其一，判别式 4a³+27b²≠0 是光滑的等价条件，别背成"非零判别式保证不可约"——两件事在韦尔斯特拉斯形上恰好同真假，但逻辑要过梯度判据这条明路。其二，实图两支（左支加右卵形）不代表"两个分支"：复视野里 E(ℂ) 连通（环面），实部断开纯属实数切片效应——与双曲线"两支"的教训同源。其三，O 处的函数行为不能凭仿射直觉：x 与 y 在 O 的极点阶数（二阶与三阶）要用局部参数 s=1/x 核算，凭"无穷远"三个字猜阶数必错。
本节在知识体系里的位置：体检全部合格——光滑、亏格 1、原点在岗、x 与 y 领到配额。所有零件就位，只差把它们拧成一台机器：下一节定义椭圆曲线上的加法，让几何作图变成群运算，再用贝祖定理结算一笔经典账。