arxiv: v1 [math.nt] 6 Mar 2018

ODONI S CONJECTURE FOR NUMBER FIELDS ROBERT L. BENEDETTO AND JAMIE JUUL arxiv:1803.01987v1 [math.nt] 6 Mar 2018 Abstract. Let K be a number field, and let d 2. A conjecture of Odoni stated more generally for characteristic zero Hilbertian fields K) posits that there is a monic polynomial f K[x] of degree d, and a point x 0 K, such that for every n 0, the so-called arboreal Galois group GalKf n x 0 ))/K) is an n-fold wreath product of the symmetric group S d. In this paper, we prove Odoni s conjecture when d is even and K is an arbitrary number field, and also when both d and [K : Q] are odd. 1. Introduction Let F be a field, let fx) F [x] be a polynomial of degree d 2, and let x 0 F. For each n 0, denote by f n the n-iterate f f f of f, and consider the set f n x 0 ) = {α F f n α) = x 0 } of n-th preimages of x 0. If f n x 0 is separable for all n, then f n x 0 ) has exactly d n elements for each n, and F f n x 0 )) is a Galois extension of F. In [Odo85a], Odoni showed that GalF f n x 0 ))/F ) is isomorphic to a subgroup of [S d ] n, the n-fold wreath product of the symmetric group S d with itself. He also showed that if char F = 0 and E = F s d 1,..., s 0 ), then the generic monic polynomial Gx) = x d + s d 1 x d 1 + + s 0 E[x] defined over the function field E satisfies GalEG n 0))/E) = [S d ] n. In [Juu17], the second author showed that this result also holds for fields of characteristic p, except in the case p = d = 2. It follows from Hilbert s Irreducibility Theorem that if F = Q, or more generally if F is any Hilbertian field, then for any fixed n 0, there are infinitely many polynomials fx) F x) for which GalF f n x 0 ))/F ) = [S d ] n. However, it does not follow immediately that there are any polynomials fx) F [x] for which this isomorphism holds for all n 0. Based on his results, Odoni proposed the following conjecture. Conjecture 1.1 Odoni, Conjecture 7.5 [Odo85a]). For any Hilbertian field F of characteristic 0 and any d 2, there is a monic polynomial fx) F [x] of degree d such that GalF f n 0))/F ) = [S d ] n for all n 0. For any point x 0 F, if we set gx) = fx+x 0 ) x 0 F [x], then the fields F f n x 0 )) and F g n 0)) coincide. Thus, it is equivalent to phrase Odoni s conjecture in terms of the preimages f n x 0 ) of an arbitrary F -rational point x 0 instead of 0. The Galois groups GalF f n x 0 )/F ) can be better understood through the framework of arboreal Galois representations [BJ09]. It is not hard to see that [S d ] n = AutT d,n ) where T d,n is a d-ary rooted tree with n levels. We define an embedding GalF f n x 0 ))/F ) AutT d,n ) by assigning each element of n i=1 f i x 0 ) to a vertex of the tree as follows: x 0 is the root of the tree, and the points of f i x 0 ) are the vertices 2010 Mathematics Subject Classification. 37P05, 11G50, 14G25. 1

2 BENEDETTO AND JUUL at the i-th level of the tree, with an edge connecting α f i x 0 ) to β f i 1 x 0 ) if fβ) = α. Jones [Jon13] stated a version Odoni s Conjecture in the case that F = Q by further specifying that f should have coefficients in Z. In this paper, however, we consider the original version of Conjecture 1.1, where f is allowed to have non-integral coefficients. Conjecture 1.1 has already been proven in many cases. Odoni himself proved that GalQf n 0))/Q) = [S 2 ] n for all n 0 when fx) = x 2 x + 1, proving the conjecture for F = Q and d = 2 [Odo85b]. Stoll [Sto92] produced infinitely many such polynomials for F = Q and d = 2. In 2017, Looper showed that Odoni s conjecture holds for F = Q and d = p a prime [Loo16]. In this paper, we prove Odoni s conjecture for even d 2 over any number field, as well as for odd d 3 over any number field K not containing Q d, d 2). In particular, we prove the conjecture when d and [K : Q] are both odd.) Theorem 1.2. Let d 2, and let K be a number field. Suppose either that d is even or that d and d 2 are not both squares in K. Then there is a monic polynomial fx) K[x] of degree d and a rational point x 0 K such that for all n 0, Gal K f n x 0 ) ) /K) = [Sd ] n. The proof, which builds on Looper s techniques, proceeds by induction on n, and involves studying the primes ramifying in Kf n x 0 )). In particular, to help generate the full group S d when d is not necessarily prime, we introduce a positive integer m < d and an auxiliary prime K that ramifies to degree m n in Kα), for any α f n x 0 ). Recently, Borys Kadets [Kad18] and Joel Specter [Spe18] have announced proofs of similar theorems, and using similar extensions of Looper s techniques. Kadets proves Odoni s conjecture over Q for polynomials of even degree d 20. Specter proves Odoni s conjecture for algebraic extensions of Q which are unramified outside of infinitely many primes. Our work, which we announced at the 2018 Joint Math Meetings in San Diego see https://rlbenedetto.people.amherst.edu/talks/sandiego18.pdf), was done simultaneously and independently from these projects. The outline of the paper is as follows. In Section 2 we give preliminary results on discriminant formulas and ramification, as well as a useful group theory lemma, Lemma 2.4. In Section 3 we prove sufficient conditions for GalKf n x 0 ))/K) to be isomorphic to [S d ] n. Finaly, we prove Theorem 1.2 for even d 2 in Section 4, and for odd d 3 in Section 5. 2. Ramification and the Discriminant We begin with the following result on the discriminant of a field generated by a root of a trinomial. Lemma 2.1. Let K be a number field with ring of integers O K, let d > m 1 with m, d) = 1, let A, B, C K with A 0, and let S be a finite set of primes of O K including all archimedean primes and all primes at which any of A, B, C have negative valuation. Suppose that gx) = Ax d + Bx m + C O K,S [x] is irreducible over K. Let L = Kθ), where θ is a root of gx). Then the discriminant O L,S /O K,S ) satisfies g) =

