Compactly-supported cohomology, integration along the fiber, and the de Rham Thom isomorphism

Intuition [Beginner]

A vector bundle is a smoothly varying family of vector spaces over a base space. Imagine a curved surface and, at every point, a separate copy of a fixed vector space attached — a "fiber" — varying smoothly as the point moves. The Thom isomorphism is the statement that the cohomology of the whole bundle (with a suitable support condition) is the cohomology of the base, shifted up in degree by the rank of the fiber.

The trick that makes the isomorphism explicit is integration along the fiber. Take a form on the bundle with appropriate support; integrate over the fiber direction, leaving a form on the base. Going the other direction: take a form on the base, pull it back to the bundle, and wedge with a special form $\Phi$ — the Thom class — that integrates to one on each fiber. The two operations are mutually inverse, up to homotopy.

The Thom class $\Phi$ is constructed concretely from the global angular form $\psi$. On a sphere bundle (one obtained by trimming each vector-space fiber of a vector bundle to the unit sphere of that fiber), the angular form is the bundle-version of $d\theta$ on a circle: a one-form whose fiber-integral is one. The Bott-Tu sign convention pins this: $d\psi =-{\pi }^{\ast }e(E)$, where $e(E)$ is the Euler class of the original vector bundle. The Euler class is the obstruction to a global non-zero section, and it appears here as the failure of $\psi$ to be closed.

The whole story is the differential-form face of one of the most basic identifications in topology: the cohomology of a vector bundle equals the cohomology of its base, shifted by the rank.

Visual [Beginner]

A circle bundle: a thin tube wrapping a base circle, with each point of the base supporting its own tiny circle as a fiber. On every fiber, an angular form measures the fraction of the circle traversed. As the base point moves around the loop, the angular forms on adjacent fibers fit together into a global one-form $\psi$ on the tube. The differential of $\psi$ is no longer zero on the tube — it equals (the negative of) a base form pulled back by the bundle projection.

The picture is a recipe: build a Thom class from the angular form, and the cohomology of the bundle is the cohomology of the base, shifted by the rank.

Worked example [Beginner]

Take the simplest oriented rank-two real vector bundle: the product bundle on a point, with fiber ${\mathbb{R}}^2$. The Thom class lives in degree two compactly-supported cohomology of ${\mathbb{R}}^2$. Concretely, build a smooth bump form on ${\mathbb{R}}^2$ whose fiber-integral is one — for instance, a smooth approximation to $\frac{1}{2\pi r}dr\wedge d\theta$ on the unit disc, smoothed and bump-cut so that it has compact support. Call it $\Phi$. Its fiber integral over ${\mathbb{R}}^2$ is, by construction, one.

The Thom-isomorphism map sends a constant on the base point to $\Phi$ on the bundle. It sends the constant five to the form $5\Phi$, which integrates to five on the fiber. The inverse map — fiber integration — sends $5\Phi$ back to the constant five.

Now twist: replace the base point by a circle, and take the Möbius bundle (rank-one, non-orientable). The Thom class no longer exists in real cohomology — the Möbius bundle is non-orientable, and the orientation obstruction is precisely the failure of a Thom class to exist with $\mathbb{R}$-coefficients. (With $\mathbb{Z}/2$-coefficients, a $\mathbb{Z}/2$-valued Thom class still exists; with twisted coefficients, an $\mathbb{R}$-valued Thom class exists in the orientation local system.)

What this tells us: the Thom class is the differential-form realisation of the orientation of the bundle, and its existence as a form is exactly the statement that the bundle is orientable.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $\pi :E\to M$ be a rank-$r$ smooth vector bundle over a smooth manifold $M$.

Compactly-supported forms. A differential form $\omega \in {\Omega }^{\ast }(M)$ has compact support if there is a compact set $K\subset M$ with $\mathrm{supp}\omega \subset K$. The complex of compactly-supported forms is ${\Omega }_c^{\ast }(M)$, with differential $d$ inherited from ${\Omega }^{\ast }(M)$. Its cohomology is $H_c^{\ast }(M)$, the compactly-supported de Rham cohomology ^{[Bott-Tu §6]}.

