Base Point Freeness, Uniqueness of Decompositions and Double Points for Veronese and Segre Varieties

Abstract

We prove a base point freeness result for linear systems of forms vanishing at general double points of the projective plane. For tensors we study the uniqueness problem for the representation of a tensor as a sum of terms corresponding to points and tangent vectors of the Segre variety associated with the format of the tensor. We give complete results for unions of one point and one tangent vector.

1. Introduction

Let $X\subset {\mathbb{P}}^r$ be an integral and non-degenerate n-dimensional variety.

To recall the classical notion of abstract secant variety, its map to ${\mathbb{P}}^r$ and its differential (computed in geometric term by A. Terracini) we use the following notation.

For any closed subscheme $Z\subset {\mathbb{P}}^r$ let $⟨Z⟩$ denote its linear span. Let $X_{reg}$ denote the set of all smooth points of X. For any $o\in X_{reg}$ let $(2o,X)$ (or just $2o$) denote the closed subscheme of X with ${\left({\mathcal{I}}_o\right)}^2$ as its ideal sheaf. The scheme $2o$ is a zero-dimensional scheme ${\left(2o\right)}_{red}=\left\{o\right\}$ and $deg\left(2o\right)=n+1$. Moreover, $⟨2o⟩$ is the Zariski tangent space of X at o. For all finite subsets $S\subset X_{reg}$ set $2S:={\cup }_{o\in S}2o$.

Fix a positive integer $s<r$. Let $S{(X_{reg},s)}^{\prime }$ denote the set of all $S\subset X_{reg}$ such that $\#S=s$ and S is linearly independent. The set $S{(X_{reg},s)}^{\prime }$ is a smooth quasi-projective variety and its closure $\mathbb{H}(X,s)$ in the Hilbert scheme of X is an integral projective variety, singular if $n>2$. Let ${\Sigma }_s^0\left(X_{reg}\right)$ denote the set of all pairs $(S,q)\in S{(X_{reg},s)}^{\prime }\times {\mathbb{P}}^r$ such that $q\in ⟨S⟩$ and $q\notin ⟨S^{\prime }⟩$ for all $S^{\prime }⊊S$. The set ${\Sigma }_s^0\left(X_{reg}\right)$ is a smooth quasi-projective variety. The closure ${\Sigma }_s\left(X\right)$ of ${\Sigma }_s^0\left(X_{reg}\right)$ in $\mathbb{H}(X,s)\times {\mathbb{P}}^r$ is a closed and irreducible projective variety, often called the abstract s-secant variety of X. Call $\tilde{\pi }:{\Sigma }_s\left(X\right)\stackrel{}{\to }{\mathbb{P}}^r$ the morphism induced by the projection $\mathbb{H}(X,s)\times {\mathbb{P}}^r\stackrel{}{\to }{\mathbb{P}}^r$. The irreducible variety ${\sigma }_s\left(X\right):=\tilde{\pi }\left({\Sigma }_s\left(X\right)\right)$ is the s-secant variety of X, i.e., the closure in ${\mathbb{P}}^r$ of the union of all linear spaces $⟨S⟩$ for some subset of X with cardinality s. However, since ${\Sigma }_s\left(X\right)$ is usually very singular (even for nice X) we consider the differential of $\tilde{\pi }$ only at the points of ${\Sigma }_s^0\left(X_{reg}\right)$. Set $\pi :={\tilde{\pi }}_{|{\Sigma }_s^0\left(X_{reg}\right)}$. Fix $(S,q)\in {\Sigma }_s^0\left(X_{reg}\right)$. A. Terracini proved that the image of the differential $d\pi$ of $\pi$ at $(S,q)$ does not depend on q: it is the linear span of all tangent spaces $T_{o}X$, $o\in S$, i.e., it is $⟨2S⟩$ ([1], Cor. 1.11). Since Alessandro Terracini’s classical papers the study of the differential of $\pi$ gave (for very good reasons: the results were both nice and useful) several papers, most of them for the case S general in X so that the rank of $d\pi$ is the integer $dim{\sigma }_s\left(X\right)$. Some recent papers also considered the case in which S is not general ([2,3]). Here we consider both cases, S general and S very specific. An arrow of $X_{reg}$ is a connected degree 2 scheme $v\subset X_{reg}$. Since v is assumed to be connected, its reduction $v_{red}$ is a point, $o\in X_{reg}$. The Zariski tangent space $T_{o}X$ of X is the union of all arrows of X. Thus, the linear span $⟨2S⟩$ has the expected dimension if and only if all unions of s arrows, each of them with as its support a different point of S, are linearly independent. This observation due to K. Chandler ([4,5,6]) had many applications ([6,7,8]). A union of points and arrows may also be used to describe tensors and homogeneous polynomials. For instance in the additive decomposition of degree d forms an arrow corresponds to a term in the sum of the form ${\ell }^{d-1}\mu$, where ℓ and $\mu$ are non-proportional linear forms, while a point corresponds to an addendum ${\ell }^d$, $\ell \ne 0$.

We consider a general S for the Veronese embeddings $X_{n,d}$ of ${\mathbb{P}}^n$, but we ask if $⟨2S⟩\cap X_{n,d}$ is scheme-theoretically the scheme $2S$ or not. This is tricky and we discuss in more details why it is tricky in Section 4. For all positive integers n and d let $t(n,d)$ (resp. $t_1(n,d)$) be the maximal integer $x>0$ such that $h^1\left({\mathcal{I}}_Z\left(d\right)\right)=0$ and ${\mathcal{I}}_Z\left(d\right)$ is globally generated (resp. $h^1\left({\mathcal{I}}_Z\left(d\right)\right)=0$ and ${\mathcal{I}}_Z\left(d\right)$ has no base points outside $Z_{red}$), where Z is a general union of x double points of ${\mathbb{P}}^n$. These integers may be expressed with the geometric language used for the additive decomposition of degree d forms in the following way. Let ${\nu }_d:{\mathbb{P}}^n\stackrel{}{\to }{\mathbb{P}}^r$, $r=\left(\genfrac{}{}{0pt}{}{n+d}{n}\right)-1$, denote the order d Veronese embedding of ${\mathbb{P}}^n$, i.e., the embedding given evaluating all degree d forms in $n+1$ variables. Set $X_{n,d}:={\nu }_d\left({\mathbb{P}}^n\right)$. The integer $t(n,s)$ is the maximal integer $x>0$ such that $dim⟨2S⟩=x(n+1)-1$ and $X_{n,d}\cap ⟨2S⟩=2S$ scheme-theoretically.

We prove the following result.

Theorem 1.

Fix integers $d\ge 5$ and z such that $0\le 3z\le \left(\genfrac{}{}{0pt}{}{d+2}{2}\right)-5$. Let $E\subset {\mathbb{P}}^2$ be a general union of z double points. Then $h^1\left({\mathcal{I}}_E\left(d\right)\right)=0$ and ${\mathcal{I}}_E\left(d\right)$ is globally generated.

The vanishing of $h^1\left({\mathcal{I}}_E\left(d\right)\right)$ is well-known, but it is put in the statement because for a non-general E (call if F) it is easy to obtain ${\mathcal{I}}_F\left(d\right)$ globally generated for some F such that $h^0\left({\mathcal{I}}_F\left(d\right)\right)>h^0\left({\mathcal{I}}_E\left(d\right)\right)$. To prove Theorem 1 we use a degeneration of several planar double points ([9]).

A natural question is the extension of Theorem 2 to the case $n>2$. We ask also for the proof of similar results for tensors of certain formats and certain tensor ranks and for the case of partially symmetric tensors.

In Section 5 we consider the following uniqueness problem for tensors. For which formats there is a concise tensor which can be irredundantly determined by the union of a point and an arrow for more than one union of a point and an arrow? Propositions 1 and 2 and Theorem 3 give the list of the exceptional cases.

The last section is speculative. Suppose that at a certain $(S,q)$ the differential of the Terracini map has a kernel. Is there a condition (using higher derivatives) which says if the fiber of $\pi$ at $(S,q)$ is positive-dimensional?

Unless otherwise stated we work over an algebraically closed field $\mathbb{K}$ of characteristic 0.

2. Preliminaries

Let X be an integral projective variety. Let $D\subset X$ be an effective Cartier divisor of X and Z a zero-dimensional closed subscheme of X. The residual scheme ${Res}_D\left(Z\right)$ of Z is the closed subscheme of X with ${\mathcal{I}}_Z$:${\mathcal{I}}_D$ as its ideal sheaf. We have $deg\left(Z\right)=deg(Z\cap D)+deg\left({Res}_D\left(Z\right)\right)$. For every line bundle $\mathcal{L}$ on X the following sequence

$$0\stackrel{}{\to }{\mathcal{I}}_{{Res}_D\left(Z\right)}\otimes \mathcal{L}(-\mathcal{D})\stackrel{}{\to }{\mathcal{I}}_{\mathcal{Z}}\otimes \mathcal{L}\stackrel{}{\to }{\mathcal{I}}_{\mathcal{Z}\cap \mathcal{D},\mathcal{D}}\otimes {\mathcal{L}}_{|\mathcal{D}}\stackrel{}{\to }\mathcal{0}$$

(1)

is exact. We will say that (1) is the residual exact sequence of D (without mentioning Z and $\mathcal{L}$). Take $o\in X_{reg}\cap D_{reg}$. We have $(2o,X)\cap D=(2o,D)$ and ${Res}_D\left((2o,X)\right)=\left\{o\right\}$. Let $v\subset X$ be an arrow such that $v_{red}=\left\{o\right\}$. If $v\subset D$, then ${Res}_D\left(v\right)=\varnothing$. If $v⊈D$, then $V\cap D=\left\{o\right\}$ (as schemes) and ${Res}_D\left(v\right)=\left\{o\right\}$. If $H\subset X$ is an effective Cartier divisor, then ${Res}_H\left({Res}_D\left(Z\right)\right)={Res}_{H+D}\left(Z\right)$, where $H+D$ denote the sum as effective divisors.

Let $X\subset {\mathbb{P}}^r$ be an integral and non-degenerate variety. For any $q\in {\mathbb{P}}^r$ the X-rank$r_X\left(q\right)$ of q is the minimal cardinality of a finite subset of X whose linear span contains q.

Fix a quasi-projective variety T of dimension at least 2 and $o\in T_{reg}$. Let $v,w\subset T$ be arrows such that $v\ne w$ and $v_{red}=w_{reg}=\left\{o\right\}$. The scheme $v\cup w$ is called a planar double point or a planar double point of T. The next remark explains the properties of planar double points.

Remark 1.

Fix a quasi-projective variety T of dimension at least 2 and $o\in T_{reg}$. Let $v,w\subset T$ be arrows such that $v\ne w$ and $v_{red}=w_{reg}=\left\{o\right\}$. Set $Z:=v\cup w$. We have $deg\left(Z\right)=3$ and $Z_{red}=1$. There are ${\infty }^1$ arrows $z\subset T$ such that $z_{red}=\left\{o\right\}$ and $z\subset Z$. Moreover, if $z\ne v$, then $Z=v\cup z$. The Zariski tangent space of Z at o has dimension 2 and there is a quasi-projective variety $M\subseteq T$ such that $dimM=2$, $o\in M_{reg}$ and $Z\subset M$. If $dimT=2$, then we take $M=T$, but if $dimT>2$ there are infinitely many quasi-projective varieties $M\subseteq T$ such that $dimM=2$, $o\in M_{reg}$ and $Z\subset M$. Fix any such M. The scheme Z is the closed subscheme of M with ${\left({\mathcal{I}}_{o,M}\right)}^2$ as its ideal sheaf. If T is embedded in a projective space, then Z spans a plane.

3. Veronese Varieties

In this section, we prove Theorem 2. In Section 4 we discuss why it does not follow from known results on weak nondefectivity and tangenential nondefectivity ([10,11,12,13]).

Obviously $t(1,d)=t_1(n,d)=\lceil d/2\rceil$ for all $d\ge 1$.

For all positive integers n and d let $\alpha (n,d)$ denote the maximal cardinality of a finite set $S\subset {\mathbb{P}}^n$ such that $h^1\left({\mathcal{I}}_{2S}\left(d\right)\right)=0$. Obviously $\alpha (1,d)=\lceil d/2\rceil$ and $\alpha (n,1)=1$. Since the singular locus of a quadric hypersurface is a linear space, $\alpha (n,2)=1$. A key theorem due to Alexander and Hirschowitz ([14,15,16,17]) computes $\alpha (n,d)$ for all $n,d$ and says that $\alpha (n,d)=\lfloor \left(\genfrac{}{}{0pt}{}{n+d}{n}\right)/(n+1)\rfloor$ for all $d\ge 3$, unless $(n,d)\in \left\{\right(2,4),(3,4),(4,3),(4,4\left)\right\}$. Moreover, $\alpha (2,4)=4$, $\alpha (3,4)=8$, $\alpha (4,3)=6$ and $\alpha (4,4)=13$.