k 2 O L,S /O K,S ), where k O K,S, and ODONI S CONJECTURE FOR NUMBER FIELDS 3 g) = 1) dd 1)/2 A d m 1 C m 1 [ 1) d 1 m m d m) d m B d + d d A m C d m] is the discriminant of the polynomial g. We will also make use of the following discriminant formula: 1) f n+1 x) t) = Ãdn [ f n x) t)] d f n+1 r) t) mr, f r)=0 where f is a polynomial of degree d and lead coefficient A, where à = 1)dd 1)/2 d d A d 1, and where m r is the multiplicity of r as a root of f x). See [AHM05, Proposition 3.2]. Sketch of Proof of Lemma 2.1. This is a standard result, using the fact that any prime p A of O K,S ramifying in O L,S divides O L,S /O K,S ). See, for example, Lemma 7.2, Theorem 7.3, and Theorem 7.6 of [Jan96]. To prove the formula for g), we apply formula 1) with f = g, n = 0, and t = 0. More precisely, x = 0 is a critical point of g of multiplicity m 1, and we have g0) m 1 = C m 1. The other critical points are ζ j η for 1 j d m, where η is a d m)-th root of mb/da), and where ζ is a primitive d m)-th root of unity. Thus, 2) d m j=1 g ζ j η ) = d m j=1 C = C d m ) ) m d Bζ jm η m d [ m d d ) d m B d m mb ) ] m da = d d A m [ d d A m C d m + 1) d 1 d m) d m m m B d], where we have used the fact that d and d m) are relatively prime in the second equality, to deduce that {ζ jm : 1 j d m} = {ζ j : 1 j d m}. Multiplying by g0) m 1 and 1) dd 1)/2 d d A d 1 as in formula 1), the desired formula for g) follows immediately. Lemma 2.2. Let A, B, C, d, m, g, K, L be as in Lemma 2.1. If a prime p ABC of O K,S ramifies in O L,S, and if q is a prime of the Galois closure of L over K, then p mdd m), and the ramification group Iq p) is generated by a single transposition of the roots of g. Proof. Let p ABC be a prime of O K,S which ramifies in O L,S. Then p O L,S /O K,S ), and hence by Lemma 2.1, we also have p mdd m), since d, m) = 1. Because p ramifies, gx) must have at least one multiple root modulo p. On the other hand, if η is a mod-p root of multiplicity l > 2, then η is also at least a double root of the derivative g x) dax d 1 + mbx m 1 mod p). However, since p ABCdmd m), this cannot be the case unless η 0 mod p); but then η would not have been a root of g itself, since p C. Therefore each root of gx) mod p) has at multiplicity at most two.

4 BENEDETTO AND JUUL Now suppose η and ξ are both double roots of gx) mod p). Then both η and ξ are nonzero simple roots of g x) mod p), and hence η d m ξ d m mb mod p). da Thus, η ζξ mod p), where ζ is a d m)-th root of unity. If ζ 1 mod p), then ζ m 1 mod p), since m, d m) = 1. Therefore, gη) = C + gη) C ) C + ζ m gξ) C ) 1 ζ m )C 0 mod p), a contradiction. Hence, we must have η ξ mod p). The two previous paragraphs together yield that g has exactly one multiple root modulo p, and it is a double root. That is, gx) Ax η) 2 g 1 x) mod p), where g 1 x) O K,S /p[x] is a separable polynomial with g 1 η) 0 mod p). Since g is irreducible over K, it follows that Iq p) is generated by a single transposition, for any q lying above p. Lemma 2.3. Let d > m 2, let b, x 0 K, and suppose there is a prime p of O K such that p d m), and v p b) < min{v p x 0 ), 0}, with d m) v p b) and gcdm, v p x 0 /b)) = 1. Let fx) = x d bx m, let n 0, and let α f n x 0 ). Suppose that f n x) x 0 K[x] is irreducible over K. Then there is a prime P of Kα) lying above p, and a prime Q of Kf 1 α)), such that P has ramification index m n over p, m n v P α/b) is a positive integer relatively prime to m, where v P is the P-adic valuation on Kα) extending v p, Q lies above P, and the ramification group IQ P) acts transitively on m roots of fx) α and fixes the other d m roots. Proof. Step 1. We will prove the first two bullet points by induction on n 0. For n = 0, we have α = x 0 ; choosing P = p, both points hold trivially. Assuming they hold for n 1, let β = fα) f n 1) x 0 ). By our hypothesis that f n x) x 0 is irreducible over K, the previous iterate f n 1) x) x 0 must also be irreducible. By our inductive hypothesis, there is a prime P of Kβ) with ramification index m n 1 over p, such that m n 1 v P β/b) is a positive integer relatively prime to m. Thus, the Newton polygon of fx) β = x d bx m β with respect to v P consists of two segments: one of length m and slope m 1 v P β/b) < 0, and one of length d m and slope v p b)/d m), which is a positive integer; see Figure 1. That is, fx) β factors over the local field Kβ) P as f = gh, where g, h Kβ) P [x], with degg) = m and degh) = d m. Moreover, the Newton polygon of each of g and h consists of a single segment, of slopes m 1 v P β/b) and v p b)/d m), respectively. Since f n x 0 is irreducible, then considering the Galois extension K n := Kf n x 0 )), we may apply an appropriate σ GalK n /K) to assume that α is a root of g. Because v P β/b) = N/m n 1 for some positive integer N relatively prime to m, and because the Newton polygon of g consists of a single segment of slope N/m n, it follows that Kα) has a prime P of ramification index m over P, and hence of index m n over p, proving the first bullet point. Letting v P denote the P-adic valuation on Kα) extending

