A vanishing theorem for vector-valued Siegel automorphic forms in characteristic $p$

We show that the space of vector-valued Siegel automorphic forms in characteristic $p$ is zero when the weight is outside of an explicit locus. This result is a special case of a general conjecture about Hodge-type Shimura varieties formulated in previous work with W. Goldring.