MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let me preface this question by saying that I am not an algebraic topologist.

Motivation. I was looking with a colleague at the homotopy type of a family of posets and we were able to show using discrete Morse theory that the order complex of this poset was homotopy equivalent to a space with exactly one-cell in dimensions $0$ to $n$ and no cells of higher dimension. Moreover, we can show that the fundamental group is cyclic. Extensive computer computation shows that it is most likely true that the homology in each dimension from $0$ to $n$ is $\mathbb Z$, Thus it smells like our complex is homotopy equivalent to a wedge of spheres, one from each dimension from $1$ to $n$. Before killing ourselves to prove that the homology is as the computer suggests, we wanted to figure out if this data implies the homotopy type of a wedge.

Question. Is is true that if one has an $n$-dimensional CW complex $X$ with exactly one cell in each dimension (from $0$ to $n$) such that $\pi_1(X)=\mathbb Z$ and $H^q(X)=\mathbb Z$ for $0\leq q\leq n$, then $X$ has the homotopy type of a wedge $\bigvee_{q=1}^n S^q$?

share|cite|improve this question
up vote 22 down vote accepted

No, this is false. For example take $\mathbb{CP}^2\vee S^1\vee S^3$. It admits a cell decomposition and cohomology groups as you describe but clearly has a different homotopy type then a wedge of spheres because the cohomology ring structure is different.

share|cite|improve this answer
Thanks!!!!!!!!! – Benjamin Steinberg Dec 16 '11 at 2:27

You can take $S^1\vee S^2\vee S^3$ and then use the Hopf fibration from $S^3$ to $S^2$ as the attaching map for a 4-cell onto the 2-cell. This has to have the cohomology (and homotopy) as you described.

(Having now seen Vitali's answer, I guess this is the same as his, but I thought I might as well give this answer anyway.)

share|cite|improve this answer
Thanks Hugh.... – Benjamin Steinberg Dec 16 '11 at 2:45

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.