On the complexity of finite subgraphs of the curve graph

TL;DR

This paper introduces a new graph invariant called nested complexity length to analyze the structure of the curve graph of surfaces, revealing topological constraints and limitations of traditional invariants like chromatic and clique numbers.

Contribution

The paper defines the nested complexity length invariant, relates it to surface topology, and demonstrates its effectiveness in obstructing certain subgraph embeddings in the curve graph.

Findings

Nested complexity length equals twice the maximal multicurve size, capturing surface topology.

Large half-graphs and multipartite graphs cannot embed into the curve graph.

Traditional invariants like chromatic and clique numbers are insufficient to characterize property $\\mathcal{P}_{g,p}$.

Abstract

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. Two well-known graph invariants, the chromatic and clique numbers, can provide obstructions to $\mathcal{P}_{g,p}$. We introduce a new invariant of a graph, the 'nested complexity length', which provides a novel obstruction to $\mathcal{P}_{g,p}$. For the curve graph this invariant captures the topological complexity of the surface in graph-theoretic terms; indeed we show that its value is $6g-6+2p$, i.e. twice the size of a maximal multicurve on the surface. As a consequence we show that large half-graphs do not have $\mathcal{P}_{g,p}$, and we deduce quantitatively that almost all finite graphs which pass the chromatic and clique tests do not have $\mathcal{P}_{g,p}$. 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). Finally, we show that large multipartite subgraphs cannot have $\mathcal{P}_{g,p}$. 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 $\mathcal{P}_{g,p}$.