arXiv subjects
Publications and source records attributed to Roberta Shapiro.
A group has Property (NL) -- which stands for ``no loxodromics" -- if no element of the group acts loxodromically on any hyperbolic space. In this brief note, we provide a complete characterization of which Coxeter groups have Property (NL).
The fine curve graph of a surface is a graph whose vertices are essential simple closed curves and whose edges connect disjoint curves. Following a rich history of hyperbolicity of various graphs associated to surfaces, the fine curve graph was shown to be hyperbolic by Bowden-Hensel-Webb, while the curve graph, obtained from the fine curve graph by collapsing subgraphs corresponding to isotopy classes, was first proven to be hyperbolic by Masur-Minsky. We show that certain large subgraphs of fine curve graphs, including fibers over a vertex of the curve graph, are not hyperbolic. Indeed, such graphs contain flats of every finite dimension. We then compute bounds on distances in fibers over a vertex of the curve graph, which we call single-isotopy-class fine curve graphs.
The fine curve complex of a surface is a simplicial complex whose vertices are essential simple closed curves and whose $k$-simplices are collections of $k+1$ disjoint curves. We prove that the fine curve complex is homotopy equivalent to the curve complex. We also prove that the fine arc complex is contractible.
The fine curve graph of a surface is the graph whose vertices are simple closed essential curves in the surface and whose edges connect disjoint curves. In this paper, we prove that the automorphism group of the fine curve graph of a surface is naturally isomorphic to the homeomorphism group of the surface for boundaryless planar surfaces with at least 7 punctures.
Given a surface, the fine $k$-curve graph of the surface is a graph whose vertices are simple closed essential curves and whose edges connect curves that intersect in at most $k$ points. We note that the fine $k$-curve graph is hyperbolic for all $k$ and, for $k\geq 2,$ show that it contains as induced subgraphs all countable graphs. We also show that the direct limit of this family of graphs, which we call the finitary curve graph, has diameter 2, has a contractible flag complex, contains every countable graph as an induced subgraph, and has as its automorphism group the homeomorphism group of the surface. Finally, we explore some finite graphs that are not induced subgraphs of fine curve graphs.
A group has Property $\mathrm{(NL)}$ if it does not admit a loxodromic element in any hyperbolic action. In other words, a group with this property is inaccessible for study from the perspective of hyperbolic actions. This property was introduced by Balasubramanya, Fournier-Facio and Genevois, who initiated the study of this property. We expand on this research by studying Property $\mathrm{(NL)}$ in Coxeter groups, a class of groups that are defined by an underlying graph. One of our main results show that a right-angled Coxeter group (RACG) has Property $\mathrm{(NL)}$ if and only if its defining graph is complete. We then move beyond the right-angled case to show that if a defining graph is disconnected, its corresponding Coxeter group does not have Property $\mathrm{(NL)}$. Lastly, we classify which triangle groups (Coxeter groups with three generators) have Property $\mathrm{(NL)}$.
The fine 1-curve graph of a surface is a graph whose vertices are simple closed curves on the surface and whose edges connect vertices that intersect in at most one point. We show that the automorphism group of the fine 1-curve graph is naturally isomorphic to the homeomorphism group of a closed, orientable surface with genus at least one.
We prove that the billiard claimed to be a possible counterexample to the Birkhoff-Poritsky conjecture is actually not a counterexample. We also show that for a billiard in a table obtained by the string construction over any convex polygon, this polygon is a core of the billiard dynamics.
The Alexander method is a combinatorial tool used to determine when two elements of the mapping class group are equal. We extend the Alexander method to include the case of infinite-type surfaces. Versions of the Alexander method was proven by Hern\'andez--Morales--Valdez and Hern\'andez--Hidber. As sample applications, we verify a relation in the mapping class group, show that the centers of many twist subgroups of the mapping class group are trivial, and provide a relatively smaller basis for the topology of the mapping class group.
Given a natural number k and an orientable surface S of finite type, define the k-curve graph to be the graph with vertices corresponding to isotopy classes of essential simple closed curves on S and with edges corresponding to pairs of such curves admitting representatives that intersect at most k times. We prove that the automorphism group of the k-curve graph of a surface S is isomorphic to the extended mapping class group for all k sufficiently small with respect to the Euler characteristic of S. We prove the same result for the so-called systolic complex, a variant of the curve graph whose complete subgraphs encode the intersection patterns for any collection of systoles with respect to a hyperbolic metric. This resolves a conjecture of Schmutz Schaller.