Related papers: Exhausting curve complexes by finite rigid sets
We prove that curve complexes of surfaces are finitely rigid: for every orientable surface S of finite topological type, we identify a finite subcomplex X of the curve complex C(S) such that every locally injective simplicial map from X…
We prove that the non-separating curve complex of every surface of finite type and genus at least three admits an exhaustion by finite rigid sets.
Let $N$ be a compact, connected, nonorientable surface of genus $g$ with $n$ boundary components. Let $\mathcal{C}(N)$ be the curve complex of $N$. We prove that if $(g,n) = (3,0)$ or $g + n \geq 5$, then there is an exhaustion of…
Let $N$ be a compact, connected, nonorientable surface of genus $g$ with $n$ boundary components. Let $\mathcal{C}(N)$ be the curve complex of $N$. We prove that if $(g, n) \neq (1,2)$ and $g + n \neq 4$, then there is an exhaustion of…
For an orientable surface $S$ of finite topological type with genus $g \geq 3$, we construct a finite set of curves whose union of iterated rigid expansions is the curve graph of $S$. The set constructed, and the method of rigid expansion,…
A subcomplex $X\leq \mathcal{C}$ of a simplicial complex is strongly rigid if every locally injective, simplicial map $X\to\mathcal{C}$ is the restriction of a unique automorphism of $\mathcal{C}$. Aramayona and the second author proved…
Let $S$ be a projective plane with $3$ holes. We prove that there is an exhaustion of the curve complex $\mathcal{C}(S)$ by a sequence of finite rigid sets. As a corollary, we obtain that the group of simplicial automorphisms of…
For each closed surface of genus $g\ge3$, we find a finite subcomplex of the separating curve complex that is rigid with respect to incidence-preserving maps.
Suppose that S is a surface of genus two or more, with exactly one boundary component. Then the curve complex of S has one end.
A rigid set in a curve complex of a surface is a subcomplex such that every locally injective simplicial map from the set into the curve complex is induced by a homeomorphism of the surface. In this paper, we find finite rigid sets in the…
We prove that the separated curve complex of a closed orientable surface of genus g is (g-3)-connected. We also obtain a connectivity property for a separated curve complex of the open surface that is obtained by removing a finite set from…
Consider a connected orientable surface $S$ of infinite topological type, i.e. with infinitely-generated fundamental group. We describe the large-scale geometry of arbitrary connected subgraphs of the arc complex $A(S)$ and curve complex…
This work is the extension of the results by the author in [7] and [6] for low-genus surfaces. Let $S$ be an orientable, connected surface of finite topological type, with genus $g \leq 2$, empty boundary, and complexity at least $2$; as a…
For any compact, connected, orientable, finite-type surface with marked points other than the sphere with three marked points, we construct a finite rigid set of its arc complex: a finite simplicial subcomplex of its arc complex such that…
Let $N$ be a connected closed non-orientable surface of genus at least 6. In this work we prove that there exists a finite subgraph $\mathfrak{X}$ (Irmak's finite rigid set from ``Elmas Irmak. Exhausting curve complexes by finite rigid sets…
It is proved that the curve graph $C^1(\Sigma)$ of a surface $\Sigma_{g,n}$ has a local pathology that had not been identified as such: there are vertices $\alpha,\beta$ in $C^1(\Sigma)$ such that $\beta$ is a dead end of every geodesic…
We give a bound, linear in the complexity of the surface, on the asymptotic dimension of the curve complex as well as the capacity dimension of the ending lamination space.
Any quasi-isometry of the complex of curves is bounded distance from a simplicial automorphism. As a consequence, the quasi-isometry type of the curve complex determines the homeomorphism type of the surface.
We prove that for each sufficiently complicated orientable surface $S$, there exists an infinite image linear representation $\rho$ of $\pi_1(S)$ such that if $\gamma\in\pi_1(S)$ is freely homotopic to a simple closed curve on $S$, then…
We prove that the group of rational points of a non-isotrivial elliptic curve defined over the perfect closure of a function field in one variable over a finite field is finiteley generated.