On the Terracini locus of projective varieties (Q2044712)

The aim of this article is to introduce and study the Terracini locus of \((X,L)\), where \(X\) is a projective variety and \(L\) is a line bundle on \(X\). Let \(X \subset \mathbb{P}^N\) be a smooth integral projective variety of dimension \(n\), and let \(L\) be a line bundle on \(X\). If \(S \subset X_{reg}\) is reduced finite set, then denote with \(2S\) the union of fat points \(2p\) for any \(p \in S\). The \(r\)-Terracini locus of \((X,L)\) is the locally closed set given by all the \(S \subset X_{reg}\) such that \(S\) is reduced and of cardinality \(r\) and \(h^{0}(\mathcal{I}_{(2S,X)}\otimes L) > h^0(L)-(n+1)r\). After recalling some basic facts about \(0\)-dimensional schemes, in the third section the authors provide sufficient conditions to get that a reduced ad finite set \(S \subset X_{reg}\) is not in the \(r\)-th Terracini locus, also in the case of \(L = L_1 \otimes L_2\), with \(L_i\) line bundles. The fourth and fifth sections are devoted to show examples when \(X\) is a projective space and \(L = \mathcal{O}(d)\). Moreover, bounds on the dimension of the Terracini locus are provided. Eventually the authors underline the link between the study of the Terracini locus and the \(r\)-identifiability of a point \(u\) of a secant variety \(S_r(X)\), i.e. the uniqueness of the decomposition of \(u\) in sum of \(r\) points of \(X\).