[论文解读] The strong Atiyah conjecture for one-relator groups

Andrei Jaikin‐Zapirain, Diego López-Álvarez|arXiv (Cornell University)|Oct 29, 2018

Algebraic structures and combinatorial models被引用 5

一句话总结

本文證明了局部可指群的強阿蒂亞猜想，並將其作為特例適用於一-relator 群。此外，本文驗證了這些群的中心猜想、獨立性猜想與強特徵值猜想，並顯示特徵零域上的群代數可嵌入至一個休斯自由除法代數中。

ABSTRACT

It is shown that the strong Atiyah conjecture holds for locally indicable groups. In particular, this implies that one-relator groups satisfy the strong Atiyah conjecture. We also show that the center conjecture, the independence conjecture and the strong eigenvalue conjecture hold for these groups. As a byproduct we prove that the group algebra of a locally indicable group over a field of characteristic zero has a Hughes-free epic division algebra and, in particular, it is embedded in a division algebra.

研究动机与目标

• 建立局部可指群的強阿蒂亞猜想，此為包含一-relator 群的廣泛類別。
• 探討中心猜想、獨立性猜想與強特徵值猜想是否對局部可指群成立。
• 分析特徵零域上局部可指群的群代數結構。
• 展示此類群代數存在一個休斯自由滿射除法代數結構。

提出的方法

• 利用局部可指性質分析群代數及其除法閉包的結構。
• 應用休斯自由除法代數理論的結果，顯示特徵零域上的群代數可透過滿同態映射至一個除法代數。
• 使用譜性質與馮諾伊曼代數來驗證局部可指群的強阿蒂亞猜想。
• 透過代數與分析技術，建立特徵值猜想與休斯自由除法代數存在性之間的關聯。
• 透過將已知的一-relator 群結果嵌入至局部可指群的廣泛框架中，加以延伸。
• 利用獨立性猜想分析 L2-Betti 數的行為及其與群代數結構的關係。

实验结果

研究问题

• RQ1 強阿蒂亞猜想是否對所有局部可指群成立？
• RQ2 中心猜想、獨立性猜想與強特徵值猜想是否對局部可指群成立？
• RQ3 特徵零域上局部可指群的群代數是否可嵌入至一個休斯自由除法代數？
• RQ4 在此脈絡下，群運算子的譜性質與群代數結構之間的關係為何？
• RQ5 一-relator 群的 L2 不變量與局部可指群的廣泛類別之間有何關係？

主要发现

• 強阿蒂亞猜想已被證明對所有局部可指群成立。
• 一-relator 群因其局部可指性，直接滿足強阿蒂亞猜想。
• 中心猜想、獨立性猜想與強特徵值猜想均已驗證於局部可指群。
• 特徵零域上局部可指群的群代數可作為商環，獲得一個休斯自由滿射除法代數。
• 此結果表示群代數可嵌入至一個除法代數，確認此類代數具有強烈的結構性質。
• 研究結果在 L2 不變量的脈絡下，建立群論性質（局部可指性）與群代數代數結構之間的深刻關聯。