In this recent preprint, the authors construct a certain uncountable family of non-finitely presented FP groups. Recall that group is an FP group if the trivial $\mathbb Z[G]$-module $\mathbb Z$ has a finite projective resolution by finitely generated $\mathbb Z[G]$-projectives.
In fact, if I understand correctly, the family that they construct is a family of groups of cohomological dimension $2$; but this specific point does not seem to be the focus of their paper. Furthermore, theirs is not the first example of a non-finitely presented FP group, and so it leads me to my question:
Were there earlier examples of non finitely-presented FP groups of cohomological dimension $2$ ?
I want to be liberal with the meaning of the word "example": my question is specifically whether there was an earlier proof that such things existed, whether or not some explicit examples were given.
(NB : this is not quite my field of research, so maybe this is (very?) classical : any pointers to classical literature on the topic where this question is discussed would be helpful)
Best Answer
The Bestvina-Brady construction of non-finitely presented groups of type FP produces groups of cohomological dimension two. Bestvina-Brady groups are parametrized by finite flag simplicial complexes. The Bestvina-Brady group is of type FP iff the flag complex is acyclic (=has the same ordinary homology as a point), is finitely generated iff the flag complex is connected, is finitely presented iff the flag complex is simply connected. For an acyclic flag complex the cohomological dimension of the Bestvina-Brady group is equal to the dimension of the flag complex.
So if you apply the Bestvina-Brady construction to any non-simply connected 2-dimensional acyclic complex you get a group having the properties that you asked for.
My `generalized Bestvina-Brady groups' allow you to construct uncountable families of groups of type FP, each having cohomological dimension two. The main novelty in my article with Tom Brown that you referenced in your question is that we use very different methods, whereas previous constructions all used CAT(0) cubical techniques.
As for some references: for a discussion of the question before it was answered, look at K S Brown's book Cohomology of Groups, Chapter VIII, especially VIII.5-VIII.8. The article by Bestvina and Brady is the best place to look for the construction of the examples.