Baumslag-Solitar表示的拓扑

设$\Gamma=\langle a,b | a b^{p} a^{-1} = b^{q}\rangle$为一个Baumslag--Solitar群,$G$为一个复约化代数群,其极大紧子群为$K<G$。我们证明,当$p$与$q$互素且绝对值不同时,$Hom(\Gamma,G)$到$Hom(\Gamma,K)$存在一个强形变收缩。