Sphere bundle, the global angular form, and the Hopf index theorem

Intuition [Beginner]

Imagine a hairy ball: a sphere with a single hair growing out of every point. If you try to comb the hairs flat so none stand up, you fail. Somewhere a cowlick must form. The Hopf index theorem says exactly how many cowlicks you must have, counted with sign.

The same picture works for any closed surface. A donut can be combed flat — its hair lies down everywhere. A pretzel with three holes cannot be combed flat without producing four cowlicks. The number of unavoidable cowlicks is a topological invariant called the Euler characteristic. It depends on the shape, not on how you comb.

A sphere bundle records, at each point of a base shape, a small sphere of directions. The Euler class is the bookkeeping that translates a comb of the base into a number on the bundle. The Hopf index theorem says these two numbers — the topological Euler characteristic and the analytic count of cowlicks — are the same.

Visual [Beginner]

A sphere bundle places a tiny sphere over every point of the base. A vector field is a continuous choice of one direction in each fibre. Where the field vanishes, the choice fails to extend through the centre — those are the cowlicks.

The sphere has Euler characteristic $2$, so the cowlicks of any vector field on it must sum to $2$. The torus has Euler characteristic $0$, so a smooth nonvanishing vector field is allowed. The picture is the theorem in one sentence: the algebraic count of zeros equals the topological count of holes.

Worked example [Beginner]

Take the standard sphere $S^2$ with the height function $f$ measuring distance from the equator. The gradient of $f$ points uphill from the south pole, lies along latitudes, and meets the north pole. It vanishes at exactly two points: the south pole and the north pole.

Around the south pole, the gradient flows outward in every direction. That source has index $+1$. Around the north pole, the gradient flows inward in every direction. That sink also has index $+1$. The sum is $2$.

The Euler characteristic of $S^2$ is also $2$ (two faces, no edges, two vertices on a tetrahedral triangulation gives $V-E+F=4-6+4=2$). The Hopf index theorem says these two numbers must agree, and they do.

What this tells us: a clever choice of vector field counts the topology by counting cowlicks.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $E\to M$ be an oriented real vector bundle of rank $r$ over a smooth manifold $M$, with a chosen Euclidean metric. The unit-sphere bundle of $E$ is the smooth fibre subbundle

$$\pi :S(E)⟶M,S(E):=\{v\in E:|v|=1\},$$

with fibre $S^{r-1}$ and structure group $SO(r)$ ^{[Bott-Tu §11]}. Equivalently, an oriented sphere bundle of fibre dimension $r-1$ is a fibre bundle locally of the form $U\times S^{r-1}$ with transition functions in $SO(r)$ 03.05.03. Every oriented rank-$r$ real vector bundle determines a sphere bundle by unitisation, and conversely the associated rank-$r$ vector bundle of an $S^{r-1}$-bundle is recovered by gluing fibrewise cones.

The global angular form of $S(E)$ is a form $\psi \in {\Omega }^{r-1}(S(E))$ characterised by two conditions: the fibre integral ${\int }_{S^{r-1}}\psi =1$, and the differential identity

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

where $e(E)\in {\Omega }^r(M)$ is a closed form representing the Euler class $e(E)\in H^r(M;\mathbb{Z})$ 03.06.04. Existence of $\psi$ uses the Mayer-Vietoris computation over a finite good cover [03.04.09 — pending]; uniqueness is up to the addition of a pulled-back form from $M$.

For an oriented closed manifold $M^n$ with tangent bundle $TM$, the Euler class of $M$ is $e(M):=e(TM)\in H^n(M;\mathbb{Z})$. A vector field with isolated zeros is a smooth section $V:M\to TM$ such that the zero set $\{p:V(p)=0\}$ is finite. At each zero $p$, the local index ${\mathrm{ind}}_p(V)\in \mathbb{Z}$ is the degree of the map

$$\frac{V}{|V|}:S_{\epsilon }(p)⟶S^{n-1},$$

where $S_{\epsilon }(p)$ is a small sphere around $p$ in a chosen oriented chart. The local index is independent of the chart and the radius $\epsilon$.

Key theorem with proof [Intermediate+]

Theorem (Hopf index theorem). Let $M^n$ be a closed oriented smooth manifold, and let $V$ be a smooth vector field on $M$ with isolated zeros $\{p_1,\dots ,p_k\}$. Then

$$\sum _{i=1}^k{\mathrm{ind}}_{p_i}(V)=\chi (M),$$

where $\chi (M)\in \mathbb{Z}$ is the Euler characteristic.

Proof. The vector field $V$ is a section of $TM$. Restricted to $M\setminus \{p_1,\dots ,p_k\}$, the normalisation $V/|V|$ is a section of the unit-sphere bundle $\pi :S(TM)\to M\setminus \{p_1,\dots ,p_k\}$. Pull the global angular form $\psi \in {\Omega }^{n-1}(S(TM))$ back along this section to obtain a closed form $(V/|V|{)}^{\ast }\psi$ on the punctured manifold.

For each zero $p_i$, choose a small ball $B_{\epsilon }(p_i)$. On the boundary sphere $S_{\epsilon }(p_i)=\partial B_{\epsilon }(p_i)$, the form $(V/|V|{)}^{\ast }\psi$ restricts to the pullback of $\psi$ along the map $V/|V|:S_{\epsilon }(p_i)\to S^{n-1}$, and its integral over the sphere equals the degree of this map by the defining property ${\int }_{S^{n-1}}\psi =1$. Therefore

$${\int }_{S_{\epsilon }(p_i)}(V/|V|{)}^{\ast }\psi ={\mathrm{ind}}_{p_i}(V).$$

On the complement $M\setminus {⨆}_i{B}_{\epsilon }(p_i)$, the section $V/|V|$ is defined globally. Stokes' theorem gives

$${\int }_{M\setminus ⨆B_{\epsilon }}d((V/|V|{)}^{\ast }\psi )=\sum _i{\int }_{S_{\epsilon }(p_i)}(V/|V|{)}^{\ast }\psi ,$$

with the sign of the boundary orientation absorbed. Using $d\psi =-{\pi }^{\ast }e(TM)$ on the bundle and the fact that $\pi \circ (V/|V|)=\mathrm{id}$ on the punctured manifold,

$$d((V/|V|{)}^{\ast }\psi )=-e(TM)$$

on $M\setminus \{p_1,\dots ,p_k\}$, which extends smoothly across the (measure-zero) zero set. Therefore

$$\sum _i{\mathrm{ind}}_{p_i}(V)={\int }_{M}e(TM)=\chi (M),$$

where the last equality is the Gauss-Bonnet-Chern theorem in its global-angular-form proof: ${\int }_{M}e(TM)=\chi (M)$ for closed oriented $M$ ^{[Bott-Tu §11]}. $\square$

Remark. The proof distils into two facts: $\psi$ has fibre-integral one (so each local boundary integral picks up the index), and $d\psi =-{\pi }^{\ast }e(TM)$ (so Stokes converts the sum of local indices into the integral of the Euler form). Both facts are properties of the global angular form alone.

Synthesis. The Hopf index theorem is exactly the de Rham specialisation of the broader $\sum (\mathrm{local}\mathrm{index})=(\mathrm{global}\mathrm{topological}\mathrm{invariant})$ pattern. This is the foundational reason vector-field zero-counts compute the Euler characteristic. The Hopf index theorem is an instance of Atiyah-Singer.

Bridge. The construction here builds toward later units of the strand, where the same pattern is taken up at higher structure. 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 — the statements compile via stub types. Mathlib has the topological foundations (FiberBundle, Bundle.TotalSpace) but lacks de Rham cohomology with compact vertical supports, fibre integration, the global angular form construction, and the Euler class as a de Rham class. The Lean module declares the sphere bundle, the Euler class, vector fields with isolated zeros, and the local index, and records the global-angular-form construction, the Hopf index theorem, and the Poincaré-Hopf identity as axioms.

[object Promise]

The full module is Codex.Bundles.SphereBundle.