Compactly-vertical forms. A form $\omega \in {\Omega }^{\ast }(E)$ has compact vertical support if for every compact $K\subset M$, the support $\mathrm{supp}(\omega )\cap {\pi }^{-1}(K)$ is compact. The complex of such forms is ${\Omega }_{cv}^{\ast }(E)$ — Bott-Tu's coinage — with $d$ inherited from ${\Omega }^{\ast }(E)$. Its cohomology is $H_{cv}^{\ast }(E)$, the compactly-vertical cohomology ^{[Bott-Tu §6 — Bott-Tu coinage]}.

Integration along the fiber. For an oriented rank-$r$ vector bundle $\pi :E\to M$, define

$${\pi }_{\ast }:{\Omega }_{cv}^{p+r}(E)\to {\Omega }^p(M)$$

by the formula

$$({\pi }_{\ast }\omega {)}_x(v_1,\dots ,v_p)={\int }_{E_x}\omega ({\tilde{v}}_1,\dots ,{\tilde{v}}_p,\cdot ,\dots ,\cdot ),$$

where ${\tilde{v}}_i$ is any tangent lift of $v_i$ along $\pi$, and the remaining slots are integrated over the fiber $E_x\cong {\mathbb{R}}^r$ with its given orientation. The integral is independent of the choice of lift because the form has compact vertical support ^{[Bott-Tu §6]}.

Commutation with $d$. For an oriented bundle,

$$d\circ {\pi }_{\ast }={\pi }_{\ast }\circ d,$$

so ${\pi }_{\ast }$ descends to a map on cohomology

$${\pi }_{\ast }:H_{cv}^{p+r}(E)\to H^p(M).$$

(For unoriented bundles, the formula picks up the orientation local system as a twist.)

Thom class. The Thom class $\Phi \in H_{cv}^r(E)$ is the cohomology class characterised by

$${\int }_{\mathrm{fiber}}\Phi =1$$

— i.e., ${\pi }_{\ast }\Phi =1\in H^0(M)$. Existence and uniqueness of the Thom class for an oriented vector bundle is the content of the Thom isomorphism theorem (proved in §Key theorem). Bott-Tu fix the symbol $\Phi$ for this class throughout ^{[Bott-Tu §6]}.

Global angular form. Let $\pi :S(E)\to M$ be the unit-sphere bundle of an oriented rank-$r$ Euclidean vector bundle. The global angular form $\psi \in {\Omega }^{r-1}(S(E))$ is a globally defined $(r-1)$-form on $S(E)$ that restricts to the standard volume form (normalised so that the fiber integral equals one) on each fiber $S(E{)}_x\cong S^{r-1}$. The Bott-Tu construction (per §Full proof set) gives a $\psi$ satisfying

$$d\psi =-{\pi }^{\ast }e(E),$$

where $e(E)\in H^r(M)$ is the Euler class of the bundle. This is the Bott-Tu sign convention; the alternative $d\psi =+{\pi }^{\ast }e$ is used by Milnor-Stasheff (with all subsequent signs flipped consistently) ^{[Bott-Tu §6, with sign comparison from Milnor-Stasheff §11]}.

Euler class — de Rham model. $e(E)\in H^r(M)$ is defined by either:

(i) $e(E)=-{\pi }_{\ast }(d\psi )$ for $\psi$ the global angular form on $S(E)$ (Bott-Tu sign);

(ii) $e(E)=i^{\ast }\Phi$ for $i:M\hookrightarrow E$ the zero section, $\Phi$ the Thom class.

The two definitions agree (per §Full proof set).

Key theorem with proof [Intermediate+]

Theorem (de Rham Thom isomorphism). Let $\pi :E\to M$ be an oriented rank-$r$ smooth vector bundle. The map

$$T:H^p(M)\to H_{cv}^{p+r}(E),[\omega ]\mapsto [{\pi }^{\ast }\omega \wedge \Phi ]$$

is an isomorphism, with inverse $\pi_$.*

Proof. We prove the theorem in three steps: (a) Poincaré lemma for $H_{cv}^{\ast }({\mathbb{R}}^r)\to H^{\ast }$ on a point; (b) Mayer-Vietoris induction over a finite good cover (per 03.04.10) trivializing the bundle on each cover element; (c) the same compatibility argument that proves Künneth.

