[论文解读] On the Atiyah problem for the lamplighter groups

Łukasz Grabowski|arXiv (Cornell University)|Sep 1, 2010

Mathematics and Applications参考文献 7被引用 11

一句话总结

该论文通过证明在灯工群 Z₂ ≀ ℤ 的整数群环中，某元素的诺维科夫-舒宾不变量可以是无理数，从而否定了洛特和吕克的猜想。此外，论文还表明每个正实数均可作为此类不变量出现，并且在 Zₚ ≀ ℤ（p > 1）的整数群环上的矩阵的 ℓ²-Betti 数也可以是无理数，从而确立了这些群为目前已知产生无理 ℓ²-Betti 数的最简单群组。

ABSTRACT

We show that the Novikov-Shubin invariant of an element of the integral group ring of the lamplighter group Z_2 \wr Z can be irrational. This disproves a conjecture of Lott and Lueck. Furthermore we show that every positive real number is equal to the Novikov-Shubin invariant of some element of the real group ring of Z_2 \wr Z. Finally we show that the l2-Betti number of a matrix over the integral group ring of the group Z_p \wr Z, p>1, can be irrational, and so the groups Z_p \wr Z become the simplest known groups which give rise to irrational l2-Betti numbers.

研究动机与目标

• 研究灯工群群环背景下诺维科夫-舒宾不变量的性质。
• 检验洛特和吕克提出的猜想的有效性，即 Z₂ ≀ ℤ 的整数群环中元素的诺维科夫-舒宾不变量必须为有理数。
• 确定 Z₂ ≀ ℤ 的实群环中诺维科夫-舒宾不变量可能取值的完整范围。
• 检查 Zₚ ≀ ℤ（p > 1）的整数群环上矩阵的 ℓ²-Betti 数是否可以为无理数。
• 识别产生无理 ℓ²-Betti 数的最简单群组，确立 Zₚ ≀ ℤ 为这类群组。

提出的方法

• 在 Z₂ ≀ ℤ 的整数群环中构造特定元素，以分析其关联的诺维科夫-舒宾不变量。
• 运用谱理论和群算子的分析性质，评估谱分布函数在零附近的增长速率。
• 应用 L²-上同调与算子代数的技术，研究群环上矩阵的 ℓ²-Betti 数。
• 将 Z₂ ≀ ℤ 的结果推广至 p > 1 的 Zₚ ≀ ℤ，以证明无理 ℓ²-Betti 数的存在性。
• 通过实群环中的构造性论证，证明每个正实数均可实现为诺维科夫-舒宾不变量。
• 利用灯工群作为半直积的结构，借助其自相似性和可约性在谱计算中发挥作用。

实验结果

研究问题

• RQ1 Z₂ ≀ ℤ 的整数群环中某元素的诺维科夫-舒宾不变量是否可以为无理数，从而与洛特和吕克的猜想相矛盾？
• RQ2 每个正实数是否均可实现为 Z₂ ≀ ℤ 的实群环中某元素的诺维科夫-舒宾不变量？
• RQ3 Zₚ ≀ ℤ（p > 1）的整数群环上矩阵的 ℓ²-Betti 数是否可以取无理数值？
• RQ4 能够产生无理 ℓ²-Betti 数的群的最小复杂度是多少？
• RQ5 灯工群 Zₚ ≀ ℤ 是否为目前已知表现出无理 ℓ²-Betti 数的最简单群组？

主要发现

• Z₂ ≀ ℤ 的整数群环中某元素的诺维科夫-舒宾不变量可以是无理数，从而否定了洛特和吕克的猜想。
• 每个正实数均可作为 Z₂ ≀ ℤ 的实群环中某元素的诺维科夫-舒宾不变量被实现。
• Zₚ ≀ ℤ（p > 1）的整数群环上矩阵的 ℓ²-Betti 数可以是无理数。
• 群组 Zₚ ≀ ℤ 是目前已知产生无理 ℓ²-Betti 数的最简单群组。
• 结果表明，无理 ℓ²-不变量并非仅出现在高度复杂的群中，而早在这些相对简单的半直积群中即已出现。
• 研究结果扩展了对可约群与自相似群中谱不变量的理解，特别是在 L²-理论与群环表示的背景下。