Distinguishing 4-dimensional geometries via profinite completions

Abstract

It is well-known that there are 19 classes of geometries for 4-dimensional manifolds in the sense of Thurston. We could ask that to what extent the geometric information is revealed by the profinite completion of the fundamental group of a closed smooth geometric 4-manifold. In this paper, we show that the geometry of a closed orientable 4-manifold in the sense of Thurston could be detected by the profinite completion of its fundamental group except when the geometry is ${\mathbb{H}}^4$, ${\mathbb{H}}_{\mathbb{C}}^2$ or ${\mathbb{H}}^2\times {\mathbb{H}}^2$. Moreover, despite the fact that not every smooth 4-manifold could admit one geometry in the sense of Thurston, some 4-dimensional manifolds with Seifert fibred structures are indeed geometric. For a closed orientable Seifert fibred 4-manifold $M$, we show that whether $M$ is geometric could be detected by the profinite completion of its fundamental group.