结果族 210：Foulkes’ conjecture for sixth powers and quadratic stabilization · 学科：Algebra · 验证状态：主结果已 Lean 形式化
接着装箱：有一台”翻译机”（乘法映射），把”@@M@@b@@ 个盒子、每盒 @@M@@a@@ 件”的信息翻译成”@@M@@a@@ 个盒子、每盒 @@M@@b@@ 件”。问盒子数 @@M@@b@@ 多大起，这台机器能把对面所有花样全部翻译出来（满射）？本文的答案漂亮得像烧水定理：只要 @@M@@b\ge a(a-1)@@，无论商品空间多大维数，机器必定全译。
关键词卡片
@@M@@\mu:\Sym^b(\Sym^a V)\to\Sym^a(\Sym^b V)@@。看个具体例子
取姊妹篇正需要的情形 @@M@@a=6@@，门槛 @@M@@a(a-1)=30@@。数字版定理：
@@M@@Da=6,\ b\ge 30:\quad \Sym^b(\Sym^6 V)\twoheadrightarrow\Sym^6(\Sym^b V)\quad\text{对每个有限维 } V \text{ 同时满射}.@@
顺带得到反向的等变单射 @@M@@\Sym^6(\Sym^b V)\hookrightarrow\Sym^b(\Sym^6 V)@@。证明骨架是：先把满射等价于”一个对称多重线性型在对角上处处取零就必为零”，再用求导算子的度数单射性像剥洋葱一样逐层剥离公共因子。注意 30 这道门槛只看 @@M@@a@@，完全不依赖 @@M@@V@@ 的维数——因为每次度数比较只用到 @@M@@a@@ 与 @@M@@b@@，同一道门槛便对所有维数一齐生效。
为什么值得关心
给出首个与 @@M@@\dim V@@ 无关的显式稳定化界（恰好是二次式 @@M@@a(a-1)@@），正面回答了 Landsberg 教科书里悬置的多项式界问题（Problem 7.19）。
已 Lean 形式化
第一级台阶
导读把乘法映射叫”翻译机”、把稳定化比作水的 100°C。换成半数学语言：对象仍是嵌套挑选产生的两个配置空间；操作是分量相乘——它不依赖任何选择，天然给出从”@@M@@b@@ 盒、每盒 @@M@@a@@ 件”到”@@M@@a@@ 盒、每盒 @@M@@b@@ 件”的一个确定线性映射。要问的是：盒数 @@M@@b@@ 从多大起，这台机器对目标全译，没有译不出的花样。
第二级台阶
精确化。设 @@M@@V@@ 为有限维复向量空间，@@M@@\Sym V@@ 是其多项式代数，@@M@@\Sym^aV@@ 为 @@M@@a@@ 次齐次部分。把 @@M@@\Sym^aV@@ 的元素实现为 @@M@@a@@ 个张量因子的对称不变量，分量乘法便诱导典范 Foulkes–Howe 映射 @@M@@\mu_{a,b,V}:\Sym^b(\Sym^aV)\to\Sym^a(\Sym^bV)@@。”满射”即像为全体；”稳定化界”是使 @@M@@\mu@@ 对一切更大 @@M@@b@@ 都满射的门槛 @@M@@b_0@@。工具上还需两件：Fischer（apolar）内积下”求导是乘法的伴随”，以及方向导数 @@M@@D_{Y,U}=\sum_kY_k\partial_{U_k}@@——它降 @@M@@U@@-度、升 @@M@@Y@@-度，源度超过目标度时单射。
第三级台阶
定理的语境：Brion 在 1993 年证明固定 @@M@@a@@ 时 @@M@@\mu@@ 最终满射，但给出的有效界含维数；Raicu–Sam–Weyman 的正则性估计不算出商环 @@M@@R/A@@ 的最高非零度，而最小稳定化次数恰由它控制；Landsberg 教科书以 Problem 7.19 公开征求多项式界。定理断言：只要 @@M@@a\ge2@@、@@M@@b\ge a(a-1)@@，@@M@@\mu_{a,b,V}@@ 对每个有限维复 @@M@@V@@ 同时满射，界与 @@M@@\dim V@@ 无关。复数域假设挡住三件事：二元形式 @@M@@X^r+cY^r@@ 的完全分裂、特征零的非零标量因子、推论所需的完全可约性。结论附带：同范围内存在反向的 @@M@@\GL(V)@@-等变嵌入——满射分裂、取核的不变补即得，但构造只保证存在性，不指定任何典范映射。
证明了典范 Foulkes–Howe 乘法映射 @@M@@\Sym^b(\Sym^a V)\to\Sym^a(\Sym^b V)@@ 在 @@M@@a\ge 2@@、@@M@@b\ge a(a-1)@@ 时必满射，给出首个与 @@M@@\dim V@@ 无关的二次稳定化界，正面回答 Landsberg 的多项式界问题，并附带 @@M@@b\ge a(a-1)@@ 时的 Foulkes 嵌入。
利用平均同构 @@M@@\Sym^a W\simeq(W^{\otimes a})^{\mathfrak S_a}@@，把 @@M@@\Sym^a V@@ 的元素看成 @@M@@a@@ 行同次张量，则在张量代数的不变子环 @@M@@R=\bigoplus_j R_j@@ 中，分量乘法诱导典范 Foulkes–Howe 映射 @@M@@\mu_{a,b,V}:\Sym^b(\Sym^a V)\to\Sym^a(\Sym^b V)@@。固定 @@M@@a@@ 后问：从哪个 @@M@@b_0@@ 起它恒为满射（surjective）？这就是稳定化（stabilization）问题。几何上，@@M@@R_1@@ 生成的子代数 @@M@@A@@ 恰是可分解 @@M@@a@@-形式（decomposable forms）的仿射 Chow 簇（affine Chow variety）的坐标环，@@M@@R@@ 是其正规化（normalization），满射性即坐标环与正规化何时相等。Brion 在 1993 年证明了最终满射，其后给出的有效界依赖 @@M@@\dim V@@；Raicu–Sam–Weyman 的正则性估计也未直接给出商 @@M@@R/A@@ 的最高非零次。Landsberg 的教科书以 Problem 7.19 的形式求一个多项式界。与本文同源的传播现象出现在 Ikenmeyer 对 McKay 传播定理的证明里：反方向的典范映射在 @@M@@\dim V\ge b@@ 时由一个种子处的单射性传播到一切更大的 @@M@@b@@；本文则是围绕槽数的归纳，直接给出一个方向的一致满射范围。
定理：对每个整数 @@M@@a\ge 2@@、每个 @@M@@b\ge a(a-1)@@ 与每个有限维复向量空间 @@M@@V@@，@@M@@\mu_{a,b,V}@@ 满射，等价地 @@M@@A_b=R_b@@。界完全由 @@M@@a@@ 决定、与 @@M@@\dim V@@ 无关；以 Landsberg 的记号即 @@M@@d\ge n(n-1)@@，且包括 @@M@@w=n@@ 的临界情形。@@M@@a=1@@ 时映射是恒等。论文不主张该界最优，也未确定最小稳定化次数。推论：同范围内存在 @@M@@\GL(V)@@-等变嵌入 @@M@@\Sym^a(\Sym^b V)\hookrightarrow\Sym^b(\Sym^a V)@@——满射在复数域上由完全可约性分裂，取核的不变补即得；取 @@M@@a=6@@ 给出 @@M@@b\ge 30@@ 的第六幂比较，正是姊妹篇的大范围输入。值得强调的是该构造只断言存在性，并不把嵌入等同于任何指定的典范映射。
证明分三步：化满射为消失性、一条微分单射引理、对 @@M@@a@@ 的归纳。先证零化子判据：@@M@@\mu_{a,b,V}@@ 满射当且仅当每个对称 @@M@@a@@-线性型（symmetric @@M@@a@@-linear form）@@M@@T@@ 若在一切”@@M@@b@@ 个向量之积” @@M@@P@@ 上对角取值 @@M@@T(P,\ldots,P)=0@@ 则必 @@M@@T=0@@；这里用极化恒等式说明纯幂张成 @@M@@\Sym^b V@@。随后设 @@M@@r=a-1@@，@@M@@m=b-r\ge r^2@@，对 @@M@@a@@ 归纳。第一步，二元形式（binary form）@@M@@X^r+cY^r@@ 在复数上分裂为 @@M@@r@@ 个线性因子，故 @@M@@(x^r+ct^r)Q@@（@@M@@Q@@ 是 @@M@@m@@ 个向量之积）总是 @@M@@b@@ 个向量之积；把条件看成 @@M@@c@@ 的多项式并取 @@M@@c@@ 的系数，得 @@M@@T(x^rQ,\ldots,x^rQ,t^rQ)=0@@。第二步，用定向导数 @@M@@D_{Y/U}=\sum_k Y_k\partial_{U_k}@@（降 @@M@@U@@-度、升 @@M@@Y@@-度）逐个作用于 @@M@@H_x=T(x^rQ,\ldots,x^rQ,t^b)@@，把 @@M@@Q@@ 的因子一个个塞进最后一槽，终点恰是已知为零的式子；关键引理用 Fischer（apolar）内积与 @@M@@\mathfrak{sl}_2@@ 权串（weight strings）算出 @@M@@\|Dh\|^2-\|Eh\|^2=(p-q)\|h\|^2@@，故只要源度超过目标度，算子单射，于是可”约掉”导数得 @@M@@H_x=0@@，最后一槽被解放为独立的 @@M@@t^b@@。第三步先对槽数归纳：固定 @@M@@x,t@@ 后 @@M@@S_{x,t}(Q_1,\ldots,Q_r)=T(x^rQ_1,\ldots,x^rQ_r,t^b)@@ 是 @@M@@\Sym^m V@@ 上的对称 @@M@@r@@-线性型，其对角在一切 @@M@@m@@ 个向量之积上为零，而 @@M@@m\ge r^2\ge r(r-1)@@，归纳假设给出它恒为零。最后去掉公共因子 @@M@@x^r@@：对 @@M@@f=T(v_1^b,\ldots,v_r^b,t^b)@@ 依次施加 @@M@@r^2@@ 个算子 @@M@@\D{x}{v_i}^{\,r}@@，终点是已知为零的式子；这 @@M@@r^2@@ 个算子都在抬高同一个变量块 @@M@@x@@ 的次数（累计至多 @@M@@r^2-1@@），而每个源 @@M@@v_i@@ 的次数至少 @@M@@m+1\ge r^2+1@@，度的不等式在每一步成立，单射性给出 @@M@@f=0@@。于是 @@M@@T@@ 在纯幂上为零，极化后 @@M@@T=0@@。正是”@@M@@x@@-度的持续累积”迫使充分界达到二次的 @@M@@b\ge a(a-1)@@。整套论证只用正定的 Fischer 内积、二元形式在 @@M@@\mathbb C@@ 上的分裂以及特征零的非零标量因子；微分引理对任意有限多坐标与任意附加变量成立，度的比较又只依赖 @@M@@a@@ 与 @@M@@b@@，因此同一个界在每个有限维数上同时成立，完全不需要稳定维数归约。
本篇主结果已 Lean 形式化。它与姊妹篇互相支撑：本文提供 @@M@@b\ge a(a-1)@@ 的一致满射，姊妹篇用它覆盖第六情形的 @@M@@b\ge 30@@，并以图表加极化的独立路线给出 @@M@@b\ge a(a-1)^2@@ 的替代界，两条路线互为备份。注意典范映射在 @@M@@(5,5)@@、@@M@@(6,6)@@ 处可以有非零核，这些都在 @@M@@b\ge a(a-1)@@ 范围之外，与定理并无冲突；按 OpenAI 官方声明，未经形式化的结果可能有问题，而本文不在此列。
问 1：证明里最关键也最脆弱的一步是什么？
（答：第四步”去掉公共因子”的度数簿记。@@M@@r^2@@ 个算子 @@M@@D_{x,v_i}^{\,r}@@ 全部抬高同一变量块 @@M@@x@@ 的次数，任何一个作用前 @@M@@x@@-度至多 @@M@@r^2-1@@，而源 @@M@@v_i@@ 的度至少 @@M@@m+1\ge r^2+1@@，逐次满足单射引理的度条件 @@M@@p>q@@。二次界 @@M@@b\ge a(a-1)@@ 正是从”@@M@@x@@-度累积到 @@M@@r^2@@“挤出来的；任何一步计数偏差——例如漏算先前算子已抬高的度——单射即失效。单射引理本身的范数恒等式 @@M@@\|Dh\|^2-\|Eh\|^2=(p-q)\|h\|^2@@ 是整座大厦的地基。）
问 2：为什么必须复数域，假设能去掉吗？
（答：不能。论文末尾的备注明确列出三个成分：Fischer 内积的正定性、二元形式 @@M@@X^r+cY^r@@ 在 @@M@@\mathbb{C}@@ 上完全分裂为线性因子、特征零的非零标量因子。换成实数域，@@M@@X^r+cY^r@@ 未必分裂，第一步即卡壳；推论的等变嵌入另需完全可约性。）
问 3：与 Brion、Raicu–Sam–Weyman 相比，真正的新意是什么？
（答：Brion 的有效界含维数，RSW 的正则性定理不给出商 @@M@@R/A@@ 的最高非零度，而最小稳定化次数恰是”最高非零度加一”。本文首次给出与 @@M@@\dim V@@ 无关的显式二次界，按 Landsberg Problem 7.19 的记号即 @@M@@d\ge n(n-1)@@（含 @@M@@w=n@@ 临界情形），正面作答。方法上也新：不做稳定维数归约，直接对槽数归纳、配两条微分序列。）
问 4：典范映射在 @@M@@(5,5)@@、@@M@@(6,6)@@ 有非零核，为什么不与定理冲突？
（答：这两组都在定理射程之外——@@M@@b=5<5\cdot4=20@@，@@M@@b=6<6\cdot5=30@@。定理只对 @@M@@b\ge a(a-1)@@ 断言满射；对角处 @@M@@a=b@@ 时两边是同一表示，重数比较自动成立，而指定的典范自同态仍可不可逆，二者互不矛盾。这也说明”存在嵌入”与”典范映射好”是两个强弱不同的问题。）
问 5：这类 AI 生成证明最可能的出错模式是什么？
（答：多条微分序列加逐次度数不等式的论证，最易在簿记上静默出错——算子作用顺序、每步齐次次数、”逐点为零推出多项式恒为零”的变量归纳。本文主结果已 Lean 形式化，把这类风险基本封死；形式化之外的部分——与 Landsberg 问题编号的对应、对 RSW 定理的转述——属文献性陈述，仍需对照原文核实。）
问 6：结果谁会用、还差什么？
（答：姊妹篇直接取 @@M@@a=6@@ 得 @@M@@b\ge30@@ 的满射，作为第六幂 Foulkes 案例的大范围输入；几何侧，@@M@@A_b=R_b@@ 说明可分解 @@M@@a@@-形式的仿射 Chow 簇的坐标环在坐标次数 @@M@@b\ge a(a-1)@@ 时已等于其正规化；表示论与代数复杂度方向免费获得该范围内的等变嵌入。论文明确不主张界最优，最小稳定化次数一般仍未确定。）
总评
短小、自足、已形式化：一个悬置三十余年的有效界问题被一条干净的内积论证解决，且恰好供上姊妹篇的要害；剩余风险几乎只在文献转述层面，数学内核可信度高。