Entropy, determinants, and L^2-torsion

DOI10.1090/S0894-0347-2013-00778-XMaRDI QIDQ2862638zbMATH OpenOpenAlexWikidataFDO

Publication date 18 November 2013

Published in Journal of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1202.1213

\(L^2\)-torsion amenable group entropy Fuglede-Kadison determinant topological entropy

(C^*)-algebras and (W^*)-algebras in relation to group representations (22D25) Entropy and other invariants, isomorphism, classification in ergodic theory (37A35) Topological entropy (37B40) Means on groups, semigroups, etc.; amenable groups (43A07) Determinants and determinant bundles, analytic torsion (58J52)

Abstract: We show that for any amenable group Gamma and any ZGamma-module M of type FL with vanishing Euler characteristic, the entropy of the natural Gamma-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 ZGamma/ZGamma f is equal to the logarithm of the Fuglede-Kadison determinant of f whenever f is a non-zero-divisor in ZGamma. This confirms a conjecture of Deninger. As a key step in the proof we provide a general SzegH{o}-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"uck. Finally, we establish a Milnor-Turaev formula for the L2-torsion of a finite Delta-acyclic chain complex.

Review text

Let \(\Gamma\) be a countable discrete amenable group. The entropy considered in this paper is the topological entropy of the action of \(\Gamma\) on a compact metrizable group by continuous automorphisms.NEWLINENEWLINEDenote by \(\mathbb Z\Gamma\) the integral group ring of \(\Gamma\), consider a \(\mathbb Z\Gamma\)-module \(M\) and the action of \(\Gamma\) on the Pontryagin dual \(\widehat M\) of \(M\). If \(M\) is of type FL and the Euler characteristic of \(M\) is zero, then the \(L^2\)-torsion of \(M\) is defined (in terms of the Fuglede-Kadison determinant, defined on the group von Neumann algebra). The main theorem of the paper states that, under these assumptions, the entropy of the action of \(\Gamma\) on \(\widehat M\) coincides with the \(L^2\)-torsion of \(M\). Several consequences of this equality between two numerical invariants of different nature are given for \(L^2\)-torsion and entropy.NEWLINENEWLINEAn important consequence of the main theorem is the proof of a conjecture by Deninger. Indeed, the authors apply their main result when \(M\) is the quotient \(\mathbb Z\Gamma/\mathbb Z\Gamma f\), where \(f\) is a non-zero-divisor in \(\mathbb Z\Gamma\) and \(\mathbb Z\Gamma f\) is the principal ideal generated by \(f\) in \(\mathbb Z\Gamma\). In this case, the entropy of the natural action of \(\Gamma\) on \(\widehat M\) coincides with the logarithm of the Fuglede-Kadison determinant of \(f\). This extends classical results by Yuzvinski (for \(\Gamma=\mathbb Z\)) and by Lind, Schmidt and Ward (for \(\Gamma=\mathbb Z^d\)).NEWLINENEWLINEAnother application of the main theorem confirms a conjecture by Lück. In fact, it is proved that the \(L^2\)-torsion of a non-trivial amenable group \(\Gamma\) is zero if the trivial \(\mathbb Z\Gamma\)-module \(\mathbb Z\) is of type FL.NEWLINENEWLINEMoreover, the authors generalize a result by Szegö to an approximation theorem for the Fuglede-Kadison determinant on the group von Neumann algebra of an amenable group, which is applied in the proof of the main theorem.NEWLINENEWLINEFinally, using the main theorem, the notion of torsion is introduced for a countable \(\mathbb Z\Gamma\)-module as the entropy of its Pontryagin dual, and it is given a Milnor-Turaev formula for the \(L^2\)-torsion of a finite \(\Delta\)-acyclic chain complex.

Recommendations

Cites work

Cited in

(37)

This page was built for publication: Entropy, determinants, and \(L^{2}\)-torsion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2862638)