3dbdb0c6ebecf55e.tex
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: