Quillen-Suslin 定理的几何动机

梳不平的毛球

在二维球面 $S^2$ 上，不存在处处非零的连续切向量场。无论你怎样尝试在球面上“梳头”，总会出现一个旋——这是经典的毛球定理。用向量丛的语言说：球面的切丛不是平凡的。

对于更高维球面 $S^n$，问题变为：切丛何时平凡？答案是惊人的：仅当 $n=1,3,7$。$S^1$ 是圆周；$S^3$ 和 $S^7$ 的特殊性则分别源于四元数与八元数。除此之外，没有任何球面的切丛是平凡的。

证明这一结果并不容易。1950 年代，Adams 通过一系列深刻的上同调计算解决了更一般的球面向量场问题；而在拓扑 K 理论出现之后，他又给出了更为简洁的证明。这使得球面切丛的平凡化问题成为 K 理论早期最著名的成功案例之一。

本文并不讨论这些证明。我们只把它作为一个出发点，借此进入代数几何中的对应问题，并最终引出代数 K 理论中一个貌不惊人却暗藏玄机的结论：Quillen–Suslin 定理。

从几何到代数

我们把条件收紧：不取所有连续函数，只允许切向量场的每个分量都是坐标 $x_0,\dots,x_n$ 的多项式。球面由方程

\[x_0^2 + x_1^2 + \dots + x_n^2 = 1\]

定义。我们关心的问题是：是否存在 $n$ 个多项式切向量场，它们处处线性无关？换句话说，切丛在代数意义下是否平凡？

答案和连续情形完全一致：仅在 $n=1,3,7$ 时平凡。这是因为连续障碍已经足够强——如果连连续的基都没有，多项式基更不可能存在；而在 $1,3,7$ 维，已知结论恰好给出多项式解。

多项式的要求让我们可以进一步代数化这个问题。定义球面的坐标环

\[R = \frac{\mathbb{R}[x_0,\dots,x_n]}{(x_0^2+\cdots+x_n^2-1)}.\]

它的元素是球面上的多项式函数。平凡丛 $S^n\times\mathbb{R}^k$ 的整体多项式截面就是 $k$ 个多项式构成的元组，对应自由模 $R^k$。这是词典的第一条：

平凡丛整体截面的空间 ⇔ 自由模

特殊地，法向量构成的向量丛为 $N S^{n} = S^{n}\times \mathbb{R}$，其一个整体截面为 $(x_{0}, \ldots, x_{n})$。它对应自由模 $R$.

回到切丛。球面的切丛可以自然嵌入平凡丛 $S^n\times\mathbb{R}^{n+1}$：在点 $x=(x_0,\dots,x_n)$，切空间由与 $x$ 正交的向量构成。因此，一个多项式切向量场就是满足 $\sum_{i=0}^n x_i f_i=0$ 的多项式元组 $(f_0,\dots,f_n)\in R^{n+1}$。所有这样的截面构成一个 $R$-模

\[P = \{(f_0,\dots,f_n)\in R^{n+1} \mid \sum x_i f_i = 0\}.\]

于是

\[TS^n \oplus NS^{n} \cong S^n\times\mathbb{R}^{n+1}.\]

取多项式截面，直和变为模的直和：

\[P \oplus R \cong R^{n+1}.\]

一个模如果能够写成某个自由模的直和项，就称为投射模。因此 $P$ 是投射模。另外，对于一个投射模，在写成自由模直和项时，如果存在一种写法使得另一个直和项是有限生成的自由模，则此投射模称为稳定自由模¹。因此，$P$ 也是稳定自由模。

此时，切丛平凡意味着 $P$ 本身也是自由模。若 $P$ 自由，选它的一组基与法向量的基拼成 $R^{n+1}$ 的基，这等价于把幺模行（即向量的模为环中的单位） $(x_0,\dots,x_n)$ 补成 $(n+1)\times(n+1)$ 可逆矩阵。反方向，可逆矩阵的后 $n$ 列直接给出切丛的一组基。于是我们得到核心翻译：

切丛平凡 ⇔ $P$ 是自由模 ⇔ 行向量 $(x_0,\dots,x_n)$ 可以补全成一个可逆矩阵。

至此，我们成功代数化了一开始提出的问题。这一代数问题同样远非平凡。如果我们将行向量的元素从环 $R$ 中换到任意域 $k$ 中，则补全成可逆矩阵总是可能的，将已有向量补全成一组基即可。可此处，回忆答案：仅当 $n=1,3,7$ 时存在补全方案。

两种拓扑

上一节我们将连续切丛限制到了多项式函数的形式上，并且将连续函数的结论「偷渡」到了多项式函数中。这里值得指出其中区别。

球面 $S^n$ 上可以安装两种不同的拓扑。

第一种是我们熟悉的欧氏距离诱导的拓扑，由距离定义开集。在此拓扑下，连续向量丛的全体截面构成连续函数环 $C(S^n)$ 上的模。Swan 定理（1962）断言：紧 Hausdorff 空间 $X$ 上的连续向量丛范畴，等价于环 $C(X)$ 上的有限生成投射模范畴。简言之，连续向量丛 ⇔ 投射模。

第二种是 Zariski 拓扑，它是代数几何里使用的拓扑，开集由多项式方程的解集定义。在此拓扑下，代数向量丛局部平凡化的定义中使用 Zariski 开集，转移函数必须是多项式。这时，整体代数截面构成坐标环 $R$ 上的模。仿射代数簇上的代数向量丛范畴，等价于其坐标环上的有限生成投射模范畴。这一对应最早来自 Serre 关于仿射概形的基本结果，可以看作 Swan 定理在代数几何中的对应。上一节展示的（代数）切丛对应投射模，即是此定理的一个示例。