Remark 2.

Obviously $t(n,d)\le t_1(n,d)\le \alpha (n,d)$. Please note that $t_1(n,d)\le \alpha (n,d)-1$ if $n\ge 2$ (and hence ${\mathcal{I}}_{2S}\left(d\right)$ is not the trivial line bundle) and $\left(\genfrac{}{}{0pt}{}{n+d}{n}\right)-(n+1)\alpha (n,d)\le n$ for all $n\ge 2$ and $d\ge 3$, except in the 4 exceptional cases $(n,d)\in \left\{\right(2,4),(3,4),(4,3),(4,4\left)\right\}$.

Remark 3.

Let $S\subset {\mathbb{P}}^n$ be a general subset such that $\#S=\alpha (n,d-1)$. The Castelnuovo–Mumford lemma gives that ${\mathcal{I}}_{2S}\left(d\right)$ is spanned and that $h^1\left({\mathcal{I}}_{2S}\left(d\right)\right)=0$. Thus, $t(n,d)\ge \alpha (n,d-1)$.

Remark 4.

Since any 2 points of a projective space are collinear, $t(n,3)=t_1(n,3)=1$. Take $n=2$ and $d=4$. Since 4 general points of ${\mathbb{P}}^2$ are the complete intersection of 2 conics and $\alpha (2,4)=4$, we have $t(2,4)=t_1(2,4)=4$. Thus, in a few cases the upper bound in Remark 3 is sharp.

Lemma 1.

$t(2,5)=t_1(2,5)=6$.

Proof. 

Since $\alpha (2,5)=7$ and $3·7=\left(\genfrac{}{}{0pt}{}{7}{2}\right)$, $t_1(2,5)\le 6$. Thus, it is sufficient to prove that $t(2,5)\ge 6$. Fix a smooth cubic $D\subset {\mathbb{P}}^2$ and take $S_1\subset D$ such that $\#S_1=5$. Take $o\in {\mathbb{P}}^2\setminus D$ such that o is not contained in any line spanned by 2 of the points of $S_1$. We need to prove that ${\mathcal{I}}_{2S}\left(5\right)$ has no base points outside S and that $h^1\left({\mathcal{I}}_{2S}\left(5\right)\right)=0$. We have ${Res}_D\left(2S\right)=2o\cup S_1$. Since ${\mathcal{O}}_{{\mathbb{P}}^2}\left(1\right)$ is very ample, the residual exact sequence of D shows that ${\mathcal{I}}_{S_1\cup 2o}\left(3\right)$ has no base locus outside $D\cup \left\{o\right\}$. Thus, it is sufficient to use that $D\cong {\mathbb{P}}^1$ is projectively normal and that ${\mathcal{O}}_D\left(5\right)(-2(2S_1,D))\cong {\mathcal{O}}_D$. □

To prove Theorem 1 we prove the following result.

Theorem 2.

Fix integers $d\ge 5$ and z such that $0\le 3z\le \left(\genfrac{}{}{0pt}{}{d+2}{2}\right)-4$. Then there is a connected zero-dimensional scheme $Z\subset {\mathbb{P}}^2$ such that Z is a flat limit of a family of z pairwise disjoint double points, $h^1\left({\mathcal{I}}_Z\left(d\right)\right)=0$ and $|{\mathcal{I}}_Z\left(d\right)|$ has no base points outside $Z_{red}$.

Lemma 2.

Let $C\subset {\mathbb{P}}^2$ be a smooth curve. Fix $o\in C$ and positive integers $z,w$ such that $3z/2<w\le 2z$. Then there is a zero-dimensional scheme $Z\subset {\mathbb{P}}^2$ such that $Z_{red}=\left\{o\right\}$, $deg\left(Z\right)=3z$, Z is a flat limit of a family of unions of z pairwise disjoint double points, $Z\subset 2C$ and $deg(Z\cap C)=w$.

Proof. 

If $w=2z$ we use ([18], Proposition 5.1.2), which corresponds in the set-up of [9] to the front collision, which just adds the escaliers of the z double points. Assume $3z/2<w<2z$ and set $e:=2z-w$. Please note that $w=2(z-e)+e$. We take a specialization Z of a family of general unions $A=B\cup E$ with B a general unions of $z-e$ double points of ${\mathbb{P}}^2$ with as reduction general points of C and E a general union of e double points of ${\mathbb{P}}^2$. Then we apply e times (each time to a different connected component of E) ([18], §5.2) with the escalier $(2,1)$ of a double point of ${\mathbb{P}}^2$. □

Proof of Theorem 2:

Let t be the maximal positive integer such that $t\le d$ and $\left(\genfrac{}{}{0pt}{}{d+2}{2}\right)-\left(\genfrac{}{}{0pt}{}{d-t+2}{2}\right)-2\le 2z$.

Claim 1:

$t>d/2$.

Proof of Claim 1:

Assume $t\le d/2$. Since t is maximal, $\left(\genfrac{}{}{0pt}{}{d+2}{2}\right)-\left(\genfrac{}{}{0pt}{}{d/2+1}{2}\right)\le 2z-1$, i.e., $(3d^2+10d+4)/8\le 2z-1$, i.e., $16z\ge 3d^2+10d+12$. We have $3z\le \left(\genfrac{}{}{0pt}{}{d+2}{2}\right)-4$, i.e., $6z\le d^2+3d-6$, contradicting the assumption $d\ge 5$.

Fix a general $C\in |{\mathcal{O}}_{{\mathbb{P}}^2}\left(t\right)|$. Thus, C is smooth and $h^0\left({\mathcal{O}}_C\left(d\right)\right)=\left(\genfrac{}{}{0pt}{}{d+2}{2}\right)-\left(\genfrac{}{}{0pt}{}{d-t+2}{2}\right)$. Set $w:=\left(\genfrac{}{}{0pt}{}{d+2}{2}\right)-\left(\genfrac{}{}{0pt}{}{d-t+2}{2}\right)-2$. By Lemma 2 there is a connected zero-dimensional scheme $Z\subset {\mathbb{P}}^2$ such that $Z\subset 2C$ and $deg(Z\cap C)=w$. Thus, ${Res}_C\left(Z\right)$ is a general connected zero-dimensional subscheme of C of degree $3z-w$. By [19]$h^1(C,{\mathcal{I}}_{Z\cap C,C}\left(d\right))=0$ and $h^1(C,{\mathcal{I}}_{{Res}_C\left(Z\right)}\left(t\right))=0$. Since $h^1(C,{\mathcal{I}}_{{Res}_C\left(Z\right)}\left(t\right))=0$ and C is projectively normal, $h^1\left({\mathcal{I}}_{{Res}_C\left(Z\right)}\left(t\right)\right)=0$. The residual exact sequence of C gives $h^1\left({\mathcal{I}}_Z\left(d\right)\right)=0$ and that the restriction map $\rho :H^0\left({\mathcal{I}}_Z\left(d\right)\right)\stackrel{}{\to }{H}^0(C,{\mathcal{I}}_{C\cap Z,C}\left(d\right))$ is surjective. Call W the scheme-theoretic base locus of $|{\mathcal{I}}_Z\left(d\right)|$. Since C is a smooth curve and $Z\cap C$ is a general connected degree w subscheme of C,20] gives that no point of $C\setminus C\cap Z$ is a base point of $H^0(C,{\mathcal{I}}_{C\cap Z,C}\left(d\right))$. The surjectivity of $\rho$ gives that no point of $C\setminus Z_{red}$ is a base point of $H^0\left({\mathcal{I}}_Z\left(d\right)\right)$. Since a general osculating space of a curve is not hyperosculating and $\rho$ is surjective, we obtain $C\cap W=C\cap Z$ as schemes. Since $t>d/2$, $H^0\left({\mathcal{O}}_{{\mathbb{P}}^{\mathcal{2}}}(\mathcal{d}-\mathcal{t})\right)\cong {\mathcal{H}}^{\mathcal{0}}\left({\mathcal{O}}_{\mathcal{C}}(\mathcal{d}-\mathcal{t})\right)$. Since ${Res}_C\left(Z\right)$ is a general connected degree $3z-w$ subscheme of the smooth curve C and $h^0\left({\mathcal{O}}_{\mathcal{C}}(\mathcal{d}-\mathcal{t})\right)\ge \mathcal{3}\mathcal{z}-\mathcal{w}+\mathcal{2}$,20] gives $W\cap 2C=Z$. Thus, ${\mathcal{I}}_Z\left(t\right)$ has no base point outside C. Since no point of $C\setminus Z_{red}$ is a base point of $H^0\left({\mathcal{I}}_Z\left(d\right)\right)$, no $a\in {\mathbb{P}}^2\setminus Z_{red}$ is a base point of $|{\mathcal{I}}_Z\left(d\right)|$. □

Proof of Theorem 1:

Being globally generated is an open condition in families of coherent sheaves with constant cohomology. Thus, it is sufficient to prove that if $3z\ne \left(\genfrac{}{}{0pt}{}{d+2}{2}\right)-4$ the scheme Z constructed in the proof of Theorem 2 is globally generated. Let ${\mathcal{I}}_W\left(d\right)\subseteq {\mathcal{I}}_Z\left(d\right)$ be the image of the evaluation map $H^0\left({\mathcal{I}}_Z\left(d\right)\right)\otimes {\mathcal{O}}_{{\mathbb{P}}^2}\stackrel{}{\to }{\mathcal{I}}_Z\left(d\right)$. Since $W\supseteq Z$, to conclude the proof it is sufficient to prove that $W\subseteq Z$. Since $|{\mathcal{I}}_Z\left(d\right)|$ has no base points outside $Z_{red}$, W is a connected zero-dimensional scheme. Take C, t and w as in the proof of Theorem 2. We saw that $W\cap C=Z\cap C$. Since $deg\left(Z\right)\le \left(\genfrac{}{}{0pt}{}{d+2}{2}\right)-4$, $deg\left({Res}_C\left(Z\right)\right)\le h^0\left({\mathcal{O}}_{\mathcal{C}}(\mathcal{d}-\mathcal{t})\right)-\mathcal{2}$. Please note that ${Res}_C\left(Z\right)$ is a general connected zero-dimensional scheme of degree $3z-w\le h^0\left({\mathcal{O}}_{\mathcal{C}}(\mathcal{d}-\lceil \mathcal{d}/\mathcal{2}\rceil )\right)-\mathcal{2}$. Hence $H^0(C,{\mathcal{I}}_{{Res}_C\left(Z\right)}(d-\lceil d/2\rceil ))$ has no base points ([20]; note that in [20] “curve” means “smooth curve”). Consider the residual exact sequence

$$0\stackrel{}{\to }{\mathcal{I}}_{{Res}_C\left(Z\right)}(d-t)\stackrel{}{\to }{\mathcal{I}}_Z\left(d\right)\stackrel{}{\to }{\mathcal{I}}_{Z\cap C,C}\left(d\right)\stackrel{}{\to }0$$

(2)

We saw that $h^1\left({\mathcal{I}}_{{Res}_C\left(Z\right)}(d-t)\right)=h^1(C,{\mathcal{I}}_{Z\cap C,C}\left(d\right))=0$ and that ${\mathcal{I}}_{{Res}_C\left(Z\right)}(d-t)$ and ${\mathcal{I}}_{Z\cap C,C}\left(d\right)$ are globally generated. Thus, ${\mathcal{I}}_Z\left(d\right)$ is globally generated. □

4. Base Point Freeness

In this section, we point out why it is still open, even for generic symmetric rank, although very similar statements are true, stated and proved in the literature ([10,11,12,13]).

Assume characteristic zero.

