一般齐次方程与 Birch 定理General homogeneous equations: Birch's theorem

阅读方式：黑色叙述是对译文每一段的忠实转述与串讲；彩色框（目标 / 符号 / 分步推演 / 定理 / 证明）和插图是为高中生补充的零省略详解。译文里凡是写"显然""容易看出"的地方，本页都补成一步一句的推导。

一、从加性方程走向一般齐次方程

译文段落（第 1 段）。"现在我们转向一般的齐次方程……设 \(f(x_1,\dots,x_n)\) 是一个整系数的、次数为 \(k\) 的齐次多项式，我们称之为一个型（form）。我们关心的是 \(f(x_1,\dots,x_n)=0\) 的可解性。"

这一段在交代研究对象。我们先把里面每个词讲透。

译文段落（第 2 段）。"在整数 \(x_1,\dots,x_n\)（不全为 0）中的可解性。由于齐次性，我们可以允许系数和变量取有理数而不取整数……一个显然的必要条件是：该方程必须在实数中可解，且解不全为 0。"

这一段讲三件事，逐条拆解。

二、二次型（k=2）：配方法与 Meyer 定理

译文段落（第 3 段）。"当 \(k=2\)，即 \(f\) 是一个二次型时，可以借助'配方法'把一般的型表示为加性型……当 \(n\ge 5\) 时这些同余条件总能满足，相应地我们便有 Meyer (1883) 的著名定理：五个或更多变量中的不定二次型总能非平凡地表示零。"

这一段是背景回顾：在最简单的 \(k=2\) 情形，问题早已被彻底解决。它告诉我们"一般型化成加性型"这个思路并不新鲜，二次时就管用。把里面的概念逐个讲清。

三、高次型为什么远比加性型复杂

译文段落（第 4 段）。"对于 \(k>2\)，一般的型比加性型一般得多。例如，若 \(k=3\)，则一般型中有 \(\tfrac16 n(n+1)(n+2)\) 个独立系数，而由于对 \(n\) 个变量作的一个线性变换只有 \(n^2\) 个系数，显然几乎不可能作什么简化。"

这一段用数系数的方式，说明"高次时配方法行不通"。我们把这两个数字算清楚。

四、退化性（degeneration）

译文段落（第 5 段）。"与一般型相关的一个重要问题是退化性……称 \(n\) 个变量中的一个型是退化的，如果存在一个从 \(x_1,\dots,x_n\) 到 \(y_1,\dots,y_n\) 的非奇异线性变换，使得变换后的型只涉及 \(y_1,\dots,y_{n-1}\)；也就是说，所有含 \(y_n\) 的项的系数都消失。"

"退化"是一个判断这个型有没有"多余变量"的概念。下面把定义讲透。

译文（续）。"退化性是一个绝对的性质……用我们的记号，必须有 \(\partial f/\partial y_n=0\) 恒成立；而若 \(C_j\) 是 \(y_n\) 在 \(x_j\) 中的系数，这就等价于 \[ C_1\frac{\partial f}{\partial x_1}+\cdots+C_n\frac{\partial f}{\partial x_n}=0 \] 恒成立。"

译文段落（第 6 段）。"然而，从当前问题——即表示零——的角度看，我们总可以假设 \(f\) 是非退化的；因为若 \(f\) 如上所述退化，那么对应于解 \(y_1=\cdots=y_{n-1}=0,\ y_n=1\)，就有一个 \(x_1,\dots,x_n\) 不全为 0 的解。"

五、历史脉络：Brauer、Lewis、Birch

译文段落（第 7 段）。"朝着求解一般齐次方程方向迈出第一步实质性进展的是 R. Brauer [9]……Brauer 定理在 \(p\) 进数域中适用，并确立了一个函数 \(n_1(k,h)\) 的存在性……只要 \(n\ge n_1(k,h)\)，便在 \(p\) 进数中可解。"

这一段是历史，讲清三代人的接力。先讲 Brauer。

译文段落（第 8 段）。"这一领域中最简单的问题是单个三次方程的问题。Lewis 教授 [56] 最先证明了存在一个绝对常数 \(n_0\)，使得任何 \(n\) 个变量中带有理系数的三次方程，只要 \(n\ge n_0\)，便在有理数中可解。"

译文段落（第 9 段）。"不久之后，Birch [5] 证明了一个更一般的定理，即：每个齐次方程组，只要其中各方程都是奇次的，并且 \(n\) 超过依赖于这些次数的某个函数，便可解。这个定理就是本章的主题。"

六、方法预览：先讲单个三次方程

译文段落（第 10 段）。"在以其全部一般性证明 Birch 定理之前，我打算先就最简单的情形——单个三次方程——来说明方法……后者的可解性由定理 8.1 保证，只要变量个数至少为 \(k^2(2k-1)+1=46\)。（实际上 8 个变量就够了，但这需要特殊的论证。）"