Advanced results [Master]

The Hopf index theorem is the differential-form face of a theorem with three other faces. The first is the Poincaré-Hopf theorem in its smooth-manifold form, where $V$ is replaced by $-\nabla f$ for a Morse function $f$ and the indices become the Morse indices, recovering the cell-counting formula $\chi (M)={\sum }_k(-1{)}^k{c}_k$ where $c_k$ is the number of index-$k$ critical points ^{[Milnor §6]}. The second is the Lefschetz fixed-point theorem, where instead of zeros of vector fields one counts fixed points of self-maps with signs, and the sum is the Lefschetz number. The third is the Atiyah-Singer index theorem 03.09.10, where the Hopf index theorem becomes the de Rham specialisation: the Euler class is the topological side, and $\sum {\mathrm{ind}}_p(V)$ is the analytic index of the de Rham complex twisted by the gradient flow.

The global angular form via Mayer-Vietoris

Theorem (Bott-Tu, Proposition 11.6). Let $\pi :S(E)\to M$ be the unit-sphere bundle of an oriented rank-$r$ real vector bundle. Choose a finite good cover $\{U_{\alpha }\}$ of $M$ trivialising $E$. There exists a global form $\psi \in {\Omega }^{r-1}(S(E))$ such that on each ${\pi }^{-1}(U_{\alpha })\cong U_{\alpha }\times S^{r-1}$, $\psi {|}_{U_{\alpha }}={\pi }_2^{\ast }{\omega }_{r-1}+{\tau }_{\alpha }$, where ${\omega }_{r-1}$ is the unit-volume form of $S^{r-1}$ and ${\tau }_{\alpha }\in {\Omega }^{r-1}(U_{\alpha })\otimes {\Omega }^{\bullet }(S^{r-1})$ is a correction term that vanishes on cohomology of the fibre. The global form satisfies ${\int }_{\text{fibre}}\psi =1$ and $d\psi =-{\pi }^{\ast }e(E)$ for a closed form $e(E)\in {\Omega }^r(M)$.

The proof proceeds in three steps. First, on each chart $U_{\alpha }$, the form ${\pi }_2^{\ast }{\omega }_{r-1}$ is a candidate angular form with fibre-integral $1$, but its differential in the bundle direction does not vanish — there is a transition cocycle when one passes between charts. Second, the Čech-de-Rham double complex on $\{U_{\alpha }\}$ assembles the local angular forms with correction terms ${\tau }_{\alpha }$ into a global form, using that $H^{r-1}(S^{r-1})=\mathbb{R}$ to compute the sheaf cohomology of the angular form. Third, the differential $d\psi$ is fibrewise zero (the fibre integral is constant) and equivariant under $SO(r)$, so it descends to a closed $r$-form on $M$ whose cohomology class is the Euler class $e(E)$ — the sign $-{\pi }^{\ast }e(E)$ is a convention (Bott-Tu §11) chosen so that the Hopf index argument produces $+\chi (M)$ rather than $-\chi (M)$.

Euler class via universal angular form

For the universal oriented rank-$r$ real bundle ${\gamma }_r\to BSO(r)$, the global angular form is universal: every oriented rank-$r$ real vector bundle $E\to M$ pulls back ${\gamma }_r$ along a classifying map $f:M\to BSO(r)$, and pulls back the universal angular form ${\psi }^{\mathrm{univ}}$ to a global angular form on $S(E)$. The Euler class is correspondingly the pullback of the universal Euler class $e\in H^r(BSO(r);\mathbb{Z})$, providing the bridge between this unit and classifying-space theory 03.08.04.

Worked example: $e(T{S}^{2n})=2\cdot \mathrm{gen}(H^{2n}(S^{2n};\mathbb{Z}))$

