arXiv:2012.03076v1 [math.NT] 5 Dec 2020 983 hl h uhr atcptdi rga otdb hosted program a in participated authors the while 1928930 etto ssretv.Teeoe vrfilsi hc Hil which in fields over s Therefore, for surjective. even is reach sentation of out is images these t describing p expected though often rather even are representations are arboreal representations of images arboreal the modules, Tate of case polynomial tree neg from edge an nBree,Clfri,drn h al22 semester. 2020 Fall the during California, Berkeley, in that olw.Dfieagahsrcueo h e fvertices of set the on structure an graph dynamical a natural Define a – follows. representation Galois arboreal the representation h resrcue hsdfie morphism a defines this structure; tree the DN’ OJCUEO ROELGLI REPRESENTATIONS GALOIS ARBOREAL ON CONJECTURE ODONI’S n[d8]Ooipoe htfrtegnrcplnma h a the polynomial generic the for that proves Odoni [Odo85] In hsdfiiini nlgu ota fteTt oueo nel an of module Tate the of that to analogous is definition This ups that Suppose hsmtra sbsduo okspotdb h ainlSc National the by supported work upon based is material This p T f 3 ∞ − f h roelGli ersnain dn ojcue tha conjectured Odoni representation. Galois arboreal the xssapolynomial a exists iue1. Figure riaetree preimage Abstract. n l fisiterates its of all and ( d = √ ) t h aosgroup Galois The . 3 x t f t 2 t t srpae ytemultiplication-by- the by replaced is tahdto attached − α t t K t 3 to t Suppose − is w eeso h tree the of levels two First safil and field a is T β √ of whenever 3 ❑ ✐ 0 f ❑ ✐ ❑ f under ✐ HLPDTMN N OY KADETS BORYS AND DITTMANN PHILIP o which for ❑ f ✐ ❑ ∈ ✐ ❑ . ❑ ✐ K ❑ − f ✐ ❑ ✐ ❑ ◦ [ Gal p ✐ f x k f ✐ h eutn homomorphism resulting The . ( ] f ✐ x 3 ( saplnma.Teaslt aosgopof group Galois absolute The polynomial. a is ✐ α ρ K ∈ ) ✐ − f ✐ = ) 1. : ✐ K cso h ot ftepolynomials the of roots the on acts = ssretv.W hwta hscnetr sfalse. is conjecture this that show We surjective. is √ ✐ ✐ [ Introduction 3 ✐ f x SFALSE IS β ✐ ] ✐ ◦ h eutn rp sacmlt rooted complete a is graph resulting The . ✐ saplnma fdegree of polynomial a is ✐ f ✐ φ ✐ ◦ · · · ◦ 1 f T 0 Gal : ∞ ❚ ❚ (2) ❚ p ❚ h ahmtclSine eerhInstitute Research Sciences Mathematical the y f ❚ opim oee,i otatt the to contrast in However, morphism. K ❚ soitdwt h polynomial the with associated p ❚ r eaal.To separable. are ❚ → ❚ + 3 o l ibrinfields Hilbertian all for t ❚ ec onainudrGatN.DMS- No. Grant under Foundation ience elre(e Jn3 o survey), a for [Jon13] (see large be o V etsirdcblt hoe holds theorem irreducibility bert’s ❚ u T Aut ❚ ❚ ol nesod nparticular, In understood. oorly : √ ρ ❚ lgeo h aemdl as – module Tate the of alogue = f ❚ ✈ m udai polynomials. quadratic ome 3 ❚ ✈ Gal : ❚ ✈ F ✈ ❚ ∞ ✈ ❚ k ✈ ❚ ( > ✈ ❚ d ✈ scae roelrepre- arboreal ssociated K 0 ❚ ✈ ) d itccre hr the where curve, liptic ups additionally Suppose . √ → f nw sthe as known ◦ 3 k u T Aut f
K ❏ ❏ − f ❏ ecnassociate can we 1 ❏ cso the on acts ◦ ❏ k (0) ❏ ❏ scalled is K n preserves and − ❏ ❏ ❏ p there ydrawing by + 3 arboreal √ d -ary 3 – the so-called Hilbertian fields – for every integer k the Galois group of f ◦k is maximal for infinitely many polynomials f. He then asks if the same holds for the whole arboreal representation. Conjecture 1.1 ([Odo85, Conjecture 7.5.]). Suppose K is a Hilbertian field of characteristic zero, and d > 1 is an integer. Then there exists a degree d polynomial f K[x] such that ∈ the associated arboreal representation ρf : Galk Aut T∞(d) is surjective. → Most of the work on arboreal representations focuses on the cases when K is a number field or a function field. For example, Odoni’s conjecture is known to be true for all number fields; this was proved in varying degrees of generality in [Spe18], [BJ19], [Kad20]. The goal of this paper is to disprove Odoni’s conjecture. Theorem 1.2. Suppose k is a countable Hilbertian field of characteristic zero. There exists a Hilbertian algebraic field extension F/k such that for every f F [x] of degree d > 2 the ∈ image of the associated arboreal representation has infinite index in Aut T∞(d). We give two proofs for Theorem 1.2, which give different kinds of additional information on the field F . The first proof involves a general construction applicable to countable collections of special field extensions, of which finite index arboreal representations are a special case. To state the more general result we need the following definition. Definition 1.3. An algebraic field extension L/K is called vast if L = K and for every finite extension F/K there exists a subfield M ) K of L such that M and6 F are disjoint over K. The general result that will be used to prove Theorem 1.2 is the following theorem. Theorem 1.4. Let k denote a countable Hilbertian field of characteristic 0. Suppose is a countable collection of vast extensions L/K, such that for every L/K the field KA is a finite extension of k. Then there exists an algebraic Hilbertian field extension∈ A F/k such that: (1) the degree [F : k] divides the product of degrees of the extensions from (as super- natural numbers); A (2) for every finite subextension K/k of F/k and every extension L/K from the ex- tensions F/K and L/K are not disjoint. A From this theorem it is easy to deduce Theorem 1.2, with a field F/k whose degree (as a supernatural number) is a power of two. In Section 3, we give a second proof of Theorem 1.2 using model-theoretic techniques. This always produces a field F which is pseudo-algebraically closed, so that in particular when k = Q the degree of F over Q is divisible by every natural number; see Remark 3.2.

2. An explicit construction of a counterexample Throughout the paper we assume that all fields have characteristic zero. We begin by recalling the definition of a Hilbertian field. Definition 2.1. A characteristic zero field K is called Hilbertian if for every smooth geomet- 1 rically integral curve X/K and any nonconstant morphism f : X PK of degree at least 2, there are infinitely many points x P1(K) such that f −1(x) is integral.→ ∈ 2 Over such fields Hilbert’s irreducibility theorem holds; hence the name. See [FJ08, Chap- ters 12, 13] for a detailed discussion of Hilbertian fields. There are few (equivalent) definitions of a Hilbertian field in the literature; the equivalence of Definition 2.1 with other commonly used definitions is proved in [BS08]. Before proving Theorem 1.4, we need the following simple property of vast extensions. Lemma 2.2. Let L/K be a vast extension. Suppose K′/K is a finite extension disjoint from L/K. Then LK′/K′ is vast. Proof. Suppose F ′/K′ is a finite extension. We need to find a subfield M ′ ) K′ of L′ := LK′ disjoint from F ′. Let F ′ Gal denote the Galois closure of F ′. Without loss of generality, we can replace the field F ′ by F ′ Gal L′, and so we can assume that F ′ is a subfield of L′. Since L/K is disjoint from K′/K, the subextension∩ of L/K and L′/K′ are in bijection. Let F/K denote a subfield of L corresponding to the subextension F ′/K′. Since K is vast, there is a subfield M L, M = K such that M and F are disjoint. Then the subfield M ′ := K′M LK′ is disjoint⊂ from6 F ′ = FK′. ⊂ 

Proof of Theorem 1.4. By Lemma 2.2, without loss of generality, we can assume that if L/K is an element of and F/K is a finite extension disjoint from L, then LF/F is also an element of . A Fix an orderingA of all elements of by natural numbers. Let be a list of all covers of smooth geometrically integral curvesA f : X P1, deg f > 2 definedB over some finite extension of k, with every covering listed infinitely→ many times. We now produce sequences 1 1 of fields F1 F2 Fn ... , coverings fn , fn : Xn P , points cn P and ⊂ ⊂ ···⊂ ⊂ ∈ B → ∈ extensions Ln/Kn , indexed by natural numbers, with the following properties, that depend on a parameter∈ Am N. ∈ 1 (1m) The point cm belongs to P (Fm) and does not coincide with ci for i < m. −1 −1 (2m) For every i 6 m the scheme fi (ci) is integral, and the function field Fi(fi (ci)) of −1 fi (ci) is disjoint from Fm/Fi. (3m) The covering fm is the first element of f1,...,fm−1 defined over Fm. ∈ B B\{ } (4m) The extension Lm/Km is the first element of Lm−1/Km−1, ..., L1/K1 such that A\{ } Km is a subfield of Fm and the extensions Fm/Km and Lm/Km are disjoint. (5m) The extension Fm/Fm−1 is a nontrivial finite subextension of Lm−1Fm−1/Fm−1.