作者的教学策略：先在三次的小场景里把核心招式演示一遍，再上升到一般证明。这一段先把要借用的"外援"说清楚。

七、"表示"（represents）的精确含义

译文段落（第 11 段）。"设 \(f(x_1,\dots,x_n)\) 是一个三次型。我们说：\(f\) 表示 \(g(y_1,\dots,y_m)\)（其中 \(m\le n\)），如果存在 \(n\) 个关于 \(y_1,\dots,y_m\) 的线性型，其秩为 \(m\)，使得当用这些线性型替换 \(x_1,\dots,x_n\) 时，得到 \(f(x_1,\dots,x_n)=g(y_1,\dots,y_m)\) 关于 \(y_1,\dots,y_m\) 恒成立。"

译文段落（第 12 段，核心思路）。"证明的基本思想是：证明 \(f\) 表示一个如下类型的型 \[ a_0 t_0^3+g_1(t_1,\dots,t_m)\tag{11.1}\] 只要 \(n\) 超过某个仅依赖于 \(m\) 的数。"

八、三线性函数 \(T\) 与"剥离一个立方项"的构造

译文段落（第 13 段）。"写 \(f(\mathbf{x})=\sum_i\sum_j\sum_k c_{ijk}x_ix_jx_k\)，其中各求和从 1 到 \(n\)，且 \(c_{ijk}\) 是三个下标的对称函数。对三个点 \(\mathbf{x},\mathbf{y},\mathbf{z}\) 定义三线性函数 \(T(\mathbf{x}\,|\,\mathbf{y}\,|\,\mathbf{z})=\sum_i\sum_j\sum_k c_{ijk}x_iy_jz_k\)。"

译文段落（第 14 段）。"我们任取 \(m\) 个线性无关的点 \(\mathbf{y}^{(1)},\dots,\mathbf{y}^{(m)}\)，它们具有整（或有理）坐标，并考虑关于一个未知点 \(\mathbf{y}\) 的方程 \[ T(\mathbf{y}\mid\mathbf{y}^{(p)}\mid\mathbf{y}^{(q)})=0,\quad 1\le p\le q\le m. \]"

九、计数方程、找出特殊点 \(\mathbf{y}^{(0)}\)

译文段落（第 15 段）。"这是关于 \(\mathbf{y}\) 的 \(n\) 个坐标的 \(\tfrac12 m(m+1)\) 个线性方程。如果 \(n>\tfrac12 m(m+1)\)，则存在一个满足它们的、异于原点的点 \(\mathbf{y}\)。称这样的一个点为 \(\mathbf{y}^{(0)}\)。"

译文段落（第 16 段，退化情形先处理掉）。"如果点 \(\mathbf{y}^{(0)},\mathbf{y}^{(1)},\dots,\mathbf{y}^{(m)}\) 线性相关，那么……我们应当有 \(\mathbf{y}^{(0)}=c_1\mathbf{y}^{(1)}+\cdots+c_m\mathbf{y}^{(m)}\)……但那时 \[ T(\mathbf{y}^{(0)}\mid\mathbf{y}^{(0)}\mid\mathbf{y}^{(0)})=\sum_{p=1}^m\sum_{q=1}^m c_pc_q\,T(\mathbf{y}^{(0)}\mid\mathbf{y}^{(p)}\mid\mathbf{y}^{(q)})=0, \] 由此 \(f(\mathbf{y}^{(0)})=0\)，从而给出了所求的解。"

十、独立情形：换元后型的形状

译文段落（第 17 段）。"于是我们可以假设这 \(m+1\) 个点线性无关。变换 \[ x_j=t_0y_j^{(0)}+t_1y_j^{(1)}+\cdots+t_my_j^{(m)},\quad(1\le j\le n) \] 的秩为 \(m+1\)，并把 \(f\) 表示为 \(t_0,t_1,\dots,t_m\) 的一个型。"

译文段落（第 18 段，算系数）。"在这个型中 \(t_0t_pt_q\) 的系数是 \(T(\mathbf{y}^{(0)}\mid\mathbf{y}^{(p)}\mid\mathbf{y}^{(q)})\)，故当 \(1\le p\le q\le m\) 时它为 0。因此新的型具有下列形状 \[ a_0t_0^3+t_0^2(b_1t_1+\cdots+b_mt_m)+g_1(t_1,\dots,t_m). \]"

译文段落（第 19 段，消去 \(b\) 项）。"如果 \(b_1,\dots,b_m\) 全为 0，我们便得到一个所求类型 (11.1) 的型。如果不然，设 \(b_m\ne 0\)，我们令 \(t_m=-\frac{1}{b_m}(b_1t_1+\cdots+b_{m-1}t_{m-1})\)，从而得到一个类型 (11.1) 的型，但其中 \(m\) 被 \(m-1\) 代替。"

