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!
-
2$\begingroup$ en.wikipedia.org/wiki/Baumslag–Solitar_group has your answer. $\endgroup$– Benjamin SteinbergJan 24, 2013 at 2:54
-
$\begingroup$ Hmm the link didn't copy properly. $\endgroup$– Benjamin SteinbergJan 24, 2013 at 2:56
-
$\begingroup$ Looks like you got an en-dash in there somehow. $\endgroup$– HJRWJan 25, 2013 at 14:06
2 Answers
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.
-
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$– YCorJan 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$– YCorJan 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$– HJRWJan 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$ Apr 3, 2013 at 13:27
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$).
-
$\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 AgolApr 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