Suppose finmathbbQ[x] is monic, with roots alpha1,dots,alphan. Define the discriminant of f to be the number Delta=Pii<j(alphai−alphaj)2. Let D(f)=sqrtDelta=Pii<j(alphai−alphaj) be the square root of the discriminant. Here are the questions:
1) Let p/qinmathbbQ be fixed. What can be said about the set finmathbbQ[x]:D(f)=p/q? For example, if we fix p to be some prime, then the family of quadratics having this prime as the discriminant are just translates of the polynomial x(x−p) by any rational number. Of course, the whole family has the same (trivial) Galois group. What can be said about the Galois group of families of polynomials of greater degree with fixed discriminant? The Galois groups will be subgroups of An, but is there any reason to expect any 'stability'?
and less interestingly,
2) What rational numbers p/qinmathbbQ have the property that p/q=D(f) for some f as above, with the degree of f fixed to be some natural number n? For example, every rational number is the discriminant of some quadratic. But it seems clear that there is no cubic f with D(f)=2times2times3. What can be said in general?
The context of this is I'm trying to generate some families of polynomials that don't have Galois group Sn and my simple-minded idea is to use the discriminant to 'pick them out' (it won't do to just generate polynomials randomly, as the set of polynomials with Galois group Sn is thick in the set of all polynomials).
Thank you!
No comments:
Post a Comment