For the sphere $S^{2n}$, the Hopf index theorem with the gradient of the height function yields ${\int }_{S^{2n}}e(T{S}^{2n})=\chi (S^{2n})=2$, so $e(T{S}^{2n})$ is twice the integral generator of $H^{2n}(S^{2n};\mathbb{Z})=\mathbb{Z}$. For $n=1$, this recovers $e(T{S}^2)=2\cdot [{\omega }_{S^2}]$ in real cohomology, where ${\omega }_{S^2}$ is the unit-volume form, and integrally $e(T{S}^2)$ generates $2H^2(S^2;\mathbb{Z})\subset \mathbb{Z}$.

Worked example: Hopf bundle Euler class

The Hopf bundle $S^1\to S^3\to S^2$ has structure group $SO(2)=U(1)$ and is the unit-sphere bundle of the tautological complex line bundle $\mathcal{O}(-1)\to \mathbb{C}{P}^1=S^2$. Its Euler class equals the first Chern class $c_1(\mathcal{O}(-1))=-h$ where $h$ generates $H^2(\mathbb{C}{P}^1;\mathbb{Z})$ [03.06.04 Worked example]. Integrating over $S^2$ gives $-1$, the linking number that captures the non-vanishing class of the Hopf fibration in ${\pi }_3(S^2)=\mathbb{Z}$.

Full proof set [Master]

Proof of existence of the global angular form. Choose a finite good cover $\{U_{\alpha }{\}}_{\alpha \in A}$ of $M$ trivialising $E$ with transition functions $g_{\alpha \beta }:U_{\alpha }\cap U_{\beta }\to SO(r)$. Over each $U_{\alpha }$, the unit-sphere bundle is identified with $U_{\alpha }\times S^{r-1}$, and the unit-volume form ${\omega }_{r-1}\in {\Omega }^{r-1}(S^{r-1})$ pulls back to a local angular form ${\psi }_{\alpha }={\pi }_2^{\ast }{\omega }_{r-1}$ with ${\int }_{\text{fibre}}{\psi }_{\alpha }=1$ and $d{\psi }_{\alpha }=0$ on $U_{\alpha }\times S^{r-1}$. On overlaps $U_{\alpha }\cap U_{\beta }$, the difference ${\psi }_{\alpha }-{\psi }_{\beta }$ is the pullback of $g_{\alpha \beta }^{\ast }{\omega }_{r-1}-{\omega }_{r-1}$, a closed $(r-1)$-form on $S^{r-1}$ that integrates to zero (because both ${\psi }_{\alpha }$ and ${\psi }_{\beta }$ have fibre-integral $1$). Hence ${\psi }_{\alpha }-{\psi }_{\beta }=d{\eta }_{\alpha \beta }$ for some ${\eta }_{\alpha \beta }\in {\Omega }^{r-2}({\pi }^{-1}(U_{\alpha }\cap U_{\beta }))$. The cocycle $\{d{\eta }_{\alpha \beta }\}$ in the Čech-de-Rham double complex assembles, via the standard tic-tac-toe argument, into a global form $\psi \in {\Omega }^{r-1}(S(E))$ such that $\psi {|}_{U_{\alpha }}$ differs from ${\psi }_{\alpha }$ by the differential of the assembled lower-degree forms. The fibre integral is preserved at each step. Differentiating $\psi$ globally gives a form $-{\pi }^{\ast }e(E)$ on $S(E)$; that this descends from $S(E)$ to $M$ (i.e., is the pullback of an $r$-form on $M$) follows because $d\psi$ is closed and fibrewise zero, hence basic, and the closed form on $M$ is $-e(E)$. The Euler class $[e(E)]\in H^r(M;\mathbb{R})$ is independent of the cover and the choice of ${\eta }_{\alpha \beta }$ because two such global angular forms differ by a pulled-back form from $M$, whose differential is in the image of ${\pi }^{\ast }$.

Proof that the Euler class agrees with the top Chern class for complex bundles. For a rank-$n$ complex vector bundle $E\to M$ regarded as a rank-$2n$ oriented real bundle, the Chern-Weil representative of $c_n(E)$ is the Pfaffian $\mathrm{Pf}(F/2\pi )$ of the curvature, while the global-angular-form Euler class is represented by $e(E_{\mathbb{R}})=\mathrm{Pf}(F/2\pi )$ via the Pfaffian-as-Euler-form identification 03.06.06 03.06.04. The two constructions yield the same de Rham class, integrating to the same number against the fundamental class. This identification — $c_n(E)=e(E_{\mathbb{R}})$ for rank-$n$ complex bundles — is the entry point connecting the Bott-Tu sphere-bundle apparatus to the Chern-Weil unit and is deepened in 03.06.04 (Master section).

