ba9789dea19808b4.tex
1: \begin{abstract} 
2: We say a graph has property $\mathcal{P}_{g,p}$ when it is an induced subgraph of the curve graph of a surface of genus $g$ with $p$ punctures.
3: Two well-known graph invariants, the chromatic and clique numbers, can provide obstructions to $\cP_{g,p}$.
4: We introduce a new invariant of a graph, the \emph{nested complexity length},
5: which provides a novel obstruction to $\cP_{g,p}$.
6: For the curve graph this invariant captures the topological complexity of the surface in graph-theoretic terms; indeed we show that 
7: its value is $6g-6+2p$, i.e. twice the size of a maximal multicurve on the surface.
8: As a consequence we show that large `half-graphs' do not have $\cP_{g,p}$, and we deduce quantitatively that almost all finite graphs which pass the chromatic and clique tests do not have $\cP_{g,p}$. 
9: We also reinterpret our obstruction in terms of the first-order theory of the curve graph, and in terms of RAAG subgroups of the mapping class group (following Kim and Koberda).
10: Finally, we show that large multipartite subgraphs cannot have $\cP_{g,p}$. 
11: This allows us to compute the upper density of the curve graph, and to conclude that clique size, chromatic number, and nested complexity length are not sufficient to determine $\cP_{g,p}$.
12: \end{abstract}
13: