1: \begin{abstract}

2: Vaughan Jones discovered unexpected connections between Richard Thompson's group and subfactor theory while attempting to construct conformal field theories (in short CFT).

3: Among other this founded {\it Jones' technology:} a powerful new method for constructing actions of {\it fraction groups} which had numerous applications in mathematical physics, operator algebras, group theory and more surprisingly in knot theory and noncommutative probability theory. 

4: 

5: We propose and outline a program in the vein of Jones' work but where the Thompson group is replaced by a family of groups that we name {\it forest-skein groups}. 

6: These groups are constructed from diagrammatic categories, are tailor-made for using Jones' technology, capture key aspects of the Thompson group, and aim to better connect subfactors with CFT.

7: Our program strengthens Jones' visionary work and moreover produces a plethora of concrete groups which satisfy exceptional properties.

8: 

9: In this first article we introduce the general theory of forest-skein groups, provide criteria of existence, give explicit presentations, prove that their first $\ell^2$-Betti number vanishes, construct a canonical action on a totally ordered set, establish a topological finiteness theorem showing that many of our groups are of type $F_\infty$, and finish by studying a beautiful class of explicit examples. 

10: \end{abstract}

11: