Spaces of commuting elements in the classical groups

Let G be the classical group, and let Hom(Z^m,G) denote the space of commuting m-tuples in G. First, we refine the formula for the Poincaré series of Hom(Z^m,G) due to Ramras and Stafa by assigning (signed) integer partitions to (signed) permutations. Using the refined formula, we determine the top term of the Poincaré series, and apply it to prove the dependence of the topology of Hom(Z^m,G) on the parity of m and the rational hyperbolicity of Hom(Z^m,G) for m≥2. Next, we give a minimal generating set of the cohomology of Hom(Z^m,G) and determine the cohomology in low dimensions. We apply these results to prove homological stability for Hom(Z^m,G) with the best possible stable range. Baird proved that the cohomology of Hom(Z^m,G) is identified with a certain ring of invariants of the Weyl group of G, and our approach is a direct calculation of this ring of invariants.