On large theta-characteristics with prescribed vanishing
Let C be a smooth projective curve of genus g≥2. Fix an integer r≥0, and let k=(k1,…,kn) be a sequence of positive integers with k1+…+kn=g−1. We study n-pointed curves (C,p1,…,pn) such that the line bundle L:=OC(∑i=1nkipi) is a theta-characteristic such that h0(C,L) is at least r+1 and it has the same parity as r+1. We prove that they describe a sublocus Ggr(k) of Mg,n having codimension at most g−1+2r(r−1). Moreover, for any r≥0, k as above, and g greater than an explicit integer g(r) depending on r, we present irreducible components of Ggr(k) attaining the maximal codimension in Mg,n, so that the bound turns out to be sharp.