Pattern rigidity and the Hilbert-Smith conjecture. (Q441113): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / review text
 
Let \(G\) be a hyperbolic Poincaré duality group and let \(H\) be an infinite quasiconvex subgroup of infinite index in \(G\). In this paper under review the author initiates a study of the topological group \(\text{PPQI}(G,H)\) of pattern-preserving quasi-isometries for \(G\) and \(H\). The main results are: Suppose that for some visual metric on \(\partial G\), \(\dim_{\text{haus}}(\partial G)<\dim_t(\partial G)+2\), where \(\dim_{\text{haus}}\) and \(\dim_t\) denote Hausdorff dimension and topological dimension, respectively. Equivalently suppose that \(\text{ACD}(\partial G)<\dim_t(\partial G)+2\), where \(\text{ACD}(\partial G)\) denotes the Ahlfors regular conformal dimension of \(\partial G\). (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 \(Q_u\). (b) If further, \(H\) is a codimension one filling subgroup, and \(Q\) is any group of (not necessarily uniform) pattern-preserving quasi-isometries containing \(G\), then \(G\) is of finite index in \(Q_u\). (c) (Topological Pattern Rigidity) Under the assumptions of (b), let \(L\) be the limit set of \(H\) and let \(\mathcal L\) be the collection of translates of \(L\) under \(G\). If \(Q\) is any pattern-preserving group of homeomorphisms of \(\partial G\) preserving \(\mathcal L\) and containing \(G\), then \(G\) is of finite index in \(Q\). One of the main ingredients for the proof is a version of the Hilbert-Smith conjecture for a certain metric spaces. Also shown is the following: Let \(M=M^n\) be a complete finite volume manifold of pinched negative curvature with \(n>2\). Let \(G=\pi_1(M)\). Suppose that there exists a visual metric \(d\) on \(\partial(\widetilde M)\) with \(\dim_{\text{haus}}(\partial(\widetilde M))<\dim_t(\partial(\widetilde M))+2\). Equivalently suppose that \(\text{ACD}(\partial(\widetilde M))<\dim_t(\partial(\widetilde M))+2\). Let \(\Gamma\) be a Cayley graph of \(G\) with respect to a finite generating set. If \(Q\) is a group of uniform quasi-isometries of \(\Gamma\) containing \(G\), then \(G\) is of finite index in \(Q\). In particular, \(Q\subset\text{Comm}(G)\), where \(\text{Comm}(G)\) is the abstract commensurator of \(G\). In the last section the author lists a collection of examples of hyperbolic Poincaré duality groups and ends with two problems which are in need of establishing the main theorem above without the hypothesis of local compactness.
Property / review text: Let \(G\) be a hyperbolic Poincaré duality group and let \(H\) be an infinite quasiconvex subgroup of infinite index in \(G\). In this paper under review the author initiates a study of the topological group \(\text{PPQI}(G,H)\) of pattern-preserving quasi-isometries for \(G\) and \(H\). The main results are: Suppose that for some visual metric on \(\partial G\), \(\dim_{\text{haus}}(\partial G)<\dim_t(\partial G)+2\), where \(\dim_{\text{haus}}\) and \(\dim_t\) denote Hausdorff dimension and topological dimension, respectively. Equivalently suppose that \(\text{ACD}(\partial G)<\dim_t(\partial G)+2\), where \(\text{ACD}(\partial G)\) denotes the Ahlfors regular conformal dimension of \(\partial G\). (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 \(Q_u\). (b) If further, \(H\) is a codimension one filling subgroup, and \(Q\) is any group of (not necessarily uniform) pattern-preserving quasi-isometries containing \(G\), then \(G\) is of finite index in \(Q_u\). (c) (Topological Pattern Rigidity) Under the assumptions of (b), let \(L\) be the limit set of \(H\) and let \(\mathcal L\) be the collection of translates of \(L\) under \(G\). If \(Q\) is any pattern-preserving group of homeomorphisms of \(\partial G\) preserving \(\mathcal L\) and containing \(G\), then \(G\) is of finite index in \(Q\). One of the main ingredients for the proof is a version of the Hilbert-Smith conjecture for a certain metric spaces. Also shown is the following: Let \(M=M^n\) be a complete finite volume manifold of pinched negative curvature with \(n>2\). Let \(G=\pi_1(M)\). Suppose that there exists a visual metric \(d\) on \(\partial(\widetilde M)\) with \(\dim_{\text{haus}}(\partial(\widetilde M))<\dim_t(\partial(\widetilde M))+2\). Equivalently suppose that \(\text{ACD}(\partial(\widetilde M))<\dim_t(\partial(\widetilde M))+2\). Let \(\Gamma\) be a Cayley graph of \(G\) with respect to a finite generating set. If \(Q\) is a group of uniform quasi-isometries of \(\Gamma\) containing \(G\), then \(G\) is of finite index in \(Q\). In particular, \(Q\subset\text{Comm}(G)\), where \(\text{Comm}(G)\) is the abstract commensurator of \(G\). In the last section the author lists a collection of examples of hyperbolic Poincaré duality groups and ends with two problems which are in need of establishing the main theorem above without the hypothesis of local compactness. / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Shigeyasu Kamiya / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 20F67 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 57M50 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 22E40 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6068624 / rank
 
Normal rank
Property / zbMATH Keywords
 
hyperbolic Poincaré duality groups
Property / zbMATH Keywords: hyperbolic Poincaré duality groups / rank
 
Normal rank
Property / zbMATH Keywords
 
pattern-preserving quasi-isometries
Property / zbMATH Keywords: pattern-preserving quasi-isometries / rank
 
Normal rank
Property / zbMATH Keywords
 
pattern rigidity
Property / zbMATH Keywords: pattern rigidity / rank
 
Normal rank
Property / zbMATH Keywords
 
hyperbolic groups
Property / zbMATH Keywords: hyperbolic groups / rank
 
Normal rank
Property / zbMATH Keywords
 
homology manifolds
Property / zbMATH Keywords: homology manifolds / rank
 
Normal rank
Property / zbMATH Keywords
 
conformal dimension
Property / zbMATH Keywords: conformal dimension / rank
 
Normal rank
Property / zbMATH Keywords
 
codimension one subgroups
Property / zbMATH Keywords: codimension one subgroups / rank
 
Normal rank
Property / zbMATH Keywords
 
quasiconvex subgroups
Property / zbMATH Keywords: quasiconvex subgroups / rank
 
Normal rank
Property / zbMATH Keywords
 
Hilbert-Smith conjecture
Property / zbMATH Keywords: Hilbert-Smith conjecture / rank
 
Normal rank

Revision as of 02:04, 30 June 2023

scientific article
Language Label Description Also known as
English
Pattern rigidity and the Hilbert-Smith conjecture.
scientific article

    Statements

    Pattern rigidity and the Hilbert-Smith conjecture. (English)
    0 references
    0 references
    20 August 2012
    0 references
    Let \(G\) be a hyperbolic Poincaré duality group and let \(H\) be an infinite quasiconvex subgroup of infinite index in \(G\). In this paper under review the author initiates a study of the topological group \(\text{PPQI}(G,H)\) of pattern-preserving quasi-isometries for \(G\) and \(H\). The main results are: Suppose that for some visual metric on \(\partial G\), \(\dim_{\text{haus}}(\partial G)<\dim_t(\partial G)+2\), where \(\dim_{\text{haus}}\) and \(\dim_t\) denote Hausdorff dimension and topological dimension, respectively. Equivalently suppose that \(\text{ACD}(\partial G)<\dim_t(\partial G)+2\), where \(\text{ACD}(\partial G)\) denotes the Ahlfors regular conformal dimension of \(\partial G\). (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 \(Q_u\). (b) If further, \(H\) is a codimension one filling subgroup, and \(Q\) is any group of (not necessarily uniform) pattern-preserving quasi-isometries containing \(G\), then \(G\) is of finite index in \(Q_u\). (c) (Topological Pattern Rigidity) Under the assumptions of (b), let \(L\) be the limit set of \(H\) and let \(\mathcal L\) be the collection of translates of \(L\) under \(G\). If \(Q\) is any pattern-preserving group of homeomorphisms of \(\partial G\) preserving \(\mathcal L\) and containing \(G\), then \(G\) is of finite index in \(Q\). One of the main ingredients for the proof is a version of the Hilbert-Smith conjecture for a certain metric spaces. Also shown is the following: Let \(M=M^n\) be a complete finite volume manifold of pinched negative curvature with \(n>2\). Let \(G=\pi_1(M)\). Suppose that there exists a visual metric \(d\) on \(\partial(\widetilde M)\) with \(\dim_{\text{haus}}(\partial(\widetilde M))<\dim_t(\partial(\widetilde M))+2\). Equivalently suppose that \(\text{ACD}(\partial(\widetilde M))<\dim_t(\partial(\widetilde M))+2\). Let \(\Gamma\) be a Cayley graph of \(G\) with respect to a finite generating set. If \(Q\) is a group of uniform quasi-isometries of \(\Gamma\) containing \(G\), then \(G\) is of finite index in \(Q\). In particular, \(Q\subset\text{Comm}(G)\), where \(\text{Comm}(G)\) is the abstract commensurator of \(G\). In the last section the author lists a collection of examples of hyperbolic Poincaré duality groups and ends with two problems which are in need of establishing the main theorem above without the hypothesis of local compactness.
    0 references
    0 references
    0 references
    0 references
    0 references
    hyperbolic Poincaré duality groups
    0 references
    pattern-preserving quasi-isometries
    0 references
    pattern rigidity
    0 references
    hyperbolic groups
    0 references
    homology manifolds
    0 references
    conformal dimension
    0 references
    codimension one subgroups
    0 references
    quasiconvex subgroups
    0 references
    Hilbert-Smith conjecture
    0 references