[論文レビュー] 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 代数における Q の核の von Neumann 維度が無理数である例を示した。このような例を提示することで、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.

研究の動機と目的

• 有限生成群の L²-Betti 数が常に有理数であるというアティヤの予想を反証すること。
• dim_LG ker Q が無理数であるような有限生成群 G と Q ∈ ℚG の明示的例を構成すること。
• 群環作用素の核の von Neumann 維度が有理数でないことがあることを示し、L² 不変量における基礎的仮定に挑戦すること。
• L² 不変量および群 von Neumann 代数の理論における長年の未解決問題を解決する反例を提供すること。

提案手法

• 特定のスペクトル的性質を有する有限生成群を構成するため、組合せ的群論の技法を用いる。
• 群 von Neumann 代数の理論を用いて、ℚG に属する作用素の核の von Neumann 維度を定義および計算する。
• 既知の L²-Betti 数に関する結果と、群 von Neumann 代数における核の次元との関係を応用する。
• G の正則表現上での作用素 Q ∈ ℚG のスペクトル的性質を分析する。
• 作用素代数および幾何的群論の技法を用いて、核の次元が有理数でないことを示す。
• L²-コホロジーの結果と群環の構造を組み合わせ、無理数の次元値を導出する。

実験結果

リサーチクエスチョン

• RQ1 有限生成群 G と Q ∈ ℚG の群環要素に対して、その核の von Neumann 維度が無理数であることはあり得るか？
• RQ2 すべての有限生成群に対して、L²-Betti 数が常に有理数であるというアティヤの予想は成り立つか？
• RQ3 核の von Neumann 維度が非有理数であるような群環要素の明示的構成は可能か？
• RQ4 群およびその群環のどのような構造的性質が、核の L²-次元が無理数になることを可能にするか？
• RQ5 群環における有理数係数のみを用いて、von Neumann 維度の無理数性を示すことができるか？

主な発見

• この論文は、dim_LG ker Q が無理数であるような有限生成群 G と Q ∈ ℚG の明示的例を構成した。
• この結果は、L²-Betti 数が常に有理数であるというアティヤの予想を直接的に反証する。
• このような例の存在は、群 von Neumann 代数における核の von Neumann 維度が必ずしも有理数でないことを示唆する。
• この構成は、群 von Neumann 代数および群作用素のスペクトル論の深い性質に依存している。
• L²-Betti 数の可能な値の集合が有理数よりも厳密に大きいことが確認された。
• この結果は、幾何的群論および作用素代数の分野における主要な未解決問題を解決し、無理数の L² 不変量が自然に現れることを示した。