2026-10-14 · 固定向量为何提不上去

2026 年 10 月 14 日，星期三 · 《每日数学》 · 模表示微弧 3 / 3

0. 导读与元结构 (Orientation & Meta-structure)

Develata，这三天的主线是：不变补空间未必存在 → 仍可分类不可分解块 → 怎样记录块之间的粘合？ 今天完成第三步。

给一个表示的商空间中的固定向量，随便选一个原像并不难；难的是让这个原像也被整个群固定。我们将把“差了多少”写成函数，再把“换一个原像便能消去的差”商掉。所得对象就是一阶上同调（first cohomology）。

• 对象层：域 $k$、有限群 $G$、左 $k[G]$-模（即 $k$-线性表示），以及表示之间的短正合列。全文 $p$ 为素数，主例为 $\mathrm{char}k=p$ 的 $C_p$。
• 量词层：对每个商空间固定向量 $q$，问是否存在一个原像 $e$，使对所有 $g\in G$ 都有 $ge=e$。先选 $e$ 再逐个修补，并不保证存在同一个有效校正。
• 前置知识：核与像、商空间、群作用；前一期的 $k[C_p]\cong k[t]/(t^p)$。主证明不用预习消解或导出函子。
• 证明引擎：测量提升缺陷 → 由结合律得到相容条件 → 计算换选择的影响 → 形成商空间；循环群只需检查一个生成元及一个关系。
• 研究生去向：连接映射、${\mathrm{Ext}}^1$ 与自由消解。它们在本期不是入场券，而是已算出机制的统一名字。

实质增量：昨天分类的是中间表示本身；今天分类的对象还带着指定的嵌入与商映射。因此两个同构的 Jordan 块，可以代表不同的扩张类。

1. 核心概念、定理与谱系 (Concept, Theorem & Lineage)

1.1 从固定向量的提升缺陷开始

固定一个短正合列（short exact sequence）

$$0⟶M\stackrel{i}{\to }E\stackrel{\pi }{\to }Q⟶0.$$

这表示 $i$ 单射、$\pi$ 满射、$\ker \pi =\mathrm{im}i$，且两映射都与群作用交换。以下通过 $i$ 把 $M$ 视为 $E$ 的子空间。定义

$$Q^G=\{q\in Q:\mathrm{\forall }g\in G,gq=q\}.$$

对每个 $q\in Q^G$，选 $e\in E$ 使 $\pi (e)=q$。因为

$$\pi (ge-e)=gq-q=0,$$

故 $ge-e\in M$。记缺陷函数 $c_e:G\to M$ 为 $c_e(g)=ge-e$。它自动满足

$$c_e(gh)=c_e(g)+g{c}_e(h)(\mathrm{\forall }g,h\in G).$$

这就是结合律的记账：先作用 $h$ 再作用 $g$，与一次作用 $gh$ 的缺陷必须相容。

1.2 定义不是凭空添加：相容缺陷模掉可消缺陷

对固定左模 $M$，定义一余循环（1-cocycles）与一余边界（1-coboundaries）：

$$Z^1(G,M)=\{c:G\to M:\mathrm{\forall }g,h\in G,c(gh)=c(g)+gc(h)\},$$

$$B^1(G,M)=\{b:G\to M:\mathrm{\exists }m\in M,\mathrm{\forall }g\in G,b(g)=gm-m\}.$$

两者按逐点运算都是 $k$-向量空间。直接展开可见 $B^1\subseteq Z^1$；且任何余循环都有 $c(1)=0$。定义

$$H^1(G,M)=Z^1(G,M)/B^1(G,M).$$

注意 $c$ 的自变量是群元素，不是向量，不要求 $c$ 是线性映射。只有 $G$ 在 $M$ 上作用平凡时，余循环恒等式才简化为到加法群 $(M,+)$ 的群同态条件。

换一个提升 $e^{\prime }=e+m$，便有

$$c_{e^{\prime }}(g)=c_e(g)+(gm-m).$$

所以类 $[c_e]$ 与提升选择无关，给出 $k$-线性映射

$$\delta :Q^G⟶H^1(G,M),q⟼[c_e].$$

线性性可用提升的线性组合验证，不需要为整个 $Q$ 固定一个等变截面。

提升障碍定理：对每个 $q\in Q^G$，

$$\delta (q)=0⟺\mathrm{\exists }{e}_0\in E^G,\pi (e_0)=q.$$