ODONI S CONJECTURE FOR NUMBER FIELDS 5 v p β) m d slope = l slope = m -1 v p β/b) d-m)l Figure 1. The Newton polygon for fx) β in Lemma 2.3. v P, we have v P α) = N/m n > 0. Since v P b) = v p b) is a negative integer, it follows that m n v P α/b) is a positive integer relatively prime to m, proving the second bullet point. Step 2. Let L := Kf 1 α)), let P be a prime of Kα) satisfying the first two bullet points, and let v P be the P-adic valuation on Kα) extending v p. As in Step 1, we may factor fx) α = gx)hx), where the Newton polygons of g, h Kα) P [x] each consist of a single segment, of length m and slope m 1 v P α/b) for g, and of length d m and slope l := v p b)/d m) for h. In fact, if π O K is a uniformizer for p, then the polynomial F x) := π f dl π l x ) ) α = x d π d m)l bx m π dl α Kα)[x] has Kα) P -integral coefficients, with F x m x d m c) mod P), where c 0 mod P). Therefore, the polynomial Hx) := π d m)l h π l x ) Kα) P [x] also has Kα) P -integral coefficients, and H x d m c mod P). Since p d m), the splitting field of H, and hence of h, is unramified over P. Let Q be any prime of L lying over P, and let γ 1,..., γ d be the roots of fx) α in the local field L Q. By the factorization f α = gh of the previous paragraph, d m of the roots without loss, γ m+1,..., γ d ) are roots of hx), and hence they lie in an unramified extension L Q of Kα) P contained in L Q. On the other hand, the remaining roots γ 1,..., γ m are roots of g, which is totally ramified over Kα) P and hence irreducible over L Q. The decomposition group DQ P) is canonically isomorphic to the Galois group GalL Q /Kα) P ), and the inertia group IQ P) is canonically isomorphic to the Galois group GalL Q /L Q ). Thus, IQ P) acts transitively on the roots of g, while fixing the roots of h, as desired. Lemma 2.4. Let d 3, let m be an integer relatively prime to d with d/2 < m < d, and let G S d be a subgroup that contains a transposition, acts transitively on {1, 2,..., d}, and

6 BENEDETTO AND JUUL has a subgroup H that acts trivially {m + 1, m + 2,..., d} and transitively on {1, 2,..., m}. Then G = S d. Proof. Step 1. Define a relation on {1,..., d} by x y if either x = y, or the transposition x, y) is an element of G. Clearly is reflexive and symmetric. It is also transitive, because if x, y, z {1,..., d} are distinct with x y and y z, then x, z) = x, y)y, z)x, y) G, so x z. We also clearly have x z if any two of x, y, z coincide.) Thus, is an equivalence relation. Step 2. We claim that each equivalence class of has the same size. To see this, given x, y {1,..., d}, denote by [x] and [y] the -equivalence classes of x and y, respectively. Since G acts transitively, there is some σ G such that σx) = y. Then σ maps [x] into [y], because for any t [x], we have x, t) G, and hence y, σt) ) = σx), σt) ) = σ x, t) σ 1 G, so that σt) [y]. Similarly, σ 1 maps [y] into [x]. Thus, σ : [x] [y] is an invertible function, proving the claim. Step 3. Let j denote the common size of each equivalence class of. Then j 2, since G contains a transposition. Also, j d by Step 2, and because gcdm, d) = 1, it follows that j m. Thus, there must be some x {1,..., m} such that [x] {1,..., m}. That is, there is some y {m + 1,..., d} such that x, y) G. We claim that in fact, {1,..., m} [y]. Indeed, for any t {1,..., m}, there is some τ H such that τx) = t; and since H acts trivially on {m + 1,..., d}, we also have τy) = y. Thus, y, t) = τ x, y) τ 1 G. That is, t y, proving our claim. This claim immediately implies that j m > d/2. Since j d, we must have j = d. Hence, the whole set {1,..., d} is a single equivalence class. That is, every transposition belongs to G; therefore, G = S d. 3. Sufficient conditions for large arboreal Galois groups Our main tools for proving that certain arboreal Galois groups are as large as possible are the following theorems. We will apply the first to polynomials of degree d 4, and the second to degrees d = 2, 3. Theorem 3.1. Fix integers d > m 2 with m, d) = 1 and m > d/2. Let b, x 0 K, where we can write x 0 = s/t and b = u/w with s, t, u, w O K and s, t) = u, w) = 1. Suppose that the polynomial fx) = x d bx m satisfies the following properties. 1) there is a prime p 1 of O K with v p1 b) 1 and v p1 x 0 ) = 1; 2) there is a prime p 2 of O K such that a) p 2 d m), b) v p2 b) < min{v p2 x 0 ), 0}, c) d m) v p2 b), d) gcdm, v p2 x 0 /b)) = 1;

