Ivanov's metaconjecture on surface homeomorphisms

EDIT: Brendle-Margalit have released their paper. See here.


One should observe that these are not all examples of Ivanov's metaconjecture (for instance, the automorphism group of the disk complex is the handle body group, not the whole mapping class group). In any case, Dan Margalit and Tara Brendle are currently writing a paper that proves a version of Ivanov's metaconjecture (which contains as special cases almost all the known examples of complexes whose automorphism group are the mapping class group). I saw both of them in Arkansas a couple of weeks ago, and they assured me that the paper would be released soon. Until then, Brendle's lecture at the Arkansas conference was videotaped and I believe that they will (eventually) post a video of it to the conference webpage here. You could also email her -- her talk used slides which were pretty good and I'm sure she would be happy to share them with you.

Brendle-Margalit's theorem is a little complicated to state, so I will only try to give the gist of it. They consider complexes whose elements are connected subsurfaces of a surface whose topology is constrained somehow. For instance, for the curve complex they would look at the complex of all essential annuli in the surface, and for the non separating curve complex they would look at the complex of all non separating annuli in the surface. It turns out that there are obstructions to Ivanov's metaconjecture holding. I don't want to try to describe them all precisely, but the basic idea is that you want to avoid "exchange automorphisms" of the complexes which flip two vertices that can't be flipped by the mapping class group while fixing everything else. An example would be to look at the complex whose vertices are all one-holed tori and all annuli which cut off a one-holed torus. Clearly you can flip a torus $T$ and a regular neighborhood of its boundary curve $\partial T$. One can come up with more complicated variants on this kind of problem, but it turns out that all the trouble comes from these kinds of things.