Surface homeomorphisms with big rotation set

Abstract

This article consists in applications of [arXiv:2511.14232] in the case of homemomorphisms of higher genus surfaces whose homological rotation set is big enough -- a class of dynamics that is open. We first prove a structure theorem for the rotation set of such homeomorphisms: it is a finite union of convex sets, we get an optimal bound for the number of such pieces. This bound can be improved in the case of transitive (in this case the rotation set is convex) and non-wandering dynamics (and for such homeomorphisms we get the existence of a family of invariant essential open sets). We also get boundedness of deviations for homeomorphisms with big rotation set and some consequences of it, including a answer to Boyland's conjecture in our framework.