Next Article in Journal
An Adjusted CUSUM-Based Method for Change-Point Detection in Two-Phase Inverse Gaussian Degradation Processes
Previous Article in Journal
Research on the Behavioral Strategies of Manufacturing Enterprises for High-Quality Development: A Perspective on Endogenous and Exogenous Factors
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

The Next Terracini Loci of Segre–Veronese Varieties and Their Maximal Weights

by
Edoardo Ballico
Department of Mathematics, University of Trento, 38123 Trento, Italy
The author is a member of Gruppo Nazionale per le Strutture Algebriche e Geometriche e loro Applicazioni of Istituto di Alta Matematica, 00185 Rome, Italy.
Mathematics 2025, 13(19), 3166; https://doi.org/10.3390/math13193166
Submission received: 5 September 2025 / Revised: 26 September 2025 / Accepted: 1 October 2025 / Published: 2 October 2025

Abstract

We describe all Terracini loci of Segre–Veronese varieties with at most roughly double the points of the minimal one. In this range we compute the maximum of all weights of the Terracini sets. To prove these results we use cohomological tools (residual exact sequences) applied to some critical schemes associated with a Terracini set and containing all of its points. We expect that these critical schemes will be a very useful tool for other related problems.

1. Introduction

In recent years several papers have studied the Terracini loci of embedded varieties ([1,2,3,4,5,6,7]). For a long time they were studied only for general subsets of an embedded variety, because for general subsets they are related to the dimensions of the secant variety of the embedded varieties via the Terracini lemma ([8,9]). According to [3] they are considered for any finite union of smooth points of an embedded variety. We recall their definition.
Let X P r be an integral and non-degenerate n-dimensional complex projective variety. For any zero-dimensional subscheme Z P r , let Z denote the linear span of Z, i.e., the intersection of all hyperplanes of P r containing Z with the convention Z = P r , if there is no such a hyperplane. Note that the zero-dimensional scheme Z is linearly independent if and only if dim Z = deg ( Z ) 1 . Let X reg denote the set of all smooth points of X. For all p X reg let 2 p be the degree n + 1 of the zero-dimensional subscheme of X with ( I p ) 2 as its ideal sheaf. Note that deg ( 2 p ) = n + 1 and that 2 p is the Zariski tangent space T p X of p at X. Since dim T p X = n , 2 p is linearly independent. For all positive integers x and all integral quasi-projective varieties W, let S ( W , x ) denote the set of all subsets of W with cardinality x. For all S S ( X reg , x ) set 2 S : = p S 2 p . We have deg ( 2 S ) = ( n + 1 ) x , and hence, min { r , ( n + 1 ) x 1 } is the expected dimension of 2 S . We say that S is a Terracini set of X or of the embedding X P r and write S T ( X , x ) if dim 2 S 1 + min { r , ( n + 1 ) x 1 } , i.e., if 2 S P r and dim 2 S ( n + 1 ) x 2 .
Outside the Terracini locus, a certain differential is injective by the Terracini Lemma in its general form ([8], Cor. 1.10). This observation is used to show that, outside the Terracini sets, a certain decomposition is locally unique. As an example we explain the case of the Segre variety X. Let T be a tensor with a format associated with X and with tensor rank x. A tensor decomposition of T with x addenda corresponds to a unique S S ( X , x ) , and if S T ( X , x ) for each tensor T near T (in the Euclidean or in the Zariski topology), there is a unique S S ( X , x ) near S such that T has a tensor decomposition associated with S and no other tensor decomposition near S. Hence, the tensor decomposition near T is well-behaved for small numerical errors. Our main results are for Segre–Veronese varieties, which are related to the additive decompositions of partially symmetric tensors.
Let Y = P n 1 × × P n k be a multiprojective space as in Theorems 1 and 2. For i = 1 , , k let ϵ i be the multi-index ( a 1 , , a k ) N k such that a i = 1 and a j = 0 for all j i . A reduced curve C Y is said to have multidegree ( a 1 , , a k ) if a i = deg ( O C ( ϵ i ) ) for all i.
Theorem 1.
Fix an integer k 2 , and positive integers x, n i , and d i , 1 i k . Set n : = n 1 + + n k , t : = min { d 1 , , d k } , and assume that x t + 1 . Set Y : = P n 1 × × P n k . Let ν : Y P r , where r = 1 + i = 1 k n i + d i n i , be the Segre–Veronese embedding of Y of multidegree ( d 1 , , d k ) . Fix a positive integer x t + 1 such that ( n + 1 ) x r + 1 . Take A S ( Y , x ) . We have ν ( A ) T ( X , x ) if and only if one of the following cases occur:
(i)
i { 1 , , k } such that deg ( A L ) d i / 2 + 1 for some curve L of multidegree ϵ i .
(ii)
i , j { 1 , , k } such that i j , d i = d j = t , and x = t + 1 , and there is a reduced and connected curve D Y of multidegree ϵ i + ϵ j such that A D ; if D is reducible, then x is even, Sing ( D ) A , and every irreducible component of D contains 1 + x / 2 points of A.
(iii)
x = t + 1 , and there is a plane contained in one of the rulings of Y with d i = t such that A is contained in a conic C (perhaps reducible or a double line) of this plane; if t = 1 , then C is a double line; if C is reducible and t > 1 , then x is even, Sing ( D ) A , and every irreducible component of D contains 1 + x / 2 points of A.
See Remark 7 for a discussion of case (iii) (if C is not smooth, it overlaps with case (i)). The statement in (ii) is chosen to avoid overlapping with case (i). Theorem 1 implies the well-known fact that T ( X , x ) = if 2 x t + 1 ([7], Cor. 4.7). It is known that T ( X , 1 + t / 2 ) is as described in case (i) with d i = t , with the small assumption that t = 1 for at most one index i ([6], Proposition 7.4).
For each zero-dimensional scheme Z P r , set w ( Z ) : = deg ( Z ) 1 dim Z with the convention = and dim = 1 . For all integral and non-degenerate varieties X P r , let w max ( X , x ) denote the maximum of all integers deg ( 2 S ) 1 dim 2 S for all S S ( X reg , x ) . This is related to the weight considered in [1]. By definition of the Terracini locus, S T ( X , x ) if and only if 2 S P r and w ( 2 S ) > 0 .
Theorem 2.
Take k, n i , d i , n, ν and t as in Theorem 1, with the only modification being that we allow the case k = 1 . Assume that x t .
(a)
We have w max ( X , x ) = max { 0 , 2 x t 1 } .
(b)
Take ν ( A ) S ( X , x ) with 2 x t + 2 . We have w ( 2 ν ( A ) ) = w max ( X , x ) if and only if there is i { 1 , , k } such that d i = t and a curve L Y of multidegree ϵ i such that A L .
In Section 2 we give the preliminaries. A key concept is the generalization of the critical scheme of a Terracini set ([2,10]). It is a key notion for the proofs of Theorems 1 and 2 (see Lemma 1). We hope that it will be useful in other situations in which linearly dependent zero-dimensional schemes arise (as a tool or as the main subject).
In Section 3 we prove a cohomological result on the defectivity of zero-dimensional schemes of a multiprojective space (Proposition 1). This result is proven using several lemmas, each of them being a particular case of Proposition 1.
Section 4 contains the proofs of Theorems 1 and 2. Theorem 1 easily follows from Proposition 1. The proof of Theorem 2 is cohomological and use tools and ideas similar to the ones needed to prove Proposition 1.
Section 5 contains several examples on the weights of certain Terracini sets.
In the last section, Section 6, we discuss the previous literature and explain the main results of this paper and our hopes for the use of the critical schemes obtained in Lemma 1.
The interested reader may/should extend Theorem 1 to other varieties. The Veronese varieties (used for the additive decomposition of multivariate forms) are too easy and have been extensively studied (they are the case k = 1 of the variety arising in Theorem 1). The case of Grassmannians, i.e., the case of skew-symmetric tensors, seems promising and useful. A reasonable project is the extension of Theorem 1 to a large set of integers x t + 2 . In the statement of Theorem 1, several integers, k, n 1 , , n k , and d 1 , , d k , occur. Recall that t : = min { d 1 , , d k } . We assume that k 2 . The key integers are the integers d 1 , , d k . Assume, for instance, that d 1 d 2 d k , so that t = d 1 . For d 2 t and, say, x 2 t , the list should be short. For d 2 = d 1 and d 3 d 2 the list of cases should be longer, but still reasonable. The interested researcher should see how we handle the case k = 2 . It would be useful to follow, in that order, the lemmas we used for the case k = 2 of Proposition 1 (Lemmas 4–8). Then we prove Theorem 1 through induction on the integer k. For d 3 d 2 this inductive part should be easy to adapt (see the proof with induction of Proposition 1). Theorem 2 should be easier to adapt to other varieties X P r without having the equivalent of Theorem 1 for the embedded variety X.

2. Preliminaries