ODONI S CONJECTURE FOR NUMBER FIELDS 7 3) for each n 1, there is a prime p stuwdd m) of O K such that v p f n x) x 0 )) > 0 is odd, and such that v p f l x) x 0 )) = 0 for all 0 l < n. Then for all n 0, Gal K f n x 0 ) ) /K) = [Sd ] n. For quadratic and cubic polynomials, conditions 1) and 3) of Theorem 3.1 suffice, as follows. Theorem 3.2. Let d = 2 or d = 3. Let b, x 0 K, where we can write x 0 = s/t and b = u/w with s, t, u, w O K and s, t) = u, w) = 1. Suppose that the polynomial fx) = x d bx satisfies properties 1) and 3) of Theorem 3.1, with m = 1. Then for all n 0, Gal K f n x 0 ) ) /K) = [Sd ] n. The proofs of Theorems 3.1 and 3.2 rely on the following two results. Proposition 3.3. Let d, m, x 0 = s/t, b = u/w, and f be as in Theorem 3.1 or Theorem 3.2. Then for any n 1 and α f n 1) x 0 ), GalKf 1 α))/kα)) = S d. Proof. For convenience of notation, let G := GalKf 1 α))/kα)), and let β 1,..., β d be the roots of fx) α. Observe that fx) x d mod p 1 [x]), where p 1 is the prime described in condition 1) of Theorem 3.1. Thus, f n x) x dn mod p 1 [x]), and in addition, the constant term of f n x) is trivial. Hence, f n x) x 0 is Eisenstein at p 1 and therefore irreducible over K, of degree d n. Further, since f n x) x 0 is irreducible over K, fx) α is irreducible over Kα) by Capelli s Lemma. In particular, G acts transitively on {β 1,..., β d }. Let p be the prime described in condition 3) of Theorem 3.1 for f n x) x 0 ). By equation 1) and the fact that p stuwd, we see that p must divide d m i=1 f n ζ i η) x 0 ) = γ f n 1) x 0 ) d m i=1 fζ i η) γ )) to an odd power, where η is a nonzero critical point of fx), and ζ is a primitive d m)- root of unity. Hence, there is some prime q of K n := Kf n x 0 )) lying above p, along with some Galois conjugate α of α, such that q divides d m i=1 fζi η) α ) to an odd power. Since α and α are conjugates, there must also be a prime q lying above p dividing d m i=1 fζi η) α) to an odd power. Finally, restricting q to Kα), we see that there is a prime P of Kα) lying above p that divides fx) α) to an odd power. Applying Lemma 2.1 to fx) α), the prime P must ramify in Kf 1 α)). By Lemma 2.2, the corresponding inertia subgroup in G must be generated by a single transposition of the roots {β 1,..., β d }. Thus, G = GalKf 1 α))/kα)) is a subgroup of S d that acts transitively on {β 1,..., β d } and that also contains a transposition. For d = 2 or d = 3, it follows that G = S d, proving the desired result under the hypotheses of Theorem 3.2. For the remainder of the proof, assume the hypotheses of Theorem 3.1. Let p 2 be the prime described in condition 2) of that Theorem. Then Lemma 2.3 applied to p 2