证明只有两步。若 $e_0$ 固定，则缺陷为零。反之，若 $c_e(g)=gm-m$ 对某个 $m\in M$ 及所有 $g$ 成立，则 $e_0=e-m$ 被全部 $g$ 固定，且仍映到 $q$。

因此下面的序列在所显示的每个非末端位置正合：

$$0⟶M^G⟶E^G⟶Q^G\stackrel{\delta }{\to }{H}^1(G,M).$$

它把“取固定向量未必保留满射”变成一个可计算的障碍。一般不宣称 $\delta$ 满射。[1, §3.3] 给出其长正合列背景；这里直接证明了本期使用的部分。

1.3 当商模是 $k$：障碍同时分类扩张

现在令 $Q=k$，带平凡 $G$-作用。考虑

$$0⟶M\stackrel{i}{\to }E\stackrel{\pi }{\to }k⟶0.$$

选 $e$ 使 $\pi (e)=1$，则每个 $E$ 中向量唯一写成 $m+ae$。群作用因而写成

$$g\cdot (m,a)=(gm+ac(g),a),$$

其中 $c=c_e$。反过来，给任意 $c\in Z^1(G,M)$，此公式确实定义群作用：作用 $gh$ 与先 $h$ 后 $g$ 相等，正好等价于余循环恒等式；单位元条件来自 $c(1)=0$，逆元条件随群律成立。

必须说清“等价”：两个这样的短正合列等价，是指存在 $G$-线性同构 $F:E\to E^{\prime }$，满足

$$F\circ i=i^{\prime },{\pi }^{\prime }\circ F=\pi .$$

即左右两端是指定的同一个 $M$ 与 $k$，端点映射必须为恒等。

在上述坐标中，每个端点保持映射必形如 $F(m,a)=(m+au,a)$。代入等变条件得

$$c(g)-c^{\prime }(g)=gu-u(\mathrm{\forall }g\in G).$$

故两个扩张等价，当且仅当余循环相差余边界。于是

$$\{\text{固定端点的 }0\to M\to E\to k\to 0\text{ 的等价类}\}⟷H^1(G,M).$$

零类恰为分裂扩张：等变截面 $s:k\to E$ 完全由固定提升 $s(1)$ 决定。这里 $\delta (1)$ 是这一条扩张的类；不是说任何给定短正合列的 $\delta$ 都覆盖所有扩张。

1.4 循环群：一个生成元值与一个范数约束

设 $G=C_p=⟨\sigma \mid {\sigma }^p=1⟩$，暂不限制 $k$ 的特征。令

$$D=\sigma -1,\mathcal{N}=1+\sigma +\cdots +{\sigma }^{p-1}$$

表示 $M$ 上的两个算子。一个余循环由 $a=c(\sigma )$ 唯一决定，因为

$$c({\sigma }^j)=\sum _{i=0}^{j-1}{\sigma }^{i}a(1\le j\le p).$$

群关系要求 $0=c(1)=c({\sigma }^p)=\mathcal{N}a$。反过来，若 $\mathcal{N}a=0$，上述部分和定义在指数模 $p$ 下相容：每绕一圈只增加 $\mathcal{N}a$；部分和的拼接给出余循环恒等式。余边界在生成元处的值恰为 $Dm$。而 $\mathcal{N}D={\sigma }^p-1=0$，故商空间合法，得到

$$\boxed{{\displaystyle H^1(C_p,M)\cong \ker \mathcal{N}/DM.}}$$

这与 [1, Example 3.2] 的一般有限循环群公式一致。

回到 $\mathrm{char}k=p$。在多项式环 $k[x]$ 中，

$$(x-1)(1+x+\cdots +x^{p-1})=x^p-1=(x-1{)}^p.$$

在这个整环中约去 $x-1$，再代入 $x=\sigma$，得到 $\mathcal{N}=(\sigma -1{)}^{p-1}$。不是在有零因子的群代数中非法约去 $\sigma -1$。 令 $t=\sigma -1$，于是

$$H^1(C_p,M)\cong \ker (t^{p-1}:M\to M)/tM.$$

特别地，若 $M=k$ 为平凡模，则 $tM=0$、$\mathcal{N}=pI=0$，所以 $H^1(C_p,k)\cong k$。每个标量都记录一种带端点的扩张，而非一种新的二维中间模同构类型。

