基础衔接 15 · 非平坦族与导出纤维：普通纤维漏掉了哪一层？

两个零纤维都是双点，为什么一个族仍然藏着额外故障？

1. 先看普通纤维：原点处确实一模一样

令底环为

闭点 \(p_a=(t-a)\) 的剩余域记作

比较下面两个 \(B\)-代数。

自由平方族来自上一讲：

因为关系式首一，每个元素都能唯一写成 \(f(t)+u g(t)\)，所以

是秩 2 自由 \(B\)-模。

含挠族定义为

关系 \(x^2=0\) 先把每个元素化成 \(f(t)+g(t)x\)，关系 \(tx=0\) 再把 \(g(t)x\) 化成 \(g(0)x\)。因此作为 \(B\)-模，

其中第二个直和项上的 \(t\) 作用为零。可以把 \(x\) 想成只在底空间原点存活的一阶无穷小方向；这只是帮助定位的图像，正式信息仍是 \(x\ne0\)、\(x^2=0\)、\(tx=0\) 三条环关系。

普通闭纤维由张量积，也就是取商得到：

两族的结果是

对含挠族，若 \(a\ne0\)，关系 \(tx=0\) 在纤维里变成 \(ax=0\)，因而 \(x=0\)；若 \(a=0\)，这条关系不再施加新限制，平方零元 \(x\) 就留下来。

特别地，两族在 \(a=0\) 的普通纤维都同构于双数环 \(\mathbb C[\varepsilon]/(\varepsilon^2)\)。但这只说明它们在这个点的普通纤维相同，不说明两个总族相同，也不说明它们在其他纤维相同。

2. 维数跳跃的幕后：张量积破坏了一次单射

在整环 \(B=\mathbb C[t]\) 中，乘以 \(t\) 是单射：

把它与 \(A_{\rm tor}\) 张量，利用 \(B\otimes_BA_{\rm tor}\cong A_{\rm tor}\)，得到

这一次不再是单射，因为非零元素 \(x\) 被送到 \(tx=0\)。更精确地，若把元素写成 \(f(t)+cx\)，则

而 \(B\) 中乘 \(t\) 没有核，所以

平坦模的张量函子必须保持单射；这里已经找到一条被破坏的单射，因此 \(A_{\rm tor}\) 不是平坦 \(B\)-模。注意逻辑方向：一个明确的失败足以否定平坦性；只检查少量没有失败的映射，却不足以证明平坦。

3. 导出张量做的事：不要只收余核，也把核记下来

普通纤维 \(A\otimes_B\kappa_a\) 是右正合张量积的输出。若张量破坏了左端的单射，普通输出只留下余核，看不见丢掉的核。

因为 \(t-a\) 在 \(B\) 中不是零因子，\(\kappa_a\) 有长度为 1 的自由分解

把左边的 \(B\) 放在上同调次数 \(-1\)，右边的 \(B\) 放在次数 \(0\)。用这个自由分解计算导出张量，得到代表复形

其中两项分别位于次数 \(-1,0\)。于是

仍是普通纤维；而

记录张量后失去的单射性。用同调次数记号时，同一个群也常写成 \(H_1\)；本讲采用导出范畴常见的上同调编号 \(H^{-1}\)。

由于这份自由分解只有次数 \(-1,0\) 两项，本例对任意 \(A\) 都有

这不是“所有环的高阶 Tor 都消失”，而是这个特定剩余域在 \(B=\mathbb C[t]\) 上已有长度为 1 的自由分解。

4. 逐项计算含挠族：异常只在原点亮起

在分解 \(A_{\rm tor}=B\oplus\mathbb Cx\) 下，乘以 \(t-a\) 的作用是

因为 \(tx=0\)。

若 \(a\ne0\)，第一项上的乘法没有核，第二项上的标量 \(-a\) 可逆，所以

若 \(a=0\)，第二项上的映射成为零映射，故

普通零纤维看见的是余核中的双点；负一次同调则告诉我们，这个双点来自一个被底参数 \(t\) 杀死的类。两份信息回答不同问题，不能把 \(H^{-1}\) 解释成“又多了一个普通几何点”。

