Related papers: Dimension drop in residual chains
Let $G$ be a residually poly-$\mathbb Z$ group of finite type. We prove that $G$ admits a poly-$\mathbb Z$ quotient with kernel $N$ satisfying $\mathrm{cd}_{\mathbb Q}(N) < \mathbb{cd}_{\mathbb Q}(G)$ if and only if the top-dimensional…
Hanna Neumann asked whether it was possible for two non-isomorphic residually nilpotent finitely generated (fg) groups, one of them free, to share the lower central sequence. Gilbert Baumslag answered the question in the affirmative and…
The residual finiteness growth $\text{RF}_G: \mathbb{N} \to \mathbb{N}$ of a finitely generated group $G$ is a function that gives the smallest value of the index $[G:N]$ with $N$ a normal subgroup not containing a non-trivial element $g$,…
We introduce the $\Sigma^*$-invariant of a group of finite type, which is defined to be the subset of non-zero characters $\chi \in \mathrm H^1(G;\mathbb R)$ with vanishing associated top-dimensional Novikov cohomology. We prove an analogue…
Given a finitely generated residually finite group $G$, the residual finiteness growth $\text{RF}_G: \mathbb{N} \to \mathbb{N}$ bounds the size of a finite group $Q$ needed to detect an element of norm at most $r$. More specifically, if…
Fix any algebraic extension $\mathbb K$ of the field $\mathbb Q$ of rationals. In this article we study exponential sets $V\subset \mathbb R^n$. Such sets are described by the vanishing of so called exponential polynomials, i.e.,…
We prove that a finitely generated virtually RFRS group of cohomological dimension at most $2$ is coherent if and only if its second $L^{2}$-Betti number vanishes if and only if it is virtually free-by-cyclic. The non-vanishing of the…
Assume that $G$ is a virtually torsion-free solvable group of finite rank and $A$ a $\mathbb ZG$-module whose underlying abelian group is torsion-free and has finite rank. We stipulate a condition on $A$ that ensures that $H^n(G,A)$ and…
We show that group C*-algebras of finitely generated, nilpotent groups have finite nuclear dimension. It then follows, from a string of deep results, that the C*-algebra $A$ generated by an irreducible representation of such a group has…
Let $R$ be an infinite commutative ring with identity and $n\geq 2$ be an integer. We prove that for each integer $i=0,1,\cdots ,n-2,$ the $L^{2}$-Betti number $b_{i}^{(2)}(G)=0,$ $\ $when $G=\mathrm{GL}_{n}(R)$ the general linear group,…
A finite group $G$ is said to have the nilpotent decomposition property (ND) if for every nilpotent element $\alpha$ of the integral group ring $\mathbb{Z}[G]$ one has that $\alpha e$ also belong to $\mathbb{Z}[G]$, for every primitive…
We prove that if $G$ is a finitely generated RFRS group of cohomological dimension $2$, then $G$ is virtually free-by-cyclic if and only if $b_2^{(2)}(G) = 0$. This answers a question of Wise and generalises and gives a new proof of a…
We establish vanishing results for the first cohomology group of nilpotent groups and Lie rings when the submodule of invariants is trivial. Our results are obtained within a model-theoretic setting, namely for structures that are definable…
We study vanishing results for L2-cohomology of countable groups under the presence of subgroups that satisfy some weak normality condition. As a consequence we show that the L2-Betti numbers of SL(n,R) for any infinite integral domain R…
We show that inductive limits of virtually nilpotent groups have strongly quasidiagonal C*-algebras, extending results of the first author on solvable virtually nilpotent groups. We use this result to show that the decomposition rank of the…
We show that if all the finite coset spaces of a polycyclic group have diameter bounded uniformly below by a polynomial in their size then the group is virtually nilpotent. We obtain the same conclusion for a finitely generated residually…
In this paper we show that for a torsion-free abelian group $G$, $\operatorname{rank}_\mathbb{Z}G<\infty$ if and only if there exists a Noetherian $G$-graded ring $R$ such that the set $\{R_g \neq 0\}$ generates the group $G$. For every $G$…
Given a finitely generated (fg) group G, the set R(G) of homomorphisms from G to SL(2,C) inherits the structure of an algebraic variety known as the "representation variety" of G. This algebraic variety is an invariant of fg presentations…
We define for arbitrary modules over a finite von Neumann algebra $\cala$ a dimension taking values in $[0,\infty]$ which extends the classical notion of von Neumann dimension for finitely generated projective $\cala$-modules and inherits…
A Cohen-Macaulay local ring $R$ satisfies trivial vanishing if $\operatorname{Tor}_i^R(M,N)=0$ for all large $i$ implies $M$ or $N$ has finite projective dimension. If $R$ satisfies trivial vanishing then we also have that…