8 BENEDETTO AND JUUL shows that G has a subgroup H that acts transitively on m of the roots of fx) α, and trivially on the remaining roots. Thus, G satisfies the hypotheses of Lemma 2.4, and hence G = S d. Proposition 3.4. Let d, m, x 0 = s/t, b = u/w, and f be as in Theorem 3.1 or Theorem 3.2. Fix n 1, and let α 1,..., α d n 1 denote the roots of f n 1 x) x 0. For each i = 1,..., d n 1, let M i := Kf 1 α i )) and M i := j i M j. Then GalKf n x 0 ))/ M i ) contains an element that acts as a single transposition on the elements of f 1 α i ). Proof. Fix i {1,..., d n 1 }. Let p be the prime described in condition 3) of Theorem 3.1 for f n x) x 0 ). As in the proof of Proposition 3.3, there must be a prime P of Kα i ) lying above p that divides fx) α i ) to an odd power. By Lemma 2.1 applied to fx) α i ), the prime P must ramify in M i = Kf 1 α i )); and by Lemma 2.2, the inertia group of P in GalM i /Kα i )) is generated by an element that acts as a transposition on f 1 α i ). In addition, because P lies over p, with p f n 1 x) x 0 ), the prime P does not ramify in K n 1 := Kf n 1) x 0 )). It suffices to show that P does not ramify in M i. Indeed, in that case, the inertia group of P in Gal M i /Kα i )) is trivial. Suppose that there is some j i and some prime Q of K n 1 with Q P and which ramifies in K n 1 M j. Then α j is a critical value of f modulo Q; but so is α i, since P ramifies in M i. If either α i or α j is congruent to 0 or modulo Q, then x 0 = f n 1 α i ) = f n 1 α j ) must also be congruent to 0 or modulo Q, and hence Q stuw, contradicting the assumption that p stuw. Thus, α i and α j must be of the form fη) and fξ), respectively, where η, ξ satisfy η d m ξ d m mb mod Q). d Therefore, as in the proof of Lemma 2.2, there is a d m)-th root of unity ζ so that η ζξ mod Q), and hence Applying f n 1, we have α i fη) ζ m fξ) ζ m α j x 0 = f n 1 α i ) ζ mn f n 1 α j ) = ζ mn x 0 mod Q). mod Q). Since p d m), it follows that ζ mn 1 mod Q). Therefore, because m, d m) = 1, we have ζ 1 mod Q), and hence α i α j mod Q). But in that case, f n 1 x) x 0 has multiple roots modulo Q, yielding p f n 1 x) x 0 ), which is a contradiction. Thus, P does not ramify in K n 1 M j for any j i. Taking the compositum, P does not ramify in M i. Proof of Theorems 3.1 and 3.2. We proceed by induction on n. The conclusion is trivial for n = 0. Assuming it holds for n 1, we have in particular that f n 1 x) x 0 is irreducible over K, with roots α 1,..., α d n 1. For each i = 1,..., d n 1, we claim that GalK n / M i ) = S d, where K n := Kf n x 0 )), and M i is as in Proposition 3.4. To prove the claim, let M i be as in Proposition 3.4, and note that 3) GalK n / M i ) = GalM i / M i M i ),

ODONI S CONJECTURE FOR NUMBER FIELDS 9 where the isomorphism is not just of abstract groups, but of subgroups of S d acting on f 1 α i ). Since M i and M i are both Galois extensions of Kα i ), their subfield M i M i is also Galois over Kα i ). Hence, GalM i / M i M i ) is a normal subgroup of GalM i /Kα i )), which is isomorphic to S d, by Proposition 3.3. On the other hand, by Proposition 3.4, the isomorphic group GalK n / M i ) contains a transposition. By equation 3), GalK n / M i ) is a normal subgroup of S d that contains a transposition, and therefore it is all of S d, as claimed. Thus, for each i = 1,..., d n 1, we see that GalK n /K n 1 ) contains a subgroup H i isomorphic to S d and which acts trivially on f 1 α j ) for each j i. It follows that GalK n /K n 1 ) contains a subgroup H := i H i of order d!) dn 1. Hence, GalK n /K) is isomorphic to a subgroup of [S d ] n of order at least GalK n 1 /K) H = [S d ] dn 1 d!) dn 1 = d!) 1+d+ +dn 2 +d n 1 = [S d ] n. Therefore, GalK n /K) = [S d ] n, as desired. 4. Proof of Odoni s Conjecture for d even We now prove Theorem 1.2 for even degree d: Theorem 4.1. Let K be a number field, and let d 2 be an even integer. Then there is a monic polynomial fx) K[x] of degree d and a rational point x 0 K such that for all n 0, Gal K f n x 0 ) ) /K) = [Sd ] n. Before proving Theorem 4.1, we need one more lemma. Lemma 4.2. Let d 2 be an integer, let K be a number field with ring of integers O K, and let s, t O K. Suppose that sd 1) and dts d 1 + t d 1 ) are relatively prime. Let x 0 = s/t and fx) = x d bx d 1 K[x], where b = x d 0 x0 d 1 + 1 = sd ts d 1 + t d 1 ). Let η = d 1)b/d be the unique nonzero critical point of f. Then for every n 1, 4) F n := s 1 dt s d 1 + t d 1)) d n [ ] f n η) x 0 is an O K -integer relatively prime to dd 1)sts d 1 + t d 1 ). Moreover, if uf n is not a square in K for any unit u O K, then there is a prime q dd 1)stsd 1 + t d 1 ) of O K dividing f n x) x 0 ) to an odd power, and such that v q f l x) x 0 ) ) = 0 for all 0 l < n. Proof. Let D = s d 1 + t d 1. We claim that for any n 1, 5) dtd) dn f n η) = s den d 1) d 1)n M n where M n O K is relatively prime to dd 1)stD, and where e n = d 1) n + d 1) n 1 + + d 1) + 1.

