Set-theoretic defining equations of the tangential variety of the Segre variety (Q531358): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
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 |
Revision as of 08:55, 1 July 2023
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