Profinite iterated monodromy groups arising from quadratic polynomials

We study in detail the profinite group G arising as geometric \'etale iterated monodromy group of an arbitrary quadratic polynomial over a field of characteristic different from two. This is a self-similar closed subgroup of the group of automorphisms of a regular rooted binary tree. (When the base field is \C it is the closure of the finitely generated iterated monodromy group for the usual topology which is also often studied.) Among other things we prove that the conjugacy class and hence the isomorphism class of G depends only on the combinatorial type of the post-critical orbit of the polynomial. We represent a chosen instance of G by explicit recursively defined generators. The uniqueness up to conjugacy depends on a certain semirigidity property, which ensures that arbitrary conjugates of these generators under the automorphism group of the tree always generate a subgroup that is conjugate to G. We determine the Hausdorff dimension, the maximal abelian factor group, and the normalizer of G using further explicit generators. The description of the normalizer is then used to describe the arithmetic \'etale iterated monodromy group of the quadratic polynomial. The methods used are purely group theoretical and do not involve fundamental groups over \C at all.