Step (a) — Local case: $E = M \times \mathbb{R}^r \to M = {}$.\ast Here$H^_{cv}(\mathbb{R}^r) = H^c(\mathbb{R}^r)$,whichequals$\mathbb{R}$indegree$r$andzeroelsewhere(thecompactly-supportedPoincar\acute{e}lemma—provedin[\mathrm{03.04.06}]).Themap$T$inthiscaseis$\mathbb{R} \to H^r_c(\mathbb{R}^r) = \mathbb{R}$,sending$1 \mapsto [\Phi]$.Since$\Phi$hasfiberintegralone,$\pi* \Phi = 1$,so$T$isanisomorphisminthiscasewithinverse$\pi_*$.

Step (b) — Product bundle over arbitrary base: $E=M\times {\mathbb{R}}^r$. By the Künneth theorem (which we prove independently — see 03.04.12 forthcoming, or Bott-Tu §5 directly): $H_{cv}^{\ast }(M\times {\mathbb{R}}^r)\cong H^{\ast }(M)\otimes H_c^{\ast }({\mathbb{R}}^r)=H^{\ast }(M)\otimes \mathbb{R}[r]$, where $\mathbb{R}[r]$ is $\mathbb{R}$ in degree $r$. Hence $H_{cv}^{p+r}(M\times {\mathbb{R}}^r)\cong H^p(M)\otimes \mathbb{R}$, and the isomorphism is given by $\omega \otimes 1\mapsto {\pi }^{\ast }\omega \wedge \Phi$. So $T$ is an isomorphism for product bundles.

Step (c) — General bundle: Mayer-Vietoris induction. Choose a finite good cover $\{U_1,\dots ,U_n\}$ of $M$ trivializing $E$ on each $U_i$ (refine the good cover if needed; the trivialization-and-good-cover refinement is finite by compactness when $M$ is compact, otherwise countable). Set $E_i=E{|}_{U_i}$. Each $E_i$ is a product bundle over $U_i$, so $T$ is an isomorphism on $E_i$ by step (b).

Run Mayer-Vietoris induction on the size of the cover (per 03.04.10). At each step, the cover $\{V_{k-1},U_k\}$ of $V_k=U_1\cup \cdots \cup U_k$ produces an MV sequence both for $H^{\ast }$ on $V_k$ and for $H_{cv}^{\ast }$ on $E{|}_{V_k}$. The natural transformation $T$ provides a map between the two MV sequences, commuting with restrictions and (after a routine sign check) with the connecting maps. By the inductive hypothesis, $T$ is an isomorphism on $V_{k-1}$, on $U_k$, and on $V_{k-1}\cap U_k$ (each a smaller-cover instance). The five lemma then gives that $T$ is an isomorphism on $V_k$.

After $n$ steps, $V_n=M$, so $T:H^p(M)\to H_{cv}^{p+r}(E)$ is an isomorphism. The inverse is ${\pi }_{\ast }$ by direct check on representatives. $\square$

The proof is the canonical Bott-Tu §1.7 dual-proof template: Mayer-Vietoris induction over a good cover to globalise a local result. The same Thom isomorphism is re-proved in the forthcoming Čech-de Rham double-complex unit 03.04.11 via tic-tac-toe, with the second proof shorter — the dual-proof discipline.

Synthesis. The Thom isomorphism is the foundational reason characteristic-class theory is computable in differential-form language. This is exactly the equivalence between $H^{\ast }(M)$ and $H_{cv}^{\ast }(E)$, which generalises to the K-theoretic Thom isomorphism. The bridge between bundle topology and base cohomology is exactly the Thom class.

Bridge. The construction here builds toward 03.05.10 pending (sphere bundle, the global angular form, and the hopf index theorem), where the same data is upgraded, and the symmetry side is taken up in 03.04.11 (čech-de rham double complex and the tic-tac-toe principle). The defining pattern appears again in those units in a sharpened form, where the local data is glued or quotiented. Putting these together, the foundational insight is that the data of this unit gives the structural signature that the rest of the strand reads off.

Exercises [Intermediate+]

Lean formalization [Intermediate+]

