research28 min studyLesson 957 in Mathematics

Euler and Stiefel–Whitney classes

Use integral and mod-two obstructions without confusing orientation, stable triviality, and actual triviality.

Before you begin

On this page

The question for today

What you’ll understand

Track coefficient rings and bundle orientation requirements.
Compute total Stiefel–Whitney classes under direct sum.
Interpret the Euler class as an obstruction with stated limits.

Real bundles have obstructions visible in different coefficient systems. Stiefel–Whitney classes work with mod-two coefficients and require no orientation. The Euler class retains signed information but requires an orientation of the real bundle when ordinary integer coefficients are used. An orientation of the base is a separate issue, needed for an integer characteristic-number pairing rather than for defining the bundle class itself. We work with finite-rank real bundles over CW complexes or smooth manifold bases, and use ordinary untwisted Euler classes only after explicitly selecting the bundle orientation.

Mod-two classes and orientation

For a rank- $r$ real bundle $E$ , the classes $w_i(E)$ lie in $H^i(X;\mathbb F_2)$ , vanish above the rank, and assemble into a total class starting with one. They are natural under pullback and satisfy the Whitney product formula for direct sums. The first class is the obstruction to orientability of the bundle. A real line can have a nonzero first class even over an orientable base, and an orientable bundle can live over a nonorientable base. These are independent choices.

For the tautological real line $\gamma$ over $\mathbb{RP}^n$ , write $a$ for the nonzero degree-one generator. Its total class is $1+a$ , and the base ring is $\mathbb F_2[a]/(a^{n+1})$ . Direct sums are then computed by multiplication in this ring. Mod two, the cross term in a square disappears. That cancellation expresses a genuine coefficient phenomenon, not a cancellation of oriented integer obstructions or a proof that the summed bundle has a global frame.

w(E\oplus F)=w(E)w(F),\qquad w(\gamma)=1+a,\qquad H^*(\mathbb{RP}^n;\mathbb F_2)=\mathbb F_2[a]/(a^{n+1}).

Degrees, rank bounds, and the base cohomology relation must all be enforced when expanding a total class.↔ Scroll wide equations horizontally.

The signed top obstruction

For an oriented rank- $r$ real bundle, $e(E)\in H^r(X;\mathbb Z)$ is defined through the oriented Thom class and zero section. Reversing the bundle orientation changes its sign. Reducing coefficients mod two gives the top Stiefel–Whitney class. A nowhere-zero section forces the Euler class to vanish, so a nonzero Euler class obstructs such a section. Vanishing is not generally sufficient over a higher-dimensional base, because additional obstruction groups can intervene beyond this primary obstruction.

When the bundle is the tangent bundle of a closed oriented smooth manifold, its Euler class pairs with the fundamental class to give the Euler characteristic. For a transverse section, local signed zero indices sum to this number. A section with isolated zeros supplies a geometric counting interpretation, but the cohomology class exists without choosing such a section. For a nonorientable bundle an Euler class can instead use a twisted coefficient system; we do not replace that theory by an unjustified ordinary integer class.

e(E)\bmod2=w_r(E),\qquad e(-E)=-e(E),\qquad \langle e(TM),[M]\rangle=\chi(M).

Here −E means the same bundle with reversed orientation, and the final identity assumes a closed oriented smooth base with its tangent orientation.↔ Scroll wide equations horizontally.

Stable information and missing obstructions

Adding a trivial line leaves the total Stiefel–Whitney class unchanged. This stability makes these classes powerful obstructions to stable triviality, but it also limits what they can detect. The oriented tangent plane bundle of a two-sphere has Euler number two, while its top mod-two class vanishes. The stable isomorphism obtained by adjoining its normal line does not furnish a tangent frame: the extra normal direction is essential. Passing from an integer class to mod two loses the even Euler number.

Likewise, orientability only says the first Stiefel–Whitney class vanishes. It says nothing by itself about the second class or the existence of several independent sections. Characteristic classes are tests whose implications must be used in the correct direction. A nonzero obstruction rules out a structure; a zero test need not supply the structure. In explicit examples one should record the rank, the degrees available in the base ring, and the coefficient map before deciding what a vanishing calculation establishes.

Work it through

An oriented sum with a remaining mod-two obstruction

On $\mathbb{RP}^2$ let $E=\gamma\oplus\gamma$ , where $\gamma$ is the tautological real line. Compute $w_1(E)$ and $w_2(E)$ and decide whether $E$ is orientable or trivial.

The base ring is $\mathbb F_2[a]/(a^3)$ , and each line has total class $1+a$ . The Whitney formula gives $w(E)=(1+a)^2$ .
Expanding mod two gives $1+2a+a^2=1+a^2$ . Thus $w_1(E)=0$ while $w_2(E)=a^2\ne0$ .
The vanishing first class proves bundle orientability. The nonzero second class rules out triviality, since every positive-degree characteristic class of a trivial bundle vanishes. No orientation of the projective-plane base was assumed.

The result

E is an orientable nontrivial real plane bundle over a nonorientable base. Its orientation and the orientation of the base answer different questions.

The living notebook

Explore the model

Interactive lab

Interactive lab · modular

Parity loses an even signed obstruction

Pause/Reset, set modulus 2 and additive step 2, then Step: the residue remains 0 and the period is 1. Reset and set both controls to modulus 2 and step 1: residues alternate 0,1 and the period is 2. Changes retain time. This models reduction of integer increments modulo two, not an Euler-class computation or a section construction.

Additive orbitCurrent residue / next edge

Residue r0: 0
Orbit period · m/gcd(m,a): 12
Distinct residues visited: 1 of 12

Modulus m12Additive step a5

t = 0 s

Addition modulo m starts at zero: rₙ = na mod m. Playback advances two additions per second. The orbit has period m/gcd(m,a), including period one for a = 0. This is not a cryptographic security test or a primality algorithm. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forAn even nonzero integer can disappear under mod-two reduction, as the Euler number of the sphere does.

Pause & reason

Check your understanding

Interactive checks need JavaScript. You can still read the explanation.

Read the checkpoint explanation

A nowhere-zero section implies Euler-class vanishing, so its contrapositive gives the first statement. The other choices discard higher obstructions or confuse base and bundle orientations.

Your turn

Try it yourself

For the positively oriented tangent bundle of $S^2$ , compute the Euler class and total Stiefel–Whitney class. Use $TS^2\oplus\mathbb R\cong\mathbb R^3$ to explain why no contradiction occurs.

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

Pair the Euler class with the oriented sphere, then reduce mod two. Compare stable and unstabilized sections.

Compare with the solution

Let $u$ generate $H^2(S^2;\mathbb Z)$ with integral one. Poincaré–Hopf gives $e(TS^2)=2u$ . Orientability gives $w_1=0$ , and reduction gives $w_2=0$ , so $w(TS^2)=1$ . Adjoining the normal line makes the bundle trivial and preserves this total mod-two class. Nevertheless the original tangent bundle has nonzero Euler class and admits no nowhere-zero tangent field. Stable triviality supplies a frame only after adding a direction outside the tangent plane.

Keep the idea

Take it with you

Stiefel–Whitney classes use mod-two coefficients without requiring orientation.
An ordinary integer Euler class requires a bundle orientation.
Stable and reduced-coefficient invariants can miss actual nontriviality.

Read further

Original sources and deeper explanations to follow at your own pace.

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.