Secant varieties of Segre-Veronese embeddings of (P^1)^r

Partial stratification of secant varieties of Veronese varieties via curvilinear subschemes

We give a partial "quasi-stratification" of the secant varieties of the order $d$ Veronese variety $X_{m,d}$ of $\mathbb {P}^m$. It covers the set $σ_t(X_{m,d})^{\dagger}$ of all points lying on the linear span of curvilinear subschemes of $X_{m,d}$, but two "quasi-strata" may overlap. For low border rank two different "quasi-strata" are disjoint and we compute the symmetric rank of their elements. Our tool is the Hilbert schemes of curvilinear subschemes of Veronese varieties. To get a stratification we attach to each $P\in σ_t(X_{m,d})^{\dagger}$ the minimal label of a quasi-stratum containi…

Equations for secant varieties of Veronese and other varieties

New classes of modules of equations for secant varieties of Veronese varieties are defined using representation theory and geometry. Some old modules of equations (catalecticant minors) are revisited to determine when they are sufficient to give scheme-theoretic defining equations. An algorithm to decompose a general ternary quintic as the sum of seven fifth powers is given as an illustration of our methods. Our new equations and results about them are put into a larger context by introducing vector bundle techniques for finding equations of secant varieties in general. We include a few homoge…

Secant varieties to high degree Veronese reembeddings, catalecticant matrices and smoothable Gorenstein schemes

We study the secant varieties of the Veronese varieties and of Veronese reembeddings of a smooth projective variety. We give some conditions, under which these secant varieties are set-theoretically cut out by determinantal equations. More precisely, they are given by minors of a catalecticant matrix. These conditions include the case when the dimension of the projective variety is at most 3 and the degree of reembedding is sufficiently high. This gives a positive answer to a set-theoretic version of a question of Eisenbud in dimension at most 3. For dimension four and higher we produce plenty…

Osculating Varieties of Veronesean and their higher secant varieties

We consider the varieties $O_{k,n.d}$ of the k-osculating spaces to the Veronese varieties, the $d-$uple embeddings of $\PP n$; we study the dimension of their higher secant varieties. Via inverse systems (apolarity) and the study of certain spaces of forms we are able, in several cases, to determine whether those secant varieties are defective or not.

On singularities of third secant varieties of Veronese embeddings

In this paper we study singularities of third secant varieties of Veronese embedding $v_d(\mathbb{P}^n)$, which corresponds to the variety of symmetric tensors of border rank at most three in $(\mathbb{C}^{n+1})^{\otimes d}$.

Equations for secant varieties to Veronese varieties

We define new classes of modules of equations for secant varieties of Veronese varieties using representation theory and geometry. We also revisit some old modules of equations (catalecticant minors) to determine when they are sufficient to give scheme-theoretic defining equations.

Most secant varieties of tangential varieties to Veronese varieties are nondefective

We prove a conjecture stated by Catalisano, Geramita, and Gimigliano in 2002, which claims that the secant varieties of tangential varieties to the $d$th Veronese embedding of the projective $n$-space $\mathbb{P}^n$ have the expected dimension, modulo a few well-known exceptions. As Bernardi, Catalisano, Gimigliano, and Idá demonstrated that the proof of this conjecture may be reduced to the case of cubics, i.e., $d=3$, the main contribution of this work is the resolution of this base case. The proposed proof proceeds by induction on the dimension $n$ of the projective space via a specializati…

Secant varieties of toric varieties arising from simplicial complexes

Motivated by the study of the secant variety of the Segre-Veronese variety we propose a general framework to analyze properties of the secant varieties of toric embeddings of affine spaces defined by simplicial complexes. We prove that every such secant is toric, which gives a way to use combinatorial tools to study singularities. We focus on the Segre-Veronese variety for which we completely classify their secants that give Gorenstein or $\mathbb Q$-Gorenstein varieties. We conclude providing the explicit description of the singular locus.

Horrocks splitting on Segre-Veronese varieties

We prove an analogue of Horrocks' splitting theorem for Segre-Veronese varieties building upon the theory of Tate resolutions on products of projective spaces.

On non-secant defectivity of Segre-Veronese varieties

Let $SV^{\pmb n}_{\pmb d}$ be the Segre-Veronese given as the image of the embedding induced by the line bundle $\mathcal{O}_{\mathbb{P}^{n_1}\times\dots\times\mathbb{P}^{n_r}}(d_1,\dots, d_r)$. We prove that asymptotically $SV^{\pmb n}_{\pmb d}$ is not $h$-defective for $h\leq n_1^{\lfloor \log_2(d-1)\rfloor}$.

Secant Varieties of Segre--Veronese Varieties

We prove that the ideal of the variety of secant lines to a Segre--Veronese variety is generated in degree three by minors of flattenings. In the special case of a Segre variety this was conjectured by Garcia, Stillman and Sturmfels, inspired by work on algebraic statistics, as well as by Pachter and Sturmfels, inspired by work on phylogenetic inference. In addition, we describe the decomposition of the coordinate ring of the secant line variety of a Segre--Veronese variety into a sum of irreducible representations under the natural action of a product of general linear groups.

Cohen-Macaulay and Gorenstein tangential varieties of the Segre-Veronese Varieties

We classify the tangential varieties of the Segre-Veronese varieties which are Cohen-Macaulay or Gorenstein.

Segre-Veronese 变种 $\mathbb{P}^m\times\mathbb{P}^n$ 通过 $\mathcal{O}(1,2)$ 嵌入的 secant 种子在 $n\gg m^3$，$m\geq3$ 时是非缺陷性的

Secant varieties of Segre-Veronese varieties $\mathbb{P}^m\times\mathbb{P}^n$ embedded by $\mathcal{O}(1,2)$ are non-defective for $n\gg m^3$, $m\geq3$

该研究证明了在特定条件下，Segre-Veronese 变种的 secant 种子非缺陷性，通过推广 Brambilla 和 Ottaviani 的方法并利用计算机辅助证明验证基例。

Ulrich bundles of arbitrary rank on Segre-Veronese varieties

We generalize the results by Eisenbud and Schreyer about Ulrich bundles over Veronese varieties to Segre-Veronese varieties. We discuss the range where we have natural cohomology and we construct multigraded resolutions and monads for Ulrich bundles of any rank. Moreover we give cohomological characterizations for significant families of bundles.

On the ranks of the third secant variety of Segre-Veronese embeddings

We give an upper bound for the rank of the border rank 3 partially symmetric tensors. In the special case of border rank 3 tensors $T\in V_1\otimes \cdots \otimes V_k$ (Segre case) we can show that all ranks among 3 and $k-1$ arise and if $\dim V_i \geq 3$ for all $i$'s, then also all the ranks between $k$ and $2k-1$ arise.

Segre-Veronese簇的非缺陷性

Non-defectivity of Segre-Veronese varieties

该研究通过对因子数量、次数和维数的归纳法，证明了次数均不小于3的Segre-Veronese簇无割线缺陷，并给出了单次数为1、其余次数不小于3的Segre-Veronese簇的近乎最优非缺陷性推论。

Equations for the third secant variety of the Segre product of n projective spaces

We determine set theoretic defining equations for the third secant variety of the Segre product of $n$ projective spaces, and from the proof of the main statement we derive an upper bound for the degrees of these equations.

Osculating spaces to secant varieties

We generalize the classical Terracini's Lemma to higher order osculating spaces to secant varieties. As an application, we address with the so-called Horace method the case of the $d$-Veronese embedding of the projective 3-space.

Generalizations of Strassen's equations for secant varieties of Segre varieties

We define many new examples of modules of equations for secant varieties of Segre varieties that generalize Strassen's commutation equations. Our modules of equations are obtained by constructing subspaces of matrices from tensors that satisfy various commutation properties.

