Vanishing $H^1$ for Hurwitz spaces of fully-marked admissible covers of degree 3

TL;DR

This paper proves the vanishing of the first cohomology group for certain degree 3 Hurwitz spaces of admissible covers, explores non-vanishing in degree 4, and develops an inductive framework for analyzing their boundary stratification.

Contribution

It establishes vanishing results for degree 3 Hurwitz spaces, provides examples of non-vanishing in degree 4, and introduces a stratification and inductive approach for studying their cohomology.

Findings

H^1 vanishes for degree 3 Hurwitz spaces

H^1 is nonzero for degree 4 and higher

Boundary stratification aids in cohomology analysis

Abstract

We show that the first cohomology group of the Hurwitz space of fully-marked admissible covers $H^1(\overline{\mathcal{H}}_{\underline{d},\underline{g}}(\underline{\mu}))$ vanishes for covers of degree $ d = 3$ and deduce the same result for the classical Hurwitz space of simply-branched covers. In degree 4, we compute examples where $H^1(\overline{\mathcal{H}}_{\underline{4},\underline{g}}(\underline{\mu}))$ is nonzero, which implies that $H^1(\overline{\mathcal{H}}_{\underline{d},\underline{g}}(\underline{\mu}))$ is nonvanishing for $d \geq 4$. We describe the stratification of the boundary of $\overline{\mathcal{H}}_{\underline{d},\underline{g}}(\underline{\mu})$ by lower-dimensional $\overline{\mathcal{H}}_{\underline{d'},\underline{g'}}(\underline{\mu'})$, and set up an inductive framework which may be used for future arguments involving the odd cohomology of $\overline{\mathcal{H}}_{\underline{d},\underline{g}}(\underline{\mu})$.