We do so inductively. Set F1 = k. Let f1 be the first element defined over k. Let ∈ B 1 −1 L1/K1 be the first element of with K = k. Choose a point c1 P (k) such that f (c1) is A ∈ 1 integral; such a point exists because k is Hilbertian. The properties (1m)–(4m) are satisfied for m =1, while the property (5m) for m =1 is vacuous. Suppose a sequence Fm, fm,cm, Lm/Km is defined for m < n and satisfies (1m)–(5m). We −1 start by constructing the field Fn. Let M denote the compositum of Fn−1(fi (ci)) for all i < n; it is a finite extension of Fn−1. Let L denote the compositum Fn−1Ln−1. By Lemma 2.2 and property (4m) applied for m = n 1, the field L is vast. Since L is vast and M is − finite, we can choose a subextension Fn of L/Fn−1 disjoint from M. Now let fn be the ∈ B element defined by condition (3m) for m = n, and let Ln/Kn be defined by (4m) for ∈ A m = n. Since Fn is a finite extension of a Hilbertian field it itself is Hilbertian. Therefore 1 −1 there exists a point cn P (Fn) distinct from ci for i < n and such that f (cn) is integral. ∈ n With these choices conditions (1m)–(5m) are satisfied for all m < n +1. 3 Let F denote the union Sn Fn. We claim that F is Hilbertian. Indeed, suppose we are given a covering of f : X P1 defined over F , with X a smooth geometrically integral curve → and deg f > 2. Such a covering will be defined over Fn for some n. By condition (3m) and 1 the definition of infinitely many of the coverings fm are equal to f. Let cn1 ,cn2 , ... P (F ) B −1 ∈ be the corresponding sequence of points. By condition (2m) the schemes f (cni ) are integral over F . Therefore F is Hilbertian. On the other hand, conditions (4m) and (5m) ensure that no vast extension L/K in for which K F is disjoint from F . Finally, by condition (5m) the degree of F divides theA product of degrees⊂ of extensions from .  A Before proving Theorem 1.2 we recall some group-theoretic properties of the group Aut T∞(d). Consider the action of Aut T∞(d) on the n-th level of the tree. The sign of this action defines a surjective homomorphism σn : Aut T∞(d) Z/2Z. The collection of all sign homomor- → ∞ phisms defines a surjection σ : Aut T∞(d) Q =1 Z/2Z. → n Definition 2.3. Suppose L/K is a Galois extension of fields whose Galois group is a finite ∞ index subgroup of Aut T∞(d). The n-th discriminant subextension Ln of L/K is a Z/2Z- Qk∞=1 subextension of L/K corresponding to the homomorphism φn : Aut T∞(d) Q =1 Z/2Z → k given by the formula φ =(σn, σn+1,... ).

Remark 2.4. The homomorphism φn of Definition 2.3 is not necessarily surjective. However, ∞ since Gal L/K has finite index in Aut T∞(d), the image of φn has finite index in Z/2Z, ∞ Qk=1 and so im φn = Gal Ln/K Q =1 Z/2Z. ≃ k Proof of Theorem 1.2. Consider the set S of all polynomials f over all finite extensions of k whose arboreal representation has finite index in Aut T∞(deg f). Let be the collection of n-th discriminant subextension of arboreal representations from S forA all n. Since ev- ∞ ery Qn=1 Z/2Z-extension is vast, the collection satisfies the assumptions of Theorem 1.4. Therefore there exists a Hilbertian extension F/kA of 2-power degree that intersects nontriv- ially with all discriminant subextensions of all polynomials in S defined over F . Suppose f S is defined over a finite extension K/k with K F . Consider the collection of n- ∈ ⊂ th discriminant extensions Kn attached to f. The fields Kn are nested K1 K2 ... and ⊃ ⊃ T Kn = K. Since F/K intersects Kn nontrivially for every n, F K1 is an infinite extension n ∩ of K. Therefore the arboreal representation of f over F has infinite index in Aut T∞(deg f). Since every polynomial f F [x] with finite index arboreal representation appears as a base change of an element of S,∈ the arboreal representation attached to every polynomial in F [x] has infinite index in Aut T∞. 

