The inverse problem for arboreal Galois representations of index two

arXiv1907.08608MaRDI QIDQ6322378FDOQ6322378

Authors: Andrea Ferraguti, Carlo Pagano, Daniele Casazza

Publication date: 19 July 2019

Abstract: This paper introduces a systematic approach towards the inverse problem for arboreal Galois representations of finite index attached to quadratic polynomials. Let

F

be a field of characteristic

e q 2

,

f i n F [x]

be monic and quadratic and

h o_{f}

be the arboreal Galois representation associated to

f

, taking values in the group

O m e g a_{i n f t y}

of automorphisms of the infinite binary tree. We give a complete description of the maximal closed subgroups of each closed subgroup of index at most two of

O m e g a_{i n f t y}

in terms of linear relations modulo squares among certain universal functions evaluated in elements of the critical orbit of

f

. We use such description in order to derive necessary and sufficient criteria for the image of

h o_{f}

to be a given subgroup of index two of

O m e g a_{i} n f t y

. These depend exclusively on the arithmetic of the critical orbit of

f

. Afterwards, we prove that if

p h i = x^{2} + t i n m a t h b b Q (t) [x]

, then there exist exactly five distinct subgroups of index two of

O m e g a_{i n f t y}

that can appear as images of

h o_{p h i_{t_{0}}}

for infinitely many

t_{0} i n m a t h b b Q

, where

p h i_{t_{0}}

is the specialized polynomial. We show that two of them appear infinitely often, and if Vojta's conjecture over

m a t h b b Q

holds true, then so do the remaining ones. Finally, we give an explicit description of the derived series of each subgroup of index two. Using this, we introduce a sequence of combinatorial invariants for subgroups of index two of

O m e g a_{i} n f t y

. With a delicate use of these invariants we are able to establish that such subgroups are pairwise non-isomorphic as topological groups, a result of independent interest. This implies, in particular, that the five aforementioned groups are pairwise distinct topological groups, and therefore yield five genuinely different instances of the infinite inverse Galois problem over

m a t h b b Q

.

This page was built for publication: The inverse problem for arboreal Galois representations of index two

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6322378)