lean_status: partial — Mathlib has compactly-supported function infrastructure (HasCompactSupport) and partial differential-form support, but compactly-vertical forms on a vector bundle, integration along the fiber, and the Thom isomorphism are not formalised. The Codex stub captures the API shape.

[object Promise]

The missing project work is to integrate Mathlib's Mathlib.Geometry.Manifold.VectorBundle with the compactly-supported-along-fiber condition, define integration along the fiber on the resulting complex, and prove the de Rham Thom isomorphism via Mayer-Vietoris induction.

Advanced results [Master]

Thom class as relative cohomology. $H_{cv}^{\ast }(E)\cong H^{\ast }(D(E),S(E))$ where $D(E)$ is the unit-disc bundle and $S(E)$ is the unit-sphere bundle of an oriented Euclidean rank-$r$ bundle. The Thom class $\Phi \in H_{cv}^r(E)$ corresponds to the relative fundamental class $[D(E),S(E)]$. By conn:435.thom-iso-de-rham-relative, the Thom isomorphism is the relative de Rham long exact sequence on a tubular neighborhood of the zero section. This identifies the Thom isomorphism with a structural fact about the cohomology of pairs.

Gysin sequence. The unit-sphere bundle $\pi :S(E)\to M$ of an oriented rank-$r$ Euclidean bundle has the Gysin sequence

$$\cdots \to H^{q-r}(M)\stackrel{\cup e(E)}{\to }{H}^q(M)\stackrel{{\pi }^{\ast }}{\to }{H}^q(S(E))\stackrel{{\pi }_{\ast }}{\to }{H}^{q-r+1}(M)\to \cdots$$

derived from the Thom isomorphism applied to the disc-sphere pair. The cup-with-Euler-class map is the connecting homomorphism. The Gysin sequence will appear in the spectral-sequence chapter and powers many computations of $H^{\ast }$ on flag manifolds and Stiefel manifolds.

Hopf index theorem. A generic smooth section $s:M\to E$ of an oriented rank-$r$ bundle on a closed oriented $n$-manifold ($n=r$) has finitely many zeros, each with a local index $\pm 1$. The Hopf index theorem states ${\sum }_{p\in s^{-1}(0)}\mathrm{ind}(s,p)={\int }_{M}e(E)=⟨e(E),[M]⟩$. The proof uses the Thom class to localise the count of zeros to a Euler-class evaluation. This is the entire content of the forthcoming sphere-bundle unit 03.05.10 pending, and it is the Bott-Tu de Rham version of the Poincaré-Hopf theorem.

Connection to Chern-Weil theory. The Euler form is the simplest of the Chern-Weil characteristic classes (per 03.06.06). For a rank-$r$ oriented Euclidean bundle with metric connection, the Euler form is the Pfaffian of the curvature $\frac{1}{(2\pi {)}^{r/2}}\mathrm{Pf}(\Omega )$ (when $r$ even). By conn:433.thom-de-rham-chern-weil, de Rham Thom class equivalent to Chern-Weil Euler form on the same bundle (equivalence). The two routes — Thom class on the total space, Chern-Weil on the base — give the same cohomology class on $M$.

Connection to spin geometry. On a spin manifold, the global angular form on the spinor unit-sphere bundle is the structural input for the $\hat{A}$-genus density in the local Atiyah-Singer index theorem (per 03.09.20). By conn:434.global-angular-form-spin, spin-geometry Â-genus machinery built on the global angular form (foundation-of). Both the Bismut superconnection formalism and the Getzler rescaling use the angular-form sign convention as a structural input.

Connection to twisted cohomology. On a non-orientable manifold, the orientation local system $o$ replaces the constant sheaf in the Thom apparatus. By conn:439.local-system-twisted-de-rham, twisted de Rham complex built on orientation local system (foundation-of). This is the structural foundation for twisted Poincaré duality on non-orientable manifolds, treated downstream in 04.03.02.

Relative de Rham complex. The pair $(E,E\setminus M)$ — total space minus zero section — has relative de Rham cohomology $H^{\ast }(E,E\setminus M)\cong H_{cv}^{\ast }(E)$ (forms supported in a tubular neighborhood of the zero section). The Thom class is the relative orientation class. This is the structural foundation for the Gysin pushforward in algebraic topology and the entire excision-style apparatus.

