[論文レビュー] 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

ひとこと要約

この論文は、局所可指示群のクラスに対して強いアティヤ予想を証明し、特に一関係生成群を特殊な場合として含む。さらに、これらの群に対して中心予想、独立性予想、強い固有値予想を検証し、特性ゼロの体上の群代数がヒューズ自由除法代数に埋め込まれることを示している。

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.

研究の動機と目的

• 局所可指示群、特に一関係生成群を含む広範なクラスを対象として、強いアティヤ予想を確立すること。
• 局所可指示群に対して中心予想、独立性予想、強い固有値予想が成り立つかを調査すること。
• 特性ゼロの体上の局所可指示群の群代数の構造を分析すること。
• このような群代数に対してヒューズ自由な全射除法代数構造の存在を示すこと。

提案手法

• 群代数の構造とその除法閉包を分析するために、局所可指示性の性質を活用すること。
• ヒューズ自由除法代数の理論からの結果を応用し、特性ゼロの体上の群代数が除法代数への全射準同型をもつことを示すこと。
• スペクトル性質とフォン・ノイマン代数を用いて、局所可指示群に対する強いアティヤ予想を検証すること。
• 代数的および解析的技法を用いて、固有値予想とヒューズ自由除法代数の存在との間の関係を確立すること。
• 一関係生成群に関する既知の結果を、局所可指示群のより広範な枠組みに統合して拡張すること。
• 独立性予想を用いて、L2ベッチ数の振る舞いと群代数構造との関係を分析すること。

実験結果

リサーチクエスチョン

• RQ1 強いアティヤ予想はすべての局所可指示群に対して成り立つか？
• RQ2 中心予想、独立性予想、強い固有値予想は局所可指示群に対して成り立つか？
• RQ3 特性ゼロの体上の局所可指示群の群代数は、ヒューズ自由除法代数に埋め込まれるか？
• RQ4 この文脈において、群作用素のスペクトル性質と群代数の構造との関係は何か？
• RQ5 一関係生成群のL2不変量は、局所可指示群の広範なクラスとどのように関係するか？

主な発見

• 強いアティヤ予想は、すべての局所可指示群に対して成立することが証明された。
• 一関係生成群は、その局所可指示性の直接的な結果として、強いアティヤ予想を満たす。
• 中心予想、独立性予想、強い固有値予想は、すべて局所可指示群に対して検証された。
• 特性ゼロの体上の局所可指示群の群代数は、ヒューズ自由な全射除法代数を商として持つ。
• これは、群代数が除法代数に埋め込まれることを示しており、このような代数の強い構造的性質を裏付けている。
• 結果として、L2不変量の文脈において、群論的性質（局所可指示性）と群代数の代数的構造との深い関係が確立された。