6.1 除子：曲线上的记账本

6.1 除子：曲线上的记账本

「除子」（divisor）这个译名常让人误会它在做除法。它做的其实是记账：在曲线的每个点上登记一个整数，正数记资产（零点），负数记负债（极点），重数照实入账。这本账本是把第 3 章的函数、第 4 章的重数、第 5 章的光滑点整合起来的枢纽——曲线论的几乎所有定理（黎曼-罗赫、黎曼-赫尔维茨）都是关于这本账的审计报告。本节开账、记账、对第一笔总账。

除子：光滑曲线 C 上，除子是形式和 D = Σ n_P·P，其中 n_P 是几乎全为零的整数。次数 deg D = Σ n_P。有理函数 f 的主除子 (f) = 零点除子 − 极点除子（重数照记）。两个除子线性等价，若它们的差是主除子。

一、开账：函数的零点与极点自动入账

光滑性在定义里不是摆设：只有光滑点上的重数才有干净定义（第 5 章的成果），所以除子理论住在光滑曲线上。拿椭圆曲线 E : y² = x³ − x 当示范户，给两个函数记首笔账：

• 函数 x：零点在 (0, 0)（单零点）。极点呢？x 在射影闭包上还有一个"极点"位于无穷远点 O。于是 (x) = (0,0) − O，次数 1 − 1 = 0。
• 函数 y：零点在 (1, 0)、(−1, 0)、(0, 0)（三处，各单零点），极点在 O，为三阶。(y) = (1,0) + (−1,0) + (0,0) − 3O，次数 3 − 3 = 0。

两组账都出现"无穷远点参与结算"——这又是第 2 章射影化的余泽：不补上 O，x 的极点无处登记，账本对不平。

图：除子记账本

二、第一笔总账：主除子次数恒为零

两笔示范账都结出零，不是巧合。光滑射影曲线上的有理函数 f，其零点总重数等于极点总重数——这是"多项式零点个数等于次数"在紧致世界里的正确形态。代数证明的骨架一句话：f 给出函数域的单射 k(C) → k(C)，在除子群层面配平。几何直觉一句话：曲线没有边界，f 的对数 ln|f| 想从有限值滑向无穷，必须有同样多的进出水量。于是：

定理：f 是非零有理函数 ⟹ deg (f) = 0。

推论立刻可用：若两个除子线性等价（差一个主除子），则它们次数相同——次数是线性等价类的 invariant。除子按等价类打包后得到的群叫皮卡群 Pic(C)；次数把皮卡群映到整数，"次数为零的部分"（雅可比簇的雏形）是曲线最深的附属建筑，本册只在名词层面路过。

再练一笔账巩固手感：函数 y/x 在 E 上。(y/x) = (y) − (x) = (1,0) + (−1,0) + (0,0) − 3O − (0,0) + O = (1,0) + (−1,0) − 2O。验算次数：1 + 1 − 2 = 0 ✓。注意 (0,0) 的账被约掉——除子的加减是逐点系数加减，和多项式约分是同一件事的两种说法。

三、动手：机器对账

手算容易漏点，让系统代查。以下 Macaulay2 风格会话在椭圆曲线的坐标环里追踪函数的零极结构：

-- Macaulay2 风格：E 上函数 x 与 y 的零点核查（概念演示）
R = QQ[x, y, z];
E = ideal (y^2*z - x^3 + x*z^2);     -- y^2 = x^3 - x 的射影闭包
-- 零点核查：x = 0 且在曲线上
J1 = E + ideal (x);
gens gb J1                            -- 解出 (0:0:1) 与 (0:1:0)
                                      -- (0:0:1) 是仿射点 (0,0)；
                                      -- (0:1:0) 即无穷远点 O（y 的极点所在）
-- y = 0 且在曲线上
J2 = E + ideal (y);
gens gb J2                            -- 解出三个仿射零点 (±1,0) 与 (0,0)
​

读法：x 的零点条件联立闭包方程，机器给出两个解，其中一个正是 O——它以零点身份出现在 x 的账上吗？不：O 处齐次坐标里 x/z 的行为要按局部参数细算，结论是 O 是 x 的极点而非零点。这个细节提示我们：无穷远点的账要用局部坐标核对，眼看到 Z=0 就记账是新手事故高发区。严格的局部计算属于正题之外的进阶内容，本节先立规矩：账本每笔都过机器复核。

换个场地：P¹ 上的除子训练场

椭圆曲线之外，射影直线 P¹ 是最好的练手场——账目简单到可以全部心算。取坐标 t（含无穷远点 ∞=(1:0)）。函数 t 的除子：(t) = (0) − (∞)，零点一份在 0，一阶极点在无穷远。函数 t² − 1 的除子：(t²−1) = (1) + (−1) − 2(∞)。函数 1/t 的除子：1/t = (0) − (∞) 的相反数，即 (∞) − (0)。

三笔账合并出一个大结论：在 P¹ 上，任何两个次数相同的除子都线性等价。理由：除子 D 与 n·∞ 之间总差一个有理函数（把 D 的有限点额度用多项式配平）。于是 P¹ 的皮卡群被次数完全收拾干净——次数就是全部信息。这条"P¹ 上次数即一切"的极简秩序，是 6.2 节"亏格 0 曲线函数多到配额即所得"的账本根源；椭圆曲线马上会展示相反的秩序：同样次数的除子千差万别，皮卡群丰饶起来——丰饶与稀缺的分野，正是亏格的账面含义。两句话预告，6.2 与 6.3 节分期兑付。

除子的代数运算再示范一笔"带加减的对账"。取 D₁ = (1,0) + (−1,0) − 2O（这是函数 y 的除子去掉 (0,0) 那行账，读者可自行验证），D₂ = (0,0) − O。两式相加：

D₁ + D₂ = (1,0) + (−1,0) + (0,0) − 3O = (y)

算术是逐点系数相加：三个仿射点各得一份，O 的系数 −2 + (−1) = −3。结果恰好回到 y 的主除子——账本的加减与函数的乘除严格同构：(f)+(g) 对应 f·g，(f)−(g) 对应 f/g。除子群是函数乘法世界在加法记账下的镜像，这句同构宣言是本节最值得带走的一句话，6.2 节的黎曼-罗赫全靠它把"函数配额"翻译成"除子次数"来数。

四、易错点与本节位置

三个易错点。其一，除子只在光滑曲线上开工：尖点 y²=x³ 上 (x) 的账在原点会算出模糊的重数——先解消（5.2 节预告过的治疗）再记账，是标准流程。其二，仿射曲线的账本天然缺页：非射影曲线上函数可以"逃逸到无穷远"而不留极点记录，x 在 A¹ 上没有极点，主除子次数为零直接破产——所以除子理论的正规舞台是射影曲线，这也是 2.3 节闭包的深意。其三，线性等价不改变次数，但同次数不保证线性等价："除子的等价类比次数细得多"，这正是皮卡群存在的理由。

本节在知识体系里的位置：账本开张，守恒律到手。但记账是手段，配额才是目的——给定一份除子 D，曲线上有多少函数"至多欠 D 这么多债"？这个问题问的就是线丛与黎曼-罗赫，下一节正面作答。