Irrational l^2 invariants arising from the lamplighter group

DOI10.4171/GGD/366MaRDI QIDQ2630775zbMATH OpenFDO

Authors Łukasz Grabowski

Publication date 22 July 2016

Published in Groups, Geometry, and Dynamics (Search for Journal in Brave)

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

zbMATH Keywords

\(l^2\)-Betti numbers\(L^2\)-invariantsAtiyah conjectureintegral group ringsNovikov-Shubin invariants

Mathematics Subject Classification ID

Group rings of infinite groups and their modules (group-theoretic aspects) (20C07) Extensions, wreath products, and other compositions of groups (20E22) Generators, relations, and presentations of groups (20F05) Geometric group theory (20F65) Covering spaces and low-dimensional topology (57M10)

Abstract: We show that the Novikov-Shubin invariant of an element of the integral group ring of the lamplighter group Z_2 wr Z can be irrational. This disproves a conjecture of Lott and Lueck. Furthermore we show that every positive real number is equal to the Novikov-Shubin invariant of some element of the real group ring of Z_2 wr Z. Finally we show that the l2-Betti number of a matrix over the integral group ring of the group Z_p wr Z, p>1, can be irrational, and so the groups Z_p wr Z become the simplest known groups which give rise to irrational l2-Betti numbers.

Review text

Let \(\mathbb Z [\Gamma]\) be the integral group ring of the countable finitely generated group \( \Gamma\) and let \(T\) be a matrix with entries in \(\mathbb Z [\Gamma]\). A real number \(r\) is said to be an \(l^2\)-Betti number arising from \(\Gamma\) and \(T\) if the von Neuman dimension of the kernel of \(T\) is equal to \(r\). The author considers the Atiyah conjecture for \(\Gamma\): what are the \(l^2\)-Betti numbers arising from \(\Gamma\)? In Theorem 2, he proves that if \(p\) is a natural number greater than 1 and \(\mathbb Z_p \wr \mathbb Z\) is the lamplighter group, then there is a matrix \(T\) with entries in \(\mathbb Z [\mathbb Z_p \wr \mathbb Z]\) such that the \(l^2\)-Betti number arising from \(\mathbb Z_p \wr \mathbb Z\) and \(T\) is a transcendental number. Besides, he finds this number. In Theorem 7, the author proves, that there is a family \(T(b)\in \mathbb R [\mathbb Z_2 \wr \mathbb Z]\), \(b\in (1,\infty)\), such that \(T(b)\in \mathbb Q [\mathbb Z_2 \wr \mathbb Z]\) and \(\alpha (T(b)) =1/(2\log_2(b))\) holds for \(b\in \mathbb Q\), where \(\alpha (T(b))\) is the Novikov-Shubin invariant of \(T(b)\). Theorem 7 is an example with irracional Novikov-Shubin invariants. In fact, it improves the conjecture of \textit{J. Lott} and \textit{W. Lück} [Invent. Math. 120, No. 1, 15--60 (1995; Zbl 0876.57050)]. The author proves, that every positive real number is equal to the Novikov-Shubin invariant of some element of \(\mathbb R [\mathbb Z_2 \wr \mathbb Z]\).

Recommendations

• scientific article; zbMATH DE number 1882571
• Rational group ring elements with kernels having irrational dimension.
• scientific article; zbMATH DE number 5859855
• The spectral measure of certain elements of the complex group ring of a wreath product
• On computing homology gradients over finite fields
• On Turing dynamical systems and the Atiyah problem
• L2-Betti Numbers and their Analogues in Positive Characteristic
• scientific article; zbMATH DE number 1490812
• Integrality of \(L^2\)-Betti numbers
• scientific article; zbMATH DE number 4144932

Cited in

(15)

• Mean dimension, mean rank, and von Neumann-Lück rank
• The spectral measure of certain elements of the complex group ring of a wreath product
• Approximating the group algebra of the lamplighter by infinite matrix products
• On the growth of \(L^2\)-invariants for sequences of lattices in Lie groups
• The base change in the Atiyah and the Lück approximation conjectures
• Lamplighter groups and von Neumann's continuous regular ring
• Free lamplighter groups and a question of Atiyah
• Rational group ring elements with kernels having irrational dimension.
• Closed manifolds with transcendental L^2-Betti numbers.
• Vanishing of l²‐cohomology as a computational problem
• The realization problem for some wild monoids and the Atiyah problem
• On computing homology gradients over finite fields
• The lamplighter group of rank two generated by a bireversible automaton
• Spectra of Cayley graphs of the lamplighter group and random Schrödinger operators
• \(L^2\)-Betti numbers arising from the lamplighter group

This page was built for publication: Irrational \(l^2\) invariants arising from the lamplighter group

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