Skip to main content

maybeMaybe this isntisn't the "right" way to think about them, but iI have often found the following characterization much more appealing: the characteristic classes are just elements of $E^*(BG)$ for some cohomology theory and some group G$G$, if E$E$ is ordinary cohomology with integer coefficients and G$G$ is the infinite unitary group you get chernChern classes etc. The universal property of BG$BG$ gives you a unique map that classifies each G$G$- bundlebundle, now look at the map in cohomology that you get from this and you get the characteristic class of the desired bundle. thisThis probably requires some sort of orientability for things to be "nice" but you can certainly define characteristic classes for any cohomology theory this way, they just might not have nice relations.

maybe this isnt the "right" way to think about them, but i have often found the following characterization much more appealing: the characteristic classes are just elements of $E^*(BG)$ for some cohomology theory and some group G, if E is ordinary cohomology with integer coefficients and G is the infinite unitary group you get chern classes etc. The universal property of BG gives you a unique map that classifies each G- bundle, now look at the map in cohomology that you get from this and you get the characteristic class of the desired bundle. this probably requires some sort of orientability for things to be "nice" but you can certainly define characteristic classes for any cohomology theory this way, they just might not have nice relations.

Maybe this isn't the "right" way to think about them, but I have often found the following characterization much more appealing: the characteristic classes are just elements of $E^*(BG)$ for some cohomology theory and some group $G$, if $E$ is ordinary cohomology with integer coefficients and $G$ is the infinite unitary group you get Chern classes etc. The universal property of $BG$ gives you a unique map that classifies each $G$-bundle, now look at the map in cohomology that you get from this and you get the characteristic class of the desired bundle. This probably requires some sort of orientability for things to be "nice" but you can certainly define characteristic classes for any cohomology theory this way, they just might not have nice relations.

Source Link
Sean Tilson
  • 3.7k
  • 1
  • 39
  • 40

maybe this isnt the "right" way to think about them, but i have often found the following characterization much more appealing: the characteristic classes are just elements of $E^*(BG)$ for some cohomology theory and some group G, if E is ordinary cohomology with integer coefficients and G is the infinite unitary group you get chern classes etc. The universal property of BG gives you a unique map that classifies each G- bundle, now look at the map in cohomology that you get from this and you get the characteristic class of the desired bundle. this probably requires some sort of orientability for things to be "nice" but you can certainly define characteristic classes for any cohomology theory this way, they just might not have nice relations.