Prefer a chat interface with context about you and your work?
The Basilica Thompson group is not finitely presented
We show that the Basilica Thompson group introduced by Belk and Forrest is not finitely presented, and in fact is not of type FP _2 . The proof involves developing techniques for proving non-simple connectedness of certain subcomplexes of CAT(0) cube complexes.