Spaces that are both homotopically and cohomologically finite

2011-06-08T05:16:48Z

Is it true that every connected space with

1) just finitely many nontrivial homotopy groups, all finite,

and

2) just finitely many nontrivial rational cohomology groups, all finite rank,

is weakly homotopy equivalent to a point?

In 1953 Serre proved that any noncontractible simply-connected finite CW-complex has infinitely many nontrivial homotopy groups. That kills off a lot of possible counterexamples.

In 1998, Carles Casacuberta wrote:

However, we do not know any example of a finite CW-complex with finitely many nonzero homotopy groups which is not a $K(G, 1)$, and the results of this paper suggest that it is unlikely that there exist any.

I'm interested in my question because the spaces it asks about are the connected spaces whose homotopy cardinality and Euler characteristic are both well-defined. These concepts are morally 'the same', but it seems the spaces on which they're both defined are in very short supply, unless we stretch the rules of the game and use tricks for calculating divergent alternating products or sums.

For some further discussion of these issues see the comments starting here:

http://golem.ph.utexas.edu/category/2011/05/mbius_inversion_for_categories.html#c038299

and also these slides and references:

http://math.ucr.edu/home/baez/counting/

Edit: Condition 1) was supposed to say our space is "cohomologically finite", while 2) was supposed to say it's "homotopically finite". It's been pointed out that condition 1) is too weak: spaces like $\mathbb{R}P^\infty = K(\mathbb{Z}/2,1)$ exploit this weakness and serve as easy counterexamples to my question. They are cohomologically infinite in some sense, but not in a way detected by rational cohomology.

So let me try again. I can think of two ways:

Fix #1: Is it true that every connected space with

1) just finitely many nontrivial homotopy groups, all finite,

and

2) just finitely many nontrivial integral cohomology groups, all finitely generated,

is weakly homotopy equivalent to a point?

Fix #2: Is it true that every connected finite CW complex with just finitely many nontrivial homotopy groups, all finite, is homotopy equivalent to a point?

Answer by Tom Church for Spaces that are both homotopically and cohomologically finite

2011-06-08T05:34:01Z

$\mathbb{R}P^\infty$.

Answer by Neil Strickland for Spaces that are both homotopically and cohomologically finite

2011-06-08T12:05:01Z

This is really a comment rather than an answer.

I am dubious that the Euler characteristic of $X$ can be considered well-defined if $H^\ast(X;\mathbb{Q})$ is finitely-generated but $H^\ast(X;\mathbb{Z})$ is not. If $H^*(X;\mathbb{Z})$ is finitely generated then the Euler characteristic of $H^\ast(X;K)$ is constant for all fields $K$. If $X=\mathbb{R}P^\infty$ then we have an Euler characteristic of $1$ for any field whose characteristic is odd or zero. In characteristic two the Poincare series can be regarded as the rational function $f(t)=1/(1-t)$ and by putting $t=-1$ you get an Euler characteristic of $1/2$. Perhaps there is some context in which the Euler characteristic can be defined as an adele?

Spaces that are both homotopically and cohomologically finite - MathOverflow

Spaces that are both homotopically and cohomologically finite

Answer by Tom Church for Spaces that are both homotopically and cohomologically finite

Answer by Neil Strickland for Spaces that are both homotopically and cohomologically finite