The fundamental groups of compact 3-manifolds are known to be residually finite. Feng Luo conjectured that a stronger statement is true, by only allowing finite groups of the form $\mathrm{PGL}(2,R)$, where $R$ is a finite commutative ring. In earlier work, this conjecture was disproven in full generality. The conjecture arose in the context of orientable connected compact 3-manifolds which are geometrizable. By constructing explicit faithful linear representations using rings with nilpotent elements, we demonstrate that the conjecture holds for six of the eight Thurston model geometries, namely all but $\mathbb{S}^3$ and $\widetilde{\mathrm{SL}_2}$. In the case of $\mathbb{S}^3$, the conjecture holds if we replace $\mathrm{PGL}(2,R)$ with $\mathrm{GL}(2,R)$. A spherical counterexample for the projective variant is the Poincar\'{e} homology sphere $\Sigma(2,3,5)$. In the case of $\widetilde{\mathrm{SL}_2}$, the conjecture fails to hold for both the projective and non-projective variants; a counterxample is provided by the Brieskorn sphere $\Sigma(2,3,7)$.
We prove that, for every non-uniform arithmetic lattice in $\mathrm{SU}(2,1)$, its inverse images in the universal cover and in all connected finite covers are residually finite. The key new input is that every commensurability class of such lattices contains a congruence arithmetic lattice $\Gamma$ for which $$H^1_{\m...
In this work, we construct a generalization of the $G_n^k$-theory to the case of an arbitrary hypergraph. The case of spherical braids is considered separately, using the stratification of the moduli space $\mathcal{M}_n(S^2)$ and the hypergraph $\Gamma_n^{\mathrm{sph}}$ encoding projective constraints. In contrast to...
Let $M$ be a closed, oriented manifold. The group $\operatorname{Aut}_\bullet(M)$ of based self-equivalences of $M$ is a natural invariant in manifold classification, and Hambleton and Kreck's commutative braid gives a systematic way to compute it for $4$-manifolds. We extend their framework to $BO\langle n+1\rangle$-m...
Let $G$ be a torsion-free one-ended hyperbolic group and let $\phi\in\operatorname{Aut} (G)$. We prove that the mapping torus, or suspension, $$ M:=G_{\phi}=G\rtimes_\phi \mathbb{Z} $$ has solvable conjugacy problem. This builds on the pioneering work of Pr\'eaux who solved the conjugacy problem for all (geometrisable)...
We develop a framework for studying discrete subgroups of $\mathsf{PGL}(d+1,\mathbb{R})$ via the paracomplex hyperbolic space $\mathbb{H}_\tau^d$, a rank-$1$ pseudo-Riemannian symmetric space. We characterize projective transverse, relatively Anosov, and Anosov subgroups in terms of properly discontinuous, geometricall...
Let $X$ be a closed, smooth, orientable, positive definite $4$-manifold with $H_1(X ; \mathbb{Z}) = 0$. Let $p$ be a prime and suppose that $G = \mathbb{Z}_p$ acts smoothly on $X$ (if $p=2$ we also require an assumption on how $G$ acts on $H^2(X ; \mathbb{Z})$). Using equivariant Yang--Mills theory, Hambleton--Lee and...
David Baraglia· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
