arXiv subjects

Valentina Disarlo

Publications and source records attributed to Valentina Disarlo.

9 recordsLinked to original sources

arXiv2023

The model theory of the curve graph

In this paper we develop a bridge between model theory, geometric topology, and geometric group theory. In particular, we investigate the Ivanov Metaconjecture from the point of view of model theory, and more broadly we seek to answer the general question: why does the curve graph of a surface play such a central role in the study of surfaces and mapping class groups? More specifically, we consider a surface $Σ$ of finite type and its curve graph $\mathcal C(Σ)$, and we investigate its first-order theory in the language of graph theory. Crucially, $\mathcal C(Σ)$ is bi-interpretable with a certain object called the augmented Cayley graph of the mapping class group of the surface. We use this bi-interpretation to prove that the theory of the curve graph is $ω$--stable, to compute its Morley rank, and to show that it has quantifier elimination with respect to the class of $\forall\exists$--formulae. We also show that many of the complexes which are naturally associated to a surface are interpretable in $\mathcal C(Σ)$. This shows that these complexes are all $ω$--stable and admit certain a priori bounds on their Morley ranks. We are able to use Morley ranks to prove that various complexes are not bi--interpretable with the curve graph. As a consequence of quantifier elimination, we show that algebraic intersection number is not definable in the first order theory of the curve graph. Finally, we prove that the curve graph of a surface enjoys a novel phenomenon that we call interpretation rigidity. That is, if surfaces $Σ_1$ and $Σ_2$ admits curve graphs that are mutually interpretable, then $Σ_1$ and $Σ_2$ are homeomorphic to each other. Along the way, numerous technical results are obtained.

math.GT↗

arXiv2022

Rigidity of the saddle connection complex

For a half-translation surface (S,q), the associated saddle connection complex A(S,q) is the simplicial complex where vertices are the saddle connections on (S,q), with simplices spanned by sets of pairwise disjoint saddle connections. This complex can be naturally regarded as an induced subcomplex of the arc complex. We prove that any simplicial isomorphism $ϕ: A(S,q) \to A(S',q')$ between saddle connection complexes is induced by an affine diffeomorphism $F : (S,q) \to (S',q')$. In particular, this shows that the saddle connection complex is a complete invariant of affine equivalence classes of half-translation surfaces. Throughout our proof, we develop several combinatorial criteria of independent interest for detecting various geometric objects on a half-translation surface.

math.GT↗

arXiv2021

Generalized stretch lines for surfaces with boundary

In 1986 William P. Thurston introduced the celebrated (asymmetric) Lipschitz distance on the Teichmueller space of a (closed or punctured) surface. In this paper we extend his work to the Teichmueller space of a surface with boundary endowed the arc distance. In this new setting we construct a large family of geodesics, which generalize Thurston's stretch lines. We prove that the Teichmueller space of a surface with boundary, endowed with the arc distance, is a geodesic metric space. Furthermore, the arc distance is induced by a Finsler metric. As a corollary, we describe a new class of geodesics in the Teichmueller space of a closed/punctured surface that are not stretch lines in the sense of Thurston.

math.GT↗

arXiv2020

Large-scale geometry of the saddle connection graph

We prove that the saddle connection graph associated to any half-translation surface is 4-hyperbolic and uniformly quasi-isometric to the regular countably infinite-valent tree. Consequently, the saddle connection graph is not quasi-isometrically rigid. We also characterise its Gromov boundary as the set of straight foliations with no saddle connections. In our arguments, we give a generalisation of the unicorn paths in the arc graph which may be of independent interest.

math.GT↗

arXiv2016

Cubical Geometry in the Polygonalisation Complex

We introduce the polygonalisation complex of a surface, a cube complex whose vertices correspond to polygonalisations. This is a geometric model for the mapping class group and it is motivated by works of Harer, Mosher and Penner. Using properties of the flip graph, we show that the midcubes in the polygonalisation complex can be extended to a family of embedded and separating hyperplanes, parametrised by the arcs in the surface. We study the crossing graph of these hyperplanes and prove that it is quasi-isometric to the arc complex. We use the crossing graph to prove that, generically, different surfaces have different polygonalisation complexes. The polygonalisation complex is not CAT(0), but we can characterise the vertices where Gromov's link condition fails. This gives a tool for proving that, generically, the automorphism group of the polygonalisation complex is the (extended) mapping class group of the surface.

math.GT↗

arXiv2015

Simultaneous flips on triangulated surfaces

We investigate a type of distance between triangulations on finite type surfaces where one moves between triangulations by performing simultaneous flips. We consider triangulations up to homeomorphism and our main results are upper bounds on distance between triangulations that only depend on the topology of the surface.

math.GT↗

arXiv2015

Combinatorial rigidity of arc complexes

We study the arc complex of a surface with marked points in the interior and on the boundary. We prove that the isomorphism type of the arc complex determines the topology of the underlying surface, and that in all but a few cases every automorphism is induced by a homeomorphism of the surface. As an application we deduce some rigidity results for the Fomin-Shapiro-Thurston cluster algebra associated to such a surface. Our proofs do not employ any known simplicial rigidity result.

math.GT↗

arXiv2014

The geometry of flip graphs and mapping class groups

The space of topological decompositions into triangulations of a surface has a natural graph structure where two triangulations share an edge if they are related by a so-called flip. This space is a sort of combinatorial Teichmüller space and is quasi-isometric to the underlying mapping class group. We study this space in two main directions. We first show that strata corresponding to triangulations containing a same multiarc are strongly convex within the whole space and use this result to deduce properties about the mapping class group. We then focus on the quotient of this space by the mapping class group to obtain a type of combinatorial moduli space. In particular, we are able to identity how the diameters of the resulting spaces grow in terms of the complexity of the underlying surfaces.

math.GT↗

arXiv2011

On the coarse geometry of the complex of domains

The complex of domains $D(S)$ is a geometric tool with a very rich simplicial structure, it contains the curve complex $C(S)$ as a simplicial subcomplex. In this paper we shall regard it as a metric space, endowed with the metric which makes each simplex Euclidean with edges of length 1, and we shall discuss its coarse geometry. We prove that for every subcomplex $Δ(S)$ of $D(S)$ which contains the curve complex $C(S)$, the natural simplicial inclusion $C(S) \to Δ(S)$ is an isometric embedding and a quasi-isometry. We prove that, except a few cases, the arc complex $A(S)$ is quasi-isometric to the subcomplex $P_\partial(S)$ of $D(S)$ spanned by the vertices which are peripheral pair of pants, and we prove that the simplicial inclusion $P_\partial(S) \to D(S)$ is a quasi-isometric embedding if and only if $S$ has genus 0. We then apply these results to the arc and curve complex $AC(S)$. We give a new proof of the fact that $AC(S)$ is quasi-isometric to $C(S)$, and we discuss the metric properties of the simplicial inclusion $A(S) \to AC(S)$.

math.GT↗