10 BENEDETTO AND JUUL Proceeding by induction on n, a direct computation shows b ) d 6) fη) = d 1) d 1 d 1) d 1 s d2 = ) d d, dtd proving the claim for n = 1, with M 1 = 1. Given the claim for a particular n 1, we have dtd) dn+1 f n+1 η) = d 1) d 1)n s den 1) M d 1) d 1)n+1 s de n+1 M d 1 n d dn td) dn 1, n since e n+1 = d 1)e n + 1. Setting M n+1 := M d 1 n ) d 1) d 1)n s den 1) M n d dn td) dn 1 O K, we see that M n+1 is relatively prime to dd 1)stD, proving the claim. Fix n 1. It is immediate from equations 4) and 5) that F n = s den 1 d 1) d 1)n M n d dn td) dn 1 O K, which is relatively prime to dd 1)stD, as desired. For the remainder of the proof, assume that uf n is not a square in O K for any unit u O K. Then there is a prime q of O K dividing F n to an odd power. We must have q dd 1)stD. The factor consisting of the product over critical points in discriminant formula 1) for f n x) x 0 ) is x 0 ) d 2 f n η) x 0 ) = s d 1 F n t dn +d 2 dd) dn. Thus, q divides this factor to an odd power. By formula 1), then, it suffices to show that 7) v q f l x) c )) = 0 for all 0 l n 1. Suppose not. Let 0 l n 1 be the smallest index for which equation 7) fails. Then by formula 1) again, we must have Thus, v q f l η) x 0 ) 1, i.e., f l η) x 0 mod q). f l+1 η) b mod q), and f l+j η) 0 mod q) for all j 2. Therefore, f n η) is congruent to either b or 0 modulo q. However, f n η) x 0 mod q), and x 0 b, 0 mod q), since x 0 b = st d 2 /D and q std. This contradiction proves equation 7) and hence the Lemma. Proof of Theorem 4.1. Fix d 2 even. It suffices to show that there is some fx) K[z] satisfying the hypotheses of Theorem 3.1 or 3.2, with degf) = d. Step 1. We will show that there is a prime p of O K such that all units u O K are squares modulo p, and so is 1 d, with p dd 1). To do so, let u 1,..., u r be generators of the finitely-generated) unit group O K. It suffices to find a prime p dd 1) for which each of 1 d, u 1,..., u r is a square modulo p. Let L = K 1 d, u 1,..., u r ), which is a Galois extension of K. By the Chebotarev Density Theorem, there are infinitely many primes p of O K at which Frobenius

ODONI S CONJECTURE FOR NUMBER FIELDS 11 acts trivially on L modulo p. Choosing any such prime p that does not ramify in L and does not divide dd 1), it follows that each of 1 d, u 1,..., u r have square roots modulo p, as desired. Step 2. Let p 1 be a prime of O K not dividing dd 1)p. Choose s 0 O K that is not a square modulo p, and choose s 1 O K with v p1 s 1 ) = 1. Since the three ideals dd 1), p, and p 2 1 are pairwise relatively prime, the Chinese Remainder Theorem shows that there is some s O K such that s 1 mod dd 1)), s s 0 mod p), and s s 1 mod p 2 1). Thus, s is not a square modulo p, and v p1 s) = 1. Choose t 0 O K with v p t 0 ) = 1. Since the ideals sd 1) and p 2 are relatively prime, the Chinese Remainder Theorem shows that there is some t O K such that In particular, t 1 mod sd 1)), and t t 0 s mod p 2 ). s d 1 + t d 1 s d 1 + t 0 s) d 1 s d 1 + s d 1 + d 1)s d 2 t 0 ) d 1)s d 2 t 0 mod p 2 ), and therefore v p s d 1 + t d 1 ) = v p t 0 ) = 1. In addition, s d 1 + t d 1 2 mod d 1), and hence d 1 and s d 1 + t d 1 are relatively prime, since d 1 is odd. Let p 2 = p. By our choices above, note that s and dt are also relatively prime, and so are t and d 1. Thus, sd 1) and dts d 1 + t d 1 ) are relatively prime as elements of O K. Hence, setting x 0 = s/t and b = s d /ts d 1 + t d 1 )), we have 8) v p1 x 0 ) = 1, v p1 b) = d, v p2 x 0 ) = 0, and v p2 b) = 1. Define f K[x] by fx) = x d bx d 1. Step 3. Let m = d 1. If d = 2, then f is of the form of Theorem 3.2, and the relations 8) show that f satisfies condition 1) of Theorem 3.1. Similarly, if d 4, then f is of the form of Theorem 3.1, and relations 8) show that f satisfies conditions 1) and 2) of that Theorem. In both cases, we claim that for each n 1, the quantity F n of equation 4) is not a square modulo p = p 2. Since all units of O K are squares modulo p, Lemma 4.2 will then guarantee that condition 3) of Theorem 3.1 also holds, yielding the desired result. Thus, it suffices to prove our claim: F n is not a square modulo p, for every n 1. Write D = s d 1 + t d 1, so that b = s d /td), and v p D) = 1. Let η = d 1)b/d, which is the only critical point of f besides 0 and. Then for all n 1, observe that 9) dtd) dn f n η) d 1) d 1 s d2) d n 1 mod dtd). Indeed, for n = 1, equation 9) is immediate from equation 6). For n 2, we have ) y dtd) dl f y d mod dtd) dtd) l