A Terracini Lemma for osculating spaces with applications to Veronese surfaces

Here we present a partial generalization to higher order osculating spaces of the classical Lemma of Terracini on ordinary tangent spaces. As an application, we investigate the secant varieties to the osculating varieties to the Veronese embeddings of the projective plane.

Stratification of the fourth secant variety of Veronese variety via the symmetric rank

If $X\subset \mathbb{P}^n$ is a projective non degenerate variety, the $X$-rank of a point $P\in \mathbb{P}^n$ is defined to be the minimum integer $r$ such that $P$ belongs to the span of $r$ points of $X$. We describe the complete stratification of the fourth secant variety of any Veronese variety $X$ via the $X$-rank. This result has an equivalent translation in terms both of symmetric tensors and homogeneous polynomials. It allows to classify all the possible integers $r$ that can occur in the minimal decomposition of either a symmetric tensor or a homogeneous polynomial of $X$-border rank…

An asymptotic bound for secant varieties of Segre varieties

This paper studies the defectivity of secant varieties of Segre varieties. We prove that there exists an asymptotic lower estimate for the greater non-defective secant variety (without filling the ambient space) of any given Segre variety. In particular, we prove that the ratio between the greater non-defective secant variety of a Segre variety and its expected rank is lower bounded by a value depending just on the number of factors of the Segre variety. Moreover, in the final section, we present some results obtained by explicit computation, proving the non-defectivity of all the secant varie…

Secant indices of projective varieties

To each subvariety $X$ in projective $n$-space of codimension $m$ we associate an integer sequence of length $m + 1$ from $1$ to the degree of $X$ recording the maximal cardinalities of finite, reduced intersections of $X$ with linear subvarieties. We call this the sequence of secant indices of $X$. Similar numbers have been studied independently with the aim of classifying subvarieties with extremal secant spaces. Our focus in this note is the study of the combinatorial properties that the secant indices satisfy collectively. We show these sequences are strictly increasing for nondegenerate s…

Higher secant varieties of $\mathbb P^n \times\mathbb P^ 1$ embedded in bi-degree $(a,b)$

In this paper we compute the dimension of all the higher secant varieties to the Segre-Veronese embedding of $\mathbb{P}^n\times \mathbb{P}^1$ via the section of the sheaf $\mathcal{O}(a,b)$ for any $n,a,b\in \mathbb{Z}^+$. We relate this result to the Grassmann Defectivity of Veronese varieties and we classify all the Grassmann $(1,s-1)$-defective Veronese varieties.

割线型三次超曲面的极限霍奇结构

Limiting Hodge Structures for Cubic Hypersurfaces of Secant Type

研究退化到特定割线型奇异三次曲面的三次超曲面变形的极限霍奇结构，此前已研究过相关退化问题，此次继续探讨塞维里簇超平面截面的极限霍奇结构，其能联系簇的几何与霍奇理论退化。

Induction for secant varieties of Segre varieties

This paper studies the dimension of secant varieties to Segre varieties. The problem is cast both in the setting of tensor algebra and in the setting of algebraic geometry. An inductive procedure is built around the ideas of successive specializations of points and projections. This reduces the calculation of the dimension of the secant variety in a high dimensional case to a sequence of calculations of partial secant varieties in low dimensional cases. As applications of the technique: We give a complete classification of defective $t$-secant varieties to Segre varieties for t < 7. We general…

Equations for the fifth secant variety of Segre products of projective spaces

We describe a computational proof that the fifth secant variety of the Segre product of five copies of the projective line is a codimension 2 complete intersection of equations of degree 6 and 16. Our computations rely on pseudo-randomness, and numerical accuracy, so parts of our proof are only valid "with high probability".

Secant varieties to osculating varieties of Veronese embeddings of $\mathbb{P}^n$

