Skip to main content
1 of 2

Should cohomology of $\mathbb{C} P^\infty$ be a polynomial ring or a power series ring?

Some people define total cohomology of a space $X$ to be $\bigoplus_{i \geq 0} H^i(X)$, which would make $H^*(\mathbb{C} P^\infty)$ a polynomial ring in one generator of degree 2.

However, it seems like thinking of $H^*(\mathbb{C} P^\infty)$ as a power series ring is more natural for several reasons. For one thing, if cohomology is like the dual of homology, then the dual to an infinite direct sum is a direct product. Many algebraic formulas are also simplified if one allows for the entire power series ring rather than the polynomial ring.

Are there compelling reasons to define total cohomology as $\bigoplus_i H^i$ or as $\prod_i H^i$?