Madsen-Tornehave variant. Madsen-Tornehave §11 gives an alternative construction of the Thom class via the Atiyah-Bott parametrix: a smoothing of the formal $\delta$-function on the zero section, supported in a tubular neighborhood. The Madsen-Tornehave construction is computationally less explicit than the Bott-Tu global-angular-form construction but generalises more readily to non-orientable bundles and to families.

Full proof set [Master]

Existence of a global angular form. Let $\pi :S(E)\to M$ be the unit-sphere bundle of an oriented rank-$r$ Euclidean bundle $E$. Choose a finite good cover $\{U_{\alpha }\}$ of $M$ trivializing $E$. On each $S(E){|}_{U_{\alpha }}\cong U_{\alpha }\times S^{r-1}$, the standard volume form ${\eta }_{\alpha }$ on $S^{r-1}$ pulls back to a closed $(r-1)$-form ${\tilde{\eta }}_{\alpha }$ on $S(E){|}_{U_{\alpha }}$ with fiber integral one. On overlaps $U_{\alpha }\cap U_{\beta }$, the difference ${\tilde{\eta }}_{\alpha }-{\tilde{\eta }}_{\beta }$ is a closed $(r-1)$-form whose fiber integral vanishes; by the Mayer-Vietoris connecting homomorphism (per 03.04.07), this difference produces a closed $r$-form on $M$ with cohomology class $e_{\alpha }-e_{\beta }$ in $H^r(M)$. Patching the local angular forms by a partition of unity gives a global $(r-1)$-form $\psi$ on $S(E)$. By the construction, $d\psi$ is fiberwise zero — so $d\psi$ is the pullback of an $r$-form on $M$. The cohomology class $[d\psi ]\in H^r(M)$ is by definition $-e(E)$ (the Bott-Tu sign), giving $d\psi =-{\pi }^{\ast }e(E)+\text{exact}$. Up to an exact correction in ${\Omega }^{r-1}(S(E))$, we may arrange $d\psi =-{\pi }^{\ast }e(E)$ on the nose.

Thom class via the angular form. The unit-disc bundle $D(E)$ has boundary $S(E)$. Fix a smooth bump function $\rho :[0,\infty )\to \mathbb{R}$ with $\rho =-1$ near $0$ and $\rho =0$ near $1$. Define on $E$ (using the radial coordinate $r$ and the angular form $\psi$):

$$\Phi =d(\rho (r)\psi )={\rho }^{\prime }(r)dr\wedge \psi +\rho (r)d\psi .$$

This is a closed compactly-vertical $r$-form on $E$ (the support is in the unit-disc bundle, where $\rho$ is non-zero; closedness is direct from $d\rho \wedge d\psi =-\rho \cdot d({\pi }^{\ast }e(E))=0$ and $d^2=0$). The fiber integral is

$${\int }_{\mathrm{fiber}}\Phi ={\int }_0^{\infty }{\rho }^{\prime }(r)dr\cdot {\int }_{S^{r-1}}{\psi }_{\mathrm{fiber}}+{\int }_0^{\infty }\rho (r)dr\cdot {\int }_{S^{r-1}}d{\psi }_{\mathrm{fiber}}.$$

The second integral has $d{\psi }_{\mathrm{fiber}}$ on a sphere, integrating to zero by Stokes. The first integral is $[\rho {]}_0^{\infty }\cdot 1=(0-(-1))\cdot 1=1$. Hence ${\pi }_{\ast }\Phi =1$, so $\Phi$ represents the Thom class.

Euler class via zero section. The zero section $i:M\hookrightarrow E$ pulls $\Phi$ back to $i^{\ast }\Phi$. Computing in local coordinates: $i^{\ast }\Phi =i^{\ast }({\rho }^{\prime }(r)dr\wedge \psi +\rho (r)d\psi )$. At $r=0$ in the fiber, $\rho (0)=-1$ and the term $dr$ vanishes when restricted to the zero section. Hence $i^{\ast }\Phi =-d\psi {|}_{r=0}={\pi }^{\ast }e(E){|}_{r=0}=e(E)$ on the base. So $e(E)=i^{\ast }\Phi$ as cohomology classes — the second definition of the Euler class.

