Characteristic class: Difference between revisions
No edit summary |
|||
| Line 1: | Line 1: | ||
==Definition== | ==Definition== | ||
A '''characteristic class''' is a function that associates, to every principal <math>G</math>-bundle <math>P \to X</math> an element <math>c(P)</math> in the cohomology algebra <math>H^*(X)</math>, such that if <math>f:Y \to X</math> is a continuous map, then <math>c(f^*P) = f^*(cP)</math> where the <math>f^*</math> on the left is the usual pullback of the bundle, and the <math>f^*</math | A '''characteristic class''' is a function that associates, to every principal <math>G</math>-bundle <math>P \to X</math> an element <math>c(P)</math> in the cohomology algebra <math>H^*(X)</math>, such that if <math>f:Y \to X</math> is a continuous map, then <math>c(f^*P) = f^*(cP)</math> where the <math>f^*</math> on the left is the usual pullback of the bundle, and the <math>f^*</math> on the right is the induced map on the cohomology. | ||
Revision as of 07:22, 7 July 2007
Definition
A characteristic class is a function that associates, to every principal -bundle an element in the cohomology algebra , such that if is a continuous map, then where the on the left is the usual pullback of the bundle, and the on the right is the induced map on the cohomology.