10
$\begingroup$

This is the first question asked in Bestvina's article "Questions in Geometric Group Theory". Does anyone know if there has been any progress made on this problem? Is the question answered if $G$ is instead automatic and contains no subgroups isomorphic to $\mathbb{Z} \times \mathbb{Z}$? If the first question is open, can someone clarify what is meant by "admit finite $k(G, 1)$" (is $G$ the fundamental group of a space with trivial higher homotopy groups or is the action of $G$ on the space properly discontinuous)? Any helpful references would be great.

$\endgroup$
6
  • 3
    $\begingroup$ I guess you consider $\mathbb{Z}^2$ as a Baumslag-Solitar group too. The answers are still not known. "Finite $K(.,1)$ is a finite CW-complex whose fundamental group is your group, and whose universal cover is contractible. $\endgroup$
    – user6976
    Commented Nov 29, 2011 at 13:21
  • $\begingroup$ I am wondering what happens for free by $\mathbb{Z}$-groups. When do they have these properties ? Can one easily see that they are hyperbolic then? Something is known about when they are CAT(0)... $\endgroup$ Commented Nov 29, 2011 at 13:49
  • 4
    $\begingroup$ @Henrik: There is a paper Kapovich, Ilya Mapping tori of endomorphisms of free groups. Comm. Algebra 28 (2000), no. 6, 2895–2917. It addresses these questions. As far as I know, the results of this paper are still the best known. $\endgroup$
    – user6976
    Commented Nov 29, 2011 at 13:59
  • 2
    $\begingroup$ @Henrik: For mapping tori of free group automorphisms, which I believe are the ones you are asking about, the result is an immediate consequence of Bestvina and Feighn's combination theorem. $\endgroup$
    – HJRW
    Commented Nov 29, 2011 at 15:59
  • 3
    $\begingroup$ This is unknown even for CAT(0) groups (where it reduces to no ZxZ subgroups). A recent result: msp.warwick.ac.uk/agt/2011/11-03/agt-2011-11-059s $\endgroup$
    – Ian Agol
    Commented Nov 29, 2011 at 17:23

0

You must log in to answer this question.