Searcharxiv⌕ Search

arXiv subjects

Emily Stark

Publications and source records attributed to Emily Stark.

24 records · Page 2Linked to original sources

The visual boundary of hyperbolic free-by-cyclic groups

Let $ϕ$ be an atoroidal outer automorphism of the free group $F_n$. We study the Gromov boundary of the hyperbolic group $G_ϕ = F_n \rtimes_ϕ \mathbb{Z}$. We explicitly describe a family of embeddings of the complete bipartite graph $K_{3,3}$ into $\partial G_ϕ$. 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_ϕ$ is homeomorphic to the Menger curve if the automorphism is atoroidal and fully irreducible.

math.GT↗

Commensurability for certain right-angled Coxeter groups and geometric amalgams of free groups

We give explicit necessary and sufficient conditions for the abstract commensurability of certain families of 1-ended, hyperbolic groups, namely right-angled Coxeter groups defined by generalized theta-graphs and cycles of generalized theta-graphs, and geometric amalgams of free groups whose JSJ graphs are trees of diameter at most 4. We also show that if a geometric amalgam of free groups has JSJ graph a tree, then it is commensurable to a right-angled Coxeter group, and give an example of a geometric amalgam of free groups which is not quasi-isometric (hence not commensurable) to any group which is finitely generated by torsion elements. Our proofs involve a new geometric realization of the right-angled Coxeter groups we consider, such that covers corresponding to torsion-free, finite-index subgroups are surface amalgams.

math.GR↗

Topological rigidity fails for quotients of the Davis complex

A Coxeter group acts properly and cocompactly by isometries on the Davis complex for the group; we call the quotient of the Davis complex under this action the Davis orbicomplex for the group. We prove the set of finite covers of the Davis orbicomplexes for the set of one-ended Coxeter groups is not topologically rigid. We exhibit a quotient of a Davis complex by a one-ended right-angled Coxeter group which has two finite covers that are homotopy equivalent but not homeomorphic. We discuss consequences for the abstract commensurability classification of Coxeter groups.

math.GT↗

Abstract commensurability and quasi-isometry classification of hyperbolic surface group amalgams

Let $\mathcal{X}_S$ denote the class of spaces homeomorphic to two closed orientable surfaces of genus greater than one identified to each other along an essential simple closed curve in each surface. Let $\mathcal{C}_S$ denote the set of fundamental groups of spaces in $\mathcal{X}_S$. In this paper, we characterize the abstract commensurability classes within $\mathcal{C}_S$ in terms of the ratio of the Euler characteristic of the surfaces identified and the topological type of the curves identified. We prove that all groups in $\mathcal{C}_S$ are quasi-isometric by exhibiting a bilipschitz map between the universal covers of two spaces in $\mathcal{X}_S$. In particular, we prove that the universal covers of any two such spaces may be realized as isomorphic cell complexes with finitely many isometry types of hyperbolic polygons as cells. We analyze the abstract commensurability classes within $\mathcal{C}_S$: we characterize which classes contain a maximal element within $\mathcal{C}_S$; we prove each abstract commensurability class contains a right-angled Coxeter group; and, we construct a common CAT$(0)$ cubical model geometry for each abstract commensurability class.

math.GT↗

Intrinsically triple-linked graphs in RP^3

Flapan--Naimi--Pommersheim showed that every spatial embedding of $K_{10}$, the complete graph on ten vertices, contains a non-split three-component link; that is, $K_{10}$ is intrinsically triple-linked in $\mathbb{R}^3$. The work of Bowlin--Foisy and Flapan--Foisy--Naimi--Pommersheim extended the list of known intrinsically triple-linked graphs in $\mathbb{R}^3$ to include several other families of graphs. In this paper, we will show that while some of these graphs can be embedded 3-linklessly in $\mathbb{R}P^3$, $K_{10}$ is intrinsically triple-linked in $\mathbb{R}P^3$.

math.GT↗

Intrinsically Linked Graphs in Projective Space

We examine graphs that contain a non-trivial link in every embedding into real projective space, using a weaker notion of unlink than was used by Flapan, et al. We call such graphs intrinsically linked in projective space. We fully characterize such graphs with connectivity 0,1 and 2. We also show that only one Petersen-family graph is intrinsically linked in projective space and prove that K7 minus any two edges is also minor-minimal intrinsically linked. In all, 594 graphs are shown to be minor-minimal intrinsically linked in projective space.

math.GT↗