译文段落（第 20 段，\(a_0\neq 0\)）。"我们可以假设 \(a_0\ne 0\)，因为若 \(a_0=0\)，则对应于 \(t_0=1,\ t_1=\cdots=t_m=0\)，存在一个 \(x_1,\dots,x_n\) 的解。"

十一、反复剥离 → 加性型 → 调用定理 8.1

译文段落（第 21 段）。"我们看到，只要取 \(n\) 足够大，就可以让 \(m\) 任意大。同样，我们也可以对新的型 \(g(t_1,\dots,t_m)\) 重复这一过程……存在一个函数 \(n_0(s)\)，使得若 \(n\ge n_0(s)\)，则型 \(f\) 表示一个如下类型的型 \(b_1u_1^3+\cdots+b_su_s^3\)。"

译文段落（第 22 段，收尾）。"由定理 8.1，只要 \(s\ge s_0\,(=46,\ \text{比方说})\)，相应的齐次方程便有非平凡解，从而当 \(n\ge n_0(s_0)\) 时原方程可解。"

十二、Birch 一般定理（定理 11.1）的陈述

译文段落（第 23 段）。引入定理 11.1。

译文段落（第 24 段）。"注意我们断言的比'存在无穷多个解'更强；这是为了在归纳证明中方便。"

十三、引理 11.1：加性方程的解含 \(m\) 维空间

译文段落（第 25 段）。引理 11.1 及其证明。

十四、定理 11.1 的证明（一）：归纳框架与多重线性函数

译文段落（第 26 段）。"设 \(R=\max r_j\)，于是 \(R\) 是一个奇正整数。当 \(\max r_j=1\) 时结果当然成立。我们对 \(R\)（限于奇数值）作归纳来证明它。我们将首先证明：若结果对 \(\max r_j\le R-2\) 的方程组成立，则它对单个次数为 \(R\) 的方程成立。"

译文段落（第 27 段）。定义多重线性函数： \[ f(x_1,\dots,x_n)=\sum c_{i_1,\dots,i_R}x_{i_1}\dots x_{i_R},\qquad M(\mathbf{x}^{(1)}\mid\cdots\mid\mathbf{x}^{(R)})=\sum c_{i_1,\dots,i_R}x_{i_1}^{(1)}\dots x_{i_R}^{(R)}. \]

十五、证明（二）：造出特殊点 \(\mathbf{y}^{(0)}\) 与子空间 \(\mathcal{Y}_1\)

译文段落（第 28 段）。"我们先选取 \(h\) 个线性无关的点 \(\mathbf{y}^{(1)},\dots,\mathbf{y}^{(h)}\)。设 \(\mathcal{Y}\) 是由它们生成的 \(h\) 维线性空间。考虑方程 \[ M(\underbrace{\mathbf{y}\mid\cdots\mid\mathbf{y}}_{\rho}\mid\mathbf{y}^{(p_1)}\mid\cdots\mid\mathbf{y}^{(p_{R-\rho})})=0, \] 其中 \(\rho\) 取从 1 到 \(R-2\) 的所有奇数值，而 \(p_1,\dots,p_{R-\rho}\) 取从 1 到 \(h\) 的所有值。"

译文段落（第 29 段）。"因此，由归纳假设（对 \(m=1\) 的情形），只要 \(n\ge n_0(R,h)\)，这些方程在 \(\mathbf{y}\) 中就有一个非零解。记这样的一个解为 \(\mathbf{y}^{(0)}\)。我们现在有 \[ M(\underbrace{\mathbf{y}^{(0)}\mid\cdots\mid\mathbf{y}^{(0)}}_{\rho}\mid\underbrace{\mathbf{y}\mid\cdots\mid\mathbf{y}}_{R-\rho})=0 \] 对 \(\mathcal{Y}\) 中所有 \(y\) 以及所有奇数 \(\rho\le R-2\) 成立。"

译文段落（第 30–31 段）。"\(\mathcal{Y}\) 中一个任意点 \(\mathbf{y}\) 具有形式 \(u_1\mathbf{y}^{(1)}+\cdots+u_h\mathbf{y}^{(h)}\)。现在考虑方程 \[ M(\underbrace{\mathbf{y}^{(0)}\mid\cdots\mid\mathbf{y}^{(0)}}_{R-\sigma}\mid\underbrace{\mathbf{y}\mid\cdots\mid\mathbf{y}}_{\sigma})=0, \] 其中 \(\sigma\) 取从 1 到 \(R-2\) 的所有奇数值……这些是关于 \(u_1,\dots,u_h\) 的次数 \(\le R-2\) 的奇次方程，其个数 \(

