Smooth classifying spaces?

The answer to this does depend highly on the category in which you are prepared to work. If by "smooth structure" you mean "when is BG a finite dimensional manifold" then the answer is, as Andy says, "not many".

However if you are prepared to admit that there are more things that deserve the name "smooth" than just finite dimensional manifolds, then the answer ranges from "a few" to somewhere near "all".

To illustrate this with examples, the classifying space of ℤ is, of course, S1 whilst the classifying space of ℤ/2 is ℝℙ. Both are manifolds, but only the first is finite dimensional.

Here are some more details for the "somewhere near all". Take any topological model for BG. Then consider all continuous maps ℝ → BG. These correspond to G-bundles over ℝ. Amongst those will be certain bundles which deserve the name "smooth" bundles. By taking the corresponding curves, one determines a family of curves ℝ → BG which should be called "smooth". Using this one can define a Frölicher space structure on BG. (It is possible that you will get more smooth bundles than you bargained for this way. If that's a problem, you could work in the category of diffeological spaces but then you'd need to use all the ℝns).

In the middle, one can consider infinite dimensional manifolds. Then as your group is discrete it would be enough to ensure that you have a properly discontinuous action on an infinite sphere (there's a question somewhere around here about that being contractible). Some would say that your sphere "ought" to be the sphere in some Hilbert space. Failing that, if you have a faithful action on a Hilbert space (or more generally Banach space) with one or two topological conditions then you can quotient the general linear group by your group. Indeed, if your group is discrete then take the obvious action on ℓ2(G) (square summable sequences indexed by G).

A good example, but which is about as far from your situation for discrete groups as possible, is that of diffeomorphisms on a manifold. The classifying space of this group is the space of embeddings of that manifold in some suitable infinite dimensional space.

For more on the categories behind all this, see the nlab entries starting with generalised smooth spaces and the references therein. Also, anything by Kriegl, Michor, or Frolicher in the literature is worth a look.


I'm not sure exactly what you mean here. One possible interpretation to your questions is "Which discrete groups have classifying spaces that are smooth manifolds"? For this, here are a few isolated facts.

1) One cheap necessary condition is that your group be torsion-free, as otherwise the group's cohomological dimension would be infinite.

2) If all you care about is that there is a classifying space that is a smooth manifold (not necessarily compact), then it is enough for the space to have a compact K(G,1) -- you could embed your K(G,1) in a high-dimensional R^n and then take a regular neighborhood.

3) A more useful thing is for your group to have a classifying space that is a compact manifold without boundary. You would then need your manifold to satisfy Poincare duality in an appropriate sense.

4) However, Poincare duality is not enough. Mike Davis has constructed Poincare duality groups that are not finitely presentable (and thus cannot have classifying spaces that are compact manifolds). If you require your group to be Poincare duality and finitely presentable, then I believe that it is open whether or not the group has a closed manifold classifying space.

A good survey on Poincare duality groups is Mike Davis's paper "Poincare Duality Groups", which is available on his webpage at

http://www.math.osu.edu/~mdavis/


This paper by Mostow is a great example of how a classifying space can be given a smooth structure, and how this smooth structure can be used to represent characteristic classes using differential forms on BG:

Mostow, Mark A.
The differentiable space structures of Milnor classifying spaces, simplicial complexes, and geometric realizations.
J. Differential Geom. 14 (1979), no. 2, 255--293.
MR0587553