# If Hopf property geometric?

Recall that a group $G$ is called Hopfian if every surjective endomorphism $G\to G$ is injective. Malcev observed that all finitely-generated (f.g.) residually finite groups are Hopfian. It is well-known that residual finiteness is not a geometric property, i.e. a residually finite f.g. group can be quasi-isometric to a non-residually finite one. For instance, Burger and Mozes proved that $F_2\times F_2$ is quasi-isometric to a simple group. Earlier examples, due to Deligne, were of non-residually finite central extensions of residually finite groups, with kernel of order 2. Deligne examples proved that residual finiteness is not even a virtual isomorphism invariant.

Question 1: Is Hopfian property of preserved by quasi-isometries of f.g. groups?

Natural candidates would be examples of non-Hopfian CAT(0) groups constructed by Dani Wise in his thesis. However, I do not know if such groups are quasi-isometric to, say, residually finite groups. A subquestion of Question 1 is:

Question 2. Suppose that $G$ is a group acting geometrically on a product of simplicial trees of finite valence. Can $G$ be non-Hopfian?

Note that such $G$ is necessarily quasi-isometric to a product of free groups and such products are residually finite.

-
Further evidence for Question 1: ams.org/mathscinet-getitem?mr=1878322 and the fact that hyperbolic groups are Hopfian and QI invariant –  Ian Agol Jul 11 at 18:43
Tag open-problem? –  Alexander Chervov Jul 11 at 18:54
Incidentally, the class of relatively hyperbolic groups is known to be QI rigid and Hopfian property in this class is currently unclear (one has to impose Hopfian condition on parabolic subgroups to make this reasonable). This is an open problem due to Osin, with partial results due to Belegradek and Szczepanski. (My knowledge here might be outdated though.) –  Misha Jul 11 at 18:54
@AlexanderChervov: Maybe, I am not sure yet: I might be missing some known examples, which is why I am asking. There was a major activity in the last 5 years on groups acting on cubical CAT(0) complexes and I know only a fraction of these papers. –  Misha Jul 11 at 18:55
The word "geometric" has been sometimes used in the late 80's to mean QI-invariant, but I think it's pretty clear by now that it's not a good name. Indeed plenty of properties of geometric relevance (property T, etc) are known not to be QI invariant. An alternative for a QI-invariant property is to call it a "coarse property". –  Yves Cornulier Jul 11 at 23:37
The answer to Question 1 is "no". The group $\langle x, y \mid x^{12}y = yx^{18}\rangle$ is Hopﬁan but contains a non-Hopﬁan subgroup of ﬁnite index (see Baumslag, Gilbert; Solitar, Donald Some two-generator one-relator non-Hopfian groups. Bull. Amer. Math. Soc. 68 1962 199–201.).
Edit. Since the paper of Baumslag and Solitar contains almost no proofs, and some results of it turned out to be wrong, it is probably better to refer to Proposition A of Collins, Donald J.; Levin, Frank Automorphisms and Hopficity of certain Baumslag-Solitar groups. Arch. Math. (Basel) 40 (1983), no. 5, 385–400 in combination with S.Meskin, On residually finite one-relator groups. Trans. Amer. Math. Soc. 164, 105--114 (1972). The simplest Hopfian group with non-Hopfian subgroup of finite index would then be $\langle a,b \mid ab^2=b^4a\rangle$. Collins and Levin proved that this group is Hopfian and Meskin proved that it contains a non-Hopfian subgroup of finite index.
Note that the condition for BS(m,n) given by Baumslag-Solitar to be hopfian is not correct, it was corrected by Collins and Levin 16 years later. The corrected version is that, for $|m|,|n|>1$, BS(m,n) is hopfian iff $n$ and $m$ have the same set of prime divisors. So this indeed implies that $BS(12,18)$ is hopfian, but maybe there is a double-check to know whether it has a non-hopfian subgroup of finite index. –  Yves Cornulier Jul 11 at 23:14
here's the link to the Collins-Levin paper ams.org/journals/tran/1972-164-00/S0002-9947-1972-0285589-5/… (the title is "nonresidually finite one-relator groups). They indeed observe that in $BS(2,4)=(t,x|tx^2t^{-1}=x^4)$, the normal subgroup generated by $t$ and $x^2$, which has index 2, has the presentation $(t,u,v|tvt^{-1}=v^2,uvu^{-1}=v^2)$ (where $u=xtx^{-1}$, $v=x^2$); this is Higman's 1951 example of a non-Hopfian group (using the onto endomorphism mapping $(t,u,v)$ to $(t,u,v^2)$, whose kernel contains $[tu^{-1},v]$). –  Yves Cornulier Jul 12 at 11:34