Prosoluble subgroups of the profinite completion of the fundamental group of compact 3-manifolds

Lucas C. Lopes,Pavel A. Zalesskii

DOI: https://doi.org/10.48550/arXiv.2408.04152

2024-08-13

Abstract:We give a description of finitely generated prosoluble subgroups of the profinite completion of $3$-manifold groups and virtually compact special groups.

Geometric Topology,Group Theory

What problem does this paper attempt to address?

Prosoluble subgroups of free profinite products

Pavel Zalesskii

2024-08-04

Abstract:We describe free prosoluble subgroups of a free product of profinite groups by strengthening the theorem of Frorian Pop and answering two questions of K. Ersoy and W. Herfort. Relatively projective prosoluble groups are also described.

Group Theory,Number Theory
Finite subgroups of the profinite completion of good groups

Marco Boggi,Pavel Zalesskii

2024-10-28

Abstract:Let $G$ be a residually finite, good group of finite virtual cohomological dimension. We prove that the natural monomorphism $G\hookrightarrow\hat{G}$ induces a bijective correspondence between conjugacy classes of finite $p$-subgroups of $G$ and those of its profinite completion $\hat{G}$. Moreover, we prove that the centralizers and normalizers in $\hat{G}$ of finite $p$-subgroups of $G$ are the closures of the respective centralizers and normalizers in $G$. With somewhat more restrictive hypotheses, we prove the same results for finite solvable subgroups of $G$. In the last section, we give a few applications of this theorem to hyperelliptic mapping class groups and virtually compact special toral relatively hyperbolic groups (these include fundamental groups of $3$-orbifolds and of uniform standard arithmetic hyperbolic orbifolds).

Group Theory,Geometric Topology
Profinite groups with soluble centralisers

Pavel Shumyatsky,Anitha Thillaisundaram

2024-06-01

Abstract:We show that a profinite group, in which the centralisers of non-trivial elements are metabelian, is either virtually pro-$p$ or virtually soluble of derived length at most 4. We furthermore show that a prosoluble group, in which the centralisers of non-trivial elements are soluble of bounded derived length, is either soluble or virtually pro-$p$.

Group Theory
Homomorphisms to 3-manifold groups

Daniel Groves,Michael Hull,Hao Liang

2024-07-12

Abstract:We prove foundational results about the set of homomorphisms from a finitely generated group to the collection of all fundamental groups of compact 3-manifolds and answer questions of Reid-Wang-Zhou and Agol-Liu.

Geometric Topology,Group Theory
Finite quotients of 3-manifold groups

Will Sawin,Melanie Matchett Wood

2024-04-12

Abstract:For $G$ and $H_1,\dots, H_n$ finite groups, does there exist a $3$-manifold group with $G$ as a quotient but no $H_i$ as a quotient? We answer all such questions in terms of the group cohomology of finite groups. We prove non-existence with topological results generalizing the theory of semicharacteristics. To prove existence of 3-manifolds with certain finite quotients but not others, we use a probabilistic method, by first proving a formula for the distribution of the (profinite completion of) the fundamental group of a random 3-manifold in the Dunfield-Thurston model of random Heegaard splittings as the genus goes to infinity. We believe this is the first construction of a new distribution of random groups from its moments.

Geometric Topology,Group Theory,Number Theory,Probability
Convex co‐compact representations of 3‐manifold groups

Mitul Islam,Andrew Zimmer

DOI: https://doi.org/10.1112/topo.12332

2024-05-03

Journal of Topology

Abstract:A representation of a finitely generated group into the projective general linear group is called convex co‐compact if it has finite kernel and its image acts convex co‐compactly on a properly convex domain in real projective space. We prove that the fundamental group of a closed irreducible orientable 3‐manifold can admit such a representation only when the manifold is geometric (with Euclidean, Hyperbolic or Euclidean × Hyperbolic geometry) or when every component in the geometric decomposition is hyperbolic. In each case, we describe the structure of such examples.

mathematics
Profinite almost rigidity in 3-manifolds

Xiaoyu Xu

2024-10-21

Abstract:We prove that any compact, orientable 3-manifold with empty or incompressible toral boundary is profinitely almost rigid among all compact, orientable, boundary-incompressible 3-manifolds, i.e. the profinite completion of its fundamental group determines its homeomorphism type up to finitely many possibilities. Moreover, the profinite completion of the fundamental group of a mixed 3-manifold, together with the peripheral structure, uniquely determines the homeomorphism type of its Seifert part (i.e. the maximal graph manifold components in the JSJ-decomposition). On the other hand, without assigning the peripheral structure, the profinite completion of a mixed 3- manifold group may not even determine the fundamental group of its Seifert part. The proof is based on JSJ-decomposition.

Geometric Topology,Group Theory
Convex co-compact representations of 3-manifold groups

Mitul Islam,Andrew Zimmer

2024-03-16

