10 coefficients determine a degree 3 homogenous polynomial in $k[x,y,z]$. I understand that there is a degree 12 polynomial in these coefficients, called the discriminant, with 2040 terms, which vanishes precisely when the curve is singular. I'm working on some generalizations to tropical geometry, and I would like to understand the classical case. Could someone point me to a reference where that shows how to construct this and check that it has the desired properties? I know that Gelfand, Kapranov, and Zelevinski have an important book about discriminants, but glancing through the table of contents it looks like it has a lot of prerequisits and may not be as concrete as I would like. Google searching has been fruitless so far.
2 Answers
Go to this web site and click on "jac_cubic" on the right hand panel. It gives a link to download a pari-gp script that computes the Weierstrass equation of the jacobian of a general cubic and, from that, the discriminant, if you want. Artin, Tate and Villegas have a paper explaining the theory too. It's on Villegas's webpage too.
-
$\begingroup$ The link on Villegas's website is broken, but fortunately the published version is "Open Archive" sciencedirect.com/science/article/pii/S0001870805001775 $\endgroup$– j.c.Commented Feb 26, 2016 at 3:37
For a less abstract and more computational approach you can for instance look at Example 5.48 in the book "Introduction a la resolution des systemes polynomiaux" by Elkadi and Mourrain (in French). It gives the resultant of three conics as the determinant of an explicit matrix. Apply this to the partial derivatives of your cubic and you will get the discriminant. The method goes back to Sylvester. Also, if you have JSTOR access and don't mind reading rather old fashioned algebra, you can look at:
Morley, Frank. “The Eliminant of a Net of Curves.” American Journal of Mathematics, vol. 47, no. 2, 1925, pp. 91–97. JSTOR, https://doi.org/10.2307/2370636.
-
$\begingroup$ The Elkadi and Mourrain book is a fine reference. The relevant material is on pages 132 and 133. $\endgroup$ Commented Dec 24, 2022 at 0:06