For $i= 1,2$, let $G_i$ be cocompact groups of isometries of hyperbolic space $\Hyp^n$ of real dimension $n$, $n \geq 3$. Let $H_i \subset G_i$ be infinite index quasiconvex subgroups satisfying one of the following conditions: 1) limit set of $H_i$ is a codimension one topological sphere. 2) limit set of $H_i$ is an even dimensional topological sphere. 3) $H_i$ is a codimension one duality group. This generalizes (1). In particular, if $n = 3$, $H_i$ could be any freely indecomposable subgroup of $G_i$. 4) $H_i$ is an odd-dimensional Poincare Duality group $PD(2k+1)$. This generalizes (2). We prove pattern rigidity for such pairs extending work of Schwartz who proved pattern rigidity when $H_i$ is cyclic. All this generalizes to quasiconvex subgroups of uniform lattices in rank one symmetric spaces satisfying one of the conditions (1)-(4), as well as certain special subgroups with disconnected limit sets. In particular, pattern rigidity holds for all quasiconvex subgroups of hyperbolic 3-manifolds that are not virtually free. Combining this with a result of Mosher-Sageev-Whyte, we get quasi-isometric rigidity results for graphs of groups where the vertex groups are uniform lattices in rank one symmetric spaces and edge groups are of any of the above types.
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 groups on solvable Lie groups. Our results are derived from rigidity properties of subgroups in solvable linear algebraic groups.
We show that finite index subgroups of the handlebody group are rigid in their ambient mapping class group: any injective map of a finite index subgroup of the genus $g$ handlebody group into the genus $g$ mapping class group is conjugation by a mapping class group element. On the other hand, we construct an injection of the genus $g$ handlebody group into a genus $h>g$ mapping class group which is not conjugate into a handlebody group.
Let $G$ and $H$ be quasi-isometric finitely generated groups and let $P\leq G$; is there a subgroup $Q$ (or a collection of subgroups) of $H$ whose left cosets coarsely reflect the geometry of the left cosets of $P$ in $G$? We explore sufficient conditions for a positive answer. The article consider pairs of the form $(G,\mathcal{P})$ where $G$ is a finitely generated group and $\mathcal{P}$ a finite collection of subgroups, there is a notion of quasi-isometry of pairs, and quasi-isometrically characteristic collection of subgroups. A subgroup is qi-characteristic if it belongs to a qi-charact…
We study the closed group of homeomorphisms of the boundary of real hyperbolic space generated by a cocompact Kleinian group $G_1$ and a quasiconformal conjugate $h^{-1}G_2 h$ of a cocompact group $G_2$. We show that if the conjugacy $h$ is not conformal then this group contains a non-trivial one parameter subgroup. This leads to rigidity results; for example, Mostow rigidity is an immediate consequence. We are also able to prove a relative version of Mostow rigidity, called pattern rigidity. For a cocompact group $G$, by a $G$-invariant pattern we mean a $G$-invariant collection of closed pro…
We study 3-dimensional Poincaré duality pro-$p$ groups in the spirit of the work by Robert Bieri and Jonathan Hillmann, and show that if such a pro-$p$ group $G$ has a nontrivial finitely presented subnormal subgroup of infinite index, then either the subgroup is cyclic and normal, or the subgroup is cyclic and the group is polycyclic, or the subgroup is Demushkin and normal in an open subgroup of $G$. Also, we describe the centralizers of finitely generated subgroups of 3-dimensional Poincaré duality pro-$p$ groups.
We introduce a geometric invariant, called finite decomposition complexity (FDC), to study topological rigidity of manifolds. We prove for instance that if the fundamental group of a compact aspherical manifold M has FDC, and if N is homotopy equivalent to M, then M x R^n is homeomorphic to N x R^n, for n large enough. This statement is known as the stable Borel conjecture. On the other hand, we show that the class of FDC groups includes all countable subgroups of GL(n,K), for any field K, all elementary amenable groups, and is closed under taking subgroups, extensions, free amalgamated produc…
In this paper, we show that if G is a finite p-group (p prime) acting by automorphisms on a $δ$-hyperbolic Poincare Duality group, then the fixed subgroup is a Poincare Duality group over Z/p. We also provide examples to show that the fixed subgroup might not even be a Duality group over Z.
We show that every subgroup of the mapping class group MCG(S) of a compact surface S is either virtually abelian or it has infinite dimensional second bounded cohomology. As an application, we give another proof of the Farb-Kaimanovich-Masur rigidity theorem that states that MCG(S) does not contain a higher rank lattice as a subgroup.
We study discrete group actions on coarse Poincare duality spaces, e.g. acyclic simplicial complexes which admit free cocompact group actions by Poincare duality groups. When G is an (n-1) dimensional duality group and X is a coarse Poincare duality space of formal dimension n, then a free simplicial action of G on X determines a collection of ``peripheral'' subgroups F_1,...,F_k in G so that the group pair (G;F_1,...,F_k) is an n-dimensional Poincare duality pair. In particular, if G is a 2-dimensional 1-ended group of type FP_2, and X is a coarse PD(3) space, then G contains surface subgroup…
We prove a rigidity theorem for semi-arithmetic Fuchsian groups: If $Γ_1$, $Γ_2$ are two semi-arithmetic lattices in $\mathrm{PSL}(2,\mathbb{R})$ virtually admitting modular embeddings and $f\colonΓ_1\toΓ_2$ is a group isomorphism that respects the notion of congruence subgroups, then $f$ is induced by an inner automorphism of $\mathrm{PGL}(2,\mathbb{R})$.
Let $Γ$ be a non-elementary Kleinian group and $H<Γ$ a finitely generated, proper subgroup. We prove that if $Γ$ has finite co-volume, then the profinite completions of $H$ and $Γ$ are not isomorphic. If $H$ has finite index in $Γ$, then there is a finite group onto which $H$ maps but $Γ$ does not. These results streamline the existing proofs that there exist full-sized groups that are profinitely rigid in the absolute sense. They build on a circleof ideas that can be used to distinguish among the profinite completions of subgroups of finite index in other contexts, e.g. limit groups. We const…
We define \emph{piecewise rank 1} manifolds, which are aspherical manifolds that generally do not admit a nonpositively curved metric but can be decomposed into pieces that are diffeomorphic to finite volume, irreducible, locally symmetric, nonpositively curved manifolds with $π_1$-injective cusps. We prove smooth (self) rigidity for this class of manifolds in the case where the gluing preserves the cusps' homogeneous structure. We compute the group of self homotopy equivalences of such a manifold and show that it can contain a normal free abelian subgroup and thus, can be infinite. Elements o…
It is well-known that a point $T\in cv_N$ in the (unprojectivized) Culler-Vogtmann Outer space $cv_N$ is uniquely determined by its \emph{translation length function} $||.||_T:F_N\to\mathbb R$. A subset $S$ of a free group $F_N$ is called \emph{spectrally rigid} if, whenever $T,T'\in cv_N$ are such that $||g||_T=||g||_{T'}$ for every $g\in S$ then $T=T'$ in $cv_N$. By contrast to the similar questions for the Teichmüller space, it is known that for $N\ge 2$ there does not exist a finite spectrally rigid subset of $F_N$. In this paper we prove that for $N\ge 3$ if $H\le Aut(F_N)$ is a subgroup …
The problem of equivariant rigidity is the $Γ$-homeomorphism classification of $Γ$-actions on manifolds with compact quotient and with contractible fixed sets for all finite subgroups of $Γ$. In other words, this is the classification of cocompact $E_{fin}Γ$-manifolds. We use surgery theory, algebraic $K$-theory, and the Farrell--Jones Conjecture to give this classification for a family of groups which satisfy the property that the normalizers of nontrivial finite subgroups are themselves finite. More generally, we study cocompact proper actions of these groups on contractible manifolds and pr…
In this paper we initiate a study of the topological group $PPQI(G,H)$ of pattern-preserving quasi-isometries for $G$ a hyperbolic Poincare duality group and $H$ an infinite quasiconvex subgroup of infinite index in $G$. Suppose $\partial G$ admits a visual metric $d$ with $dim_H < dim_t +2$, where $dim_H$ is the Hausdorff dimension and $dim_t$ is the topological dimension of $(\partial G,d)$. a) If $Q_u$ is a group of pattern-preserving uniform quasi-isometries (or more generally any locally compact group of pattern-preserving quasi-isometries) containing $G$, then $G$ is of finite index in $…
We study the geometry of nonrelatively hyperbolic groups. Generalizing a result of Schwartz, any quasi-isometric image of a non-relatively hyperbolic space in a relatively hyperbolic space is contained in a bounded neighborhood of a single peripheral subgroup. This implies that a group being relatively hyperbolic with nonrelatively hyperbolic peripheral subgroups is a quasi-isometry invariant. As an application, Artin groups are relatively hyperbolic if and only if freely decomposable. We also introduce a new quasi-isometry invariant of metric spaces called metrically thick, which is sufficien…
We introduce and study the notion of relative rigidity for pairs $(X,\JJ)$ where 1) $X$ is a hyperbolic metric space and $\JJ$ a collection of quasiconvex sets 2) $X$ is a relatively hyperbolic group and $\JJ$ the collection of parabolics 3) $X$ is a higher rank symmetric space and $\JJ$ an equivariant collection of maximal flats Relative rigidity can roughly be described as upgrading a uniformly proper map between two such $\JJ$'s to a quasi-isometry between the corresponding $X$'s. A related notion is that of a $C$-complex which is the adaptation of a Tits complex to this context. We prove t…
Let $G$ be a group. A function $l:G\rightarrow \lbrack 0,\infty )$ is called a length function if (1) $l(g^{n})=|n|l(g)$ for any $g\in G$ and $n\in \mathbb{Z};$ (2) $l(hgh^{-1})=l(g)$ for any $h,g\in G;$ and (3) $l(ab)\leq l(a)+l(b)$ for commuting elements $a,b.$ Such length functions exist in many branches of mathematics, mainly as stable word lengths, stable norms, smooth measure-theoretic entropy, translation lengths on $\mathrm{CAT}(0)$ spaces and Gromov $δ$% -hyperbolic spaces, stable norms of quasi-cocycles, rotation numbers of circle homeomorphisms, dynamical degrees of birational maps …
The mapping class group $\mathrm{Mod}_{g, 1}$ of a surface with one marked point can be identified with an index two subgroup of $\mathrm{Aut}(π_1 Σ_g)$. For a surface of genus $g \geq 2$, we show that any action of $\mathrm{Mod}_{g, 1}$ on the circle is either semi-conjugate to its natural action on the Gromov boundary of $π_1 Σ_g$, or factors through a finite cyclic group. For $g \geq 3$, all finite actions are trivial. This answers a question of Farb.
We use the reflection group trick to glue manifolds with corners that are Borel-Serre compactifications of locally symmetric spaces of noncompact type and obtain aspherical manifolds. We call these \emph{piecewise locally symmetric} manifolds. This class of spaces provide new examples of aspherical manifolds whose fundamental groups have the structure of a complex of groups. These manifolds typically do not admit a locally $\CAT(0)$ metric. We prove that any self homotopy equivalence of such manifolds is homotopic to a homeomorphism. We compute the group of self homotopy equivalences of such a…
We study lattices in non-positively curved metric spaces. Borel density is established in that setting as well as a form of Mostow rigidity. A converse to the flat torus theorem is provided. Geometric arithmeticity results are obtained after a detour through superrigidity and arithmeticity of abstract lattices. Residual finiteness of lattices is also studied. Riemannian symmetric spaces are characterised amongst CAT(0) spaces admitting lattices in terms of the existence of parabolic isometries.
We prove there is only one involution (up to conjugacy) on the n-torus which acts as $-\mathrm{Id}$ on the first homology group when $n$ is of the form $4k$, is of the form $4k+1$, or is less than $4$. In all other cases we prove there are infinitely many such involutions up to conjugacy, but each of them has exactly $2^n$ fixed points and is conjugate to a smooth involution. The key technical point is that we completely compute the equivariant structure set for the corresponding crystallographic group action on $\mathbb{R}^n$ in terms of the Cappell $\mathrm{UNil}$-groups arising from its inf…
It is well-known that $\mathrm{SL}_{n}(\mathbf{Q}_{p})$ acts without fixed points on an $(n-1)$-dimensional $\mathrm{CAT}(0)$ space (the affine building). We prove that $n-1$ is the smallest dimension of $\mathrm{CAT}(0)$ spaces on which matrix groups act without fixed points. Explicitly, let $R$ be an associative ring with identity and $E_{n}^{\prime }(R)$ the extended elementary subgroup. Any isometric action of $E_{n}^{\prime }(R)$ on a complete $\mathrm{CAT(0)}$ space $X^{d}$ of dimension $d<n-1$ has a fixed point. Similar results are discussed for automorphism groups of free groups. Furth…
