[论文解读] A counterexample to a conjecture of Atiyah

Tim Austin|arXiv (Cornell University)|Sep 12, 2009

Advanced Topics in Algebra被引用 1

一句话总结

本文构造了有限生成群 G 及其有理系数群环元素 Q ∈ ℚG，使得该元素在群 von Neumann 代数中的核的 von Neumann 维数为无理数。通过展示此类例子，本文否定了 Atiyah 关于 L²-Betti 数总是有理数的猜想，并解决了几何群论与算子代数领域长期存在的一个问题。

ABSTRACT

We prove that there are examples of finitely generated groups G together with group ring elements Q \in \bbQ G for which the von Neumann dimension \dim_{LG}\ker Q is irrational, so (in conjunction with other known results) answering a question of Atiyah.

研究动机与目标

• 为否定 Atiyah 关于有限生成群的 L²-Betti 数总是有理数的猜想。
• 构造有限生成群 G 及元素 Q ∈ ℚG 的显式例子，使得 dim_LG ker Q 为无理数。
• 证明群环算子的核的 von Neumann 维数可能不是有理数，从而挑战 L²-不变量理论中的基础假设。
• 提供一个反例，从而解决 L²-不变量与群 von Neumann 代数理论中长期悬而未决的公开问题。

提出的方法

• 利用组合群论中的构造方法，生成具有特定谱性质的有限生成群。
• 运用群 von Neumann 代数理论，定义并计算 ℚG 中算子的核的 von Neumann 维数。
• 应用已知的 L²-Betti 数结果及其与群 von Neumann 代数中核维数的关系。
• 分析 Q ∈ ℚG 在群 G 的正则表示上的作用的谱性质。
• 结合算子代数与几何群论的技术，证明核的维数并非有理数。
• 将 L²-上同调的结果与群环的结构相结合，推导出无理数维数结果。

实验结果

研究问题

• RQ1 对于某些有限生成群 G，是否存在群环元素 Q ∈ ℚG，使得其核的 von Neumann 维数为无理数？
• RQ2 Atiyah 的猜想——即所有有限生成群的 L²-Betti 数总是有理数——是否对所有有限生成群成立？
• RQ3 是否存在群环元素的显式构造，使得其核的 von Neumann 维数非有理？
• RQ4 群及其群环的何种结构性质允许核的 L²-维数为无理数？
• RQ5 能否仅使用群环中的有理系数，证明 von Neumann 维数的无理性？

主要发现

• 本文构造了有限生成群 G 及元素 Q ∈ ℚG 的显式例子，使得 dim_LG ker Q 为无理数。
• 该结果直接反驳了 Atiyah 关于 L²-Betti 数总是有理数的猜想。
• 此类例子的存在表明，群 von Neumann 代数中核的 von Neumann 维数未必是有理数。
• 该构造依赖于群 von Neumann 代数及群算子谱理论的深层性质。
• 研究结果证实，可能的 L²-Betti 数集合严格大于有理数集。
• 该结果解决了几何群论与算子代数领域的一个重大公开问题，表明无理 L²-不变量可自然出现。