Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I was asked the following question by a colleague and was embarrassed not to know the answer.

Let $f(x), g(x) \in \mathbb{Z}[x]$ with no root in common. Let $I = (f(x),g(x))\cap \mathbb{Z}$, that is, the elements of $\mathbb{Z}$ which are linear combinations of $f(x), g(x)$ with coefficients in $\mathbb{Z}[x]$. Then $I$ is clearly an ideal in $\mathbb{Z}$. Let $D>0$ be a generator of this ideal. The question is: what is $D$?

Now, we do have the standard resultant $R$ of $f,g$, which under our hypotheses, is a non-zero integer. We know that $R \in I$ and it's not hard to show that a prime divides $R$ if and only if it divides $D$. I thought $R = \pm D$ but examples show that this is not the case.

share|improve this question
    
It's a nice question! –  Somnath Basu Mar 8 '10 at 19:40

4 Answers 4

up vote 11 down vote accepted

This quantity $D$ is known as the "congruence number" or "reduced resultant" of the polynomials f and g. I first saw this in a preprint by Wiese and Taixes i Ventosa, http://arxiv.org/abs/0909.2724. They ascribe the concept to a paper which I don't have a copy of:

M. Pohst. A note on index divisors. In Computational number theory (Debrecen, 1989), 173– 182, de Gruyter, Berlin, 1991.

share|improve this answer
7  
I wrote a paper on this, On resultants, Proc Amer Math Soc 89 (1983) 419-420, MR84j:13004. The "norm = resultant" thing that Felipe and Kevin discuss elsewhere in this thread has been independently rediscovered many times. I talk about this a bit and give a generalization to several variables in Norms in polynomial rings, Bull Austral Math Soc 41 (1990) 381-386, MR91m:13011. –  Gerry Myerson Mar 8 '10 at 22:58

An interesting example where the resultant and the "reduced resultant" differ comes from the theory of elliptic curves. Take an elliptic curve $$E:\qquad y^2=x^3+ax+b$$ where $a$ and $b$ are integers. The duplication formula for $E$ states that on the elliptic curve $[2] (x_1,y_1)=(x_2,y_2)$ where $x_2=g(x_1)/4f(x_1)$, $$f(x)=x^3+ax+b\qquad{\rm and}\qquad g(x)=x^4-2ax^2-8bx+a^2.$$ The resultant of $f$ and $g$ is $(4a^3+27b^2)^2$ (the square of the discriminant of $E$ so nonzero). But the reduced resultant is $|4a^3+27b^2|$ which one sees by noting that this divides all entries of the adjugate of the "resultant matrix" of $f$ and $g$.

The fact that this resultant is nonzero is used in a standard proof of the inequality $$h([2] P)\ge 4 h(P)-O(1)$$ for the naive height on $E$ (see Silverman's book).

share|improve this answer
    
Robin: I noticed this when preparing some 4th year UG lectures on elliptic curves a few years ago, and emailed Cassels asking him why this phenomenon was occurring (it was he who had taught me this trick). Cassels replied that he was "out of the loop" as far as mathematics was concerned and I should ask someone else, and I never did, and indeed I never got to the bottom of this until now! See footnote 20 in his elliptic curves book, p80. –  Kevin Buzzard Mar 11 '10 at 14:39
    
Kevin: I only noticed this recently when pondering Miles Reid's comments included in the errata for the second edition of Silverman's Arithmetic of Elliptic Curves. –  Robin Chapman Mar 11 '10 at 15:00

$D=D(f,g)$ is not particularly well-behaved, is it. For example it's not multiplicative in the variables: if $g=x^2+1$ (nothing special about this example, I'm just fixing ideas) then $D(f,g)$ is the intersection of $\mathbf{Z}$ and the ideal generated by $f(i)$ in $\mathbf{Z}[i]$. So, for example, if $f$ is $x+2$ you get 5, if $f$ is $x-2$ you get 5 too (from the other prime ideal above 5) and if $f$ is $x^2-4$, the product, you still only get 5 (which of course provides a proof that $D$ isn't the resultant in general).

Seems to me that the norm of $f(i)$ would be a much better invariant, which would generalise to the size of the ring $\mathbf{Z}[x]/(f,g)$. It wouldn't surprise me if that were the resultant (or closely related to it), and if it is then that's at least some sort of link. Maybe you knew all that already though ;-)

share|improve this answer
2  
The norm is the resultant. This is one of those things which is "well-known" but not really. –  Felipe Voloch Mar 8 '10 at 20:09
    
Agreed! Had I wanted to follow it up I would have found a proof for myself and then just claimed it was "well-known" ;-) –  Kevin Buzzard Mar 8 '10 at 20:52

This issue came to my attention for the first (and only, up until now) time when Gregory Dresden gave a talk about resultants of cyclotomic polynomials in the UGA number theory seminar last spring. I am pretty sure that the distinction between these two notions of the resultant figured prominently in his work: see

http://home.wlu.edu/~dresdeng/papers/Res.pdf

So far as I know the question you ask is unsolved in general, but in this case I don't know very far at all. You might want to ask Greg...

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.