Related papers: Profinite properties of Coxeter groups

We prove that affine Coxeter groups are profinitely rigid.

We prove that affine Coxeter groups, even hyperbolic Coxeter groups and one-ended hyperbolic Coxeter groups are homogeneous in the sense of model theory. More generally, we prove that many (Gromov) hyperbolic groups generated by torsion…

We prove that the irreducible affine Coxeter groups are first-order rigid and deduce from this that they are profinitely rigid in the absolute sense. We then show that the first-order theory of any irreducible affine Coxeter group does not…

We prove that certain Fuchsian triangle groups are profinitely rigid in the absolute sense, i.e. each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. We also develop a method…

We investigate the profinite completions of a certain family of groups acting on trees. It turns out that for some of the groups considered, the completions coincide with the closures of the groups in the full group of tree automorphisms.…

We prove that every finite direct product of crystallographic groups arising from an irreducible root system (in the sense of Lie theory) is profinitely rigid (equiv. first-order rigid). This is a generalization of recent proofs of…

We prove that several properties of absolute Galois groups are preserved under a profinite completion.

We prove that amongst the class of free-by-cyclic groups, Gromov hyperbolicity is an invariant of the profinite completion. We show that whenever $G$ is a free-by-cyclic group with first Betti number equal to one, and $H$ is a…

We prove that every right-angled Coxeter group (RACG) is profinitely rigid amongst all Coxeter groups. On the other hand we exhibit RACGs which have infinite profinite genus amongst all finitely generated residually finite groups. We also…

A model for a finite group is a set of linear characters of subgroups that can be induced to obtain every irreducible character exactly once. A perfect model for a finite Coxeter group is a model in which the relevant subgroups are the…

A conjecture proposed by Gaetz and Gao asserts that the Cayley graph of any Coxeter group satisfies the strong hull property. In this paper, we prove this conjecture for all affine irreducible Coxeter groups of rank 3. Our approach exploits…

In this paper we prove that RAAGs are distinguished from each other by their pro-$p$ completions for any choice of prime $p$, and that RACGs are distinguished from each other by their pro-2 completions. We also give a new proof that…

We give a categorical explanation for many properties of profinite coproducts of profinite groups, which were previously proven on a case-by-case basis. All of these properties take the form "certain functors preserve profinite coproducts".…

We prove the strong Atiyah conjecture for right-angled Artin groups and right-angled Coxeter groups. More generally, we prove it for groups which are certain finite extensions or elementary amenable extensions of such groups.

We say that a group $G$ is of \textit{profinite type} if it can be realized as a Galois group of some field extension. Using Krull's theory, this is equivalent to the ability of $G$ to be equipped with a profinite topology. We also say that…

We construct a model structure on simplicial profinite sets such that the homotopy groups carry a natural profinite structure. This yields a rigid profinite completion functor for spaces and pro-spaces. One motivation is the \'etale…

An interesting question is whether two 3-manifolds can be distinguished by computing and comparing their collections of finite covers; more precisely, by the profinite completions of their fundamental groups. In this paper, we solve this…

We study classes of right-angled Coxeter groups with respect to the strong submodel relation of parabolic subgroup. We show that the class of all right-angled Coxeter group is not smooth, and establish some general combinatorial criteria…

We prove that the sign of the Euler characteristic of arithmetic groups with CSP is determined by the profinite completion. In contrast, we construct examples showing that this is not true for the Euler characteristic itself and that the…

Let R be any ring (with 1), \Gamma a group and R\Gamma the corresponding group ring. Let H be a subgroup of \Gamma of finite index. Let M be an R\Gamma -module, whose restriction to RH is projective. Moore's conjecture: Assume for every…