A well known theorem by Alexander-Hirschowitz states that all the higher secant varieties of $V_{n,d}$ (the $d$-uple embedding of $\mathbb{P}^n$) have the expected dimension, with few known exceptions. We study here the same problem for $T_{n,d}$, the tangential variety to $V_{n,d}$, and prove a conjecture, which is the analogous of Alexander-Hirschowitz theorem, for $n\leq 9$. Moreover. we prove that it holds for any $n,d$ if it holds for $d=3$. Then we generalize to the case of $O_{k,n,d}$, the $k$-osculating variety to $V_{n,d}$, proving, for $n=2$, a conjecture that relates the defectivity…

Segre-Veronese流形的到达性

Reach of Segre-Veronese Manifolds

本文计算了与单位球面相交的Segre-Veronese簇的到达性、极值曲率及管状邻域体积，揭示了其几何性质。

Tangential varieties of Segre-Veronese surfaces are never defective

We compute the dimensions of all the secant varieties to the tangential varieties of all Segre-Veronese surfaces. We exploit the typical approach of computing the Hilbert function of special 0-dimensional schemes on projective plane by using a new degeneration technique.

Regularity and Segre-Veronese embeddings

This paper studies the regularity of certain coherent sheaves that arise naturally from Segre-Veronese embeddings of a product of projective spaces. We give an explicit formula for the regularity of these sheaves and show that their regularity is subadditive. We then apply our results to study the Tate resolutions of these sheaves.

关于Veronese嵌入的高阶割线簇的奇异轨迹

On the singular loci of higher secant varieties of Veronese embeddings

本文研究Veronese嵌入的高阶割线簇的奇异轨迹，通过定义m-次割线轨迹并利用射影几何与张量方法，判定其是否包含于奇异轨迹中，揭示了k值相关的三分性，并给出第4阶割线簇的具体分析。

不变割线簇的非缺陷性

Nondefectivity of invariant secant varieties

本文证明一大类不变割线簇的非缺陷性，解决大维数 Grassmannian 割线猜想的多数情形，并改进 Chow、Segre-Veronese、Gaussian moment 等簇的非缺陷性、可辨识性与一般秩界。

Ranks on the boundaries of secant varieties

In many cases (e.g. for many Segre or Segre embeddings of multiprojective spaces) we prove that a hypersurface of the $b$-secant variety of $X\subset \mathbb {P}^r$ has $X$-rank $>b$. We prove it proving that the $X$-rank of a general point of the join of $b-2$ copies of $X$ and the tangential variety of $X$ is $>b$.

Tangential projections and secant defective varieties

Going one step further in Zak's classification of Scorza varieties with secant defect equal to one, we characterize the Veronese embedding of $¶^n$ given by the complete linear system of quadrics and its smooth projections from a point as the only smooth irreducible complex and non-degenerate projective subvarieties of $¶^N$ that can be projected isomorphically into $¶^{2n}$ when $N\geq\binom{n+2}{2}-2$.

Distinguishing secant from cactus varieties

Cactus varieties are a generalization of secant varieties. They are defined using linear spans of arbitrary finite schemes of bounded length, while secant varieties use only isolated reduced points. In particular, any secant variety is always contained in the respective cactus variety, and, except in a few initial cases, the inclusion is strict. It is known that lots of natural criteria that test membership in secant varieties are actually only tests for membership in cactus varieties. In this article, we propose the first techniques to distinguish actual secant variety from the cactus variety…

Determinantal equations for secant varieties and the Eisenbud-Koh-Stillman conjecture

We address special cases of a question of Eisenbud on the ideals of secant varieties of Veronese re-embeddings of arbitrary varieties. Eisenbud's question generalizes a conjecture of Eisenbud, Koh and Stillman (EKS) for curves. We prove that set-theoretic equations of small secant varieties to a high degree Veronese re-embedding of a smooth variety are determined by equations of the ambient Veronese variety and linear equations. However this is false for singular varieties, and we give explicit counter-examples to the EKS conjecture for singular curves. The techniques we use also allow us to p…