Let $X\subset {\mathbb{P}}^r$ be an integral and non-degenerate variety. Set $n:=dimX$ and fix an integer $s>0$ such that $s(n+1)\le r$ and $dim{\sigma }_s\left(X\right)=s(n+1)-1$, i.e., X is not secant s-defectivity. Fix a general $S\subset X_{reg}$ such that $\#S=s$ and set $Z:={\cup }_{o\in S}2o$. Since $dim{\sigma }_s\left(X\right)=s(n+1)-1$, $\mathbb{L}:=⟨Z⟩$ has dimension $s(n+1)-1$. Take a general hyperplane $H\subset {\mathbb{P}}^r$ containing Z. There are key notions due to C. Ciliberto and L. Chiantini (weak nondefectivity and tangential nondefectivity) ([10,11,12]) which when they are satisfies imply that H is tangent to $X_{reg}$ only at the points of S. This true statement does not imply that $\mathbb{L}$ meets $X_{reg}$ only at S and the linear spaces contained in X and containing at least one point of S, even when $\mathbb{L}$ has codimension $\ge n+1$. It would seem intuitively true, but it is only conjectural for curves and false in some cases for higher-dimensional smooth manifolds ([21]).

We say that Assumption 1 holds if the following conjectural statement is true:

Assumption 1.

Assume $\mathrm{char}\left(\mathbb{K}\right)=0$. Let $X\subset {\mathbb{P}}^r$, $r\ge 3$, be any integral and non-degenerate curve. For a general $p\in X_{reg}$ the tangent line $T_{p}X$ of X at p meets X only at p.

An assumption similar to Assumption 1 trivially fail for all X such that $dimX>1$ and X is covered by lines. However, an example due to M. Ohno shows that it may fail even for smooth manifolds of general type [21]. See [22,23] for many partial solutions and applications of Assumption 1. Thus, we cannot freely extend to general unions of double points the following observation concerning general finite sets.

Remark 5.

Let $X⊊{\mathbb{P}}^r$ be an integral and non-degenerate variety. Set $n:=dimX$. Let $S\subset X$ be a general set such that $\#S=r-n$. In characteristic 0 an easy application of the linear general position of a general codimension n linear section gives $S=X\cap ⟨S⟩$ (scheme-theoretic intersection).

For any $o\in X_{reg}$ and all positive integer m let $mo$ denote the closed subscheme of $X_{reg}$ with ${\left({\mathcal{I}}_o\right)}^m$ as its ideal sheaf. The linear space $O_m{\left(X\right)}_o:=⟨(m+1)o⟩$ is the m-osculating linear space of X at o. Motivated by [20] we consider the following Condition (Assumption 2):

Assumption 2.

Assume $\mathrm{char}\left(\mathbb{K}\right)=0$. Fix integers $r\ge m+2\ge 3$. Let $X\subset {\mathbb{P}}^r$ be any integral and non-degenerate curve. For a general $p\in X_{reg}$ the m osculating space $O_m{\left(X\right)}_p$ of X at p meets X only at p and the support of the union of the point and the arrow. Usually, this support is a very small part of the Segre variety.

We are working over an algebraically closed field of characteristic zero, because Assumption 1 fails in positive characteristic even for some smooth curves ([24], Example 4.1). In characteristic 0 Assumptions 1 and 2 holds for all smooth curves ([20,23,24], Theorem 3.1)

5. Tensors

Tensors associated with an arrow are exactly the tensors contained in the tangential variety of the Segre variety related to the format of the tensor. In this section we describe all concise tensors which are linear combinations in two different ways of a rank 1 tensor and a tensor associated with an arrow (Theorem 3). Theorem 3 lists 7 cases with for each case a quotation of an example or remark of the paper. The remark or example describes in detail each exceptional case. In each case we describe by how many parameters the possible unions of an arrow and a point depend.

We recall the following properties of the Segre varieties and their connection with tensors and the tensor rank of a tensor ([25]).

Let $Y={\mathbb{P}}^{n_1}\times \cdots \times {\mathbb{P}}^{n_k}$, $k\ge 1$, $n_i>0$, $1\le i\le k$, be a multiprojective space. Let ${\pi }_i:Y\stackrel{}{\to }{\mathbb{P}}^{n_i}$ denote the projection of Y onto its i-th factor. If $k\ge 2$ set $Y_i:={\prod }_{h\ne i}{\mathbb{P}}^{n_h}$ and let ${\eta }_i:Y\stackrel{}{\to }{Y}_i$ denote the projection. The map ${\eta }_i$ is the map forgetting the i-th coordinate of each $(a_1,\cdots ,a_k)\in Y$. Let ${\nu }_i$ denote the Segre embedding of $Y_i$.

