结果族 197：A torsion-free group algebra that is not directly finite · 学科：Algebra · 验证状态：主结果已 Lean 形式化
可逆的整数方阵，行列式的绝对值至少是 1——行列式是整数，不为零就得是 ±1、±2……这篇论文研究给”无限群上的矩阵”量出的一个类似行列式的数，直觉认为它同样不该小于 1，作者却造出一个严格落在 0 与 1 之间的例子。就像给一栋无限大的房子量面积，结果量出了 0.7 个单位。这个”平均对数”版行列式在有限交换情形就退化为普通行列式的绝对值，可视为”体积缩放率”向无穷维的推广。
关键词卡片
@@M@@p^2=p@@ 的元素，像投影仪，把整个空间投出一块”影子”看个具体例子
定理造出整数群环上的方阵 @@M@@A@@：它在有理群环上可逆，但其 Fuglede–Kadison 行列式
@@M@@D\det_{\mathcal N(G)}(T_A)=q^{-\theta},\qquad 0<q^{-\theta}<1 ,@@
缺口 @@M@@\theta=\frac13\left(\frac23\right)^{|S|}>0@@ 来自一个投影的”实际迹”比它的列数多出的部分。矩阵有有界逆、谱远离零点，说明出问题的正是下界本身，而不是行列式的定义。放到数轴上看：
为什么值得关心
这是无限制版群环行列式猜想（Lück 下界）的首个反例，且失败的是下界本身、不是计算方式；反例群自然又是非 sofic 群。它与两篇姊妹篇互为犄角，构成对直接有限性、满射性、行列式三大猜想的连环否定。
已 Lean 形式化
第一级台阶
入门导读把行列式讲成”体积缩放率”：可逆的整数方阵把空间整体放大或缩小，缩放率的绝对值既然是整数，就不可能小于 1。论文把这套量法搬到无限的世界：对象换成”群元素配上整系数”组成的矩阵，量法换成”先取对数、再对整个群求平均”。操作就是把这个矩阵放进左正则表示里变成一个算子，然后按平均机制读出它的缩放率——作者量出了一个严格介于 0 与 1 之间的正数，好比给无限大的房子量出了 0.7 个单位。
第二级台阶
用本科术语说：群环 Z[G] 由有限形式和 Σn_g·g 构成，按群律相乘。取 A∈Mat_n(Z[G])，经左正则表示作用在希尔伯特空间 ℓ²(G)^n 上得算子 T_A；其 Fuglede–Kadison 行列式定义为 log det=(1/2)τ_n(log(T_A^*T_A))，其中 τ_n 是”看恒等元系数”的矩阵迹。幂等元 p 满足 p²=p，迹 τ(p) 度量这张”投影仪”投出的影子大小。
第三级台阶
| Lück 的行列式猜想断言：整群环矩阵只要在有理群环中可逆，这个行列式就不小于 1——有限群时正是 | det | ≥1 的老事实。定理在 von Neumann 代数的语境里给出反例：存在有限生成群 G_D 与 A∈Mat_n(Z[G_D])，可逆且 0<det<1。假设各有分工：有界逆保证谱远离零，说明坏的是下界本身而非积分发散；有限生成排除了靠无穷生成堆出的病态。缺口的来源是一个有理正交投影：其实迹为 d+θ（θ>0），模 2 约化却只通过 d 列分解——”影子比框架多出一块”，负对数正是这块多出来的影子。 |
构造出整群环矩阵 @@M@@A\in\mathrm{Mat}_n(\mathbb Z[G_D])@@，它在有理群环上可逆，而其 Fuglede–Kadison 行列式严格介于 @@M@@0@@ 与 @@M@@1@@ 之间（精确值 @@M@@q^{-\theta}@@），否定无限制版本的群环行列式猜想。
非奇异整数矩阵的行列式绝对值至少为一。Fuglede 与 Kadison（1952）借助左正则表示在 @@M@@\ell^2(G)@@ 上定义了群冯·诺依曼代数（group von Neumann algebra）中的行列式——按 @@M@@\frac12\tau_n(\log(T_A^*T_A))@@ 计算（@@M@@\tau_n@@ 为未归一化矩阵迹），是普通行列式绝对值的推广，属于 @@M@@L^2@@ 不变量理论。Lück 的行列式猜想断言：整群环矩阵的该行列式的对数非负。amenable 群（Schick）与 sofic 群（Elek–Szabó，用有限图逼近与正整矩阵非零特征值乘积的整性）上的肯定结果表明反例群必非 sofic。需注意这与行列式逼近（approximation）问题是两回事：Kammeyer 的 Heisenberg 群例子只是逼近公式失效，并未破坏下界。本文给出下界本身的首个反例。
定理：存在有限生成的离散群 @@M@@G_D@@、整数 @@M@@n\ge1@@ 及矩阵 @@M@@A\in\mathrm{Mat}_n(\mathbb Z[G_D])@@，@@M@@A@@ 在 @@M@@\mathbb Q[G_D]@@ 中可逆，且
@@M@@D0<\det_{\mathcal N(G_D)}(T_A)<1 .@@
等价地，定义行列式的对数谱测度积分 @@M@@\int_{(0,\infty)}\log t\,d\mu_A(t)@@ 有限且严格为负。矩阵有有界逆，谱远离零，因此失败的是下界，而不是行列式类。矩阵阶数 @@M@@n=2d+1@@，积分值为 @@M@@-\frac{2\theta\log q}{2d+1}@@；群 @@M@@G_D@@ 由 @@M@@H_2@@ 的有限生成集加上一个三阶坐标生成元生成，故有限生成。
起点是特征二姊妹篇的标量缺陷 @@M@@a_2b_2=1\ne b_2a_2\in K_2[H_2]@@。第一步把标量缺陷转换为投影的”迹差”。以乘法矩阵表示把 @@M@@K_2[H_2]@@ 嵌入 @@M@@\mathrm{Mat}_d(\mathbb F_2[H_2])@@（@@M@@d=[K_2:\mathbb F_2]@@），得到 @@M@@XY=I_d@@ 及非零幂等 @@M@@C=I_d-YX@@，且 @@M@@XC=CY=0@@。放大群为 @@M@@G_D=(\bigoplus_{h\in H_2}C_3)\rtimes H_2@@，在每个三阶循环坐标上取平均 @@M@@p_h=(1+z_h+z_h^2)/3@@——这是一族两两交换的正交幂等；乘积 @@M@@p=p_1\prod_{s\in S}(1-p_s)@@ 用互补平均隔离出恒等系数，迹差 @@M@@\theta=\frac13(\frac23)^{|S|}>0@@。于是 @@M@@P=\mathrm{diag}(I_d,p)@@ 是迹为 @@M@@d+\theta@@ 的有理正交投影，而其模 @@M@@2@@ 约化却可经 @@M@@d@@ 列分解：实迹超过列数，缺口 @@M@@\theta@@ 正是负行列式的来源。
第二步把缺口铸成整矩阵。仅有模 @@M@@2@@ 的分解还不够——整性要求右下块的 @@M@@q^{-1}@@ 被整除抵消。于是先在角环（corner ring）里用几何级数把模 @@M@@2@@ 分解提升到模 @@M@@q=2^k@@（关键余项满足 @@M@@W^k=0@@ 的幂零性），并取 @@M@@q\equiv1\pmod D@@，其中奇数 @@M@@D=3^{1+|S|}@@ 清除 @@M@@P@@ 的全部分母。随后写出分块矩阵 @@M@@A=\begin{pmatrix}qI_r&V\\U&q^{-1}(UV-P-q(I_m-P))\end{pmatrix}@@：Schur 消元视角说明模 @@M@@q@@ 分解恰好抵消右下块的分母，故 @@M@@A@@ 是整矩阵；再沿道路 @@M@@M(x)=L_xBR_x@@ 把它连到对角形 @@M@@B@@，从而显式给出有理逆。
第三步是分析核心。Fuglede–Kadison 的迹对数导数（文中完整自证，用泛函演算的一致收敛级数与迹的循环性，不假设 @@M@@N@@ 与 @@M@@N'@@ 交换）给出 @@M@@\frac{d}{dx}\tau(\log(M^*M))=2\operatorname{Re}\tau(M'M^{-1})@@；而左右分块剪切（block shear）@@M@@L_x,R_x@@ 的生成元对角块为零、迹为零，故沿整条道路正平方的对数迹不变。在 @@M@@x=0@@ 处 @@M@@B^*B@@ 为对角阵，对数可直接算出，得 @@M@@\log\det=(r-\tau_m(P))\log q@@。代入 @@M@@r=d@@、迹 @@M@@d+\theta@@，即得精确值 @@M@@q^{-\theta}\in(0,1)@@。谱的双边估计保证积分有限。附带结论：把 Elek–Szabó 的 sofic 行列式下界用于正整矩阵 @@M@@A^*A@@，可知 @@M@@G_D@@ 非 sofic。论文特别强调：投影构造、模提升与迹计算三者分工明确，任何一环都不能替代标量存在性输入。
本文主结果已 Lean 形式化。全篇唯一的非自足输入是特征二姊妹篇的标量缺陷定理（该篇主结果亦已形式化），投影构造、模提升与迹计算均在本文内完成；三篇论文互为犄角，构成结果族 197 对直接有限性、满射性与行列式三大猜想的连环否定。按 OpenAI 官方声明，未经形式化的结果可能有问题；本文及其所依赖的输入均不在警示之列。
问 1：证明里最关键也最微妙的一步是什么？
答：把”实迹超过列数”兑换成负对数行列式的整性机器。对角算子 diag(qI_r,J) 把 r 个坐标放大 q、把投影 P 的像缩小 q^{-1}，对数行列式应为 (r−τ_m(P))·log q；但整性要求右下块的分母 q^{-1} 被抵消，这靠 Lemma lem:lift 在角环里用几何级数把模 2 分解提升到模 q（余项满足 W^k=0 的幂零性）。随后 Lemma lem:shears 用迹对数导数证明两个分块剪切不改变对数迹。这两处环环相扣，任何一步走错，整数矩阵就不存在或值算错。
问 2：为什么 insist 矩阵有有界逆、谱远离零？
答：这不是装饰而是结论的一部分。一般情形对数谱积分可以是 −∞，那只是”定义失效”；本文例子谱含在 (0,∞) 的紧子区间里，积分有限且严格为负，说明失败的是下界本身、而非行列式类的技术缺陷。这一区分正是与 Kammeyer 逼近反例的本质不同。
问 3：与已有工作相比真正的新意是什么？
答：Schick 证明 amenable、Elek–Szabó 证明 sofic 群上 Lück 下界成立；Kammeyer 的 Heisenberg 例子只破坏逼近公式、行列式仍为 2。本文给出下界本身的首个反例，且机制全新：从特征二直接有限性缺陷出发，经投影迹差制造缺口——Dicks–Schick 型交换坐标投影只是技术亲戚，谱分布定理并未搬用。
问 4：为什么要依赖姊妹篇？能独立吗？
答：全文唯一的非自足输入是特征二姊妹篇的标量缺陷 a₂b₂=1≠b₂a₂（Theorem thm:input）。论文明说：奇特征版本不能提供这里需要的二元前提，投影构造、模提升与迹计算分工明确，任何一环都不能替代这个存在性输入。这是刻意的模块化设计，也是结果族的依赖链。
问 5：AI 生成证明最可能在哪里出错？
| 答：符号约定与装配顺序。未归一化迹 τ_n、inversion 幂元 δ_g↦δ_{g^{-1}} 与右乘 A* 的换算、block shear 乘法不换序等细节，都是 AI 极易悄然弄反的地方；θ=⅓·(⅔)^ | S | 这类精确值更是差一个指标就全错。好在主结果已 Lean 形式化，把代数骨架钉死；分析部分的泛函演算论证（Lemma logderivative）则靠人工核验。 |
问 6：这个结果谁会用到？
答：L²-不变量与几何群论社区直接受益：它给 Lück 行列式猜想划定了边界（必须假设 sofic 或类似条件），又产出一个新的非 sofic 群 G_D——把 Elek–Szabó 的 sofic 下界定理用在正整矩阵 A*A 上即得。与姊妹篇一起，它完成对直接有限性、满射性、行列式三猜想的连环否定。
机制漂亮、依赖链清晰、且有形式化兜底，是 L²-不变量理论中罕见的否定性突破。最大风险在未形式化的分析细节与对姊妹篇存在性输入的单点依赖。