Tschirnhausen bundles of covers of the projective line

Abstract A degree 𝑑 genus 𝑔 cover of the complex projective line by a smooth curve 𝐶 yields a vector bundle on the projective line by pushforward of the structure sheaf. Which bundles are possible? Equivalently, which <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:msup> <m:mi mathvariant="double-struck">P</m:mi> <m:mrow> <m:mi>d</m:mi> <m:mo>−</m:mo> <m:mn>2</m:mn> </m:mrow> </m:msup> </m:math> \mathbb{P}^{d-2} -bundles over <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:msup> <m:mi mathvariant="double-struck">P</m:mi> <m:mn>1</m:mn> </m:msup> </m:math> \mathbb{P}^{1} contain such covers? (In the language of many previous papers: what are the scrollar invariants of the cover?) We give a complete answer in degree 4, which exhibits the expected pathologies. We describe a polytope (one per degree) which we propose gives the complete answer for primitive covers, i.e., covers that do not factor through a subcover. We show that all such bundles (for primitive covers) lie in this polytope, and that a “positive proportion” of the polytope arises from smooth covers. Moreover, we show the necessity of the primitivity assumption. Finally, we show that the image of the map from the Hurwitz space of smooth covers to the space of bundles is not preserved by generization (for <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mi>d</m:mi> <m:mo>&gt;</m:mo> <m:mn>4</m:mn> </m:mrow> </m:math> d&gt;4 and <m:math xmlns:m="http://www.w3.org/1998/Math/MathML"> <m:mrow> <m:mi>g</m:mi> <m:msub> <m:mo>≫</m:mo> <m:mi>d</m:mi> </m:msub> <m:mn>1</m:mn> </m:mrow> </m:math> g\gg_{d}1 ).