Set-theoretic defining equations of the tangential variety of the Segre variety (Q531358): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(8 intermediate revisions by 7 users not shown) | |||
Property / review text | |||
The Segre variety \(X = \mathrm{Seg}({\mathbb P}V^*_1 \times \dots \times {\mathbb P}V^*_n)\) is the image of the Segre embedding of a product of projective spaces of dimension \(r_i\) into \({\mathbb P}^N\), \(N=\prod_i^n (r_i+1) -1\); \(X\) parameterizes decomposable \((r_1+1)\times \dots \times (r_n+1)\)-tensors, i.e. rank 1 tensors. In this paper the tangential variety \(\tau (X)\) is studied (the union of all projective tangent lines to \(X\)). A conjecture by Landsberg and Weyman describes how the ideal of \(\tau (X)\) should be generated, and the main result here is to prove a set theoretic version of such conjecture. Namely, it is shown that \(\tau (X)\) is set theoretically the intersection of hypersurfaces of degrees 2,3 and 4, where the quadric equations are linear combinations of \(2\times 2\) minors of a \((r_1+1)\times \dots\times (r_n+1)\)-tensor of indeterminates \(T\), the cubic ones are linear combination of \(3\times 3\) minors of a flattening of \(T\) and the quartic ones comes from hyperdeterminants of format \(2\times 2 \times 2\) in \(T\). More precisely, the equations come from the linear span of the \((SL(2)^{\times n})\times \mathfrak S_n\)-orbits respectively of a quadratic form \(F_0\), a cubic \(F_2\) and a Cayley \(2\times 2 \times 2\)-hyperdeterminant, where \(F_0\) is a linear combination of \(2\times 2\) minors and \(F_2\) is a linear combination of \(3\times 3\) minors of a flattening. One of the main ingredients for the proof is the study of the variety of principal minors of \(n\times n\) symmetric matrices which contains \(\tau (X)\) and is defined by the quartic equations above. | |||
Property / review text: The Segre variety \(X = \mathrm{Seg}({\mathbb P}V^*_1 \times \dots \times {\mathbb P}V^*_n)\) is the image of the Segre embedding of a product of projective spaces of dimension \(r_i\) into \({\mathbb P}^N\), \(N=\prod_i^n (r_i+1) -1\); \(X\) parameterizes decomposable \((r_1+1)\times \dots \times (r_n+1)\)-tensors, i.e. rank 1 tensors. In this paper the tangential variety \(\tau (X)\) is studied (the union of all projective tangent lines to \(X\)). A conjecture by Landsberg and Weyman describes how the ideal of \(\tau (X)\) should be generated, and the main result here is to prove a set theoretic version of such conjecture. Namely, it is shown that \(\tau (X)\) is set theoretically the intersection of hypersurfaces of degrees 2,3 and 4, where the quadric equations are linear combinations of \(2\times 2\) minors of a \((r_1+1)\times \dots\times (r_n+1)\)-tensor of indeterminates \(T\), the cubic ones are linear combination of \(3\times 3\) minors of a flattening of \(T\) and the quartic ones comes from hyperdeterminants of format \(2\times 2 \times 2\) in \(T\). More precisely, the equations come from the linear span of the \((SL(2)^{\times n})\times \mathfrak S_n\)-orbits respectively of a quadratic form \(F_0\), a cubic \(F_2\) and a Cayley \(2\times 2 \times 2\)-hyperdeterminant, where \(F_0\) is a linear combination of \(2\times 2\) minors and \(F_2\) is a linear combination of \(3\times 3\) minors of a flattening. One of the main ingredients for the proof is the study of the variety of principal minors of \(n\times n\) symmetric matrices which contains \(\tau (X)\) and is defined by the quartic equations above. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Alessandro Gimigliano / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14L30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14M12 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13A50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20G05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 15A72 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5882438 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Segre varieties | |||
Property / zbMATH Keywords: Segre varieties / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
tangential variety | |||
Property / zbMATH Keywords: tangential variety / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
variety of principal minors | |||
Property / zbMATH Keywords: variety of principal minors / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Macaulay2 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2014084345 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0911.5276 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Eynard-Mehta theorem, Schur process, and their Pfaffian analogs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Secant varieties of ℙ¹×⋯×ℙ¹ (𝕟-times) are NOT defective for 𝕟≥5 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lectures on algebraic statistics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic factor analysis: tetrads, pentads and beyond / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4002278 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic geometry of Bayesian networks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Principal minors. II: The principal minor assignment problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hyperdeterminantal relations among symmetric principal minors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the ideals of secant varieties of Segre varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Construction and classification of complex simple Lie algebras via projective geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the ranks and border ranks of symmetric tensors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On tangential varieties of rational homogeneous varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Polynomial relations among principal minors of a \(4\times 4\)-matrix / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Set-theoretic defining equations of the variety of principal minors of symmetric matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic Statistics for Computational Biology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Quasi-Separable Approach to Solve the Symmetric Definite Tridiagonal Generalized Eigenvalue Problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5441430 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4427516 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3140224 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The tensor structure of the inverse of a banded Toeplitz matrix / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 00:42, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Set-theoretic defining equations of the tangential variety of the Segre variety |
scientific article |
Statements
Set-theoretic defining equations of the tangential variety of the Segre variety (English)
0 references
29 April 2011
0 references
The Segre variety \(X = \mathrm{Seg}({\mathbb P}V^*_1 \times \dots \times {\mathbb P}V^*_n)\) is the image of the Segre embedding of a product of projective spaces of dimension \(r_i\) into \({\mathbb P}^N\), \(N=\prod_i^n (r_i+1) -1\); \(X\) parameterizes decomposable \((r_1+1)\times \dots \times (r_n+1)\)-tensors, i.e. rank 1 tensors. In this paper the tangential variety \(\tau (X)\) is studied (the union of all projective tangent lines to \(X\)). A conjecture by Landsberg and Weyman describes how the ideal of \(\tau (X)\) should be generated, and the main result here is to prove a set theoretic version of such conjecture. Namely, it is shown that \(\tau (X)\) is set theoretically the intersection of hypersurfaces of degrees 2,3 and 4, where the quadric equations are linear combinations of \(2\times 2\) minors of a \((r_1+1)\times \dots\times (r_n+1)\)-tensor of indeterminates \(T\), the cubic ones are linear combination of \(3\times 3\) minors of a flattening of \(T\) and the quartic ones comes from hyperdeterminants of format \(2\times 2 \times 2\) in \(T\). More precisely, the equations come from the linear span of the \((SL(2)^{\times n})\times \mathfrak S_n\)-orbits respectively of a quadratic form \(F_0\), a cubic \(F_2\) and a Cayley \(2\times 2 \times 2\)-hyperdeterminant, where \(F_0\) is a linear combination of \(2\times 2\) minors and \(F_2\) is a linear combination of \(3\times 3\) minors of a flattening. One of the main ingredients for the proof is the study of the variety of principal minors of \(n\times n\) symmetric matrices which contains \(\tau (X)\) and is defined by the quartic equations above.
0 references
Segre varieties
0 references
tangential variety
0 references
variety of principal minors
0 references
0 references
0 references