对照平均化仍有效的世界：若 $G$ 有限且 $|G|$ 在 $k$ 中可逆，对任意余循环设 $S=\sum _{h\in G}c(h)$。由左乘置换群元素，

$$S=\sum _{h}c(gh)=|G|c(g)+gS.$$

所以 $c(g)=gm-m$，其中 $m=-S/|G|$。于是 $H^1(G,M)=0$。前两天的平均投影与今天的余循环消失，使用的是同一个可除性条件；特征整除群阶时，正是这一校正失去依据。

1.5 研究生延伸：把已见机制嵌入消解

记 $R=k[t]/(t^p)$，$k=R/(t)$。自由消解（free resolution）是由自由模组成、各处像等于下一映射核的序列。本例有

$$\cdots \stackrel{t}{\to }R\stackrel{t^{p-1}}{\to }R\stackrel{t}{\to }R\stackrel{\epsilon }{\to }k⟶0,$$

其中 $\epsilon$ 取常数项。正合性可逐项核验：

$$\ker \epsilon =tR,\ker (t\cdot )=t^{p-1}R,\ker (t^{p-1}\cdot )=tR.$$

对这些模取 ${\mathrm{Hom}}_R(-,M)$，每个 ${\mathrm{Hom}}_R(R,M)$ 由 $f(1)$ 识别为 $M$，得到余链复形

$$M\stackrel{t}{\to }M\stackrel{t^{p-1}}{\to }M\stackrel{t}{\to }\cdots .$$

次数 $1$ 的“核除以像”恰是刚刚算出的 $H^1$。这也是

$${\mathrm{Ext}}_{k[G]}^1(k,M)\cong H^1(G,M)$$

在循环群上的具体实现：左边既可由自由消解定义，也可用上述模扩张等价类解释。无需把这一抽象识别当作前面初等证明的前提。

概念谱系：提升问题 → 缺陷相容式 → 换选择的不变量 → 扩张分类 → 消解。Brown 的讲义 [1, §0] 另解释了群上同调的拓扑与代数来源；本期这条箭头是理解次序，不冒充历史发现次序。

2. 固定模板习题 (Template Exercise)

题目

求实数 $a,b$，使

$$J(a,b)={\int }_0^1(x^2-a-bx{)}^{2}dx$$

达到最小，并求其最小值。证明极小点唯一；不要仅凭求偏导后得到的驻点就结束。

模板识别

这是有限维子空间中的最小二乘逼近（least-squares approximation）。信号是“平方积分误差 + 待定线性系数”。合适的问题不是逐点拟合，而是让残差与允许调整的方向 $1,x$ 正交，再用勾股分解认证全局极小。

分级提示

1. 令残差 $r(x)=x^2-a-bx$。沿常数方向或 $x$ 方向微调，平方误差的一次变化各由哪个积分控制？
2. 用 ${\int }_0^{1}r(x)dx=0$ 与 ${\int }_0^{1}xr(x)dx=0$ 建立两元线性方程。
3. 找到候选后，将另一条仿射函数写为候选加 $u+vx$。展开误差，解释交叉项为何消失，以及剩余平方积分何时为零。

3. 大家之言 (Mathematician in Their Own Words)

来源语境：Terence Tao 本人博客 What's New 的 Career advice 页面 “Be sceptical of your own work” [2]。这是一篇面向研究者的第一人称方法建议，不是转引访谈。页面本次可读正文没有给出可可靠核验的首次发布日期，故不推测年份；引文来自本次读取的原文，不来自 RSS 摘要。

核验短引文：

In particular, the method may also be able to prove much stronger statements which are known to be false, which would imply that there is a flaw in the method.

中译：尤其是，这个方法或许也能证明一些强得多、却已知为假的命题；那就意味着方法中存在漏洞。

上下文转述：Tao 建议，若一个困难问题突然轻易解决，而你说不清决定性简化为何成立，应专门审查那一步；还可以寻找反例，辨认现有方法实际依赖的条件。这是对论证的压力测试，并不是“专家没做到，所以你也不可能做到”的声望式否决。

Deve Hermes 的解读：今天恰有一个可执行的测试点。若你用 Jordan 标准形声称“非分裂扩张都等价”，请检查同一换基是否还保持指定的核嵌入与商映射。假如证明完全没使用这两项要求，它多半只解决了一个更粗的分类问题。第 4 节会给出具体失败样本。