Both Euler-class definitions agree. Definition (i): $e=-{\pi }_{\ast }(d\psi )/{\int }_{\mathrm{fiber}}\psi =-{\pi }_{\ast }(d\psi )$. Definition (ii): $e=i^{\ast }\Phi$. By the construction above, $i^{\ast }\Phi =-d\psi {|}_{r=0}\cdot 1=$ pullback of $-{\pi }^{\ast }e(E)$ by the zero section $=e(E)$. Both give the same class in $H^r(M)$.

Mayer-Vietoris compatibility. The Thom-isomorphism map $T:\alpha \mapsto {\pi }^{\ast }\alpha \wedge \Phi$ commutes with restriction: $T(\alpha {|}_U)=T(\alpha ){|}_{E{|}_U}$. It also commutes with the MV connecting homomorphism, up to a sign that depends on the rank parity. The five-lemma argument in step (c) of the main theorem uses this compatibility plus the inductive hypothesis to globalise the product-bundle case.

Naturality. For a smooth $f:M^{\prime }\to M$, the pullback bundle $f^{\ast }E\to M^{\prime }$ has $f^{\ast }\Phi$ as its Thom class. Hence $T_{M^{\prime }}\circ f^{\ast }=f^{\ast }\circ T_M$ on cohomology — the Thom isomorphism is natural in the base.

Multiplicativity. For a Whitney sum $E\oplus F$ of oriented bundles, ${\Phi }_{E\oplus F}={\pi }_E^{\ast }{\Phi }_E\wedge {\pi }_F^{\ast }{\Phi }_F$, where ${\pi }_E,{\pi }_F$ are the projections to the two factor bundles. This implies $e(E\oplus F)=e(E)\cup e(F)$ on the base (multiplicativity of the Euler class).

Connections [Master]

• Mayer-Vietoris sequence 03.04.07 — the proof of the Thom isomorphism via the MV induction (per 03.04.10) is the canonical local-to-global passage; the §1.7 architectural arc 1 cohomology computed by gluing two charts applies here with ${\Omega }^{\ast }$ replaced by ${\Omega }_{cv}^{\ast }$.

• De Rham cohomology 03.04.06 — both $H_c^{\ast }$ and $H_{cv}^{\ast }$ are variants of the de Rham theory; the Thom isomorphism shifts $H^{\ast }$ on the base into $H_{cv}^{\ast }$ on the total space. The compactly-supported Poincaré lemma is the Step (a) base case.

• Vector bundle 03.05.02 — every Thom-isomorphism statement is a statement about a vector bundle. The bundle structure is what supports both the integration-along-the-fiber operator and the Thom class itself.

• Stokes' theorem 03.04.05 — Stokes is what makes the fiber integral commute with $d$: the boundary terms vanish because forms have compact vertical support.

• Čech-de Rham double complex (forthcoming) 03.04.11 — a second proof of the Thom isomorphism, via tic-tac-toe, will appear in 03.04.11; the dual-proof discipline is Bott-Tu's pedagogical signature, with the second proof shorter than the first.

• Sphere bundles and the Hopf index theorem (forthcoming) 03.05.10 pending — the Hopf index theorem is the canonical application of the global angular form: a generic section of an oriented bundle on a closed manifold has zero count equal to the integral of the Euler class.

• Pontryagin and Chern classes 03.06.04 — the Euler class is the simplest characteristic class; for oriented even-rank real bundles, $e(E)$ enters the Pontryagin-class identities. For complex bundles, $c_n(E)=e(E_{\mathbb{R}})$ identifies the top Chern class with the Euler class of the underlying real bundle.

• Chern-Weil homomorphism 03.06.06 — by conn:433.thom-de-rham-chern-weil, de Rham Thom class equivalent to Chern-Weil Euler form on the same oriented Euclidean bundle (equivalence). The two routes — Thom-class on the total space, Pfaffian of the curvature on the base — give the same cohomology class.

• Generalised Dirac bundles 03.09.14 — by conn:434.global-angular-form-spin, spin-geometry Â-genus machinery built on the global angular form (foundation-of); the angular-form sign convention is what fixes the relative phase in the $\hat{A}$-genus formula. The same anchor extends to the heat-kernel index density of 03.09.20.

