Groups of type FP via graphical small cancellation II: relators with symmetry

Tom Brown and I gave a construction of non-finitely presented groups of type FP that is independent of the Bestvina-Brady argument but instead used graphical small cancellation.  Our result required the construction of a 'Spectacular complex' - a 2-dimensional acyclic complex whose polygons have some small cancellation property.  A new argument produces more examples including examples of larger cohomological dimension.

(Builds on joint work with Tom Brown)