Transactions of the american mathematical society vol:359 issue:6 pages:2539-2558
In this paper we present a method to compute the real cohomology of any finitely generated virtually nilpotent group. The main ingredient in our setup consists of a polynomial crystallographic action of this group. As any finitely generated virtually nilpotent group admits such an action (which can be constructed quite easily), the approach we present applies to all these groups. Our main result is an algorithmic way of computing these cohomology spaces. As a first application, we prove a kind of Poincare duality (also in the nontorsion free case) and we derive explicit formulas in the virtually abelian case.