5. 为什么自由平方族没有这份负一次同调？

对自由平方族，

乘以 \(t-a\) 在两个自由直和项上都是单射，所以

对每个 \(a\) 都成立。因而

特别是在 \(a=0\)，

这与含挠族的 \(H^0\cong\mathbb C[x]/(x^2)\) 是同构的普通双点，但后者还有 \(H^{-1}\cong\mathbb Cx\)。所以：

自由平方族的两个点在原点会合，却由自由模保持总长度 2；含挠族则在原点突然多出只在那里存活的方向。真正区分它们的是整个 \(B\)-模结构，不是孤立地凝视一张零纤维图片。

6. 这里的“导出纤维”究竟说到了哪一步？

本讲只做了下列有限而严格的工作：

1. 选取 \(\kappa_a\) 的一个自由分解；
2. 写出底层两项复形 \([A\xrightarrow{t-a}A]\)；
3. 计算它的 \(H^0\)、\(H^{-1}\) 与相应 Tor 模。

这足以展示普通张量遗漏的核，却没有构造完整的导出概形、结构层的高阶乘法、同伦相干数据或一般导出基变换理论。把两项复形画成有限方框也不表示无限维的 \(A\) 被数值截断；方框只是在记录一个由自由分解严格得到的同调计算。

专业计算中，同样的机制会出现在非横截相交、基变换公式的失效与形变问题里。那时 Tor 群可以记录普通交点环未能单独表达的高阶交叠；但“Tor 非零等于几个额外交点”并不是普遍正确的集合论解释。

7. 实验怎样读：先猜核，再看余核

实验提供两个族与实参数 \(a\in[-2,2]\)。这里实区间只是复底空间闭点的一条可视切片，所有向量空间维数仍按 \(\mathbb C\) 计算。

切到自由平方族时，普通纤维维数始终为 2，\(\operatorname{Tor}_1\) 始终为 0。切到含挠族时，实验显示 \(t-a\) 在孤立挠子空间 \(\mathbb Cx\) 上就是标量 \(-a\)：非零 \(a\) 时可逆，原点时变成零，因此普通纤维维数从 1 跳到 2，同时 \(\operatorname{Tor}_1\) 维数从 0 跳到 1。

有限图示只是核、余核和维数的同调账本。它使用解析分解 \(B\oplus\mathbb Cx\)，没有把无限维环 \(A\) 截成有限矩阵来冒充证明。

无脚本后备：

相同的 Tor 维数，也未必恢复整个族

把含挠族推广为

作为 B-模，它是 \(B\oplus(B/(t^m))x\)。在原点，普通纤维始终是 \(\mathbb C[x]/(x^2)\)；乘 t 的核始终一维，只是生成元变成 \(t^{m-1}x\)。因此只看各普通闭点上 \(H^0\) 与 \(H^{-1}\) 的维数，不能区分 m=1、2、3。Tor 补回一份信息，并不意味着一张维数表已经编码了整个族。

可以把底空间探针加厚：令 \(B_\ell=B/(t^\ell)\)。普通基变换给出

原因是挠项同时满足 \(t^m x=0\) 与 \(t^\ell x=0\)，留下 \(x,tx,\ldots,t^{\min(m,\ell)-1}x\)。与自由部分的 \(1,t,\ldots,t^{\ell-1}\) 合起来，维数可以直接数基得到。

表中最后两行在这些探针下仍相同，但 \(\ell=4\) 时分别为 7 和 8。这提醒我们保留每个测试的范围；有限几个相同结果不能直接推出两个族相同。

8. 两道迁移题

题一。 仍令 \(B=\mathbb C[t]\)，把含挠族改成

计算每个闭点 \(a\) 的普通纤维与 \(\operatorname{Tor}_1^B(A_2,\kappa_a)\)。原点的 Tor 生成元是 \(x\) 还是 \(tx\)？

题二。 考察三次自由族

原点纤维是非约化三重点。它是否必然产生非零 \(\operatorname{Tor}_1\)？计算所有闭纤维的普通维数与正次数 Tor。