v1, AMS LaTex, 5 figures, 25 pages; v2, reference added; v3, This is a major rewrite. We have strengthened our main results to include a classification of smooth lattice polytopes P such that Sec X_P does not have the expected dimension. (See Theorems 1.4 and 1.5.) There was also a considerable amount of reorganization, and some expository material was eliminated; v4, 28 pages, minor corrections, additional and updated references
Let $X_P$ be a smooth projective toric variety of dimension $n$ embedded in $\PP^r$ using all of the lattice points of the polytope $P$. We compute the dimension and degree of the secant variety $\Sec X_P$. We also give explicit formulas in dimensions 2 and 3 and obtain partial results for the projective varieties $X_A$ embedded using a set of lattice points $A \subset P\cap\ZZ^n$ containing the vertices of $P$ and their nearest neighbors.
The $k$-secant degree is studied with a combinatorial approach. A planar toric degeneration of any projective toric surface $X$ corresponds to a regular unimodular triangulation $D$ of the polytope defining $X$. If the secant ideal of the initial ideal with respect to $D$ coincides with the initial ideal of the secant ideal, then $D$ is said to be delightful and the $k$-secant degree of $X$ can be easily computed. All delightful triangulations of toric surfaces having sectional genus $g\leq1$ are completely classified and, for $g\geq2$, a lower bound for the $2$- and $3$-secant degree, by mean…
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.
We study the secant line variety of the Segre product of projective spaces using special cumulant coordinates adapted for secant varieties. We show that the secant variety is covered by open normal toric varieties. We prove that in cumulant coordinates its ideal is generated by binomial quadrics. We present new results on the local structure of the secant variety. In particular, we show that it has rational singularities and we give a description of the singular locus. We also classify all secant varieties that are Gorenstein. Moreover, generalizing (Sturmfels and Zwiernik 2012), we obtain ana…
We prove the existence of defective secant varieties of three-factor and four-factor Segre-Veronese varieties embedded in certain multi-degree. These defective secant varieties were previously unknown and are of importance in the classification of defective secant varieties of Segre-Veronese varieties with three or more factors.
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.
We give an almost asymptotically sharp bound for the non secant defectiveness and identifiability of Segre-Veronese varieties. We also provide new examples of defective Segre-Veronese varieties.
The secant varieties of Severi varieties provide special examples of (singular) cubic hypersurfaces. An interesting question asks when a given cubic hypersurface is projectively equivalent to a secant cubic hypersurface. Inspired by the ''geometric'' Torelli theorem for smooth cubic hypersurfaces due to F. Charles, we study the geometry of lines on secant cubics and describe the Fano variety of lines. Then we verify the ''geometric'' Torelli theorem for the case of secant cubics. Namely, a cubic hypersurface is isomorphic to a secant cubic if and only if their Fano varieties of lines are isomo…
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…
In this paper we prove some general results on secant defective varieties. Then we focus on the 4--dimensional case and we give the full classification of secant defective 4--folds. This paper has been inspired by classical work by G. Scorza,
This paper explores the dimensions of higher secant varieties to Segre-Veronese varieties. The main goal of this paper is to introduce two different inductive techniques. These techniques enable one to reduce the computation of the dimension of the secant variety in a high dimensional case to the computation of the dimensions of secant varieties in low dimensional cases. As an application of these inductive approaches, we will prove non-defectivity of secant varieties of certain two-factor Segre-Veronese varieties. We also use these methods to give a complete classification of defective s-th S…
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…
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.
We generalize Zak's theorems on tangencies and on linear normality as well as Zak's definition and classification of Severi varieties. In particular we find sharp lower bounds for the dimension of higher secant varieties of a given variety X under suitable regularity assumption on X, and we classify varieties for which the bound is attained.
We show that the linear syzygy spaces of elliptic normal curves, their secant varieties and of bielliptic canonical curves are spanned by geometric syzygies.
In this paper we discuss the dimensions of the (higher) secant varieties to the Grassmann varieties, embedded via the Plucker embeddings. We use Terracini's Lemma and the duality in the exterior algebra of a finite dimensional vector space to translate the problem into that of finding the dimension of a graded piece of a " fat" ideal in the exterior algebra. Among other things, our methods prove that (apart from the chordal varieties to the Grassmannians of lines) all the chordal varieties of Grassmannians have the expected dimension. We also discuss some Grassmannians with deficient secant va…
We show how to use information about the equations defining secant varieties to smooth projective varieties in order to construct a natural collection of birational transformations. These were first constructed as flips in the case of curves by M. Thaddeus via Geometric Invariant Theory, and the first flip in the sequence was constructed by the author for varieties of arbitrary dimension in an earlier paper. We expose the finer structure of a second flip; again for varieties of arbitrary dimension. We also prove a result on the cubic generation of the secant variety and give some conjectures o…
It is shown that an irreducible cubic hypersurface with nonzero Hessian and smooth singular locus is the secant variety of a Severi variety if and only if its Lie algebra of infinitesimal linear automorphisms admits a nonzero prolongation.
In this paper, we show that the secant variety to a smooth projective variety embedded by a sufficiently positive line bundle is normal. As an application, we deduce that the secant variety to a general canonical curve of genus at least 7 is normal.
Let $X_{m,n}$ be the Segre-Veronese variety $\mathbb{P}^m \times \mathbb{P}^n$ embedded by the morphism given by $\mathcal{O}(1,2)$. In this paper, we provide two functions $\underline{s}(m,n)\le \bar{s}(m,n)$ such that the $s^{\mathrm{th}}$ secant variety of $X_{m,n}$ has the expected dimension if $s \leq \underline{s}(m,n)$ or $ \bar{s}(m,n) \leq s$. We also present a conjecturally complete list of defective secant varieties of such Segre-Veronese varieties.
The Castelnuovo-Mumford regularity of varieties of degree r and dimension n in the r-dimensional projective space that have an extremal secant line, is at least d-r+n+1. We classify these varieties and show that their regularity is exactly d-r+n+1, as predicted by the regularity conjecture.
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…
We study the singularities of the secant variety $Σ(X,L)$ associated to a smooth variety $X$ embedded by a sufficiently positive adjoint bundle $L$. We show that $Σ(X,L)$ is always Du Bois singular. Examples of secant varieties with worse singularities when $L$ has weak positivity are provided. We also give a necessary and sufficient condition for $Σ(X, L)$ to have rational singularities.
Let $S_h$ be the even pure spinors variety of a complex vector space $V$ of even dimension $2h$ endowed with a non degenerate quadratic form $Q$ and let $σ_k(S_h) $ be the $k$-secant variety of $S_h$. We decribe a probabilistic algorithm which computes the complex dimension of $σ_k(S_h) $. Then, by using an inductive argument, we get our main result: $σ_3(S_h) $ has the expected dimension except when $h\in \{7,8\} $. Also we provide theoretical arguments which prove that $S_7$ has a defective 3-secant variety and $S_8$ has defective 3-secant and 4-secant varieties.
We study the dimension of the higher secant varieties $X^s$ of ${\Bbb X} = {\Bbb P}^{n_1}\times ...\times {\Bbb P}^{n_t}$ embedded the morphism given by ${\cal O}_{\Bbb X}({a_1,...,a_t})$. We call it a {\it Segre-Veronese variety} and the embedding a {\it Segre-Veronese embedding}. In several cases (e.g. for 3 factors {\Bbb P}^{1}, or when $s$ is small) we show that $X^s$ has the expected dimension except for a few cases. A list of examples of defective $X^s$'s is given.
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…
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$.
The aim of this paper is to provide another perspective on secant varieties on algebraic curves by reformulating the problem in terms of refined de Jonquières divisors, that is divisors on the curve with prescribed multiplicities and dimensions of their spaces of global sections. We are able to both recover some already known results and to obtain some new statements concerning the dimension theory of secant varieties. We do this via the study of the dimension theory of refined de Jonquières divisors in some relevant cases and degeneration arguments.
In this paper we study the higher secant varieties of Grassmann varieties in relation to Waring's problem for alternating tensors and to Alexander-Hirschowitz theorem. We show how to identify defective higher secant varieties of Grassmannians using a probabilistic method involving Terracini's Lemma, and we describe an algorithm which can compute, by numerical methods, dim(G(k,n)^{s}) for n<=14. Our main result is that, except for Grassmannians of lines, if n<=14 and k<=(n-1)/2 (if n=14 we have studied the case k<=5) there are only the four known defective cases: G(2,6)^{3}, G(3,7)^{3}, G(3,7)^…
We describe the defining ideal of the rth secant variety of P^2 x P^n embedded by O(1,2), for arbitrary n and r at most 5. We also present the Schur module decomposition of the space of generators of each such ideal. Our main results are based on a more general construction for producing explicit matrix equations that vanish on secant varieties of products of projective spaces. This extends previous work of Strassen and Ottaviani.
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…
For an irreducible projective variety X, we study the family of h-planes contained in the secant variety Sec_k(X), for 0<h<k. These families have an expected dimension and we study varieties for which the expected dimension is not attained; for these varieties, making general consecutive projections to lower dimensional spaces, we do not get the expected singularities. In particular, we examine the family G of lines sitting in 3-secant planes to a surface S. We show that the actual dimension of G is equal to the expected dimension unless S is a cone or a rational normal scroll of degree 4 in P…
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$.
In recent years, the equations defining secant varieties and their syzygies have attracted considerable attention. The purpose of the present paper is to conduct a thorough study on secant varieties of curves by settling several conjectures and revealing interaction between singularities and syzygies. The main results assert that if the degree of the embedding line bundle of a nonsingular curve of genus $g$ is greater than $2g+2k+p$ for nonnegative integers $k$ and $p$, then the $k$-th secant variety of the curve has normal Du Bois singularities, is arithmetically Cohen--Macaulay, and satisfie…
This is a survey primarily about determining the border rank of tensors, especially those relevant for the study of the complexity of matrix multiplication. This is a subject that on the one hand is of great significance in theoretical computer science, and on the other hand touches on many beautiful topics in algebraic geometry such as classical and recent results on equations for secant varieties (e.g., via vector bundle and representation-theoretic methods) and the geometry and deformation theory of zero dimensional schemes.
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…
A variation of Waring's problem from classical number theory is the question, ``What is the smallest number $s$ such that any generic homogeneous polynomial of degree $d$ in $n+1$ variables may be written as the sum of at most $s$ products of linear forms?'' This question may be answered geometrically by determining the smallest $s$ such that the $s$\nth secant variety of the variety of completely decomposable forms fills the ambient space. If this secant variety has the expected dimension, it is called nondefective, and $s=\left\lceil\binom{n+d}{d}/(dn+1)\right\rceil$. It is conjectured that …
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 …
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$.
For a vector bundle V over a curve X of rank n and for each integer r in the range 1 \le r \le n-1, the Segre invariant s_r is defined by generalizing the minimal self-intersection number of the sections on a ruled surface. In this paper we generalize Lange and Narasimhan's results on rank 2 bundles which related the invariant s_1 to the secant varieties of the curve inside certain extension spaces. For any n and r, we find a way to get information on the invariant s_r from the secant varieties of certain subvariety of a scroll over X. Using this geometric picture, we obtain a new proof of the…
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…
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$.
We relate the geometry of curves to the notion of hyperbolicity in real algebraic geometry. A hyperbolic variety is a real algebraic variety that (in particular) admits a real fibered morphism to a projective space whose dimension is equal to the dimension of the variety. We study hyperbolic varieties with a special interest in the case of hypersurfaces that admit a real algebraic ruling. The central part of the paper is concerned with secant varieties of real algebraic curves where the real locus has the maximal number of connected components, which is determined by the genus of the curve. Fo…
Let $X={\bf P}^2\times{\bf P}^{n-1}$ embedded with $Ø(1,2)$. We prove that its $(n+1)$-secant variety $σ_{n+1}(X)$ is a hypersurface, while it is expected that it fills the ambient space. The equation of $σ_{n+1}(X)$ is the symmetric analog of the Strassen equation. When $n=4$ the determinantal map takes $σ_5(X)$ to the hypersurface of Lüroth quartics, which is the image of the Barth map studied by LePotier and Tikhomirov. This hint allows to obtain some results on the jumping lines and the Brill-Noether loci of symplectic bundles on ${\bf P}^2$ by using the higher secant varieties of $X$.
For a smooth projective curve, the cycles of subordinate or, more generally, secant divisors to a given linear series are among some of the most studied objects in classical enumerative geometry. We consider the intersection of two such cycles corresponding to secant divisors of two different linear series on the same curve and investigate the validity of the enumerative formulas counting the number of divisors in the intersection. We study some interesting cases, with unexpected transversality properties, and establish a general method to verify when this intersection is empty.
The Chow rank of a form is the length of its smallest decomposition into a sum of products of linear forms. For a generic form, this corresponds to finding the smallest secant variety of the Chow variety which fills the ambient space. We determine the Chow rank of generic cubics and quaternary forms by proving nondefectivity of all involved secant varieties. The main new ingredient in our proof is the generalization of a technique by [Brambilla and Ottaviani, On the Alexander--Hirschowitz theorem, J. Pure Appl. Algebra, 2008] that consists of employing Terracini's lemma and Newton's backward d…
We investigate the secant dimensions and the identifiablity of flag varieties parametrizing flag of sub vector spaces of a fixed vector space. We give numerical conditions ensuring that secant varieties of flag varieties have the expected dimension, and that a general point on these secant varieties is identifiable.
