Stiefel–Whitney classes
E853116
Stiefel–Whitney classes are characteristic classes in algebraic topology that assign cohomology invariants to real vector bundles, capturing their topological and orientability properties.
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
characteristic class
ⓘ
cohomology class ⓘ topological invariant ⓘ |
| additivity | w(E ⊕ F) = w(E) ∪ w(F) ⓘ |
| appliesTo | real vector bundle ⓘ |
| axiomatizedBy |
Whitney sum formula
NERFINISHED
ⓘ
naturality ⓘ normalization on trivial bundles ⓘ |
| coefficientRing | Z2 ⓘ |
| cohomologyOperationRelation | expressible via Steenrod squares ⓘ |
| component | w_i(E) ⓘ |
| definedFor |
each nonnegative integer i
ⓘ
tangent bundle of a smooth manifold ⓘ |
| definedOn | base space of a vector bundle ⓘ |
| degreeOf | w_i(E) has degree i ⓘ |
| field | algebraic topology ⓘ |
| firstClassInterpretation | w_1 is the obstruction to orientability GENERATED ⓘ |
| functoriality |
natural with respect to bundle maps
ⓘ
natural with respect to continuous maps of base spaces ⓘ |
| introducedBy |
Eduard Stiefel
NERFINISHED
ⓘ
Hassler Whitney NERFINISHED ⓘ |
| invariantOf |
smooth manifold up to homeomorphism
ⓘ
topological manifold ⓘ |
| lowestDegreeClass | w_0(E) ⓘ |
| multiplicativity | total Stiefel–Whitney class is multiplicative under direct sum ⓘ |
| normalizationProperty | all Stiefel–Whitney classes vanish for trivial bundles except w_0 = 1 ⓘ |
| orientabilityCriterion | w_1(E) = 0 if and only if E is orientable ⓘ |
| property | w_0(E) = 1 ⓘ |
| relatedTo |
Chern classes
NERFINISHED
ⓘ
Euler class NERFINISHED ⓘ Pontryagin classes NERFINISHED ⓘ |
| secondClassInterpretation | w_2 is the obstruction to a spin structure on an oriented bundle ⓘ |
| specialCaseOf | general characteristic classes ⓘ |
| spinCriterion | w_2(E) = 0 is necessary for a spin structure ⓘ |
| takesValuesIn |
H^*(X; Z2)
ⓘ
cohomology with Z2 coefficients ⓘ |
| topClass | w_n(E) for rank n bundle ⓘ |
| topClassProperty | w_n(E) is the mod 2 Euler class ⓘ |
| totalClassNotation | w(E) = 1 + w_1(E) + w_2(E) + ⋯ ⓘ |
| usedFor |
classification of real vector bundles up to isomorphism
ⓘ
cobordism theory ⓘ detecting nontriviality of vector bundles ⓘ immersion and embedding problems of manifolds ⓘ obstruction theory NERFINISHED ⓘ surgery theory ⓘ |
| usedIn |
Hopf invariant and related problems
ⓘ
study of vector fields on spheres ⓘ |
| vanishingCondition | w_i(E) = 0 for i greater than rank of E ⓘ |
| yearIntroducedApprox | 1930s ⓘ |
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.