We work over an algebraically closed field with characteristic 0. The definitions and proofs do not depends on the characteristic, but even the usual definitions of Veronese varieties and Segre–Veronese varieties are a bit different for positive characteristics, say, for characteristics of at most max { d 1 , , d k } .
Remark 1.
The maximum in the definition of w max ( X , x ) exists, because we obviously have deg ( 2 S ) = x ( dim X + 1 ) for all S S ( X reg , x ) .
We need to compute double points or the double of a finite set S when the set S is contained in the smooth locus of different varieties. If p C reg let ( 2 p , C ) denote the zero-dimensional subscheme of C with I p , C 2 as its ideal sheaf. For all S S ( C reg , x ) set ( 2 S , C ) : = p S ( 2 p , C ) . If C X and S C reg X reg , then ( 2 S , C ) = C ( 2 S , X ) , where ∩ denotes the scheme-theoretic intersection.
Notation 1.
For each i { 1 , , k } let π i : Y P n i be the projection on the i-th factor of Y, and let ϵ i be the element ( a 1 , , a k ) N k such that a i = 1 and a j = 0 for all j i . Now assume that k 2 . For each i { 1 , , k } let Y i be the product of all P n j , where j i . Let η i : Y Y i be a map which forgets the i-th component of each point of Y. For each irreducible curve C Y , the multidegree of Y is the element ( b 1 , , b k ) N k such that b i = deg ( O C ( ϵ i ) ) . For each reduced curve T Y , the multidegree of Y is the sum of the multidegrees of the irreducible components of T.
Remark 2.
Let C Y be a reduced curve with multidegree ( b 1 , , b k ) . If C is irreducible, then b i = 0 if and only if π i ( C ) is a point. If C is reducible, then b i = 0 if and only if π i ( C ) is a finite set. If C is reducible, but connected, π i ( C ) is connected. Thus, for a connected curve we have b i = 0 if and only if # π i ( C ) = 1 .
Take S T ( X , x ) . Recall that we have S S ( X reg , x ) . The set S is said to be minimal if S T ( X , # S ) for all S S ([2], Definition 2.3). Since 2 S P r according to the definition of Terracini set, S is minimal if and only if dim 2 S = ( 1 + dim X ) # S 1 for all S S . Every Terracini set S T ( X , x ) contains S 1 S , S 1 , which is Terracini and minimal. The set S 1 may not be unique (Example 1). A zero-dimensional scheme Z X reg is said to be critical for S if Z red S , each connected component of Z has at most degree 2, dim Z deg ( Z ) 2 , and dim Z = deg ( Z ) 1 for all Z Z . Obviously, Z X reg and deg ( Z ) 2 x . Each critical set Z satisfies dim Z = deg ( Z ) 2 ([2], Lemma 2.11). Every Terracini set has at least one critical scheme ([2]). Easy examples show that critical schemes may not be unique (Example 1). If S is minimal, then each critical scheme Z of S satisfies Z red = S ([2], Lemma 2.12). Hence, if S is not minimal and S 1 S is minimal, a critical scheme W of S 1 (which is a critical scheme of S, too) satisfies W red = S 1 S . A non-minimal Terracini set S may have a critical scheme Z such that Z red = S (Example 1).
Example 1.
Fix integers d 2 and x 2 + d / 2 . Let v d : P 2 P r , where r = d + 2 2 1 , be the order d Veronese embedding of P 2 . Set X : = v d ( P 2 ) . Take a line L P 2 and set R : = v d ( L ) . Take any S S ( R , x ) , say, S = v d ( A ) , with A L . Since d 2 , h 0 ( I 2 L ( d ) ) > 0 . Since x 1 + d / 2 , h 0 ( I 2 A ( d ) ) = h 0 ( I 2 L ( d ) ) = d 2 . Hence, dim 2 S = d 2 < 3 ( x 1 ) . Hence, S T ( X , x ) . Every S 1 S with # S 1 = 1 + d / 2 is a minimal Terracini set. It is easy to check that no other subset of S is a minimal Terracini set. Now assume that x = 2 + d / 2 . Note that h 1 ( I A ( d ) ) = 0 . With the notation of [2], we have A T ( 2 , d ; x ) 1 . If we want to construct examples of type ν d ( B ) with B T ( 2 , d ; z ) , it is sufficient to take d 4 and set B : = A { p } with p P 2 L .
Remark 3.
Let X P r be an integral and non-degenerate variety. Take zero-dimensional subschemes W and Z of X such that Z W . Set z : = deg ( Z ) and w : = deg ( W ) . We have Z W and dim W dim Z + w z . Hence, if Z = P r , then W = P r , while if dim W = w 1 , then dim Z = z 1 .
Remark 4.
We have dim 2 p = deg ( 2 p ) 1 for all p X reg . Hence, according to Remark 3 we have dim Z = deg ( Z ) 1 for all Z 2 p .
Remark 5.
Let X P r be an integral and non-degenerate variety embedded by the complete linear system | O X ( 1 ) | . For each zero-dimensional scheme Z X , we have deg ( Z ) 1 dim Z = h 1 ( I Z ( 1 ) ) h 1 ( O X ( 1 ) ) . Since dim Z = 0 , we have h i ( Z , O Z ( 1 ) ) = 0 for all integers i 1 . The long cohomology exact sequence of the exact sequence
0 I Z ( 1 ) O X ( 1 ) O Z ( 1 ) 0
gives h 2 ( I Z ( 1 ) ) = h 2 ( O Z ( 1 ) ) .
The following lemma is a key tool in proving Theorems 1 and 2. It is a generalization of the definition of the critical scheme of a Terracini set introduced by K. Chandler ([10]) and was used in [2] (Definition 2.3 and Lemma 2.9).
Lemma 1.
Let X P r be an integral and non-degenerate variety. Let W X be a zero-dimensional scheme. Let S X reg be a finite set such that S W = and w ( W 2 S ) > w ( W ) . Then there is a zero-dimensional scheme E X such that E red S , each connected component of E has a degree of at most 2, w ( W E ) = w ( W ) for all E E , and w ( W E ) = w ( W ) + 1 .
Proof. 
Through induction on the integer x : = # S (for all possible zero-dimensional schemes) we may assume that w ( 2 S W ) = w ( W ) for all S S . Fix p S and set S : = S { p } . Since w ( 2 p 2 S W ) > w ( 2 S W ) , we have T p X 2 S W . Since the linear space T p X is the union of all lines of T p X containing p, there is a zero-dimensional scheme v 2 p such that deg ( v ) 2 and v 2 S W . Hence, w ( 2 S ( v W ) ) > w ( W ) . If w ( v W ) > w ( W ) we take E = v . If w ( v W ) = w ( W ) we apply the inductive assumption to S with respect to the scheme v W . □
Lemma 2.
Take S T ( X , x ) . There is a scheme Z 2 S such that Z red = S , each connected component of S has at most a degree of 2, and either Z is a critical scheme of S or dim S x 2 and Z = S .
Proof. 
If dim S x 2 , by definition we take Z = S . Now assume that dim S = x 1 . According to Lemma 1 we get a zero-dimensional scheme Z such that Z red = S , each connected component of Z has a degree of at most 2, Z red = S , and dim Z = deg ( Z ) 2 . □

3. A Cohomological Tool

This section is devoted to the proof of Proposition 1, which is essential for the proof of Theorem 1. The proof of Proposition 1 is a chain of lemmas, each of them proving a particular case of Proposition 1.
Fix an integral projective variety X, an effective Cartier divisor D of X, and a zero-dimensional scheme Z X . The residual scheme Res D ( Z ) of Z with respect to D is the closed subscheme of X, with I Z : I D as its ideal sheaf. We have Res D ( Z ) Z and deg ( Z ) = deg ( Res D ( Z ) ) + deg ( Z D ) , in which Z D is the scheme-theoretic intersection. For all line bundles L on X, we have an exact sequence,
0 I Res D ( Z ) L ( D ) I Z L I Z D , D L | D 0 ,
often called the residual exact sequence of D.
The case deg ( Z ) 2 d + 1 of the following lemma is as in [11] (Lemma 34).
Lemma 3.
Fix a positive integer d. Let Z P n , where n 2 , be a zero-dimensional scheme such that deg ( Z ) 2 d + 2 . We have h 1 ( I Z ( d ) ) > 0 if and only if either there is line L P n such that deg ( Z L ) d + 2 or deg ( Z ) = 2 d + 2 , and Z is contained in a plane conic C P n (we allow the case where C is a reducible conic or a double line).
Proof. 
The “if” part follows from Remarks 3–5. Hence, it is sufficient to prove the “only if” part.
Set z : = deg ( Z ) . If d = 1 , then deg ( Z ) 4 . Since h 1 ( I Z ( 1 ) ) > 0 , Z is contained in a plane. Every degree 4 zero-dimensional scheme of P 2 is contained in at least two conics, it may be reducible. Hence, the lemma is true if d = 1 , and we may use induction on the integer d.
The lemma is easy and well-known if n = 2 ([12], Remarques at p. 116). Assume that n > 2 and that the lemma is true in lower-dimensional projective spaces. Let H P n be a hyperplane such that w : = deg ( Z H ) is maximal. If w = z , then we use the inductive assumption on n. Now assume that Z H . If h 1 ( H , I Z H , H ( d ) ) > 0 , then we use the inductive assumption on n to get the existence of a line L H such that deg ( L Z ) d + 2 .
Now assume that h 1 ( H , I Z H , H ( d ) ) = 0 . The residual exact sequence of H gives h 1 ( I Res H ( Z ) ( d 1 ) ) > 0 . We have w dim | O P n ( 1 ) | = n . Hence, deg ( Res H ( Z ) ) = z w 2 d + 2 3 = 2 ( d 1 ) + 1 . The inductive assumption on d indicates the existence of a line R such that deg ( R Res H ( Z ) ) d + 1 . Taking a hyperplane containing R, we get w d + 1 + ( n 2 ) , and hence, deg ( Res H ( Z ) ) d , a contradiction. □
Lemma 4.
Set Y = P 1 × P 1 . Fix integers b 1 0 and b 2 0 . Fix D | O Y ( 1 , 1 ) | and a zero-dimensional scheme Z D . We have h 1 ( I Z ( b 1 , b 2 ) ) = h 1 ( D , I Z , D ( b 1 , b 2 ) ) . We have h 1 ( I Z ( b 1 , b 2 ) ) > 0 if and only if either deg ( Z ) b 1 + b 2 + 2 or D = J R with J | O Y ( 1 , 0 ) | , R | O Y ( 0 , 1 ) | , and either deg ( Z J ) b 2 + 2 or deg ( Z R ) b 1 + 2 .
Proof. 
We have h 1 ( I Z ( b 1 , b 2 ) ) = h 1 ( D , I Z , D ( b 1 , b 2 ) ) because
h 1 ( O Y ( b 1 1 , b 2 1 ) ) = h 2 ( O Y ( b 1 1 , b 2 1 ) ) = 0
according to the Künneth formula. Since h 1 ( O Y ( b 1 1 , b 2 1 ) ) = 0 , we have h 0 ( D , O D ( b 1 , b 2 ) ) = b 1 + b 2 + 1 . Assume that deg ( Z ) b 1 + b 2 + 1 . If D is irreducible, then D P 1 with deg ( O D ( b 1 , b 2 ) ) = b 1 + b 2 , and hence, h 1 ( D , I Z , D ( b 1 , b 2 ) ) = 0 according to the cohomology of line bundles on P 1 . Assume that D = J R with J | O Y ( 1 , 0 ) | , R | O Y ( 0 , 1 ) | , and deg ( Z R ) b 1 + 1 . Consider the residual exact sequence of R:
0 I Res R ( Z ) ( b 1 , b 2 1 ) I Z ( b 1 , b 2 ) I R Z , R ( b 1 , b 2 ) 0
Since deg ( R Z ) b 1 + 1 , we have h 1 ( R , I R Z , R ( b 1 , b 2 ) ) = 0 . Hence, the long cohomology exact sequence of (1) gives h 1 ( I Res R ( Z ) ( b 1 , b 2 1 ) ) > 0 . Since Z J R , we have Res R ( Z ) J . We have h 1 ( I Res R ( Z ) ( b 1 , b 2 1 ) ) = h 1 ( J , I Res R ( Z ) , J ( b 1 , b 2 1 ) ) , because h 1 ( O Y ( b 1 1 , b 2 1 ) ) = h 2 ( O Y ( b 1 1 , b 2 1 ) ) = 0 . We get the inequality deg ( Res R ( Z ) ) b 2 + 1 , and hence, deg ( Z J ) b 2 + 1 . Assume that deg ( Z J ) b 2 + 1 , and hence, deg ( Z J ) = b 2 + 1 . Using the residual exact sequence of J, we get the inequality deg ( Res J ( Z ) ) b 1 + 1 . Hence, deg ( Z ) b 1 + b 2 + 2 , contradicting one of our assumptions. □
Lemma 5.
Fix integers d 2 d 1 1 . Let Z Y : = P 1 × P 1 be a zero-dimensional scheme such that deg ( Z ) 2 d 1 + 2 . We have h 1 ( I Z ( d 1 , d 2 ) ) > 0 and h 1 ( I Z ( d 1 , d 2 ) ) = 0 for all Z Z if and only if one of the following cases occurs:
(1)
deg ( Z ) = d 1 + 2 and there is L | O Y ( 0 , 1 ) | such that Z L ;
(2)
deg ( Z ) = d 2 + 2 and there is R | O Y ( 1 , 0 ) | such that Z R ;
(3)
d 2 = d 1 , deg ( Z ) = d 1 + d 2 + 2 and there is D | O Y ( 1 , 1 ) | such that Z D .
Proof. 
The “if” part follows from Remarks 3–5. Hence, it is sufficient to prove the “only if” part.
Let ν be the Segre–Veronese embedding of Y. First assume that d 1 = d 2 = 1 . Hence, we have deg ( Z ) 4 . If deg ( Z ) 3 , then ν ( Z ) shows that deg ( Z ) = 3 and that Z is contained in a line of one of the 2 rulings of ν ( Y ) . Now assume that deg ( Z ) = 4 . We determine that Z is contained in D | O Y ( 1 , 1 ) | . Since no degree 3 subscheme of ν ( Z ) is contained in a line, D is smooth and we are in the third case of the lemma.
The same proof works if d 1 = 1 and d 2 > 1 .
Hence, we may assume that d 1 2 and use induction on the integer d 1 .
Take D | O Y ( 1 , 1 ) | such that e 1 : = deg ( Z D ) is maximal. Set Z 1 : = Res D ( Z ) . If h 1 ( I Z D ( d 1 , d 2 ) ) > 0 , then it is sufficient to use Lemma 4. Hence, we may assume that h 1 ( I Z D ( d 1 , d 2 ) ) = 0 , i.e., h 1 ( D , I Z D , D ( d 1 , d 2 ) ) = 0 . Hence the residual exact sequence of D gives h 1 ( I Z 1 ( d 1 1 , d 2 1 ) ) > 0 . Let Z Z 1 be a minimal scheme such that h 1 ( I Z ( d 1 1 , d 2 1 ) ) = 0 . Since dim | O Y ( 1 , 1 ) | = 3 , e 1 3 . Hence, we get the inequality deg ( Z ) deg ( Z ) e 1 2 ( d 1 1 ) + 1 . Hence, the inductive assumption indicates that either deg ( Z ) = d 1 + 1 and there is a line L | O Y ( 0 , 1 ) | such that Z L , or deg ( Z ) = d 2 + 1 and there is R | O Y ( 1 , 0 ) | such that Z R . Since deg ( Z ) d 1 + 1 , the definition of e 1 gives e 1 d 1 + 2 . Hence, deg ( Z 1 ) d 1 , a contradiction. □
Lemma 6.
Set Y : = P 1 × P 2 . Let Z Y be a zero-dimensional scheme such that deg ( Z ) 4 . We have h 1 ( I Z ( 1 , 1 ) ) > 0 if and only if one of the following cases occurs:
(i)
There is a curve L Y of bidegree ( 1 , 0 ) such that deg ( Z L ) 3 ;
(ii)
There is curve R Y of bidegree ( 0 , 1 ) such that deg ( Z R ) 3 ;
(iii)
d 1 = d 2 , deg ( Z ) = 2 d 1 + 2 , and there is a reduced and connected curve D Y of bidegree ( 1 , 1 ) such that Z D ;
(iv)
deg ( Z ) = 4 , and Z is contained in a plane contained in the second ruling of Y.
Proof. 
The “if” part follows from Remarks 3–5. Hence, it is sufficient to prove the “only if” part.
The very ampleness of O Y ( 1 , 1 ) , the structure of the lines of the Segre variety, ν ( Y ) and the fact that ν ( Y ) is scheme-theoretically cut out by quadrics cover all cases with deg ( Z ) 3 . Assume that deg ( Z ) = 4 . If neither (i) nor (ii) is true, then ν ( Z ) is a plane. Take H | O Y ( 0 , 1 ) | such that w : = deg ( H Z ) is maximal. We have w dim | O Y ( 0 , 1 ) | = 2 , and hence, deg ( Res H ( Z ) ) = 4 w 2 . Consider the residual exact sequence of H:
0 I Res H ( Z ) ( 1 , 0 ) I Z ( 1 , 1 ) I H Z , H ( 1 , 1 ) 0
If h 1 ( H , I Z H , H ( 1 , 1 ) ) > 0 , then we use Lemma 5. Note that elements of the projective space | O P 1 × P 1 ( a , b ) | seen as curves have bidegree ( b , a ) and that each element | O P 1 × P 1 ( 1 , 1 ) | is connected and with no multiple components. Hence, we may assume the equality h 1 ( H , I Z H , H ( 1 , 1 ) ) = 0 . The long cohomology exact sequence of (2) gives h 1 ( I Res H ( Z ) ( 1 , 0 ) ) > 0 . Hence, w = 2 and deg ( π 1 ( Res H ( Z ) ) ) = 1 . Hence, there is M | O Y ( 1 , 0 ) | containing Res H ( Z ) . If Z M , then we are in case (iv). If h 1 ( I Z M ( 1 , 1 ) ) > 0 and deg ( Z M ) 3 , then we are in case (i). Thus, we may assume the equality h 1 ( I Z M ( 1 , 1 ) ) = 0 . The residual exact sequence of M gives h 1 ( I Res M ( Z ) ( 0 , 1 ) ) > 0 . Hence, deg ( π 2 ( Res M ( Z ) ) ) = 1 . Since dim | O Y ( 0 , 1 ) | = 2 , we get w 3 , a contradiction. □
Lemma 7.
Set Y : = P n 1 × P n 2 with n 1 + n 2 3 . Let Z Y be a zero-dimensional scheme such that deg ( Z ) 4 . We have h 1 ( I Z ( 1 , 1 ) ) > 0 if and only if one of the following cases occurs:
(i)
There is a curve L Y of bidegree ( 1 , 0 ) such that deg ( Z L ) 3 ;
(ii)
There is curve R Y of bidegree ( 0 , 1 ) such that deg ( Z R ) 3 ;
(iii)
deg ( Z ) = 4 , and there is a reduced and connected curve D Y of bidegree ( 1 , 1 ) such that Z D ;
(iv)
deg ( Z ) = 4 , and Z is contained in a plane contained in one of the rulings of Y.
Proof. 
The “if” part follows from Remarks 3–5. Hence, it is sufficient to prove the “only if” part.
Based on the structure of lines in ν ( Y ) and the fact that ν ( Y ) is scheme-theoretically cut out by quadrics, we may assume that deg ( Z ) = 4 and h 1 ( I Z ( 1 , 1 ) ) = 0 for all Z Z . We use induction on the integer n 1 + n 2 , with the case n 1 + n 2 = 3 being true according to Lemma 6. First assume n i 3 for some i, say, n 2 3 . Take H | O Y ( 0 , 1 ) | such that w : = deg ( H Z ) is maximal. We have w dim | O Y ( 0 , 1 ) | = n 2 3 . Hence, h 1 ( I Res H ( Z ) ( 1 , 0 ) ) = 0 . Hence, the long cohomology exact sequence of (2) gives h 1 ( H , I Z H , H ( 1 , 1 ) ) > 0 . Hence, Z H . Based on the inductive assumption, Z is contained in a plane contained in a ruling. Now assume that n 1 = n 2 = 2 . Take M | O Y ( 1 , 0 ) | , where c : = deg ( Z M ) is maximal. If Z M , then we use Lemma 6. If Z M , then we get h 1 ( I Res M ( Z ) ( 0 , 1 ) ) > 0 with deg ( Res M ( Z ) ) = 4 c 2 . We get deg ( Res M ( Z ) ) = 2 and deg ( π 1 ( Res M ( Z ) ) ) = 1 . Hence, w 3 , a contradiction. □
Lemma 8.
Set Y : = P n 1 × P n 2 with n 1 + n 2 3 . Let Z Y be a zero-dimensional scheme such that deg ( Z ) 4 . We have h 1 ( I Z ( 1 , t ) ) > 0 for some t 2 if and only if one of the following cases occurs:
(i)
There is a curve L Y of bidegree ( 1 , 0 ) such that deg ( Z L ) 3 ;
(ii)
t = 2 , deg ( Z ) = 4 , and there is curve R Y of bidegree ( 0 , 1 ) such that deg ( Z R ) 4 ;
(iii)
deg ( Z ) = 4 , and Z is contained in a plane contained in the first rulings of Y.
Proof. 
The “if” part follows from Remarks 3–5. Hence, it is sufficient to prove the “only if” part.
According to Lemma 5 we may use induction on the integer n 1 + n 2 . Hence, we may assume that Z is contained in no lower-dimensional multiprojective spaces. Since h 1 ( I Z ( 1 , 1 ) ) > 0 and we may apply Lemma 5 for the case n 1 = n 2 = 1 , we are in case (i), (ii), (iii), or (iv) of Lemma 7. Case (i) or case (iv) for the first ruling concludes the proof. Assume the existence of a curve R of bidegree ( 0 , 1 ) such that deg ( R Z ) 3 . Take H | I H ( 1 , 0 ) | , where w : = deg ( Z H ) is maximal. If n 2 2 , we have Z H and we use the inductive assumption. Assume that n 2 = 1 and w = 3 . Since O Y ( 1 , 0 ) is globally generated, h 1 ( I Res H ( Z ) ( 1 , 0 ) ) = 0 . The residual exact sequence of H gives h 1 ( H , I Z H ( 1 , t ) ) > 0 . Since h 1 ( I R ( 1 , t ) ) = 0 , we get h 1 ( R , I Z R , R ( 1 , t ) ) = 0 , contradicting the assumption t 2 . If n 2 2 , and Z is contained in a plane G of the second ruling, we use the fact that h 1 ( I G ( 1 , t ) ) = 0 and that h 1 ( G , I Z , G ( 1 , t ) ) = 0 , unless t = 2 and Z is contained in a line contained in G and, hence, is of bidegree ( 0 , 1 ) . Now assume that Z is contained in a reduced and connected curve D Y of bidegree ( 1 , 1 ) . Since h 1 ( I D ( 1 , t ) ) = 0 and t 2 , we determine that D is reducible, say, D = L 1 R 1 , with L 1 of bidegree ( 1 , 0 ) and R 1 of bidegree ( 0 , 1 ) . We determine that either deg ( Z L 1 ) 3 or deg ( Z ) = 4 , t = 2 , and Z R 1 . □
Lemma 9.
Fix integers n 1 1 , n 2 1 , and d 2 d 1 1 . Set Y : = P n 1 × P n 2 . Fix a zero-dimensional scheme Z Y such that deg ( Z ) 2 d 1 + 2 . We have h 1 ( I Z ( d 1 , d 2 ) ) > 0 if and only if one of the following cases occurs:
(i)
There is a curve L Y of bidegree ( 1 , 0 ) such that deg ( Z L ) d 1 + 2 ;
(ii)
There is curve R Y of bidegree ( 0 , 1 ) such that deg ( Z R ) d 2 + 2 ;
(iii)
d 1 = d 2 , deg ( Z ) = 2 d 1 + 2 , and there is a reduced and connected curve D Y of bidegree ( 1 , 1 ) such that Z D ;
(iv)
deg ( Z ) = 2 d 1 + 2 , and there is a plane contained in one of the rulings of Y such that Z is contained in a conic (perhaps reducible or a double line) of this plane; if the ruling is the latter, then d 2 = d 1 .
Proof. 
The “if” part follows from Remarks 3–5. Hence, it is sufficient to prove the “only if” part.
The case n 1 = n 2 = 1 is true according to Lemma 5. Note that elements of | O P 1 × P 1 ( a , b ) | seen as curves have bidegree ( b , a ) and that each element of | O P 1 × P 1 ( 1 , 1 ) | is connected and with no multiple components.
Hence, we may assume that n 1 + n 2 3 and use induction on the integer n 1 + n 2 . We may also use induction on the integer n 1 + n 2 . Hence, we may assume that Z Y with Y , a proper multiplrojective subspace of Y. To handle a case in which Y has a unique factor, P n , we use Lemma 3.
Set z : = deg ( Z ) . Let ν be the Segre embedding of Y. The case d 1 = 1 is true according to Lemma 8. Hence, we may assume that d 1 2 and use induction on the integer min { d 1 , d 2 } .
(a) Assume that n 2 2 . Take H | O Y ( 0 , 1 ) | such that w : = deg ( Z H ) is maximal. If Z H , then we use the inductive assumption on n 1 + n 2 . Hence, we may assume that Res H ( Z ) . Since h 0 ( O Y ( 0 , 1 ) ) = n 2 + 1 , w n 2 2 . Consider the residual exact sequence of H:
0 I Res H ( Z ) ( d 1 , d 2 1 ) I Z ( d 1 , d 2 ) I H Z , H ( d 1 , d 2 ) 0
If h 1 ( H , I Z H , H ( d 1 , d 2 ) ) > 0 , then we may use the inductive assumption on dim Y . Hence, we may assume that h 1 ( H , I Z H , H ( d 1 , d 2 ) ) = 0 . The long cohomology exact sequence of (3) gives h 1 ( I Res H ( Z ) ( d 1 , d 2 1 ) ) = 0 . We have
deg ( Res H ( Z ) ) = z w min { 2 d 1 , 2 ( d 2 1 ) + 2 } .
Since d 2 2 we may apply the inductive assumption on min { d 1 , d 2 1 } and determine that either there is a curve of bidegree ( 1 , 0 ) with deg ( Res H ( Z ) L ) d 1 + 2 (concluding the proof in this case because Res H ( Z ) Z ) or there is a curve R of bidegree ( 0 , 1 ) such that deg ( R Res H ( Z ) ) d 2 or d 2 1 = d 1 , deg ( Res H ( Z ) ) = d 1 + d 2 + 1 , and there is a connected curve of bidegree ( 1 , 1 ) containing Res H ( Z ) . The last case is excluded, because w > 1 .
Assume the existence of a curve R of bidegree ( 0 , 1 ) satisfying the inequality deg ( Res H ( Z ) R ) d 2 + 1 . Since R has bidegree ( 0 , 1 ) , π 2 | R : R P n 2 is an embedding with a line π 2 ( R ) . Since R is the complete intersection of n 2 1 elements of | O Y ( 0 , 1 ) | , the maximality of w gives w d 2 + 1 + ( n 2 1 ) . Hence, z w 2 d 1 + 2 d 2 n 2 < d 2 + 1 , a contradiction.
(b) Now assume that n 2 = 1 , and hence, n 1 2 . The proof of step (a) works with no modifications if d 2 = d 1 using the first ruling instead of the second one. Hence, we may assume that d 2 > d 1 . Since h 1 ( I Z ( d 1 , d 2 ) ) > 0 , we have h 1 ( I Z ( d 1 , d 1 ) ) > 0 . Hence, the case of the lemma just proven shows that we are in case (i), (ii), (iii), or (iv) of the lemma, with case (iv) being the first ruling. Hence, there is a line R Y of bidegree ( 0 , 1 ) such that deg ( R Z ) d 1 + 2 . Take M | O Y ( 1 , 0 ) | such that e : = deg ( Z M ) is maximal. If Z M , then we use the inductive assumption on the integer dim Y . Hence, we may assume that Z M . Since π 1 ( R ) is a point and deg ( R Z ) d 1 + 1 , e d 1 + 1 + ( n 1 1 ) = d 1 + n 1 . Hence, deg ( Res M ( Z ) ) d 1 + n 1 . Since d 2 2 , the inductive assumption on the minimum of the 2 partial degrees gives h 1 ( I Res M ( Z ) ( d 1 1 , d 2 ) ) = 0 . Hence, the residual exact sequence of M gives h 1 ( M , I Z M , M ( d 1 , d 2 ) ) > 0 . We conclude using the inductive assumption on the dimension of the biprojective space. □
Proposition 1.
Fix positive integers k, n i , and d i , and 1 i k . Set t : = min { d 1 , , d k } . Set Y : = P n 1 × × P n k . Let Z Y be a zero-dimensional scheme such that deg ( Z ) 2 t + 2 . We have h 1 ( I Z ( d 1 , , d k ) ) > 0 if and only if one of the following cases occurs:
(i)
There are i { 1 , , k } such that deg ( Z L ) d i + 2 for some curve L of multidegree ϵ i ;
(ii)
There are i , j { 1 , , k } such that i j , d i = d j = t , deg ( Z ) = 2 t + 2 , and there is a reduced and connected curve D Y of multidegree ϵ i + ϵ j such that Z D ;
(iii)
deg ( Z ) = 2 t + 2 , and there is a plane contained in one of the rulings with d i = t of Y such that Z is contained in a conic (perhaps reducible or a double line) of this plane; if the ruling is the latter, then d 2 = d 1 .
Proof. 
The “if” part follows from Remarks 3–5. Hence, it is sufficient to prove the “only if” part.
Set z : = deg ( Z ) . Let ν be the Segre embedding of Y. The case k = 1 is true according to Lemma 3. The case k = 2 is true according to Lemma 9. Hence, we may assume that k > 2 and that the proposition is true for multiprojective spaces with at most k 1 factors. For multiprojective spaces with k factors, we use induction on the integer n : = n 1 + + n k . Fix i { 1 , , k } and take H | O Y ( ϵ i ) | such that w : = deg ( Z H ) is maximal. If Z H , then we may use the inductive assumption on the integer dim Y . Hence, we may assume that Res H ( Z ) . Consider the residual exact sequence of H:
0 I Res H ( Z ) ( d 1 , , d k ) ( ϵ i ) I Z ( d 1 , , d k ) I H Z , H ( d 1 , , d k ) 0
If h 1 ( H , I Z H , H ( d 1 , , d k ) ) > 0 , then it is sufficient to use the inductive assumption on n. Thus, h 1 ( I Res H ( Z ) ( 1 , , 1 ) ( ϵ i ) ) > 0 . Note that we have deg ( Res H ( Z ) ) = z w and w dim | O Y ( ϵ i ) | = n i .
(a) Assume that t = 1 . Let ν be the Segre embedding of Y.
(a1) Assume that d i = 1 for all i. The case z 2 is true because ν is an embedding, while the case z = 3 is true according to the structure of lines of the Segre variety ν ( Y ) . Now assume that z = 4 . First assume that w = 3 . Since Res H ( Z ) is a single point and O Y ( 1 , , 1 ) ( ϵ i ) is globally generated, h 1 ( I Res H ( Z ) ( 1 , , 1 ) ( ϵ i ) ) = 0 , a contradiction. Now assume that w = 2 . Since h 1 ( I Res H ( Z ) ( 1 , , 1 ) ( ϵ i ) ) > 0 , we determine that the degree 2 zero-dimensional scheme H Z is mapped to a point, p. Since n i 1 , there exists U | I Res H ( Z ) ( ϵ i ) | , satisfying the inequality deg ( U Z ) > deg ( Res H ( Z ) ) = 2 , a contradiction. Now assume that w = 1 . Since w n i , we get n i = 1 and determine that π i | Z : Z P 1 is an embedding. In particular Z is curvilinear. Since we excluded all other cases, using the other rulings we get Y = ( P 1 ) k . Since π 1 | Z : Z P 1 is an embedding, η k | Z : Z Y k ( P 1 ) k 1 is an embedding. Since h 1 ( Y k , I η k ( Z ) ( 1 , , 1 ) ) h 1 ( I Z ( 1 , , 1 ) ) > 0 . The inductive assumption on k indicates that η k ( Z ) ( P 1 ) k is in case (i) or (ii). First assume that it is in case (i) with, say, i = 1 . The set η k 1 ( R ) is isomorphic to P 1 × P 1 and deg ( Z η k 1 ( R ) ) = 3 . Take a multiprojective space U containing η k 1 ( R ) . Since h 1 ( I Res U ( Z ) ( a 1 , , a k ) ) = 0 for all ( a 1 , , a k ) , the residual exact sequence of U gives h 1 ( I Z U ( 1 , , 1 ) ) > 0 . Hence, we are in case (i) for some L containing Z U .
Now assume we are in case (ii). The set T : = η k 1 ( D ) is a surface of multidegree ( 1 , 1 , 0 ) contained in ( P 1 ) 3 , seen as the product of the i-th, j-th, and k-th factor of Y. If k > 3 there is a multiprojective space strictly contained in Y and containing ( P 1 ) 3 , concluding the proof. Now assume that k = 3 . T is a divisor of Y, and as a divisor it has multidegree ( 0 , 0 , 1 ) . Since h 1 ( I Res T ( Z ) ( 1 , 1 , 0 ) ) = 0 , the residual exact sequence of T gives h 1 ( T , I Z T , T ( 1 , 1 , 1 ) ) > 0 . First assume that D is smooth. Hence, D P 1 and T P 1 × P 1 with O D ( 1 , 1 , 1 ) O T ( 2 , 1 ) . Apply Lemma 5 to Z T .
Now assume that D is singular, say, D = L 1 L 2 , with L 1 of multidegree ( 1 , 0 , 0 ) and L 2 with multidegree ( 0 , 1 , 0 ) . Set T i = L i . If deg ( Z T i ) 3 for some i = 1 , 2 , then we are in case (i). Assume that deg ( Z T i ) = 2 for all i, and hence, Z T 1 T 2 = . The surface T 1 (resp. T 2 ) is an element of | O Y ( ϵ 2 ) | (resp. | O Y ( ϵ 1 ) | ). The residual exact sequence of T 2 gives h 1 ( I Z T 1 ( 0 , 1 , 1 ) ) > 0 . Hence, Z T 1 is contained in a curve R 1 of multidegree ( 1 , 0 , 0 ) . Using T 1 , we determine that Z T 2 is contained in curve R 2 of multidegree ( 0 , 1 , 0 ) . Hence, Z R 1 R 2 .
(a2) Assume that t = 1 , but that there exists at least one i { 1 , , 1 } such that d i 2 . Since h 1 ( I Z ( d 1 , , d k ) ) h 1 ( I Z ( 1 , , 1 ) ) , part (a1) indicates that we are in case (i), (ii), or (iii), except that for case (i) we only know that deg ( Z L ) 3 , which is not enough if d i > 1 . Assume that deg ( Z L ) = 3 . Note that π j ( L ) is a point for all j i . Since k 2 , there is j i . Take any M | I L ( ϵ j ) | . Since deg ( Res M ( Z ) ) 1 , h 1 ( I Res M ( Z ) ( 1 , , 1 ) ( ϵ j ) ) = 0 . Hence, the residual exact sequence of M and the inductive assumption on n show that Z M satisfies the lemma.
(b) According to step (a) we may assume that t 2 and that the proposition is true for all multidegrees ( a 1 , , a k ) such that 1 min { a 1 , , a k } t 1 . Take i, H, and w as before with h 1 ( I Res H ( Z ) ( d 1 , , d k ) ( ϵ i ) ) > 0 . If either w 2 or d i > t , we use the inductive assumption on t. Since w n i , we conclude, unless Y = ( P 1 ) k and d i = t for all t. Take U | O Y ( 1 , 1 , 0 , , 0 ) | such that c : = deg ( U Z ) is maximal.
Assume for the moment that h 1 ( U , I U Z , Z ( t , , t ) ) = 0 . The residual exact sequence of U gives h 1 ( I Res U ( Z ) ( t 1 , t 1 , t , , t ) ) > 0 . Since c dim | O Y ( 1 , 1 , 0 , , 0 ) | = 3 , the inductive assumption gives i { 1 , , k } and a curve L
Now assume that h 1 ( U , I U Z , Z ( t , , t ) ) > 0 . We have U D × ( P 1 ) k 3 for some D | O P 1 × P 1 ( 1 , 1 ) | . As in step (a) we handle the 2 cases for the possible types of reduced curves D, smooth or reducible. If D is smooth, we have O U ( 1 , , 1 ) O ( P 1 ) k 1 ( 2 t , t , , t ) . If D is singular, U is the union of 2 multiprojective spaces whose intersection is a codimension 1 multiprojective space. □
Remark 6.
Take Z as in Proposition 6. In case (i) we have d i + 2 2 t + 2 . Assume we are in case (ii), and hence, deg ( Z ) = 2 t + 2 . The reducedness of D may be omitted, because every curve of multidegree ϵ i + ϵ j is reduced by the assumption i j . If n = 2 , i.e., if Y = P 1 × P 1 , every curve of bidegree ( 1 , 1 ) is connected, but if n > 2 , many curves ϵ i + ϵ j have 2 connected components. Take D connected components of multidegree ϵ i + ϵ j containing Z. Assume that D is reducible, say, D = L R , with L of multidegree ϵ i and R of multidegree ϵ j . Note that D is isomorphic to a reducible conic. If we are not in case (i), then deg ( L Z ) t + 1 and deg ( R Z ) t + 1 . Hence, deg ( L Z ) = deg ( Z R ) = t + 1 and L R Z red . The same applies in case (iii) if the conic is reducible. Now assume that the conic is a double line 2 L . If we are not in case (i), then deg ( Z L ) t + 1 . Hence, deg ( L Z ) = t + 1 .

4. Proofs of Theorem 1 and 2

Remark 7.
Take case (iii) of Theorem 1 with C singular. If C = 2 L is a double line, then A L , and hence, this case is covered by (i). If C is reducible, then deg ( 2 A C ) 2 t + 2 implies that one of the irreducible components of C is as in case (i).
Proof of Theorem 1. 
Z 2 A such that Z red = A , Z = A if dim A deg ( A ) 2 , and dim ν ( Z ) = deg ( Z ) 2 if dim A = deg ( A ) 1 . Fix such a scheme. According to Proposition 1 and Remark 6, one of the following cases occur:
(i)
There are i { 1 , , k } such that deg ( Z L ) d i + 2 for some curve L of multidegree ϵ i ;
(ii)
There are i , j { 1 , , k } such that i j , d i = d j = t , deg ( Z ) = 2 t + 2 , and there is a reduced and connected curve D Y of multidegree ϵ i + ϵ j such that Z D ;
(iii)
deg ( Z ) = 2 t + 2 , and there is a plane contained in one of the rulings with d i = t of Y such that Z is contained in a conic (perhaps reducible or a double line) of this plane.
In Proposition 1 it is “if and only if”. However, in our cases, to determine that ν ( A ) T ( X , x ) we need to check if h 0 ( I 2 A ( d 1 , , d k ) ) 0 . In all cases we have h 1 ( I 2 A ( d 1 , , d k ) ) > 0 for the following reasons. In case (i) we have deg ( L 2 A ) 2 # ( A L ) d i + 2 . In case (ii) we have deg ( D 2 A ) 2 t + 2 . In case (iii) we have deg ( C 2 A ) 2 t + 2 . Thus, we may use Remarks 3 and 5. The condition ν ( 2 A ) P r is satisfied, because deg ( 2 A ) = ( n + 1 ) x r + 1 and h 1 ( I 2 A ( d 1 , , d k ) ) > 0 . □
Proof of Theorem 2. 
First assume that t = 1 , and hence, x = 1 . Remark 4 gives w ( 2 S ) = 0 . Thus, we may assume that t > 1 and use induction on the integer t. We use induction on the integer k. For a fixed k we use induction on n : = dim Y .
(a) Assume that k = 1 . First assume that n = 1 . We use the fact that
h 1 ( P 1 , I Z ( t ) ) = max { 0 , deg ( Z ) t 1 }
for all zero-dimensional schemes Z P 1 . Hence, we may assume that n 2 and use induction on the integer n. Fix A S ( P n , x ) such that h 1 ( I 2 A ( t ) ) is maximal, and take a hyperplane H P n such that y : = # ( A H ) is maximal. Since H is smooth, the definition of the residual scheme gives Res H ( 2 A ) = 2 ( A A H ) ( A H ) . Consider the residual exact sequence of H:
0 I 2 ( A A H ) ( A H ) ) ( t 1 ) I 2 A ( t ) I H 2 A , A ( t ) 0
Assume that t = 1 , and hence, x = 1 . Since O P n ( 1 ) is very ample, h 1 ( I 2 p ( 1 ) ) = 0 for all p P n . Since any point of P n is contained in a line, the case t = 1 is true. Hence, for k = 1 we may assume that t > 1 and use induction on the integer t. Remark 5 gives
h 2 ( I 2 ( A A H ) ( A H ) ) ( t 1 ) ) = 0 .
First assume that y = x , i.e., A H . Since x t , we have h 1 ( I A ( t 1 ) ) = 0 (Lemma 3). Since h 2 ( I A ( t 1 ) ) = 0 , the long cohomology exact sequence of (5) gives the equality h 1 ( I 2 A ( t ) ) = h 1 ( H , I 2 A ( t ) ) . Hence, it is sufficient to use the inductive assumption on n. We proved that if A is contained in a line L, then h 1 ( I 2 A ( t ) ) = max { 0 , t + 1 2 x } .
Now assume that y < x . Since y < x , the maximality condition of H implies that H = A H . Since dim | O P n ( 1 ) | = n , we have y n 2 .
(a1) Assume that h 1 ( I 2 ( A A H ) A H ( t 1 ) ) = 0 . The long cohomology exact sequence of (5) gives the equality h 1 ( I 2 A ( t ) ) = h 1 ( H , I A H , H ( t ) ) , because we have h 2 ( I 2 ( A A H ) ( A H ) ) ( t 1 ) ) = 0 (Remark 5). Based on the inductive assumption on n, we obtain the inequality h 1 ( H , I A H , H ( t ) ) max { 0 , 2 y 1 } , contradicting the assumption 2 x t + 2 for part (b) in the case of x collinear points and in the case of 2 x t + 1 , proving that h 1 ( I 2 A ( t ) ) = 0 .
(a2) Assume that h 1 ( I 2 ( A A H ) A H ( t 1 ) ) > 0 . According to Lemma 1 there is a zero-dimensional scheme Z such that Z red A , each connected component of Z has at most degree 2, each point of A H is a connected component of Z, h 1 ( I Z ( t 1 ) ) > 0 , and h 1 ( I Z ( t 1 ) ) = 0 for all Z Z . We have deg ( Z ) 2 ( x y ) + y = 2 x y 2 ( t 1 ) . Lemma 3 indicates the existence of a line R such that deg ( R Z ) t + 1 .
(a2.1) First assume that R H . Since each connected component of Z has at most degree 2, and it has degree 1 if it is contained in H, a line is uniquely determined by 2 of its points and R H by assumption, with deg ( Z ) 2 , Z = Z red . Since deg ( Z ) t + 1 , we get t = 1 , a contradiction.
(a2.2) Now assume that R H . Since deg ( R H ) 1 , R contains at most 1 point of the set A H . Hence, Z red contains at least t / 2 points of A A H . Note that we have the inequality # ( Z red R ) t / 2 + 1 . Let M be a hyperplane containing R, with c : = # ( M S ) being maximal among the hyperplanes containing R. As in step (a1) we get a contradiction if h 1 ( I 2 ( A A M ) A M ( t 1 ) ) = 0 . Hence, we may assume that h 1 ( I 2 ( A A M ) A M ( t 1 ) ) > 0 . According to Lemma 1 there is a zero-dimensional scheme Z such that Z red A , each connected component of Z has at most degree 2, each point of A M is a connected component of Z, h 1 ( I Z ( t 1 ) ) > 0 , and h 1 ( I Z ( t 1 ) ) = 0 for all Z Z . Note the inequality deg ( Z ) 2 ( x c ) + c = 2 x c 2 ( t 1 ) . Lemma 3 indicates the existence of a line R such that deg ( R Z ) t + 1 . Since t > 1 , Z red contains at most one point of A M . Hence, R R . Since deg ( R R ) 1 , we have the inequality x 1 + ( 1 + t / 2 ) + ( 1 + t / 2 ) > t , a contradiction.
(b) According to step (a) we may assume that k 2 and use induction on k and n. Recall that t > 1 and that we use induction on t. Fix j i . Since π j ( L ) is a point, there is H | I L ( ϵ j ) | . Take H such that b : = # ( A H ) is maximal. Since H is smooth, we have an equality Res H ( 2 A ) = 2 ( A A H ) ( A H ) in the schemes. Consider the residual exact sequence of H:
0 I 2 ( A A H ) ( A H ) ) ( d 1 , , d k ) ( ϵ j ) I 2 A ( d 1 , , d k ) I H 2 A , A ( d 1 , , d k ) 0
(b1) Assume that d i = t and A L . We have x t and t 2 . Thus, we obtain h 1 ( I A ( d 1 , , d k ) ( ϵ j ) ) = 0 even if d j = t (Proposition 1). Hence, in this case, through induction on n, we have h 1 ( I 2 A ( t ) ) = max { 0 , 2 x t 1 } . Note that we use the case k = 1 , because if n j = 1 , the multiprojective space H has only k 1 positive-dimensional factors.
(b2) Assume that either d i > t or d i = t and A L . Set a : = # ( A L ) . By assumption, a d i / 2 + 1 t / 2 .
First assume that A H . Proposition 1 gives h 1 ( I A ( d 1 , , d k ) ( ϵ j ) ) = 0 even if d j 1 = t 1 . Hence, the long cohomology exact sequence of H gives the equality h 1 ( I 2 A ( d 1 , , d k ) ) = h 1 ( H , I H 2 A , H ( d 1 , , d k ) ) . The inductive assumption gives h 1 ( H , I H 2 A , H ( d 1 , , d k ) ) max { 0 , 2 x t + 1 } with equality if 2 x t + 2 if and only if there is h { 1 , , k } (with h j if n j = 1 ) such that d h = t and a curve R of multidegree ϵ h such that A R . Since R L by assumption and # ( R L ) 1 , we get a contradiction.
Now assume that A H . If h 1 ( I 2 ( A A H ) ( A H ) ) ( d 1 , , d k ) ( ϵ j ) ) = 0 , we get a contradiction in the same way.
Now assume that h 1 ( I 2 ( A A H ) ( A H ) ) ( d 1 , , d k ) ( ϵ j ) ) > 0 . According to Lemma 1 there is a zero-dimensional scheme Z such that Z red A , each connected component of Z has at most degree 2, each point of A H is a connected component of Z, and the following inequality h 1 ( I Z ( d 1 , , d k ) ( ϵ j ) ) > 0 holds. Set b : = # ( A H ) . We have b a , and hence, 2 ( x b ) + b = 2 x b 2 t 1 t / 2 2 ( t 1 ) + 1 . According to Proposition 1 there is an integer h { 1 , , k } and a curve C of multidegree ϵ h with deg ( C Z ) d h + 2 if h j , and deg ( C Z ) d h + 1 if h = j . Since H L , C L . Hence, deg ( L C ) 1 . We get x 1 + # ( A L ) + # ( A C ) 1 + ( d h + 1 ) / 2 + 1 + d i / 2 > t , a contradiction. □