12 BENEDETTO AND JUUL for y O K relatively prime to dtd and l 2, and hence equation 9) follows by induction on n. Equation 9) shows that dtd) dn f n η) is a nonzero square modulo p for every n 1. For n = 1, recall that 1 d is a square modulo p.) In addition, dtd) dn x 0 0 mod p). Thus, from the definition of F n in equation 4), we see that sf n is a nonzero square modulo p. Since s is not a square modulo p, we have proven our claim and hence the Theorem. 5. Proof of Odoni s Conjecture for d odd, for most K We now prove Theorem 1.2 for odd degree d: Theorem 5.1. Let d 3 be an odd integer, and let K be a number field in which d and d 2 are not both squares. Then there is a monic polynomial fx) K[x] of degree d and a rational point x 0 K such that for all n 0, Gal K f n x 0 ) ) /K) = [Sd ] n. Note that if [K : Q] is odd, then Theorem 5.1 yields Odoni s conjecture in all odd degrees d 3. After all, for d 3 odd, at least one of d and d 2 is not a square in Q. Thus, any number field of odd degree over Q cannot contain square roots of both d and d 2. Before proving Theorem 5.1, we need one more lemma. Lemma 5.2. Let d 3 be an odd integer, let K be a number field with ring of integers O K, and let s, t O K. Suppose that 2d 2)s and dt are relatively prime. Let x 0 = s/t and fx) = x d bx d 2 Q[x], where b = x 2 0 = s2 t 2. Let ±η = ±x 0 d 2)/d be the two nonzero critical points of f. Then for every n 1, 10) F n := s 2 dt 2) d n[ ] f n η) 2 x 2 0 is an O K -integer relatively prime to 2dd 2)st. Moreover, if uf n is not a square in K for any unit u O K, then there is a prime q 2dd 2)st of O K dividing f n x) x 0 ) to an odd power, and such that v q f l x) x 0 ) ) = 0 for all 0 l < n. Proof. We claim that for any n 1, 11) dt 2 ) dn f n η) 2 = 4 d 2)n 1 d 2) d 2)n s 2en M 2 n where M n O K is relatively prime to 2dd 2)st, and where e n = d 2) n + 2d 2) n 1 + + 2d 2) + 2. Observe that f x) 2 = x d 2 x b) 2. Thus, we have f n η) 2 = g n η 2 ), where gx) = x d 2 x b) 2. Since η 2 = d 2)x 2 0/d, a direct computation shows ) d 2)s 2 d 2 ) d 2)s 12) fη) 2 = gη 2 2 ) = s2 = 4d 2)d 2 s 2d, dt 2 ) d 2 dt 2 t 2 dt 2 ) d

ODONI S CONJECTURE FOR NUMBER FIELDS 13 proving the claim for n = 1, with M 1 = 1. Assuming equation 11) holds for a particular n 1, we have dt 2 ) dn+1 f n+1 η) = 4 d 2)n 1 d 2) d 2)n s 2en 2 M 4 d 2)n d 2) d 2)n+1 s 2e 2d 2) n 2 d dn t 1)) 2, 2dn n+1 M n since e n+1 = d 2)e n + 2. Setting ) M n+1 := Mn d 2 4 d 2)n 1 d 2) d 2)n s 2en 2 Mn 2 d dn t 2dn 1) O K, we see that M n+1 is relatively prime to 2stdd 2), proving the claim. Fix n 1. It is immediate from equations 10) and 11) that F n = 4 d 2)n 1 d 2) d 2)n s 2en 2 M 2 n d dn t 2dn 2 O K, which is relatively prime to 2dd 2)st, as desired. For the remainder of the proof, assume that uf n is not a square in O K for any unit u O K. Then there is a prime q of O K dividing F n to an odd power. We must have q 2dd 2)st. The factor consisting of the product over critical points in discriminant formula 1) for f n x) x 0 ) is x d 3 0 f n η) 2 x 2 0) = sd 1 F n d dn t 2dn +d 3. Thus, q divides this factor to an odd power. By formula 1), then, it suffices to show that 13) v q f l x) c )) = 0 for all 0 l n 1. Suppose not. Let 0 l n 1 be the smallest index for which equation 13) fails. Then by formula 1) again, we must have v q f l η) 2 x 2 0) 1, i.e., f l η) x 0 or f l η) x 0 mod q). Without loss, assume f l η) x 0 mod q). Then f l+j η) 0 mod q) for all j 1. In particular, f n η) 0 mod q). However, f n η) x 0 0 mod q). This contradiction proves equation 13) and hence the Lemma. Proof of Theorem 5.1. Fix d 3 odd. It suffices to show that there is some fx) K[z] satisfying the hypotheses of Theorem 3.1 or 3.2, with degf) = d. Case 1: d is not a square in K; Step 1. We first show that there is a prime p of O K such that all units u O K are squares modulo p, with p 2dd 2), and such that d is not a square modulo p, by adjusting the method of Step 1 of the proof of Theorem 4.1 with inspiration from well-known argument of Hall [Hal33]. Let q be a prime of O K dividing d to an odd power; note that q lies above an odd prime of Z. Let u 1,..., u r be generators of the finitely-generated) unit group O K, and let L = K u 1,..., u r ). The discriminant L/K) must divide a power of 2, and hence q cannot ramify in L. However, q ramifies in K d), and therefore K d) L = K. It follows that L d)/l is a quadratic extension.