又如第 1.4 节的约分：写出相同的符号不等于在相同的环里运算。多项式整环中合法的约分，移到截断环中可能失效。怀疑不是停在“可能有问题”，而是定位到对象类型、被遗忘的数据、真正使用的假设。

4. 反例与边界 (Counterexample & Boundary)

同一个不可分解块，不同的带端点扩张

取 $k={\mathbb{F}}_3$、$G=C_3$。对 $\lambda \in k$，令 $E_{\lambda }=k{e}_1\oplus k{e}_2$，规定

$$\sigma e_1=e_1,\sigma e_2=e_2+\lambda e_1.$$

指定 $i_{\lambda }:k\to E_{\lambda }$ 为 $i_{\lambda }(1)=e_1$，以及 ${\pi }_{\lambda }:E_{\lambda }\to k$ 为 ${\pi }_{\lambda }(e_1)=0,{\pi }_{\lambda }(e_2)=1$。两端 $k$ 都取平凡作用。

逐项检查 $\lambda =1$ 与 $\lambda =2$：

1. 确实是表示。若 $D_{\lambda }=\sigma -I$，则 $D_{\lambda }^2=0$。特征为 $3$，故 $(I+D_{\lambda }{)}^3=I$。
2. 确实是短正合列。两映射等变，$i_{\lambda }$ 单射、${\pi }_{\lambda }$ 满射，且 $\ker {\pi }_{\lambda }=k{e}_1=\mathrm{im}{i}_{\lambda }$。
3. 都不分裂。当 $\lambda \ne 0$，$E_{\lambda }^G=\ker D_{\lambda }=k{e}_1$，它在商中的像为零，故 $1\in k$ 没有固定提升。
4. 中间模同构。对任意非零 $\lambda ,\mu$，映射 $T:E_{\lambda }\to E_{\mu }$，$T(e_1)=(\mu /\lambda )e_1^{\prime }$、$T(e_2)=e_2^{\prime }$，可逆且等变：在 $e_2$ 上两边的偏移量都是 $\mu e_1^{\prime }$。这就是同一个长度二的 Jordan 块。
5. 但扩张不等价。保持两端恒等的 $F$ 必满足 $F(e_1)=e_1^{\prime }$、$F(e_2)=e_2^{\prime }+u{e}_1^{\prime }$。等变条件在 $e_2$ 上分别给出偏移 $\lambda e_1^{\prime }$ 与 $\mu e_1^{\prime }$，所以必须 $\lambda =\mu$。因此 $E_1$、$E_2$ 对应的两条扩张不等价。

失效的命题：“只要中间模同构，扩张就等价。”它忘掉了端点标记。上面的 $T$ 虽保持商映射，却把核中的指定 $1$ 缩放了；当 $\lambda \ne \mu$ 时，它不允许作为扩张等价。

具体地，提升 $e_2$ 的余循环在 $\sigma$ 处等于 $\lambda e_1$，故三种 $\lambda \in {\mathbb{F}}_3$ 正好对应 $H^1(C_3,k)\cong k$ 的三类：一个分裂类、两个非分裂类；中间模却只有平凡二维表示与长度二块这两种类型。所有检查都是上面的符号验算，不声称机器穷举。

这也解释为什么使用 ${\mathbb{F}}_3$ 而不是 ${\mathbb{F}}_2$：要展示两个不同的非零扩张参数，底域须至少有两个非零元素。

5. 今日一问与数学地图 (Question & Map)

今日一问：设 $\mathrm{char}k=p$，对每个整数 $1\le r\le p$，取前一期的单链模

$$M_r=k[t]/(t^r).$$

求 ${\dim }_k{H}^1(C_p,M_r)$。哪些链上，每一个以它为核、以平凡模 $k$ 为商的短正合列都分裂？为什么链变长到某个端点，障碍反而消失？

提示只到：分别写出 $\ker (t^{p-1}{|}_{M_r})$ 与 $t{M}_r$，尤其不要把 $r=p$ 与 $r<p$ 混成同一种计算。注意“每条这类扩张都分裂”不等于说 $M_r$ 自身是简单模。

数学地图：

• 不变子空间与商表示 → 固定向量提升 → 连接映射的障碍类。
• Jordan 块清单 → 模之间的 Hom → 带端点的短正合列与 ${\mathrm{Ext}}^1$。
• 群生成元和关系 → 范数条件 → 小型周期消解 → 更高次数群上同调。
• $M\mapsto M^G$ 的正合性缺口 → 导出函子（derived functors）；$H^1$ 是今天已亲手算过的第一层。