For all $(d_1,\cdots ,d_k)\in {\mathbb{Z}}^k$ set ${\mathcal{O}}_Y(d_1,\cdots ,d_k):={\otimes }_{i=1}^k{\pi }_i^{*}\left({\mathcal{O}}_{{\mathbb{P}}^{n_i}}\left(d_i\right)\right)$. The line bundles ${\mathcal{O}}_Y(d_1,\cdots ,d_k)$, $(d_1,\cdots ,d_k)\in {\mathbb{Z}}^k$, form a $\mathbb{Z}$-basis of the abelian group $\mathrm{Pic}\left(Y\right)$. The Künneth formula gives $h^0\left({\mathcal{O}}_Y(d_1,\cdots ,d_k)\right)=0$ if some $d_i<0$, $h^0\left({\mathcal{O}}_Y(d_1,\cdots ,d_k)\right)={\prod }_{i=1}^k\left(\genfrac{}{}{0pt}{}{n_i+d_i}{n_i}\right)$ if $d_i\ge 0$ for all i and $h^1\left({\mathcal{O}}_Y(d_1,\cdots ,d_k)\right)=0$ if $d_i\ge -1$ for all i. For any $i\in \{1,\cdots ,k\}$ let ${\mathcal{O}}_{\mathcal{Y}}\left({\epsilon }_{\mathcal{i}}\right)$ (resp. ${\mathcal{O}}_Y\left({\widehat{\epsilon }}_i\right)$) be the line bundle ${\mathcal{O}}_{\mathcal{Y}}({\mathcal{a}}_{\mathcal{1}},\cdots ,{\mathcal{a}}_{\mathcal{k}})$ on Y with multidegree $(a_1,\cdots ,a_k)$ with $a_i=1$ and $a_j=0$ for all $j\ne i$ (resp. We have $h^0\left({\mathcal{O}}_{\mathcal{Y}}\left({\epsilon }_{\mathcal{i}}\right)\right)={\mathcal{n}}_{\mathcal{i}}+\mathcal{1}$. Set $r:=-1+{\prod }_{i=1}^k(n_i+1)$. Let $\nu :Y\stackrel{}{\to }{\mathbb{P}}^r$ denote the Segre embedding of Y.

For any tensor T of format $(n_1+1)\times \cdots \times (n_k+1)$, $T\ne 0$, the tensor rank of T is the $\nu \left(Y\right)$-rank $r_{\nu \left(Y\right)}\left(\left[T\right]\right)$ of the element $\left[T\right]\in {\mathbb{P}}^r$ associated with T.

The main result of this section is the following one.

Theorem 3.

Let $A\subset Y={\mathbb{P}}^{n_1}\times \cdots \times {\mathbb{P}}^{n_k}$ be a union of a point and an arrow. Assume that Y is the minimal multiprojective space containing Y. Fix $q\in ⟨\nu \left(A\right)⟩$ such that $q\notin \nu \left(A^{\prime }\right)⟩$ for any $A^{\prime }\subseteq A$. Assume the existence of a union $B\subset Y$ of a point and an arrow such that $B\ne A$ and $q\in ⟨\nu \left(A\right)⟩\cap ⟨\nu \left(B\right)⟩$. Then Y is as in one of the following cases (assuming $n_i\ge n_j$ for all $i\le j$):

1 .

$deg\left(B\right)=1$ and either $k=1$, $n_1\le 2$ or $k=2$ and $n_1=n_2=1$.

2 .

$deg\left(B\right)=2$ and either $k=1$, $n_1\le 2$ or $k=2$ and $n_1=n_2=1$.

3 .

$k=2$, $n_1\le deg\left(B\right)-1$ and $A,B,q$ are as in Remark 10.

4 .

$deg\left(B\right)=3$, $Y={\left({\mathbb{P}}^1\right)}^3$ and $A,B,q$ are as in Remark 11.

5 .

$deg\left(B\right)=3$, $Y={\left({\mathbb{P}}^1\right)}^4$ and $A,B,q$ are as in Example 9.

6 .

$deg\left(B\right)=3$, $Y={\mathbb{P}}^2\times {\mathbb{P}}^1\times {\mathbb{P}}^1$ and A, B are as in Example 3.

7 .

$deg\left(B\right)=3$ and $(Y,q,B)$ is as in Examples 4, 5, 6, 7 or 8.

In each case we give a rough description of the possible B’s. The one with $deg\left(B\right)=1$ (resp. $deg\left(B\right)=2$) are listed in Remark 10 (resp. 11). The last case, i.e., Examples 4, 5, 7 or 8 are the only cases which allow any $k\ge 5$.

Remark 6.

Let $Z\subset Y$ be a zero-dimensional scheme of degree $z\ge 2$. The minimal multiprojective subspace of Y containing Z is the multiprojective space $Y^{\prime }:={\prod }_{i=1}^k⟨{\pi }_i\left(Z\right)⟩$. Write $Y^{\prime }={\mathbb{P}}^{m_1}\times \cdots \times {\mathbb{P}}^{m_s}$ for some positive integers s and $m_h$, $1\le h\le s$. We have $m_i\le deg\left(Z\right)-1$ for all i and this is in general the only restriction we may obtain from the isomorphism class of Z as an abstract scheme. Of course, $s\le k$ and if the h-th positive-dimensional factor of $Y^{\prime }$ is contained in the i-th-dimensional factor of Y, then $m_h\le n_i$.

Remark 7.

([26], Lemma 4.4) Let $W\subset Y$ be a zero-dimensional scheme such that $deg\left(W\right)\le 3$ and $\nu \left(W\right)$ is linearly dependent. Since ν is an embedding, $deg\left(W\right)=3$ and $⟨\nu \left(W\right)⟩$ is a line. Since $\nu \left(Y\right)$ is scheme-theoretically cut out by quadrics and $W\subseteq ⟨\nu \left(E\right)⟩\cap \nu \left(Y\right)$, then $⟨\nu \left(E\right)⟩\subset Y$. Since the only linear subspaces contained in the Segre variety X are the one contained in a fiber of one of its k rulings, there is of $i\in \{1,\cdots ,k\}$ such that $deg\left({\pi }_h\left(W\right)\right)=1$ for all $h\ne i$, ${\pi }_{i|W}$ is an embedding and ${\pi }_i\left(W\right)\subseteq {\mathbb{P}}^{n_i}$ is a line.

Remark 8.

Take $q\in ⟨\nu \left(B\right)⟩$ with $B\subset Y$, $deg\left(B\right)\le 3$ and B curvilinear. The point q has border rank $b\le deg\left(A\right)$ ([27], Proposition 1.1 and Theorem 1.2) and the minimal multiprojective space $Y^{\prime }\subseteq Y$ with $q\in ⟨\nu \left(Y^{\prime }\right)⟩$ contains all curvilinear degree b schemes $E\subset Y$ such that $deg\left(E\right)=b$ and $q\in ⟨\nu \left(E\right)⟩$ are contained in $Y^{\prime }$ ([28], Theorem 2.5).

Example 1.

Let $W\subset {\mathbb{P}}^n$ be a zero-dimensional scheme such that $deg\left(W\right)=4$, W spans ${\mathbb{P}}^n$, W is linearly dependent, but all proper subschemes are linearly independent. Obviously $n=2$. Since $h^0\left({\mathcal{O}}_{{\mathbb{P}}^4}\left(2\right)\right)=6$ and $deg(L\cap W)\le 3$ for all lines $L\subset {\mathbb{P}}^2$, $dim|{\mathcal{I}}_W\left(2\right)|=2$ and either W is the complete intersection of 2 conics or $deg(L\cap W)=3$ for exactly one line L and there is $o\in {\mathbb{P}}^2$ such that all $E\in |{\mathcal{I}}_W\left(2\right)|$ is of the form $E=L\cup R$ with $R\in |{\mathcal{I}}_o\left(1\right)|$. In both cases there are non-curvilinear W’s. In the latter case the latter case $o\in L$ and W is the union of the fat point $2o$ and some $p\in L\setminus \left\{o\right\}$.

Example 2.

Let $W\subset {\mathbb{P}}^1\times {\mathbb{P}}^1$ be a degree 4 scheme. Since $h^0\left({\mathcal{O}}_{{\mathbb{P}}^1\times {\mathbb{P}}^1}(1,1)\right)=4$, $h^1\left({\mathcal{I}}_W(1,1)\right)>0$ if and only if there is $D\in |{\mathcal{O}}_{{\mathbb{P}}^{\mathcal{1}}\times {\mathbb{P}}^{\mathcal{1}}}(\mathcal{1},\mathcal{1})|$ containing W. If $\nu \left(W^{\prime }\right)$ is linearly independent for all $W^{\prime }⊊W$, then D is unique, because $h^1\left({\mathcal{I}}_W(1,1)\right)=1$ in this case.

Proposition 1.

Let $v\subset Y$ be an arrow such that Y is the minimal multiprojective space. Set $o:=v_{red}$. Fix $q\in ⟨\nu \left(v\right)⟩\setminus \left\{o\right\}$. There is a zero-dimensional scheme $Z\subset Y$ such that $deg\left(Z\right)\le 2$, $Z\ne v$, and $q\in ⟨\nu \left(Z\right)⟩$ if and only if one of the following cases occur:

1 .

$k=1$, $n_1=1$;

2 .

$k=1$, $n_1=2$;

3 .

$k=2$, $n_1=n_2=1$.

(a) 

In case (1) we may take $deg\left(Z\right)=1$ (with $\nu \left(Z\right)=\left\{q\right\}$), $deg\left(Z\right)=2$ and reduced or $deg\left(Z\right)=2$ and Z an arrow.

(b) 

In case (2) $\nu (v\cup Z)$ is the complete intersection of two conics in the plane $⟨\nu (W\cup Z)⟩$.

(c) 

In case (3) there are ${\infty }^2$ reduced Z (parametrized by a plane minus a line) and ${\infty }^1$ arrows Z (parametrized by a line minus the point corresponding to v).

Proof. 

Cases (1), (2) and (3) occur and in each case the possible schemes Z described in (a), (b) and (c) are the schemes which occur (Examples 1 and 2).

Now we prove the “only if” part. Set $W:=v\cup Z$. Thus, $deg\left(W\right)\le 4$. Since $v\ne Z$, $deg\left(W\right)\le 3$. First assume $deg\left(W\right)=3$. We are in the case (1) by Example 1. Now assume $deg\left(W\right)=4$ and hence $Z\cap v=\varnothing$. Theorem 7 gives that we are in one of these cases (1), (2) and (3). □

Remark 9.

Proposition 1 describes all degree 4 schemes $W\subset Y$, W not reduced and not containing a connected component of degree at least 3, such that Y is the minimal multiprojective space containing W, $\nu \left(W\right)$ is linearly dependent and all proper subschemes of $\nu \left(W\right)$ are linearly independent. For the case W reduced, see [29] and/or [30]. For an arbitrary W of degree 4, see [31]. In [26,29,30,31] there are related results obtained under assumptions with minor differences. For instance in [26] we assume that q has rank 3 and that Y is the minimal multiprojective space such that $q\in ⟨\nu \left(Y\right)⟩$. Here we do not assume that $\nu \left(Y\right)$ is the minimal Segre spanning q, because it seems too restrictive. Making the assumption that $\nu \left(Y\right)$ is concise for q would drastically cut some proofs. Requiring that q has not cactus rank $\le 2$ would allow the interested reader to omit Propositions 1 and 2.

Remark 10.

Assume $k=2$.

(a) Assume $n_i=1$ for at least one i, say $n_2=1$. Since any $(n_1+1)\times 2$ matrix has rank $\le 2$, for each $q\in {\mathbb{P}}^r\setminus Y$ there are infinitely many $S\subset Y$ such that $q\in ⟨\nu \left(S\right)⟩$ and $\#S=2$. Now assume $n_1\le 2$. Since ${\mathbb{P}}^r$ is the tangential variety of $\tau \left(\nu \right(Y\left)\right)$, we obtain the existence of an arrow $Z\subset Y$ such that $q\in ⟨\nu \left(Z\right)⟩$. By ([32], Ex. II.3.22(b)) we see that q is associated with at least ${\infty }^2$ sets S and ${\infty }^1$ arrows Z.

(b) Assume $n_1=n_2=2$ and hence $r=8$. There are $q\in {\mathbb{P}}^8$ with tensor rank 2 and tensors spanned by $\nu \left(Z\right)$ with Z connected and of degree 2. As in part (a) we obtain $q\in ⟨\nu \left(A\right)⟩$ with $deg\left(A\right)=3$ and A union of an arrow and a point.

Proposition 2.

Let $A\subset Y$ be the union of an arrow v and a point $p\ne o:=v_{red}$. Assume that Y is the minimal multiprojective space containing A. Fix $q\in ⟨\nu \left(A\right)⟩$ such that there is no $A^{\prime }⊊A$ with $q\in ⟨\nu \left(A^{\prime }\right)⟩$. There is a zero-dimensional scheme $Z\subset Y$ such that $deg\left(Z\right)\le 2$ and $q\in ⟨\nu \left(Z\right)⟩$ if and only if A, Y and Z are as follows:

1. 

$k=1$ and $n_1=1$ (here $q\in \nu \left(Y\right)$, say $q=\nu \left(o^{\prime }\right)$);

2. 

$k=2$, $n_1=n_2=1$;

3. 

$k=2$, $n_1+n_2=3$; $k=n_1=n_2=2$;

4. 

$k=3$, $n_1=n_2=n_3=1$.

(i) 

In case (1) the schemes Z are as follows:

(i1) 

$deg\left(Z\right)=1$ and Z is the point of Y such that $q=\nu \left(Z\right)$;

(i2) 

Z is any degree 2 subscheme.

(ii) 

In case (2) there are ${\infty }^2$ schemes Z formed by 2 points and ${\infty }^1$ schemes Z which are arrows.

(iii) 

In cases (3) and (4) there are at least ${\infty }^2$ schemes Z formed by 2 points and at least ${\infty }^1$ schemes Z which are arrows; in this case Y is not the minimal multiprojective space such that $q\in ⟨\nu \left(Y\right)⟩$.

Proof. 

All listed cases are associated with some Z and the schemes Z are as described in Remarks 10 and 11. Thus, it is sufficient to prove the “only if” part.

Since $deg\left(A\right)=3$ and Y is the minimal multiprojective space containing A, $n_i\le 2$ for all i.

Set $W:=Z\cup A$. Please note that $deg\left(W\right)\le 5$. Since there is no $A^{\prime }⊊A$ such that $q\in ⟨\nu \left(A^{\prime }\right)⟩$, we have $deg\left(W\right)\ge 4$. Since Y is the minimal multiprojective space containing A, $n_i\le 2$ for all i. If $n_i=1$, then $deg\left({\pi }_i\left(A\right)\right)\ge 2$. If $n_i=2$, then $deg\left({\pi }_i\left(A\right)\right)=3$ and ${\pi }_i\left(A\right)$ is linearly independent. Proposition 1 covers the case $deg\left(W\right)=4$. Thus, we may assume $deg\left(W\right)=5$, i.e., $Z\cap A=\varnothing$.

If $k=1$, then Z is any degree 2 scheme spanning a line containing $o^{\prime }$ and not intersecting A. All cases with $k=2$ are covered by Remark 10. Thus, we may assume $k>2$.

(a)

Assume for the moment $n_i>1$ for some i, say $n_1>1$ and hence $n_1=2$. Since Y is the minimal multiprojective space containing Y, $deg\left({\pi }_1\left(A\right)\right)=3$ and ${\pi }_1\left(A\right)$ is linearly independent. Take $H_1\in \left|{\mathcal{I}}_v\left({\epsilon }_1\right)\right|$ and $H_2\in \left|{\mathcal{I}}_u\left({\epsilon }_2\right)\right|$. The scheme $E:={Res}_{H_1\cup H_2}\left(W\right)$ is contained in Z.

(a1)

Assume $E\ne \varnothing$. Since $Z\cap A=\varnothing$, quoting ([33], Lemma 5.1) we obtain $h^1\left({\mathcal{I}}_E(0,0,1,\cdots ,1)\right)=0$. Since $E\subseteq Z$ and ${\mathcal{O}}_Y(0,0,1,\cdots ,1)$ is globally generated, we obtain $E=Z$ and $deg\left({\pi }_i\left(Z\right)\right)=1$ for all $i>2$. Thus, $|{\mathcal{I}}_Z\left({\epsilon }_3\right)|\ne \varnothing$. Fix $M\in |{\mathcal{I}}_Z\left({\epsilon }_3\right)|$. Since $Z\cap A=\varnothing$ and $A⊈M$, ([33], Lemma 5.1) gives $h^1\left({\mathcal{I}}_{{Res}_M\left(W\right)}\left({\widehat{\epsilon }}_3\right)\right)>0$. Since ${Res}_M\left(W\right)\subseteq A$ and ${\pi }_{1|A}$ is an embedding with linearly independent image, we obtain a contradiction.

(a2)

Assume $E=\varnothing$, i.e., assume $W\subset H_1\cup H_2$. By step (a1) we may also assume $W\subseteq H_1\cup H_3$ with $H_3\in \left|{\mathcal{I}}_u\left({\epsilon }_3\right)\right|$. Set $\left\{M_1\right\}$:= $|{\mathcal{I}}_{\{o,u\}}\left({\epsilon }_1\right)|$ and take $M_2\in \left|{\mathcal{I}}_o\left({\epsilon }_2\right)\right|$ and $M_3\in \left|{\mathcal{I}}_o\left({\epsilon }_3\right)\right|$. Since $A\subset (M_1\cup M_2)\cap (M_1\cup M_3)$, we also obtain $Z\subset M_1\cup M_2$ and $Z\subset M_1\cup M_3$. Assume that either $Z\cap H_1=\varnothing$ or $Z\cap M_1=\varnothing$, say $Z\cap H_1=\varnothing$. We get $Z\subset H_2$. The residual exact sequence of $H_2$ and ([33], Lemma 5.1) give a contradiction because $deg\left({\pi }_1\left(A\right)\right)=3$ and ${\pi }_1\left(A\right)$ is linearly independent. Assume that either $Z\subset H_1$ or $Z\subset M_1$, say $Z\subset H_1$. The residual exact sequence of $H_1$ gives a contradiction. Thus, $deg(Z\cap H_1)=deg(Z\cap M_1)=1$. Using $H_1$ we obtain $h^1\left({\mathcal{I}}_{{Res}_{H_1}\left(W\right)}\left({\widehat{\epsilon }}_1\right)\right)>0$ with ${Res}_{H_1}\left(W\right)$ the union of u and a point of $A_{red}$, call it e. Since $h^1\left({\mathcal{I}}_{{Res}_{H_1}\left(W\right)}\left({\widehat{\epsilon }}_1\right)\right)>0$, ${\pi }_i\left(u\right)={\pi }_i\left(e\right)$ for all $i>1$. Take $R\in |{\mathcal{I}}_u\left({\epsilon }_3\right)|$. Using R we obtain $h^1\left({\mathcal{I}}_{v\cup {Res}_R\left(Z\right)}\left({\widehat{\epsilon }}_3\right)\right)>0$. Using $H_2$ we obtain $h^1\left({\mathcal{I}}_{v\cup {Res}_{H_2}\left(Z\right)}\left({\widehat{\epsilon }}_2\right)\right)>0$. Thus, ${\pi }_i\left({Res}_{H_2}\left(Z\right)\right)\subseteq {\pi }_i\left(v\right)$ for all $i\ne 2$. Since $dim|{\mathcal{O}}_Y\left({\epsilon }_2\right)|+dim|{\mathcal{O}}_Y\left({\epsilon }_3\right)|\ge 2$, there are $T\in |{\mathcal{O}}_Y\left({\epsilon }_2\right)|$ and $T^{\prime }\in \left|{\mathcal{O}}_Y\left({\epsilon }_2\right)\right|$ such that $Z\subset T\cup T^{\prime }$. First assume $A⊈T\cup T^{\prime }$. Since $A\cap Z=\varnothing$, ([33], Lemma 5.1) gives $h^1\left({\mathcal{I}}_{{Res}_{T\cup T^{\prime }}\left(A\right)}(1,0,0,\cdots )\right)>0$. Since $deg\left({\pi }_1\left(A\right)\right)=3$ and ${\pi }_1\left(A\right)$ is linearly independent, we obtained a contradiction. Now assume $A\subset T\cup T^{\prime }$. If $Z\subset T$ (resp. $Z\subset T^{\prime }$) we may take instead of $T^{\prime }$ (resp. T) a general element of its complete linear system and obtain a contradiction, because Y is the minimal multiprojective space containing A. Thus, $T\cap Z\ne \varnothing$ and $T^{\prime }\cap Z\ne \varnothing$. One of the two divisors T or $T^{\prime }$, say T, contains v. Set $\left\{a\right\}:={Res}_T\left(Z\right)$. Please note that $a\in T^{\prime }$. We obtain $h^1\left({\mathcal{I}}_{\{u,a\}}\left({\widehat{\epsilon }}_2\right)\right)>0$, i.e., ${\pi }_i\left(a\right)={\pi }_i\left(u\right)$ for all $i\ne 2$. If $a=e$ we obtain $a=u$, a contradiction. Please note that $a=e$ if Z is connected. Assume $a\ne e$ and hence $Z=\{a,e\}$. Since $A⊈T$, $u\in T^{\prime }$. Hence ${\pi }_3\left(a\right)={\pi }_3\left(u\right)$. Since $a\ne e$, we obtain ${Res}_{T^{\prime }}\left(W\right)\subseteq v$. Hence the residual exact sequence of $T^{\prime }$ gives a contradiction.

(b)

Assume $Y={\left({\mathbb{P}}^1\right)}^k$. All cases with $k\le 3$ are listed. Thus, we assume $k\ge 4$. Let $e_1$ be the maximal integer such that $e_1=deg(H\cap W)$ for some $i\in \{1,\cdots ,k\}$ and some $H\in |{\mathcal{O}}_Y\left({\epsilon }_i\right)|$. With no loss of generality we may assume $i=1$. Set $W_1:={Res}_H\left(W\right)$. Let $e_2$ be the maximal integer such that $e_2=deg(M\cap W_1)$ for some $i\in \{2,\cdots ,k\}$ and some $M\in |{\mathcal{O}}_Y\left({\epsilon }_i\right)|$. With no loss of generality we may assume $i=2$. Set $W_2:={Res}_H\left(W_1\right)$. Obviously $e_1\ge e_2$. Since Y is the minimal multiprojective space containing A, $1\le i\le 4$.

(b1)

Assume $e_1=4$. Quoting ([33], Lemma 5.1) we obtain a contradiction.

(b2)

Assume $e_1=2$. Thus, $1\le e_2\le 2$. If $e_2=2$ applying ([33], Lemma 5.1) to $H\cup M$ we obtain a contradiction. Assume $e_2=1$. The definition of $e_1$ gives that each ${\pi }_{i|W_1}$, $i>2$, is an embedding. Fix $D\in |{\mathcal{O}}_Y\left({\epsilon }_3\right)|$ intersecting $W_2$. Please note that $deg\left({Res}_D\left(W_2\right)\right)=1$. The residual exact sequence of $H\cup M\cup D$ and ([33], Lemma 5.1) gives a contradiction.

(b3)

Assume $e_1=1$. The definition of $e_1$ gives that each ${\pi }_{i|W}$ is an embedding. Take $D\in |{\mathcal{O}}_Y\left({\epsilon }_3\right)|$ such that $D\cap W_2\ne \varnothing$ and set $W_3:={Res}_D\left(W_2\right)$. Please note that $deg(D\cap W)=1$ and that $deg\left(W_3\right)=2$. Since ${\pi }_{4|W_2}$ is an embedding, $h^1\left({\mathcal{I}}_{W_2}(0,0,0,1,\cdots )\right)=0$, contradicting ([33], Lemma 5.1).

(b4)

Assume $e_1=3$. If $e_2=1$ quoting ([33], Lemma 5.1) we obtain a contradiction. Now assume $e_2=2$, i.e., assume $W\subset H\cup M$. If there are $i\in \{3,\cdots ,k\}$ and $D\in |{\mathcal{O}}_Y\left({\epsilon }_i\right)|$ with $deg(W_1\cap D)=1$, then quoting ([33], Lemma 5.1) with respect to $H\cup D$ we obtain a contradiction. Thus, we may assume $deg\left({\pi }_i\left(W_1\right)\right)=1$ for all $i\ge 2$. Hence ${\pi }_{1|W_1}$ is an embedding. Set $E:={Res}_M\left(W\right)$. Since in step (b1) we excluded the case $e_1=4$ and $W_1\subset M$, we have $2\le deg(W\cap M)\le 3$ and hence $2\le deg\left(E\right)\le 3$. By assumption $E\subset H$ and hence $deg\left({\pi }_1\left(E\right)\right)=1$.

(b4.1)

Assume $deg\left(E\right)=2$. Using M instead of H in the first part of step (b4) we obtain $deg\left({\pi }_i\left(E\right)\right)=1$ for all $i\ne 2$. Take $H_i\in \left|{\mathcal{O}}_Y\left({\epsilon }_i\right)\right|$, $3\le i\le k$, containing E. We obtain $W\subset M+H_i$. We also have $W\subset H\cup M$. Please note that the set $M\cap H\cap H_3\cap \cdots \cap H_k$ is a point and that $\nu (M\cap H_3\cap \cdots \cap H_k)$ is a line of the Segre variety $\nu \left(M\right)$. We obtain $W_{red}\subset M$. Since $deg(W\cap M)=3$, we obtain $\#W_{red}=3$, i.e., Z is not reduce. Using H instead of M we obtain $W_{red}\subset H\cap M$. Using M and $H_i$, $3\le i\le k$, we obtain $W_{red}$ is contained in the point $H\cap M\cap H_3\cap \cdots \cap H_k$, absurd.

(b4.2)

Assume $deg\left(E\right)=3$. In the set-up of step (b4.1) we may also assume that $E\cap H_i=\varnothing$ for all $i=3,\cdots ,k$. Set $H_2:=M$. Let $w\subset E$ be a degree 2 scheme. Since $\nu$ is an embedding, there is $i_w\in \{2,\cdots ,k\}$ such that ${\pi }_{i_w|w}$ is an embedding. Let $M_w$ be an element of $|{\mathcal{O}}_Y\left({\epsilon }_{i_w}\right)|$ containing a point of $w_{red}$. Fix $i\in \{2,\cdots ,k\}\setminus \left\{i_w\right\}$ and set $F:={Res}_{H_i+M_w}\left(W\right)$. Since $deg(F\cap w)=1$, $1\le deg\left(F\right)\le 2$. By ([33], Lemma 5.1) we first obtain $deg\left(F\right)=2$ and then $deg\left({\pi }_h\left(F\right)\right)=1$ for all $h\notin \{i,i_w\}$. Either E is the union of 3 points, say $E=\{a,b,c\}$, or the union of a point a and an arrow z.

(b4.2.1)

Assume $E=\{a,b,c\}$. Thus, $E\ne A$. Take $w:=\{b,c\}$. Taking $M_w$ containing c we obtain ${\pi }_h\left(a\right)={\pi }_h\left(b\right)$ for all $h\notin \{i,i_w\}$. Taking $M_w$ containing b we obtain ${\pi }_h\left(a\right)={\pi }_h\left(c\right)$ for all $h\notin \{i,i_w\}$. Thus, $deg\left({\pi }_h\left(E\right)\right)=1$ for all $h\notin \{i,i_w\}$. Varying i we obtain $deg\left({\pi }_h\left(E\right)\right)=1$ for all $h\ne i_w$. In this case $⟨\nu \left(E\right)⟩$ is a line contained in the $i_w$-ruling of the Segre $\nu \left(Y\right)$. Thus, $\nu \left(E\right)$ is linearly dependent. Since $k>2$, Proposition 1 gives $q\notin \nu \left(Y\right)$. Since $q\in ⟨\nu \left(A\right)⟩\cap ⟨\nu \left(Z\right)⟩$ and $q\notin ⟨\nu \left(A^{\prime }\right)⟩$ for any $A^{\prime }⊊A$, we obtain $h^1\left({\mathcal{I}}_W(1,\cdots ,1)\right)\ge 2$. Since $\nu \left(A\right)$ is linearly independent, $h^1\left({\mathcal{I}}_W(1,\cdots ,1)\right)=2$. Thus, $\nu \left(Z\right)$ is contained in the plane, $⟨\nu \left(A\right)⟩$, which also contains the line $⟨\nu \left(E\right)⟩\subset \nu \left(Y\right)$. Since $q\notin ⟨\nu \left(Z^{\prime }\right)⟩$ for any $Z^{\prime }⊊Z$, $q\notin ⟨\nu \left(A^{\prime }\right)⟩$ for any $A^{\prime }⊊A$ and $Z\cap A=\varnothing$, $h^1\left({\mathcal{I}}_{W^{\prime }}(1,\cdots ,1)\right)\le 1$ for all $W^{\prime }\ne W$. Thus, $⟨\nu \left(E\right)⟩\cap \nu \left(W\right)=E$ (scheme-theoretically). Since $\nu \left(Y\right)$ contains no plane $⟨\nu \left(A\right)⟩⊈\nu \left(Y\right)$. Since $\nu \left(W\right)\subset ⟨\nu \left(A\right)⟩$ and $\nu \left(Y\right)$ is scheme-theoretically cut out by quadrics, $\nu \left(Y\right)\cap ⟨\nu \left(A\right)⟩$ is the union of 2 lines. Since Y is the minimal multiprojective space containing A, we obtain $k=2$ (([29], Proposition 5.2) or ([30], Proposition 1.1) or Theorem 1), a contradiction.

(b4.2.2)

Assume $E=z\cup \left\{a\right\}$ and set $\left\{b\right\}:=z_{red}$. Take $w=z$. We obtain ${\pi }_h\left(a\right)={\pi }_h\left(b\right)$ for all $h\notin \{i,i_w\}$. Varying i we obtain ${\pi }_h\left(a\right)={\pi }_h\left(b\right)$ for all $h\ne i_w$. Take $w=\{a,b\}$, but call $i_{w^{\prime }}$ the integer associated with this degree 2 scheme. We obtain ${\pi }_h\left(a\right)={\pi }_h\left(b\right)$ for all $h\ne i_{w^{\prime }}$. Thus, $i_w=i_{w^{\prime }}$. Thus, $⟨\{a,b\}⟩$ is a line contained in the w-th ruling of $\nu \left(Y\right)$. If $\nu \left(E\right)\subset ⟨\{a,b\}⟩$ we conclude as in step (b4.2.1). Assume $\nu \left(E\right)⊈⟨\{a,b\}⟩$. Either $z=v$ or Z is connected and $Z=z$. Take $h\ne i_w$ and $D\in |{\mathcal{I}}_a\left({\epsilon }_h\right)|$. By construction $deg(W\cap (H_{i_w}\cup D))=4$. Thus, $h^1\left({\mathcal{I}}_{{Res}_{H_{i_w}\cup D}}\right)=0$, contradicting ([33], Lemma 5.1).

□

Remark 11.

Take $Y:={\left({\mathbb{P}}^1\right)}^3$ and hence $r=7$. A general $q\in {\mathbb{P}}^7$ is contained in $⟨\nu \left(A\right)⟩$ for ${\infty }^4$ sets $A\subset Y$ such that $\#A=3$, ${\infty }^3$ unions A of an arrow and a point and for exactly one set $A\subset Y$ such that $\#A=2$. A general q in the tangential variety of $\nu \left(Y\right)\subset {\mathbb{P}}^7$ is contained in $⟨\nu \left(A\right)⟩$ for ${\infty }^4$ sets $A\subset Y$ such that $\#S=3$, ${\infty }^3$ unions A of an arrow and a point and exactly one arrow, but no set A with cardinality 2.

Example 3.

Take $Y={\mathbb{P}}^2\times {\mathbb{P}}^1\times {\mathbb{P}}^1$ and take $q\in {\mathbb{P}}^r$ such that $r_{\nu \left(Y\right)}\left(q\right)=3$ and there is $H\in |{\mathcal{O}}_Y(0,1,1)|$ with $q\in ⟨\nu \left(H\right)⟩$. This case covers cases (4) and (5) of ([26], Theorem 7.1), case (4) being the case H irreducible, while case (5) being the case H reducible. If H is irreducible (resp. it is reducible), then q is in the linear span of ${\infty }^3$ (resp. ${\infty }^4$) subsets of $\nu \left(Y\right)$ with cardinality 3. For many $q\in {\mathbb{P}}^r$ we have $q\in ⟨\nu \left(A\right)⟩$ for some union A of an arrow and a point.

Lemma 3.

Let $E\subset Y$ be a planar double point. Set $\left\{o\right\}:=E$ and write $E=v\cup w$ with v and w arrows with o as their reduction. Fix $u,z\in Y\setminus \left\{o\right\}$ such that $u\ne z$ and set $W:=E\cup \{u,z\}$ and $A:=v\cup \left\{u\right\}$. Assume that Y is the minimal multiprojective space containing $v\cup \left\{u\right\}$, that $⟨\nu \left(A\right)⟩\cap ⟨\nu (w\cup \{z\left\}\right)⟩$ contains a point q and that $q\notin ⟨\nu \left(A^{\prime }\right)⟩$ for any $A^{\prime }⊊A$. Then $k\le 2$ and $n_1=n_2=1$ if $k=2$.

Proof. 

By assumption $q\in ⟨\nu \left(E\right)⟩\cap ⟨\left\{\nu \right(u),\nu (z\left)\right\}⟩$. Thus, there is an arrow $\tau \subset E$ such that $q\in ⟨\nu \left(\tau \right)⟩\cap ⟨\nu (w\cup \{z\left\}\right)⟩$. Proposition 1 shows that the minimal multiprojective space $Y^{\prime }$ containing $W^{\prime }:=\tau \cup \{u,z\}$ is either a projective space or ${\mathbb{P}}^1\times {\mathbb{P}}^1$. If $v\subset Y^{\prime }$, then the lemma is true. Assume $v⊈Y^{\prime }$. Since $⟨\nu \left(Y^{\prime }\right)⟩\cap \nu \left(Y\right)=\nu \left(Y^{\prime }\right)$, we obtain $⟨\nu \left(A\right)⟩=⟨\nu \left(\right\{o,u\}⟩$, a contradiction. □

Example 4.

Assume $k\ge 3$. We do the construction for the first 2 positive integers, but the case in which we take any two distinct elements of $\{1,\cdots ,k\}$ is similar. Fix arrows $u^{\prime },v^{\prime }\subset Y^{\prime }:={\mathbb{P}}^1\times {\mathbb{P}}^1$ such that $u^{\prime }\cap v^{\prime }=\varnothing$ and $Y^{\prime }$ is the minimal multiprojective space containing $u^{\prime }\cup v^{\prime }$, but that $⟨\nu (u^{\prime }\cup v^{\prime })⟩$ is a plane. Thus, $⟨\nu \left(u^{\prime }\right)⟩\cap ⟨\nu \left(v^{\prime }\right)⟩$ is a single point. Fix $n_1\in \{1,2\}$ and $n_2\in \{1,2\}$. Set $Y:={\mathbb{P}}^{n_1}\times {\mathbb{P}}^{n_2}\times {\left({\mathbb{P}}^1\right)}^{k-2}$ with $Y^{\prime }$ embedded in the first two factors of Y. Fix $a_i,o_i\in {\mathbb{P}}^1$, $3\le i\le k$, such that $a_i\ne o_i$ for all i. Set $u:=v^{\prime }\times \left\{(a_3,\cdots ,a_k)\right\}$. Thus, $⟨\nu \left(u\right)⟩\cap ⟨\nu \left(v\right)⟩$ is a single point, $q^{\prime }$. Fix $o_1\in {\mathbb{P}}^{n_1}$ and $o_2\in {\mathbb{P}}^{n_2}$ with the restriction that $o_1\notin {\mathbb{P}}^1$ if $n_1=2$ and $o_2\notin {\mathbb{P}}^1$ if $n_2=2$. Set $o:=(o_1,\cdots ,o_k)\}$. Please note that $⟨\nu (u\cup \{o\left\}\right)⟩$ is the line spanned by $q^{\prime }$ and $\nu \left(o\right)$. Please note that Y is the minimal multiprojective space containing $u\cup \left\{o\right\}$ if and only if one of the following conditions holds:

1. 

$Y^{\prime }$ is the minimal multiprojective space containing $u^{\prime }$.

2. 

$Y^{\prime }$ is not the minimal multiprojective space containing $u^{\prime }$, i.e., $deg({\pi }_i\left(u^{\prime }\right)=1$ for exactly one $i\in \{1,2\}$; in this case we require $n_i=1$ and ${\pi }_i\left(u^{\prime }\right)\ne o_i$.

Example 5.

The construction done in Example 4 works if instead of the arrow $v^{\prime }$ we take 2 distinct points of $Y^{\prime }$.

Example 6.

Assume $k\ge 3$. We do the construction for the first 2 positive integers, but the case in which we take any two distinct elements of $\{1,\cdots ,k\}$ is similar. Set $Y^{\prime }:={\mathbb{P}}^1\times {\mathbb{P}}^1$ and fix $a\in Y^{\prime }$. Let L and $L^{\prime }$ be the elements of $|{\mathcal{O}}_{Y^{\prime }}(1,0)|$ and $|{\mathcal{O}}_{Y^{\prime }}(0,1)|$ containing a. Let $u^{\prime }$ (resp. $v^{\prime }$) be the arrow of L (resp. $L^{\prime }$) containing a. Fix $n_1\in \{1,2\}$ and $n_2\in \{1,2\}$. Set $Y:={\mathbb{P}}^{n_1}\times {\mathbb{P}}^{n_2}\times {\left({\mathbb{P}}^1\right)}^{k-2}$ with $Y^{\prime }$ embedded in the first two factors of Y. Fix $a_i,o_i\in {\mathbb{P}}^1$, $3\le i\le k$, such that $a_i\ne o_i$ for all i. Set $u:=u^{\prime }\times \left\{(a_3,\cdots ,a_k)\right\}$ and $v:=u^{\prime }\times \left\{(a_3,\cdots ,a_k)\right\}$. Fix $o_1\in {\mathbb{P}}^{n_1}$ and $o_2\in {\mathbb{P}}^{n_2}$ with the restriction that $o_1\notin {\mathbb{P}}^1$ if $n_1=2$ and $o_2\notin {\mathbb{P}}^1$ if $n_2=2$. Set $o:=(o_1,\cdots ,o_k)\}$. Please note that $⟨\nu (u\cup \{o\left\}\right)⟩\cap ⟨\nu (v\cup \{o\left\}\right)⟩$ is the line spanned by $\nu \left(a\right)$ and $\nu \left(o\right)$ and it is not contained in $\nu \left(Y\right)$. We obtain that a general $q\in ⟨⟨\nu (u\cup \{o\left\}\right)⟩\cap ⟨\nu (v\cup \{o\left\}\right)⟩$ has rank 2. Please note that Y is the minimal multiprojective space containing $u\cup \left\{o\right\}$ if and only if $n_2=1$ and ${\pi }_2\left(u\right)\ne o_2$.

Example 7.

Take either $Y={\left({\mathbb{P}}^1\right)}^k$ or $Y={\mathbb{P}}^2\times {\left({\mathbb{P}}^1\right)}^{k-1}$, $k>1$. Fix $o\in Y$ and take an arrow $v\subset Y$ such that $v_{red}=\left\{o\right\}$ and ${\pi }_i\left(v\right)={\pi }_i\left(o\right)$ for all $i>1$. Please note that $⟨\nu \left(v\right)⟩=\nu \left(L\right)$ with $L={\mathbb{P}}^1\times (o_2,\cdots ,o_n)\subset Y$. Fix $u\in Y$ such that ${\pi }_i\left(u\right)\ne {\pi }_i\left(o\right)$ for $i=2,\cdots ,k$. If $Y={\mathbb{P}}^2\times {\left({\mathbb{P}}^1\right)}^{k-1}$ assume ${\pi }_1\left(o\right)\notin {\pi }_1\left(L\right)$. Set $A:=v\cup u$. Please note that Y is the minimal multiprojective space containing A. Each $q\in ⟨\nu \left(A\right)⟩$ has tensor rank at most 2, because there is $a_q\in L$ such that $q\in ⟨\nu \left(\{a_q,u\}\right)⟩$.

Example 8.

Take either $Y={\left({\mathbb{P}}^1\right)}^k$ or $Y={\mathbb{P}}^2\times {\left({\mathbb{P}}^1\right)}^{k-1}$, $k>1$. Fix $o,u\in Y$ such that $o\ne u$ and ${\pi }_i\left(o\right)={\pi }_i\left(u\right)$ for all $i>1$. Take an arrow $v\subset Y$ such that $v_{red}=\left\{o\right\}$ and $deg\left({\pi }_i\left(v\right)\right)=2$ for all $i>1$. Please note that $⟨\nu \left(\right\{o,u\left\}\right)⟩=\nu \left(L\right)$ with $L={\mathbb{P}}^1\times (o_2,\cdots ,o_n)\subset Y$. If $Y={\mathbb{P}}^2\times {\left({\mathbb{P}}^1\right)}^{k-1}$ assume ${\pi }_1\left(v\right)\notin {\pi }_1\left(L\right)$. Set $A:=v\cup u$. Please note that Y is the minimal multiprojective space containing A and that $⟨\nu \left(A\right)⟩=⟨\nu (v\cup o^{\prime })⟩$ for all $o^{\prime }\in L$.

Lemma 4.

Take $Y={\mathbb{P}}^2\times {\mathbb{P}}^2\times {\mathbb{P}}^{n_3}\times \cdots \times {\mathbb{P}}^{n_k}$, $k\ge 3$. Theorem 3 is true for Y and all B such that $deg\left(B\right)=3$ and $A\cap B=\varnothing$.

Proof. 

Assume the existence of $B\subset Y$ such that B is either the union of an arrow and a point or the union of 3 distinct points, $B\ne A$ and $q\in ⟨\nu \left(B\right)⟩$. Set $W:=A\cup B$. By Propositions 1 and 2 we may assume that $\nu \left(B\right)$ irredundantly spans q. Since $dim|{\mathcal{O}}_Y\left({\epsilon }_2\right)|+dim|{\mathcal{O}}_Y\left({\epsilon }_3\right)|\ge 3$, there is $H^{\prime }\in \left|{\mathcal{O}}_Y\left({\epsilon }_2\right)\right|$ and $H^{\prime \prime }\in \left|{\mathcal{O}}_Y\left({\epsilon }_3\right)\right|$ such that $H:=H^{\prime }\cup H^{\prime \prime }$ contains B. Since $h^0\left({\mathcal{O}}_{\mathcal{Y}}\left({\epsilon }_{\mathcal{1}}\right)\right)=deg\left(\mathcal{A}\right)$ and Y is the minimal multiprojective space containing A, $h^1\left({\mathcal{I}}_A\left({\epsilon }_1\right)\right)=0$. Thus, the residual exact sequence of H and ([33], Lemma 5.1) give $W\subset H$. This is true for all $H^{\prime },H^{\prime \prime }$ whose union contains B. Since Y is the minimal multiprojective space containing A, ${\pi }_2\left(A\right)$ spans ${\mathbb{P}}^2$. Thus, $deg(H^{\prime }\cap A)\le 2$. We obtain that ${\pi }_2\left(B\right)$ spans ${\mathbb{P}}^2$. Thus, we obtain that the lines of ${\mathbb{P}}^2$ spanned by degree 2 subschemes of A and B are the same. We also obtain that ${\pi }_{3|B}$ is an embedding and then we get that ${\pi }_{3|A}$ is an embedding. Since $A\cap B=\varnothing$, ([33], Lemma 5.1) and the residual exact sequence of $H^{\prime \prime }$ gives $h^1\left({\mathcal{I}}_{{Res}_{H^{\prime }}\left(W\right)}\left({\widehat{\epsilon }}_2\right)\right)>0$. Please note that ${Res}_{H^{\prime }}\left(W\right)$ is a degree 2 reduced scheme, one of its 2 points being in $A_{red}$, while the other one is an element of $B_{red}$. Since ${\pi }_{3|B}$ and ${\pi }_{3|A}$ are embeddings with the same set-theoretic image, B is the union of an arrow and a point, say $B=v^{\prime }\cup \left\{u^{\prime }\right\}$ with ${\pi }_3\left(u^{\prime }\right)={\pi }_3\left(u\right)$. Taking $H^{\prime \prime }$ containing ${\pi }_2\left(u^{\prime }\right)$ we obtain ${\pi }_j\left(u^{\prime }\right)={\pi }_j\left(u\right)$ for all $j\ne 2$. Using $|{\mathcal{O}}_Y\left({\epsilon }_1\right)|$ and $|{\mathcal{O}}_Y\left({\epsilon }_3\right)|$ in the same way we obtain ${\pi }_j\left(u^{\prime }\right)={\pi }_j\left(u\right)$ for all $j\ne 1$, contradicting the assumption $A\cap B=\varnothing$. □

Lemma 5.

Take $Y={\mathbb{P}}^2\times {\left({\mathbb{P}}^1\right)}^{k-1}$, $k\ge 4$. Theorem 3 is true for Y and all B such that $deg\left(B\right)=3$ and $A\cap B=\varnothing$.

Proof. 

Assume the existence of $B\subset Y$ such that B is either the union of an arrow and a point or the union of 3 distinct points, $B\ne A$ and $q\in ⟨\nu \left(A\right)⟩$. Set $W:=A\cup B$. By Propositions 1 and 2 we may assume that $\nu \left(B\right)$ irredundantly spans q. Fix $i\in \{2,\cdots ,k\}$. Mimicking the proof of Lemma 4 using $|{\mathcal{O}}_Y\left({\epsilon }_1\right)|$ and $|{\mathcal{O}}_Y\left({\epsilon }_i\right)|$ instead of $|{\mathcal{O}}_Y\left({\epsilon }_2\right)|$ and $|{\mathcal{O}}_Y\left({\epsilon }_3\right)|$ and doing it for all i we obtain that B is the union of a point $u^{\prime }$ and an arrow $v^{\prime }$ that each ${\pi }_{h|B}$ and ${\pi }_{h|A}$ are embeddings with the same images, that ${\pi }_1\left(B\right)$ spans ${\mathbb{P}}^2$ and that ${\pi }_j\left(u\right)={\pi }_j\left(u^{\prime }\right)$ and ${\pi }_j\left(v\right)={\pi }_j\left(v^{\prime }\right)$ for all $j>1$. Set $o^{\prime }:=v_{red}^{\prime }$. We proved that ${\pi }_h\left(o^{\prime }\right)={\pi }_h\left(o\right)$ for all $h>1$. Take $M\in |{\mathcal{O}}_Y\left({\epsilon }_2\right)$ containing $o^{\prime }$ and $M^{\prime }\in \left|{\mathcal{O}}_Y\left({\epsilon }_3\right)\right|$. Please note that ${Res}_{M\cup M^{\prime }}\left(W\right)=\{o,o^{\prime }\}$. Since $A\cap B=\varnothing$, ([33], Lemma 5.1) and the residual exact sequence of $M\cup M^{\prime }$ give ${\pi }_1\left(o^{\prime }\right)={\pi }_1\left(o\right)$. Thus, $A\cap B\ne \varnothing$, a contradiction. □

Remark 12.

Assume that Y is the minimal multiprojective space containing $A=v\cup \left\{u\right\}$, $o:=v_{red}$, and that $k\ge 2$. Fix $i\in \{1,\cdots ,k\}$ and assume that ${\eta }_{i|A}$ is not an embedding. Since Y is the minimal multiprojective space containing A, we obtain $deg\left({\eta }_1\left(A\right)\right)=2$, $n_h=1$ for all $h\ne i$ and that ${\pi }_{i|A}$ is an embedding. Since ${\pi }_{i|A}$ is an embedding, we obtain that ${\eta }_{h|A}$ is an embedding for all $h\ne i$.

(a) 

Assume ${\eta }_i\left(A\right)={\eta }_i\left(\{o,o^{\prime }\}\right)$. In this case ${\eta }_i\left(v\right)={\eta }_i\left(o\right)$. We obtain that $⟨\nu \left(v\right)⟩$ is a line contained in Y. Thus, all points of $⟨\nu \left(A\right)⟩$ have tensor rank at most 2. This is Example 7.

(b) 

Assume ${\eta }_i\left(A\right)={\eta }_i\left(v\right)$. In this case ${\pi }_h\left(u\right)={\pi }_h\left(o\right)$ for all $h\ne i$. Thus, $⟨\nu \left(\right\{o,u\left\}\right)⟩$ is a line contained in the i-th ruling of the Segre $\nu \left(Y\right)$, say $⟨\nu \left(\right\{o,u\left\}\right)⟩=\nu \left(R\right)$. For each $u^{\prime }\in R\setminus \left\{o\right\}$ we have $⟨\nu \left(A\right)⟩=⟨\nu (v\cup u^{\prime })⟩$. In particular uniqueness fails for each q irredundantly spanned by $\nu \left(A\right)$. This case obviously occurs both with $n_i=1$ and with $n_i=2$. This is Example 8.

(c) 

Fix a set $S\subset Y$ such that $\#S=3$ and Y is the minimal multiprojective space containing Y. Assume the existence of $i\in \{1,\cdots ,k\}$ such that ${\eta }_{i|S}$ is not injective. By ([26], Remark 1.10) each point of $⟨\nu \left(S\right)⟩$ has tensor rank at most 2.

Since $\nu \left(A\right)$ is linearly independent, there is $B^{\prime }\subseteq B$ such that $\nu (A\cup B^{\prime })$ is linearly dependent and $B^{\prime }$ is minimal with this property. If $B^{\prime }\ne B$ we obtain $⟨\nu \left(A\right)⟩\cap$ From now on

Lemma 6.

Take $Y={\left({\mathbb{P}}^1\right)}^k$, $k\ge 5$. Theorem 3 is true for Y and all B such that $deg\left(B\right)=3$ and $A\cap B=\varnothing$.

Proof. 

Assume the existence of $B\subset Y$ such that B is either the union of an arrow and a point or the union of 3 distinct points, $B\ne A$ and $q\in ⟨\nu \left(A\right)⟩$. Set $W:=A\cup B$. By Propositions 1 and 2 we may assume that $\nu \left(B\right)$ irredundantly spans q. If B contains an arrow, then $\#W_{red}=4$. If B is formed by 3 distinct points, then $\#W_{red}=5$.

(a)

Assume for the moment that Y is not the minimal multiprojective space containing B. Thus, there is $i\in \{1,\cdots ,k\}$ and $H\in |{\mathcal{O}}_Y\left({\epsilon }_i\right)|$ such that $B\subset H$ and hence ${Res}_H\left(W\right)\subseteq A$. Since $A\cap B=\varnothing$, ([33], Lemma 5.1) gives $h^1\left({\mathcal{I}}_{{Res}_H\left(W\right)}\left({\widehat{\epsilon }}_1\right)\right)=0$. Since $A\subseteq {Res}_H\left(W\right)$, either ${\eta }_{i|A}$ is not an embedding or $A={Res}_H\left(W\right)$ and $deg\left({\pi }_j\left(A\right)\right)=1$ for $k-2$ indices j, contradicting the minimality of Y. Thus, Y is the minimal multiprojective space containing B. If there is $i\in \{1,\cdots ,k\}$ such that ${\eta }_{i|B}$ is not an embedding, we apply Remark 12 to B.

(b)

By assumption we are not as in Example 7 or 8 for A or B. Thus, we may assume that all ${\eta }_{i|B}$ and all ${\eta }_{i|A}$ are embeddings. There are 4 degree 2 schemes $E\subset W$ formed by one point of $A_{red}$ and one point of $B_{red}$. Since $k>4$, there is $i\in \{1,\cdots ,k\}$ such that ${\eta }_{i|W}$ is an embedding. With no loss of generality we may assume $i=1$.

(b1)

Assume that ${\pi }_{1|W}$ is an embedding. Take $M\in |{\mathcal{O}}_Y\left({\epsilon }_1\right)|$ containing a reduced connected component a of B. Please note that ${Res}_M\left(W\right)=W\setminus \left\{a\right\}$. Since $A\subset W^{\prime }$ and Y is the minimal multiprojective space containing Y, $Y_1$ is the minimal multiprojective space containing ${\eta }_1\left(A\right)\subset {\eta }_1\left({Res}_M\left(W\right)\right)$ and ${\nu }_1\left({\eta }_1\left(A\right)\right)$ is linearly independent by Remark 7. Since ${\eta }_{1|W}$ is an embedding, ${\eta }_{1|{Res}_H\left(W\right)}$ is an embedding. Thus, $h^1\left({\mathcal{I}}_{{Res}_H\left(W\right))}\left({\widehat{\epsilon }}_1\right)\right)=h^1(Y_1,{\mathcal{I}}_{{\eta }_1({Res}_H\left(W\right)}(1,\cdots ,1))$. Since $A\cap B=\varnothing$ and ${\eta }_{1|W}$ is an embedding, ([33], Lemma 5.1) gives $h^1(Y_1,{\mathcal{I}}_{{\eta }_1(W\setminus \left\{a\right\})}(1,\cdots ,1))>0$. Since $k\ge 3$ and Y is the minimal multiprojective space containing Y, ${\nu }_1\left(A\right)$ is linearly independent by ([26], Lemma 4.4). Let $W_1\subseteq {\eta }_1(W\setminus \left\{a\right\})$ the minimal subscheme of ${\eta }_1(W\setminus \left\{a\right\})$ containing A such that $h^1(Y_1,{\mathcal{I}}_{W_1}(1,\cdots ,1))>0$. If $deg\left(W_1\right)=4$ (resp. $deg\left(W_1\right)=5$), Proposition 1 (resp. Proposition 2) gives that ${\eta }_1\left(A\right)$ depends on at most 2 (resp. 3) factors of $Y_1$. Thus, A depends on at most 4 factors of Y, a contradiction.

(b2)

Assume that ${\pi }_{1|W}$ is not an embedding. If there is $M\in |{\mathcal{O}}_Y\left({\epsilon }_1\right)|$ such that $M\cap B\ne \varnothing$ and $M\cap A=\varnothing$, then we may repeat the proof of step (b1). Since Y is the minimal multiprojective space containing B by step (a), we conclude if there is $M\in |{\mathcal{O}}_Y\left({\epsilon }_1\right)|$ such that $M\cap A\ne \varnothing$ and $M\cap B=\varnothing$. Thus, we may assume ${\pi }_1{\left(A\right)}_{red}={\pi }_1{|\left(B\right)}_{red}$. Since $A\cap B=\varnothing$ and $A⊈H$, ([33], Lemma 5.1) gives $h^1\left({\mathcal{I}}_{{Res}_H\left(W\right))}\left({\widehat{\epsilon }}_1\right)\right)>0$. Since ${\eta }_{1|W}$ is an embedding, ${\eta }_{|{Res}_H\left(W\right)}$ is an embedding. Thus, $h^1\left({\mathcal{I}}_{{Res}_H\left(W\right))}\left({\widehat{\epsilon }}_1\right)\right)=h^1(Y_1,{\mathcal{I}}_{{\eta }_1({Res}_H\left(W\right)}(1,\cdots ,1))$. Let $W_1\subseteq {\eta }_1\left({Res}_H\left(W\right)\right)$ be a minimal subscheme of such that $h^1(Y_1,{\mathcal{I}}_{W_1}(1,\cdots ,1))>0$. If $W_1={\eta }_1\left({Res}_H\left(W\right)\right)$, then Proposition 2 gives that ${Res}_H\left(W_1\right)$ depends on at most 3 factors of Y, one of them being the first one.

□

Example 9.

Assume $Y={\left({\mathbb{P}}^1\right)}^4$, that Y is the minimal multiprojective space containing A. Fix $q\in ⟨\nu \left(A\right)⟩$ with tensor rank $>2$. If q has tensor rank 3, then its tensor rank is evinced by ${\infty }^1$ sets $\nu \left(S\right)$ with $\#S=3$, because ${\sigma }_3\left(Y\right)$ is defective ([34,35,36]).

Observation 1:

Assume that ${\pi }_{i|A}$ is an embedding for all $i=1,2,3,4$. There are ${\infty }^1$ morphisms $f_i:{\mathbb{P}}^1\stackrel{}{\to }{\mathbb{P}}^1$ such that $f_i\left(0\right)={\pi }_i\left(o\right)$ and $f_i(\infty )={\pi }_i\left(u\right)$. Thus, we obtain ${\infty }^4$ different morphism $f:{\mathbb{P}}^1\stackrel{}{\to }Y$ such that $f\left(0\right)=o$ and $f(\infty )=u$ and the linear spans of the images of $(20,{\mathbb{P}}^1)$ by these morphisms covert= the projective tangent space $\mathbb{P}{T}_{o}Y$ except its 4 hyperplanes tangents to the hypersurfaces ${\pi }_i^{-1}\left(o\right)$. Hence $A\subset f\left({\mathbb{P}}^1\right)$ for some f. Thus, $\nu \left(A\right)$ is contained in the rational normal curve $C:=\nu \left(f\left({\mathbb{P}}^1\right)\right)$ of the 4-dimensional space $⟨\nu \left(f\left({\mathbb{P}}^1\right)\right)⟩$. The point q has cactus rank $\le 3$ with respect to C. By Sylvester’s theorem $r_C\left(q\right)=3$ and the C-rank is achieved by ${\infty }^1$ subsets of C with cardinality 3.

Now assume that ${\pi }_{i|A}$ is not an embedding for some i, say for $i=1$. We extend ${\Sigma }_3^0\left(\nu \left(Y\right)\right)$ taking instead of $S\left(\nu \right(Y),3)$ the open subset U of the irreducible component $\mathbb{H}(X,3)$ of the Hilbert scheme of $\nu \left(Y\right)$ containing $S\left(\nu \right(Y),3)$ and formed by degree 3 linearly independent schemes. Please note that $A\in U$ and that A is limit of elements $A^{\prime }\in U$ such that each $A^{\prime }$ is a union of an arrow and a point and ${\pi }_i\left(A^{\prime }\right)$ is an embedding for all $i=1,2,3,4$ and all $A^{\prime }\ne A$. Use Observation 1 and ([32], Ex. II.3.22) to see that in this case q is spanned by infinitely many $\nu \left(A^{\prime }\right)$. Since A has 2 connected components, each nearby $A^{\prime }$ has at least 2 connected components, i.e., it is the union of either 3 points or a point and an arrow.

Proof of Theorem 3.

If $deg\left(B\right)\le 2$, then we are in the set-up of Propositions 1 and 2. Thus, we may assume $deg\left(B\right)=3$.

If $k=2$ we use Remark 10. Thus, we may assume $k\ge 3$.

If $A\cap B\ne \varnothing$ we use Proposition 2 and the examples listed in case (7) of the theorem. Thus, we may assume $A\cap B=\varnothing$.

If $n_1=n_2=2$ we use Lemma 4.

If $n_1=2$ and $n_1=1$ we use Lemma 5.

Example 9 consider the case $Y={\left({\mathbb{P}}^1\right)}^4$.

Lemma 6 exclude the case $Y={\left({\mathbb{P}}^1\right)}^k$, $k\ge 5$. □

6. Speculations on the Higher Derivatives and Uniqueness

Fix integral and non-degenerate varieties $X\subset {\mathbb{P}}^r$ and $W\subset {\mathbb{P}}^r$. Set $n:=dimX$ and $m:=dimW$. Fix a finite set $S\subset X_{reg}$, $S\ne \varnothing$, $u\in X_{reg}$ and $v\in W_{reg}$. Set $k:=\#S$. Suppose that $dim⟨{\cup }_{o\in S}(2o,X)⟩<k(n+1)-1$ (resp. $dim⟨(2u,X)\cup (2v,W)\le n+m$), i.e., assume that S is in the k-Terracini locus of S (resp. the pair $(u,v)$ is in the Terracini locus of the join of X and W). Thus, the differential of a certain map, call it f, is not injective at S (resp. at $(u,v)$). It is natural to ask if this is due that the fact that the fiber of f containing S (resp. $(u,v)$) has a positive-dimensional component passing through S (resp. $(u,v)$). Easy examples shows that this is not always the case (Examples 10 and 11).

Example 10.

Fix integer $r\ge 3$. We claim the existence of a smooth, rational and non-degenerate curve $X\subset {\mathbb{P}}^r$ and $u,v\in X$ such that $u\ne v$, $T_{u}X=T_{c}X$ and $dim⟨O{(X,2)}_u\cup O{(X,2)}_v⟩=3$, i.e., $dimO{(X,2)}_u=dimO{(X,2)}_v=2$ and $O{(X,2)}_u\cap O{(X,2)}_v=T_{u}X$. In this case the fiber of the abstract 2-secant map of X at $(u,v)$ is finite. Fix an integer $d\ge 7$. Let $C\subset {\mathbb{P}}^d$ be the rational normal curve. Fix $o,p\in C$ such that $o\ne p$. Since C is a rational normal curve and $d\ge 7$, the degree 6 scheme $(3o,C)\cup (3p,C)$ is linearly independent. Thus, $dim⟨(2o,C)\cup (2p,C)⟩=3$. Fix a general line $L\subset ⟨(2o,C)\cup (2p,C)⟩$ and a general linear subspace $M\subset {\mathbb{P}}^d$ such that $dimM=d-r-1$ and $L\subseteq M$. Since $r\ge 3$ and M is general, $M\cap ⟨(3o,C)\cup (3p,C)⟩=L$.

Claim 1:

$M\cap {\sigma }_2\left(C\right)=\varnothing$ and the linear projection $\ell :{\mathbb{P}}^d\setminus M\stackrel{}{\to }{\mathbb{P}}^r$ from M induces an isomorphism between C and the degree d curve $X:=\ell \left(C\right)\subset {\mathbb{P}}^r$.

Proof of Claim 1:

Since C is smooth, each point of ${\sigma }_2\left(C\right)$ is contained in a tangent line or a secant line of C. Since $C\subset {\mathbb{P}}^d$ is a rational normal curve, every closed subscheme of C of degree at most $d+1$ is linearly independent. Thus, the assumption $d\ge 7$ implies ${\sigma }_2\left(C\right)\cap ⟨(3o,C)\cup (3p,C)⟩=(2o,C)\cup (2p,C)$. Since L is general in $⟨(2o,C)\cup (2p,C)⟩$ and M has codimension at least 3 in ${\mathbb{P}}^d$, $M\cap {\sigma }_2\left(C\right)=\varnothing$ and hence $M\cap C=\varnothing$ and ${\ell }_{|C}$ induces an isomorphism between C and the degree d non-degenerate curve X. □

Claim 1 shows that $dimO{(X,2)}_u=dimO{(X,2)}_v=2$ and $O{(X,2)}_u\cap O{(X,2)}_v=T_{u}X$. Since $dimX=1$, the fibers of the map $\pi :{\Sigma }_2^0\left(X\right)\stackrel{}{\to }{\sigma }_2\left(X\right)$ have dimension 0.

Example 11.

Fix integer $r\ge 4$. We claim the existence of a smooth, rational and non-degenerate curve $X\subset {\mathbb{P}}^r$ and $u,v\in X$ such that $u\ne v$, $T_{u}X\ne T_{v}X$ is a point not in X and $dim⟨O{(X,2)}_u\cup O{(X,2)}_v⟩=4$, i.e., $dimO{(X,2)}_u=dimO{(X,2)}_v=2$ and $O{(X,2)}_u\cap O{(X,2)}_v=T_{u}X\cap T_{v}X$. In this case the fiber of the abstract 2-secant map of X at $(u,v)$ is finite. Fix an integer $d\ge 8$. Let $C\subset {\mathbb{P}}^d$ be the rational normal curve. We adapt Example 10. Instead of L we take a general $c\in ⟨T_{o}C\cup T_{p}C⟩$ and take as M a general linear subspace of codimension $d-r-1$ containing c.

Fix an integral and non-degenerate n-dimensional variety $X\subset {\mathbb{P}}^r$ and a positive integer s such that ${\sigma }_s\left(X\right)⊊{\mathbb{P}}^r$. Let ${\sigma }_s^{00}\left(X\right)$ denote the set of all $q\in {\mathbb{P}}^r$ with X-rank r. Let ${\sigma }_s^{00}{\left(X\right)}_{\mathrm{uni}}$ denote the set of all $q\in {\sigma }_s^{00}\left(X\right)$ which are in the linear span of a unique subset of X with cardinality. The sets ${\sigma }_s^{00}\left(X\right)$ and ${\sigma }_s^{00}{\left(X\right)}_{\mathrm{uni}}$ are constructible and the first one contains a non-empty open subset of ${\sigma }_s\left(X\right)$. Assume that ${\sigma }_s\left(X\right)$ has the expected dimension, $s(n+1)-1$, to hope to have ${\sigma }_s^{00}{\left(X\right)}_{\mathrm{uni}}\ne \varnothing$. There are criterion which guarantee that ${\sigma }_s^{00}{\left(X\right)}_{\mathrm{uni}}$ is dense in ${\sigma }_s\left(X\right)$, (for any X weak nondefectivity and tangential nondefectivity ([10,11,12]), for tensors and partially symmetric tensors the famous Kruskal criterion and its modifications; up to now for tensors the best results are in [37]).

Question 4.

Assume ${\sigma }_s^{00}{\left(X\right)}_{\mathrm{uni}}$ dense in ${\sigma }_s^{00}\left(X\right)$. Describe in specific cases the non-uniqueness set ${\sigma }_s^{00}\left(X\right)\setminus {\sigma }_s^{00}{\left(X\right)}_{\mathrm{uni}}$.

There are examples with ${\sigma }_s\left(X\right)={\mathbb{P}}^r$, ${\sigma }_s^{00}\left(X\right)$ containing a general $q\in {\mathbb{P}}^r$, ${\sigma }_s^{00}{\left(X\right)}_{\mathrm{uni}}\ne \varnothing$ and ${\sigma }_s^{00}{\left(X\right)}_{\mathrm{uni}}$ very small (linearly normal embeddings of elliptic curves). If $z:=r_X\left(q\right)<r$, say $q=⟨S⟩$ with $S\subset X$ and $\#S=z=1$, q is in the linear span of all $S\cup \left\{o\right\}$, $o\in S\setminus \left\{o\right\}$, but none of these sets irredundantly spans q. For tensors a general tensor of each rank s is irredundantly spanned by sets of t points if $s<t\le s$ in infinitely many ways ([38], Theorem 3.8). The following example with z any positive integer shows that sometimes above its rank $z:=r_X\left(q\right)$ a point q may be irredundantly spanned by a unique set of cardinality $z+1$.

Example 12.

We first construct a smooth curve $X\subset {\mathbb{P}}^r$, $r\ge 3$, and $q\in X$ such that there is a unique $S\subset X\setminus \left\{q\right\}$ with $\#S=2$ and $q\in ⟨S⟩$. Let $C\subset {\mathbb{P}}^{d}r+1$ be a rational normal curve of degree $r+1$. Fix 3 distinct points a, b and c of C and let o be a general element of $⟨\{a,b,c\}⟩$. Let ${\ell }_o:{\mathbb{P}}^{r+1}\setminus {\mathbb{P}}^r$ denote the linear projection from o. By Sylvester theorem (or because any subscheme of C of degree $\le d+1$ is linearly independent) there is no $Z\subset C$ such that $deg\left(Z\right)\le 2$ and $o\in ⟨Z⟩$. Thus, $o\notin C$ and $\ell ={\ell }_{o|C}$ induces an embedding of C into ${\mathbb{P}}^r$. Set $X:=\ell \left(C\right)$, $q:=\ell \left(a\right)$ and $S:=\ell \left(\right\{b,c\left\}\right)$. Thus, $q\in X$ and the set S irredundantly spans q. Assume the existence of a set $S^{\prime }\subset X$ such that $\#S^{\prime }=2$ and $S^{\prime }$ irredundantly spans q, i.e., $q\notin S^{\prime }$ and $q\in ⟨S^{\prime }$. Set $E:={\ell }^{-1}\left(S^{\prime }\right)$ and $F:=\{a,b,c\}\cup E$. Since ℓ is an embedding, $\#F=5$. Since $r+1\ge 4$, $dim⟨F⟩=4$. Thus, $dim{\ell }_o(⟨F⟩\setminus \left\{o\right\})=3$ contradicting the fact that the lines $⟨S⟩$ and $⟨S^{\prime }⟩$ meets at q. Now we fix an integer $z>1$ and modify the previous example to obtain one for z. Fix an integer $r\ge 3z$. Let $C\subset {\mathbb{P}}^{r+1}$ be a rational normal curve. Fix $2z+1$ general points $a_1,\cdots ,a_z,b_1,\cdots ,b_{z+1}$ and a general $o\in ⟨\{a_1,\cdots ,a_z,b_1,\cdots ,b_{z+1}\}⟩$. Since $r\ge 3z$, any closed subscheme of C of degree $\le 3z+2$ is linearly independent. Let ${\ell }_o:{\mathbb{P}}^{r+1}\setminus {\mathbb{P}}^r$ denote the linear projection from o. The map ${\ell }_o$ induces an embedding $\ell :C\stackrel{}{\to }{\mathbb{P}}^{r+1}$. Set $X:=\ell \left(C\right)$. By construction the $(z-1)$-dimensional space $⟨\ell \left(\{a_1,\cdots ,a_z\}\right)⟩$ meets the z-dimensional space $⟨\ell \left(\{b_1,\cdots ,b_{z+1}\}\right)⟩$ at a unique point, q. Since any $3z+2$ points of C are linearly independent, we first see that q has X-rank z, then that $\ell \left(\{a_1,\cdots ,a_z\}\right)$ is the unique set evincing the X-rank of q and then that $\ell \left(\{b_1,\cdots ,b_{z+1}\}\right)$ is the unique subset of X with cardinality $z+1$ irredundantly spanning q.