Connectedness of the curve complex (source code)

= Connectedness of the curve complex

For every connected orientable surface of complexity above one, the one-skeleton of the curve complex is connected. Surgery replaces one curve by an essential curve disjoint from it while reducing intersection with a fixed target; induction on geometric intersection number gives a path.