A note on the cactus rank for Segre-Veronese varieties

We give an upper bound for the cactus rank of any multi-homogeneous polynomial.

On the ideals and singularities of secant varieties of Segre varieties

We find generators for the ideals of secant varieties of Segre varieties in several the cases including the Garcia-Stillmann-Ssturmfels conjecture for four factors and prove results about their singularities.

Higher secant varieties of $\mathbb{P}^n \times \mathbb{P}^m$ embedded in bi-degree $(1,d)$

Let $X^{(n,m)}_{(1,d)}$ denote the Segre-Veronese embedding of $\mathbb{P}^n \times \mathbb{P}^m$ via the sections of the sheaf $\mathcal{O}(1,d)$. We study the dimensions of higher secant varieties of $X^{(n,m)}_{(1,d)}$ and we prove that there is no defective $s^{th}$ secant variety, except possibly for $n$ values of $s$. Moreover when ${m+d \choose d}$ is multiple of $(m+n+1)$, the $s^{th}$ secant variety of $X^{(n,m)}_{(1,d)}$ has the expected dimension for every $s$.

Duality, Bridgeland wall-crossing and flips of secant varieties

Let $v_d(\mathbb{P}^2)\subset |\mathcal{O}_{\mathbb{P}^2}(d)|$ denote the $d$-uple Veronese surface. After studying some general aspects of the wall-crossing phenomena for stability conditions on surfaces, we are able to describe a sequence of flips of the secant varieties of $v_d(\mathbb{P}^2)$ by embedding the blow-up $\mbox{bl}_{v_d(\mathbb{P}^2)}|\mathcal{O}_{\mathbb{P}^2}(d)|$ into a suitable moduli space of Bridgeland semistable objects on $\mathbb{P}^2$.

On the ideals of secant varieties of Segre varieties

We establish basic techniques for studying the ideals of secant varieties of Segre varieties. We solve a conjecture of Garcia, Stillman and Sturmfels on the generators of the ideal of the first secant variety in the case of three factors and solve the conjecture set-theoretically for an arbitrary number of factors. We determine the low degree components of the ideals of secant varieties of small dimension in a few cases.

A tropical approach to secant dimensions

Tropical geometry yields good lower bounds, in terms of certain combinatorial-polyhedral optimisation problems, on the dimensions of secant varieties. In particular, it gives an attractive pictorial proof of the theorem of Hirschowitz that all Veronese embeddings of the projective plane except for the quadratic one and the quartic one are non-defective; this proof might be generalisable to cover all Veronese embeddings, whose secant dimensions are known from the ground-breaking but difficult work of Alexander and Hirschowitz. Also, the non-defectiveness of certain Segre embeddings is proved, w…

On differences between the border rank and the smoothable rank of a polynomial

We consider higher secant varieties to Veronese varieties. Most points on the r-th secant variety are represented by a finite scheme of length r contained in the Veronese variety --- in fact, for generic point, it is just a union of r distinct points. A modern way to phrase it is: the smoothable rank is equal to the border rank for most polynomials. This property is very useful for studying secant varieties, especially, whenever the smoothable rank is equal to the border rank for all points of the secant variety in question. In this note we investigate those special points for which the smooth…

Segre-Veronese 簇的切簇

Tangential varieties of Segre-Veronese varieties

本文确定了 Segre-Veronese 簇切簇理想的极小生成元及齐次坐标环的 GL-表示分解，并证实了 Segre 簇情形下 Landsberg-Weyman 猜想。

退化到割线三次超曲面与极限Hodge结构

Degenerations to secant cubic hypersurfaces and limiting Hodge structure

本文研究光滑三次超曲面族退化到割线型三次超曲面时的极限混合Hodge结构，并利用Usui的部分紧化刻画周期映射的局部延拓。

Finite schemes and secant varieties over arbitrary characteristic

