3.1 坐标环与正则函数

3.1 坐标环与正则函数

「坐标环」这个词第一次撞进耳朵时，多数人以为它是坐标系的某种代数摆设。恰恰相反：坐标环是簇的户口本。判断一个簇的身份、比较两个簇的异同、甚至后来定义"维数"与"光滑"，都不看点的名单，而看这本户口本上登记了哪些函数。本节从最朴素的问题出发——多项式限制到曲线上还剩什么——把坐标环一步步逼出来。

坐标环：仿射簇 V 的坐标环指商环 k[V] = k[x₁,…,xₙ] / I(V)。它的元素是"多项式限制到 V 上"得到的函数，称为 V 上的正则函数。两个多项式限制后相同，当且仅当它们的差落在 I(V) 里。

一、限制：多项式上了曲线就"缩水"

在整张平面上，x² 与 x 是两个不同的函数；把舞台换到双曲线 xy=1 上再看——x 非零，x² 与 x 何时取值相同？取值相同要求 x²−x = x(x−1) 在曲线上恒为零，也就是交点问题。这说明限制并不总是压平函数，但另一类压缩是无条件的：在圆 x²+y²=1 上，多项式 x²+y² 与常数 1 处处取值相同。

一般规律由第 1 章的字典直接给出：多项式 h 在 V(I) 上恒为零 ⟺ h 落在根理想 √I 中（零点定理强形式）。对仿射簇 V 来说 I(V) 已是根理想，于是：

两个多项式在 V 上定义同一个正则函数 ⟺ 它们的差属于 I(V)

所以"V 上的正则函数"天然带等价类，等价类做成的集合恰好是商环 k[V]。这不是类比，是定义的原文：商环把差落在 I(V) 里的两个多项式认成同一个元素，与"限制后是同一个函数"严丝合缝。

图：坐标环的组装与压缩

二、动手：在圆的坐标环里做化简

坐标环里的四则运算有明确的"标准形"规则：利用定义方程 x²+y²−1=0，把次数过高的项逐次替换。以 (x³+y)(x−y) 为例，展开得 x⁴ − x³y + xy − y²；把 y² 换成 1−x²，得 x⁴ − x³y + xy + x² − 1；再把 x⁴ = x²·x² 换成 x²(1−y²) = x² − x²y²，用两次换元后最终落到次数不超过 2 的代表元上。这类化简有终点也有唯一答案（代数上的说法是：k[V] 作为 k 向量空间由 1, x, y 张成，且商是Groebner 基意义下的规范形），7.2 节的机器会替你自动完成。手工小练一条：在双曲线 xy=1 的坐标环里，y 恰好等于 x⁻¹——于是

k[xy=1 上的簇] = k[x, x⁻¹] = { Laurent 多项式 }

双曲线的函数库里住着"负幂"，这正是它与圆（坐标环 k[x,y]/(x²+y²−1)）身份不同的代数痕迹。看形状分不出的亲戚关系，翻函数库一翻便知。

三、极大理想回归：点又对上了

第 1 章说过"极大理想对应点"，坐标环让这句话更有用武之地：在 k[V] 里取一个极大理想 m，它的零点集是 V 中一个点 P；反过来，点 P 给出 k[V] 的极大理想 m_P = { 函数 ：在 P 处取值为零 }。于是一一对应升级成：

V 中的点 P ⟷ 坐标环 k[V] 的极大理想 m_P

这个对应后面到处开花：3.2 节定义态射要看函数怎么搬；第 5 章定义切空间要看 m_P 的幂次；7.1 节概形语言的宣言恰好是"把素理想也当点"。眼下记住操作结论：想知道一个簇有多少信息藏在里面，去数它的极大理想；想知道函数在一点的局部行为，去研究 m_P。

坐标环还自带"体检项目"，两个最常用的送给你。可逆元清点：k[V] 里哪些函数有倒数也是正则函数？双曲线 k[x, x⁻¹] 的答案豪爽——xⁿ（n 取任意整数）与它们的非零倍数全是可逆元；圆的坐标环里可逆元只有非零常数（直觉版本：圆是紧的，一个非常数多项式函数必有最大值，倒数会爆）。对称性清点：把 x 换成 −x 是圆的坐标环到自身的环同构（对应几何上关于 y 轴的翻折），y 换成 −y 对应 x 轴翻折，x、y 同时换号对应中心对称——曲线的每条对称，都是坐标环的一个自同构。这两个体检项目在 6.4 节会立功：椭圆曲线的可逆元只有常数，恰好排除了"用有理函数给点编虚号"的可能，群律因此不得不走几何路线。

商环三分钟速成

商环是本节的门槛词，现场拆解。构造分两步：第一步划等价类——两个多项式 f、g"同类"当且仅当 f−g 落在 I(V) 里；第二步定义运算——等价类相加就取代表相加再取类，相乘同理。这两条运算规则是良定的（换代表元不换结果，靠的正是理想对加减乘的封闭），于是等价类们组成一个环，记作 k[x,y]/I(V)。

机械感来自"化简到标准形"。在圆的坐标环里，每个等价类都有唯一一个"次数不超过 2 且 x、y 一次项独立"的代表元——1、x、y 三个基本积木拼出一切（y² 处处换成 1−x²，x² 换成 1−y²）。商环里于是可以像查字典一样查恒等式：

• x² + y² = 1（定义方程直接升格为恒等式）
• x³ = x·x² = x(1−y²) = x − xy²
• (x+y)² = x² + 2xy + y² = 1 + 2xy

最后一条尤其提神：平方展开后整体瘦身成"常数 + 交叉项"，因为 x²+y² 被恒等式吞掉了。在商环里做题，本质是用定义方程当橡皮擦，把任何表达式的多余次数擦到标准形。这种擦法有终点、有唯一结果（代数上的证书叫"合成列"或格罗布纳基规范形，7.2 节机器验货），手算时不必深究，放心擦即可。

四、易错点与本节位置

三个易错点。其一，坐标环的元素是等价类，写"x"时实际指"含 x 的那个等价类"；同余式 x²+y² = 1 在环内是恒等式，不是方程——没有"解"可言。其二，正则函数目前只能由多项式产生，像 y/x 这类分式不在 k[V]（圆上 x 会取零，分母有恃无恐地消失）——分式的合法性要等 3.3 节的函数域来安置。其三，坐标环依赖"仿射"这个身份：射影曲线没有全局坐标环（齐次坐标里多项式取值不良好定义），这正是后面要引入层与线丛的深层原因之一，7.1 节会回收这条线索。

本节在知识体系里的位置：簇有了函数库这份档案。下一节定义态射时，判断"一个映射是否保持代数结构"的试金石正是它——把 W 上的正则函数拉回 V 上，拉回来的还必须是正则函数。