3. A model-theoretic construction of a counterexample The iterative construction from Theorem 1.4, constructing an algebraic extension which step-by-step forces all polynomials to induce non-surjective arboreal representation, can also naturally be understood model-theoretically using the Omitting Types Theorem. In this section we will therefore give another construction of counterexamples to Conjecture 1.1, using standard tools from field arithmetic. Theorem 3.1. Let K be a countable field of characteristic zero. There exists a Hilbertian pseudo-algebraically closed extension L/K such that every polynomial over L of degree d 2 ≥ induces an arboreal representation whose image has infinite index in Aut T∞(d). If K is Hilbertian, we can choose L to be algebraic over K. 4 Remark 3.2. The fact that the resulting field L is pseudo-algebraically closed should be seen as an artefact of the construction. In particular, this forces L to have projective absolute Galois group (see [FJ08, Theorem 11.6.2]). If K is a number field and L/K is algebraic, this means that the degree of L/K as a supernatural number must be divisible infinitely many times by every prime number for reasons of cohomological dimension (see [NSW08, Proposition 3.3.5]), in contrast to the construction in the previous section. Remark 3.3. Since every countable Hilbertian field has an algebraic extension which is Hilber- tian and pseudo-algebraically closed (see [FJ08, Theorem 27.4.8]), and any further algebraic extension of this remains pseudo-algebraically closed, the proof in the previous section yields Theorem 3.1 as a corollary. We nevertheless think that the separate proof below is of inde- pendent interest. We work in the first-order language of rings, i.e. with symbols +, , , 0, 1, later expanded by constants. Let p(x) be a set of formulae with free variables among− · the (finite) tuple of variables x. We say that a tuple a in a structure M realises p if M = ϕ(a) for all ϕ p. Following [Hod97, Section 6.2], the set p(x) is supported in a theory T| by a formula ϕ(x∈) if T xϕ has a model, and for every ψ p, T = x(ϕ ψ). ∪ {∃ } ∈ | ∀ → Lemma 3.4. Fix d 2, n 1. There is a collection pd,n(x0,...,xd−1) of formulae (in the ≥ ≥ language of rings) such that a tuple (a0,...,ad−1) in a field L realises pd,n if and only if the d d−1 arboreal representation σ : GalL Aut T∞(d) associated to f = X + ad−1X + + a0 → ··· has image of index at most n in Aut T∞(d). Proof. The image of σ has index at most n if and only if the image of the finite stages σk : GalL Aut Tk(d) has index at most n, for all k. Equivalently, the splitting field of ◦k → ◦k f has degree at least Aut Tk(d) /n. Since the coefficients of f are polynomials in the ai, this property is expressed| by a first-order| formula in the language of rings. Collecting these formulae for all k yields the desired pd,n.  Let us now fix a countable field K of characteristic zero, and work in the language which is the language of rings together with constant symbols for each element of K. ConsiderL the -theory T which consists of the theory of Hilbertian pseudo-algebraically closed fields andL the diagram of K (see [Hod97, Section 1.4]). In this way, models of T correspond to field extensions L/K such that L is Hilbertian and pseudo-algebraically closed. For pseudo-algebraically closed fields, being Hilbertian is equivalent to the absolute Galois group satisfying a certain group-theoretic condition, called ω-freeness, see [Jar11, Theorem 5.10.3]. Lemma 3.5. Let ϕ(x) be an -formula. Then ϕ is equivalent modulo T to a formula of the form y(ψ(x,y)), where ψ isL a positive boolean combination of polynomial equalities and ∃ m m−1 formulae of the form x(x +tm−1x + +t0 = 0), where the ti are polynomial expressions in x,y with integer coefficients.∀ ··· 6 Proof. This is part of [FJ08, Theorem 27.2.3]. 

