Naive dimension conjecture for secant loci of scrolls over curves

About 3 years old · traced to

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

dim⁡Qee−f≤dim⁡(Hee−f)nd≤e−f−r.\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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.