nLab
Euler class

Contents

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Contents

Idea

The Euler class χ\chi (or ee) is a characteristic class of the special orthogonal group, hence of oriented real vector bundles.

The Euler class of the tangent bundle of a smooth manifold XX, evaluated on its fundamental class, is its Euler characteristic χ[X]\chi[X].

Properties

Cup square

For EE a vector bundle of even rank rank(E)=2krank(E) = 2 k, the cup product of the Euler class with itself equals the kkth Pontryagin class

(1)χ(E)χ(E)=p k(E). \chi(E) \smile \chi(E) \;=\; p_k(E) \,.

(e.g. Walschap 04, Section 6.3, p. 187)

When the Euler class is represented by the Euler form of a connection \nabla on EE, which then is fiber-wise proportional to the Pfaffian of the curvature form F F_\nabla of \nabla, the relation (1) corresponds to the fact that the product of a Pfaffian with itself is the determinant: (Pf(F )) 2=det(F )\big( Pf(F_\nabla) \big)^2 = det(F_\nabla).

Whitney sum formula

Proposition

(Euler class takes Whitney sum to cup product)

The Euler class of the Whitney sum of two oriented real vector bundles to the cup product of the separate Euler classes:

χ(EF)=χ(E)χ(F). \chi( E \oplus F ) \;=\; \chi(E) \smile \chi(F) \,.

(e.g. Walschap 04, Section 6.4)

Poincaré–Hopf theorem

On unit sphere bundles

Proposition

Let XX be a smooth manifold and EπXE \overset{\pi}{\longrightarrow} X an oriented real vector bundle of even rank, rank(E)=2k+2rank(E) = 2k + 2.

For any choice of connection \nabla on EE (SO(dim(X))SO(dim(X))-connection), let χ( E)Ω 2k(X)\chi(\nabla_E) \in \Omega^{2k}(X) denote the corresponding Euler form.

Then the pullback of the Euler form χ( E)\chi(\nabla_E) to the unit sphere bundle S(E)S(π)XS(E) \overset{S(\pi)}{\longrightarrow} X is exact

(S(π)) *χ( E)=dΩ \big( S(\pi) \big)^\ast \chi(\nabla_E) \;=\; d \Omega

such that the trivializing form has (minus) unit integral over any of the (2k+1)-sphere-fibers S x 2k+1ι xS(E)S^{2k+1}_x \overset{\iota_x}{\hookrightarrow} S(E):

(2) S 2k+1ι x *Ω=1. \int_{S^{2k+1}} \iota_x^\ast \Omega \;=\; -1 \,.

(e.g. Walschap 04, Chapter 6.6, Thm. 6.1, p. 201-202, Poor 07, 3.68, Nie 09)

Fiber integration

Proposition

Let

S 4 BSpin(4) π BSpin(5) \array{ S^4 &\longrightarrow& B Spin(4) \\ && \big\downarrow^{\mathrlap{\pi}} \\ && B Spin(5) }

be the spherical fibration of classifying spaces induced from the canonical inclusion of Spin(4) into Spin(5) and using that the 4-sphere is equivalently the coset space S 4Spin(5)/Spin(4)S^4 \simeq Spin(5)/Spin(4) (this Prop.).

Then the fiber integration of the odd cup powers χ 2k+1\chi^{2k+1} of the Euler class χH 4(BSpin(4),)\chi \in H^4\big( B Spin(4), \mathbb{Z}\big) (see this Prop) are proportional to cup powers of the second Pontryagin class

π *(χ 2k+1)=2(p 2) kH 4(BSpin(5),), \pi_\ast \left( \chi^{2k+1} \right) \;=\; 2 \big( p_2 \big)^k \;\;\in\;\; H^4\big( B Spin(5), \mathbb{Z} \big) \,,

for instance

π *(χ) =2 π *(χ 3) =2p 2 π *(χ 5) =2(p 2) 2H 4(BSpin(5),); \begin{aligned} \pi_\ast \big( \chi \big) & = 2 \\ \pi_\ast \left( \chi^3 \right) & = 2 p_2 \\ \pi_\ast \left( \chi^5 \right) & = 2 (p_2)^2 \end{aligned} \;\;\in\;\; H^4\big( B Spin(5), \mathbb{Z} \big) \,;

while the fiber integration of the even cup powers χ 2k\chi^{2k} vanishes

π *(χ 2k)=0H 4(BSpin(5),). \pi_\ast \left( \chi^{2k} \right) \;=\; 0 \;\;\in\;\; H^4\big( B Spin(5), \mathbb{Z} \big) \,.

(Bott-Cattaneo 98, Lemma 2.1)

References

General

Discussion of fiber integration:

Discussion for projective modules

  • Satya Manda, An overview of Euler class theory (pdf)

See also

  • Wikipedia Euler class

  • Robert F. Brown, On the Lefschetz number and the Euler class, Transactions of the AMS 118, (1965) (JSTOR)

  • Solomon Jekel, A simplicial formula and bound for the Euler class, Israel Journal of Mathematics 66, n. 1-3, 247-259 (1989)

Euler forms

Discussion of Euler forms (differential form-representatives of Euler classes in de Rham cohomology) as Pfaffians of curvature forms:

Last revised on May 30, 2019 at 17:24:46. See the history of this page for a list of all contributions to it.