Random equations in nilpotent groups. (Q435936)

In the article under review the authors study satisfiability of random equations in an infinite finitely generated nilpotent group \(G\). Let \(\text{Sat}(G,k)\) be the set of all satisfiable equations over \(G\) in \(k\) variables. For a free Abelian group \(A_m\) of rank \(m\) they show that the asymptotic density \(\rho(\text{Sat}(A_m,k))\) of the set \(\text{Sat}(A_m,k)\) (in the whole space of all equations in \(k\) variables over \(G\)) is equal to \(0\) for \(k=1\), and is equal to \(\zeta(k+m)/\zeta(k)\) for \(k\geq 2\). More generally, if \(G\) is a finitely generated nilpotent infinite group, then again the asymptotic density of the set \(\text{Sat}(G,1)\) is \(0\). For \(k\geq 2\) they give robust estimates for the upper and lower asymptotic densities of the set \(\text{Sat}(G,k)\). In fact, they prove that these densities lie in the interval from \((1/t(G))(\zeta(k+h(G))/\zeta(k))\) to \(\zeta(k+m)/\zeta(k)\), where \(h(G)\) is the Hirsch length of \(G\), \(t(G)\) is the order of lower central torsion of \(G\), and \(m\) is the torsionfree rank (Hirsch length) of the Abelianization of \(G\).