## Uniqueness of Chern/Stiefel-Whitney Classes

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

This question is closely related to this previous question.

Chern and Stiefel-Whitney classes can be defined on bundles over arbitrary base spaces. (In Hatcher's Vector Bundles notes, he uses the Leray-Hirsch Theorem, which appears to require paracompactness of the base space. The construction in Milnor-Stasheff works in general, as does the argument given by Charles Resk in answer to the above question. A posteriori, this actually shows that Hatcher's construction works in general too, since he really just needs `$w_1$` and `$c_1$` to be defined everywhere.)

The proof of uniqueness (as discussed in Milnor and Stasheff, or in Hatcher's Vector Bundles notes, or in the answers to the above question) relies on the splitting principle, and hence (it seems to me) requires the existence of a metric on the bundle in question. More precisely, if we have two sequences of characteristic classes satisfying the axioms for, say, Chern classes, and we want to check that they agree agree on some bundle `$E\to B$`, the method is to pull back `$E$` along some map `$f: B'\to B$` (with $f^*$ injective on cohomology) so that `$f^*E$` splits as a sum of lines. Producing the splitting seems to require a metric on `$E$` (or at least on `$f^*E$`).

If `$B$` is not paracompact, bundles over `$B$` may not admit a metric (and may admit a classifying map into the universal bundle over the Grassmannian), so my question is:

Are Chern and/or Stiefel-Whitney classes unique for arbitrary bundles? If not, do `$w_1$` and `$c_1$` at least determine the higher-dimensional classes?

-

## 1 Answer

I'm going to assume that your characteristic classes are supposed to live in the singular cohomology of the base space. Then to show your uniqueness result, it should be enough if you can produce, for any space $B$, a map $f:B'\to B$ such that $B'$ is paracompact, and $f$ induces an isomorphism in singular cohomology.

For any $B$, you can find a CW-complex $B'$ and a weak equivalence $f: B'\to B$, by one of Whitehead's many theorems. Weak equivalences always induce isomorphisms in singular cohomology, and CW-complexes are paracompact (I think!). Hatcher's topology textbook proves all of these, except possibly for the paracompactness claim (for which I can't find a reference yet).

If you're talking about Cech cohomology, then this proof won't work.

-

2
CW-complexes are paracompact. Milnor and Stasheff, p. 74, references Miyazaki, H., Paracompactness of CW complexes , Tohoku Math. J. 4 (1952), 309-313 and Dugundji, J., "Topology," Allyn and Bacon, Boston, 1996, p. 419. – Cotton Seed Mar 18 2010 at 20:07
Excellent! I think I've actually used an argument along these lines before... Hatcher's Vector Bundles notes include a proof that CW complexes are paracompact. It's in the Appendix to Chapter 1. – Dan Ramras Mar 18 2010 at 21:47
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 8, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9121212363243103, "perplexity_flag": "middle"}