Toward a salmon conjecture

DOI10.1080/10586458.2011.576539zbMATH Open1262.14056arXiv1009.6181OpenAlexW2036933876WikidataQ123141605 ScholiaQ123141605MaRDI QIDQ4915397FDOQ4915397

Authors: Daniel J. Bates, Luke Oeding 

Publication date: 10 April 2013

Published in: Experimental Mathematics (Search for Journal in Brave)

Abstract: By using a result from the numerical algebraic geometry package Bertini we show that (up to high numerical accuracy) a specific set of degree 6 and degree 9 polynomials cut out the secant variety $sigm{a}_4(mathbb{P}^{2}imesmathbb{P}^{2}imesmathbb{P}^3)$. This, combined with an argument provided by Landsberg and Manivel (whose proof was corrected by Friedland), implies set-theoretic defining equations in degrees 5, 6 and 9 for a much larger set of secant varieties, including $sigm{a}_4(mathbb{P}^{3}imesmathbb{P}^{3}imesmathbb{P}^3)$ which is of particular interest in light of the salmon prize offered by E. Allman for the ideal-theoretic defining equations.

Full work available at URL: https://arxiv.org/abs/1009.6181

Recommendations

• A proof of the set-theoretic version of the salmon conjecture
• Induction for secant varieties of Segre varieties
• On the ideals and singularities of secant varieties of Segre varieties
• On the third secant variety
• Set-theoretic defining equations of the tangential variety of the Segre variety

zbMATH Keywords

representation theorysecant varietiesSegre embeddingnumerical algebraic geometryborder rank

Mathematics Subject Classification ID

Multilinear algebra, tensor calculus (15A69) Symbolic computation and algebraic computation (68W30) Vector and tensor algebra, theory of invariants (15A72) Numerical computation of solutions to systems of equations (65H10) Actions of groups on commutative rings; invariant theory (13A50) Group actions on varieties or schemes (quotients) (14L30) Determinantal varieties (14M12) Computational aspects in algebraic geometry (14Q99) Representation theory for linear algebraic groups (20G05)

Cites Work

• HOM4PS-2.0: a software package for solving polynomial systems by the polyhedral homotopy continuation method
• Algorithm 795
• Set-theoretic defining equations of the tangential variety of the Segre variety
• Induction for secant varieties of Segre varieties
• Regeneration homotopies for solving systems of polynomials
• Geometry and the complexity of matrix multiplication
• Prolongations and Computational Algebra
• Phylogenetic invariants for the general Markov model of sequence mutation
• Phylogenetic ideals and varieties for the general Markov model
• Equations for secant varieties of Veronese and other varieties
• On the ideals of secant varieties of Segre varieties
• On the ideals of secant varieties to certain rational varieties
• Adaptive Multiprecision Path Tracking
• Rank and optimal computation of generic tensors
• Generalizations of Strassen's Equations for Secant Varieties of Segre Varieties
• On the ideals and singularities of secant varieties of Segre varieties
• A proof of the set-theoretic version of the salmon conjecture

Cited In (18)

• Local equations for equivariant evolutionary models
• Equations for GL invariant families of polynomials
• Homotopy techniques for tensor decomposition and perfect identifiability
• The saga of a fish: from a survival guide to closing lemmas
• Regenerative cascade homotopies for solving polynomial systems
• Equations for the fifth secant variety of Segre products of projective spaces
• Ranks and symmetric ranks of cubic surfaces
• Abelian tensors
• Bounded-rank tensors are defined in bounded degree
• The quadrifocal variety
• Noetherian operators and primary decomposition
• Developing a statistically powerful measure for quartet tree inference using phylogenetic identities and Markov invariants
• Tensor decomposition and homotopy continuation
• Numerically deciding the arithmetically Cohen-Macaulayness of a projective scheme
• Equations for lower bounds on border rank
• A proof of the set-theoretic version of the salmon conjecture
• Concise tensors of minimal border rank
• Finiteness results for abelian tree models

Uses Software

• HOM4PS
• PHCpack
• SINGULAR
• LiE
• Bertini

This page was built for publication: Toward a salmon conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4915397)