1. Introduction
In [Reference Jones31] and [Reference Jones32], Vaughan Jones developed a new method to construct unitary representations of Thompson groups. There are two families of representations, one coming from planar algebras or tensor categories [Reference Aiello and Jones9, Reference Jones34] and another coming from Pythagorean C
$^*$-algebras [Reference Araújo and Pinto12, Reference Barata and Pinto13, Reference Brothier and Jones17, Reference Brothier and Wijesena19]. There is also the representation in [Reference Brothier and Jones18], defined through an isometry R from a Hilbert space H to 
$H\otimes H$. Such representations contain a vector called the vacuum vector Ω (that for the first family is canonical) and the corresponding coefficients 
$\langle \pi(g)\Omega,\Omega\rangle$ often admit a nice interpretation in terms of knot and graph invariants, see [Reference Aiello, Brothier and Conti5–Reference Aiello, Conti and Jones8, Reference Jones31, Reference Ren37] and also [Reference Aiello2–Reference Aiello and Baader4, Reference Grymski and Peters30]. In this paper, we only consider the Thompson group F and we think of its elements as equivalences classes of tree diagrams [Reference Cannon, Floyd and Parry22].
Several interesting subgroups of F arise as stabilisers of vacuum vectors in Jones’ representations. For instance, the oriented subgroup 
$\vec{F}$ studied in [Reference Golan and Sapir26, Reference Golan and Sapir27, Reference Ren37], the 3-colorable subgroup 
$\mathcal{F}$ [Reference Aiello and Nagnibeda11, Reference Ren37] and the parabolic subgroups, i.e., stabilisers of points in 
$(0, 1)$, studied in [Reference Brothier and Jones17, Reference Francoeur23, Reference Golan and Sapir28, Reference Savchuk38, Reference Savchuk39]. This paper focuses on another subgroup 
$\mathcal{E}$ that arises in the same way, see [Reference Jones33], that we call the planar 3-colorable subgroup.
While analysing 
$\mathcal{E}$, one is naturally brought to consider its even part 
${\mathcal{E}_{\rm EVEN}}$, which is obtained by cutting 
$\mathcal{E}$ with the rectangular subgroup 
$K_{(2,2)}:=\{f\in F\;\vert\;\log_2f^\prime(0)\in2\mathbb{Z},\log_2f\prime(1)\in2\mathbb{Z}\}$. In fact, for each pair of integers (m, n), there is a rectangular subgroup 
$K_{(m,n)}$, consisting of those elements of 
$f\in F$ for which the logarithms (in base 2) of the derivates at 0 and 1 are in 
$m{\mathbb{Z}}$ and 
$n{\mathbb{Z}}$, respectively. As will be shown in Lemma 3.2, for the elements of 
$\mathcal{E}$, the integers m and n must have the same parity and, therefore, the most natural choice is to cut 
$\mathcal{E}$ with 
$K_{(2,2)}$. However, it would be interesting to study the subgroups obtained by intersecting the planar 3-colorable subgroup with all the other rectangular subgroups.
For some countable families of Jones’ representations, the coefficient of the vacuum vector 
$\langle \pi(g)\Omega, \Omega\rangle$ has been realised (up to a normalisation) as an evaluation of the chromatic polynomial of a certain graph 
$\Gamma(g)$ associated with the equivalence class of the tree diagram 
$g\in F$. The graph construction is specific for each family of representations and we explain it below. In each family, the representations that correspond to evaluations at integers are of special interest. In particular, the subgroups 
$\mathcal{F}$ and 
$\mathcal{E}$ are the stabilisers of the vacuum vector in the unique representations of the respective families which correspond to an evaluation at a rational number (that happens to be equal to 3). These two representations are also realised as quasi-regular representations of F associated with 
$\mathcal{F}$ and 
$\mathcal{E}$ and they have been shown to be irreducible in [Reference Aiello and Nagnibeda11, Reference Jones33]. In the case of 
$\mathcal{F}$, the graph 
$\Gamma(g)$ is constructed as follows. We take a tree diagram and we close it as shown in Figure 1. Then 
$\Gamma(g)$ is the dual graph of this closure of the tree diagram. An element of g in F is in 
$\mathcal{F}$ precisely when 
$\Gamma(g)$ is 3-colorable. In the other family of representations, 
$\Gamma(g)$ is just the dual graph of the tree diagram. There is also a third graph 
$\Gamma(g)$ that appears in the description of the vacuum coefficient of a family of Jones’ representations of F, see [Reference Jones31, Definition 4.1.2]. In this case the vacuum coefficient is (up to a normalisation) also an evaluation of the chromatic polynomial Chr
$_{\Gamma(g)}(Q)$. The stabiliser of the vacuum vector in the representation corresponding to Q = 2 yields the oriented subgroup 
$\vec{F}$, which has been studied in [Reference Aiello1, Reference Golan and Sapir26, Reference Golan and Sapir27]. See also [Reference Aiello and Nagnibeda10] for a study of its ternary version 
$\vec{F}_3$.
A tree diagram and its closure.
The paper is structured as follows. After some preliminaries in § 2, in § 3, we define the subgroups 
$\mathcal{E}$ and 
${\mathcal{E}_{\rm EVEN}}$ and determine their generators in Theorems 3.6 and 3.9. We observe that 
$\mathcal{E}$ is not a maximal subgroup in F. Then, we show that 
$\mathcal{E}$ and 
$\mathcal{F}$ together generate a finite index subgroup of F. We also investigate how 
$\mathcal{E}$ and 
${\mathcal{E}_{\rm EVEN}}$ act on the set of dyadic rationals in § 4. In Theorem 4.5, we describe 
${\mathcal{E}_{\rm EVEN}}$ as the intersection of stabilisers of certain subsets of dyadic rationals in 
$(0,1)$. This implies that 
${\mathcal{E}_{\rm EVEN}}$ is closed in the sense of [Reference Golan and Sapir27], see Corollary 4.6.
In contrast with 
$\vec{F}$, 
$\mathcal{F}$ which are both closed and self-commensurating, the subgroup 
$\mathcal{E}$ turns out not to be closed. However it follows from a result of Jones [Reference Jones33] that 
$\mathcal{E}$ coincides with its commensurator. As for 
${\mathcal{E}_{\rm EVEN}}$, the main result of the paper is Theorem 4.8, where we prove that its commensurator in F is 
$\mathcal{E}$ and that it is self-commensurating in 
$K_{(2,1)}$ and 
$K_{(2,2)}$. In particular, since 
$K_{(2,1)}$ and 
$K_{(2,2)}$ are isomorphic with F via explicit isomorphisms 
$\alpha: F\to K_{(2,1)}$, 
$\theta: F\to K_{(2,2)}$ (defined in [Reference Aiello and Nagnibeda11] and also described in § 4), the quasi-regular representations of F associated with 
$\alpha^{-1}({\mathcal{E}_{\rm EVEN}})$ and 
$\theta^{-1}({\mathcal{E}_{\rm EVEN}})$ are irreducible.
2. Preliminaries and notation
In this section, we recall the definitions of Thompson’s group F, of the Brown–Thompson groups Fk and of the 3-colorable subgroup 
$\mathcal{F}$. The interested reader is referred to [Reference Cannon, Floyd and Parry22] and [Reference Belk14] for more information on F, to [Reference Brown20] for Fk, to [Reference Ren37] and [Reference Aiello and Nagnibeda11] for 
$\mathcal{F}$.
Thompson’s group F is the group of all piecewise linear homeomorphisms of the unit interval 
$[0,1]$ that are differentiable everywhere except at finitely many dyadic rationals numbers and such that on the intervals of differentiability the derivatives are powers of 2. We adopt the standard notation: 
$f\cdot g(t)=g(f(t))$.
Thompson’s group has the following infinite presentation
\begin{equation*}
F=\langle x_0, x_1, x_2, \ldots \; | \; x_nx_k=x_kx_{n+1} \quad \forall \; k \lt n\rangle\, .
\end{equation*} The monoid generated by 
$x_0, x_1, x_2, \ldots$ is denoted by 
$F_+$. Its elements are said to be positive. Note that x 0 and x 1 are enough to generate F.
Every element g of F can be written in a unique way as
\begin{equation*}
x_0^{a_0}\cdots x_n^{a_n}x_0^{-b_0}\cdots x_0^{-b_0}
\end{equation*} where a 0, … , an, b 0, … , 
$b_n\in {\mathbb{N}}_0$, exactly one between an and bn is non-zero, and if 
$a_i\neq 0$ and 
$b_i\neq 0$, then 
$a_{n+1}\neq 0$ or 
$b_{n+1}\neq 0$ for all i. This is the normal form of g.
The projection of F onto its abelianisation is denoted by 
$\pi: F\to F/[F,F]={\mathbb{Z}}\oplus {\mathbb{Z}}$ and it admits a nice interpretation when F is seen as a group of homeomorphisms: 
$\pi(f)=(\log_2 f^{\prime}(0),\log_2 f^{\prime}(1))$.
There is a family of groups generalising the Thompson group: the Brown–Thompson groups. For any 
$k\geq 2$, the Brown–Thompson group Fk may be defined by the following presentation
\begin{equation*}
\langle y_0, y_1, \ldots \; | \; y_ny_l=y_ly_{n+k-1} \quad \forall \; l \lt n\rangle\, .
\end{equation*} The elements 
$y_0, y_1, \ldots , y_{k-1}$ generate Fk.
The generators of 
$F=F_2$.
The generators of the Brown–Thompson group F 4.
Going back to F, there is still another description which is relevant to this paper: the elements of F can be seen as pairs 
$(T_+,T_-)$ of planar binary rooted trees (with the same number of leaves). We draw one tree upside down on top of the other; 
$T_+$ is the top tree, while 
$T_-$ is the bottom tree. Any pair of trees 
$(T_+,T_-)$ represented in this way is called a tree diagram. Two pairs of trees are said to be equivalent if they differ by pairs of opposing carets, namely
Every equivalence class of pairs of trees (i.e. an element of F) gives rise to exactly one tree diagram which is reduced, in the sense that the number of its vertices is minimal [Reference Belk14]. See Figure 2 for their description in terms of pairs of binary trees. Similarly, the elements of Fk are described by pairs k-ary trees, see e.g. the generators of F 4 that are displayed in Figure 3.
Ren’s map 
$\Phi$ from the set of 4-ary trees to binary trees.
Convention 2.1.
We make a convention about how we draw trees on the plane. The roots of our planar binary trees are drawn as vertices of degree 3 and hence each tree diagram has the uppermost and lowermost vertices of degree 1, which lie respectively on the lines y = 1 and 
$y=-1$. The leaves of the trees sit on the x-axis, precisely on the non-negative integers.
Any tree diagram partitions the strip bounded by the lines y = 1 and 
$y=-1$ in regions. This strip may or may not be 3-colorable, i.e. it may or may not be possible to assign the colors 
${\mathbb{Z}}_3=\{0,1, 2\}$ to the regions of the strip in such a way that if two regions share an edge, they have different colors. By convention, we assign the following colours to the regions near the roots
Once we make this convention, if the strip is 3-colourable, there exists a unique colouring. The 3-colorable subgroup 
$\mathcal{F}$ consists of the elements of F for which the corresponding strip is 3-colorable. For example, this is the strip corresponding to x 0 (which is not 3-colorable)
The subgroup 
$\mathcal{F}$ was shown to be isomorphic to the Brown–Thompson group F 4 by Ren in [Reference Ren37] by means of the isomorphism 
$\gamma: F_4\to \mathcal{F}$ obtained by replacing every 5-valent vertex of 4-ary trees by the complete binary tree with four leaves (in the sequel we refer to this tree as the basic tree, see Figure 4) [Reference Burillo, Cleary and Stein21]. The images of y 0, y 1, y 2, y 3 yield the following elements 
$w_0:=x_0^2x_1x_2^{-1}$, 
$w_1:=x_0x_1^2x_0^{-1}$, 
$w_2:=x_1^2x_3x_2^{-1}$, 
$w_3:=x_2^2x_3x_4^{-1}$ (see Figure 5).
This subgroup was also studied by the authors in [Reference Aiello and Nagnibeda11] in relation to maximal subgroups of infinite index of F.
The generators of 
$\mathcal{F}$.
An important role in this article is played by the rectangular subgroups of F, which were introduced in [Reference Bleak and Wassink16] as
\begin{align*}
K_{(a,b)}&:=\{f{\in} F\; | \; \log_2f^{\prime}(0){\in} a{\mathbb{Z}}, \log_2f^{\prime}(1){\in} b\mathbb{Z}\} \qquad a, b{\in}{\mathbb{N}}.
\end{align*}These subgroups can be characterised as the only finite index subgroups of F isomorphic with F [Reference Bleak and Wassink16, Theorem 1.1].
Denote by 
$\{0, 1\}^*$ the set of finite binary words, i.e., finite sequences of 0 and 1. There exists a map ρ between finite binary words and the dyadic rationals in the open unit interval 
${\mathcal{D}}:={\mathbb{Z}}[1/2]\cap (0,1)$ given by the formula 
$\rho(a_1\cdots a_n):=\sum_{i=1}^n a_i 2^{-i}$ which is bijective when restricted to finite words ending with 1 (i.e., 
$a_n=1$).
Recall that the group F acts on 
$[0,1]$. Given a number 
$t{\in} [0,1]$ expressed in its binary expansion, it enters into the top of a tree diagram, follows a path towards the root of the bottom tree according to the rules portrayed in Figure 6 and emerges at the bottom as the image of t under the element of F represented by the tree diagram [Reference Belk and Matucci15]. Note that there is a change of direction only when the number comes across a vertex of degree 3 (i.e. ,the number is unchanged when it comes across a leaf).
The local rules for computing the action of F on numbers expressed in binary expansion.
3. The planar 3-colorable subgroup and its even part
In this section, we introduce the planar 3-colorable subgroup 
$\mathcal{E}$ and its even part 
${\mathcal{E}_{\rm EVEN}}$ and find generating sets for them.
As recalled above, the elements of F corresponding to tree diagrams for which the strip bounded by the lines 
$y=\pm 1$ is 3-colorable form a subgroup called the 3-colorable subgroup 
$\mathcal{F}$. Observe that if we ignore the lines 
$y=\pm 1$, each tree diagram partitions the plane into regions. The object of study of this article are the elements of F for which this plane partition is 3-colorable. They form a subgroup called the planar 3-colorable subgroup 
$\mathcal{E}$. It is clear that the plane partition being 3-colorable does not depend on equivalence class of the tree diagrams since a 3-coloring naturally extends when a pair of opposing carets is added. When we talk about 
$\mathcal{E}$ we remove the upward edge sprouting from the vertex of degree 1 of the top tree and the downward edge sprouting from the root of the bottom tree, since this does not affect the fact that the partition is 3-colorable.
Convention 3.1.
If the plane partition is 3-colorable, then there are exactly six colorings and if we assign the following colors to the regions near the root of the top tree
then there exists a unique colouring.
Example 3.1. 
$x_0\in \mathcal E$:
This example shows that, unlike in the case of the 3-colorable subgroup [Reference Aiello and Nagnibeda11], the colorings of the regions near the root of the bottom tree are not necessarily the same as those near the root of the top tree. In the following lemma we show that the colors of the regions near root of the bottom tree depend on the derivative of the homeomorphism at the endpoints of the unit interval.
Lemma 3.2. Let 
$f\epsilon\mathcal{E}$. Then the following conditions are equivalent
(1)
$\log_2f^\prime(0)\in 2\mathbb{Z}$ (respectively $\log_2f^\prime(0)\in 2\mathbb{Z}+1$);(2)
$\log_2f^\prime(1)\in\;2\mathbb{Z}$ (respectively $\log_2f^\prime(1)\in 2\mathbb{Z}+1$);(3) the colors near the root of the bottom tree are
Proof. We only give a proof between the conditions involving 
$\log_2 f^{\prime}(1)$ and the colors of the regions near the root of the bottom tree, the other equivalences can be handled in a similar way (otherwise, they also follow from Lemma 3.4-(1)). The Figure below shows that the color to the left of the rightmost leaf of the top tree is 1 when the length of the path from it to the root has odd length, otherwise it is 2.
Once we reach the rightmost leaf, we continue moving along the shortest path towards the root of the bottom tree. There are two cases to consider: the color to the left of the rightmost leaf is 1 or 2. The former case occurs when the number of edges from the root to the leaf is odd, the latter when this number is even. The bottom tree will look like these, respectively
If 
$\log_2 f^{\prime}(1){\in} 2{\mathbb{Z}}$, it means that the lengths of the paths from the two roots to the rightmost leaf have the same parity and thus the colors of the regions near the root of the bottom tree are the same as those near the root of the top tree. Similarly, when 
$\log_2 f^{\prime}(1){\in} 2{\mathbb{Z}}+1$, the lengths of the paths from the two roots to the rightmost leaf have the different parity and thus the color of the region above the root of the bottom tree is 2.
Here is an easy application of the previous lemma.
Proposition 3.3. Let 
$f{\in} F$. If 
$\log_2f^{\prime}(0)\not\equiv_2\log_2f^{\prime}(1)$, then 
$f\notin\mathcal{E}$. In particular, it holds 
$\mathcal{E}\cap (K_{(2,1)}\setminus K_{(2,2)})=\emptyset$.
Among other things the next lemma shows a relation between the elements of the 3-colorable subgroup 
$\mathcal{F}$ and those of the planar 3-colorable subgroup 
$\mathcal{E}$. It will come in handy for determining the generators of 
$\mathcal{E}$.
Lemma 3.4. Let 
$\sigma: F\to F$ be the flip automorphism, that is the order 2 automorphism obtained by reflecting tree diagrams about the vertical line, and let 
$\varphi_R, \varphi_L : F\to F$ be the right and left shift endomorphisms, which are defined graphically as
When F is seen as a group of homeomorphisms of the unit interval, for 
$g{\in} F$, these maps read as follow
\begin{align*}
&\varphi_L(g)(t):=\left\{\begin{array}{ll}
t & \text{if } t{\in} [0,1/2]\\
g(2t-1) & \text{if } t{\in} [1/2 ,1]
\end{array}
\right.\\
&\varphi_R(g)(t):=\left\{\begin{array}{ll}
g(2t) & \text{if } t{\in} [0,1/2 ]\\
t & \text{if } t{\in} [1/2,1]\\
\end{array}
\right.
\end{align*}Then
(1)
$g{\in}\mathcal{E}$ if and only if $\sigma(g){\in}\mathcal{E}$;(2)
$g{\in}\mathcal{F}$ if and only if $\sigma(g){\in}\mathcal{F}$;(3)
$g{\in}\mathcal{F}$ if and only if $\varphi_R(g){\in}\mathcal{E}$;(4)
$g{\in}\mathcal{F}$ if and only if $\varphi_L(g){\in}\mathcal{E}$.
Proof. For (1), the plane partition associated with g is 3-colorable if and only if the one associated with 
$\sigma(g)$ is 3-colorable since the second plane partition is obtained from the first after a reflection about the vertical line.
(2) was proven in [Reference Aiello and Nagnibeda11, Lemma 1.2].
For (3) and (4), the claim is clear by coloring the partitions of the plane corresponding to g and 
$\varphi_R(g)$, 
$\varphi_L(g)$.
The right shift endomorphism φR maps xi to 
$x_{i+1}$ for all 
$i\geq 0$. In particular, in terms of homeomorphisms of 
$[0,1]$, the range of φR is the subgroup of F whose elements act trivially on 
$[0, 1/2]$. Similarly, the range of the left shift endomorphism is the subgroup of F consisting of the elements that act trivially on 
$[1/2, 1]$. The right and left shift endomorphisms are clearly injective.
Example 3.5. By Lemma 3.4, examples of elements of 
$\mathcal{E}$ may be obtained as 
$\varphi_L(\mathcal{F})$ and 
$\varphi_R(\mathcal{F})$. In particular, 
$\varphi_L(w_i)$, 
$\varphi_R(w_i){\in} \mathcal{E}$ for i = 0, 1, 2, 3, where 
$\{w_i\}_{i=0}^3$ are the generators of 
$\mathcal{F}$ (see Figure 5 for the pairs of trees representing these elements).
We are now in a position to determine the generators of 
$\mathcal{E}$.
Theorem 3.6. It holds 
$\mathcal{E}= \langle x_0, \varphi_R(\mathcal{F})\rangle = \langle x_0, \varphi_L(\mathcal{F})\rangle$.
Proof. First we prove the first equality. We know by the Examples 3.1 and 3.5 that 
$\langle x_0, \varphi_R(\mathcal{F})\rangle$ is contained in 
$\mathcal{E}$, so we only have to prove the converse inclusion. Let 
$g{\in} \mathcal{E}$. Write g in normal form (see [Reference Cannon, Floyd and Parry22] for more information about this normal form), that is as 
$g=x_0^{a_0}\cdots x_n^{a_n}x_n^{-b_n}\cdots x_0^{b_0}$ for some 
$a_0, \ldots , a_n, b_0, \ldots , b_n{\in}{\mathbb{N}}_0$. Now g belongs to 
$\mathcal{E}$ if and only if 
$g^{\prime}:=x_0^{-a_0}gx_0^{b_n}$ belongs to 
$\mathcal{E}$ since x 0 is in 
$\mathcal{E}$. The element gʹ is by construction in the image of φR, that is it is of the form 
$\varphi_R(g^{\prime\prime})$ (here gʹʹ is nothing but 
$x_0^{a_1}\cdots x_{n-1}^{a_n}x_{n-1}^{-b_n}\cdots x_0^{b_1}$). By Lemma 3.4-(3) we have that 
$g^{\prime\prime}{\in} \mathcal{F}$.
The second equality follows from the first by applying σ to 
$\langle x_0, \varphi_R(\mathcal{F})\rangle$ and using Lemma 3.4 (note that 
$\sigma(x_0)=x_0^{-1}$).
By Lemma 3.2, the logarithm of the derivative at 0 of the elements of 
$\mathcal{E}$ can be either even or odd. It is natural to consider the elements of the first type because they form a subgroup of 
$\mathcal{E}$.
Definition 3.7. The even part 
${\mathcal{E}_{\rm EVEN}}$ of the planar 3-colorable subgroup is the subgroup defined as
\begin{align}
{\mathcal{E}_{\rm EVEN}}&:=\mathcal{E}\cap K_{(2,2)} \, .
\end{align}Example 3.8. The subgroup 
${\mathcal{E}_{\rm EVEN}}$ is a proper subgroup of 
$K_{(2,2)}$. Indeed, the element 
$x_1^2{\in} K_{(2,2)}$ is not in 
${\mathcal{E}_{\rm EVEN}}$.
This example shows that in general 
${\mathcal{E}_{\rm EVEN}}$ and 
$\mathcal{E}$ are not preserved by the right shift endomorphism.
Note that thanks to Lemma 3.4, both subgroups 
$\mathcal{E}$ and 
${\mathcal{E}_{\rm EVEN}}$ are invariant under the action of the flip automorphism σ.
Theorem 3.9. It holds 
${\mathcal{E}_{\rm EVEN}}= \langle x_0^{2}, \varphi_R(\mathcal{F})\rangle= \langle x_0^{2}, \varphi_L(\mathcal{F})\rangle$.
Proof. We know by the Examples 3.1 and 3.5 that 
$\langle x_0^2, \varphi_R(\mathcal{F})\rangle$ is contained in 
${\mathcal{E}_{\rm EVEN}}$, so we only have to prove the converse inclusion. Let 
$g{\in} {\mathcal{E}_{\rm EVEN}}$. Write g in normal form, that is as 
$g=x_0^{a_0}\cdots x_n^{a_n}x_n^{-b_n}\cdots x_0^{b_0}$ for some 
$a_0, \ldots$, an, 
$b_0, \ldots$, 
$b_n{\in}{\mathbb{N}}_0$. Without loss of generality, we may assume that 
$a_0\geq b_0$ and 
$g\neq x_0^k$ for 
$k{\in}{\mathbb{Z}}$. Note that since 
$g{\in} K_{(2,2)}$, a 0 and b 0 have the same parity. Recall that 
$x_n^{-1}x_0=x_0x_{n+1}^{-1}$ for any 
$n\geq 1$. If a 0 is even, then g belongs to 
${\mathcal{E}_{\rm EVEN}}$ if and only if 
$g^{\prime}:=x_0^{b_0-a_0}(x_0^{-a_0}gx_0^{a_0})=x_{1+(a_0-b_0)}^{a_1}\cdots x_{n+(a_0-b_0)}^{a_n}x_{n+(a_0-b_0)}^{-b_n}\cdots x_{1+(a_0-b_0)}^{b_1}$ does. If a 0 is odd, then g belongs to 
${\mathcal{E}_{\rm EVEN}}$ if and only if
\begin{align*}
g^{\prime}&:=x_0^{b_0-a_0}(x_0^{-a_0-1}gx_0^{a_0+1})\\
&=x_{1+(a_0-b_0+1)}^{a_1}\cdots x_{n+(a_0-b_0+1)}^{a_n}x_{n+(a_0-b_0+1)}^{-b_n}\cdots x_{1+(a_0-b_0+1)}^{b_1}
\end{align*} does. The element gʹ is by construction in the image of φR, that is it is of the form 
$\varphi_R(g^{\prime\prime})$: in the first case gʹʹ is 
$x_{(a_0-b_0)}^{a_1}\cdots x_{n-1+(a_0-b_0)}^{a_n}x_{a_0-b_0+n-1}^{-b_n}\cdots x_{a_0-b_0}^{b_1}$ and in the second 
$x_{(a_0-b_0)+1}^{a_1}\cdots$ 
$x_{n+(a_0-b_0)}^{a_n}x_{a_0-b_0+n}^{-b_n}\cdots x_{a_0-b_0+1}^{b_1}$. By Lemma 3.4-(3), we have that 
$g^{\prime\prime}{\mathbb{N}} \mathcal{F}$.
The second equality follows by applying σ to 
$\langle x_0^2, \varphi_R(\mathcal{F})\rangle$ and using Lemma 3.4 (note that 
$\sigma(x_0)=x_0^{-1}$).
We recall the following lemma from [Reference Aiello and Nagnibeda11, Lemma 4.2].
Lemma 3.10. Let G be a subgroup of F such that 
$\pi(G)=a{\mathbb{Z}}\oplus b{\mathbb{Z}}$ and 
$G\neq K_{(a,b)}$. Then, the index of G in F is infinite.
Proposition 3.11. It holds
(1) the index of
${\mathcal{E}_{\rm EVEN}}$ in $\mathcal{E}$ is 2,(2) the index of
${\mathcal{E}_{\rm EVEN}}$ in $K_{(2,2)}$ is infinite,(3) the index of
${\mathcal{E}_{\rm EVEN}}$ in F is infinite,(4) the index of
$\mathcal{E}$ in F is infinite.
Proof. (1) It holds 
$\mathcal{E}={\mathcal{E}_{\rm EVEN}}\sqcup x_0{\mathcal{E}_{\rm EVEN}}$ and so the index is 2. By Proposition 3.3, 
$\log_2 f^{\prime}(0)$ and 
$\log_2f^{\prime}(1)$ have the same parity. Therefore, either 
$\log_2 f^{\prime}(0)$ and 
$\log_2 f^{\prime}(1)$ are even or odd. In the first case, this means 
$g{\in} \mathcal{E}\cap K_{(2,2)}={\mathcal{E}_{\rm EVEN}}$. In the second, we have that g belong to 
$(F\setminus K_{(2,2)})\cap \mathcal{E}$. We may write g as 
$x_0 (x_0^{-1}g)$, with 
$\log_2 g^{\prime}(0),\log_2 g^{\prime}(1){\in} 2{\mathbb{Z}}+1$. Now observe that 
$x_0^{-1}g{\in} K_{(2,2)}$ since
\begin{equation*}
\pi(x_0^{-1}g)=\pi(x_0^{-1})+\pi(g)=(-1,1)+\pi(g){\in} 2{\mathbb{Z}}\oplus 2{\mathbb{Z}}\; .
\end{equation*} (2) By Lemma 3.4, we know that 
$\varphi_L(w_i)$, 
$\varphi_R(w_i){\in} \mathcal{E}$ for i = 0, 1, 2, 3, where 
$\{w_i\}_{i=1}^4$ are the generators of 
$\mathcal{F}$ (see Figure 5). It is easy to see that 
$\pi(w_0)=(2,-2)$, 
$\pi(w_1)=(0,-2)$, 
$\pi(w_2)=(0,-2)$, 
$\pi(w_3)=(0,-2)$. Since 
$\pi(\varphi_R(w_i))=(0,-2)$ for 
$i=0, 1, 2, 3$ and 
$\pi(\varphi_L(x_0^2))=(2,0)$, we have 
$\pi({\mathcal{E}_{\rm EVEN}})=\pi(K_{(2,2)})=2{\mathbb{Z}}\oplus 2{\mathbb{Z}}$. The subgroup 
${\mathcal{E}_{\rm EVEN}}$ is a proper subgroup of 
$K_{(2,2)}$ since 
$x_1^2$ is not in 
${\mathcal{E}_{\rm EVEN}}$ (see Example 3.8). By Lemma 3.10, the subgroup 
${\mathcal{E}_{\rm EVEN}}$ of 
$K_{(2,2)}$ has infinite index.
(4) follows from (1) and (2).
(3) follows from (4) and (1).
Remark 3.12. In [Reference Aiello and Nagnibeda11], we introduced the subgroup M 0 which contains 
$\mathcal{F}$ and proved that it is maximal and of infinite index in 
$K_{(2,2)}$ (in particular, since F and 
$K_{(2,2)}$ are isomorphic, we obtained a maximal subgroup of infinite index of F isomorphic to M 0). Since M 0 contains 
$\varphi_R(\mathcal{F})$ and 
$x_0^2$, it is clear that the subgroup 
${\mathcal{E}_{\rm EVEN}}$ is a subgroup of M 0. It is easy to see that 
$x_2^2$ is not in 
${\mathcal{E}_{\rm EVEN}}$, but it is in M 0 [Reference Aiello and Nagnibeda11]. Therefore, 
${\mathcal{E}_{\rm EVEN}}$ is a proper subgroup of M 0.
Remark 3.13. The subgroup 
$\mathcal{E}$ is not maximal in F. Indeed, 
$\pi(\mathcal{E})$ is contained in the subgroup 
$\langle (1,-1),(0,2)\rangle$ of index 2 in 
${\mathbb{Z}}\oplus {\mathbb{Z}}$.
Now we show that for any positive element g which is not a power of x 0, the group 
$\langle g, \mathcal{E}\rangle$ is a subgroup of F of index at most 2. We recall from § 2 that the positive elements of F are those in the monoid 
$F_+$ generated by 
$x_0, x_1, x_2, \ldots$.
Proposition 3.14. There are no non-trivial positive elements in 
$\mathcal{F}$. The positive elements of 
$\mathcal{E}$ form the monoid generated by x 0, that is 
$F_+\cap \mathcal{E}=\{x_0^n\; | \; n\geq 0 \}$.
Proof. We use the same argument for both 
$\mathcal{F}$ and 
$\mathcal{E}$. Consider a reduced positive element 
$(T_+,T_-)$ in 
$\mathcal{F}$ or 
$\mathcal{E}$. We observe that the colors of the inner regions in the bottom tree are always alternating (this can be easily seen by looking at the shape of the bottom tree in a reduced tree diagram of every positive element). We give a proof by induction on the number n of the leaves of 
$T_+$. If n = 1 or 3, there is only two elements, namely the identity and x 0. The latter belongs to 
$\mathcal{E}$, but not to 
$\mathcal{F}$. Suppose that 
$n\geq 4$. The top tree contains one of the following three subtrees (the leaves of theses subtrees are the same as those of the top tree)
We will show that in many cases these subtrees cannot occur because the colors determined by the bottom tree are not compatible with the top tree.
If these subtrees do not contain the first or the last leaf of the tree, then the tree diagram is not 3-colorable (i and j are two distinct colors) as shown below
The second and third subtrees cannot have the right-most leaf of the top-tree because otherwise the tree diagram would not be reduced. The first subtree cannot have the right-most leaf of the top-tree either because it would not be 3-colorable (i, j, k are distinct colors)
Now it remains to consider the cases when these subtrees have the left-most leaf of the top tree (i, j, k are distinct colors).
In the second and third case, the subtree cannot be contained in the tree diagram because the corresponding regions of the plane are not 3-colorable.
For the first subtree, we divide our proof into two parts because the present proposition has two statements: one for 
$\mathcal{F}$ and one for 
$\mathcal{E}$. For 
$\mathcal{F}$, we want to show that actually this subtree cannot be contained in the top tree and thus the only positive element of 
$\mathcal{F}$ is the trivial element (because we have shown that there is no reduced tree diagram with more than one leaf). The element does not belong to 
$\mathcal{F}$ because the first four regions have colors k, j, i, j (with 
$i, j, k,$ distinct), but at the same time the region to the right of the root of the bottom tree must have color kʹ different from k, j, i, j, which is impossible (see the Figure below).
It remains to consider the case when 
$(T_+,T_-)$ is in 
$\mathcal{E}$. In this case, we multiply 
$(T_+,T_-)$ by 
$x_0^{-1}{\in} \mathcal{E}$ and obtain a positive tree diagram 
$(T_+^{\prime},T_-^{\prime})$, where Tʹ has n − 2 leaves and for which we may apply the inductive argument.
We give a small improvement to [Reference Aiello and Nagnibeda11, Proposition 5.4].
Lemma 3.15. Let 
$g{\in} F_+$, then 
$\langle g,\mathcal{F}\rangle$ contains 
$M_0:=\langle x_0^2, \mathcal{F}\rangle$, 
$M_1:=\langle x_1^2, \mathcal{F}\rangle$, or 
$K_{(2,2)}$.
Proof. If 
$g{\in} K_{(2,2)}$ this is exactly the content of [Reference Aiello and Nagnibeda11, Proposition 5.4]. Otherwise, suppose that 
$g\notin K_{(2,2)}$ and write g in its normal form as 
$x_0^{a_0}\cdots x_n^{a_n}$. This means that either 
$\sum_{i=0}^n a_i\equiv_2 1$ or 
$a_0\equiv_2 1$. The element g 2 is a positive element of 
$K_{(2,2)}$. By Proposition 3.14, we know that g 2 is not 
$\mathcal{F}$. Since 
$\langle g^2, \mathcal{F}\rangle \subset \langle g, \mathcal{F}\rangle$, by applying [Reference Aiello and Nagnibeda11, Proposition 5.4] we have that 
$\langle g^2, \mathcal{F}\rangle $ contains one among M 0, M 1 and 
$K_{(2,2)}$ and we are done.
Proposition 3.16. For any 
$g{\in} F_+\setminus \mathcal{E}$, the subgroup 
$\langle g, \mathcal{E}\rangle$ contains the subgroup
\begin{equation*}
H:=\{f{\in} F\; | \; \log_2f^{\prime}(0)\equiv_2 \log_2f^{\prime}(1) \}\;
\end{equation*} where 
$\equiv_2$ denotes equivalence modulo 2.
Proof. By Proposition 3.14, we know that g is not a power of x 0. Without loss of generality we may assume that 
$g{\in}\varphi_R(F_+)$, i.e., 
$g=\varphi_R(h)$ for some 
$h{\in} F_+$. Indeed, write g in its normal form, i.e., 
$g=x_0^{a_0}\cdots x_n^{a_n}$, then 
$g\prime:=x_0^{-a_0}g{\in}\varphi_R(F_+)$ and 
$\langle g, \mathcal{E}\rangle =\langle g\prime, \mathcal{E}\rangle$. We observe that, by Lemma 3.4, we have 
$\varphi_R(\langle h, \mathcal{F}\rangle)=\langle \varphi_R(h), \varphi_R(\mathcal{F})\rangle\subset \langle g, \mathcal{E}\rangle$.
By Lemma 3.15, there are three cases to consider: 
$\langle h, \mathcal{F}\rangle$ contains M 0, 
$\langle h, \mathcal{F}\rangle$ contains M 1, and 
$\langle h, \mathcal{F}\rangle$ contains 
$K_{(2,2)}$. We will use the following facts from [Reference Aiello and Nagnibeda11]: M 0 and M 1 are maximal in 
$K_{(2,2)}$, 
$x_2^2{\in} M_0$, 
$x_3^2{\in} M_1$.
We first show that, in all three cases, the subgroup 
$\langle g,\mathcal{E}\rangle$ contains 
$\varphi_R(K_{(2,2)})$.
In the first case, we know that, since 
$x_2^2{\in} M_0$ [Reference Aiello and Nagnibeda11, Proposition 4.11], we have 
$\varphi_R(x_2^2){\in} \langle g,\mathcal{E}\rangle$. As 
$x_0{\in} \mathcal{E}$, we also have
\begin{equation*}
x_0^{-1}x_3^2 x_0=x_0^{-1}\varphi_R(x_2^2) x_0=x_4^2=\varphi_R(x_3^2){\in}\langle g,\mathcal{E}\rangle.
\end{equation*} Maximality of M 0 in 
$K_{(2,2)}$ implies that
\begin{equation*}
\langle \varphi_R(M_0), \varphi_R(x_3^2)\rangle = \varphi_R(\langle M_0, x_3^2\rangle)=\varphi_R(\langle K_{(2,2)}\rangle)\; .
\end{equation*} Similarly in the second case, since 
$x_3^2{\in} M_1$, we have 
$\varphi_R(x_3^2){\in} \langle g,\mathcal{E}\rangle$. As 
$x_0{\in} \mathcal{E}$, we also have
\begin{equation*}
x_0^{-1}x_4^2 x_0=x_0^{-1}\varphi_R(x_3^2) x_0=x_5^2=\varphi_R(x_4^2){\in}\langle g,\mathcal{E}\rangle
\end{equation*} and by the maximality of M 1 in 
$K_{(2,2)}$ we have
\begin{equation*}
\langle \varphi_R(M_1), \varphi_R(x_4^2)\rangle = \varphi_R(\langle M_1, x_4^2\rangle)=\varphi_R(\langle K_{(2,2)}\rangle)\; .
\end{equation*}In the last case, there is nothing to do.
From this point, we can assume that 
$\varphi_R(K_{(2,2)})\subset \langle g,\mathcal{E}\rangle$. Recall from [Reference Golan and Sapir26, Lemma 4.6] that
\begin{equation*}\langle x_0x_1, x_1x_2, x_2x_3\rangle =\vec{F}\end{equation*} and that 
$\vec{F}$ is maximal in 
$K_{(1,2)}$ [Reference Golan and Sapir27, Theorem 3.12].
We know that 
$x_2x_3=\varphi_R(x_1x_2)$, 
$x_3x_4=\varphi_R(x_2x_3), x_2^2{\in} \varphi_R(K_{(2,2)})$ and that 
$x_1x_2=x_0(x_2x_3)x_0^{-1}{\in} \langle g,\mathcal{E}\rangle$. Then we have that
\begin{equation*}
\varphi_R(K_{(1,2)})=\langle \varphi_R(\vec{F}),\varphi_R(x_1^2)\rangle\subset \langle g,\mathcal{E}\rangle
\end{equation*} Now 
$\varphi_R(K_{(1,2)})$ consists of all the elements 
$y{\in} F$ whose normal form has even length and 
$a_0=b_0=0$. The rectangular subgroup 
$K_{(2,2)}$ consists of the elements of F whose normal form 
$x_0^{a_0}x_1^{a_1}\cdots x_n^{a_n}x_n^{-b_0}\cdots x_1^{-b_1}x_0^{-b_0}$ is such that: a 0 and b 0 have the same parity; 
$\sum_{i\geq 1} (a_i+b_i)$ is even. As 
$x_0{\in} \mathcal{E}$, we have that any element of 
$K_{(2,2)}$ is contained in 
$\langle g,\mathcal{E}\rangle$. Finally, we get 
$\langle x_0, K_{(2,2)}\rangle = H$ because the index of 
$K_{(2,2)}$ in H is 2.
We would like to end this section discussing another interesting subgroup of F defined similarly to 
$\mathcal{E}$ that happens to coincide with the subgroup generated by 
$\mathcal{E}$ and 
$\mathcal{F}$. Recall that the definition of 
$\mathcal{F}$ was based on the 3-colorability of a strip partition (see the diagram in the middle in the Figure below), while for 
$\mathcal{E}$ we considered the 3-colorability of a plane partition (as in the leftmost diagram in the Figure below). It is natural to also consider the following intermediate case: take the strip passing through the roots of the two trees and consider the group generated by the elements of F for which this smaller strip is 3-colorable. We denote this group by 
$\tilde{\mathcal{E}}$.
We are now in a position to give a complete description of 
$\mathcal{\tilde{E}}$.
Proposition 3.17. The subgroup 
$\mathcal{\tilde{E}}$ coincides with the index 2 subgroup of F
\begin{equation*}
H=\{f{\in} F\; | \; \log_2f^{\prime}(0)\equiv_2 \log_2f^{\prime}(1) \}
\end{equation*} where 
$\equiv_2$ denotes equivalence modulo 2.
Proof. We first prove that it holds 
$\mathcal{\tilde{E}}= \langle \mathcal{E}, \mathcal{F}\rangle$. By definition, 
$\mathcal{\tilde{E}}$ is generated by the elements of F for which the strip drawn as in the rightmost diagram in the Figure above is 3-colorable. There are two cases: the colors of the leftmost and rightmost regions are the same or not. In the first case the element is in 
$\mathcal{E}$, while in the second it is in 
$\mathcal{F}$. The converse inclusion is obvious.
Then we prove that the subgroup 
$\mathcal{\tilde{E}}$ contains the rectangular subgroup 
$K_{(2,2)}$. By the previous argument, we know that 
$\mathcal{\tilde{E}}$ contains 
$\mathcal{F}$ and 
$x_0^2$. In particular, 
$\mathcal{\tilde{E}}$ contains the subgroup 
$M_0=\langle \mathcal{F}, x_0^2\rangle$. By [Reference Aiello and Nagnibeda11, Proposition 4.11], 
$x_2^2$ is in 
$M_0\subset \mathcal{\tilde{E}}$. As 
$x_0{\in}\mathcal{\tilde{E}}$, it follows that 
$x_1^2=x_0x_2^2x_0^{-1}{\in} \mathcal{\tilde{E}}\cap K_{(2,2)}$. By the maximality of M 0 in 
$K_{(2,2)}$ [Reference Aiello and Nagnibeda10, Theorem 4.6], we have that 
$\mathcal{\tilde{E}}\cap K_{(2,2)}$ contains 
$K_{(2,2)}$.
Recall that the map π provides a bijection between finite index subgroups of F and those of 
${\mathbb{Z}}\oplus {\mathbb{Z}}$ [Reference Bleak and Wassink16]. The subgroup H is a finite index subgroup of F because it can be described as 
$\pi^{-1}(\{(a,b){\in} {\mathbb{Z}}\oplus{\mathbb{Z}}\; | \; a\equiv_2 b \})$.
By previous discussion, it is clear that 
$\mathcal{\tilde{E}}$ is contained in H.
For the converse inclusion, take 
$f{\in} H$. If 
$\log_2f^{\prime}(0)\equiv_2 \log_2f^{\prime}(1)\equiv_2 0$, then f is in 
$K_{(2,2)}$ and f is also in 
$\mathcal{\tilde{E}}$. Otherwise, if 
$\log_2f^{\prime}(0)\equiv_2 \log_2f^{\prime}(1)\equiv_2 1$, consider fx 0. Now 
$\log_2(fx_0)\prime(0)\equiv_2 \log_2 (fx_0)\prime(1)\equiv_2 0$, so 
$fx_0{\in} \mathcal{\tilde{E}}$ by the previous argument. Since 
$x_0{\in}\mathcal{\tilde{E}}$, it holds 
$f{\in}\mathcal{\tilde{E}}$ as well.
4. Quasi-regular representations and closed subgroups
In the first half of this section, we investigate how 
$\mathcal{E}$ and its even part 
${\mathcal{E}_{\rm EVEN}}$ act on the dyadic rationals. In the second half, we use this information to study the (ir)reducibility of quasi-regular representations associated with 
${\mathcal{E}_{\rm EVEN}}$.
Similar analysis for the 3-colorable subgroup 
$\mathcal{F}$ can be found in the predecessor of this paper [Reference Aiello and Nagnibeda11] and for the oriented subgroup 
$\vec{F}$ in an earlier paper by Golan and Sapir [Reference Golan and Sapir26]. The oriented subgroup was realised as the stabiliser of the subset of dyadic rationals consisting of elements with an even number of digits equal to 1 in the binary expansion. The 3-colorable subgroup 
$\mathcal{F}$ was described as the intersection of the stabilisers of three distinct subsets of dyadic rationals that were defined in terms of a suitable weight function ω.
For 
${\mathcal{E}_{\rm EVEN}}$, we introduce a new weight function that we use to define three subsets Z 1, Z 2 and Z 3 of the dyadic rationals and show that 
${\mathcal{E}_{\rm EVEN}}$ is the intersection of the stabilisers of these subsets. An analogous study for the ternary oriented subgroup 
$\vec{F}_3$ of F 3 was performed in [Reference Aiello and Nagnibeda10].
We first describe the action of 
$\mathcal{F}$. Let us define the subsetsFootnote 1
\begin{align*}
S_i&=\{t {\in} (0,1)\cap {\mathbb{Z}}[1/2]\; | \; \omega(t)\equiv_3 i \}
\end{align*} where 
$i{\in} {\mathbb{Z}}_3$, 
$\equiv_3$ is the equivalence modulo 3, and the weight function is defined by 
$\omega(.a_1\cdots a_n):= \sum_{j=1}^n (-1)^j a_j$ (mod 3). These subsets form a partition of the dyadic rationals.
Lemma 4.1. For all 
$i{\in}{\mathbb{Z}}_3$, 
$\mathcal{F}$ preserves Si and acts transitively on each of them.
Proof. From [Reference Aiello and Nagnibeda11, Proposition 2.5], it follows that by acting on t by an element g in 
$\mathcal{F}$ we obtain g(t) with 
$\omega(g(t))\equiv_3\omega(t)$. This means that Si are preserved by 
$\mathcal{F}$. We now show that 
$\mathcal{F}$ acts transitively on them.
Let 
$.\alpha, .\beta{\in} S_i$. We want to find an element 
$g{\in}\mathcal{F}$ mapping .α to .β and we will exhibit a tree diagram representing it. Let 
$h:=\max\{|.\alpha|, |.\beta|\}$ and assume that it is equal to 
$|. \alpha|$. Take two copies of the tree 
$\Phi(T_{h})$, where Th is the full 4-ary tree of height h, and call them 
$T\prime_+$ and 
$T\prime_-$. We are going to modify 
$T\prime_+$ and 
$T\prime_-$ in such a way that they map .α to .β and, at the same time, it is clear that they are in the image of 
$\Phi$ (therefore, by [Reference Ren37] the pair of trees belongs to 
$\mathcal{F}$).
Recall that 
$\Phi$ is the map defined in Figure 4. These trees contain leaves whose corresponding words are 
$\alpha 0^l$ and 
$\beta 0^m$ for some 
$l, m{\in}{\mathbb{N}}_0$. Number the leaves of 
$T\prime_\pm$ from left to right. Recall that by hypothesis 
$\omega(\alpha)=\omega(\beta)$.
By induction it can be shown that, in the full binary tree of height 2h (
$h\geq 2$), the number of leaves to left of the leaves with the same weight is the same modulo 3. Indeed, if we have the following colorings in the regions to the left and right of a leaf and we add a basic tree, the colors remain the same when the index number of the leaves are the same modulo 3
In particular, the leaves to the left of those corresponding to 
$\alpha 0^l$ and 
$\beta 0^m$ have the same weight modulo 3. This means that after attaching copies of the basic tree below the leftmost leaf of 
$T\prime_+$ or 
$T\prime_-$ we have that the leaves corresponding to 
$\alpha 0^l$ and 
$\beta 0^m$ can have the same number. We can use the same trick with right-most leaves to make sure that the two trees have the same number of leaves. Let 
$T_+$ and 
$T_-$ be the trees obtained from 
$T\prime_+$ and 
$T\prime_-$ with this procedure, respectively. The element 
$(T_+,T_-)$ is the element g we were looking for.
Thanks to the knowledge of the orbits of 
$\mathcal{F}$ and of a generating set of 
$\mathcal{E}$ we will derive the next result.
Proposition 4.2. For any 
$i{\in}{\mathbb{Z}}_3$, set 
$S_{i,1}:=S_i\cap [0,1/2]$, 
$S_{i,2}:=S_i\cap [1/2,1]$. The subgroup 
$\mathcal{E}$ has two orbits on the dyadic rationals, namely 
$A:=S_{0,1}\cup S_{1,2}$ and 
$B:=S_{1,1}\cup S_{2,1}\cup S_{2,2}\cup S_{0,2}$. Moreover, 
$\mathcal{E}$ is a proper subgroup of Stab(A) 
$\cap$ Stab(B).
Proof. By Lemma 4.1, it follows that 
$\varphi_R(\mathcal{F})\subset \mathcal{E}$ acts transitively on 
$S_{i,2}$ for all 
$i{\in}{\mathbb{Z}}_3$. Similarly, 
$\varphi_L(\mathcal{F})\subset \mathcal{E}$ acts transitively on each 
$S_{i,1}$. By Theorem 3.6 and the previous observation, the only way to move from one of these subsets to another is to apply x 0. Here, we describe how the weight changes when we apply x 0 on the (smallest) dyadic partition of its domain, namely on 
$[0,1/4]$, 
$[1/2,1/2]$, 
$[1/2,1]$
(1) for
$t=.00\alpha$, we have $\omega(x_0(t))=\omega(.0\alpha)=-\omega(t)$;(2) for
$t=.01\alpha$, we have $\omega(x_0(t))=\omega(.10\alpha)=\omega(t)+1$: indeed, $\omega(t)=\omega(\alpha)+1$ and $\omega(x_0(t))=\omega(.10\alpha)=\omega(\alpha)-1$;(3) for
$t=.1\alpha$, we have $\omega(x_0(t))=\omega(.11\alpha)=-\omega(t)-1$: indeed, $\omega(t)=-1-\omega(\alpha)$ and $\omega(x_0(t))=\omega(.11\alpha)=\omega(.\alpha)$.
Therefore, by (3), we have that: 
$x_0(S_{0,2})\subset S_{2,2}$, 
$x_0(S_{1,2})\subset S_{1,2}$, 
$x_0(S_{2,2})\subset S_{0,2}$. By (1) and (2), we have that 
$x_0(S_{0,1}\cap [0,1/4])\subset S_{0,1}$, 
$x_0(S_{0,1}\cap [1/4,1/2])\subset S_{1,2}$, 
$x_0(S_{1,1}\cap [0,1/4])\subset S_{2,1}$, 
$x_0(S_{1,1}\cap [1/4,1/2])\subset S_{2,2}$, 
$x_0(S_{2,1}\cap [0,1/4])\subset S_{1,1}$, 
$x_0(S_{2,1}\cap [1/4,1/2])\subset S_{0,2}$ and for the first statement we are done.
We now prove that 
$\mathcal{E}$ is a proper subgroup of Stab(A) 
$\cap$ Stab(B). To this end, it suffices to show that 
$k:=x_1x_2^{-1}x_1^{-1}x_0^{-1}$ is in Stab(A) 
$\cap$ Stab(B), but not in 
$\mathcal{E}$. This element acts as follows
\begin{equation*}
k(t) = \left\{\begin{array}{ll}
.00\alpha & \text{if } t= .0\alpha\\
.010\alpha & \text{if } t= .100\alpha\\
.0110\alpha & \text{if } t= .101\alpha\\
.0111\alpha & \text{if } t= .110\alpha\\
.1\alpha & \text{if } t= .111\alpha\\
\end{array}.
\right.
\end{equation*} There are five intervals in the minimal standard dyadic partition of the domain, namely 
$[0,1/2]$, 
$[1/2,5/8]$, 
$[5/8,3/4]$, 
$[3/4,7/8]$, 
$[7/8,1]$, where the weight changes as follows
(4) for
$t=.0\alpha$, we have $\omega(k(t))=\omega(.\alpha)=-\omega(t)$;(5) for
$t=.100\alpha$, we have $\omega(k(t))=\omega(.010\alpha)=\omega(t)+2$: indeed, $\omega(t)=-\omega(\alpha)-1$ and $\omega(k(t))=-\omega(\alpha)+1$;(6) for
$t=.101\alpha$, we have $\omega(k(t))=\omega(.0110\alpha)=-\omega(t)+1$: indeed, $\omega(t)=-\omega(\alpha)-2$ and $\omega(k(t))=\omega(\alpha)$;(7) for
$t=.110\alpha$, we have $\omega(k(t))=\omega(.0111\alpha)=-\omega(t)+1$: indeed, $\omega(t)=-\omega(\alpha)$ and $\omega(k(t))=\omega(\alpha)+1$;(8) for
$t=.111\alpha$, we have $\omega(k(t))=\omega(.111\alpha)=\omega(t)$.
By (4) we have 
$k(S_{0,1}\cap [0,1/2])\subset S_{0,1}$, 
$k(S_{1,1}\cap [0,1/2])\subset S_{2,1}$, 
$k(S_{2,1}\cap [0,1/2])\subset S_{1,1}$, by (5) we have 
$k(S_{0,2}\cap [1/2,5/8])\subset S_{2,1}$, 
$k(S_{1,2}\cap [1/2,5/8])\subset S_{0,1}$, 
$k(S_{2,2}\cap [1/2,5/8])\subset S_{1,1}$, by (6) we have 
$k(S_{0,2}\cap [5/8, 3/4])\subset S_{1,1}$, 
$k(S_{1,2}\cap [5/8, 3/4])\subset S_{0,1}$, 
$k(S_{2,2}\cap [5/8, 3/4])\subset S_{2,1}$, by (7) we have 
$k(S_{0,2}\cap [3/4,7/8])\subset S_{1,1}$, 
$k(S_{1,2}\cap [3/4,7/8])\subset S_{0,1}$, 
$k(S_{2,2}\cap [3/4,7/8])\subset S_{2,2}$, by (8) we have 
$k(S_{0,2}\cap [7/8,1])\subset S_{0,2}$, 
$k(S_{1,2}\cap [7/8,1])\subset S_{1,2}$, 
$k(S_{2,2}\cap [7/8,1])\subset S_{2,2}$.
We now work towards a description of 
${\mathcal{E}_{\rm EVEN}}$ (the even part of 
$\mathcal{E}$, Definition 3.7) in terms of stabiliser subgroups. Consider a rooted binary planar tree T. We draw it in the upper-half plane with its leaves on the x-axis and the root on the line y = 1. Given a vertex of a tree, there exists a unique minimal path from the root of the tree to the vertex. This path is made by a collection of left and right edges and may be represented by a word in the letters 
$\{0,1\}$ (0 stands for a left edge, 1 for a right edge). An easy inductive argument on the number of vertices shows that the upper-half plane is always 3-colourable. We adopt the same convention as in Convention 3.1, that is, the region above of the root is colored with 0, the region below the root is coloured with 1. After this choice, there is a unique coloring of the strip.
Given a vertex v of T, we denote by 
$\tilde\omega(v)$ the color of the region to the left of v. We call 
$\tilde\omega(\cdot)$ the weight associated with T. The weight 
$\tilde\omega$ can be actually defined on the infinite binary rooted planar tree 
${\mathcal{T}}_2$. Any rooted planar binary tree can be seen as rooted sub-tree of 
${\mathcal{T}}_2$ and the restriction of the weight of 
${\mathcal{T}}_2$ to the vertices of T is then the weight of 
${\mathcal{T}}_2$. Vertices of 
${\mathcal{T}}_2$ can be viewed as finite binary words 
$\{0, 1\}^*$. Therefore, we have a function 
$\tilde\omega: \{0, 1\}^*\to {\mathbb{Z}}_3$. When we consider a tree diagram 
$(T_+,T_-)$, we denote by 
$\tilde\omega_+(\cdot)$ and 
$\tilde\omega_-(\cdot)$ the weights associated with the top tree and the bottom tree (after a reflection about the x-axis), respectively.
The next lemma presents some properties that allow one to calculate the weight function.
Lemma 4.3. For all α, 
$\beta{\in} \{0, 1\}^*$ and 
$n{\in}{\mathbb{N}}$, it holds
\begin{align}
&\tilde\omega (0\alpha)=\omega(\alpha)
\end{align}
\begin{align}
&\tilde\omega(1\alpha)=\omega(101\alpha)=1-\omega(\alpha)
\end{align}
\begin{align}
& \tilde\omega(\alpha 00 \beta)=\tilde\omega(\alpha \beta)
\end{align}
\begin{align}
& \tilde\omega(\alpha 11 \beta)=\tilde\omega(\alpha \beta)
\end{align}
\begin{align}
& \tilde\omega(\alpha 0)=\tilde\omega(\alpha)
\end{align}
\begin{align}
& \tilde\omega((10)^n)=\left\{\begin{array}{cc}
1 & \text{if } n= 1+3k\\
0 & \text{if } n= 2+3k\\
2 & \text{if } n= 3+3k
\end{array}
\right.
\qquad
\tilde\omega((01)^n)=\left\{\begin{array}{cc}
2 & \text{if } n= 1+3k\\
1 & \text{if } n= 2+3k\\
0 & \text{if } n= 3+3k
\end{array}
\right.
\end{align} where 
$k\geq0$ and, for a finite word w in 0 and 1, wn denotes the word obtained by concatenating n copies of w.
Proof. It suffices to prove Formulas 4.1 and 4.2, then the others follow from [Reference Aiello and Nagnibeda11, Lemma 2.2, Lemma 2.3]. The first one follows from the coloring the trees of the standard dyadic intervals according to the conventions for 
$\mathcal{E}$ (on the left) and for 
$\mathcal{F}$ (on the right).
The second follows by drawing the trees from 
$\mathcal{E}$ (on the left) and from 
$\mathcal{F}$ (on the right).
Proposition 4.4. It holds
\begin{equation*}
{\mathcal{E}_{\rm EVEN}}=\mathcal{E}\cap K_{(2,2)}=\{(T_+,T_-){\in} K_{(2,2)}\; |\; \tilde\omega_+(i)=\tilde\omega_-(i) \; \forall i\geq 0\}
\end{equation*} where 
$\tilde\omega_+(i)$ and 
$\tilde\omega_-(i)$ stand for the colors associated with the ith leaf of the trees 
$T_+$ and 
$T_-$, respectively.
Proof. The claim follows from Lemma 3.2 and from the definition of 
$\tilde\omega$.
For 
$i{\in}{\mathbb{Z}}_3$, consider the subsets Zi of the dyadic rationals consisting of the numbers whose corresponding binary word has weight i, namely
\begin{equation*}
Z_i:=\{t{\in} (0,1)\cap {\mathbb{Z}}[1/2]\; | \; \tilde\omega(t)= i\} \qquad i{\in} {\mathbb{Z}}_3.\;
\end{equation*}Theorem 4.5. For any 
$j{\in}{\mathbb{Z}}_3$, the even part 
${\mathcal{E}_{\rm EVEN}}$ of the planar 3-colorable subgroup 
$\mathcal{E}$ coincides with 
$\cap_{i{\in}{\mathbb{Z}}_3}{\rm Stab}(Z_i)=\cap_{i{\in}{\mathbb{Z}}_3, i\neq j}{\rm Stab}(Z_i)$.
Proof. First we show that 
${\mathcal{E}_{\rm EVEN}}=\cap_{i{\in}{\mathbb{Z}}_3}{\rm Stab}(Z_i)$. The inclusion 
${\mathcal{E}_{\rm EVEN}}\subset\cap_{i{\in}{\mathbb{Z}}_3}{\rm Stab}(Z_i)$ follows if we check that the generators of 
${\mathcal{E}_{\rm EVEN}}$ (namely, 
$\varphi_R(w_0)=\varphi_R(x_0^2x_1x_2^{-1})$, 
$\varphi_R(w_1)=\varphi_R(x_0x_1^2x_0^{-1})$, 
$\varphi_R(w_2)=\varphi_R(x_1^2x_3x_2^{-1})$, 
$\varphi_R(w_3)=\varphi_R(x_2^2x_3x_4^{-1})$, 
$x_0^2$) preserve the sets Zi for all 
$i{\in}{\mathbb{Z}}_3$.
Take 
$t{\in} Z_i$ and write it in binary expansion as 
$t=.a_1\cdots a_n$. The idea of the proof is the following: we find tree diagrams representing the generators of 
${\mathcal{E}_{\rm EVEN}}$ in such a way that each top tree has a leaf whose corresponding binary word is 
$a_1\cdots a_n$ or 
$a_1\cdots a_n 0^k$ (for some non-negative integer k). This is achieved by adding pairs of opposing carets. Because we are considering elements in 
${\mathcal{E}_{\rm EVEN}}$, it would then follow that the weight 
$\tilde\omega(a_1\cdots a_n)=\tilde\omega(a_1\cdots a_n 0^k)$ is equal to the weight of the image of t under them, thus the generators of 
${\mathcal{E}_{\rm EVEN}}$ are also in 
${\rm Stab}(Z_i)$.
So replace each leaf in both the top and bottom trees of the generators of 
${\mathcal{E}_{\rm EVEN}}$ by a complete binary tree of height n (that is, a tree with 2n leaves, where each leaf has distance n from the root). This is done by gluing this tree by its root to the leaf of the top/bottom tree. This does not affect the generators, as the new tree diagrams can be reduced to the previous form by cancelling pairs of opposing carets. Below we exemplify the procedure when n = 2. We draw a leaf from the top tree and a leaf of the bottom tree glued together (thus with the two incident edges) and the transformation to be used.
Now, the matching leaves of all new tree diagrams representing the generators of 
$\mathcal{E}$ have the same color. In each of these tree diagrams, there is a leaf of the top tree whose corresponding label is 
$a_1\cdots a_n$ or 
$a_1\cdots a_n0^k$. It follows that t is mapped to another number with the same weight.
For the converse inclusion, let 
$f=(T_+,T_-)$ be an element of 
$\cap_{i{\in}{\mathbb{Z}}_3}{{\rm Stab}}(Z_i)$. Denote by 
$\alpha_+(k)$ and 
$\alpha_-(k)$ the words associated with the kth leaf of the top and bottom trees, respectively. Since 
$f{\in} \cap_{i{\in}{\mathbb{Z}}_3}{{\rm Stab}}(Z_i)$, it follows that 
$\tilde\omega_+(\alpha_+(k))\equiv_3 \tilde\omega_-(\alpha_-(k))$ for all k. By Proposition 4.4, we have that 
$f{\in}\mathcal{F}$.
Finally we observe that, for any 
$j{\in}{\mathbb{Z}}_3$, 
${\mathcal{E}_{\rm EVEN}}=\cap_{i{\in}{\mathbb{Z}}_3, i\neq j}{\rm Stab}(Z_i)$ because once we fix two colors, then also the third one is fixed.
We now recall the definition of closed subgroups of F from [Reference Golan and Sapir29, Definition 6.1]. Let g be an element in F which fixes a dyadic rational 
$\alpha {\in} (0, 1)$. The components of g at α are the functions
\begin{align*}
&g_1(t)=\left\{\begin{array}{ll}
g(t) & \text{if } t{\in} [0,\alpha]\\
t & \text{if } t{\in} [\alpha ,1]
\end{array}\right.
\qquad
g_2(t)=\left\{\begin{array}{ll}
t & \text{if } t{\in} [0,\alpha]\\
g(t) & \text{if } t{\in} [\alpha ,1]
\end{array}.\right.
\end{align*} A subgroup H of F is said to be closedFootnote 2 if for every function 
$h {\in} H$ and every dyadic rational α such that h fixes α, the components of h at α belong to H. Closed subgroups have been useful in the study of infinite index maximal subgroups of F, see e.g. [Reference Aiello and Nagnibeda11, Reference Golan and Sapir27]. In the recent paper [Reference Golan25], maximal subgroups of F of infinite index were shown to be closed.
As an immediate consequence of previous theorem, we get the following result.
Corollary 4.6. The even part 
${\mathcal{E}_{\rm EVEN}}$ of the planar 3-colorable subgroup is closed.
Proposition 4.7. The even part 
${\mathcal{E}_{\rm EVEN}}$ of the planar 3-colorable subgroup does not coincide with 
${\rm Stab}(Z_i)$ for any 
$i{\in} {\mathbb{Z}}_3$.
Proof. One can see for example that 
$x_1^2{\in}{\rm Stab}(Z_2)\setminus ({\rm Stab}(Z_0)\cup {\rm Stab}(Z_1))$, 
$x_2^2{\in}{\rm Stab}(Z_1)\setminus ({\rm Stab}(Z_0)\cup {\rm Stab}(Z_2))$, 
$x_0x_1x_2^{-1}x_1^{-1}{\in}{\rm Stab}(Z_0)\setminus ({\rm Stab}(Z_1)\cup {\rm Stab}(Z_2))$.
We explain how to see this for 
$x_0x_1x_2^{-1}x_1^{-1}$; for the other elements, a similar argument applies. First we think of the top tree and bottom tree as sitting in the upper-half and lower-half plane, respectively. We colour the two half planes following Convention 3.1, so that the leaves of the top tree having color 0 meet those of the bottom tree with color 0. We will see soon that the element is in 
${\rm Stab}(Z_0)$, but first we observe that it is not in 
${\rm Stab}(Z_1)\cup {\rm Stab}(Z_2)$ because 
$x_0x_1x_2^{-1}x_1^{-1}(.01)=.1$, 
$\tilde\omega(.01)=2$, 
$\tilde\omega(.1)=1$.
The proof of the fact that 
$x_0x_1x_2^{-1}x_1^{-1}$ is in 
${\rm Stab}(Z_0)$ can be done by induction on the length of the binary expansion of the number 
$t=.a_1\cdots a_n$. Indeed, replace each leaf by a complete tree of height n as in the proof of Theorem 4.5. Now, the leaves of the top tree with weight 0 meet those of the bottom tree with the same weight (but this is not true for the other weights) and, by construction, there is a leaf in the top tree whose corresponding word is 
$a_1 \cdots a_n$ (up to addition of zeroes at the end of the word). It follows that 
$x_0x_1x_2^{-1}x_1^{-1}$ preserves Z 0.
It turns out that the subgroup 
$\mathcal{E}$ is not a closed subgroup. One can, for example, take the element 
$h=kx_0=x_1x_2^{-1}x_1^{-1}$, where 
$k=x_1x_2^{-1}x_1^{-1}x_0^{-1}$ is the element used in the proof of Proposition 4.2. Now h is not in 
$\mathcal{E}$ (this can be seen for example by checking that the parity of 
$\log_2 h^{\prime}$ at 0 and at 1 are not the same), but it is one of the two components at 
$5/8$ of 
$x_0x_2 x_3^{-1} x_1^{-2}{\in} \mathcal{E}$. This means that 
$\mathcal{E}$ is not closed.
If one considers Jones’ representation of [Reference Jones33] constructed from the planar algebra of quantum SO(3) with 
$\delta=2\cos(\pi/6)$ (for more information on this planar algebra we refer to [Reference Morrison, Peters and Snyder36] or to [Reference Aiello and Jones9, Section 4] for a small summary of the defining relations) one obtains a representation equivalent to the quasi-regular representation of F associated with 
$\mathcal{E}$. Jones proved that this representation and those corresponding to the other admissible values of δ are irreducible in [Reference Jones33]. The approach of Jones is completely different to the one in this article. The former is made by exploiting the graphical calculus of both the Thompson group and the planar algebras, and also by finding a special element of F that, in these representations, has a one dimensional eigenspace corresponding to the eigenvalue 1, whereas ours relies on the description of 
${\mathcal{E}_{\rm EVEN}}$ in terms of stabilisers of subsets of dyadic rationals.
In the rest of this section, we investigate some quasi-regular representations associated with 
$\mathcal{E}$ and 
${\mathcal{E}_{\rm EVEN}}$. By means of Theorem 4.5 we will obtain the following theorem.
Theorem 4.8. It holds
(1) Comm
$_{F}({\mathcal{E}_{\rm EVEN}})=\mathcal{E}$;(2) Comm
$_{K_{(2,2)}}({\mathcal{E}_{\rm EVEN}})=$Comm$_{K_{(2,1)}}({\mathcal{E}_{\rm EVEN}})={\mathcal{E}_{\rm EVEN}}$.
Corollary 4.9. The quasi-regular representation of F associated with 
${\mathcal{E}_{\rm EVEN}}$ is reducible.
Proof of Corollary 4.9
It follows from part 1) of Theorem 4.8 by a result of Mackey [Reference Mackey35].
The following isomorphisms were established in [Reference Aiello and Nagnibeda11, Section 3]
\begin{align*}
&\begin{array}{l}
\alpha: \; F\to K_{(2,1)}\\
x_0\mapsto x_0x_1x_0^{-3}\\
x_1\mapsto x_0x_1^2x_0^{-3}\\
\end{array}\qquad
\begin{array}{l}
\theta: F\to K_{(2,2)}\\
x_0 \mapsto x_0x_1x_0^{-3}x_1^{-1}\\
x_1 \mapsto x_0x_1^2x_0^{-3}
\end{array}.
\end{align*}Corollary 4.10. The quasi-regular representations of F associated with 
$\alpha^{-1}({\mathcal{E}_{\rm EVEN}})$ and 
$\theta^{-1}({\mathcal{E}_{\rm EVEN}})$ are irreducible.
The proof of Theorem 4.8 is similar to that for the oriented subgroup 
$\vec{F}$ done by Golan and Sapir [Reference Golan and Sapir26, Theorem 4.15]. As in their proof, we first describe the action of any element of F on a sufficiently small neighbourhood of 0 and then use the description of 
${\mathcal{E}_{\rm EVEN}}$ in terms of stabilisers of subsets of dyadic rationals to show that 
${\mathcal{E}_{\rm EVEN}}$ coincides with its commensurator. First we present a technical lemma.
Lemma 4.11. Let 
$g{\in} F$. Then for any 
$i{\in}{\mathbb{Z}}_3$, there exists 
$m{\in}{\mathbb{N}}$
(1) if
$\log_2 f(0){\in}2{\mathbb{Z}}$, for any $t{\in} (0,1/2^m)\cap Z_i$, $\tilde\omega(t)\equiv_3 \tilde\omega(g(t))$;(2) if
$\log_2 f(0){\in}2{\mathbb{Z}}+1$, for any $t{\in} (0,1/2^m)\cap Z_0$, $g(t){\in} Z_0$;(3) if
$\log_2 f(0){\in}2{\mathbb{Z}}+1$, for any $t{\in} (0,1/2^m)\cap Z_1$, $g(t){\in} Z_2$;(4) if
$\log_2 f(0){\in}2{\mathbb{Z}}+1$, for any $t{\in} (0,1/2^m)\cap Z_2$, $g(t){\in} Z_1$.
Proof. By definition, 
$g(t)=2^l t$ for all 
$t{\in} I=[0,2^{-r}]$, where 
$r{\in}{\mathbb{N}}$, 
$l{\in}{\mathbb{Z}}$. If 
$l\leq 0$, g(t) simply adds l zeros at the beginning of the binary form of t. Therefore, we have two cases depending on whether 
$\log_2 g\prime(0)$ is in 
$2{\mathbb{Z}}$ or 
$2{\mathbb{Z}} +1$. In the first case, it holds 
$\tilde\omega(t)=\tilde\omega(g(t))$ because of Lemma 4.3-(4.3), while in the second 
$\tilde\omega(t)\equiv_3 -\tilde\omega(g(t))$ because of Lemma 4.3-(4.1) and the formula 
$\omega(.a_1\cdots a_n):= \sum_{i=1}^n (-1)^i a_i$. In both cases, it suffices to take m = r.
If l > 0, take 
$m=\max\{r,l\}+1$. Since m > r, the binary word for t begins with at least l zeroes and g erases l of them. We have two cases as before: 
$\log_2 g\prime(0)$ is in 
$2{\mathbb{Z}}$ or 
$2{\mathbb{Z}} +1$. In the first case 
$\tilde\omega(t)=\tilde\omega(g(t))$, while in the second 
$\tilde\omega(t)\equiv_3 -\tilde\omega(g(t))$.
Proof of Theorem 4.8 First we determine the commensurator of 
${\mathcal{E}_{\rm EVEN}}$ in 
$K_{(2,1)}$. Let 
$h{\in} K_{(2,1)}\setminus{\mathcal{E}_{\rm EVEN}}$ and set 
$I:=|{\mathcal{E}_{\rm EVEN}}:{\mathcal{E}_{\rm EVEN}}\cap h{\mathcal{E}_{\rm EVEN}} h^{-1}|$. If 
$I \lt \infty$, then there is an 
$r{\in} {\mathbb{N}}$ such that 
$x_0^{-r}{\in} h{\mathcal{E}_{\rm EVEN}} h^{-1}$ or equivalently 
$h^{-1}x_0^{-r}h{\in}{\mathcal{E}_{\rm EVEN}}$ (x 0 is one of the generators of 
${\mathcal{E}_{\rm EVEN}}$). We will show that for all n big enough, 
$h^{-1}x_0^{-n}h\notin{\mathcal{E}_{\rm EVEN}}$ (and thus reach a contradiction). By Lemma 4.11-(1), there is an m such 
$\tilde\omega(h(t))\equiv_3\tilde\omega(t)$ for all 
$t{\in} [0,2^{-m}]\cap Z_i$, 
$i{\in}{\mathbb{Z}}_3$. Since 
$h\notin{\mathcal{E}_{\rm EVEN}}$, there exists 
$t{\in} Z_i$, for some 
$i{\in}{\mathbb{Z}}_3$, such that 
$t_1:=h^{-1}(t)\notin Z_i$. We observe that for all 
$l{\in}{\mathbb{N}}$, we have 
$x_0^{-2jl}(t_1)\notin Z_i$. There exists an 
$n{\in}{\mathbb{N}}$ such that 
$x_0^{-2jn}(t_1) \lt 2^{-m}$. Indeed,
\begin{equation*}
x_0^{-2}(t)=\left\{
\begin{array}{@{}ll}
.000\alpha & \text{if } t=.0\alpha\\
.001\alpha & \text{if } t=.10\alpha\\
.01\alpha & \text{if } t=.110\alpha\\
.1\alpha & \text{if } t=.111\alpha
\end{array}.
\right.
\end{equation*} We observe that 
$h(x_0^{-2jn}(t_1))\notin Z_i$. Then, 
$h^{-1}x_0^{-2jn}h(t)=h(x_0^{-2jn}(t_1))\notin Z_i$ and so 
$\textstyle h^{-1}x_0^{-2jn}h\not\in\;S\mathrm t\mathrm a\mathrm b(Z_i)$. In particular, 
$h^{-1}x_0^{-2jn}h\not\in {\mathcal{E}_{\rm EVEN}}\subset\cap_{i{\in}{\mathbb{Z}}_3}{\rm Stab}(Z_i)$.
Now we determine the commensurator of 
${\mathcal{E}_{\rm EVEN}}$ in F. We will show that x 0 is in the commensurator of 
${\mathcal{E}_{\rm EVEN}}$. We observe that 
$x_0{\mathcal{E}_{\rm EVEN}} x_0^{-1}\subset K_{(2,2)}\cap\mathcal{E} ={\mathcal{E}_{\rm EVEN}}$ and 
$x_0^{-1}{\mathcal{E}_{\rm EVEN}} x_0\subset K_{(2,2)}\cap\mathcal{E} ={\mathcal{E}_{\rm EVEN}}$ because 
$x_0{\in}\mathcal{E}$. Therefore, we have 
${\mathcal{E}_{\rm EVEN}}\leq x_0^{-1}{\mathcal{E}_{\rm EVEN}} x_0\leq{\mathcal{E}_{\rm EVEN}}$ and thus 
${\mathcal{E}_{\rm EVEN}}=x_0{\mathcal{E}_{\rm EVEN}} x_0^{-1}$. In particular, x 0 is in the commensurator of 
${\mathcal{E}_{\rm EVEN}}$. Now let 
$h{\in} F\setminus {\mathcal{E}_{\rm EVEN}}$ such that 
$I:=|{\mathcal{E}_{\rm EVEN}} :{\mathcal{E}_{\rm EVEN}}\cap h{\mathcal{E}_{\rm EVEN}} h^{-1}| \lt \infty$. If 
$h{\in} K_{(2,1)}$, then by the previous discussion 
$h{\in} {\mathcal{E}_{\rm EVEN}}$. Suppose that 
$h{\in} F\setminus K_{(2,1)}$, that is, 
$\log_2h\prime(0)\in2{\mathbb{Z}}_0+1$. If 
$h{\in}$ Comm
$_F({\mathcal{E}_{\rm EVEN}})$, then 
$x_0h{\in}$Comm
$_F({\mathcal{E}_{\rm EVEN}})$ as well. By construction 
$x_0h{\in} K_{(2,1)}\cap$Comm
$_F({\mathcal{E}_{\rm EVEN}})=$Comm
$_{K_{(2,1)}}({\mathcal{E}_{\rm EVEN}})={\mathcal{E}_{\rm EVEN}}$. It follows that Comm
$_F({\mathcal{E}_{\rm EVEN}})=\langle x_0,{\mathcal{E}_{\rm EVEN}}\rangle$.
We end this paper with a small summary about Jones’ subgroups and associated representations. The subgroups 
$\vec{F}$ and 
$\mathcal{F}$ are weakly maximal (i.e., they are maximal among subgroups of infinite index) and self-commensurating, and hence the associated quasi-regular representations of F are irreducible. The planar 3-colorable subgroup 
$\mathcal{E}$ is not weakly maximal (as can be deduced from Golan’s computations of its closure) but it is self-commensurating, hence also the associated quasi-regular representation of F is irreducible. The subgroup 
${\mathcal{E}_{\rm EVEN}}$ is self-commensurating in the rectangular subgroups 
$K_{(2,1)}$ and 
$K_{(2,2)}$, thus the quasi-regular representations of F associated with 
$\alpha^{-1}({\mathcal{E}_{\rm EVEN}})$ and 
$\theta^{-1}({\mathcal{E}_{\rm EVEN}})$ are irreducible. Other examples of maximal and self-commensurating subgroups in F are the stabilisers of points in the unit interval [Reference Savchuk39]. Further examples of weakly maximal subgroups in F were provided in [Reference Aiello and Nagnibeda11, Reference Golan Polak24, Reference Golan25].
Acknowledgements
The authors would like to thank Gili Golan for pointing out to us a mistake in the first version of this paper. V.A. acknowledges the support of the Mathematisches Institut of the University of Bern. T.N. acknowledges support of Swiss NSF grants 200020-178828 and 200020-200400.