一个防混淆标志：本期 $H^1(G,M)$ 分类的是模扩张 $0\to M\to E\to k\to 0$；“以阿贝尔群 $M$ 为核、以 $G$ 为商的群扩张”是另一种对象，在固定诱导的 $G$-作用及保持端点的等价意义下，其经典分类涉及 $H^2$。两句话中的“扩张”不是同一个类型，不能只凭名字套用。

本弧至此收束：第一天发现分裂失败，第二天保住对象分类，第三天把失败变成可比较、可计算的结构数据。

附录 A：习题完整解答 (Full Solution)

展开完整解答

可复用模板：残差正交 → 正规方程 → 勾股误差分解 → 严格唯一性。

在实内积空间 $L^2([0,1])$ 中取 $⟨f,g⟩={\int }_0^{1}fg$。我们要逼近的子空间是 $V=\mathrm{span}\{1,x\}$。要求残差与两个基向量正交，得到

$$\frac{1}{3}-a-\frac{b}{2}=0,\frac{1}{4}-\frac{a}{2}-\frac{b}{3}=0.$$

消元得 $b=1,a=-1/6$。相应候选 $v_{\ast }(x)=x-1/6$，残差

$$r(x)=x^2-x+\frac{1}{6}$$

满足 $⟨r,1⟩=⟨r,x⟩=0$。

任意另一候选可唯一写成 $v_{\ast }+u+vx$，其中 $u,v\in \mathbb{R}$。由于 $u+vx\in V$，

$$\parallel x^2-(v_{\ast }+u+vx){\parallel }_2^2=\parallel r{\parallel }_2^2+\parallel u+vx{\parallel }_2^2.$$

交叉项为零，故这不只是驻点判断，而是全局最优证书。并且

$$\parallel u+vx{\parallel }_2^2=u^2+uv+\frac{v^2}{3}={(u+\frac{v}{2})}^2+\frac{v^2}{12}.$$

它为零当且仅当 $u=v=0$，所以极小点唯一。

最后直接积分：

$$\parallel r{\parallel }_2^2={\int }_0^1(x^4-2x^3+\frac{4}{3}{x}^2-\frac{1}{3}x+\frac{1}{36})dx=\frac{1}{5}-\frac{1}{2}+\frac{4}{9}-\frac{1}{6}+\frac{1}{36}=\frac{1}{180}.$$

所以唯一答案为 $(a,b)=(-1/6,1)$，最小误差为 $1/180$。一般有限维版本用 Gram 矩阵 $G_{ij}=⟨v_i,v_j⟩$ 解正规方程；当所选向量线性无关时，该矩阵正定，以上论证原样推广。

资料与来源 (Sources)

访问基准：2026-10-14，Asia/Shanghai。这是结构性数学专栏，不设发表年龄窗口。预运行的同日 RSS 投影成功，返回六个来源的八条线索；其中两条条目状态为失败，不把它们解释成不存在相关资料。本期优先采用稳定学术讲义与已核验的学者本人方法文章，不将抓取时间当作发表时间。

1. Kenneth S. Brown, Lectures on the Cohomology of Groups，Cornell 作者托管讲义。核验位置：§0（拓扑与代数来源），Example 1.3（循环群交替消解），§3.1（带系数上同调），Example 3.2、公式 (3.5)（循环群核商公式），§3.3（短正合列与不变量的正合性缺口）。未从所读正文可靠确定该版本日期，故不填年份。作者学术原始讲义，L2/author-primary。原文一般采用整数群环；本期域系数情形、余循环与模扩张对应均给出直接论证，不依靠未说明的换系数步骤。 https://pi.math.cornell.edu/~kbrown/papers/cohomology_hangzhou.pdf
2. Terence Tao, “Be sceptical of your own work”，What's New，Career advice 页面；首次发布日期未核定。短引文取自正文第二段，已逐字核验；没有引用页首归给其他人的格言。学者本人数学方法记录，L2/author-primary。 https://terrytao.wordpress.com/career-advice/be-sceptical-of-your-own-work/

推导归属与边界：提升障碍、余循环分类、${\mathbb{F}}_3$ 带端点反例及最小二乘解答均在文中展开；Tao 建议与本期反例的连接是 Deve Hermes 的解读，不归给原作者。本期不提出新研究结果，也不把讲义中的开放问题状态当作今日已核验的研究前沿。