In mathematics, specifically in algebraic topology, the Euler class is a characteristic class of oriented, real vector bundles. Like other characteristic classes, it measures how "twisted" the vector bundle is. In the case of the tangent bundle of a smooth manifold, it generalizes the classical notion of Euler characteristic.

Throughout this article $E\; \backslash to\; X$ is an oriented, real vector bundle of rank $r$.

Formal definition

The Euler class $e(E)$ is an element of the integral cohomology group

$H^r(X,\; \backslash mathbb\{Z\})$,

constructed as follows. An orientation of $E$ amounts to a continuous choice of generator of the cohomology

$H^r(F,\; F\_0,\; \backslash mathbb\{Z\})$

of each fiber $F$ relative to its zero element $F\_0$. This induces an orientation class

$u\; \backslash in\; H^r(E,\; E\_0,\; \backslash mathbb\{Z\})$

in the cohomology of $E$ relative to the zero section $E\_0$. The inclusions

$(X,\; \backslash emptyset)\; \backslash hookrightarrow\; (E,\; \backslash emptyset)\; \backslash hookrightarrow\; (E,\; E\_0),$

where $X$ includes into $E$ as the zero section, induce maps

$H^r(E,\; E\_0,\; \backslash mathbb\{Z\})\; \backslash to\; H^r(E,\; \backslash mathbb\{Z\})\; \backslash to\; H^r(X,\; \backslash mathbb\{Z\}).$

The Euler class $e(E)$ is the image of $u$ under this map.

Properties

The Euler class satisfies these useful properties:

• Functoriality: If $F\; \backslash to\; Y$ is another oriented, real vector bundle and $f\; :\; Y\; \backslash to\; X$ is continuous and covered by an orientation-preserving map $F\; \backslash to\; E$, then $e(F)\; =\; f^*\; e(E)$. In particular, $e(f^*\; E)\; =\; f^*\; e(E)$.

• Orientation: If $\backslash bar\; E$ is $E$ with the opposite orientation, then $e(\backslash bar\; E)\; =\; -e(E)$.

• Whitney sum formula: If $F\; \backslash to\; X$ is another oriented, real vector bundle, then the Euler class of the direct sum $E\; \backslash oplus\; F$ is given by

$e(E\; \backslash oplus\; F)\; =\; e(E)\; \backslash cup\; e(F).$

• Normalization: If $E$ possesses a nowhere-zero section, then $e(E)\; =\; 0$.

Under mild conditions (such as $X$ a smooth, closed, oriented manifold), the Euler class corresponds to the vanishing of a section of $E$ in the following way. Let

$\backslash sigma\; :\; X\; \backslash to\; E$

be a generic smooth section and $Z\; \backslash subseteq\; X$ its zero locus. Then $Z$ represents a homology class .

For example, if $Y$ is a compact submanifold, then the Euler class of the normal bundle of $Y$ in $X$ is naturally identified with the self-intersection of $Y$ in $X$.

Relations to other invariants

In the special case when the bundle $E$ in question is the tangent bundle of a compact, oriented, $r$-dimensional manifold, the Euler class is an element of the top cohomology of the manifold, which is naturally identified with the integers by evaluating cohomology classes on the fundamental homology class. Under this identification, the Euler class of the tangent bundle equals the Euler characteristic of the manifold.

Thus the Euler class is a generalization of the Euler characteristic to vector bundles other than tangent bundles. In turn, the Euler class is the archetype for other characteristic classes of vector bundles, in that each "top" characteristic class equals the Euler class, as follows.

Modding out by $2$ induces a map

$H^r(X,\; \backslash mathbb\{Z\})\; \backslash to\; H^r(X,\; \backslash mathbb\{Z\}/2).$

The image of the Euler class under this map is the top Stiefel-Whitney class $w\_r(E)$. One can view this Stiefel-Whitney class as "the Euler class, ignoring orientation".

Any complex vector bundle $V$ of complex rank $d$ can be regarded as an oriented, real vector bundle $E$ of real rank $2d$. The top Chern class $c\_d(V)$ of the complex bundle equals the Euler class $e(E)$ of the real bundle.

The Whitney sum $E\; \backslash oplus\; E$ is isomorphic to the complexification $E\; \backslash otimes\; \backslash mathbb\{C\}$, which is a complex bundle of rank $r$. Comparing Euler classes, we see that

$e(E)\; \backslash cup\; e(E)\; =\; e(E\; \backslash oplus\; E)\; =\; e(E\; \backslash otimes\; \backslash mathbb\{C\})\; =\; c\_r(E\; \backslash otimes\; \backslash mathbb\{C\})\; \backslash in\; H^\{2r\}(X,\; \backslash mathbb\{Z\}).$

If the rank $r$ is even, then this cohomology class $e(E)\; \backslash cup\; e(E)$ equals the top Pontryagin class $p\_\{r/2\}(E)$.

Example: Line bundles over the circle

The cylinder is a line bundle over the circle, by the natural projection $\backslash mathbb\{R\}\; \backslash times\; \backslash mathbb\{S\}^1\; \backslash to\; \backslash mathbb\{S\}^1$. It is a trivial line bundle, so it possesses a nowhere-zero section, and so its Euler class is $0$. It is also isomorphic to the tangent bundle of the circle; the fact that its Euler class is $0$ corresponds to the fact that the Euler characteristic of the circle is $0$.

The Möbius strip is also a line bundle over the circle (its center circle). A section of this bundle must vanish at at least one point; when orientation is taken into account, its intersection with the zero section is exactly $\backslash pm\; 1$, depending on the orientation chosen on the bundle. So the Euler class is $\backslash pm\; 1$, and the first Stiefel-Whitney class $w\_1$ is $1$.

References

Algebraic topology