3.3 有理函数与双有理等价
3.3 有理函数与双有理等价
硬性要求"处处有定义"太奢侈，代数几何很快学会了宽容：允许分母，允许函数在有限的坏点上失灵，只要在"剩下的大部分"上好使就行。这份宽容换来一个威力巨大的等价观念——双有理等价。本章最后一节用它完成一场漂亮的手术：把尖点曲线 y²=x³ 拆解成一条直线的变装，同时精确记录它"伤在哪里"，为第 5 章的奇点诊断递上病历。
函数域：坐标环 k[V] 是整环（V 不可约时），其分式域称为 V 的函数域 k(V)。双有理等价：若 V 与 W 的函数域同构（等价地，存在有理映射互逆、在稠密开集上互为反函数），则称 V 与 W 双有理等价。
一、放行分母：从函数库到函数域
3.1 节的坐标环只收多项式；现在把分式 f/g 也算上，前提是 g 不恒为零。拿圆与双曲线各验一次：
- 圆 x²+y²=1：坐标环 k[x,y]/(x²+y²−1)，函数域是其分式域。注意 x 在 (±1, 0) 取零，所以 1/x 不是处处有定义的正则函数——但在函数域里它合法，因为"分母不恒为零"就够了。
- 双曲线 xy=1：坐标环已是 k[x, x⁻¹]，分式域为 k(x)。一句话结论：双曲线的函数域是单变量有理函数域，与直线 A¹ 的函数域一样。
第二条结论已经泄露天机：双曲线与直线双有理等价（x ↦ (x, 1/x) 的逆正是取第一个坐标）。直观也配合：把双曲线射影闭包上的无穷远点掰直，它就是一条 P¹。曲线的"底子"由函数域决定——这个洞察将被第 6 章锻造成曲线分类的第一原则。
二、手术台：尖点曲线的参数化
尖点曲线 C : y² = x³。定义映射
φ : A¹ → C，t ↦ (t², t³)
验证像确实落在 C 上：(t³)² = t⁶ = (t²)³，恒成立。所以 φ 的像含在 C 里；反过来，C 的任何点 (x, y) 只要 x≠0 就能写成 (t², t³)，取 t = y/x 即可。于是 φ 在去掉了有限个点的开集上是双射，逆映射是有理映射 ψ : (x,y) ↦ t = y/x。结论：
尖点曲线与直线双有理等价，函数域 k(C) ≅ k(t)。
k(C) 为什么同构于 k(t)？函数域由 x 与 y 生成，约束 y²=x³；在域里作商允许除法，令 t = y/x，则 y = t·x，代入得 t²x² = x³，除掉 x 得 x = t²、y = t³——x 与 y 都是 t 的多项式，整个域坍缩成 k(t)。看图更直观：t = y/x 恰是原点出发、斜率为 t 的直线的斜率，"过奇点作直线束"是找有理参数化的标准起手式。
图：尖点曲线的参数化与坏点
三、伤情记录：等价与不同构的分界
参数化成功，但手术记录必须诚实写明坏点。φ 在 t=0 处把一整段 t 的小邻域都压向原点附近（dx/dt = 2t 与 dy/dt = 3t² 在 t=0 同时为零，映射退化）；ψ = y/x 在原点没有定义。**双有理等价允许这样的局部失灵，同构不允许**。尖点 C 与直线 A¹ 双有理等价但不同构——若同构，原点的"尖刺"就得在直线上找到对应物，而直线上每个点的切空间都是二维标准的，根本没有尖刺可对号。
这组对照给出本册前半段最重要的一条分界线：
- 双有理分类（宽松）：只看函数域。曲线的函数域是 k(t) 就归入"有理曲线"家族，椭圆曲线的函数域不是 k(t)，被拒之门外。
- 同构分类（严格）：看坐标环或其射影版本。有理曲线内部还要按奇点、按嵌入方式细分。
第 6 章将引入"亏格"作为双有理不变量把曲线分箱：亏格 0 是有理曲线（含直线、圆、双曲线、尖点），亏格 1 是椭圆曲线，亏格越大越"刚性"。y²=x³ 的尖点归箱 0，y²=x³−x 的椭圆曲线归箱 1，两者函数域的天壤之别就是分箱依据。
补台：圆的有理化，一步不省
把 3.2 节预告过的圆参数化完整推一遍，体会"直线束"手法与尖点案例的同胞关系。圆 x²+y²=1 取定点 P₀=(−1, 0)，过它斜率 t 的直线 y=t(x+1)。代入圆方程：
x² + t²(x+1)² = 1
整理：(1+t²)x² + 2t²x + (t²−1) = 0。它已知一根 x=−1（定点 P₀），由韦达定理"两根之积 = (t²−1)/(1+t²)"，得另一根
x = (1−t²)/(1+t²)，y = t(x+1) = 2t/(1+t²)
与尖点案例逐项对照：定点 P₀ 扮演奇点角色（过它的直线与曲线必再交一点——圆在 P₀ 处光滑，交点是"代数保证的第二个根"，尖点则是"三重根自己拆出第三点"）；t 是斜率；韦达定理是引擎。差别在结尾：圆与直线同构（t ↦ (x,y) 在整个圆上单射满射，只差 P₀ 在 t=∞ 处补位），比尖点的"带伤双有理"高一档。同一种手法，三档结论——直线与双曲线同构、圆与直线同构（都属亏格 0）、尖点与直线双有理等价而不同构（伤在奇点）。亏格决定"能不能有理化"，奇点决定"同构还是双有理"，这句话就是 3.3 节的全部总结。
两道带答案的自测
题一：判断 y² = x³ + x²（5.2 节的结点曲线）是否与直线双有理等价，若等价给出参数化。答：函数域由 x、y 生成，约束 y²=x²(x+1)。令 t = y/x（过原点、斜率 t 的直线），则 y = tx 代入得 t²x² = x³ + x² = x²(x+1)，除掉 x² 得 x = t² − 1、y = t(t²−1)。函数域是 k(t)，双有理等价成立。伤情记录：t²−1 = 0 即 t=±1 时 x=0，两支都从原点出发——参数化在结点处两次经过原点，伤得比尖点"轻"（原点仍有两个分支可分辨），这些差别到第 5 章用切线支数精确量化。
题二：为什么"函数域同构"不要求曲线真的有公共点？答：函数域是"开集上的函数"的抽象，双有理映射只要求在某个非空开集（挖去有限点）上互逆。两个簇可以一个交点都没有（比如一条仿射曲线与它平移出视野的拷贝），只要挖掉有限点后能互相参数化，函数域照样同构。双有理等价忽略有限个点——这是它比同构宽松的本质，也是奇点这种"点上的病"被它无视的原因。
四、易错点与本节位置
三个易错点。其一，有理函数是"等价类"：f/g 与 f·h/(g·h) 同一个元素，约分之后再谈零点与极点才不会闹鬼。其二，"双有理等价"与"存在多项式参数化"不是一回事：尖点有参数化，但椭圆曲线连有理参数化都没有——判定工具是函数域的亏格，不是眼力。其三，函数域只对不可约簇是域；可约簇（比如 xy=0 的闭包，两条直线拼成）得到的是域的乘积，术语要改口为"函数域环"，别在作业里写错。
本节在知识体系里的位置：函数域给曲线发了"血型卡"，双有理等价划定了宽严两档。但尖点为什么算"伤"？原点的病究竟怎么量化？这需要一台显微镜——切空间。下一章维数与次数先把尺子校准，第 5 章显微镜正式开镜。