Is there a simple proof that 3-dimensional graph manifolds have residually finite fundamental groups?

By "simple" I mean the proof that does not use any hard 3d topology. I care because I wish to generalize this to higher-dimensional analogs of graph manifolds.

  • $\begingroup$ A question that begs for Henry Wilton's attention. $\endgroup$ – Greg Kuperberg Dec 15 '09 at 19:40
  • 2
    $\begingroup$ Attention duly provided. $\endgroup$ – HJRW Dec 15 '09 at 20:01
  • $\begingroup$ I've just rolled-back Igor's edit to the questionthat changed it to ask about residual hyperbolicity (see the edit history), and asked him to post that as a new question. $\endgroup$ – Scott Morrison Dec 15 '09 at 21:59

As far as I'm aware, every proof of this fact is essentially the same as Hempel's original proof. I don't know whether it's "simple" enough for you! The key point is that the fundamental group G of a Seifert-fibred piece has the following property.

Property. There exists an integer K such that for any positive integer n there is a finite-index normal subgroup Gn of G such that any peripheral subgroup P intersects Gn in KnP.

It's not too hard to prove. There's a nice account in a paper by Emily Hamilton (which generalizes Hempel's result).

The other important fact is that peripheral subgroups in Seifert-fibred manifold groups are separable (ie closed in the profinite topology, for any non-experts out there).

Using these two pieces of information, you can piece together finite quotients of Seifert-fibred pieces into a virtually free quotient of π1 of the graph manifold in which your favourite element doesn't die.

Note on separability of peripheral subgroups. Of course, Scott proved that Seifert-fibred manifold groups are LERF. But, by a pretty argument of Long and Niblo, a subgroup is separable if and only if the double along it is residually finite. In particular, you can deduce peripheral separability from the easier fact that Seifert-fibred manifold groups are residually finite.

  • $\begingroup$ Thanks, Henry! Unfortunately, this is too hard to generalize to higher-dimensional case. I will edit the question to reflect downgraded expectations. $\endgroup$ – Igor Belegradek Dec 15 '09 at 20:28
  • $\begingroup$ To add a little, the key point of Henry's "Property" is that the induced subgroups are characteristic for the peripheral subgroups, and you can find common cover of each component of the JSJ decomposition which induces the same characteristic cover of each peripheral subgroup. I don't think you really need peripheral subgroup separability. You just need to know that that as K goes to infinity, the groups G_n intersect in the trivial group. $\endgroup$ – Ian Agol Dec 15 '09 at 20:35
  • $\begingroup$ Ian, without peripheral separability it's conceivable that there's a g not in P such that g is in PG_n for every n. How do you envisage getting round this? $\endgroup$ – HJRW Dec 15 '09 at 21:13
  • $\begingroup$ Hey Henry, I think you're right. I guess Hempel proves peripheral subgroup separability in the course of his argument, even though he doesn't phrase it in such terms. $\endgroup$ – Ian Agol Dec 15 '09 at 22:32
  • $\begingroup$ Hi Ian, I suppose the point of the Long--Niblo argument is that you will have peripheral separability if the double is residually finite. So if you don't have it then you're hosed anyway. $\endgroup$ – HJRW Dec 15 '09 at 23:13

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.