Virtual retractions in free constructions

A group <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding="application/x-tex">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> has property (VRC) if every cyclic subgroup is a virtual retract. This property is stable under many standard group-theoretic constructions and is enjoyed by all virtually special groups (in the sense of Haglund and Wise). In this paper we study property (VRC) for fundamental groups of finite graphs of groups. Our main criterion shows that the fundamental group of a finite graph of finitely generated virtually abelian groups has (VRC) if and only if it has a homomorphism to a Euclidean-by-finite group that is injective on all vertex groups. This result allows us to determine property (VRC) for such groups using basic tools from Euclidean geometry and linear algebra. We use it to produce examples and to give sufficient criteria for fundamental groups of finite graphs of finitely generated abelian groups with cyclic edge groups to have (VRC). In the last two sections and in the appendix we give applications of property (VRC). We show that if a fundamental group of a finite graph of groups with finitely generated virtually abelian vertex groups has (VRC) then it is CAT( <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="0"> <mml:semantics> <mml:mn>0</mml:mn> <mml:annotation encoding="application/x-tex">0</mml:annotation> </mml:semantics> </mml:math> </inline-formula> ). We also show that tubular groups with (VRC) are virtually free-by-cyclic and virtually special.