c5fd9e94cb4dd4fb.tex
1: \begin{abstract}
2: Given $\de>0$ we construct a group $G$ and a group ring element $S\in \Z[G]$ such that the spectral measure $\mu$ of $S$ fulfils $\mu((0,\eps)) > \frac{C}{|\log(\eps)|^{1+\de}}$ for small $\eps$. In particular the Novikov-Shubin invariant of any such $S$ is $0$. The constructed examples show that the best known upper bounds on $\mu((0,\eps))$ are not far from being optimal.
3: \keywords{$l^2$-invariants \and Novikov-Shubin invariants \and Determinant approximation \and Group rings}
4: %  and that  and that the Novikov Shubin invariants of  
5: 
6: %~ We compute kernel dimensions $\dim_{\kk[\ZZ_2\wr \ZZ]} \ker (T)$, for all fields of characteristic $\chi(\kk) \neq 2$, of certain matrix $T$ over the group ring $\Z_2[\ZZ_2\wr \ZZ]$. For $\kk = \Q$ we get a transcendental number and for $\chi(\kk)>0$ we get rationals converging to that transcendental number. The rationals depend on multiplicative properties of $2$ in $\kk$. By known reductions, it implies that there is a finite CW-complex with residually finite fundamental group, with infinitely many different homology gradients in degree $4$ for different fields. Our computation also shows that $\ZZ_p\wr \ZZ$ are the simplest known groups which give rise to irrational $l^2$-Betti numbers, in the sense that all the other known examples have $\ZZ_p\wr \ZZ$ as a subgroup.
7: 
8: %Recently groups giving rise to irrational $l^2$-Betti numbers have been found. All the examples known
9: %so far share a common property: they have one of the lamplighter groups $\Zmod{p}\wr \Z$ as a subgroup. In this
10: %paper we prove that in fact already all the groups $\Zmod{p}\wr \Z$ give rise to transcendental $l^2$-Betti
11: %numbers.
12: \end{abstract}
13: