6
$\begingroup$

It seems to be known that Hirsch length and cohomological dimension agree for (torsion-free, finitely generated) polycyclic groups.

If we drop the assumption "torsion-free", then cd is of course infinite. But, is it still true (as one might expect) that the rational cohomological dimension is bounded above by the Hirsch length?

More generally, are there known conditions on a group G such that cd(G)≥cd(H) if there is a surjective homomorphism G-->H? (For the Hirsch length this inequality is immediate from the definition.)

Improve this question
$\endgroup$
2
  • $\begingroup$ Regarding the parenthetical "finitely generated": all polycyclic groups are finitely generated. $\endgroup$
    – Stephen S
    Commented Oct 11, 2011 at 8:16
  • 2
    $\begingroup$ Doesn't the question on rational cohomological dimension follow directly from the Hochschild-Serre s.s.? $\endgroup$
    – Torsten Ekedahl
    Commented Oct 11, 2011 at 9:27

1 Answer 1

Reset to default
8
$\begingroup$

Hillman extended the notion of Hirsch length to elementary amenable groups and proved that it is bounded above by the rational cohomological dimension. The reference is

Jonathan A. Hillman, Elementary amenable groups and 4-manifolds with Euler characteristic 0, J. Austral. Math. Soc. (Series A) 50 (1991), 160-170.

To answer the question in the comments about nilpotent groups, theorem 5, section 8.8 in Gruenberg's book "Cohomological topics in group theory" (Springer LNM 143) says that for a torsion free nilpotent group $G$ with finite Hirsch length, one has $cd(G)=h(G)$ when $G$ is finitely generated and $cd(G)=h(G)+1$ otherwise.

Improve this answer
$\endgroup$
1
  • $\begingroup$ What about nilpotent groups? Does one have equality in this case? $\endgroup$
    – anonymous
    Commented Oct 11, 2011 at 10:03

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .