On the \(3\)-colorable subgroup \(\mathcal{F}\) and maximal subgroups of Thompson's group \(F\) (Q6040266)

This paper is dedicated to the memory of Vaughan F. R. Jones. The \textit{3-colorable subgroup} \(\mathcal{F}\) of \(F\) was first introduced by \textit{V. F. R. Jones} [J. Comb. Algebra 1, No. 1, 1--44 (2017; Zbl 1472.57014)] in his work on representations of Thompson's group \(F\). It was further examined by \textit{Y. Ren} [J. Algebra 498, 178--196 (2018; Zbl 1458.46051)] who showed that it is isomorphic to the Brown-Thompson group \(F4\). The authors state: ``In this paper we continue with the study of the \(3\)-colorable subgroup and prove that the quasi-regular representation of \(F\) associated with the \(3\)-colorable subgroup is irreducible. We show in addition that the preimage of \(\mathcal{F}\) under a certain injective endomorphism of \(F\) is contained in three (explicit) maximal subgroups of \(F\) of infinite index. These subgroups are different from the previously known infinite index maximal subgroups of \(F\), namely the parabolic subgroups that fix a point in \((0,1)\), (up to isomorphism) the Jones' oriented subgroup \(\overrightarrow{F}\), and the explicit examples found by \textit{G. Golan} [``The generation problem in Thompson group \(F\)'', Preprint, \url{arxiv:1608.02572}].''