Lemma 3.6. For any fixed d and n, the set pd,n from Lemma 3.4 is not supported in T . Proof. Let ϕ(a) be an arbitrary -formula such that T a(ϕ(a)) is consistent; we show L ∪ {∃ } that ϕ is not a support for pd,n. We may assume that ϕ = y(ψ(a,y)) as in Lemma 3.5. ∃ Since T aϕ is consistent, there is a Hilbertian pseudo-algebraically closed field L/K ∪ {∃ } 5 with elements a,y such that L = ψ(a,y). We can choose an algebraic extension L′/L, with | ′ GalL′ finitely generated, such that L = ψ(a,y), since we only need to ensure that the finitely m m−1 | many polynomials X + tm−1X + + t0 mentioned in ψ which have no root in L do not ′ ··· have any root in L . Then the arboreal representation σ : GalL′ Aut T∞(d) associated to d d−1 → f = X + ad−1X + + a0 has image of infinite index, since Aut T∞(d) is not finitely ··· ∞ generated because of the surjective homomorphism Aut T∞(d) Qk=1 Z/2Z. By [FJ08, Theorem 27.2.3], there exists a regular extension→F/L′ with F = T . Since | the representation GalF Aut T∞(d) associated to f factors through GalL′ , its image has → infinite index, so the tuple a does not realise pd,n in F . As F = ϕ(a) by construction, ϕ is | not a support for pd,n.  Lemma 3.7. Assume that K is Hilbertian. Let p(x) be the set of formulae in one vari- able which assert that x satisfies no non-trivial polynomial relation over K. Then p is not supported in T . Proof. Suppose ϕ(x) is a support. In particular, there exists an extension L/K with L = T xϕ(x) . By the downward Löwenheim-Skolem Theorem, we may assume that L |is countable.∪ {∃ By} [FJ08, Proposition 23.2.4], there exists an algebraic extension L′/K which is pseudo-algebraically closed, satisfies xϕ(x), and has GalL′ ∼= GalL. In particular, GalL′ is ω-free, so L′ = T . Since L′ contains no∃ element realising p, but has an element satisfying ϕ, we deduce that| ϕ does not support p.  Theorem 3.8 (Omitting types, [Hod97, Theorem 6.2.1]). Let T be a consistent theory in a countable language . For each i N, let pi be a set of -formulae in free variables L ∈ L x1,...,xni , such that no pi is supported in T . Then there exists a model of T realising none of the pi. Theorem 3.1 now follows immediately from Theorem 3.8 with Lemma 3.6, by simultane- ously omitting the sets pn,d for all n and d, and additionally omitting the set p from Lemma 3.7 if K is Hilbertian. Acknowledgements We thank Padmavathi Srinivasan for useful comments that improved the exposition. References

[BS08] Lior Bary-Soroker, On the characterization of Hilbertian fields, International Mathematics Re- search Notices 2008 (2008), no. 9. 2 [BJ19] Robert L. Benedetto and Jamie Juul,↑ Odoni’s conjecture for number fields, Bulletin of the London Mathematical Society 51 (2019), no. 2, 237–250. 1 [FJ08] Michael D. Fried and Moshe Jarden, Field arithmetic↑ , 3rd ed., Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge [Results in Mathematics and Related Areas. 3rd Series.] A Series of Modern Surveys in Mathematics, vol. 11, Springer-Verlag, Berlin, 2008. Revised by Jarden. MR2445111 (2009j:12007) 2, 3.2, 3.3, 3, 3, 3 [Hod97] Wilfrid Hodges,↑ A shorter model theory, Cambridge University Press, 1997. 3, 3, 3.8 [Jar11] Moshe Jarden, Algebraic patching, Springer Monographs in Mathematics,↑ Springer, Heidelberg, 2011. MR2768285 (2012e:12007) 3 [Jon13] Rafe Jones, Galois representations↑ from pre-image trees: an arboreal survey, Actes de la Con- férence “Théorie des Nombres et Applications”, Publ. Math. Besançon Algèbre Théorie Nr., Presses Univ. Franche-Comté, Besançon, 2013, pp. 107–136 (English, with English and French summaries). MR3220023 1 ↑ 6 [Kad20] Borys Kadets, Large arboreal Galois representations, Journal of Number Theory 210 (2020), 416 - 430. 1 [NSW08] Jürgen↑ Neukirch, Alexander Schmidt, and Kay Wingberg, Cohomology of number fields, 2nd ed., Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sci- ences], vol. 323, Springer-Verlag, Berlin, 2008. MR2392026 3.2 [Odo85] R. W. K. Odoni, The Galois theory of iterates and composites↑ of polynomials, Proc. London Math. Soc. (3) 51 (1985), no. 3, 385–414, DOI 10.1112/plms/s3-51.3.385. MR805714 (87c:12005) 1, 1.1 [Spe18] Joel Specter, Polynomials with surjective arboreal Galois representation exist in every degree↑, 2018. Preprint, available at arXiv:1803.00434v2. 1 ↑ Philip Dittmann, Technische Universität Dresden, Fakultät Mathematik, Institut für Al- gebra, 01062 Dresden, Germany Email address: [email protected] Borys Kadets, Mathematical Sciences Research Institute, 17 Gauss Way, Berkeley, CA 94720-5070 Email address: [email protected] URL: http://bkadets.github.io

7