skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Non-quasiconvex subgroups of hyperbolic groups via Stallings-like techniques
We provide a new method of constructing non-quasiconvex subgroups of hyperbolic groups by utilizing techniques inspired by Stallings’ foldings. The hyperbolic groups constructed are in the natural class of right-angled Coxeter groups (RACGs for short) and can be chosen to be 2 2 -dimensional. More specifically, given a non-quasiconvex subgroup of a (possibly non-hyperbolic) RACG, our construction gives a corresponding non-quasiconvex subgroup of a hyperbolic RACG. We use this to construct explicit examples of non-quasiconvex subgroups of hyperbolic RACGs including subgroups whose generators are as short as possible (length two words), finitely generated free subgroups, non-finitely presentable subgroups, and subgroups of fundamental groups of square complexes of nonpositive sectional curvature.  more » « less
Award ID(s):
1812061
PAR ID:
10476835
Author(s) / Creator(s):
;
Publisher / Repository:
American Mathematical Society
Date Published:
Journal Name:
Transactions of the American Mathematical Society
ISSN:
0002-9947
Subject(s) / Keyword(s):
geometric group theory quasiconvex, right-angled Coxeter, hyperbolic
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We introduce the concept of a type system  P \mathcal {P} , that is, a partition on the set of finite words over the alphabet  { 0 , 1 } \{0,1\} compatible with the partial action of Thompson’s group  V V , and associate a subgroup  Stab V ⁡<#comment/> ( P ) \operatorname {Stab}_{V}(\mathcal {P}) of  V V . We classify the finite simple type systems and show that the stabilizers of various simple type systems, including all finite simple type systems, are maximal subgroups of  V V . We also find an uncountable family of pairwise nonisomorphic maximal subgroups of  V V . These maximal subgroups occur as stabilizers of infinite simple type systems and have not been described in previous literature: specifically, they do not arise as stabilizers in V V of finite sets of points in Cantor space. Finally, we show that two natural conditions on subgroups of V V (both related to primitivity) are each satisfied only by V V itself, giving new ways to recognise when a subgroup of V V is not actually proper. 
    more » « less
  2. For a prime number p p , we characterize the groups that may arise as torsion subgroups of an elliptic curve with complex multiplication defined over a number field of degree 2 p 2p . In particular, our work shows that a classification in the strongest sense is tied to determining whether there exist infinitely many Sophie Germain primes. 
    more » « less
  3. Let Γ<#comment/> \Gamma be a countable abelian group. An (abstract) Γ<#comment/> \Gamma -system X \mathrm {X} - that is, an (abstract) probability space equipped with an (abstract) probability-preserving action of Γ<#comment/> \Gamma - is said to be aConze–Lesigne systemif it is equal to its second Host–Kra–Ziegler factor Z 2 ( X ) \mathrm {Z}^2(\mathrm {X}) . The main result of this paper is a structural description of such Conze–Lesigne systems for arbitrary countable abelian Γ<#comment/> \Gamma , namely that they are the inverse limit of translational systems G n / Λ<#comment/> n G_n/\Lambda _n arising from locally compact nilpotent groups G n G_n of nilpotency class 2 2 , quotiented by a lattice Λ<#comment/> n \Lambda _n . Results of this type were previously known when Γ<#comment/> \Gamma was finitely generated, or the product of cyclic groups of prime order. In a companion paper, two of us will apply this structure theorem to obtain an inverse theorem for the Gowers U 3 ( G ) U^3(G) norm for arbitrary finite abelian groups G G
    more » « less
  4. We show that a k k -stable set in a finite group can be approximated, up to given error ϵ<#comment/> > 0 \epsilon >0 , by left cosets of a subgroup of index ϵ<#comment/> - O k ( 1 ) \epsilon ^{\text {-} O_k(1)} . This improves the bound in a similar result of Terry and Wolf on stable arithmetic regularity in finite abelian groups, and leads to a quantitative account of work of the author, Pillay, and Terry on stable sets in arbitrary finite groups. We also prove an analogous result for finite stable sets of small tripling in arbitrary groups, which provides a quantitative version of recent work by Martin-Pizarro, Palacín, and Wolf. Our proofs use results on VC-dimension, and a finitization of model-theoretic techniques from stable group theory. 
    more » « less
  5. We prove the unbounded denominators conjecture in the theory of noncongruence modular forms for finite index subgroups of SL 2 ⁡<#comment/> ( Z ) \operatorname {SL}_2(\mathbf {Z}) . Our result includes also Mason’s generalization of the original conjecture to the setting of vector-valued modular forms, thereby supplying a new path to the congruence property in rational conformal field theory. The proof involves a new arithmetic holonomicity bound of a potential-theoretic flavor, together with Nevanlinna second main theorem, the congruence subgroup property of SL 2 ⁡<#comment/> ( Z [ 1 / p ] ) \operatorname {SL}_2(\mathbf {Z}[1/p]) , and a close description of the Fuchsian uniformization D ( 0 , 1 ) / Γ<#comment/> N D(0,1)/\Gamma _N of the Riemann surface C ∖<#comment/> μ<#comment/> N \mathbf {C} \smallsetminus \mu _N
    more » « less