Existence of primitive multiple lines with good cohomology

Let d5d \geq 5 be an integer congruent to 22 modulo 33. A primitive dd-line is a primitive locally Cohen–Macaulay dd-fold structure supported on a line LP3L\subset\mathbb{P}^3; its type ee is defined by IL,C/IL,C2OL(e)\mathcal{I}_{L,C}/\mathcal{I}_{L,C}^2\cong\mathcal{O}_L(e). Write IC\mathcal{I}_C and IL\mathcal{I}_L for the ideal sheaves of CC and LL, respectively, and let LdL_d be the infinitesimal neighborhood defined by ILd\mathcal{I}_L^d. Primitive multiple-line existence conjecture. There exist primitive dd-lines satisfying all of the following: (i) a primitive dd-line of type e=d23e=\frac{d-2}{3} not contained in a surface of degree d1d-1; (ii) a primitive dd-line of type e=d+13e=\frac{d+1}{3} with support LL such that

H0(IC(n))=H0(ILd(n))for nd;\mathrm{H}^0\bigl(\mathcal{I}_C(n)\bigr)=\mathrm{H}^0\bigl(\mathcal{I}_L^d(n)\bigr)\quad\text{for }n\leq d;

thus it is not contained in a surface of degree d1d-1, and every surface of degree dd containing it contains LdL_d; and (iii) a primitive dd-line of type e=d+43e=\frac{d+4}{3} with support LL such that

H0(IC(n))=H0(ILd(n))for nd+1.\mathrm{H}^0\bigl(\mathcal{I}_C(n)\bigr)=\mathrm{H}^0\bigl(\mathcal{I}_L^d(n)\bigr)\quad\text{for }n\leq d+1.

These existence statements would establish sharpness of the proposed genus bound in the crucial case d=sd=s, and provide the cohomological analogue of maximal rank for primitive multiple lines.

Sources & referencesView supporting material

Primary source

Valentina Beorchia, Paolo Lella and Enrico Schlesinger, “The maximum genus problem for locally Cohen-Macaulay space curves”, arXiv:1806.08731 (2018).

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.