Toward a salmon conjecture

DOI10.1080/10586458.2011.576539MaRDI QIDQ4915397zbMATH OpenOpenAlexWikidataFDO

Authors Daniel J. Bates, Luke Oeding

Publication date 10 April 2013

Published in Experimental Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1009.6181, https://projecteuclid.org/euclid.em/1317924426

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)

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.

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

Cites work

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

Cited in

(18)

• Local equations for equivariant evolutionary models
• Equations for GL invariant families of polynomials
• Homotopy techniques for tensor decomposition and perfect identifiability
• Regenerative cascade homotopies for solving polynomial systems
• The saga of a fish: from a survival guide to closing lemmas
• 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

Describes a project that uses

Uses Software

• Bertini
• LiE
• SINGULAR
• PHCpack
• HOM4PS

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)