10
$\begingroup$

The Baumslag-Solitar group $BS(m,n)$ is given by the group presentation $BS(m,n)=(a,b|ba^{m}b^{-1}=a^{n})$. When does it embed into a linear group? Thanks!

$\endgroup$
3
  • 2
    $\begingroup$ en.wikipedia.org/wiki/Baumslag–Solitar_group has your answer. $\endgroup$ Jan 24, 2013 at 2:54
  • $\begingroup$ Hmm the link didn't copy properly. $\endgroup$ Jan 24, 2013 at 2:56
  • $\begingroup$ Looks like you got an en-dash in there somehow. $\endgroup$
    – HJRW
    Jan 25, 2013 at 14:06

2 Answers 2

16
$\begingroup$

Presumably you've consulted the Wikipedia page on the Baumslag-Solitar group, which states that $BS(m,n)$ is not residually finite (and therefore not linear) if $|m|\neq |n|$ and $|m|>1, |n|>1$. This leaves the case that $|m|=|n|$. In this case, one can show that the group is the fundamental group of a compact Seifert-fibered 3-manifold, which is known to be linear.

Consider $BS(m,\pm m)$. Take a solid torus, and two parallel annuli in the boundary whose cores run $|m|$ times around the core of the solid torus. Attach an annulus $\times I$ to these two annuli, with opposite orientation for $BS(m,-m)$, to get a Seifert-fibered 3-manifold with fundamental group $BS(m,\pm m)$. For example, $BS(1,-1)$ is the fundamental group of the Klein bottle, which when thickened up is an interval bundle over a Klein bottle.

A Seifert 3-manifold with boundary has a finite-sheeted cover which is a product $S^1\times \Sigma^2$. The fundamental group is $\mathbb{Z}\times F$, where $F$ is a free group, and thus this group is linear. Take the induced representation to get a linear representation of the original 3-manifold group.

$\endgroup$
6
  • 3
    $\begingroup$ Algebraically we can view linearity of $BS(n,en)$ ($e\in\{1,-1\}$) as follows: consider its diagonal embedding into $(\mathbf{Z}*(\mathbf{Z}/n\mathbf{Z})\times \mathbf{Z}\rtimes\mathbf{Z}$, where the action is trivial or by flip according to whether $e=1$ or $-1$. Here the left homomorphism is given by modding out by the common $n\mathbf{Z}$ and the second is the obvious homomorphism (which for $BS(p,q)$ goes into $\mathbf{Z}[1/pq]\rtimes_{p/q}\mathbf{Z}$. Then both factors on the right are linear (over $\mathbf{Z}$, or alternatively over $\mathbf{C}$ in dimension 2), so $BS(n,en)$ is linear. $\endgroup$
    – YCor
    Jan 24, 2013 at 10:01
  • $\begingroup$ Parentheses are missing, I mean $(Z*(Z/nZ))\times (Z\rtimes Z)$. By By By "both factors on the right" I mean both factor in this direct decomposition. $\endgroup$
    – YCor
    Jan 24, 2013 at 10:03
  • 3
    $\begingroup$ It also leaves the case $|m|=1$ (or $|n|=1$), when the representation described in the article is faithful. $\endgroup$
    – HJRW
    Jan 25, 2013 at 14:05
  • $\begingroup$ The representation describes in this article is not faithful then, see [mathoverflow] mathoverflow.net/questions/112320/… $\endgroup$ Apr 3, 2013 at 12:21
  • $\begingroup$ @D Burde: It looks like the questioner in that link you provided never corrected his question to cover the case $|m|=|n|$, as he had intended. I edited that question just now to make the correction. $\endgroup$
    – Lee Mosher
    Apr 3, 2013 at 13:27
11
$\begingroup$

The metabelian groups $BS(n,1)\simeq BS(1,n)=\langle a,b\mid aba^{-1}=b^n \rangle$ are also linear (this seems not mentionened in the Wikipedia article). A faithful, linear representation $BS(1,n)\hookrightarrow GL_2(\mathbb{R})$ is given by $$ a\mapsto \begin{pmatrix} n^{\frac{1}{2}} & 0 \cr 0 & n^{-\frac{1}{2}} \end{pmatrix}, \quad b\mapsto \begin{pmatrix} 1 & 1 \cr 0 & 1 \end{pmatrix}. $$ This representation is not discrete, and the groups are not polycyclic (except for $n=\pm 1$).

$\endgroup$
2
  • $\begingroup$ Although technically this is different from the Wikipedia representation, it is closely related since it has the same image in $PGL_2(\mathbb{R})$, so they differ by twisting by the square root of the determinant. Also, the Wikipedia representation is also clearly faithful (as Lee Mosher points out in a comment above, his answer should have excluded $|m|=1$ or $|n|=1$). $\endgroup$
    – Ian Agol
    Apr 3, 2013 at 17:48
  • $\begingroup$ I agree, thank you for the clarification. The above representation unlikely leads to the (false) belief, that $BS(1,n)$ is a subgroup of $GL_2(\mathbb{ℤ})$. For the Wikipedia representation, the appearance reminds one of integer matrices at first sight. $\endgroup$ Apr 3, 2013 at 19:01

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.