13
$\begingroup$

I am looking for explicit examples (for all positive integers $n \ge 5$) of degree $2n$ even polynomials $f(x)=h(x^2)$ over the field $\mathbb{Q}$ of rational numbers such that the Galois groups of $f(x)$ over $\mathbb{Q}$ are the Weyl groups $W(B_n), W(D_n)$ or their normal subgroups of small index 2 or 4. (In this case the Galois group of $h(x)$ should be the full symmetric group $S_n$ or the alternating group $A_n$.)

$\endgroup$
  • 5
    $\begingroup$ You didn't ask for this, but Shioda gave a beautiful construction of even polynomials with Galois groups $W(E_n)$ with $n=6,7,8$. $\endgroup$ – Noam D. Elkies Mar 22 '16 at 0:17
  • 1
    $\begingroup$ Jouve, Kowalski and Zywina constructed a degree 240 reciprocal polynomial with Galois group $W(E_8)$. $\endgroup$ – Yuri Zarhin Mar 22 '16 at 16:13
4
$\begingroup$

It's possible to produce examples using congruence conditions. If there is a prime modulo which $h(x)$ is irreducible, a prime modulo which it splits into the product of a linear polynomial and an irreducible polynomial, and a prime modulo which it splits into the product of a linear polynomial and $n-2$ irreducible polynomials, then the Galois group of $h(x)$ is $S_n$ (because every subgroup of $S_n$ containing an $n$-cycle, an $n-1$-cycle, and a transposition is all of $S_n$).

Under these conditions, the kernel of the map from the Galois group to $S_n$ is an $S_n$-invariant subgroup of $(\mathbb Z/2)^n$. As long as there is a prime modulo which $h(x)$ splits completely and some of the roots, but not all, are squares, this kernel will contain the index $2$ normal subgroup of elements that sum to $0$, and if the number of non-squares is odd, it will contain the whole group. So if you want $W(B_n)$ you want the number of non-squares to be odd, and if you want $W(D_n)$ you want it to be even.

To construct explicitly a polynomial with $W(B_n)$ Galois group, take 4 primes and modulo each prime find a polynomial satisfying one of the four conditions, then use the Chinese remainder theorem to find an integer polynomial that reduces mod $p$ to the desired polynomials.

This applies immediately for $W(B_n)$, because we have shown the kernel contains all of $(\mathbb Z/2)^n$.

For $W(D_n)$, the congruence conditions force the kernel to contain an index $2$ subgroup, but to get exactly $W(D_n)$ you also need the constant term to be a perfect square. This will still work with the Chinese remainder theorems as long as the constant terms of your polynomials mod $p$ are squares mod $p$. It should be possible to find polynomials satisfying the first three conditions with the desired reduction mod $p$ (it is trivial if $n$ is odd as you can just scale the polynomial appropriately) and a polynomial that splits into linear factors will ave a perfect square constant term as long as the number of non-squares is even.

$\endgroup$
  • $\begingroup$ Thanks, Will! Actually, I've already came up with a bunch of similar examples for $W(B_{2g+1})$ starting with so called Mori trinomials $x^{2g+1}-bx -pc/4$ download.springer.com/static/pdf/985/…*~hmac=5c4ab5366e0832fc7e4338d1a668cbc3f9175feece365f01992c9b6ddbb0c012 . Namel $\endgroup$ – Yuri Zarhin Dec 12 '16 at 15:58
  • $\begingroup$ Thanks, Will! Actually, I've came up with similar examples for $W(B_{2g+1})$, using Mori trinomials $h(x)=x^{2g+1}-bx -pc/4$ when $p$ does not divide $c$. (For Mori polynomials, see European J. Math. 2 (2016), no. 1, 360-381). $\endgroup$ – Yuri Zarhin Dec 12 '16 at 16:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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