结果族 249：A finitely generated Eilenberg–Ganea counterexample · 学科：Group theory · 验证状态：暂无形式化证明，请以社区核验为准
给同一件家具量”占几维空间”有两把尺子：一把纯代数的，一把纯几何的。1957 年以来人们知道，3 维及以上两把尺子读数必然相同，1 维也相同，于是自然猜想 2 维也该相同——这就是 Eilenberg–Ganea 猜想。这篇论文造出一件”怪家具”：一个群，代数尺量出 2，几何尺量出 3，悬置近七十年的猜想被推翻。
关键词卡片
@@M@@K(G,1)@@看个具体例子
反例群 @@M@@G@@ 来自一个只有两条关系的展示：@@M@@x^2=y^5@@ 与 @@M@@x^2=(xy^{-1})^3@@。先取这个展示复形的无环 flag 三角剖分 @@M@@L@@，再取右角 Artin 群 @@M@@A_L@@ 里”把每个生成元都映到 1”的高度同态的核。论文证明：@@M@@G@@ 有限生成、剩余有限，且数字版定理为 @@M@@\cd_{\mathbb Z}G=2@@ 而 @@M@@\mathrm{gd}\,G=3@@——哪怕允许使用无穷多个胞腔，@@M@@G@@ 也搭不出二维的分类空间。
为什么值得关心
它宣告”代数维数与几何维数总相等”的美梦在 2 维破灭，而且反例群相当”规矩”（有限生成、剩余有限），连”补加条件拯救猜想”的退路也被堵死。
暂无形式化证明（AI 结果待核验）
结果族 249：A finitely generated Eilenberg–Ganea counterexample · 配套入门导读见同目录文章
第一级台阶
导读把维数比作给同一件家具量的两把尺子。现在把家具说清楚：对象是群，不是空间本身；”代数尺”量的是用消解的办法处理这个群最少要几步，”几何尺”量的是给它搭一栋骨架建筑（分类空间）最少要几维。两把尺子的读数在 3 维及以上被定理强制相等，论文要造的正是 2 维读数不一致的群。
第二级台阶
精确地说，群 @@M@@\Gamma@@ 的整上同调维数 @@M@@\cd_Z\Gamma@@ 是平凡模 @@M@@\mathbb{Z}@@ 作为 @@M@@\mathbb{Z}[\Gamma]@@-模的投射维数，即最短投射消解的长度；几何维数 @@M@@\mathrm{gd}\,\Gamma@@ 是以 @@M@@\Gamma@@ 为基本群、万有覆盖可缩的 CW 复形（分类空间 @@M@@K(\Gamma,1)@@）的最小维数。构造反例用的 Bestvina–Brady 群是右角 Artin 群 @@M@@A_L@@ 在高度同态 @@M@@\lambda:A_L\to\mathbb{Z}@@（每个生成元映到 @@M@@1@@）下的核。
第三级台阶
定理在 Eilenberg–Ganea 定理（@@M@@\cd_Z\ge3@@ 时相等）与 Stallings–Swan 定理（@@M@@\cd_Z=1@@ 时相等）都够不着的 2 维缝隙里陈述：存在有限生成、剩余有限的群 @@M@@G@@，使 @@M@@\cd_Z G=2@@ 而 @@M@@\mathrm{gd}\,G=3@@。@@M@@G@@ 取为某个有限无环 flag 复形 @@M@@L@@（种子展示 @@M@@\langle x,y\mid x^2=y^5,\ x^2=(xy^{-1})^3\rangle@@ 的三角剖分）上的高度核；”无环”挡住了同调障碍、@@M@@\pi_1(L)@@ 非平凡挡住有限展示，而结论断言：无论用多少个胞腔，@@M@@G@@ 都没有任何二维分类空间。
本文构造了一个有限生成、剩余有限（residually finite）的群 @@M@@G@@，其整上同调维数为 @@M@@2@@ 而几何维数为 @@M@@3@@，从而否定 Eilenberg–Ganea 猜想：@@M@@G@@ 不存在任何二维分类空间，即便允许无穷多个胞腔。这一悬置近七十年的维数问题以否定方式告终。
对离散群 @@M@@\Gamma@@，整上同调维数（integral cohomological dimension）@@M@@\cd_Z\Gamma@@ 定义为平凡 @@M@@\mathbb{Z}[\Gamma]@@-模 @@M@@\mathbb{Z}@@ 的最短投射消解长度；几何维数（geometric dimension）@@M@@\mathrm{gd}\,\Gamma@@ 是以 @@M@@\Gamma@@ 为基本群、万有覆盖可缩的 CW 复形——即分类空间（classifying space）@@M@@K(\Gamma,1)@@——的最小维数。可缩万有覆盖的胞腔链给出自由消解，故恒有 @@M@@\cd_Z\le\mathrm{gd}@@。1957 年的 Eilenberg–Ganea 定理证得 @@M@@\cd_Z\ge 3@@ 时两数相等；一维情形由 Stallings 与 Swan 解决（@@M@@\cd_Z=1@@ 的群必为自由群），唯独二维情形成为遗留猜想。Bestvina–Brady 的高度核（height kernel）例子提供了天然候选：他们证明，对 Poincaré 同调球面脊柱的适当 flag 三角剖分，Eilenberg–Ganea 猜想与 Whitehead 可缩性猜想至少一个不真，却无法判定孰假。症结在于：无环（acyclic，约化整同调消没）不等于可缩，即使证明某个二维无环模型不可缩，也堵不死”另换一个二维分类空间”的可能。
主定理：存在有限生成、剩余有限的群 @@M@@G@@，满足 @@M@@\cd_Z G=2@@、@@M@@\mathrm{gd}\,G=3@@。具体取法：设 @@M@@L@@ 是 presentation 复形 @@M@@\langle x,y\mid x^2=y^5,\ x^2=(xy^{-1})^3\rangle@@ 的有限无环 flag 三角剖分（该群亦以 @@M@@a^5=b^3=(ab)^2@@ 之形出现于 Hatcher 教材例 2.38），@@M@@G@@ 是右角 Artin 群（right-angled Artin group）@@M@@A_L@@ 在高度同态（height homomorphism，把每个标准生成元映为 @@M@@1@@）@@M@@\lambda:A_L\to\mathbb{Z}@@ 下的核，即一个 Bestvina–Brady 群。论文证明 @@M@@G@@ 没有任何二维分类空间，无论胞腔多少；同时 @@M@@G@@ 属 type @@M@@\mathrm{FL}@@（平凡模有长度二的有限生成自由消解），故为 @@M@@\mathrm{FP}_\infty@@，但由 Bestvina–Brady 有限展示判据（@@M@@\pi_1(L)@@ 非平凡）它不是有限展示群。@@M@@G@@ 有限生成从而可数，故把猜想限定于可数群也于事无补。
证明分”造模型—立接口—致矛盾”三段。
先造几何模型。种子复形的胞腔边界矩阵为 @@M@@\begin{pmatrix}2&-5\\-1&3\end{pmatrix}@@，行列式为 @@M@@1@@，故整无环；又能显式写出非平凡表示 @@M@@\alpha:\pi_1(L)\to\SU(2)@@：取 @@M@@\theta=\pi/5@@，令 @@M@@x\mapsto u@@（虚单位四元数）、@@M@@y\mapsto\cos\theta+v\sin\theta@@，其中 @@M@@u\cdot v=1/(2\sin\theta)@@，则两个关系的像均为 @@M@@-1@@。经顺序复形手续得 flag 三角剖分 @@M@@L@@。在 @@M@@A_L@@ 的立方模型中，万有覆盖 @@M@@E@@ 三维可缩，水平集 @@M@@X=\lambda^{-1}(0)@@ 是以 @@M@@G@@ 为顶点集的二维单纯复形；其上升链与下降链（ascending/descending link）皆为 @@M@@L@@ 的重心重分，配合半空间形变收缩与 Mayer–Vietoris 序列证得 @@M@@X@@ 无环。于是 @@M@@X@@ 的胞腔链给出长度二的自由消解，@@M@@\cd_Z G\le 2@@；而 @@M@@L@@ 含二维单形使 @@M@@G@@ 容纳子群 @@M@@\mathbb{Z}^2@@，反向逼出 @@M@@\cd_Z G\ge 2@@；@@M@@E/G@@ 则是现成的三维分类空间。剩余有限性由图群的顶点归纳证得。
再立两个互不相容的接口。比较定理说：若 @@M@@G@@ 有二维 @@M@@K(G,1)@@，则存在 @@M@@\eta>0@@，凡是与 @@M@@1@@ 距离小于 @@M@@\eta@@ 的 @@M@@\SU(2)@@ 边标号，只要在三角形边界字集 @@M@@\mathcal D@@ 的所有平移上乘积为 @@M@@1@@，就在一切闭路上乘积为 @@M@@1@@。小标号命题说：对任意 @@M@@\epsilon>0@@，存在与 @@M@@1@@ 距离小于 @@M@@\epsilon@@、逐三角形平坦、却使某闭路乘积非 @@M@@1@@ 的标号；而 @@M@@\mathcal D@@ 中的字恰是三角形边界，平坦性自动满足前一接口的前提。取 @@M@@\epsilon<\eta@@ 即矛盾。
比较定理是核心难点：边界链只记带符号计数、忘记顺序，须借助真实的 aspherical 展示。对可能无穷乃至不可数的生成元与 relator，先经剪切变换把 @@M@@\mathcal D@@ 的边界链精确排成特选 relator 的边界；边界同构的单射性随之给出精确的平移计数恒等式。四元数交换子估计 @@M@@|ab-ba|\le 2|a-1|\,|b-1|@@ 使线性误差全部相消，只剩二次误差 @@M@@h\le C(h+\epsilon)h@@，自举地排除 @@M@@h@@ 越过阈值 @@M@@\delta@@。有限商上解剩余 relator 方程组，用的是 Gerstenhaber–Rothaus 式词映射（word map）度方法：局部化度引理按模素数 @@M@@p@@ 计数共轭轨道上的不动点，证得共轭不变区域上映射度非零；再让已给标号沿短弧自 @@M@@1@@ 连续滑向目标值，度在变形中保持不变，解随之存在。最后，剩余有限性把任一有限组约束复制进有限商求解，Tychonoff 紧性把全部约束一次满足，二次估计逼出 @@M@@h=0@@：一切 relator 平凡，闭路乘积只能为 @@M@@1@@。
反驳一端靠传输（transport）：迹（trace）理论给出的方向映射 @@M@@b(g)@@ 每个生成元步至多变动约 @@M@@2/n@@；把水平图平移至远离单位处，得映射 @@M@@f_N:X\to L@@，一切边像直径 @@M@@\le 4/N@@、三角形边界像 @@M@@\le 8/N@@，而交换幂路径 @@M@@d\,a_q^{-(N-j)}a_r^{-j}@@ 恰好精确描出 @@M@@L@@ 的指定棱。把 @@M@@\alpha@@ 的等变提升（developing map）沿 @@M@@f_N@@ 拉回便得小标号：小像迫使逐三角形平坦，被精确追踪的闭路则保有非平凡和乐（holonomy）。矛盾完成证明。
本文主结果暂无形式化证明，请以社区核验为准；OpenAI 官方声明”未经形式化的结果可能有问题”。该结果族目前仅此一篇手稿，无姊妹篇交叉支撑，但论证自足：种子复形的无环性与 @@M@@\SU(2)@@ 表示是行列式为 @@M@@1@@ 的显式计算，四个模块（几何模型、展示比较、局部化度引理、传输构造）均给出完整证明，依赖的经典结果（Bestvina–Brady、Gerstenhaber–Rothaus、Dicks–Leary、Howie 等）一一注明。鉴于结论推翻了近七十年的公开猜想，严格的专家核验尤为必要。
问 1：证明里最关键、最脆弱的一步是哪一步？
答：比较定理（Theorem presentation）。它要把无环水平复形 @@M@@X@@ 的循环模（边界链 @@M@@[z]@@ 恰好构成自由基，见引言中 @@M@@\Lambda^{(\mathcal D)}\to\ker\partial_1@@ 的同构）与”任何一个假想二维 @@M@@K(G,1)@@“给出的展示对接，而边界链只记带符号计数、忘记顺序，链相等推不出路积相等。论文靠改写 relator 得到精确平移计数恒等式，再用四元数交换子估计 @@M@@|ab-ba|\le2|a-1||b-1|@@ 把线性误差全部压成二次误差——这条链上任何一处计数不精确，阈值 @@M@@\eta@@ 就出不来。
问 2：哪个假设去掉之后证明就垮？
答：剩余有限性。引言明确说：剩余有限把任一组指定边标号复制进有限商，Gerstenhaber–Rothaus 度方法在有限商上解 relator 方程组，再用 Tychonoff 紧性把全部约束一次满足。没有它，未形式化的”无穷方程组求解”无处落地。同样不可去的是 @@M@@\pi_1(L)\to\SU(2)@@ 的非平凡表示：它提供被闭路保有的非平凡和乐，是传输反驳的能量来源。
问 3：与 Bestvina–Brady 原有工作相比，真正的新意是什么？
答：Bestvina–Brady（1997, 定理 8.7）只证明 Poincaré 同调球面脊柱情形下 Eilenberg–Ganea 与 Whitehead 可缩性猜想至少一个不真，无法判定孰假；Leary–Petrosyan 2026 给出的也只是条件性比较。本文第一次直接判定 @@M@@\mathrm{gd}\,G=3@@：靠”比较定理＋小标号命题”两个互不相容的接口制造矛盾，而非只证明某个二维模型不可缩。
问 4：为什么”证明一个二维无环模型不可缩”不够？
答：引言 History 一节说得很清楚：无环不等于可缩，而分类空间要求万有覆盖可缩；就算证明 @@M@@X@@ 本身不可缩，@@M@@G@@ 仍可能另有一个二维分类空间。所以比较定理必须允许假想展示带有任意（乃至不可数）多生成元与 relator——这是论证里最重的一块。
问 5：AI 生成证明最可能在哪里出错？
答：两处分析味最浓的估计。一是局部化度引理（Lemma localized-degree）：在共轭不变区域上算词映射度非零、再让标号沿短弧滑动时度保持不变；二是”线性误差相消、只剩二次误差 @@M@@h\le C(h+\epsilon)h@@ 自举”的靴带式论证，常数稍微失控就会平凡化。本文无形式化，这类风险真实存在。
问 6：这个反例留下什么尾巴？谁会关心？
答：@@M@@G@@ 本身不有限展示（@@M@@\pi_1(L)@@ 非平凡，用 Bestvina–Brady 有限展示判据），故”有限展示群中 Eilenberg–Ganea 猜想是否成立”仍然开放；@@M@@G@@ 属 type FL 却不有限展示，也是同调有限性理论的教科书级标本。做上同调维数计算、Dicks–Leary/Howie 谱系的学者会直接引用。
总评
一篇推翻近七十年猜想的独立构造，论证自足但完全未经形式化与外部核验；其分量取决于比较定理与度估计能否扛住逐行审查。