arXiv subjects
Publications and source records attributed to Emily Stark.
We prove that if a proper metric space is quasi-isometric to a finitely generated group and to a space with a horoball over a finitely generated group, then that space is quasi-isometric to a rank-one symmetric space or the real line.
We introduce a graph-theoretic condition, called $(n,m)$--branching, that ensures a combinatorial round tree with controlled branching parameters can be quasi-isometrically embedded in the Davis complex of the right-angled Coxeter group defined by the graph. This construction yields a lower bound on the conformal dimension of the boundary of such a hyperbolic group. We exhibit numerous families of graphs with this property, including many 1-dimensional spherical buildings. We prove an embedding result, showing that under mild hypotheses a flag-no-square graph embeds as an induced subgraph in a flag-no-square triangulation of a closed surface. We use this to embed our branching graphs into graphs presenting hyperbolic right-angled Coxeter groups with Pontryagin sphere boundary. We conclude there are examples of such groups with conformal dimension tending to infinity, and hence, there are infinitely many quasi-isometry classes within this family. We use conformal dimension to show that recent work of Lafont--Minemyer--Sorcar--Stover--Wells can be upgraded to conclude that for every $n \geq 2$ there exist infinitely many quasi-isometry classes of hyperbolic right-angled Coxeter groups that virtually algebraically fiber and have virtual cohomological dimension $n$.
This is an expository article on visual metrics on boundaries of hyperbolic metric spaces. We discuss the construction of visual metrics, quasisymmetries and their invariants, Hausdorff and conformal dimension, and constructions and applications of Gromov's round trees. There is a focus on providing examples throughout. These notes are based on the material of a minicourse given by the author at the 2024 Riverside Workshop in Geometric Group Theory.
We give upper and lower bounds on the conformal dimension of the Bowditch boundary of a Coxeter group with defining graph a complete graph and edge labels at least three. The lower bounds are obtained by quasi-isometrically embedding Gromov's round trees in the Davis complex. The upper bounds are given by exhibiting a geometrically finite action on a CAT(-1) space and bounding the Hausdorff dimension of the visual boundary of this space. Our results imply that there are infinitely many quasi-isometry classes within each infinite family of such Coxeter groups with edge labels bounded from above. As an application, we prove there are infinitely many quasi-isometry classes among the family of hyperbolic groups with Pontryagin sphere boundary. Combining our results with work of Bourdon--Kleiner proves the conformal dimension of the boundaries of hyperbolic groups in this family achieves a dense set in $(1,\infty)$.
We prove that an infinite-ended group whose one-ended factors have finite-index subgroups and are in a family of groups with a nonzero multiplicative invariant is not quasi-isometrically rigid. Combining this result with work of the first author proves that a residually-finite multi-ended hyperbolic group is quasi-isometrically rigid if and only if it is virtually free. The proof adapts an argument of Whyte for commensurability of free products of closed hyperbolic surface groups.
We introduce the notion of graphical discreteness to group theory. A finitely generated group is graphically discrete if whenever it acts geometrically on a locally finite graph, the automorphism group of the graph is compact-by-discrete. Notable examples include finitely generated nilpotent groups, most lattices in semisimple Lie groups, and irreducible non-geometric 3-manifold groups. We show graphs of groups with graphically discrete vertex groups frequently have strong rigidity properties. We prove free products of one-ended virtually torsion-free graphically discrete groups are action rigid within the class of virtually torsion-free groups. We also prove quasi-isometric rigidity for many hyperbolic graphs of groups whose vertex groups are closed hyperbolic manifold groups and whose edge groups are non-elementary quasi-convex subgroups. This includes the case of two hyperbolic 3-manifold groups amalgamated along a quasi-convex malnormal non-abelian free subgroup. We provide several additional examples of graphically discrete groups and illustrate this property is not a commensurability invariant.
The Web public key infrastructure is essential to providing secure communication on the Internet today, and certificate authorities play a crucial role in this ecosystem by issuing certificates. These authorities may misissue certificates or suffer misuse attacks, however, which has given rise to the Certificate Transparency (CT) project. The goal of CT is to store all issued certificates in public logs, which can then be checked for the presence of potentially misissued certificates. Thus, the requirement that a given certificate is indeed in one (or several) of these logs lies at the core of CT. In its current deployment, however, most individual clients do not check that the certificates they see are in logs, as requesting a proof of inclusion directly reveals the certificate and thus creates the clear potential for a violation of that client's privacy. In this paper, we explore the techniques that have been proposed for privacy-preserving auditing of certificate inclusion, focusing on their effectiveness, efficiency, and suitability in a near-term deployment. In doing so, we also explore the parallels with related problems involving browser clients. Guided by a set of constraints that we develop, we ultimately observe several key limitations in many proposals, ranging from their privacy provisions to the fact that they focus on the interaction between a client and a log but leave open the question of how a client could privately report any certificates that are missing.
For a group $G$ (of type $F$) acting properly on a coarse Poincar\'{e} duality space $X$, Kapovich-Kleiner introduced a coarse version of Alexander duality between $G$ and its complement in $X$. More precisely, the cohomology of $G$ with group ring coefficients is dual to a certain \v{C}ech homology group of the family of increasing neighborhoods of a $G$-orbit in $X$. This duality applies more generally to coarse embeddings of certain contractible simplicial complexes into coarse $PD(n)$ spaces. In this paper we introduce a relative version of this \v{C}ech homology that satisfies the Eilenberg-Steenrod Exactness Axiom, and we prove a relative version of coarse Alexander duality. As an application we provide a detailed proof of the following result, first stated by Kapovich-Kleiner. Given a $2$-complex formed by gluing $k$ halfplanes along their boundary lines and a coarse embedding into a contractible $3$-manifold, the complement consists of $k$ deep components that are arranged cyclically in a pattern called a Jordan cycle. We use the Jordan cycle as an invariant in proving the existence of a $3$-manifold group that is virtually Kleinian but not itself Kleinian.
The far-reaching work of Dahmani-Guirardel-Osin and recent work of Clay-Mangahas-Margalit provide geometric approaches to the study of the normal closure of a subgroup (or a collection of subgroups)in an ambient group $G$. Their work gives conditions under which the normal closure in $G$ is a free product. In this paper we unify their results and simplify and significantly shorten the proof of the Dahmani-Guirardel-Osin theorem.
A subset of vertices of a graph is minimal if, within all subsets of the same size, its vertex boundary is minimal. We give a complete, geometric characterization of minimal sets for the planar integer lattice X. Our characterization elucidates the structure of all minimal sets, and we are able to use it to obtain several applications. We characterize uniquely minimal sets of X: those which are congruent to any other minimal set of the same size. We also classify all efficient sets of X: those that have maximal size amongst all such sets with a fixed vertex boundary. We define and investigate the graph G of minimal sets whose vertices are congruence classes of minimal sets of X and whose edges connect vertices which can be represented by minimal sets that differ by exactly one vertex. We prove that G has exactly one infinite component, has infinitely many isolated vertices and has bounded components of arbitrarily large size. Finally, we show that all minimal sets, except one, are connected.
We show that the Morse boundary of a right-angled Coxeter group may contain embedded circles that do not arise as the boundary of a Morse Fuchsian subgroup visible in the defining graph.
Two groups have a common model geometry if they act properly and cocompactly by isometries on the same proper geodesic metric space. The Milnor-Schwarz lemma implies that groups with a common model geometry are quasi-isometric; however, the converse is false in general. We consider free products of uniform lattices in isometry groups of rank-1 symmetric spaces and prove, within each quasi-isometry class, residually finite groups that have a common model geometry are abstractly commensurable. Our result gives the first examples of hyperbolic groups that are quasi-isometric but do not virtually have a common model geometry. Indeed, each quasi-isometry class contains infinitely many abstract commensurability classes. We prove that two free products of closed hyperbolic surface groups have a common model geometry if and only if the groups are isomorphic. This result combined with a commensurability classification of Whyte yields the first examples of torsion-free abstractly commensurable hyperbolic groups that do not have a common model geometry. An important component of the proof is a generalization of Leighton's graph covering theorem. The main theorem depends on residual finiteness, and we show that finite extensions of uniform lattices in rank-1 symmetric spaces that are not residually finite would give counterexamples.
Sela proved every torsion-free one-ended hyperbolic group is coHopfian. We prove that there exist torsion-free one-ended hyperbolic groups that are not commensurably coHopfian. In particular, we show that the fundamental group of every simple surface amalgam is not commensurably coHopfian.
Mahan Mitra (Mj) proved Cannon--Thurston maps exist for normal hyperbolic subgroups of a hyperbolic group. We prove that Cannon--Thurston maps do not exist for infinite normal hyperbolic subgroups of non-hyperbolic CAT(0) groups with isolated flats with respect to the visual boundaries. We also show Cannon--Thurston maps do not exist for infinite infinite-index normal CAT(0) subgroups with isolated flats in non-hyperbolic CAT(0) groups with isolated flats. We obtain a structure theorem for the normal subgroups in these settings and show that outer automorphism groups of hyperbolic groups have no purely atoroidal $\mathbb{Z}^2$ subgroups.
Croke and Kleiner constructed two homeomorphic locally CAT(0) complexes whose universal covers have visual boundaries that are not homeomorphic. We construct two homeomorphic locally CAT(0) complexes so that the visual boundary of one universal cover contains a nonplanar graph, while the visual boundary of the other does not. In contrast, we prove for any two locally CAT(0) metrics on the Croke-Kleiner complex, if a finite graph embeds in the visual boundary of one universal cover, then the graph embeds in the visual boundary of the other.
Let $\phi$ be an atoroidal outer automorphism of the free group $F_n$. We study the Gromov boundary of the hyperbolic group $G_{\phi} = F_n \rtimes_{\phi} \mathbb{Z}$. We explicitly describe a family of embeddings of the complete bipartite graph $K_{3,3}$ into $\partial G_\phi$. To do so, we define the directional Whitehead graph and prove that an indecomposable $F_n$-tree is Levitt type if and only if one of its directional Whitehead graphs contains more than one edge. As an application, we obtain a direct proof of Kapovich-Kleiner's theorem that $\partial G_\phi$ is homeomorphic to the Menger curve if the automorphism is atoroidal and fully irreducible.
A simple surface amalgam is the union of a finite collection of surfaces with precisely one boundary component each and which have their boundary curves identified. We prove if two fundamental groups of simple surface amalgams act properly and cocompactly by isometries on the same proper geodesic metric space, then the groups are commensurable. Consequently, there are infinitely many fundamental groups of simple surface amalgams that are quasi-isometric, but which do not act properly and cocompactly on the same proper geodesic metric space.
We classify the groups quasi-isometric to a group generated by finite-order elements within the class of one-ended hyperbolic groups which are not Fuchsian and whose JSJ decomposition over two-ended subgroups does not contain rigid vertex groups. To do this, we characterize which JSJ trees of a group in this class admit a cocompact group action with quotient a tree. The conditions are stated in terms of two graphs we associate to the degree refinement of a group in this class. We prove there is a group in this class which is quasi-isometric to a Coxeter group but is not abstractly commensurable to a group generated by finite-order elements. Consequently, the subclass of groups in this class generated by finite-order elements is not quasi-isometrically rigid. We provide necessary conditions for two groups in this class to be abstractly commensurable. We use these conditions to prove there are infinitely many abstract commensurability classes within each quasi-isometry class within this class that contains a group generated by finite-order elements.