Tschirnhausen bundles of covers of the projective line
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866911725223149568 |
|---|---|
| author | Vakil, Ravi Vemulapalli, Sameera |
| author_facet | Vakil, Ravi Vemulapalli, Sameera |
| contents | A degree $d$ genus $g$ cover of the complex projective line by a smooth curve $C$ yields a vector bundle on the projective line by pushforward of the structure sheaf. Which bundles are possible? Equivalently, which $\mathbb{P}^{d-2}$-bundles over $\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 don't 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 $d>5$ and $g \gg_d 1$). |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_22531 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Tschirnhausen bundles of covers of the projective line Vakil, Ravi Vemulapalli, Sameera Algebraic Geometry Number Theory Primary 14H60, Secondary 14H51, 14H30 A degree $d$ genus $g$ cover of the complex projective line by a smooth curve $C$ yields a vector bundle on the projective line by pushforward of the structure sheaf. Which bundles are possible? Equivalently, which $\mathbb{P}^{d-2}$-bundles over $\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 don't 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 $d>5$ and $g \gg_d 1$). |
| title | Tschirnhausen bundles of covers of the projective line |
| topic | Algebraic Geometry Number Theory Primary 14H60, Secondary 14H51, 14H30 |
| url | https://arxiv.org/abs/2410.22531 |