1: \begin{abstract}
2: This note describes the first example of a group that is amenable,
3: but cannot be obtained by subgroups, quotients, extensions and
4: direct limits from the class of groups locally of subexponential
5: growth. It has a balanced presentation
6: \[\Delta = \langle b,t|\,[b,t^2]b^{-1},[[[b,t^{-1}],b],b]\rangle.\]
7: In the proof, I show that $\Delta$ acts transitively on a
8: $3$-regular tree, and that $\Gamma=\langle b,b^{t^{-1}}\rangle$
9: stabilizes a vertex and acts by restriction on a binary rooted tree.
10: $\Gamma$ is a ``fractal group'', generated by a $3$-state automaton,
11: and is a discrete analogue of the monodromy action of iterates of
12: $f(z)=z^2-1$ on associated coverings of the Riemann sphere. $\Delta$
13: shares many properties with the Thompson group $F$.
14:
15: I prove briefly some algebraic properties of $\Gamma$, and in
16: particular the convergence of quotient Cayley graphs of $\Gamma$
17: (aka ``Schreier graphs'') to the Julia set of $f$.
18:
19: Whenever convenient, the results are expressed in the framework of
20: \emph{weakly branch groups}, with extra hypotheses such as
21: \emph{contraction}.
22: \end{abstract}
23: