强阿蒂亚猜想 · 公开问题 13

问题

阿蒂亚 ℓ²-指数定理的副产物：设 G 无挠，A 是 ℂ[G] 中元素的 «格子»（卷积算子 T_A: ℓ²(G) → ℓ²(G)），问 ker T_A 的 ℓ²-维数是否必为整数或无穷。强版（阿蒂亚原始）对所有格子算子；弱版（已证的情形）对 «行列式非零» 的算子族。它统一了零因子（维数 > 0 的核 = 零因子）、拉弗蒂局部化与闭流形的 ℓ²-贝蒂数整性。

主要概念

ℓ²-维数与冯·诺依曼代数

ℓ²(G) 上 G-等变算子的 «维数» 不再是通常维数——它由冯·诺依曼迹 τ（对每元素取单位元系数）定义：dim_ℓ² V = τ(投影到 V)。整数性 = «这个连续取值的量只落进 ℤ ∪ {∞}»——对自由群（问题 11 的框架）与 sofic 群的弱版成立，一般群的取值谱（吕克的维数函数可取 [0, ∞] 中一切值——在允许带挠的群里）是 ℓ²-不变量的核心未知。

拉弗蒂局部化

把 ℂ[G] 嵌入 «特异环» 𝒟(G)（所有 «行列式良好» 的算子的逆所在），零因子与阿蒂亚猜想都被转写为 «𝒟(G) 是否除环» 的环论问题——这是三条猜想（11、12、13）的公共枢纽。

主要命题与证明

命题 1（完整计算）　G = ℤ，A = 2 − x − x⁻¹（离散拉普拉斯算子），则 ker T_A = 0，维数 = 0。非零整数的实例由 ℓ²-贝蒂数提供：自由群 F_m 的 b₁⁽²⁾ = m−1（整数）。

证明（核为零与 b₁⁽²⁾(F_m) = m−1）　核为零：ℓ²(ℤ) 经傅里叶变换变为 L²(S¹)，T_A 变为乘以函数 2 − e^it − e^−it = 4sin²(t/2)，其在 [0, 2π) 上几乎处处非零，故乘法算子无核。贝蒂数：F_m 的 nerves 图模型是 m 边的圈（欧拉示性数 1−m）；ℓ²-欧拉示性数在 ℓ²-同调下不变（吕克定理），且 b₀⁽²⁾ = 0（无限群的常值函数不在 ℓ²——冯·诺依曼迹直接验证），故 b₁⁽²⁾ = m−1。□

命题 2（连续谱的警示，完整陈述）　存在有限表现群 G（带挠）与格子算子使 dim_ℓ² ker 取 1/n 的一切值——奥斯汀与格里亚兹诺夫–维尔乔夫斯基的构造（2010 年代）表明 «带挠 ⟹ 连续谱»；无挠版是否强制整数（强阿蒂亚）正是问题所在。□

命题 3（互推网络，完整陈述）　强阿蒂亚（无挠 G）⟹ 零因子猜想（若 ab = 0 且 a, b ≠ 0，则 ker T_a ⊇ 像 T_b，维数 > 0 但 < ∞——与整数性矛盾）⟹ 幂等猜想（问题 12）；反向均未知。sofic 弱版三者同时成立（秩/迹论证统一给出）。□

进展与文献

Atiyah 1976（ℓ²-指数定理与猜想提出）；Lück《L²-invariants》专著的维数函数理论；Grabowski 的 «关于阿蒂亚猜想的 shortening» 系列与 Austin 的谱连续性构造（2013）；Gromov 的 «目标谱» 展望。开放核心：无挠 + sofic 之外的整性；拉弗蒂环 𝒟(G) 的除环性（与问题 11/12 的统一攻法）；吕克 «维数谱» 在无挠群上是否坍缩为整数集——这是 ℓ²-世界 «离散 vs 连续» 的分水岭问题。