• De Rham cohomology 03.04.06 — by conn:435.thom-iso-de-rham-relative, Thom isomorphism equivalent to relative de Rham of the disc-sphere pair (equivalence). $H_{cv}^{\ast }(E)\cong H^{\ast }(D(E),S(E))$ identifies the Thom class with the relative fundamental class.

• Local systems and orientation 04.03.02 — by conn:439.local-system-twisted-de-rham, twisted de Rham complex built on orientation local system (foundation-of). The non-orientable Thom isomorphism factors through the orientation local system.

• Atiyah-Singer index theorem 03.09.10 — the Thom isomorphism in K-theory is the K-theoretic analogue of the de Rham version above. The K-theory Thom isomorphism is what powers the embedding-and-pushforward proof of Atiyah-Singer (the alternative to the heat-kernel proof of 03.09.20).

The Thom isomorphism is the structural foundation for every appearance of the Euler class and the Thom class in differential geometry. We will see it again in the Hopf index theorem (where it produces the $\sum \mathrm{ind}=\chi$ identity), in characteristic-class computations on flag manifolds and Grassmannians (where Gysin sequences run via the Thom apparatus), and in the spin-geometry index density (where the global angular form supplies the relative phase in the $\hat{A}$-genus formula). The de Rham proof presented here — via Mayer-Vietoris induction over a finite good cover — is the canonical Bott-Tu §1.7 dual-proof template; the Čech-de Rham re-proof (in the forthcoming 03.04.11) is shorter because the first proof installed the right machinery.

Throughlines and forward promises. The Thom isomorphism is the foundational bridge from base cohomology to total-space compactly-vertical cohomology. We will see the global angular form $\psi$ appear again in 03.05.10 pending's Hopf index theorem proof; we will see the Bott-Tu sign $d\psi =-{\pi }^{\ast }e(E)$ recur in the spin-geometry $\hat{A}$-genus density of 03.09.20; this pattern recurs in every appearance of the Euler class. The foundational reason the Thom class exists with fibre-integral one is exactly the Mayer-Vietoris induction over a finite good cover (Step (a) compactly-supported Poincaré lemma + Step (b) MV); this is precisely the dual-proof template Bott-Tu §1.7 names. Putting this together with the Čech-de Rham re-proof gives the second telling that is shorter because the first installed the right machinery. The Thom apparatus is an instance of the broader local-to-global obstruction motif: the Thom class measures the obstruction to a non-vanishing section, exactly as MV measures the obstruction to extending a class on the overlap to the whole space.

Historical & philosophical context [Master]

René Thom's 1952 Espaces fibrés en sphères et carrés de Steenrod (Annales scientifiques de l'École Normale Supérieure 69) introduced the topological Thom isomorphism in singular cohomology, and used it to prove what is now called the cobordism-flavour interpretation of characteristic numbers: the Stiefel-Whitney numbers of a closed manifold are determined by its bordism class, and the Steenrod squares act on the Thom space of a bundle by a transparent rule. Thom's original 1952 framework was simplicial-cohomological, with the Thom class a relative cohomology class of the disc-sphere pair $(D(E),S(E))$ in singular $\mathbb{Z}$-cohomology. The constructive content was the Thom space $E^{+}$ — the one-point compactification of the disc bundle — and the identification $H^{\ast +r}(E^{+})\cong H^{\ast }(M)$ as a graded module over $H^{\ast }(M)$.

The differential-form version of the Thom isomorphism — via integration along the fiber, the global angular form, and the de Rham apparatus — is what we channel here directly from §6 of Bott and Tu's 1982 Differential Forms in Algebraic Topology. Bott-Tu's exposition takes the originator-text role: their treatment is canonical for the de Rham face of the theory. The symbol ${\Omega }_{cv}^{\ast }$ for compactly-vertical forms is Bott-Tu's coinage; the symbol $\Phi$ for the Thom class as a fixed name (not just an abstract cohomology class) is theirs; the explicit construction $\Phi =d(\rho (r)\psi )$ via the global angular form $\psi$ is theirs; the sign convention $d\psi =-{\pi }^{\ast }e(E)$ is theirs.

