We introduce the concept of a type system , that is, a partition on the set of finite words over the alphabet compatible with the partial action of Thompson’s group , and associate a subgroup of . 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 . We also find an uncountable family of pairwise nonisomorphic maximal subgroups of . 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 of finite sets of points in Cantor space. Finally, we show that two natural conditions on subgroups of (both related to primitivity) are each satisfied only by itself, giving new ways to recognise when a subgroup of is not actually proper.
more »
« less
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 -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
- 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
-
-
For a prime number , we characterize the groups that may arise as torsion subgroups of an elliptic curve with complex multiplication defined over a number field of degree . 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
-
Let be a countable abelian group. An (abstract) -system - that is, an (abstract) probability space equipped with an (abstract) probability-preserving action of - is said to be aConze–Lesigne systemif it is equal to its second Host–Kra–Ziegler factor . The main result of this paper is a structural description of such Conze–Lesigne systems for arbitrary countable abelian , namely that they are the inverse limit of translational systems arising from locally compact nilpotent groups of nilpotency class , quotiented by a lattice . Results of this type were previously known when 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 norm for arbitrary finite abelian groups .more » « less
-
We show that a -stable set in a finite group can be approximated, up to given error , by left cosets of a subgroup of index . 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
-
We prove the unbounded denominators conjecture in the theory of noncongruence modular forms for finite index subgroups of . 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 , and a close description of the Fuchsian uniformization of the Riemann surface .more » « less
An official website of the United States government

