Naive dimension conjecture for secant loci of scrolls over curves

From papers

Let CC be a nonhyperelliptic curve of genus g9g\geq 9. Let ECE\to C be a vector bundle of rank rr and slope at most g2g-2 such that the tautological line bundle OPE(1)\mathcal O_{\mathbb P E}(1) is very ample. For eh0(C,E)2re\leq h^0(C,E)-2r, consider the secant locus QeefQ^{e-f}_e and the corresponding locus (Heef)nd(H^{e-f}_e)_{\mathrm{nd}} of π\pi-nondefective subschemes. Naive dimension conjecture. One has

dimQeefdim(Heef)ndefr.\dim Q^{e-f}_e\leq \dim\left(H^{e-f}_e\right)_{\mathrm{nd}}\leq e-f-r.

This conjecture gives the expected dimension bound suggested by examples involving direct sums of line bundles; it concerns the nondefective part of the secant locus and is posed for nonhyperelliptic curves of sufficiently large genus under the stated positivity and numerical hypotheses.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

George H. Hitching, “Secant loci of scrolls over curves”, arXiv:2302.04328 (2023).

Solutions 0

No solutions have been posted yet.