All secant varieties of the Chow variety are nondefective for cubics and quaternary forms

Torrance, Douglas; Vannieuwenhoven, Nick

doi:10.1090/tran/8340

All secant varieties of the Chow variety are nondefective for cubics and quaternary forms
HTML articles powered by AMS MathViewer

by Douglas A. Torrance and Nick Vannieuwenhoven PDF

Trans. Amer. Math. Soc. 374 (2021), 4815-4838 Request permission

Abstract:

The Chow rank of a form is the length of its smallest decomposition into a sum of products of linear forms. For a generic form, this corresponds to finding the smallest secant variety of the Chow variety which fills the ambient space. We determine the Chow rank of generic cubics and quaternary forms by proving nondefectivity of all involved secant varieties. The main new ingredient in our proof is the generalization of a technique by Brambilla and Ottaviani, [On the Alexander–Hirschowitz theorem, J. Pure Appl. Algebra, 212 (2008), pp. 1229-1251] that consists of employing Terracini’s lemma and Newton’s backward difference formula to compute the dimensions of secant varieties of arbitrary projective varieties. Via this inductive construction, the proof of nondefectivity ultimately reduces to proving a number of base cases. These are settled via a computer-assisted proof because of the large dimensions of the spaces involved. The largest base case required in our proof consisted of computing the dimension of a vector space constructed from the $400$th secant variety of a degree-$82$ Chow variety embedded in $\mathbb {P}^{98769}$.

References

Hirotachi Abo, Varieties of completely decomposable forms and their secants, J. Algebra 403 (2014), 135–153. MR 3166068, DOI 10.1016/j.jalgebra.2013.12.027
Hirotachi Abo, Giorgio Ottaviani, and Chris Peterson, Induction for secant varieties of Segre varieties, Trans. Amer. Math. Soc. 361 (2009), no. 2, 767–792. MR 2452824, DOI 10.1090/S0002-9947-08-04725-9
Hirotachi Abo and Nick Vannieuwenhoven, Most secant varieties of tangential varieties to Veronese varieties are nondefective, Trans. Amer. Math. Soc. 370 (2018), no. 1, 393–420. MR 3717984, DOI 10.1090/tran/6955
J. Alexander and A. Hirschowitz, Polynomial interpolation in several variables, J. Algebraic Geom. 4 (1995), no. 2, 201–222. MR 1311347
Enrique Arrondo and Alessandra Bernardi, On the variety parameterizing completely decomposable polynomials, J. Pure Appl. Algebra 215 (2011), no. 3, 201–220. MR 2729216, DOI 10.1016/j.jpaa.2010.04.008
A. Bernardi, E. Carlini, M. Catalisano, A. Gimigliano, and A. Oneto, The hitchhiker guide to: Secant varieties and tensor decomposition, Mathematics, 6(314):1–86, 2018.
A. Bernardi, M. V. Catalisano, A. Gimigliano, and M. Idà, Secant varieties to osculating varieties of Veronese embeddings of $\Bbb P^n$, J. Algebra 321 (2009), no. 3, 982–1004. MR 2488563, DOI 10.1016/j.jalgebra.2008.10.020
Dario Bini and Victor Y. Pan, Polynomial and matrix computations. Vol. 1, Progress in Theoretical Computer Science, Birkhäuser Boston, Inc., Boston, MA, 1994. Fundamental algorithms. MR 1289412, DOI 10.1007/978-1-4612-0265-3
Cristiano Bocci, Luca Chiantini, and Giorgio Ottaviani, Refined methods for the identifiability of tensors, Ann. Mat. Pura Appl. (4) 193 (2014), no. 6, 1691–1702. MR 3275258, DOI 10.1007/s10231-013-0352-8
Maria Chiara Brambilla and Giorgio Ottaviani, On the Alexander-Hirschowitz theorem, J. Pure Appl. Algebra 212 (2008), no. 5, 1229–1251. MR 2387598, DOI 10.1016/j.jpaa.2007.09.014
J. E. Campbell, Notes on Determinants, Proc. Lond. Math. Soc. 24 (1892/93), 67–79. MR 1577144, DOI 10.1112/plms/s1-24.1.67
J. F. Canny, E. Kaltofen, and L. Yagati. Solving systems of nonlinear polynomial equations faster. In Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, ISSAC ’89, pages 121–128, New York, NY, USA, 1989. ACM.
Enrico Carlini, Luca Chiantini, and Anthony V. Geramita, Complete intersections on general hypersurfaces, Michigan Math. J. 57 (2008), 121–136. Special volume in honor of Melvin Hochster. MR 2492444, DOI 10.1307/mmj/1220879400
Enrico Carlini, Luca Chiantini, and Anthony V. Geramita, Complete intersection points on general surfaces in $\Bbb P^3$, Michigan Math. J. 59 (2010), no. 2, 269–281. MR 2677620, DOI 10.1307/mmj/1281531455
Maria Virginia Catalisano, Luca Chiantini, Anthony V. Geramita, and Alessandro Oneto, Waring-like decompositions of polynomials, 1, Linear Algebra Appl. 533 (2017), 311–325. MR 3695910, DOI 10.1016/j.laa.2017.07.021
M. V. Catalisano, A. V. Geramita, and A. Gimigliano, On the secant varieties to the tangential varieties of a Veronesean, Proc. Amer. Math. Soc. 130 (2002), no. 4, 975–985. MR 1873770, DOI 10.1090/S0002-9939-01-06251-7
M. V. Catalisano, A. V. Geramita, A. Gimigliano, B. Harbourne, J. Migliore, U. Nagel, and Y. S. Shin, Secant varieties of the varieties of reducible hypersurfaces in $\Bbb {P}^n$, J. Algebra 528 (2019), 381–438. MR 3933952, DOI 10.1016/j.jalgebra.2019.03.014
Luca Chiantini and Giorgio Ottaviani, On generic identifiability of 3-tensors of small rank, SIAM J. Matrix Anal. Appl. 33 (2012), no. 3, 1018–1037. MR 3023462, DOI 10.1137/110829180
Luca Chiantini, Giorgio Ottaviani, and Nick Vannieuwenhoven, An algorithm for generic and low-rank specific identifiability of complex tensors, SIAM J. Matrix Anal. Appl. 35 (2014), no. 4, 1265–1287. MR 3270978, DOI 10.1137/140961389
Pierre Comon, Gene Golub, Lek-Heng Lim, and Bernard Mourrain, Symmetric tensors and symmetric tensor rank, SIAM J. Matrix Anal. Appl. 30 (2008), no. 3, 1254–1279. MR 2447451, DOI 10.1137/060661569
Jean-Guillaume Dumas, Pascal Giorgi, and Clément Pernet, Dense linear algebra over word-size prime fields: the FFLAS and FFPACK packages, ACM Trans. Math. Software 35 (2008), no. 3, Art. 19, 35. MR 2738206, DOI 10.1145/1391989.1391992
D. R. Grayson and M. E. Stillman. Macaulay2, a software system for research in algebraic geometry. Available at http://www.math.uiuc.edu/Macaulay2/.
G. Guennebaud, B. Jacob, et al. Eigen v3. http://eigen.tuxfamily.org, 2010.
David Hilbert, Beweis für die Darstellbarkeit der ganzen Zahlen durch eine feste Anzahl $n^{ter}$ Potenzen (Waringsches Problem), Math. Ann. 67 (1909), no. 3, 281–300 (German). MR 1511530, DOI 10.1007/BF01450405
A. Iarrobino, Inverse system of a symbolic power. II. The Waring problem for forms, J. Algebra 174 (1995), no. 3, 1091–1110. MR 1337187, DOI 10.1006/jabr.1995.1169
Tamara G. Kolda and Brett W. Bader, Tensor decompositions and applications, SIAM Rev. 51 (2009), no. 3, 455–500. MR 2535056, DOI 10.1137/07070111X
J. M. Landsberg, Tensors: geometry and applications, Graduate Studies in Mathematics, vol. 128, American Mathematical Society, Providence, RI, 2012. MR 2865915, DOI 10.1090/gsm/128
R. T. Moenck. Practical fast polynomial multiplication. In Proceedings of the third ACM symposium on symbolic and algebraic computation, SYMSAC ’76, pp. 136–148, New York, NY, USA, 1976. ACM.
Victor Y. Pan, Simple multivariate polynomial multiplication, J. Symbolic Comput. 18 (1994), no. 3, 183–186. MR 1318133, DOI 10.1006/jsco.1994.1042
Alexander Polishchuk and Leonid Positselski, Quadratic algebras, University Lecture Series, vol. 37, American Mathematical Society, Providence, RI, 2005. MR 2177131, DOI 10.1090/ulect/037
W. Qian, Z. Xianyi, Z. Yunquan, and Q. Yi. AUGEM: Automatically generate high performance dense linear algebra kernels on x86 CPUs. In Proceedings of the international conference on high performance computing, networking, storage and analysis, pp. 25:1–25:12, New York, NY, 2013.
Y. S. Shin. Some applications of the union of star-configurations in $\mathbb {P}^n$, J. Chungcheong Math. Soc, 24:807–824, 2011.
Yong Su Shin, Secants to the variety of completely reducible forms and the Hilbert function of the union of star-configurations, J. Algebra Appl. 11 (2012), no. 6, 1250109, 27. MR 2997451, DOI 10.1142/S0219498812501095
Richard P. Stanley, Enumerative combinatorics. Volume 1, 2nd ed., Cambridge Studies in Advanced Mathematics, vol. 49, Cambridge University Press, Cambridge, 2012. MR 2868112
A. Terracini. Sulle vk per cui la varietà degli sh (h + 1) seganti ha dimensione minore dell’ordinario, Rendiconti del Circolo Matematico di Palermo (1884-1940), 31(1):392–396, 1911.
Douglas A. Torrance, Nondefective secant varieties of completely decomposable forms, ProQuest LLC, Ann Arbor, MI, 2013. Thesis (Ph.D.)–University of Idaho. MR 3193007
Douglas A. Torrance, Generic forms of low Chow rank, J. Algebra Appl. 16 (2017), no. 3, 1750047, 10. MR 3626714, DOI 10.1142/S0219498817500475
Jia Wan, On Waring’s Problem for Systems of Skew-Symmetric Forms, ProQuest LLC, Ann Arbor, MI, 2013. Thesis (Ph.D.)–University of Idaho. MR 3187402
Edward Waring, Meditationes algebraicæ, American Mathematical Society, Providence, RI, 1991. Translated from the Latin, edited and with a foreword by Dennis Weeks; With an appendix by Franz X. Mayer, translated from the German by Weeks. MR 1146921
Kevin Woods, The unreasonable ubiquitousness of quasi-polynomials, Electron. J. Combin. 21 (2014), no. 1, Paper 1.44, 23. MR 3177539