arXiv++ Combinatorics

We show that the space of harmonic functions on a finitely generated infinite group G is finite dimensional if, and only if, G has a finite-index subgroup isomorphic to the integers. A key tool is Wilkie and van den Dries's quantitative version of the linear-growth case of Gromov's theorem on groups of polynomial growth.

We prove a Freiman-Ruzsa-type theorem valid in an arbitrary nilpotent group. Specifically, we show that a K-approximate subgroup A of an s-step nilpotent group G is contained in a coset nilprogression of rank at most f(K) and cardinality at most exp(g(K))|A|, with f and g polynomials depending only on the step s of G. To motivate this, we give a direct proof of Breuillard and Green's analogous result for torsion-free nilpotent groups, avoiding the use of Mal'cev's embedding theorem.