译文段落（第 32 段）。"我们便有 \[ M(\underbrace{\mathbf{y}^{(0)}\mid\cdots\mid\mathbf{y}^{(0)}}_{\tau}\mid\underbrace{\mathbf{y}\mid\cdots\mid\mathbf{y}}_{R-\tau})=0 \] 对所有 \(\tau=1,\dots,R-1\) 以及 \((\ell+1)\) 维空间 \(\mathcal{Y}_1\) 中所有 \(\mathbf{y}\) 成立。为保证这一点，我们只需假设 \(n\ge n_1(R,\ell)\)。"

十六、证明（三）：换元、剥出 \(a_0t_0^R\)，再化加性型

译文段落（第 33 段）。"如果 \(\mathbf{y}^{(0)}\) 在由 \(\mathbf{y}^{(1)},\dots,\mathbf{y}^{(\ell+1)}\) 生成的子空间 \(\mathcal{Y}_1\) 中，我们可以通过去掉其中一个生成点（比方说 \(\mathbf{y}^{(\ell+1)}\)），得到 \(\mathcal{Y}_1\) 的一个 \(\ell\) 维子空间 \(\mathcal{Y}_2\)，它不含 \(\mathbf{y}^{(0)}\)。现在点 \(\mathbf{y}^{(0)},\mathbf{y}^{(1)},\dots,\mathbf{y}^{(\ell)}\) 是线性无关的。"

译文段落（第 34 段）。"线性变换 \(x_j=t_0y_j^{(0)}+t_1y_j^{(1)}+\cdots+t_\ell y_j^{(\ell)}\)（\(1\le j\le n\)）的秩为 \(\ell+1\)，并给出 \(f(\mathbf{x})=g(t_0,\dots,t_\ell)\)。在 \(g\) 中 \(t_0^\tau t_{p_1}\cdots t_{p_{R-\tau}}\) 的系数……是 \[ M(\underbrace{\mathbf{y}^{(0)}\mid\cdots\mid\mathbf{y}^{(0)}}_{\tau}\mid\mathbf{y}^{(p_1)}\mid\cdots\mid\mathbf{y}^{(p_{R-\tau})})=0, \] 而这对 \(\tau=1,\dots,R-1\) 以及任意选取的 \(p_1,\dots,p_{R-\tau}\) 都成立。因此 \(g(t_0,\dots,t_\ell)=a_0t_0^R+g_1(t_1,\dots,t_\ell)\)。"

译文段落（第 35 段）。"于是，对任何 \(\ell\)，只要 \(n\ge n_1(R,\ell)\)，\(f\) 就表示一个上述类型的型。重复这一论证可证明 \(f\) 表示一个如下类型的型 \(\underbrace{a_0t_0^R+b_0u_0^R+\cdots}_{s}\)，只要 \(n\ge n_2(R,s)\)。由引理 11.1……因此原方程的解包含一个 \(m\) 维线性空间，只要 \(n\ge n_2(R,\Phi(R,m))\)。"

十七、证明（四）：从单个方程推广到一组方程

译文段落（第 36 段）。"现在设有 \(h\) 个方程 \(f_{r_1}=0,\dots,f_{r_h}=0\)，其中每个 \(r_j\le R\)。我们对 \(h\) 作归纳……给定 \(m_1\)，由定理对 \(h=1\) 的情形，存在一个 \(m_1\) 维有理线性空间，在其上 \(f_{r_h}=0\)，只要 \(n\ge\Psi(r_h;m_1)\)。"

译文段落（第 37 段）。"对这些点，型 \(f_{r_1},\dots,f_{r_{h-1}}\) 成为 \(v_1,\dots,v_{m_1}\) 中的型。由 \(h-1\) 的情形，存在一个 \(m\) 维线性空间，在其上它们全部消失，只要 \(m_1\ge\Psi(r_1,\dots,r_{h-1};m)\)。因此…… \[ \Psi(r_1,\dots,r_h;m)=\Psi(r_h;\Psi(r_1,\dots,r_{h-1};m)). \]"

十八、推论：推广到代数数域

译文段落（第 38 段）。"推论. 即使型的系数与 \(x_1,\dots,x_n\) 取值于一个代数数域 \(K\) 中，定理 11.1 仍然成立，但此时 \(\Psi\) 依赖于 \(K\)。"

译文段落（第 39 段）。"当我们把每个系数与每个变量用 \(K\) 的一组基……线性地表示出来时，每个方程都等价于 \(\nu\) 个具有相同次数、带有理系数与变量的方程。"

十九、承上启下：下一步要更精确

译文段落（第 40 段）。"我们接下来的目标将是证明一个更精确的结果，它关于使单个齐次三次方程可解所需的变量个数。在工作过程中，我们将需要数的几何中的一些结果，因此我们将以对这一主题某些方面的叙述作为开始。"

返回 全书目录