Abstract:The classical trisecant lemma says that a general chord of a non-degenerate space curve is not a trisecant; that is, the chord only meets the curve in two points. The generalized trisecant lemma extends the result to higher-dimensional varieties. It states that the linear space spanned by general points on a projective variety intersects the variety in exactly these points, provided the dimension of the linear space is smaller than the codimension of the variety and that the variety is irreducible, reduced, and non-degenerate. We prove a real analogue of the generalized trisecant lemma, which takes the form of a trichotomy. Along the way, we characterize the possible numbers of real intersection points between a real projective variety and a complimentary dimension real linear space. We show that any integer of correct parity between a minimum and a maximum number can be achieved. We then specialize to Segre-Veronese varieties, where our results apply to the identifiability of independent component analysis, tensor decomposition and to typical tensor ranks.

On a geometric method for the identifiability of forms

Waring identifiability for powers of forms via degenerations

Quantitative strong approximation for ternary quadratic forms II

A Real Generalized Trisecant Trichotomy

Real Rank Geometry of Ternary Forms

Waring decompositions of special ternary forms with different Hilbert functions

Generalized identifiability of sums of squares

Identifiability and singular locus of secant varieties to Grassmannians

Decompositions and Terracini loci of cubic forms of low rank

A counterexample to a conjecture on simultaneous Waring identifiability

The general ternary form can be recovered by its Hessian

On secant dimensions and identifiability of flag varieties

Two refined notions in quadratic form theory

Rationality of forms of $\overline{\mathcal M}_{0,n}$

Analogue of Roberts theorem for ternary forms

On the Terracini locus of projective varieties

Geometry of the Discriminant Surface for Quadratic Forms

On the geometry of the Humbert surface of square discriminant

Waring decompositions and identifiability via Bertini and Macaulay2 software

Irreducibility of toric complete intersections