Lercier, Reynald; Olive, Marc Covariant algebra of the binary nonic and the binary decimic. (English) Zbl 1366.13006 Bassa, Alp (ed.) et al., Arithmetic, geometry, cryptography and coding theory. 15th international conference on arithmetic, geometry, cryptography, and coding theory (AGCT), CIRM, Luminy, France, May 18–22, 2015. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2810-5/pbk; 978-1-4704-3745-9/ebook). Contemporary Mathematics 686, 65-91 (2017). The present article is devoted to the covariants of binary forms, which is a part of the classical invariant theory. Let \(V\) be a space of binary forms and denote by \(\mathbf{Inv}(V)\) the invariant algebra \(\mathbb C[V]^{\text{SL}_2(\mathbb C)}\). According to the famous result by Gordan (extended by Hilbert for any linear reductive group), the invariant algebra \(\mathbb C[V]^{\text{SL}_2(\mathbb C)}\) is finitely generated. Similarly, the covariant algebra \(\mathbf{Cov}(V)=\mathbb C[V\oplus \mathbb C^2]^{\text{SL}_2(\mathbb C)}\) is finitely generated. The authors of this article show that there exists a minimal covariant basis with 476 generators for the binary nonic (Theorem 24), respectively with 510 generators for the binary decimic (Theorem 25). These results were only knows as conjectures so far. The computations rely on some important improvements on Gordan’s algorithm.For the entire collection see [Zbl 1364.11004]. Reviewer: Ivo M. Michailov (Shumen) Cited in 8 Documents MSC: 13A50 Actions of groups on commutative rings; invariant theory 13C99 Theory of modules and ideals in commutative rings 14Q99 Computational aspects in algebraic geometry Keywords:classical invariant theory; covariants; Gordan’s algorithm Software:noether.lib; Poincare_Series; 4ti2; Maple; Normaliz PDFBibTeX XMLCite \textit{R. Lercier} and \textit{M. Olive}, Contemp. Math. 686, 65--91 (2017; Zbl 1366.13006) Full Text: DOI arXiv References: [1] Abdesselam, Abdelmalek, On the volume conjecture for classical spin networks, J. Knot Theory Ramifications, 21, 3, 1250022, 62 pp. (2012) · Zbl 1287.57026 [2] Abdesselam, A.; Chipalkatti, J., Brill-Gordan loci, transvectants and an analogue of the Foulkes conjecture, Adv. Math., 208, 2, 491-520 (2007) · Zbl 1131.05005 [3] Abdesselam, Abdelmalek; Chipalkatti, Jaydeep, The higher transvectants are redundant, Ann. Inst. Fourier (Grenoble), 59, 5, 1671-1713 (2009) · Zbl 1189.13004 [4] Abdesselam, Abdelmalek; Chipalkatti, Jaydeep, Quadratic involutions on binary forms, Michigan Math. J., 61, 2, 279-296 (2012) · Zbl 1260.13009 [5] Adem, Alejandro; Milgram, R. James, Cohomology of finite groups, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] 309, viii+324 pp. (2004), Springer-Verlag, Berlin · Zbl 1061.20044 [6] Leonid Bedratyuk, On complete system of covariants for the binary form of degree 8, Mat. Visn. Nauk. Tov. Im. Shevchenka 5 (2008), 11-22. · Zbl 1199.13005 [7] Bedratyuk, Leonid, A complete minimal system of covariants for the binary form of degree 7, J. Symbolic Comput., 44, 2, 211-220 (2009) · Zbl 1221.13006 [8] Leonid Bedratyuk, The MAPLE package for calculating Poincare series, Journal of Symbolic Computation 2 (2011). \MR{2479299 (2009j:13006)} · Zbl 1199.13004 [9] Winfried Bruns and H. Jurgen Herzog, Cohen-macaulay rings, Cambridge University Press, 1998. · Zbl 0909.13005 [10] Winfried Bruns, Bogdan Ichim, Tim Romer, and Christof Soger, Normaliz 2.12, Tech. report, Universitat OsnaBruck, 2015. [11] Boehler, J.-P.; Kirillov, A. A., Jr.; Onat, E. T., On the polynomial invariants of the elasticity tensor, J. Elasticity, 34, 2, 97-110 (1994) · Zbl 0808.73007 [12] Applications of tensor functions in solid mechanics, CISM Courses and Lectures 292, xii+299 pp. (1987), Springer-Verlag, Vienna [13] George Boole, Exposition of a general theory of linear transformation, Camb. Math. 3 (1841), 1-20. [14] Brouwer, Andries E.; Popoviciu, Mihaela, The invariants of the binary decimic, J. Symbolic Comput., 45, 8, 837-843 (2010) · Zbl 1192.13005 [15] Brouwer, Andries E.; Popoviciu, Mihaela, The invariants of the binary nonic, J. Symbolic Comput., 45, 6, 709-720 (2010) · Zbl 1189.13005 [16] Brouwer, Andries E.; Popoviciu, Mihaela, \({\rm SL}_2\)-modules of small homological dimension, Transform. Groups, 16, 3, 599-617 (2011) · Zbl 1230.13009 [17] Brouwer, Andries E.; Popoviciu, Mihaela, Sylvester versus Gundelfinger, SIGMA Symmetry Integrability Geom. Methods Appl., 8, Paper 075, 7 pp. (2012) · Zbl 1274.13009 [18] Andries E. Brouwer, Invariants of binary forms, 2015, Available at http://www.win.tue.nl/aeb/math/invar.html. · Zbl 0929.51007 [19] Brini, A.; Regonati, F.; Teolis, A., Combinatorics, transvectants and superalgebras. An elementary constructive approach to Hilbert’s finiteness theorem, Adv. in Appl. Math., 37, 3, 287-308 (2006) · Zbl 1107.05099 [20] Arthur Cayley, A seventh memoir on quantics., Philosophical Transactions of the Royal Society of London 151 (1861), 277-292. [21] Cayley, Arthur, The collected mathematical papers. Volume 14, Cambridge Library Collection, ii+v+141 pp. (2009), Cambridge University Press, Cambridge · Zbl 1194.01173 [22] Contejean, Evelyne; Devie, Herv{\'e}, R\'esolution de syst\`“emes lin\'”eaires d’\'equations diophantiennes, C. R. Acad. Sci. Paris S\'er. I Math., 313, 2, 115-120 (1991) · Zbl 0733.65028 [23] Clausen, Michael; Fortenbacher, Albrecht, Efficient solution of linear Diophantine equations [ MR1014196 (90i:11151)]. Unification, 377-392 (1990), Academic Press, London [24] Clebsch, A.; Gordan, P., Theorie der Abelschen Functionen, viii+333 pp. (1967), Physica-Verlag, W\`“urzburg [25] Crilly, Tony, The rise of Cayley’s invariant theory (1841-1862), Historia Math., 13, 3, 241-254 (1986) · Zbl 0631.01016 [26] Crilly, Tony, The decline of Cayley’s invariant theory (1863-1895), Historia Math., 15, 4, 332-347 (1988) · Zbl 0662.01010 [27] Holger Lothar Croni, Zur Berechnung von Kovarianten von Quantiken, Ph.D. thesis, Saarbrucken, Univ., 2002. [28] Dieudonn{\'e}, Jean A.; Carrell, James B., Invariant theory, old and new, Advances in Math., 4, 1-80 (1970) (1970) · Zbl 0196.05802 [29] Derksen, Harm, Computation of invariants for reductive groups, Adv. Math., 141, 2, 366-384 (1999) · Zbl 0927.13007 [30] Dixmier, Jacques, Sur les invariants des formes binaires, C. R. Acad. Sci. Paris S\'er. I Math., 292, 23, 987-990 (1981) · Zbl 0469.22010 [31] Dixmier, J., S\'erie de Poincar\'e et syst\`“emes de param\`etres pour les invariants des formes binaires de degr\'”e \(7\), Bull. Soc. Math. France, 110, 3, 303-318 (1982) · Zbl 0513.10022 [32] Dixmier, J., Quelques r\'esultats et conjectures concernant les s\'eries de Poincar\'e des invariants des formes binaires. S\'eminaire d’alg\`“ebre Paul Dubreil et Marie-Paule Malliavin, 36\`eme ann\'”ee, Paris, 1983-1984, Lecture Notes in Math. 1146, 127-160 (1985), Springer, Berlin [33] J. Dixmier, Quelques resultats de finitude en theorie des invariants, Asterisque 145-146 (1987), 163-175, Seminaire Bourbaki, Vol. 1985/86. \MR{880031 (88h:20050)} [34] Derksen, Harm; Kemper, Gregor, Computational invariant theory, Invariant Theory and Algebraic Transformation Groups, I, x+268 pp. (2002), Springer-Verlag, Berlin · Zbl 1011.13003 [35] Derksen, Harm; Kemper, Gregor, Computing invariants of algebraic groups in arbitrary characteristic, Adv. Math., 217, 5, 2089-2129 (2008) · Zbl 1138.13003 [36] Dixmier, J.; Lazard, D., Le nombre minimum d’invariants fondamentaux pour les formes binaires de degr\'e \(7\), Portugal. Math., 43, 3, 377-392 (1985/86) · Zbl 0602.15022 [37] Eisenbud, David, Commutative algebra, Graduate Texts in Mathematics 150, xvi+785 pp. (1995), Springer-Verlag, New York · Zbl 0819.13001 [38] Faug{\`“e}re, Jean-Charles; Gaudry, Pierrick; Huot, Louise; Renault, Gu{\'”e}na{\`“e}l, Using symmetries in the index calculus for elliptic curves discrete logarithm, J. Cryptology, 27, 4, 595-635 (2014) · Zbl 1320.94063 [39] Fisher, Charles S., The death of a mathematical theory. A study in the sociology of knowledge, Arch. History Exact Sci., 3, 137-159 (1966) (1966) · Zbl 0192.01504 [40] Faug{\`“e}re, Jean-Charles; Svartz, Jules, Solving polynomial systems globally invariant under an action of the symmetric group and application to the equilibria of \(N\) vortices in the plane. ISSAC 2012-Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, 170-178 (2012), ACM, New York · Zbl 1323.68597 [41] Faug{\`“e}re, Jean-Charles; Svartz, Jules, Gr\'”obner bases of ideals invariant under a commutative group: the non-modular case. ISSAC 2013-Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, 347-354 (2013), ACM, New York · Zbl 1360.68931 [42] Geissler, Katharina; Kl{\`“u}ners, J{\'”u}rgen, Galois group computation for rational polynomials, J. Symbolic Comput., 30, 6, 653-674 (2000) · Zbl 0960.11054 [43] Paul Gordan, Beweis, dass jede Covariante und Invariante einer Bineren Form eine ganze Function mit numerischen Coefficienten einer endlichen Anzahl solcher Formen ist, Journal fur die reine und angewandte Mathematik (1868). · JFM 01.0046.01 [44] \bysame, Uber das Formensystem Binaerer Formen, 1875. [45] Gordan, Paul, Die Hessische und die Cayley’sche Curve, Trans. Amer. Math. Soc., 1, 4, 402-413 (1900) · JFM 31.0589.04 [46] Gordan, Paul, Formentheoretische Entwickelung der in Herrn White’s Abhandlung \`“uber Curven dritter Ordnung enthaltenen S\'”atze, Trans. Amer. Math. Soc., 1, 1, 9-13 (1900) · JFM 31.0589.02 [47] Gordan, Paul, Vorlesungen \`“uber Invariantentheorie, Vol.I: xii+201 pp.; Vol.II: xii+360 pp. (1987), Chelsea Publishing Co., New York [48] Grace, John Hilton; Young, Alfred, The algebra of invariants, Cambridge Library Collection, ii+viii+384 pp. (2010), Cambridge University Press, Cambridge · Zbl 1206.13003 [49] Amir Hashemi, Efficient Algorithms for Computing Noether Normalization, Lecture Notes in Computer Science 5081 (2008), 97-107. · Zbl 1166.68375 [50] Ralf Hemmecke, Raymond Hemmecke, Matthias Koeppe, Peter Malkin, and Matthias Walter, 4ti2-a software package for algebraic, geometric and combinatorial problems on linear spaces, Available at http://www.4ti2.de/. [51] Hilbert, David, Theory of algebraic invariants, xiv+191 pp. (1993), Cambridge University Press, Cambridge · Zbl 0801.13001 [52] Howe, Roger, Remarks on classical invariant theory, Trans. Amer. Math. Soc., 313, 2, 539-570 (1989) · Zbl 0674.15021 [53] Howe, Roger, Transcending classical invariant theory, J. Amer. Math. Soc., 2, 3, 535-552 (1989) · Zbl 0716.22006 [54] Hochster, Melvin; Roberts, Joel L., Rings of invariants of reductive groups acting on regular rings are Cohen-Macaulay, Advances in Math., 13, 115-175 (1974) · Zbl 0289.14010 [55] Kemper, Gregor, Computing invariants of reductive groups in positive characteristic, Transform. Groups, 8, 2, 159-176 (2003) · Zbl 1044.13002 [56] Knapp, Anthony W., Advanced algebra, Cornerstones, xxiv+730 pp. (2007), Birkh\`“auser Boston, Inc., Boston, MA · Zbl 1133.00001 [57] Kung, Joseph P. S.; Rota, Gian-Carlo, The invariant theory of binary forms, Bull. Amer. Math. Soc. (N.S.), 10, 1, 27-85 (1984) · Zbl 0577.15020 [58] Lang, Serge, Algebra, Graduate Texts in Mathematics 211, xvi+914 pp. (2002), Springer-Verlag, New York · Zbl 0984.00001 [59] Littelmann, P.; Procesi, C., On the Poincar\'e series of the invariants of binary forms, J. Algebra, 133, 2, 490-499 (1990) · Zbl 0726.20029 [60] Lercier, Reynald; Ritzenthaler, Christophe, Hyperelliptic curves and their invariants: geometric, arithmetic and algorithmic aspects, J. Algebra, 372, 595-636 (2012) · Zbl 1276.14088 [61] Jean-Gabriel Luque, Invariants of hypermatrices, Habilitation a diriger des recherches, Universite de Marne la Vallee, December 2008. [62] Marc Olive, About Gordan’s algorithm for binary forms, ArXiv e-prints (2014). · Zbl 1408.13017 [63] \bysame, Geometrie des espaces de tenseurs, une approche effective appliquee a la mecanique des milieux continus, Ph.D. thesis, Aix-Marseille University, 2014. [64] Olver, Peter J., Classical invariant theory, London Mathematical Society Student Texts 44, xxii+280 pp. (1999), Cambridge University Press, Cambridge · Zbl 0971.13004 [65] Parshall, Karen Hunger, Toward a history of nineteenth-century invariant theory. The history of modern mathematics, Vol.I (Poughkeepsie, NY, 1989), 157-206 (1989), Academic Press, Boston, MA [66] Dima V. Pasechnik, Computing covariants of binary forms and related topics, preprint (1996). [67] Pis{\'o}n-Casares, Pilar; Vigneron-Tenorio, Alberto, \( \mathbb{N} \)-solutions to linear systems over \(\mathbb{Z} \), Linear Algebra Appl., 384, 135-154 (2004) · Zbl 1126.13020 [68] Mihaela Ileana Popoviciu Draisma, Invariants of binary forms, Ph.D. thesis, University of Basel, 2014. [69] Rivlin, R. S.; Ericksen, J. L., Stress-deformation relations for isotropic materials, J. Rational Mech. Anal., 4, 323-425 (1955) · Zbl 0064.42004 [70] Sylvester, J. J.; Franklin, F., Tables of the Generating Functions and Groundforms for the Binary Quantics of the First Ten Orders, Amer. J. Math., 2, 3, 223-251 (1879) · JFM 11.0082.02 [71] Springer, T. A., S\'eries de Poincar\'e dans la th\'eorie des invariants. Paul Dubreil and Marie-Paule Malliavin algebra seminar, 35th year , Paris, 1982, Lecture Notes in Math. 1029, 37-54 (1983), Springer, Berlin [72] Smith, G. F.; Rivlin, R. S., The strain-energy function for anisotropic elastic materials, Trans. Amer. Math. Soc., 88, 175-193 (1958) · Zbl 0089.23505 [73] Stauduhar, Richard P., The determination of Galois groups, Math. Comp., 27, 981-996 (1973) · Zbl 0282.12004 [74] Stanley, Richard P., Combinatorics and invariant theory. Relations between combinatorics and other parts of mathematics, Proc. Sympos. Pure Math., Ohio State Univ., Columbus, Ohio, 1978, Proc. Sympos. Pure Math., XXXIV, 345-355 (1979), Amer. Math. Soc., Providence, R.I. [75] Stanley, Richard P., Invariants of finite groups and their applications to combinatorics, Bull. Amer. Math. Soc. (N.S.), 1, 3, 475-511 (1979) · Zbl 0497.20002 [76] Stanley, Richard P., Combinatorics and commutative algebra, Progress in Mathematics 41, viii+88 pp. (1983), Birkh\`“auser Boston, Inc., Boston, MA · Zbl 0537.13009 [77] Richard P. Stanley, Enumerative combinatorics. Volume 1, second ed., Cambridge Studies in Advanced Mathematics, vol. 49, Cambridge University Press, Cambridge, 2012. \MR{2868112} · Zbl 1247.05003 [78] Sturmfels, Bernd, Algorithms in invariant theory, Texts and Monographs in Symbolic Computation, vi+197 pp. (2008), SpringerWienNewYork, Vienna · Zbl 1154.13003 [79] Sylvester, J. J., On an Application of the New Atomic Theory to the Graphical Representation of the Invariants and Covariants of Binary Quantics, With Three Appendices, [Continued], Amer. J. Math., 1, 2, 105-125 (1878) · JFM 10.0090.03 [80] Van den Bergh, Michel, Cohen-Macaulayness of modules of covariants, Invent. Math., 106, 2, 389-409 (1991) · Zbl 0761.13004 [81] Van den Bergh, Michel, Modules of covariants. Proceedings of the International Congress of Mathematicians, Vol.1, 2, Z\`“urich, 1994, 352-362 (1995), Birkh\'”auser, Basel · Zbl 0851.13001 [82] F. von Gall, Ueber das simultane Formensystem einer Form 2ter und 6ter Ordnung, Jahresbericht uber das Gymnasium zu Lengo (1874). [83] Von Gall, Ueber das vollst\`“andige System einer bin\'”aren Form achter Ordnung, Math. Ann., 17, 1, 139-152 (1880) · JFM 12.0093.02 [84] Gall, Frhr v., Das vollst\`“andige Formensystem der bin\'”aren Form \(7^{ter}\) Ordnung, Math. Ann., 31, 3, 318-336 (1888) · JFM 20.0128.01 [85] Weyman, Jerzy, Gordan ideals in the theory of binary forms, J. Algebra, 161, 2, 370-391 (1993) · Zbl 0811.13011 [86] Weyl, Hermann, The classical groups, Princeton Landmarks in Mathematics, xiv+320 pp. (1997), Princeton University Press, Princeton, NJ · Zbl 1024.20501 [87] Yoshino, Yuji, Cohen-Macaulay modules over Cohen-Macaulay rings, London Mathematical Society Lecture Note Series 146, viii+177 pp. (1990), Cambridge University Press, Cambridge · Zbl 0745.13003 This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.