5. Examples

In this section we describe the geometry and weights of the sets arising in Theorem 1 and the weight of some other set. We show that for x = t + 1 and k > 1 , the description of the possible weights is very rich. Fix positive integers k, n i , and d i , and set n : = n 1 + + n k , t : = min { d 1 , , d k } , and Y : = P n 1 × × P n k . We allow the case n = 1 , i.e., Y = P 1 . If k 2 , we permute the integers d 1 , , d k to get d 1 d k . Hence, there is an integer e such that d i = t if and only if i e . We write Y = Y × Y with Y , the product of the first e factors of Y and Y , and the product of the last k e ones, with the convention that Y is a point if e = k . Set m : = dim Y = n 1 + + n e . Let π : Y Y denote the projection, with the convention that π is the identity map if e = k .
Remark 8.
Recall that w ( 2 S ) = 0 if # S = 1 (Remark 4) and that for k > 1 a finite set A S ( Y , x ) , x 2 , is contained in a curve of multidegree ϵ i if and only if # π j ( A ) = 1 for all j i , and π i ( A ) is contained in a line. The latter condition if always satisfied if either x = 2 or n i = 1 . Note that if the curve exists, the integer i is uniquely determined by A.
Example 2.
Take n = 1 , and hence, Y = P 1 . For all positive integers t and x and all A S ( P 1 , x ) , the cohomology of line bundles on P 1 gives the two equalities h 0 ( I 2 A ( t ) ) = max { 0 , t + 1 2 x } and h 1 ( I 2 A ( t ) ) = max { 0 , 2 x t 1 } .
Example 3.
Take t = 1 . First assume that k = 1 . We have h 0 ( I 2 A ( 1 ) ) = 0 for all x > 0 and all A S ( P n , x ) , and hence, w ( 2 ν ( A ) ) = ( n + 1 ) ( x 1 ) .
Now assume that k 2 and x = 2 . Take A S ( Y , 2 ) .
(a) 
Assume that there is no i e such that A is contained in a curve of multidegree ϵ i . According to Theorem 1 (which was proven in step (a)) we have w ( 2 ν ( A ) ) = 0 .
(b) 
Assume that e = k and that A is contained in a curve L of multidegree ϵ i for some i. Fix j i . Since # π j ( L ) = 1 , there is H | I L ( ϵ j ) | . Since π 1 | L : L P n 1 is an embedding, # A = 2 and A L , we have h 1 ( I A ( 1 , , 0 ) ) = 0 . Hence, h 1 ( I 2 A ( 1 , , 1 ) ) = h 0 ( Y j , I η j ( A ) ( 1 , , 1 ) ) according to Remark 5 and the long cohomology exact sequence of H. Iterating this trick we get the equality w ( 2 ν ( A ) ) = h 1 ( P n i , I π i ( A ) ) = n i . Hence, we obtain w ( 2 ν ( A ) ) = n i .
(c) 
Assume the existence of i e such that A is contained in a line L of multidegree ϵ i . First assume that e < k . Hence, there is H | I L ( ϵ k ) | . Since O Y ( d 1 , , d k ) ( ϵ i ) ) is very ample, h 1 ( I A ( d 1 , , d k ) ( ϵ i ) ) = 0 . Hence, Remark 5 and the long cohomology exact sequence of H give the equality of the integers h 1 ( I 2 A ( d 1 , , d k ) ) and h 1 ( H , I ( 2 A , H ) , H ( d 1 , , d k ) ) . Repeating this construction we get h 1 ( I 2 A ( d 1 , , d k ) ) = h 1 ( Y , I 2 π ( A ) ( 1 , , 1 ) ) . Step (b) gives the equality w ( 2 ν ( A ) ) = n i .
Example 4.
Fix integer t 3 , x > y > 0 such that t / 2 + 1 y t and x y < t / 2 . Let L P n , where n 2 , be a line. Fix A S ( P n , x ) such that # ( A L ) = y . In this example we prove that h 1 ( I 2 A ( t ) ) = 2 y t 1 . Set F : = A L and E : = A F . Since # ( F ) = y t / 2 + 1 , we have h 0 ( L , I L 2 A ( t ) ) = 0 , and hence, h 1 ( L , I L 2 A , L ( t ) ) = 2 y t 1 . Thus we want to prove the equality h 1 ( I 2 A ( t ) ) = h 1 ( L , I L 2 A , L ( t ) ) .
(a) 
In this step we check that h 1 ( I 2 E F ( t 1 ) ) = 0 . Assume that h 1 ( I 2 E F ( t 1 ) ) > 0 . According to Lemma 1 there is a zero-dimensional scheme W such that W red F , each connected component of W has at most degree 2, and h 1 ( I W F ( t 1 ) ) > 0 . Since we have deg ( W ) 2 ( x y ) , deg ( W F ) 2 x y 2 ( t 1 ) + 1 . Since h 1 ( I W F ( t 1 ) ) > 0 , Lemma 3 indicates the existence of a line R such that deg ( R ( W F ) ) t + 1 . Since L ( W F ) = F and we assumed that y t and R L , we obtain the inequality deg ( R L ) 1 . Thus, we get deg ( W R ) t . Since each connected component of W has at most degree 2, we get x y t / 2 , a contradiction.
(b) 
First assume that n = 2 . In this case it is sufficient to use the residual sequence of L and the fact that h 1 ( I 2 E F ( t 1 ) ) = 0 . Now assume that n > 2 . Take a general hyperplane H L . We have H A = F , and hence, Res H ( 2 A ) = 2 E F . Since h 1 ( I 2 E F ( t 1 ) ) = 0 , it is sufficient to use the long cohomology exact sequence of H and induction on the dimension of the projective space.
Example 5.
Fix integer t 5 and x > y > 0 such that t / 2 + 1 y t ,
( n , t ) { ( 2 , 6 ) , ( 3 , 6 ) , ( 4 , 5 ) , ( 4 , 6 ) }
and ( n + 1 ) ( x y ) n + t 2 n . Let L P n , where n 2 , be a line. Take F L such that # F = y . Take a general E S ( P n , x y ) and set A : = E F . We prove the equality h 1 ( I 2 A ( t ) ) = 2 y t 1 . To adapt the proof of Example 4, it is sufficient to prove that h 1 ( I 2 E F ( t 1 ) ) = 0 . Since y t , we have h 1 ( I F ( t 1 ) ) = 0 (Lemma 3). Since F L , the residual exact sequence of a general hyperplane containing L shows that it is sufficient to prove that h 1 ( I 2 E ( t 2 ) ) = 0 . This is true according to the Alexander–Hirschowitz theorem ([9]).
In the next example we compute w ( 2 S ) in case (iii) of Theorem 1 when the conic C is smooth.
Example 6.
Take t 3 . Let C P n , where n 2 , be a smooth conic. Take A S ( C , x ) with x 2 t 3 . Fix A S ( C , x ) . In this example we check that h 1 ( I 2 A ( t ) ) = max { 0 , 2 x 2 t 1 } . Since C P 1 , deg ( ( 2 A , C ) ) = 2 x and deg ( O C ( t ) ) = 2 t , we have h 1 ( C , I 2 ( A , C ) , C ( t ) ) = max { 0 , 2 x 2 t 1 } . Since h 1 ( I C ( z ) ) = 0 for all z, we get h 1 ( I ( 2 A , C ) ( t ) ) = max { 0 , 2 x 2 t 1 } . Hence, Remarks 3 and 5 give h 1 ( I 2 A ( t ) ) max { 0 , 2 x 2 t 1 } .
(a) Assume that n = 2 . We have the residual exact sequence of C:
0 I A ( t 2 ) I 2 A ( t ) I ( 2 A , C ) ( t ) 0
If h 1 ( I A ( t 2 ) ) = 0 , then it is sufficient to use Remark 1 and the long cohomology exact sequence of (7). Now assume that h 1 ( I A ( t 2 ) ) > 0 . By assumption, t 3 and # A 2 ( t 2 ) + 1 . Hence, there is a line L P 2 such that # ( L A ) t . Since t 3 , and C is an irreducible conic, the theorem of Bezout gives a contradiction.
(b) Assume that n > 2 . Taking a general hyperplane H containing the plane spanned by C, we get an exact sequence:
0 I A ( t 1 ) I 2 A ( t ) I ( 2 A , H ) ( t ) I ( 2 A , H ) ) , H ( t ) ) 0
As in step (a) we get h 1 ( I A ( t 1 ) ) = 0 . Hence, Remarks 3 and 5, with induction on n, give the equality h 1 ( I 2 A ( t ) ) = max { 0 , 2 x 2 t 1 } .
Example 7.
Fix integers t and x such that t 3 and x 2 t 3 . Fix lines L , R P n and n 2 such that L R and L R . Take the finite set A L R such that L R and the finite set B L R such that L R B . Set a 1 : = # ( L A ) and a 2 : = # R B , and b 1 : = # ( L B ) and b 2 : = # ( R B ) . Note that # A = a 1 + a 2 and # B = b 1 + b 2 + 1 . If t is odd we take a 1 = a 2 = ( t + 1 ) / 2 . If t is even we take b 1 = b 2 = 1 + t / 2 . Note that these are the only case for sets A and B with # A t + 1 , # B t + 1 , 2 # ( A L ) t + 1 , 2 # ( A R ) t + 1 , 2 # ( B L ) t + 1 , and 2 # ( B R ) t + 1 . Set C : = L R . We have h 0 ( C , O C ( t ) ) = 2 t + 1 .
(a) 
Assume that t odd. In this part we prove the quality h 1 ( I 2 A ( t ) ) = 1 . Note that we have deg ( C 2 A ) = 2 a 1 + 2 a 2 = 2 t + 2 . We have h 0 ( L , I ( 2 ( A L ) , L ( t ) ) = h 0 ( R , I 2 ( A R ) , R ( t ) ) = 0 . A Mayer–Vietoris exact sequence gives h 0 ( C , I ( 2 A C , C ( t ) ) = 0 . Since deg ( C 2 A ) = 2 t + 2 , we have h 1 ( C , I 2 A C , C ( t ) ) = 1 . Then as in Example 6, we get h 1 ( I 2 A ( t ) ) = 1 .
(b) 
Assume that t is even. In this part we prove that h 1 ( I 2 A ( t ) ) = 2 . Note that this is different from the result for x = t + 1 computed for a smooth conic in Example 6. Let C be the plane containing C. Since C is singular at the point L R , ( 2 ( L R , C ) C . Hence, we obtain deg ( 2 C B ) = 2 t + 3 . We have h 0 ( L , ( 2 ( B L ) , L ) ( t ) ) = h 0 ( R , I 2 ( B R ) , R ( t ) ) = 0 . A Mayer–Vietoris exact sequence gives h 0 ( C , I 2 B C , C ( t ) ) = 0 . Since deg ( C 2 A ) = 2 t + 2 , we obtain the equality h 1 ( C , I 2 A C , C ( t ) ) = 2 . Then as in Example 6, we get h 1 ( I 2 A ( t ) ) = 2 .
Example 8.
Assume t 2 . In this example we take x = t + 1 and find A such that h 1 ( I 2 A ( d 1 , , d k ) ) = 1 . Assume that k 2 , with d 1 = d 2 = t , and (if k > 2 ) d i t for all i 3 . Let C Y be a smooth and connected curve of multidegree ϵ 1 + ϵ i . Fix A S ( C , x ) . We have C P 1 and deg ( O C ( t , t , d 3 , , d k ) ) = 2 t . Hence,
h 1 ( C , I C 2 A , C ( t , t , d 3 , , d k ) ) = max { 0 , 2 x 2 t 1 } .
Note that C is contained in a unique multiprojective space, the product of all π i ( C ) , and that this multiprojective space is isomorphic to P 1 × P 1 .
(a) Assume that k = 2 and n 1 = n 2 = 1 . Consider the residual exact sequence of H:
0 I A ( t 1 , t 1 ) I 2 A ( t , t ) I C 2 A , C ( t , t ) 0
Since C is irreducible, every curve of bidegree ( 0 , 1 ) or of bidegree ( 1 , 0 ) intersects C in a degree 1 scheme. Since # A = t + 1 , and no curve of multidegree ( 1 , 0 ) or ( 0 , 1 ) contains at least 2 points of A, Lemma 5 gives h 1 ( I A ( t 1 , t 1 ) ) = 0 . Hence, Remark 5 and the long cohomology exact sequence of (9) give h 1 ( I 2 A ( t , t ) ) = 1 .
(b) Assume that k = 2 and n 1 + n 2 3 , say, n 2 2 . According to step (a) we want use induction on the integer n 1 + n 2 to prove that h 1 ( I 2 A ( t , t ) ) = 1 . Take H | O Y ( 0 , 1 ) | containing C. Consider the residual exact sequence of H:
0 I A ( t , t 1 ) I 2 A ( t , t ) I H 2 A , H ( t , t ) 0
The inductive assumption gives h 1 ( H , I H 2 A , H ( t , t ) ) = 0 . Note that every curve of bidegree ( 1 , 0 ) or ( 0 , 1 ) contains at most one point of A. Since x = t + 1 and t 2 , Lemma 9 gives h 1 ( H , I H 2 A , H ( t , t ) ) = 0 . Hence, Remark 5 and the long cohomology exact sequence of (10) give h 1 ( I 2 A ( t , t ) ) = 1 .
(c) Assume that k > 2 . According to steps (a) and (b), we may use induction on the integer k. Since # π k ( C ) = 1 , there is M | I C ( ϵ k ) | . We have Res M ( 2 A ) = A . As in step (a) we see that h 1 ( I A ( d 1 , , d k ) ( ϵ k ) ) = 0 . Hence, induction on k (case n k = 1 ), induction on n (case n k > 1 ), and the long cohomology exact sequence of the residual sequence of M give h 1 ( I 2 A ( d 1 , , d k ) ) = 1 .
Example 9.
Assume that t 3 , k 2 and d 1 = d 2 = t . In this example we take x = t + 1 and find E and B with h 1 ( I 2 E ( t , t , , d k ) ) = 1 (case where t is odd) and h 1 ( I 2 B ( t , t , , d k ) ) = 2 (case where t is even). Let L Y be a curve of multidegree ϵ 1 and R Y a curve of multidegree ϵ 2 such that L R . Thus, L R is a single point. Set C : = L R . Note that h 0 ( C , O C ( t , t , d 1 , , d k ) ) = 2 t + 1 . If t is odd, take E C such that # ( E L ) = # ( R L ) = ( t + 1 ) / 2 . Note that L R E . If t is odd, take B C such that R L B and # ( E L ) = # ( R L ) = 1 + t / 2 . Note that # E = # B = t + 1 . Since E is contained in the smooth locus of C, we have deg ( C 2 E ) = 2 t + 2 . Since L R is the unique singular point of C, C is nodal, and R L B , we have deg ( C 2 B ) = 2 t + 3 . Set A : = E if t is odd and A : = B if t is even. Thus,
h 0 ( L , I L 2 A ( t , t , , d k ) ) = h 0 ( L , I L 2 A ( t , t , , d k ) ) = 0 .
Hence, a Mayer–Vietoris exact sequence gives h 0 ( C , I C 2 A , C ( t , t , , d k ) ) = 0 . Hence, we obtain the equality h 1 ( C , I C 2 A , C ( t , t , , d k ) ) = deg ( C 2 A ) 2 t 1 , which is 1 for odd t and 2 for even t.
(a) 
Assume that k = 2 and n 1 = n 2 = 1 . To quote the proof of step (a) of Example 8, it is sufficient to prove that h 1 ( I A ( t 1 , t 1 ) ) = 0 . This is true according to Proposition 1, because L and R are the only lines intersecting C at at least 2 points, and # ( A L ) = # ( A R ) = ( t + 1 ) / 2 < t + 1 .
(b) 
Assume that k = 2 and n 1 + n 2 > 1 . We draw the same conclusion as in case (b) of Example 8, because we proved that h 1 ( I A ( t 1 , t 1 ) ) = 0 .
(c) 
Assume that k > 2 . Since C is connected and # π k ( L ) ) = # π k ( R ) = 1 , we have # π k ( C ) = 1 . We take M as in step (c) of Example 8 and draw the same conclusion.

6. Discussion

In recent years the Terracini loci T ( X , x ) of an embedded projective variety X P r have been studied in several papers [1,2,3,4,5,6,7].In [6] Galuppi, Santarsiero, Torrance, and Turatti studied them for many embedded varieties X. In each of their X, they computed the first integer x 0 such that the Terracini set T ( X , x 0 ) is non-empty and described the geometry of the set T ( X , x 0 ) . The Segre–Veronese varieties are among the varieties considered in [6]. In our paper we restrict the study to the Segre–Veronese varieties and describe T ( X , x ) roughly for all x 2 x 0 2 . For these x values we describe the maximal weight of the elements of T ( X , x ) , extending some ideas in [1] to all Segre–Veronese varieties. Our proofs use a very useful and far reaching extension of the notion of critical scheme of the elements of T ( X , x ) used in [2]. We expect that it is useful not only for the Terracini loci of other varieties, but also for describing the geometry of other sets of linearly dependent zero-dimensional schemes. In the last section we give some examples to show how to use these cohomological tools.
The extension of this paper to other embedded varieties could be very interesting, for instance, Grassmannians, which are related to skew-symmetric tensors. Theorem 2 may be extended to other varieties without having an extension of Theorem 1. One only needs to know the integer x 0 appearing for that embedded variety. Looking at [6] may help. It may be possible to extend Theorem 1 to the same variety, in a multiprojective space, but for higher x, for instance, for x 4 x 0 . The statement of Theorem 1 contains a multidegree ( d 1 , , d k ) . The end of the Introduction contains a roadmap for the extension in terms of the entries of the multidegree.

Funding

This research received no external funding.

Data Availability Statement

No new data were created or analyzed in this study.

Acknowledgments

We thank the referees for making improvements to the paper and providing important constructive criticism.

Conflicts of Interest

The author declares no conflicts of interest.

References

  1. Ballico, E. Terracini loci, linear projections and the maximal defect. Axioms 2024, 13, 271. [Google Scholar] [CrossRef]
  2. Ballico, E.; Brambilla, M.C. Minimal Terracini loci in projective spaces. Rend. Lincei Mat. Appl. 2024, 35, 175–213. [Google Scholar] [CrossRef]
  3. Ballico, E.; Chiantini, L. On the Terracini locus of projective varieties. Milan J. Math. 2021, 89, 1–17. [Google Scholar] [CrossRef]
  4. Galgano, V. Identifiability and singular locus of secant varieties to spinor varieties. arXiv 2023, arXiv:2302.05295. [Google Scholar] [CrossRef]
  5. Galgano, V.; Staffolani, R. Identifiability and singular locus of secant varieties to Grassmannians. Collect. Math. 2025, 76, 227–249. [Google Scholar] [CrossRef]
  6. Galuppi, F.; Santarsiero, P.D.; Torrance, D.A.; Turatti, E.T. Geometry of first nonempty Terracini loci. arXiv 2023, arXiv:2311.09067. [Google Scholar] [CrossRef]
  7. Laface, A.; Massarenti, M. Ample bodies and Terracini loci of projective varieties. Bull. Lond. Math. Soc. 2024, 56, 396–410. [Google Scholar] [CrossRef]
  8. Ådlandsvik, B. Joins and higher secant varieties. Math. Scand. 1987, 61, 213–222. [Google Scholar] [CrossRef]
  9. Bernardi, A.; Carlini, E.; Catalisano, M.V.; Gimigliano, A.; Oneto, A. The Hitchhiker guide to: Secant varieties and tensor decomposition. Mathematics 2018, 6, 314. [Google Scholar] [CrossRef]
  10. Chandler, K. A brief proof of a maximal rank theorem for generic double points in projective space. Trans. Amer. Math. Soc. 2000, 353, 1907–1920. [Google Scholar] [CrossRef]
  11. Bernardi, A.; Gimigliano, A.; Idà, M. Computing symmetric rank for symmetric tensors. J. Symbolic. Comput. 2011, 46, 34–53. [Google Scholar] [CrossRef]
  12. Ellia, P.; Peskine, C. Groupes de points de P2: Caractère et position uniforme. In Algebraic Geometry; Lecture Notes in Mathematics; Springer: Berlin/Heidelberg, Germany, 1990; Volume 1417, pp. 111–116. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Ballico, E. The Next Terracini Loci of Segre–Veronese Varieties and Their Maximal Weights. Mathematics 2025, 13, 3166. https://doi.org/10.3390/math13193166

AMA Style

Ballico E. The Next Terracini Loci of Segre–Veronese Varieties and Their Maximal Weights. Mathematics. 2025; 13(19):3166. https://doi.org/10.3390/math13193166

Chicago/Turabian Style

Ballico, Edoardo. 2025. "The Next Terracini Loci of Segre–Veronese Varieties and Their Maximal Weights" Mathematics 13, no. 19: 3166. https://doi.org/10.3390/math13193166

APA Style

Ballico, E. (2025). The Next Terracini Loci of Segre–Veronese Varieties and Their Maximal Weights. Mathematics, 13(19), 3166. https://doi.org/10.3390/math13193166

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop