Ruinous subsets of Richard Thompson’s group FF

The group FF was invented in the 1960’s by Richard Thompson. Geoghegan then asked the question of whether or not FF is an example of a finitely presented nonamenable group which has no free subgroup on two generators. We show that FF is nonamenable if and only if there exist subsets in the positive monoid PP of FF which satisfy certain properties.