Let S be an orientable, connected surface of finite topological type, with genus
$g \leqslant 2$, empty boundary and complexity at least 2; we prove that any graph endomorphism of the curve graph of S is actually an automorphism. Also, as a complement of the author’s previous results, we prove that under mild conditions on the complexity of the underlying surfaces, any graph morphism between curve graphs is induced by a homeomorphism of the surfaces.
To prove these results, we construct a finite subgraph whose union of iterated rigid expansions is the curve graph
$\mathcal{C}(S)$. The sets constructed, and the method of rigid expansion, are closely related to Aramayona and Leininger’s finite rigid sets. We prove as a consequence that Aramayona and Leininger’s rigid set also exhausts
$\mathcal{C}(S)$ via rigid expansions. The combinatorial rigidity results follow as an immediate consequence, based on the author’s previous results.