Folk conjecture for tangent developable surfaces

Let CPg1C\subseteq \mathbf{P}^{g-1} be a smooth canonical curve and let TT be its tangent developable surface in Pg\mathbf{P}^g:

T=Tan(C)Pg.T=\operatorname{Tan}(C)\subseteq \mathbf{P}^g.

Folk conjecture. The tangent developable surface TT satisfies Property (Np)(N_p) for

p=g32.p=\left\lfloor\frac{g-3}{2}\right\rfloor.

The conjecture concerns the syzygies of tangent developables and is motivated by their cuspidal rational hyperplane sections, which degenerate canonical curves; the supplied text presents a proof via Koszul modules, so the conjecture is treated as solved.

Sources & referencesView supporting material

Primary source

Lawrence Ein and Robert Lazarsfeld, “Tangent developable surfaces and the equations defining algebraic curves”, arXiv:1906.05429 (2019).

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.