We present scheme theoretic methods that apply to the study of secant varieties. This mainly concerns finite schemes and their smoothability. The theory generalises to the base fields of any characteristic, and even to non-algebraically closed fields. In particular, the smoothability of finite schemes does not depend on the embedding into a smooth variety or on base field extensions. Independent of the base field, secant varieties to high degree Veronese reembeddings behave well with respect to the intersection and they are defined by minors of catalecticants whenever a suitable smoothability …

On the identifiability of binary Segre products

We prove that a product of $m>5$ copies of $\PP^1$, embedded in the projective space $\PP^r$ by the standard Segre embedding, is $k$-identifiable (i.e. a general point of the secant variety $S^k(X)$ is contained in only one $(k+1)$-secant $k$-space), for all $k$ such that $k+1\leq 2^{m-1}/m$.

Syzygies of bounded rank symmetric tensors are generated in bounded degree

We study the syzygies of secant ideals of Veronese subrings of a fixed commutative graded algebra over a field of characteristic 0. One corollary is that the degrees of the minimal generators of the ith syzygy module of the coordinate ring of the rth secant variety of any Veronese embedding of a projective scheme X can be bounded by a constant that only depends on i, r, and X, and not on the choice of the Veronese embedding.

Determinantal characterization of higher secant varieties of minimal degree

A variety of minimal degree is one of the basic objects in projective algebraic geometry and has been classified and characterized in many aspects. On the other hand, there are also minimal objects in the category of higher secant varieties, and their algebraic and geometric structures seem to share many similarities with those of varieties of minimal degree. We prove in this paper that higher secant varieties of minimal degree have determinantal presentation of two types, i.e. scroll type and Veronese type. Our result generalizes the del Pezzo-Bertini classification for varieties of minimal d…

Are all Secant Varieties of Segre Products Arithmetically Cohen-Macaulay?

When present, the Cohen-Macaulay property can be useful for finding the minimal defining equations of an algebraic variety. It is conjectured that all secant varieties of Segre products of projective spaces are arithmetically Cohen-Macaulay. A summary of the known cases where the conjecture is true is given. An inductive procedure based on the work of Landsberg and Weyman (LW-lifting) is described and used to obtain resolutions of orbits of secant varieties from those of smaller secant varieties. A new computation of the minimal free resolution of the variety of border rank 4 tensors of format…

部分对称张量与含射影直线作为因子的乘积的割线维数的非亏性

Partially symmetric tensors and the non-defectivity of secant varieties of products with a projective line as a factor

该研究在多重次数轻微限制下，证明含k-2个射影直线因子的k>2因子Segre-Veronese簇的所有割线簇具预期维数，等价于对应部分对称张量集的维数计算，结果基于k=2情形及新证的一般射影簇定理。

On the secant varieties of tangential varieties

Let $X\subset \mathbb{P}^r$ be an integral and non-degenerate variety. Let $σ_{a,b}(X)\subseteq \mathbb{P}^r$, $(a,b)\in \mathbb{N}^2$, be the join of $a$ copies of $X$ and $b$ copies of the tangential variety of $X$. Using the classical Alexander-Hirschowitz theorem (case $b=0$) and a recent paper by H. Abo and N. Vannieuwenhoven (case $a=0$) we compute $\dim σ_{a,b}(X)$ in many cases when $X$ is the $d$-Veronese embedding of $\mathbb{P}^n$. This is related to certain additive decompositions of homogeneous polynomials. We give a general theorem proving that $\dim σ_{0,b}(X)$ is the expected o…

From non Defectivity to Identifiability

A projective variety $X\subset\mathbb{P}^N$ is $h$-identifiable if the generic element in its $h$-secant variety uniquely determines $h$ points on $X$. In this paper we propose an entirely new approach to study identifiability, connecting it to the notion of secant defect. In this way we are able to improve all known bounds on identifiability. In particular we give optimal bounds for some Segre and Segre-Veronese varieties and provide the first identifiability statements for Grassmann varieties.