Abstract
In this paper, the discriminant scheme of homogeneous polynomials is studied in two particular cases: the case of a single homogeneous polynomial and the case of a collection of n − 1 homogeneous polynomials in \({n\geqslant 2}\) variables. In both situations, a normalized discriminant polynomial is defined over an arbitrary commutative ring of coefficients by means of the resultant theory. An extensive formalism for this discriminant is then developed, including many new properties and computational rules. Finally, it is shown that this discriminant polynomial is faithful to the geometry: it is a defining equation of the discriminant scheme over a general coefficient ring k, typically a domain, if \({2\neq 0}\) in k. The case where 2 = 0 in k is also analyzed in detail.
Similar content being viewed by others
References
Apéry, F., Jouanolou, J.-P.: Élimination: le cas d’une variable. Hermann, Collection Méthodes (2006)
Benoist O.: Degrés d’homogénéité de l’ensemble des intersections complètes singulières. Ann. Inst. Fourier (Grenoble) 62(3), 1189–1214 (2012)
Busé L., Mourrain B.: Explicit factors of some iterated resultants and discriminants. Math. Comp. 78(265), 345–386 (2009)
Bruns, W., Vetter, U.: Determinantal rings. In: Lecture Notes in Mathematics, vol. 1327. Springer, Berlin (1988)
Demazure, M.: Résultant, discriminant. Unpublished Bourbaki manuscript, July (1969)
Demazure M.: Résultant, discriminant. Enseign. Math. (2) 58(3–4), 333–373 (2012)
Eisenbud, D., Harris, J.: The geometry of schemes. In: Graduate Texts in Mathematics, vol. 197. Springer, New York (2000)
Esterov A.: Newton polyhedra of discriminants of projections. Discrete Comput. Geom. 44(1), 96–148 (2010)
Gel’fand, I.M., Kapranov, M.M., Zelevinsky, A.V.: Discriminants, resultants, and multidimensional determinants. In: Mathematics: Theory & Applications. Birkhäuser Boston Inc., Boston (1994)
Hartshorne, R: Algebraic geometry. In: Graduate Texts in Mathematics vol. 52. Springer, New York (1977)
Henrici, O: On certain formulæ concerning the theory of discriminants. In: Proceedings of the London Mathematical Society, pp. 104–116, Nov. 12th (1868)
Jouanolou J.-P.: Le formalisme du résultant. Adv. Math. 90(2), 117–263 (1991)
Jouanolou, J.-P.: Résultant et résidu de grothendieck. Prépublication IRMA Strasbourg (1992)
König J.: Einleitung in die allgemeine Theorie der algebraischen Groessen. Teubner, Leipzig (1903)
Kronecker L.: Grundzuege einer arithmetischen theorie der algebraischen groessen. J. Math. 92, 1–122 (1882)
Krull W.: Funktionaldeterminanten und Diskriminanten bei Polynomen in mehreren Unbestimmten. Monatsh. Math. Phys. 48, 353–368 (1939)
Krull W.: Funktionaldeterminanten und Diskriminanten bei Polynomen in mehreren Unbestimmten. II. Monatsh. Math. Phys. 50, 234–256 (1942)
Mertens F.: Ueber die bestimmenden eigenschaften der resultante von n formen mit n veraenderlichen. Sitzungsberichte der Wiener Akademie 93, 527–566 (1886)
Mertens, F.: Zur theorie der elimination. Sitzungsberichte der Wiener Akademie 108, 1173–1228 and 1344–1386 (1892)
Ould Mohamdi, El Khalil: Élimination Réduite. PhD thesis, University of Strasbourg (1988)
Ostrowski A.: Beweis der Irreduzibilität der Diskriminante einer algebraischen Form von mehreren Variablen. Math. Z. 4(3–4), 314–319 (1919)
Saito T.: The discriminant and the determinant of a hypersurface of even dimension. Math. Res. Lett. 19(4), 855–871 (2012)
Scheja G., Storch U.: Anisotropic discriminants. Comm. Algebra 36(9), 3543–3558 (2008)
Sylvester. Addition à la note sur une extension de la théorie des résultants algébriques. Comptes Rendus de l’Académie des Sciences. LVIII, 1178–1180 (1864)
Sylvester. Sur l’extension de la théorie des résultants algébriques. Comptes Rendus de l’Académie des Sciences. LVIII, 1074–1079 (1864)
Zariski O.: Generalized weight properties of the resultant of n + 1 polynomials in n indeterminates. Trans. Am. Math. Soc. 41(2), 249–265 (1937)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Busé, L., Jouanolou, JP. On the Discriminant Scheme of Homogeneous Polynomials. Math.Comput.Sci. 8, 175–234 (2014). https://doi.org/10.1007/s11786-014-0188-7
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11786-014-0188-7