Proof that the local index is well-defined. Given a vector field $V$ with isolated zero $p$, choose two oriented charts around $p$ and two radii ${\epsilon }_1,{\epsilon }_2$. The two normalised maps $V/|V|:S_{{\epsilon }_i}(p)\to S^{n-1}$ are homotopic via the family of normalised fields on the spherical shell between the two radii, since $V$ has no other zeros nearby. The degree is a homotopy invariant, so the indices computed in the two settings agree. Independence of the chart follows because the charts are oriented and the change of chart preserves orientation, hence preserves the degree of the boundary map.

Proof that homotopic vector fields have the same total index. Let $V_t$ be a smooth path of vector fields with isolated zeros that vary smoothly except possibly at finitely many critical times where two zeros collide or split with sign-cancellation. At each such time, the local index sum at the collision point is preserved (an index-$+1$ source and an index-$-1$ saddle annihilate to zero, etc.), so the total sum ${\sum }_p{\mathrm{ind}}_p(V_t)$ is constant in $t$. Combined with the Hopf index theorem applied at the endpoints, this gives a direct proof that $\chi (M)$ is independent of the chosen vector field — recovering the topological invariance of the Euler characteristic.

Connections [Master]

• Vector bundle 03.05.02 — the sphere bundle is the unit-sphere subbundle of an oriented metric vector bundle; the global angular form is its top distinguishing structure.

• Orthogonal frame bundle 03.05.03 — the structure-group reduction to $SO(r)$ is what makes the unit-sphere bundle oriented and the global angular form well-defined.

• Pontryagin and Chern classes 03.06.04 — foundation-of: $c_n(E)=e(E_{\mathbb{R}})$ for rank-$n$ complex bundles routes the Hopf-Poincaré machinery into the Chern-class apparatus. Anchor phrase: top Chern class equals Euler class.

• Chern-Weil homomorphism 03.06.06 — the Pfaffian curvature representative of the Euler class is the Chern-Weil form, providing a curvature-side derivation alternative to the global-angular-form derivation given here.

• De Rham cohomology 03.04.06 — foundation-of: by conn:446.hopf-index-poincare-hopf, Hopf index theorem built on global angular form and integration of Euler class. Bott-Tu §11's derivation $\sum {\mathrm{ind}}_p(V)=\chi (M)$ rests on the global angular form $\psi$ with fibre-integral 1 and $d\psi =-{\pi }^{\ast }e(E)$, then Stokes in de Rham.

• De Rham Thom isomorphism 03.04.09 — foundation-of: by conn:433.thom-de-rham-chern-weil, de Rham Thom class equivalent to Chern-Weil Euler form. The global angular form is the suspension-of-the-Thom-form construction.

• Spin structure 03.09.04 — foundation-of: by conn:434.global-angular-form-spin, spin-geometry Â-genus machinery built on the global angular form. When the global angular form lifts equivariantly through the spin double cover, it becomes the spin angular form used in the Atiyah-Singer derivation.

• Atiyah-Singer index theorem 03.09.10 — bridging-theorem: the Hopf index theorem is the de Rham specialisation of Atiyah-Singer; the proof presented here is the simplest model case.

• Classifying space 03.08.04 — the universal global angular form on ${\gamma }_r\to BSO(r)$ is the classifying-space face of this construction; pullback along a classifying map produces the angular form on any oriented bundle.