我们在前面使用的始终是代数几何的版本：环是多项式环 $R$，截面都是多项式，切丛定义为代数向量丛。我们的「偷渡」，即从连续不平凡推断代数不平凡，其所以合法，核心原因极其简单：多项式函数都是连续函数。因此，如果存在一组多项式基使切丛代数平凡，这组基也是连续基，切丛连续平凡。逆否之后，连续不平凡蕴含代数不平凡。球面切丛在绝大多数维数因此必然代数不平凡。特殊的平凡结果则直接由构造得出。

平凡的确认

球面例子展示了如果连续版本已经不平凡，代数版本一定也不平凡。但反过来呢？考虑一个在欧氏拓扑下所有连续向量丛都平凡的空间，那么在 Zariski 拓扑下，它的代数向量丛是否也全部平凡？

最容易想到的这类空间是仿射空间 $\mathbb A_k^n$。当 $k=\mathbb R$ 或 $\mathbb C$ 时，它对应的欧氏空间分别是 $\mathbb R^n$ 与 $\mathbb C^n$，都是可缩的，因此任何连续向量丛都平凡。其坐标环则是最简单的多项式环 $k[t_1,\dots,t_n]$。1955年，Serre 提出了他的著名问题，人称 Serre 猜想，虽然 Serre 本人反对这一叫法：

多项式环 $k[t_1,\dots,t_n]$ 上的每个有限生成投射模是否都是自由的？等价地，仿射空间上的所有代数向量丛是否都平凡？

球面的例子告诉我们，在带关系的坐标环上，非平凡的投射模是存在的。Serre 猜想问的正是：如果把环换成性质最好的多项式环，这种反例是否彻底消失？

提出猜想三年后，Serre 本人（1958）迈出了关键一步。他证明了多项式环 $k[t_1,\dots,t_n]$ 上的所有有限生成投射模都是稳定自由的。即对任何投射模 $M$，存在某个自由模 $R^m$ 使得 $M \oplus R^m$ 是自由模。于是，原来的猜想被约化为一个更精炼的问题：

在多项式环上，稳定自由模是否一定自由？等价地，每一个幺模行向量是否都能补全成可逆矩阵？

1976年，Quillen 和 Suslin 独立证明了 Serre 猜想：

定理（Quillen–Suslin）：多项式环 $k[t_1,\dots,t_n]$ 上的所有有限生成投射模都是自由的。等价地，每个稳定自由模都是自由的。等价地，每个幺模行向量都能补全成可逆矩阵。等价地，仿射空间上的所有代数向量丛都是平凡的。

这个结果意味着，在仿射空间这种没有曲率的平坦空间里，代数几何没有制造出超出拓扑直觉的意外。稳定自由强制地等于自由，幺模行始终可以补全成可逆矩阵。Quillen–Suslin 定理与 Quillen 同时期创立的高阶 K 理论一起，成为其最具影响力的工作之一，而 Quillen 本人也因为其高阶 K 理论的工作获得 1978 年菲尔茨奖。

非平凡的边界

前文在讨论球面切丛问题的代数化时，从代数内部线性空间-模的对照关系出发展示了幺模向量补全问题的另一个动机。更一般的 Quillen-Suslin 定理也可以作类似理解。首先回忆，在球面问题中，我们关心的模 $P$ 正是满射

\[R^{n+1}\to R,\qquad (f_0,\dots,f_n)\mapsto \sum x_i f_i\]

的核，因此问题也可以表述成此核是否为自由模。线性空间中这个问题变得平凡：当底环是域 $k$ 时，任何满射 $k^m\to k^n$ 其核必为线性空间（自由 $k$ 模） $k^{m-n}$。然而在一般环上，这一性质不再成立。现在的问题是，如果环不再是域，但是又没有如此不平凡，情况将如何？这一代数内部的提问方式和几何动机一样，遵循的是从发现不平凡到探求「平凡」的边界何在的思维方式。不过仅从代数着眼，这个问题就显得像一个纯粹的技术问题了。

球面例子因此获得了双重视角上的意义：它既是几何直觉的起点（向量丛与投射模的对应），赋予问题本身丰富的动机；又提供了一个具体而自然的例子，说明投射或稳定自由与自由之间确实存在差别。正因为这种差别真实存在，Quillen–Suslin 定理才显得格外特殊。

单看结论，Quillen–Suslin 定理似乎是平凡的，不过是将线性代数里的一个平凡事实推广到了多项式环上。然而球面的例子告诉我们，投射模与自由模之间原本存在一道真实的鸿沟。更重要的是，这道鸿沟并非来自某种人为的病态的代数构造，而是源于毛球上直观的拓扑障碍。正因为见过这种非平凡的可能，再回头看 Quillen–Suslin 定理时，才能体会到它真正回答的问题是什么。

沿着这条思路，如下问题会自然地产生。球面告诉我们：拓扑障碍会产生代数障碍。Quillen–Suslin 告诉我们：在仿射空间上这种障碍消失。那么当拓扑障碍已经消失时，代数障碍是否一定消失呢？这个问题在一般代数簇上远没有完全解决。

1. Stably free module, 此处稳定修饰自由，合起来修饰模，因此语义上稳定自由模也不必是自由模。我们这里展示的例子正是在说很多情况下稳定自由模不必是自由模。 ↩︎