Related papers: Prosolvable rigidity of surface groups

We give a uniform construction that, on input of a recursive presentation $P$ of a group, outputs a recursive presentation of a torsion-free group, isomorphic to $P$ whenever $P$ is itself torsion-free. We use this to re-obtain a known…

Let $X$ be a non-positively curved cube complex with hyperbolic fundamental group. We prove that $\pi_1(X)$ has a non-free subgroup of infinite index unless $\pi_1(X)$ is either free or a surface group, answering questions of Gromov and…

A relatively hyperbolic group $G$ is said to be QCERF if all finitely generated relatively quasiconvex subgroups are closed in the profinite topology on $G$. Assume that $G$ is a QCERF relatively hyperbolic group with double coset separable…

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…

In this series of three papers, we introduce and study cyclotomic pairs and smooth profinite groups. They are a geometric axiomatisation of Kummer theory for fields, with coefficients $p$-primary roots of unity, for a prime $p$. These…

We show that the following problems are decidable in a rank 2 free group F_2: does a given finitely generated subgroup H contain primitive elements? and does H meet the orbit of a given word u under the action of G, the group of…

A Beauville surface is a complex algebraic surface that can be presented as a quotient of a product of two curves by a suitable action of a finite group. Bauer, Catanese and Grunewald have been able to intrinsically characterize the groups…

We prove that if $G$ is a finite simple group which is the unit group of a ring, then $G$ is isomorphic to either (a) a cyclic group of order 2; (b) a cyclic group of prime order $2^k -1$ for some $k$; or (c) a projective special linear…

We prove that the abstract commensurator of a nonabelian free group, an infinite surface group, or more generally of a group that splits appropriately over a cyclic subgroup, is not finitely generated. This applies in particular to all…

We construct finitely generated simple torsion-free groups with strong homological control. Our main result is that every subset of $\mathbb{N} \cup \{\infty\}$, with some obvious exceptions, can be realized as the set of dimensions of…

Let $G$ be a group and let $k$ be a field. Kaplansky's direct finiteness conjecture states that every one-sided unit of the group ring $k[G]$ must be a two-sided unit. In this paper, we establish a geometric direct finiteness theorem for…

We give a new proof that compact infra-solvmanifolds with isomorphic fundamental groups are smoothly diffeomorphic. More generally, we prove rigidity results for manifolds which are constructed using affine actions of virtually polycyclic…

Let $\Cr_\Q(2)$ be the Cremona group of rank $2$ over rational numbers. we give a classification of large finite subgroups $G$ of $\Cr_\Q(2)$ and give a new sharp bound smaller (but not multiplicative) than $M(\Q)=120960 =…

This is an English translation of the author's 1989 note in Russian, published in a collection "Arithmetic and Geometry of Varieties" (V.E. Voskresenski, ed.), Kuibyshev State University, Kuibyshev, 1989, pp. 57--67. Let $X$ be be an…

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…

Let $w$ be a multilinear commutator word, that is, a commutator of weight $n$ in $n$ different group variables. It is proved that if $G$ is a profinite group in which all pronilpotent subgroups generated by $w$-values are periodic, then the…

We show that a one-ended simply connected at infinity hyperbolic group $G$ with enough codimension-1 surface subgroups has $\partial G \cong \mathbb{S}^2$. Combined with a result of Markovic, our result gives a new characterization of…

A survey of problems, conjectures, and theorems about quasi-isometric classification and rigidity for finitely generated solvable groups.

There has been much recent interest into those properties of a 3-manifold determined by the profinite completion of its fundamental group. In this paper we give readily computable criteria specifying precisely when two orientable graph…

We prove a rigidity theorem for the geometry of the unit ball in random subspaces of the scl norm in B_1^H of a free group. In a free group F of rank k, a random word w of length n (conditioned to lie in [F,F]) has scl(w)=log(2k-1)n/6log(n)…