Throughlines and forward promises. The Hopf index theorem is the de Rham face of every later vector-field-zero-counting result. We will see the same global angular form $\psi$ appear in the heat-kernel index density of 03.09.20; we will see Atiyah-Singer absorb the entire Hopf-Poincaré arc as its de Rham specialisation; this pattern recurs throughout characteristic-class theory. The foundational reason $\sum {\mathrm{ind}}_p(V)=\chi (M)$ holds is exactly the global angular form integration combined with Stokes' theorem. Putting these together: the Hopf index theorem is an instance of the broader "local index density integrates to global topological invariant" motif. This is precisely the same pattern as Atiyah-Singer with the Dirac operator replacing the section, the $\hat{A}$-class density replacing the Euler class, and the analytic index replacing the zero count. The bridge between local zeros and global Euler characteristic is exactly the global angular form, and this bridge generalises to the Bismut-superconnection family-index formalism we will later see.

Historical & philosophical context [Master]

Heinz Hopf's 1926 paper Vektorfelder in $n$-dimensionalen Mannigfaltigkeiten (Math. Ann. 96) introduced what is now called the Hopf index theorem in its original form: on a closed orientable manifold of even dimension, the algebraic count of zeros of a tangent vector field, taken with the local indices computed by Brouwer's degree formula, equals the Euler-Poincaré characteristic. Hopf's proof was combinatorial, using a triangulation of the manifold and a vector field tangent to the simplices, and invoking the simplicial computation of Euler-Poincaré that Poincaré had introduced in Analysis Situs (1895). Hopf credited Poincaré explicitly: the planar case had been settled by Poincaré in 1881, the surface case by Brouwer in 1911, and Hopf was extending these to all dimensions.

Bott and Tu's 1982 Differential Forms in Algebraic Topology §11 reorganises the theorem around the global angular form. The reorganisation converts a piece of differential topology into a piece of de Rham cohomology: instead of triangulating and counting, one integrates a single global form whose construction encodes the bundle's twist. The key insight is that the global angular form $\psi$ is the differential-form analogue of the Thom class — a representative of the bundle's universal cohomology class that exists globally on the sphere bundle and has fibre-integral one. Stokes' theorem then converts a topological count into an integral, and the integral evaluates to $\chi (M)$ by the Gauss-Bonnet-Chern theorem. The result is what Bott-Tu call "the cleanest proof" — six lines of differential-form manipulation replacing several pages of simplicial counting.

The wider arc runs Hopf 1926 → Stiefel 1936 (which extends from tangent fields to higher Stiefel-Whitney classes) → Whitney 1937 (sphere-bundle Euler class as the obstruction to nonvanishing sections) → Chern 1944 (the Pfaffian-curvature derivation, equivalent to the Bott-Tu derivation under Chern-Weil-de-Rham duality) → Bott-Tu 1982 (the unified angular-form pedagogy used here). The Atiyah-Singer index theorem of 1963 absorbs the entire arc as its de Rham specialisation, and the modern proof of Atiyah-Singer in Berline-Getzler-Vergne 1992 reuses the global-angular-form construction as its core technical input via Mathai-Quillen forms.

Bibliography [Master]

• Hopf, H., "Vektorfelder in $n$-dimensionalen Mannigfaltigkeiten", Mathematische Annalen 96 (1926), 225–250.
• Poincaré, H., "Sur les courbes définies par les équations différentielles", Journal de Mathématiques Pures et Appliquées 7 (1881), 375–422.
• Brouwer, L. E. J., "Über Abbildung von Mannigfaltigkeiten", Mathematische Annalen 71 (1911), 97–115.
• Stiefel, E., "Richtungsfelder und Fernparallelismus in $n$-dimensionalen Mannigfaltigkeiten", Commentarii Mathematici Helvetici 8 (1936), 305–353.
• Chern, S. S., "A Simple Intrinsic Proof of the Gauss-Bonnet Formula for Closed Riemannian Manifolds", Annals of Mathematics 45 (1944), 747–752.
• Bott, R. & Tu, L. W., Differential Forms in Algebraic Topology, Springer, 1982. §11.
• Milnor, J., Topology from the Differentiable Viewpoint, University of Virginia Press, 1965. §6.
• Berline, N., Getzler, E. & Vergne, M., Heat Kernels and Dirac Operators, Springer, 1992. Ch. 1.