结果族 008：The Deligne–Drinfeld conjecture · 学科：Number theory · 验证状态：主结果已 Lean 形式化
数学里有一间神秘房间：里面的”家具”是满足三条极短方程（反对称、三词、五边形）的多项式解，它们刻画”带括号辫子”的无穷小对称。房间看似住着无数件家具，Deligne 与 Drinfeld 却猜：真正独立的家具只在权重 @@M@@3,5,7,\ldots@@ 各出现一件，其余家具全是它们的括号组合。本文证明：房间确实这么简洁。
关键词卡片
@@M@@W@@ 配上 Ihara 括号得到的代数。@@M@@x,y@@ 的字数，用来给解分层；三条方程同时压在所有权重上。@@M@@\{\psi,\phi\}@@；”@@M@@W@@ 对它封闭”本身就是定理的结论之一。看个具体例子
定理给出同构 @@M@@\Lie_{\mathbb{Q}}\langle e_3,e_5,e_7,\ldots\rangle\cong(W,\{,\})@@，每个奇权一个生成元 @@M@@\sigma_{2k+1}@@。括号让权重相加：@@M@@\{\sigma_3,\sigma_5\}@@ 落在权重 @@M@@3+5=8@@，而 @@M@@\{\sigma_3,\sigma_3\}=0@@。生成元真实存在来自显式构造：其深度一分量 @@M@@[x^{n-1}y]@@ 的系数在奇权 @@M@@n@@ 处等于 @@M@@2\lambda^n\zeta(n)\neq0@@——例如权重 3 处是 @@M@@2\lambda^3\zeta(3)@@（@@M@@\zeta(3)\approx1.202@@），一个不折不扣的非零数。
为什么值得关心
它一举刻画了这个对称空间的全部结构，并（经 Willwacher 的同构）顺带算清图复形的 @@M@@H^0(\mathrm{GC}_2)@@；结论还通过了机器检验，属于最可靠的一类新定理。
已 Lean 形式化
第一级台阶
导读说这是一间”神秘房间”：家具是多项式，入住资格是同时满足三条极短的方程，而 Deligne 与 Drinfeld 猜真正独立的家具每个奇数层只有一件。换成半数学语言：对象是两个字母生成的自由代数里的齐次多项式，要做的操作是检验它们是否同时满足反对称、三词关系与五边形关系这三条相容方程；猜想断言解少到极致——除奇数层各一件”基本家具”外，其余解全是它们经一种特殊乘法组合出来的。
第二级台阶
精确化。设 @@M@@L=\Lie_{\mathbb Q}\langle x,y\rangle@@ 为二元自由李代数，按字数分次，次数称为权重；记 @@M@@\mathfrak t_n@@ 为无穷小纯辫李代数，五边形方程就在 @@M@@\mathfrak t_4@@ 中陈述。解空间 @@M@@W@@ 是满足三条方程的齐次多项式全体；对每个解 @@M@@\psi@@ 有导子 @@M@@D_\psi@@（固定 @@M@@x@@、把 @@M@@y@@ 映为换位子），由此拼出 Ihara 括号——解与解之间的一种衍生乘法。自由李代数则指不满足任何多余关系的李代数。
第三级台阶
定理的语境：Deligne 与 Drinfeld 分别从三刺直线的动机理论和 associator 理论提出，解空间应恰是由奇权 @@M@@3,5,7,\ldots@@ 各一个生成元张成的自由李代数。此前的已知只覆盖”存在这些解”与”它们自由”这半边，缺的是”没有额外解”的全权重维数上界（此前仅机器验证到权重 29）。本文定理给出齐次元 @@M@@\sigma_{2k+1}\in W_{2k+1}@@，使 @@M@@e_{2k+1}\mapsto\sigma_{2k+1}@@ 是分次李代数同构——注意”@@M@@W@@ 对 Ihara 括号封闭”本身是结论而非假设——且权重完备化后同构连续地成立。
论文证明了 Deligne–Drinfeld 猜想：有理 Grothendieck–Teichmüller 李代数（Grothendieck–Teichmüller Lie algebra）——带括号辫子的无穷小对称代数——在 Ihara 括号（Ihara bracket）下由权重 @@M@@3,5,7,\ldots@@ 各一个生成元自由生成，且权重完备化后同构依然成立。
Grothendieck–Teichmüller 李代数记录”带括号辫子”（parenthesized braids）的结合与换位约束的无穷小对称。它在二元自由李代数 @@M@@L=\Lie_{\mathbb{Q}}\langle x,y\rangle@@（按字数分次，称为权重 weight）上由三条方程定义：反对称（antisymmetry）、三词关系（three-term relation）与 @@M@@\mathfrak t_4@@ 中的五边形关系（pentagon）。方程极短，却对所有权重同时施压。Deligne 在三刺直线基本群的动机研究中、Drinfeld 在 associator 论文中提出猜想：解空间应恰好是每个奇权重（@@M@@\ge3@@）一个生成元的自由李代数。此前只知”半边”：奇权元素的存在性归于 Ihara，Drinfeld 给出 associator 证明；Brown 借混泰特动机（mixed Tate motives）给出一个自由李子代数；Willwacher 证明 @@M@@x^{2k}y@@ 系数非零的奇权解族必自由。缺口是”没有额外解”的全权重维数上界，此前仅靠 Naef–Willwacher 对线性化 Kashiwara–Vergne 代数的计算验证到权重 29。
记 @@M@@W=\bigoplus_n W_n@@ 为满足
@@M@@D\psi(x,y)+\psi(y,x)=0,\qquad
\psi(x,y)+\psi(y,-x-y)+\psi(-x-y,x)=0@@
及 @@M@@\mathfrak t_4@@ 中五边形关系的多项式全体。令 @@M@@D_\psi(x)=0,\ D_\psi(y)=[y,\psi]@@，定义 Ihara 括号
@@M@@D\{\psi,\phi\}=D_\psi(\phi)-D_\phi(\psi)+[\psi,\phi].@@
定理（主结果）：存在齐次元素 @@M@@\sigma_{2k+1}\in W_{2k+1}@@（@@M@@k\ge1@@），使 @@M@@e_{2k+1}\mapsto\sigma_{2k+1}@@ 给出分次李代数同构
@@M@@D\Lie_{\mathbb{Q}}\langle e_3,e_5,e_7,\ldots\rangle\ \cong\ (W,\{\,,\,\}),@@
且按权重完备化后是连续分次同构。生成元不典范；”@@M@@W@@ 在 Ihara 括号下封闭”是证明的结论而非假设。结合 Willwacher 的同构，立得图复形（graph complex）的零阶上同调 @@M@@H^0(\mathrm{GC}_2)@@ 等于该自由李代数的权重完备化。
整条证明是”上界—构造—夹逼”的长链：先证全权重上界 @@M@@\dim W_n\le d_n@@（@@M@@d_n@@ 为奇权自由李代数的维数），再构造摸到上界的解。
先取上界，主场转到特征 2。作换元 @@M@@A=x^2,\ C=[x,y],\ B=y@@，按 @@M@@B@@ 出现次数过滤；五边形关系的”首项”（@@M@@B@@ 计数最小的部分）被转移到二水平分圆超平面排列（level-two cyclotomic hyperplane arrangement）的包络代数中检验。关键是不在两个代数间建立同态，而是并排运行同一套确定性”排序程序”：源侧（辫子代数）排序不减 @@M@@u@@ 计数，目标侧排序不增，两边保计数的项完全相同，于是四项首项关系成立，无需目标代数的独立性。
再用删除算子（deletion operators）把首项关系读成逐字方程：构造整系数算子 @@M@@T_H@@（特化 Hirose–Sato 的代数微分算子），给出排列李代数的整数表示；模 2 后，字与算子的配对自动消去计数偏低的余项。若首项在 @@M@@A=0@@ 后为零：混合 @@M@@A,C@@ 的项先被字级检验排除；剩下的 @@M@@P(A,B)@@ 由特殊恒等式加反对称处理——系数在交换任一 @@M@@A@@ 位与 @@M@@B@@ 位下不变，而特征 2 中”三个 @@M@@C@@ 位”给出 @@M@@3\lambda=\lambda@@，逼其归零；仅剩两个小情形用 @@M@@x\leftrightarrow y@@ 对称性排除。于是首项投影 @@M@@\chi\mapsto\chi(0,C,B)@@ 单射。
继而定像：偶指标约束（源自 @@M@@x,y@@ 对称）与平移不变性 @@M@@f(C,B+s(C))=f(C,B)@@，经 Vandermonde 论证把像钉进 @@M@@g_k=\ad_C^k B@@（@@M@@k\ge1@@）生成的自由李代数，其生成元权重恰为 @@M@@3,5,7,\ldots@@，上界到手。
下界靠构造。在括号弦范畴上，相容导子在重接箭头上的取值自动落入 @@M@@W@@，其像 @@M@@V@@ 在 Ihara 括号下封闭；正则化和乐（regularized holonomy）给出自同构 @@M@@S=H_-H_+^{-1}@@，@@M@@\delta=\log S@@ 的齐次分量提供有理值。对实重接路径比较两种传输规则得 @@M@@\delta(\alpha)\equiv\Phi(-x,-y)-\Phi(x,y)\pmod{J^2}@@，而 @@M@@[x^{n-1}y]\Phi=-\lambda^n\sum_{q\ge1}q^{-n}@@ 是正项收敛级数，奇权重时值 @@M@@2\lambda^n\zeta(n)\neq0@@——只用正性，不诉诸算术独立性。
最后夹逼：在 @@M@@\mathbb{Z}_{(2)}@@ 饱和格上逐权重归纳，已选生成元的 Hall 字约化后线性无关，而 Ihara 括号使深度（depth）相加、长字无深度一分量，新造的深度一值独立于它们；每个权重达到 @@M@@d_n@@，单满同时到手，完备化按权重连续延拓。
主结果已由官方 Lean 形式化（仓库 lean/docs/008.md）：形式化覆盖有理解空间——反对称、三词、五边形方程配 Ihara 括号——的自由生成与权重完备化后的连续同构；正则化和乐命题与图复形推论不在形式化范围内。本结果族仅此一篇手稿，内部”上界”与”构造”两半互为支撑，并实质引用 Willwacher、Brown、Naef–Willwacher 等已发表结论。请注意 OpenAI 官方声明：未经形式化的结果可能有问题。
问 1：证明中最关键、最脆弱的一步是什么？
（答：是特征 2 下五边形关系的退化：换元 @@M@@A=x^2,\ C=[x,y],\ B=y@@ 后按 @@M@@B@@ 的出现次数过滤，把首项关系转移到二水平分圆超平面排列的包络代数。作者刻意不建两个代数间的同态，而是并排运行同一套排序程序——源侧不减计数、目标侧不增、保计数项完全相同。这个”无需目标代数独立性假设”的转移是整条上界的枢纽，也是最该被逐行核查的一步。）
问 2：上界为什么必须绕道特征 2？
（答：有理数上三条方程耦合所有权重，直接解空间维数无门；模 2 后反对称与三词关系大幅塌缩，特殊恒等式使系数在交换 @@M@@A@@ 位与 @@M@@B@@ 位下不变，而特征 2 中”三个 @@M@@C@@ 位”给出 @@M@@3\lambda=\lambda@@ 逼出零，最后仅剩两个小情形用 @@M@@x\leftrightarrow y@@ 对称排除。这套消元在有理数上没有对应物，故论文约定特征 2 一律用普通李代数、并明言不把全部本原元等同于李元。）
问 3：与已有工作相比真正的新意是什么？
（答：Ihara/Drinfeld 只给奇权解的存在，Brown 借混泰特动机给自由子代数，Willwacher 证明深度一系数非零的解族必自由，Naef–Willwacher 只把维数等式算到权重 29——全部缺”没有额外解”的全权重上界。本文的 Corollary（dimension bound）首次对全理解空间给出 @@M@@\dim W_n\le@@ 奇权自由李代数维数，且下界也在论文内部以正则化和乐自给，不再依赖 Brown 的动机论输入。）
问 4：非零系数 @@M@@2\lambda^n\zeta(n)@@ 的论证是否依赖 @@M@@\zeta@@ 值的算术性质？
（答：不依赖。论文明言只用收敛正项级数：@@M@@[x^{n-1}y]\Phi=-\lambda^n\sum_{q\ge1}q^{-n}@@，奇权比较两种传输规则时正负相消成 @@M@@2\lambda^n\zeta(n)@@，正性即非零，”requires no arithmetic independence assertion”。这避开了 @@M@@\zeta(3)@@ 等值的超越性这类未决问题。）
问 5：AI 生成证明最可能出错、且 Lean 没兜住的地方在哪？
（答：官方 Lean 形式化覆盖有理解空间的自由生成与完备化同构，但正则化和乐命题与图复形推论不在形式化范围内。风险集中在下界构造一翼：括号弦范畴上导子像落在 @@M@@W@@、@@M@@S=H_-H_+^{-1}@@ 的对数取有理值、以及 @@M@@\mathbb{Z}_{(2)}@@ 饱和格上逐权归纳”Hall 字线性无关+新深度一值独立”的组装，这些环节符号最密。）
问 6：权重完备化的版本和图复形推论是谁需要的？
（答：associator 的对称通常生活在完备化层面，Willwacher 的同构把 @@M@@H^0(\mathrm{GC}_2)@@ 与 @@M@@\widehat W@@ 等同，于是本文立得 @@M@@H^0(\mathrm{GC}_2)@@ 是奇权自由李代数的权重完备化——形变量子化与图复形研究者直接受惠。论文同时声明只算零阶上同调、不涉其他阶。）
总评
这是把”Grothendieck–Teichmüller 李代数长什么样”一举定死的定理，且主结果已有 Lean 形式化背书，属于本批结果中最可靠的一类；残余风险在未形式化的和乐构造与图复形推论一翼，以及特征 2 排序程序这类机器最难自动核验的组合转移。