14 BENEDETTO AND JUUL Therefore, there exists σ GalL d)/l) GalL d)/k) that fixes u 1,..., u r but has σ d) = d. By the Chebotarev Density Theorem, there are infinitely many primes p of O K at which Frobenius acts trivially on L modulo p, but nontrivially on d. Choosing any such prime p 1 that does not ramify in L and does not divide 2dd 2), it follows that all units of O K are squares modulo p 1, but d is not. Case 1, Step 2. Let p 1 be the prime of O K found in Step 1, and choose s O K relatively prime to d such that v p1 s) = 1. Let p 2 be a prime of O K not dividing 2dd 2)s, and choose t O K relatively prime to 2d 2)s such that v p2 t) = 1. Let x 0 = s/t and b = x 2 0, so that 14) v p1 x 0 ) = 1, v p1 b) = 2, v p2 x 0 ) = 1, and v p2 b) = 2. Define f K[x] by fx) = x d bx d 1. Case 1, Step 3. Let m = d 2. If d = 3, then f is of the form of Theorem 3.2, and the relations 14) show that f satisfies condition 1) of Theorem 3.1. Similarly, if d 5, then f is of the form of Theorem 3.1, and relations 14) show that f satisfies conditions 1) and 2) of that Theorem. In both cases, we claim that for each n 1, the quantity F n of equation 10) is not a square modulo p = p 1. Since all units of O K are squares modulo p, Lemma 5.2 will then guarantee that condition 3) of Theorem 3.1 also holds, yielding the desired result. Thus, it suffices to prove our claim: F n is not a square modulo p, for every n 1. Let η = x 0 d 2)/d, so that ±η are the only two critical points of f besides 0 and. Then for all n 1, observe that 15) s 2 f n η) 2 0 mod s), since equation 11) shows f n η) 2 is divisible by a higher power of s. Combining the definition of F n in equation 10) and equation 15), we have F n d dn t 2dn 2 mod p), since p = p 1 s. Since d is odd and not a square modulo p, we have proven our claim and hence Case 1 of the Theorem. Case 2: d 2 is not a square in K; Step 1. By the same argument as in Case 1, Step 1, but this time with the odd number d 2 in place of d, there is a prime p of O K such that all units u O K are squares modulo p, with p 2dd 2), and such that d 2 is not a square modulo p. Case 2, Step 2. Let p 2 be the prime p of O K found in Step 1, and choose t O K relatively prime to 2d 2) such that v p2 t) = 1. Let p 1 be a prime of O K not dividing 2dd 2)t, and choose s O K relatively prime to dt such that v p1 s) = 1. Let x 0 = s/t and b = x 2 0, and define f K[x] by fx) = x d bx d 2. Case 2, Step 3. Since d 2 is not a square, we have d 5. As in Case 1, relations 14) hold, and they show that f satisfies conditions 1) and 2) of Theorem 3.1, with m = d 2, and hence d m = 2. Also as in Case 1, it then suffices to prove the following claim: that for each n 1, the quantity F n is not a square modulo p = p 2. As before, let η = x 0 d 2)/d. Then for all n 1, observe that ) d n 1 16) dt 2 ) dn f n η) 2 4d 2) d 2 s 2d mod dt 2 ).

ODONI S CONJECTURE FOR NUMBER FIELDS 15 Indeed, for n = 1, equation 16) is immediate from equation 12). For n 2, we have ) y 2 dt 2 ) dl f y d mod dt 2 ) dt 2 ) l/2 for y O K relatively prime to dt and for l 2. Hence, equation 16) follows by induction on n. Since d is odd and d 2 is not a square modulo p, equation 16) shows that the quantity s 2 dt 2 ) dn f n η) 2 is a nonsquare modulo p for every n 1. In addition, dt 2 ) dn x 0 0 mod p), since p = p 2 t. Thus, from the definition of F n in equation 10), we have proven our claim and hence the Theorem. Acknowledgments: The first author gratefully acknowledges the support of NSF grant DMS-1501766. References [AHM05] Wayne Aitken, Farshid Hajir, and Christian Maire, Finitely ramified iterated extensions, Int. Math. Res. Not. 2005), no. 14, 855 880. MR 2146860 [BJ09] N. Boston and R. Jones, The image of an arboreal Galois representation, Pure Appl. Math. Q. 5 2009), no. 1, 213 225. [Hal33] Marshall Hall, Quadratic reciprocity in factorizations, Bull. Amer. Math. Soc. 1933), no. 39, 758 763. [Jan96] G. J. Janusz, Algebraic number fields, second ed., Graduate Studies in Mathematics, vol. 7, [Jon13] American Mathematical Society, Providence, RI, 1996. R. Jones, Galois representations from pre-image trees: an arboreal survey, Publ. Math. Besançon 2013), 107 136. [Juu17] J. Juul, Iterates of generic polynomials and generic rational functions, Available at arxiv:1410.3814, 26 pages, 2017. [Kad18] Borys Kadets, Large arboreal Galois representations, Available at arxiv:1802.09074, 12 pages, 2018. [Loo16] N.R. Looper, Dynamical Galois groups of trinomials and Odoni s conjecture, Available at arxiv:1609.03398, 14 pages, 2016. [Odo85a] R. W. K. Odoni, The Galois theory of iterates and composites of polynomials, Proc. London Math. Soc. 3) 51 1985), no. 3, 385 414. [Odo85b], On the prime divisors of the sequence w n+1 = 1 + w 1 w n, J. London Math. Soc. 2) 32 1985), no. 1, 1 11. [Spe18] Joel Specter, Polynomials with surjective arboreal Galois representations exist in every degree, Available at arxiv:1803.00434, 16 pages, 2018. [Sto92] M. Stoll, Galois groups over Q of some iterated polynomials, Arch. Math. Basel) 59 1992), no. 3, 239 244. Benedetto) Amherst College, Amherst, MA E-mail address, Benedetto: rlbenedetto@amherst.edu Juul) Amherst College, Amherst, MA E-mail address, Juul: jamie.l.rahr@gmail.com