结果族 200：Eisenbud–Green–Harris and lex-plus-powers · 学科：Algebra · 验证状态：暂无形式化证明，请以社区核验为准
要比较一群满足同一约束的多项式理想，最省事的办法是找一个”最规整的代表”当标尺。Eisenbud–Green–Harris 猜想说：含正则序列的理想，其楼面计数总能对上某个含纯幂的单项式理想。这篇论文的独门工具出人意料——把系数从复数换成一类”高级数系”（中心除代数），在换过尺子的世界里先把账算清，再带着结论回到原来的世界。
关键词卡片
看个具体例子
核心定理造出互相通勤的线性型 @@M@@t_1,\dots,t_n@@，其幂呈”三角”落位；以 @@M@@n=1@@ 为例就是
@@M@@Dt_1^{\,a}=c\,f\ \ (c\ne0),\qquad \{t_1^0,t_1^1,t_1^2,\dots\}\ \text{构成整个多项式系的基}.@@
于是在换过的尺子下，含 @@M@@f@@ 的理想与含 @@M@@x^a@@ 的单项式理想逐层格数相同；换回复数世界即得 EGH。最小的这种”幂落位”戏法你可能听说过：四元数里 @@M@@i^2=j^2=k^2=-1@@，平方恰好落到中心的指定位置；论文把戏法推广到任意次数、任意多个变量。
为什么值得关心
它解决了特征零上 Artinian 情形的 EGH 猜想（任意次数、任意长度），是姊妹篇 Betti 定理的全部构造输入，还附赠局部上同调不等式与二次 Cayley–Bacharach 界两个几何应用。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读说，比较一群受同样约束的理想需要找”最规整的代表”当标尺，而本文的独门工具是把系数换成”高级数系”。翻译成半数学语言：对象是复系数多项式环里的理想及其各次数层的维数；操作是把整个环搬进一个系数允许非交换的更大数系，在那里找一组互相通勤、幂呈三角落位的”替代变量”，把正则序列的次数信息翻译成纯幂的指数信息，数清格子后带着结论回到原来的世界——四元数里 i²=j²=k²=−1 的”幂落位”戏法被推广到任意次数、任意多变量。
第二级台阶
用本科术语说：中心除代数 Δ 是每个非零元都可逆、但乘法未必交换的有限维数系，与全体元素交换者构成其中心域 k；四元数是最小例子。正则序列指 f_i 在前面元素生成的理想之外不是零因子，其完全交的 Hilbert 级数为 ∏(1+t+…+t^{a_i−1})。EGH 猜想断言：包含这种序列的齐次理想，与某个包含纯幂 x_i^{a_i} 的单项式理想有相同的 Hilbert 函数。
第三级台阶
核心定理陈述：对任意次数 2≤a₁≤…≤aₙ 的正则序列，存在有限生成域扩张 k/C、中心除代数 Δ 与两两交换的线性型 t₁,…,tₙ，满足三角幂恒等式 t_i^{a_i}=c_i f_i+ΣB_{iℓ}f_ℓ+ΣC_{id}t_d，且有序单项式 {t^α} 构成整个 Δ[x] 的左 Δ-基。假设分工：特征零供射影几何与拓扑 K 理论落脚；”基覆盖全代数而非仅完全交商”这一强形态，正是姊妹篇做分辨转移的接口。推论由最小指数论证给出 Artinian EGH，再经 Artinian 归约与系数域下降得到特征零全域的结论。
在 @@M@@\mathbb{C}@@ 上构造性地证明了 Artinian 情形的 Eisenbud–Green–Harris 猜想：任何包含正则序列（次数 @@M@@\ge2@@、任意长度）的齐次理想，都与某个含相应纯幂的单项式理想有相同的 Hilbert 函数，并经归约推广到全部特征零域。
EGH 猜想源自 Eisenbud–Green–Harris 在 1990 年代对高维 Castelnuovo 理论与 Cayley–Bacharach 问题的研究：若齐次理想 @@M@@I@@ 包含次数为 @@M@@a_1,\ldots,a_c\ge 2@@ 的正则序列（regular sequence），则应存在包含纯幂 @@M@@x_i^{a_i}@@ 的单项式理想与 @@M@@S/I@@ 有相同的 Hilbert 函数——纯幂模型把几何约束化为”指数有界单项式”的计数问题。此前最好的一般结果均附加条件：Caviglia–Maclagan 与 Caviglia–De Stefani 要求次数满足增长不等式（如 @@M@@a_i\ge\sum_{j<i}(a_j-1)@@）；Abedelfatah 要求型分裂为线性因子；Chen 与 Caviglia–De Stefani–Sbarra 只覆盖少量变量的二次型；Cooper、Chong 借 liaison 处理特殊理想类。任意次数、任意型的完整陈述一直悬而未决。本文的突破口是一个看似无关的工具：有限维中心除代数（central division algebra）。
定理 1.1（交换型构造）：设 @@M@@f_1,\ldots,f_n@@ 是 @@M@@\mathbb{C}[x_1,\ldots,x_n]@@ 中次数 @@M@@2\le a_1\le\cdots\le a_n@@ 的齐次正则序列。则存在有限生成域扩张 @@M@@k/\mathbb{C}@@、有限维中心除代数 @@M@@\Delta@@，以及由有限多个两两交换的线性型生成的交换分次 @@M@@k@@-子代数 @@M@@k[x]\subseteq A\subseteq\Delta[x]@@，其中有线性型 @@M@@t_1,\ldots,t_n@@ 满足三角幂恒等式
@@M@@Dt_i^{a_i}=c_if_i+\sum_{l<i}B_{il}f_l+\sum_{d>i}C_{id}t_d\qquad(c_i\in k^\times),@@
且有序单项式 @@M@@\{t_1^{\alpha_1}\cdots t_n^{\alpha_n}\}@@ 构成整个多项式代数 @@M@@\Delta[x]@@ 的左 @@M@@\Delta@@-基——基覆盖全代数而非仅完全交商。推论 1.2（Artinian EGH）：包含该序列的任何齐次理想 @@M@@I@@ 都与某个含全部 @@M@@x_i^{a_i}@@ 的单项式理想有相同的 Hilbert 函数；借助 Clements–Lindström 压缩还可取 lex-plus-powers 理想。推论 1.3 经 Artinian 归约与系数域下降，推广到特征零任意域、长度 @@M@@c\le n@@ 的情形。第九节另给出两个应用：同一 lex-plus-powers 理想的局部上同调（local cohomology）逐层不等式，以及二次 Cayley–Bacharach 界——@@M@@r@@ 个二次超曲面的完全交 @@M@@\Omega@@ 若不含于 @@M@@k@@ 次超面 @@M@@X@@，则 @@M@@\deg(\Omega\cap X)\le 2^r-2^{r-k}@@。
代数归约先行（第二节）：三角恒等式使 @@M@@t_i@@ 成为有限模 @@M@@\Delta[x]@@ 上的正则参数系，Hilbert 级数逐度计数给出全代数的有序基；再对扩张理想中元素取 @@M@@t@@-展开的最小指数（按 @@M@@\alpha_n,\ldots,\alpha_1@@ 的字典序），所有最小指数构成向上封闭集 @@M@@E@@，因而定义一个单项式理想 @@M@@J@@；三角形状保证 @@M@@a_i\mathbf e_i\in E@@，互补指数计数便给出 Hilbert 函数等式。于是全部困难集中于构造恒等式本身。构造按行自 @@M@@i=n@@ 递降到 @@M@@1@@：在某步次数 @@M@@b=a_i@@，先把适当的右端写成已有型的 @@M@@b@@ 次幂之和 @@M@@\ell_1^b+\cdots+\ell_M^b@@，再用”二元加法矩阵”两两合并，直至得到单个 @@M@@t_i^b@@。两个难点主导设计：加法矩阵的系数必须落在包含旧系数的除代数中；当下一个次数更小时，早先更高次的幂恒等式必须仍然可用。为此引入形式线性型空间 @@M@@U@@ 与一、二次生成的理想 @@M@@Q\subseteq\Sym U@@：消没 @@M@@\mathfrak j_b=(Q,f_1,\ldots,f_i,t_{i+1},\ldots,t_n)_b@@ 的线性泛函 @@M@@\lambda@@ 给出多项式 @@M@@w_\lambda(\ell)=\lambda(\ell^b)@@，其公共零集的射影化 @@M@@X@@ 是约束空间。几何保障在于：@@M@@Q@@ 的射影零集不含低度数的曲线，每个非零 @@M@@w\in W@@ 都带单重不可约因子，从而取足够多块后 @@M@@X@@ 是整完全交（complete intersection），且其光滑轨迹上的锥任意高连通。二元加法矩阵来自一条带三截面 @@M@@z^b=u^b+v^b@@ 的曲线：取一般的零度线丛，使这三个截面的乘法矩阵线性地依赖 @@M@@u,v@@——此即 van den Bergh 与 Kulkarni 的广义 Clifford/矩阵束对应。曲线的两个 Picard 簇分工明确：零度部分参数化矩阵，一度部分提供自由有限群作用与携带指定特征的映射。等变下降先得中心单代数；为证它确是除代数，文章证明每个有限右模的维数都被代数维数整除——非平凡右理想会与此矛盾。该可整除性经 Knudsen–Mumford 的上同调行列式修正与 Riemann–Roch 化为 Picard 簇乘积上族的欧拉特征之比较，再由特征映射、连通性与整拓扑 K 理论完成（方法上承 Godeaux–Serre 逼近与 Antieau–Williams 的指标限制）。最后的装配环节验证特征不变性、经有限扩张保留新行，闭合归纳。
本文是家族的代数引擎：姊妹篇《The Artinian Lex-Plus-Powers Betti Theorem》直接引用本文 Theorem 1.1 作为全部构造输入，并在其上新增分辨转移，得到更强的 graded Betti 数不等式；两篇合起来给出特征零上 EGH 与 lex-plus-powers 猜想的完整解决。两篇均无 Lean 形式化证明，OpenAI 官方声明”未经形式化的结果可能有问题”，请以社区核验为准。
问 1：证明里最关键也最危险的一步是什么？
答：证明系数代数真的是除代数。等变下降只给出中心单代数，矩阵表示本身不保证无真右理想；作者转证”每个有限右模的维数都被代数维数整除”，为此引入 Knudsen–Mumford 的上同调行列式修正，经 Grothendieck–Riemann–Roch 化为 Picard 簇乘积上族的欧拉特征比较，再用特征映射与整拓扑 K 理论收官。这条链横跨四个领域，任何一环松动，”除”字即告失守。
问 2：为什么非要除代数？中心单代数不够吗？
答：不够。首项系数空间须是”0 或整个系数环”才能定义单项式理想 M——这正是左理想的二值性；若系数环有真左理想，首项位置就模糊了，最小指数论证无从下手。可除性不是奢侈品，是计数机制的开关。
问 3：与已有工作相比真正的新意是什么？
答：此前一般结果全带枷锁：Caviglia–Maclagan、Caviglia–De Stefani 要次数增长不等式；Abedelfatah 要型分裂为线性因子；Chen 与 Caviglia–De Stefani–Sbarra 只覆盖少量二次型。本文对任意次数、任意型一次解决，且突破口来自看似无关的除代数与广义 Clifford 对应（van den Bergh、Kulkarni 的矩阵束），工具路线是全新的。
问 4：三角幂恒等式为什么必须”双向混杂”？
答：t_i^{a_i}=c_i f_i+Σ_{ℓ<i}B_{iℓ}f_ℓ+Σ_{d>i}C_{id}t_d 同时向下（换成已知的 f）与向上（换成已造好的 t）：向下保证 t_i 是 Δ[x] 上的正则参数系、有序单项式张满全代数；向上让构造可以按行递降归纳（自 i=n 到 1），且下一个次数更小时早先的高次幂恒等式仍可用。缺一个方向，归纳或基 assertion 之一即断。
问 5：AI 生成证明最可能出错的模式？
答：跨领域契约的 silently 失效。文中明言：各阶段的 k 只是抽象嵌入 C（不必固定原常数、逐阶段嵌入互不扩张），除性必须靠秩可整除性在未嵌入域上证明、绝不能从复特化推断——这类”何时能用复拓扑、何时不能用”的纪律正是 AI 高发错误区；再加上约束空间 X 的连通性估计与行列式修正的数值效应，均无形式化兜底，全悬于人工核验。
问 6：谁会用到它？
答：首先是姊妹篇：其 Betti 定理的全部构造输入即本文 Theorem 1.1，含”全代数基”这一接口；其次第九节附赠两个几何应用——同一 lex-plus-powers 理想的局部上同调逐层不等式、二次 Cayley–Bacharach 界 deg(Ω∩X)≤2^r−2^{r−k}；代数几何中 Castelnuovo 理论与除代数方法的交叉也由此打开。
用一个反直觉的工具（除代数系数）一举攻下任意次数的 EGH，想象力与技术密度俱佳；但它未形式化、且是整个家族的构造地基，单点失效风险全压在人工核验上。