Related papers: Two remarks about multicurve graphs on infinite-ty…

A multiarc and curve graph is a simplicial graph whose vertices are arc and curve systems on a compact, connected, orientable surface S. We show that all connected, non-trivial multiarc and curve graphs preserved by the natural action of…

Let $\Sigma$ be a compact, orientable surface of genus $g$, and let $\Gamma$ be a relation on $\pi_0(\partial \Sigma)$ such that the prescribed arc graph $\mathcal{A}(\Sigma,\Gamma)$ is Gromov-hyperbolic and non-trivial. We show that…

In this paper, we present a constructive and proof-relevant development of graph theory, including the notion of maps, their faces, and maps of graphs embedded in the sphere, in homotopy type theory. This allows us to provide an elementary…

We find an upper bound for the asymptotic dimension of a hyperbolic metric space with a set of geodesics satisfying a certain boundedness condition studied by Bowditch. The primary example is a collection of tight geodesics on the curve…

We discuss the large-scale geometry of pure mapping class groups of locally finite, infinite graphs, motivated by recent work of Algom-Kfir--Bestvina and the work of Mann--Rafi on the large-scale geometry of mapping class groups of…

Building on work of Farb and the second author, we prove that the group of automorphisms of the fine curve graph for a surface is isomorphic to the group of homeomorphisms of the surface. This theorem is analogous to the seminal result of…

We investigate the structure of the tri-pants graph, a simplicial graph introduced by Maloni and Palesi, whose vertices correspond to particular collections of homotopy classes of simple closed curves of the twice-punctured torus, called…

Let S be an orientable surface of finite type. Using Pho-On's infinite unicorn paths, we prove the hyperfiniteness of orbit equivalence relations induced by the actions of the mapping class group of S on the Gromov boundaries of the arc…

A theory of $\infty$-properads is developed, extending both the Joyal-Lurie $\infty$-categories and the Cisinski-Moerdijk-Weiss $\infty$-operads. Every connected wheel-free graph generates a properad, giving rise to the graphical category…

We prove that, except in certain low-complexity cases, the automorphism group of the graph of pants decompositions of a nonorientable surface is isomorphic to the mapping class group of that surface.

Let $S$ be a closed Riemann surface of genus $g(\geqq 2)$ and set $\dot{S}=S \setminus \{\hat{z}_0 \}$. Then we have the composed map $\varphi\circ r$ of a map $r: T(S) \times U \rightarrow F(S)$ and the Bers isomorphism $\varphi: F(S)…

Let $S$ be a compact oriented surface. We construct homogeneous quasimorphisms on $Diff(S, area)$, on $Diff_0(S, area)$ and on $Ham(S)$ generalizing the constructions of Gambaudo-Ghys and Polterovich. We prove that there are infinitely many…

We give elementary proofs of the following two theorems on automorphisms of a finite group G: (1) An automorphism of G is inner if and only if it extends to an automorphism of every finite group containing G. (2) There exists a finite…

We study the ideal triangulation graph $T(S)$ of a punctured surface $S$ of finite type. We show that if $S$ is not the sphere with at most three punctures or the torus with one puncture, then the natural map from the extended mapping class…

Motivated by the recent work of Algom-Kfir and Bestinva introducing the mapping class group of an infinite graph via proper homotopy equivalences, we give a necessary and sufficient condition for a surface to be properly homotopy equivalent…

We investigate the problem of when big mapping class groups are generated by involutions. Restricting our attention to the class of self-similar surfaces, which are surfaces with self-similar ends space, as defined by Mann and Rafi, and…

Given two automorphisms of a group $G$, one is interested in knowing whether they are conjugate in the automorphism group of $G$, or in the abstract commensurator of $G$, and how these two properties may differ. When $G$ is the fundamental…

We associate to triangulations of infinite type surface a type of flip graph where simultaneous flips are allowed. Our main focus is on understanding exactly when two triangulations can be related by a sequence of flips. A consequence of…

A map is a connected topological graph $\Gamma$ cellularly embedded in a surface. In this paper, applying Tutte's algebraic representation of map, new ideas for enumerating non-equivalent orientable or non-orientable maps of graph are…

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,…