Is there a closed hyperbolic $3$-manifold whose fundamental group is isomorphic to a subgroup of some compact Lie group?


It is [known](https://arxiv.org/abs/math/0602635) that every surface group can be embedded into any semisimple connected Lie group.


I would be interested in similar results for fundamental groups of closed nonpositively curved manifolds of any dimension, but this is probably much harder. All I know is how to embed the fundamental groups of tori, closed surfaces, and their products.



Hyperbolic $3$-manifold groups that embed in compact Lie groups
All closed hyperbolic 3-manifold groups embed into a compact Lie group. 


To prove this, note first of all that given a hyperbolic 3-manifold $M$, it suffices to show that a finite-index subgroup $G\leq \pi\_1(M)$ of index $m$ embeds into a compact Lie group. Then the representation $\rho: G\hookrightarrow O(n)$ will [induce a represenation](https://en.wikipedia.org/wiki/Induced_representation) $Ind\_G^{\pi\_1(M)} \rho : \pi\_1(M) \hookrightarrow O(nm)$. 


Now, by the [proof of the virtual Haken conjecture](https://www.math.uni-bielefeld.de/documenta/vol-18/33.html), $\pi\_1(M)$ has a finite-index subgroup $G$ which is the fundamental group of a [special cube complex](https://link.springer.com/article/10.1007%2Fs00039-007-0629-4), which implies that $G$ embeds into a [right-angled artin group](https://en.wikipedia.org/wiki/Artin_group#Right-angled_Artin_groups) $A$, [and hence into a right-angled Coxeter group](https://mathscinet.ams.org/mathscinet-getitem?mr=1783167) $\Gamma$. 


Finally, right-angled Coxeter groups have faithful embeddings into $O(n)$. This follows from a [result of Vinberg](https://www.turpion.org/php/paper.phtml?journal_id=im&paper_id=1203), which gives a faithful linear action by reflections on $\mathbb{R}^n$. We'll review this construction following section 7 of [this paper.](https://arxiv.org/abs/1804.03132) 


Fix a right-angled Coxeter group
$$\Gamma = \langle \gamma\_1,\dots,\gamma\_k ~|~ (\gamma\_i \gamma\_j)^{m\_{i,j}} = 1\quad \forall i,j\rangle,$$
where $m\_{i,i}=1$ and $m\_{i,j}\in\{ 2,\infty\}$ for all $i\neq j$.


For $t \in \mathbb{R}$, the matrix $M\_t=(M\_t(i,j))\_{1\leq i,j\leq k}$ where
$$M\_t(i,j) = \left\{ \begin{array}{cl}
1 & \text{if }m\_{i,j}=1, \text{ i.e. $i=j$},\\
0 & \text{if }m\_{i,j}=2,\\
-t & \text{if }m\_{i,j}=\infty
\end{array}\right.$$
 defines a symmetric bilinear form $\langle\cdot,\cdot\rangle\_t$ on $\mathbb{R}^k$.
Note that $\mathrm{det}(M\_t)$ is a nonzero polynomial in $t$ (take $t=0$), hence it is nonzero outside of some finite set $F$ of exceptional values of $t$.
For any $t\in \mathbb{R}-F$, the form $\langle\cdot,\cdot\rangle\_t$ is nondegenerate.
Define the representation $\rho\_t : \Gamma\to\mathrm{Aut}(\langle\cdot,\cdot\rangle\_t)\leq \rm{GL}(k,\mathbb{R})$ by
$$\rho\_t(\gamma\_i) : v \mapsto v - 2\langle v, e\_i \rangle\_t \, e\_i $$
for all $i$. Each generator is a reflection in a hyperplane perpendicular to $e\_i$ with respect to the metric $\langle\cdot,\cdot\rangle\_t$.


For $t>1$, the convex cone
$$\widetilde{\Delta}\_t = \{ v\in\mathbb{R}^k ~|~ \langle v, e\_i\rangle\_t \leq 0 \ \,\forall i\}$$
descends to a convex polytope $\Delta\_t$ in an affine chart of $\mathbb{P}(\mathbb{R}^{k})$.
By Theorem 2 of [Vinberg](https://www.turpion.org/php/paper.phtml?journal_id=im&paper_id=1203), the representation $\rho\_t$ is discrete, faithful, the set $\rho\_t(\Gamma)\cdot\Delta\_t$ is convex in $\mathbb{P}(\mathbb{R}^k)$, and the action of $\Gamma$ on the open set
$$\mathcal{U}\_t:=\mathrm{Int} \left ( \rho\_t(\Gamma)\cdot\Delta\_t \right )$$ is properly discontinuous.


Now, let $t$ be close to $0$ and transcendental, so that $M\_t$ is positive definite. Then $\rho\_t : \Gamma\to \mathrm{Aut}(\langle\cdot,\cdot\rangle\_t) \cong O(k)$ is faithful (it is Galois conjugate to a representation for some transcendental $t>1$). 


**Remark:** I think the first step of taking an induced representation can be eliminated. If we assume $G\lhd \pi\_1(M)$, and $K=\pi\_1(M)/G$, then one may embed $G$ into a right-angled Coxeter group which admits an action of $K$ by permuting its generators, and so that the embedding of $G$ is $K$-equivariant. Then $\pi\_1(M)$ should embed in this Coxeter group extended by $K$, which clearly still also has a faithful representation.


**Remark 2:** Regarding your second question, as should be clear from the discussion, this holds for any cubulated hyperbolic group. This includes uniform arithmetic hyperbolic lattices of simple type, and the examples of Gromov-Piatetskii-Shapiro. 


