Is being equationally Noetherian a quasi-isometry invariant? A group $G$ is equationally Noetherian if every system of group equations with coefficients from $G$ is equivalent to finite sub-system over $G$. It seems that this property must be invariant under geometric equivalences like quasi-isometry or at least bi-Lipschitz equivalence. I have no proof and no counterexample. Is there a pair of f.g. quasi-isometric groups $G_1$ and $G_2$, such that the first is equationally Noetherian and the second is not?
 A: No. Yes. $(*)$ This is not a QI-invariant, not bilipschitz invariant, and not even (unlabeled) Cayley graph invariant.
Indeed, consider two finite groups $F_1,F_2$ of the same order: then $F_1\wr\mathbf{Z}$ and $F_2\wr\mathbf{Z}$ have isomorphic Cayley graphs (namely with respect to the generating subset $F_i\cup\{1_{\mathbf{Z}}\}$, and in particular are bilipschitz.
On the other hand


*

*if $F_i$ is abelian, then $F_i\wr\mathbf{Z}$ is equationally noetherian: this is due to R. Bryant $[1]$, who proved that more generally every finitely generated abelian-by-nilpotent group is equationally noetherian.

*if $F_i$ is not abelian, then $F_i\wr\mathbf{Z}$ is not equationally noetherian: this observation is due to G. Baumslag $[2]$: indeed it is then easy to construct a properly descending sequence of subgroups, each of which is the centralizer of a finite subset.


So we get examples choosing $F_1$ abelian and $F_2$ non-abelian, of the same order, e.g., 6 or 8.
$[1]$ R. Bryant. The verbal topology of a group. Journal of Algebra
Volume 48, Issue 2, October 1977, 340-346. Sciencedirect link
$[2]$ G. Baumslag. Two theorems about equationally Noetherian groups Journal of Algebra
Volume 194, Issue 2, 15 August 1997, 654-664. Sciencedirect link
$(*)$ Classical joke: you're asking a yes/no question in the title and the opposite question in the core of the question :)
