A globalization of a theorem of Horozov

This paper proves a globalization of a theorem of Horozov (1990). In particular, it determines the inverse of the Horozov map from an explicitly determined simply connected domain in the upper half plane to the set of regular values of the energy-momentum map of the spherical pendulum with the h-axis removed for h≥1.