On Jones’ subgroup of R. Thompson’s group T

Jones introduced unitary representations for the Thompson groups [Formula: see text] and [Formula: see text] from a given subfactor planar algebra. Some interesting subgroups arise as the stabilizer of certain vector, in particular the Jones subgroups [Formula: see text] and [Formula: see text]. Golan and Sapir studied [Formula: see text] and identified it as a copy of the Thompson group [Formula: see text]. In this paper, we completely describe [Formula: see text] and show that [Formula: see text] coincides with its commensurator in [Formula: see text], implying that the corresponding unitary representation is irreducible. We also generalize the notion of the Stallings 2-core for diagram groups to [Formula: see text], showing that [Formula: see text] and [Formula: see text] are not isomorphic, but as annular diagram groups they have very similar presentations.

A parabolic action on a proper, CAT(0) cube complex

We consider diagram groups as defined by Guba and Sapir [Mem. Amer. Math. Soc. 130 (1997)]. A diagram group

SURFACE SUBGROUPS OF RIGHT-ANGLED ARTIN GROUPS

We consider the question of which right-angled Artin groups contain closed hyperbolic surface subgroups. It is known that a right-angled Artin group A(K) has such a subgroup if its defining graph K contains an n-hole (i.e. an induced cycle of length n) with n ≥ 5. We construct another eight "forbidden" graphs and show that every graph K on ≤ 8 vertices either contains one of our examples, or contains a hole of length ≥ 5, or has the property that A(K) does not contain hyperbolic closed surface subgroups. We also provide several sufficient conditions for a right-angled Artin group to contain no hyperbolic surface subgroups. We prove that for one of these "forbidden" subgraphs P2(6), the right-angled Artin group A(P2(6)) is a subgroup of a (right-angled Artin) diagram group. Thus we show that a diagram group can contain a non-free hyperbolic subgroup answering a question of Guba and Sapir. We also show that fundamental groups of non-orientable surfaces can be subgroups of diagram groups. Thus the first integral homology of a subgroup of a diagram group can have torsion (all homology groups of all diagram groups are free Abelian by a result of Guba and Sapir).