Abstract:A representation of a finitely generated group into the projective general linear group is called convex co-compact if it has finite kernel and its image acts convex co-compactly on a properly convex domain in real projective space. We prove that the fundamental group of a closed irreducible orientable 3-manifold can admit such a representation only when the manifold is geometric (with Euclidean, Hyperbolic, or Euclidean $\times$ Hyperbolic geometry) or when every component in the geometric decomposition is hyperbolic. In each case, we describe the structure of such examples.

Geometric Topology,Differential Geometry
Profinite properties of residually free groups

Ismael Morales

2024-11-04

Abstract:Henry Wilton classified when a prime three-manifold $M$ has a residually free fundamental group $\pi_1 M$. We prove that the groups $\pi_1 M\times \mathbb Z^n$ are profinitely rigid within finitely generated residually free groups. We also establish other profinite invariants of the class of residually free groups such as coherence and subgroup separability. In the course of our proofs, we generalise a lemma of Wilton and Zalesskii on profinitely recognising when a central extension of groups splits.

Group Theory
Profinite genus of fundamental groups of compact flat manifolds with the cyclic holonomy group of square-free order

Genildo de Jesus Nery

DOI: https://doi.org/10.1515/forum-2021-0298

2024-02-01

Forum Mathematicum

Abstract:In this article, we study the extent to which an n -dimensional compact flat manifold with the cyclic holonomy group of square-free order may be distinguished by the finite quotients of its fundamental group. In particular, we display a formula for the cardinality of profinite genus of the fundamental group of an n -dimensional compact flat manifold with the cyclic holonomy group of square-free order.

mathematics, applied
On the profinite rigidity of free and surface groups

Ismael Morales

DOI: https://doi.org/10.1007/s00208-023-02785-6

2024-01-13

Mathematische Annalen

Abstract:Let S be either a free group or the fundamental group of a closed hyperbolic surface. We show that if G is a finitely generated residually- p group with the same pro- p completion as S , then two-generated subgroups of G are free. This generalises (and gives a new proof of) the analogous result of Baumslag for parafree groups. Our argument relies on the following new ingredient: if G is a residually-(torsion-free nilpotent) group and is a virtually polycyclic subgroup, then H is nilpotent and the pro- p topology of G induces on H its full pro- p topology. Then we study applications to profinite rigidity. Remeslennikov conjectured that a finitely generated residually finite G with profinite completion is necessarily . We confirm this when G belongs to a class of groups that has a finite abelian hierarchy starting with finitely generated residually free groups. This strengthens a previous result of Wilton that relies on the hyperbolicity assumption. Lastly, we prove that the group is profinitely rigid within finitely generated residually free groups.

mathematics
Residual properties of 3-manifold groups I: Fibered and hyperbolic 3-manifolds

Thomas Koberda

DOI: https://doi.org/10.48550/arXiv.0910.2035

2009-10-11

Geometric Topology

Abstract:Let $p$ be a prime. In this paper, we classify the geometric 3-manifolds whose fundamental groups are virtually residually $p$. Let $M=M^3$ be a virtually fibered 3-manifold. It is well-known that $G=\pi_1(M)$ is residually solvable and even residually finite solvable. We prove that $G$ is always virtually residually $p$. Using recent work of Wise, we prove that every hyperbolic 3-manifold is either closed or virtually fibered and hence has a virtually residually $p$ fundamental group. We give some generalizations to pro-$p$ completions of groups, mapping class groups, residually torsion-free nilpotent 3-manifold groups and central extensions of residually $p$ groups.
Solubilizers in profinite groups

Andrea Lucchini

2024-10-17

Abstract:The solubilizer of an element $x$ of a profinite group $G$ is the set of the elements $y$ of $G$ such that the subgroup of $G$ generated by $x$ and $y$ is prosoluble. We propose the following conjecture: the solubilizer of $x$ in $G$ has positive Haar measure if and only if $g$ centralizes "almost all" the non-abelian chief factors of $G$. We reduce the proof of this conjecture to another conjecture concerning finite almost simple groups: there exists a positive $c$ such that, for every finite simple group $S$ and every $(a,b)\in (Aut(S)\setminus \{1\}) \times Aut(S)$, the number of $s$ is $S$ such that $\langle a, bs\rangle $ is insoluble is at least $c|S|$. Work in progress by Fulman, Garzoni and Guralnick is leading to prove the conjecture when $S$ is a simple group of Lie type. In this paper we prove the conjecture for alternating groups.

Group Theory
Commuting probability for the Sylow subgroups of a profinite group

Eloisa Detomi,Marta Morigi,Pavel Shumyatsky

2024-09-17

Abstract:Given two subgroups $H,K$ of a compact group $G$, the probability that a random element of $H$ commutes with a random element of $K$ is denoted by $Pr(H,K)$. We show that if $G$ is a profinite group containing a Sylow $2$-subgroup $P$, a Sylow $3$-subgroup $Q_3$ and a Sylow $5$-subgroup $Q_5$ such that $Pr(P,Q_3)$ and $Pr(P,Q_5)$ are both positive, then $G$ is virtually prosoluble (Theorem 1.1). Furthermore, if $G$ is a prosoluble group in which for every subset $\pi\subseteq\pi(G)$ there is a Hall $\pi$-subgroup $H_\pi$ and a Hall $\pi'$-subgroup $H_{\pi'}$ such that $Pr(H_\pi,H_{\pi'})>0$, then $G$ is virtually pronilpotent (Theorem 1.2).

Group Theory
Hyperbolic 3-Manifolds Groups are Subgroup Conjugacy Separable

S. C. Chagas,P. A. Zalesskii

DOI: https://doi.org/10.48550/arXiv.1605.08981

2016-05-29

Abstract:A group $G$ is called subgroup conjugacy separable if for every pair of non-conjugate finitely generated subgroups of $G$, there exists a finite quotient of $G$ where the images of these subgroups are not conjugate. It is proved that the fundamental group of a hyperbolic 3-manifold (closed or with cusps) is subgroup conjugacy separable.

Group Theory
Absolute profinite rigidity, direct products, and finite presentability

M. R. Bridson,A. W. Reid,R. Spitler

2023-12-11

Abstract:We prove that there exist finitely presented, residually finite groups that are profinitely rigid in the class of all finitely presented groups but not in the class of all finitely generated groups. These groups are of the form $\Gamma \times \Gamma$ where $\Gamma$ is a profinitely rigid 3-manifold group; we describe a family of such groups with the property that if $P$ is a finitely generated, residually finite group with $\widehat{P}\cong\widehat{\Gamma\times\Gamma}$ then there is an embedding $P\hookrightarrow\Gamma\times\Gamma$ that induces the profinite isomorphism; in each case there are infinitely many non-isomorphic possibilities for $P$.

Group Theory
On the lattice of closed subgroups of a profinite group

Francesco de Giovanni,Iker de las Heras,Marco Trombetti

2024-01-11

Abstract:The subgroup lattice of a group is a great source of information about the structure of the group itself. The aim of this paper is to use a similar tool for studying profinite groups. In more detail, we study the lattices of closed or open subgroups of a profinite group and its relation with the whole group. We show, for example, that procyclic groups are the only profinite groups with a distributive lattice of closed or open subgroups, and we give a sharp characterization of profinite groups whose lattice of closed (or open) subgroups satisfies the Dedekind modular law; we actually give a precise description of the behaviour of modular elements of the lattice of closed subgroups. We also deal with the problem of carrying some structural information from a profinite group to another one having an isomorphic lattice of closed (or open) subgroups. Some interesting consequences and related results concerning decomposability and the number of profinite groups with a given lattice of closed (or open) subgroups are also obtained.

Group Theory
The structure of 3-manifolds with 2-generated fundamental group

Michel Boileau,Richard Weidmann

DOI: https://doi.org/10.48550/arXiv.math/0111327

2001-12-01

Abstract:We prove a structure theorem for 3-manifolds with non-trivial JSJ-decomposition and 2-generated fundamental group. We deduce a variety of Corollaries. Note this is not a complete classification of such manifolds. In particular we believe that one of the families in our list is empty. If you know something about hyperbolic 2-bridge knot exteriors and their finite sheeted covering spaces you might want to finish this off. Thanks.

Geometric Topology
Strange images of profinite groups

Nikolay Nikolov

DOI: https://doi.org/10.48550/arXiv.0901.0244

2011-07-12

Abstract:We investigate whether a finitely generated profinite group G could have a finitely generated infinite image. A result of Dan Segal shows that this is impossible if G is prosoluble. We prove that such an image does not exist if G is semisimple or nonuniversal. We also investigate the existense of dense normal subgroups in $G$.

Group Theory

Prosoluble subgroups of the profinite completion of the fundamental group of compact 3-manifolds

Prosoluble subgroups of free profinite products

Finite subgroups of the profinite completion of good groups

Profinite groups with soluble centralisers

Homomorphisms to 3-manifold groups

Finite quotients of 3-manifold groups

Convex co‐compact representations of 3‐manifold groups

Profinite almost rigidity in 3-manifolds

Convex co-compact representations of 3-manifold groups

Profinite properties of residually free groups

Profinite genus of fundamental groups of compact flat manifolds with the cyclic holonomy group of square-free order

On the profinite rigidity of free and surface groups

Residual properties of 3-manifold groups I: Fibered and hyperbolic 3-manifolds

Solubilizers in profinite groups

Commuting probability for the Sylow subgroups of a profinite group

Hyperbolic 3-Manifolds Groups are Subgroup Conjugacy Separable

Absolute profinite rigidity, direct products, and finite presentability

On the lattice of closed subgroups of a profinite group

The structure of 3-manifolds with 2-generated fundamental group

Strange images of profinite groups