General infinitesimal Terracini Lemma

Let XPrX\subseteq {\mathbb P}^r be an irreducible, non-degenerate, projective variety of dimension nn, with rnm+n+mr\geqslant nm+n+m. For every non-negative integer mm, let XX be mm-osculating regular when its variety of mm-osculating spaces has dimension min{(m+1)n,r}\operatorname{min}\{(m+1)n,r\}. Suppose that XX is mm-osculating regular. A zero-dimensional scheme is curvilinear if it is locally contained in a smooth curve in XX.

General infinitesimal Terracini Lemma. XX is mm-defective if and only if, given a general zero-dimensional curvilinear scheme γ\gamma of length m+1m+1 contained in XX, the dimension of the linear system of hyperplane sections of XX singular along γ\gamma is larger than r(m+1)(n+1)r-(m+1)(n+1).

This conjecture generalizes the infinitesimal Terracini lemma for secant lines, which is the case m=1m=1. It relates defectivity of the secant variety to the failure of the expected number of independent conditions imposed by singularity along a curvilinear scheme; its status is not resolved in the supplied source.

Sources & referencesView supporting material

Primary source

Ciro Ciliberto, “On the infinitesimal Terracini lemma”, arXiv:2009.09475 (2020).

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.