The contrast between Thom 1952 and Bott-Tu 1982 is structurally instructive. Thom's original argument carries a cobordism flavour: the Thom isomorphism is a structural fact about the action of cohomology operations on Thom spaces, with applications to bordism rings and Steenrod-squares classification. Bott-Tu's argument carries a differential-form flavour: the Thom isomorphism is a clean cohomological identity between $H^{\ast }(M)$ and $H_{cv}^{\ast }(E)$, derived via Mayer-Vietoris induction over a finite good cover and made explicit via the global angular form. The first is structurally illuminating but computationally heavy; the second is computationally direct and makes the Euler class transparent as the obstruction to a global non-zero section of the bundle.

Bott and Tu's pedagogical move is to introduce the Thom class before the spectral-sequence machinery (which appears in their Chapter III). This inversion is what gives the de Rham Thom isomorphism its punch as a teaching tool: the reader has, by the time they reach §6, only the Mayer-Vietoris sequence and the good-cover induction in their toolkit, yet they can compute the Euler class, prove the Hopf index theorem, and derive the projection formula. The §1.7 no-obstacle path directive is what motivates putting the Thom apparatus before the abstract spectral-sequence framework.

The deeper structural lesson — visible from the spectral-sequence chapter and made explicit in the Čech-de Rham double-complex unit 03.04.11 forthcoming — is that the Thom isomorphism is one of two dual proofs of the same identity, the other being the tic-tac-toe collapse of the double complex. Bott and Tu walk the reader through both: the §6 Mayer-Vietoris-induction proof of the Thom isomorphism is the first telling; the Čech-de Rham re-proof is the second telling. The second telling is shorter, because the first installed the right machinery — and this is the dual-proof discipline that organises the central chapters of Differential Forms in Algebraic Topology. The reader emerges, by the end of Chapter II, with the Thom isomorphism, the Euler class, the Hopf index theorem, and the global angular form in hand, and an instinct for when a result admits two proofs and what each proof reveals.

Bibliography [Master]

• Thom, R., "Espaces fibrés en sphères et carrés de Steenrod", Annales scientifiques de l'École Normale Supérieure 69 (1952), 109–182.
• Bott, R. & Tu, L. W., Differential Forms in Algebraic Topology, Graduate Texts in Mathematics 82, Springer-Verlag, 1982. §6 (compact-vertical cohomology, integration along the fiber, the Thom isomorphism, the global angular form).
• Milnor, J. & Stasheff, J., Characteristic Classes, Annals of Mathematics Studies 76, Princeton University Press, 1974. §10 (Thom isomorphism in singular cohomology); §11 (Euler class with the alternative sign convention).
• Madsen, I. & Tornehave, J., From Calculus to Cohomology, Cambridge University Press, 1997. §11 (integration along the fiber, Thom isomorphism via parametrix smoothing).
• Atiyah, M. F. & Bott, R., "The moment map and equivariant cohomology", Topology 23 (1984), 1–28 (equivariant Thom isomorphism, localisation).
• Lawson, H. B. & Michelsohn, M.-L., Spin Geometry, Princeton University Press, 1989. §I.4 (orthonormal frame bundles); §III.13 (twisted index density with Bott-Tu sign).
• Berline, N., Getzler, E. & Vergne, M., Heat Kernels and Dirac Operators, Springer-Verlag, 1992. Ch. 1 (sign convention for the Euler form and the angular form).
• Mathai, V. & Quillen, D., "Superconnections, Thom classes, and equivariant differential forms", Topology 25 (1986), 85–110 (Mathai-Quillen Thom-form construction generalising Bott-Tu's angular form).

---

Bott-Tu Pass 4 — Agent A — N4. Compactly-supported and compactly-vertical cohomology, integration along the fiber, Thom isomorphism via Mayer-Vietoris induction, global angular form $\psi$ with Bott-Tu sign $d\psi = -\pi^ e(E)$,Thomclass$\Phi$,projectionformula,Eulerclassviazerosection.Originator-proseforBott-Tu\S 6.Introducesnotation$\Omega^_{cv}$,$H^_{cv}$,$\Phi$,$\psi$ — Pass 4 §3.4 decisions #4, #8, #9, #21, #22.*