A just-infinite iterated monodromy group without the congruence subgroup property

Abstract: We prove that the iterated monodromy group of the polynomial $z^2+i$ is just-infinite, regular branch and does not have the congruence subgroup property. This yields the first example of an iterated monodromy group of a polynomial with these properties. Additional information is provided about the congruence kernel, rigid kernel and branch kernel of this group.