结果族 200：Eisenbud–Green–Harris and lex-plus-powers · 学科：Algebra · 验证状态：暂无形式化证明，请以社区核验为准
固定一栋楼的”各层房间数表”（Hilbert 函数），问：住法受同样约束的一族多项式理想里，谁的关系网最复杂（Betti 数最大）？没有附加条件时，答案是”字典序最贪婪”的理想；若理想还被要求包含一组正则序列，直觉说”纯幂＋字典段”应该顶到最复杂。这篇论文证明了这个悬置三十余年的排行榜猜想，还把每一步的关系数逐项压住。Betti 数比 Hilbert 函数更精细：它逐项记录分解每一步需要多少生成元，因此这条不等式比”房间数相同”的结论强得多。
关键词卡片
@@M@@(x_1^{a_1},\dots,x_n^{a_n})@@ 加上字典序最大单项式拼成的”最贪心”理想看个具体例子
取 @@M@@S=k[x,y]@@，纯幂次数 @@M@@(2,2)@@：商环 @@M@@S/(x^2,y^2)@@ 里活下来的单项式恰是指数盒 @@M@@0\le i,j<2@@ 里的四个 @@M@@1,x,y,xy@@。按斜对角（次数 @@M@@i+j@@）分层数格子，得 Hilbert 函数 @@M@@1,2,1@@：
定理断言（特征零域上）：任何包含这种正则序列的齐次理想 @@M@@I@@，其 Hilbert 函数被同款 lex-plus-powers 理想 @@M@@J@@ 精确复制，且 @@M@@\beta_{p,j}(S/I)\le\beta_{p,j}(S/J)@@ 处处成立；对 @@M@@I@@ 其余生成元的个数与次数没有任何限制。
为什么值得关心
Eisenbud–Green–Harris 与 lex-plus-powers 是交换代数著名的”约束下极值”问题，本文在特征零上给出整体解决。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读把 Hilbert 函数比作”各层房间数表”，把 Betti 数比作”关系网复杂度”。翻译成半数学语言：对象是多项式环里的一族齐次理想，约束有两条——房间数表（各次数层的维数）固定，且理想须包含一组”健康骨架”（正则序列）；操作是比较把理想分解成自由模时每一步所需生成元的数目。没有骨架约束时，”字典序最贪婪”的理想关系网最复杂；带上骨架后，对应的极端候选是”纯幂＋字典段”。
第二级台阶
用本科术语说：在分次多项式环 S=k[x₁,…,xₙ] 中，齐次理想 I 的 Hilbert 函数是各次数层的维数序列；graded Betti 数 β_{p,j}=dim Tor_p^S(S/I,k)_j 记录极小自由分解第 p 步、内次数 j 处的生成元个数。正则序列指每个 f_i 在前面元素生成的理想之外不是零因子；纯幂理想 P=(x₁^{a₁},…,xₙ^{aₙ})，lex-plus-powers 理想是 P 加上每层的字典序最大单项式段。
第三级台阶
无约束情形早有 Bigatti–Hulett–Pardue 定理；EGH 猜想预测含正则序列的理想可换成纯幂而不动 Hilbert 函数，lex-plus-powers 猜想进一步断言 Betti 数的逐项上界。主定理在 C 上陈述：设 2≤a₁≤…≤aₙ、I 含相应次数的满长度正则序列（此时商环 Artinian），则按维数处方出的 J_d=L_d+P_d 存在且拼成理想，同一个 J 使 Hilbert 函数精确相等、β_{p,j}(S/I)≤β_{p,j}(S/J) 处处成立。假设分工：正则序列的次数撑起纯幂、满长度保证 Artinian（再经 Caviglia–Maclagan/Kummini 归约与域下降推广到一切特征零域）；对 I 其余生成元的个数与次数毫无限制，正是结论的强度所在。
在任意特征为零的域上证明了 Eisenbud–Green–Harris 与 lex-plus-powers 猜想：包含正则序列（任意长度、次数 @@M@@\ge 2@@）的齐次理想，其 Hilbert 函数被对应的 lex-plus-powers 理想精确匹配，全部 graded Betti 数被同一理想逐项压制。
Hilbert 函数（Hilbert function）记录分次商环每一层的维数；graded Betti 数进一步记录极小自由分辨（minimal free resolution）中生成元与各阶 syzygy 的数目，是衡量理想”关系复杂度”的基本不变量。无附加约束时，Bigatti–Hulett–Pardue 定理断言：固定 Hilbert 函数，字典序理想（lex ideal）使一切 Betti 数最大。若理想 @@M@@I@@ 还包含次数为 @@M@@a_1,\ldots,a_n@@ 的正则序列（regular sequence），直觉上次数信息应给出更紧的约束：EGH 猜想（源自 Eisenbud–Green–Harris 的高维 Castelnuovo 理论）预测可把正则序列换成纯幂 @@M@@(x_1^{a_1},\ldots,x_n^{a_n})@@ 而不改变 Hilbert 函数；Charalambous–Evans 的 lex-plus-powers 猜想进一步断言对应 Betti 数的逐项上界。此前的一般性结果均附带条件：Caviglia–Maclagan、Caviglia–De Stefani、Caviglia–Sammartano 要求次数快速增长；Mermin–Peeva–Stillman、Murai、Mermin–Murai 处理单项式正则序列；Abedelfatah 要求型可分裂为线性因子。任意次数的一般情形已悬置三十余年。
主定理（Theorem 1.1，在 @@M@@\mathbb{C}@@ 上）：设 @@M@@2\le a_1\le\cdots\le a_n@@，@@M@@P=(x_1^{a_1},\ldots,x_n^{a_n})@@，齐次理想 @@M@@I\subseteq\mathbb{C}[x_1,\ldots,x_n]@@ 包含次数为 @@M@@a_i@@ 的正则序列。在每个次数 @@M@@d@@ 取 @@M@@J_d=L_d+P_d@@，其中 @@M@@L_d@@ 是使 @@M@@\dim_\mathbb{C} J_d=\dim_\mathbb{C} I_d@@ 成立、由字典序最大单项式组成的 lex 段（lex segment）。定理断言这些 @@M@@J_d@@ 存在并拼成一个齐次理想 @@M@@J@@，且对同一个 @@M@@J@@ 同时有
@@M@@D\dim_\mathbb{C}(S/J)_d=\dim_\mathbb{C}(S/I)_d\ (d\ge0),\qquad \beta^S_{p,j}(S/I)\le\beta^S_{p,j}(S/J)\ (p\ge0,\ j\in\mathbb{Z}),@@
其中 @@M@@\beta^S_{p,j}=\dim_\mathbb{C}\Tor^S_p(S/I,\mathbb{C})_j@@，@@M@@p@@ 为同调次数、@@M@@j@@ 为内次数；对 @@M@@I@@ 其余生成元的次数与个数没有任何限制。推论 1.2 经 Caviglia–Maclagan 与 Caviglia–Kummini 的 Artinian 归约及系数域下降，把 Hilbert 等式与全部 Betti 不等式推广到任意特征零域、长度 @@M@@c\le n@@ 的正则序列，涵盖非 Artinian 商环与非代数闭域。
全文是一条四步传递链 @@M@@I\to M\to H\to G@@：每步保持 Hilbert 函数且不减小 Betti 数，最后识别 @@M@@G@@ 恰为规定的 lex-plus-powers 理想。第一步是真正的创新：把整个极小分辨搬进除代数系数的多项式环。姊妹篇的构造给出域扩张 @@M@@k/\mathbb{C}@@、中心除代数（central division algebra）@@M@@\Delta@@，以及 @@M@@N=\Delta[x_1,\ldots,x_n]@@ 中两两交换的线性型 @@M@@t_1,\ldots,t_n@@，满足三角幂恒等式 @@M@@t_i^{a_i}=c_if_i+\sum_{\ell<i}B_{i\ell}f_\ell+\sum_{\ell>i}C_{i\ell}t_\ell@@，且有序单项式 @@M@@\{t^\alpha\}@@ 构成整个 @@M@@N@@ 的左 @@M@@\Delta@@-基。令 @@M@@T=k[y_1,\ldots,y_n]@@ 经 @@M@@y_i\mapsto t_i@@ 右作用于 @@M@@N@@：@@M@@N@@ 既是左 @@M@@S@@-自由模，又是秩 @@M@@m=\dim_k\Delta@@ 的右 @@M@@T@@-自由模，故 @@M@@S/I@@ 的极小分辨转移为 @@M@@N/IN@@ 的极小 @@M@@T@@-分辨，所有 Betti 数同乘 @@M@@m@@。再取与三角恒等式适配的单项式序：@@M@@IN@@ 的首项系数空间是 @@M@@\Delta@@ 的左理想，只能是 @@M@@0@@ 或整个 @@M@@\Delta@@，其非零位置便定义出单项式理想 @@M@@M\supseteq P@@。经滤波 Koszul 复形（filtered Koszul complex）的相关分次论证——取 associated graded 只会降低微分秩、从而放大同调——并约去因子 @@M@@m@@，得 @@M@@\beta(S/I)\le\beta(S/M)@@。这种分辨层的整体转移是姊妹篇 Hilbert 结论之外的新机制。第二步用单位根扰动（distraction）加初始理想，把 @@M@@M@@ 改造成在指数盒 @@M@@0\le u_i<a_i@@ 内对”把 @@M@@x_\ell@@ 换成 @@M@@x_h@@（@@M@@h<\ell@@）”这类转移封闭的理想 @@M@@H@@。第三步在每个次数把盒中属于 @@M@@H@@ 的单项式换成同数量的字典序最大单项式（保留 @@M@@P@@）得到 @@M@@G@@，并通过比较”有界影子”（乘一个变量后仍留在盒内的倍数）证明 @@M@@G@@ 确为理想。第四步做 Betti 比较：设 @@M@@z=x_n@@，模 @@M@@H/zH@@ 与 @@M@@G/zG@@ 按 @@M@@z@@ 的指数分层，稳定性使中间各层被其余变量零化，Koszul 微分秩为零，只有两端层有贡献。引入 Koszul 秩亏 @@M@@D_{p,j}=\dim K_p-\beta_{p,j}@@（恰为相邻两微分秩之和），它在取子模与商时单调不增，于是结合变量个数的归纳与两端层的包含关系得 @@M@@D(B_H)\ge D(B_G)@@；由 Hilbert 函数相等知 Koszul 项维数相等，相减即得所需的 Betti 上界。
两篇姊妹篇均未提供 Lean 形式化证明，OpenAI 官方声明”未经形式化的结果可能有问题”，请以社区核验为准。本文的除代数构造完全引自《Commuting Division-Coefficient Forms and the Artinian Eisenbud–Green–Harris Conjecture》的 Theorem 1.1，而本文新增的分辨转移把 Hilbert 函数结论强化为完整 Betti 不等式；末段的单项式比较作者自陈结论并非全新（沿 Mermin–Murai 定理思路重写以求自足）。家族两篇合起来给出特征零上 EGH 与 lex-plus-powers 猜想的整体解决。
问 1：证明中最关键、最脆弱的一步是什么？
答：把整个极小分辨搬进除代数系数环。取姊妹篇给出的域扩张 k/C、中心除代数 Δ 与交换线性型 t_i，令 N=Δ[x₁,…,xₙ]：N 既是左 S-自由模又是秩 m 的右 T=k[y₁,…,yₙ]-自由模，于是 S/I 的极小分辨转移为 N/IN 的极小 T-分辨，所有 Betti 数同乘 m 再约去；IN 的首项系数空间是 Δ 的左理想、只能为 0 或全 Δ，其非零位置定义单项式理想 M⊇P。匹配 Hilbert 函数本身给不出 Betti 结论，这一”分辨层整体转移”才是姊妹篇 Hilbert 结果之外的实质新机器，也最怕系数环自由性论证有暗伤。
问 2：为什么必须特征零？假设能松吗？
答：除代数构造（companion 的 Theorem 1.1）在 C 上完成，特征零是它的生存土壤；Artinian 与满长度正则序列的限制则可通过 Caviglia–Maclagan、Caviglia–Kummini 的既定归约和系数域下降撤掉，得到任意特征零域、长度 c≤n 的版本。特征 p 情形论文未处理，机制也确实用不上。
问 3：与已有工作相比真正的新意是什么？
答：此前一般性结果都带枷锁：Caviglia–Maclagan、Caviglia–De Stefani 要次数快速增长，Caviglia–Sammartano 的 Betti 版要 a_i≥1+Σ(a_j−1)，Mermin–Peeva–Stillman/Murai/Mermin–Murai 只做单项式正则序列，Abedelfatah 要求线性因子分解。本文对任意次数的一般正则序列给出完整解决。作者诚实注明：末段单项式比较沿 Mermin–Murai 思路重写、结论非新，新的是除代数系数的归约。
问 4：本文对姊妹篇的依赖是单点的吗？
答：是。三角幂恒等式 t_i^{a_i}=c_i f_i+ΣB f_ℓ+ΣC t_ℓ 与有序单项式基 {t^α} 全部引自 companion 的 Theorem 1.1；companion 若有误，本文的第一步传递即告失效。好在两文互引关系明确、可分别核验。
问 5：AI 生成证明最可能出错的模式？
答：四步链 I→M→H→G 每步都要同时保 Hilbert 函数、不减小 Betti 数，任何一步”保一漏一”整链报废；filtered Koszul 的相关分次论证（取 associated graded 只降微分秩、放大同调）与 Koszul 秩亏 D_{p,j} 对子模商的单调性，方向极易弄反。本文与姊妹篇均无 Lean 形式化，按 OpenAI 官方声明属”待社区核验”之列，是这篇的最大软肋。
问 6：谁会用到它？
答：交换代数与组合交换代数社区：EGH 与 lex-plus-powers 是”约束下极值”纲领的核心，三十年的条件性结果（增长条件、单项式情形）从此被统一收编；特征 p 的对应问题成为天然续集，Clements–Lindström 压缩、generic initial ideal 等工具的相关研究都会重新校准位置。
在不加任何增长条件下整体解决三十余年悬案，且把 Hilbert 结论强化为逐项 Betti 上界，是漂亮的收官之作。但两篇姊妹篇均未形式化、核心归约又单点依赖除代数构造，可信度完全悬于人工核验。