[論文レビュー] Entropy, Determinants, and L2-Torsion

Hanfeng Li, Andreas Thom|arXiv (Cornell University)|Feb 6, 2012

Algebraic structures and combinatorial models参考文献 47被引用数 5

ひとこと要約

この論文は、可解群における代数的群作用のエントロピーと$L^2$- torsionの間の基本的等式を確立し、Deningerの予想を確認する。すなわち、$\mathbb{Z}\Gamma/\mathbb{Z}\Gamma f$のポンティャーギン双対上の主代数的作用のエントロピーが、$f$のFuglede-Kadison行列式の対数に等しいという予想である。主な結果は、任意の可解群$\Gamma$およびオイラー特性が0であるタイプFLの$\mathbb{Z}\Gamma$-加群$\mathcal{M}$に対して、$\mathcal{M}$上の$\Gamma$-作用のエントロピーが$\mathcal{M}$の$L^2$- torsionに等しいことを示し、Lückの長年の予想を解決するとともに、エントロピーとMahler測度に関する古典的結果を拡張する。

ABSTRACT

We show that for any amenable group Γand any ZΓ-module M of type FL with vanishing Euler characteristic, the entropy of the natural Γ-action on the Pontryagin dual of M is equal to the L2-torsion of M. As a particular case, the entropy of the principal algebraic action associated with the module ZΓ/ZΓf is equal to the logarithm of the Fuglede-Kadison determinant of f whenever f is a non-zero-divisor in ZΓ. This confirms a conjecture of Deninger. As a key step in the proof we provide a general Szegő-type approximation theorem for the Fuglede-Kadison determinant on the group von Neumann algebra of an amenable group. As a consequence of the equality between L2-torsion and entropy, we show that the L2-torsion of a non-trivial amenable group with finite classifying space vanishes. This was conjectured by Lück. Finally, we establish a Milnor-Turaev formula for the L2-torsion of a finite Δ-acyclic chain complex.

研究の動機と目的

• 可解群上の主代数的作用のエントロピーが、定義要素のFuglede-Kadison行列式の対数に等しいというDeningerの予想を解決すること。
• オイラー特性が0であるタイプFLの$\mathbb{Z}\Gamma$-加群に対して、トポロジカルエントロピーと$L^2$- torsionの一般的関係を確立すること。
• 有限な分類空間を持つ非自明な可解群の$L^2$- torsionが0に等しいことを証明し、Lückの予想を確認すること。
• アーベル群のvon Neumann代数上でのFuglede-Kadison行列式に対するSzegö型近似定理を、主要な技術的道具として開発すること。
• 有限$\Delta$-アセイクル鎖複体に対する$L^2$- torsionへのMilnor-Turaevの公式の拡張すること。

提案手法

• 可解群におけるF{ø}lner列を用いて、Fuglede-Kadison行列式に対する一般的なSzegö型近似定理を確立する。
• 近似定理を用いて、0付近のスペクトル推定を介して代数的作用のエントロピーとFuglede-Kadison行列式を関連付ける。
• ラプラシアン作用素のFuglede-Kadison行列式を用いて、オイラー特性が0であるタイプFLの$\mathbb{Z}\Gamma$-加群に対する$L^2$- torsionを定義する。
• Haagerup-Schultz代数$\mathcal{N}\Gamma^\Delta$を用いた新しい代数的枠組みを構築し、$L^2$- torsionを古典的 torsion 不変量として再解釈する。
• 群の拡大における帰納法と分解技術を用いて、有限分類空間を持つ可解群の$L^2$- torsionの消滅を証明する。
• 鎖複体の$\Delta$-アセイクル分解を分析することにより、$L^2$- torsionに対するMilnor-Turaev型の公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 任意の可解群$\Gamma$および非零因子$f$に対して、$\widehat{\mathbb{Z}\Gamma/\mathbb{Z}\Gamma f}$上の主代数的作用のエントロピーは、$f$のFuglede-Kadison行列式の対数に等しいか？
• RQ2 有限な分類空間を持つ非自明な可解群の$L^2$- torsionは、Lückの予想通り0に等しいか？
• RQ3 オイラー特性が0であるタイプFLの$\mathbb{Z}\Gamma$-加群の$L^2$- torsionは、そのポンティャーギン双対上の関連する代数的作用のエントロピーとして表現可能か？
• RQ4 可解群上の$\Delta$-アセイクル鎖複体の文脈において、$L^2$- torsionに対してMilnor-Turaevの公式が成り立つか？
• RQ5 可解群におけるF{ø}lner集合上のスペクトルデータを用いて、Fuglede-Kadison行列式を近似できるか？これは古典的Szegö定理の一般化である。

主な発見

• オイラー特性が0である任意のタイプFLの$\mathbb{Z}\Gamma$-加群$\mathcal{M}$に対して、$\mathcal{M}$のポンティャーギン双対上の$\Gamma$-作用のエントロピーは、$\mathcal{M}$の$L^2$- torsionに等しくなる。これはDeningerの予想を確認する。
• 任意の可解群$\Gamma$および非零因子$f \in \mathbb{Z}\Gamma$に対して、$X_f = \widehat{\mathbb{Z}\Gamma/\mathbb{Z}\Gamma f}$上の主代数的作用のエントロピーは、$\log \det_{\mathcal{N}\Gamma} f$、すなわちFuglede-Kadison行列式の対数に等しい。
• 有限な分類空間を持つ任意の非自明な可解群$\Gamma$の$L^2$- torsionは0に等しくなる。これはLückの予想を確認する。
• 可解群の群von Neumann代数上におけるFuglede-Kadison行列式に対して、F{ø}lner列を用いた一般的なSzegö型近似定理が確立された。
• 有限$\Delta$-アセイクル鎖複体の$L^2$- torsionは、古典的torsion恒等式を$L^2$設定に一般化するMilnor-Turaevの公式を満たすことが示された。
• 群の拡大に関する帰納法を用いて、有限分類空間を持つ非自明な可解群$\Gamma$に対して、自明な$\mathbb{Z}\Gamma$-加群$\mathbb{Z}$の$L^2$- torsionが0に等しくなることが示された。