Chern class

Abstract definition

Given a complex vector bundle E over a topological space X, the Chern classes of E are a sequence of elements of the cohomology of X. The k-th Chern class of E, which is usually denoted c_k(E), is an element of $${\displaystyle H^{2k}(X;\mathbb{Z}),}$$ the cohomology of X with integer coefficients. One can also define the total Chern class $${\displaystyle c(E)=c_0(E)+c_1(E)+c_2(E)+\cdots .}$$

Since the values are in integral cohomology groups, rather than cohomology with real coefficients, these Chern classes are slightly more refined than those in the Riemannian example.

Classical axiomatic definition

The Chern classes satisfy the following four axioms:

1. ${\displaystyle c_0(E)=1}$ for all E.
2. Naturality: If ${\displaystyle f:Y\to X}$ is continuous and f*E is the vector bundle pullback of E, then ${\displaystyle c_k(f^{\ast }E)=f^{\ast }{c}_k(E)}$.
3. Whitney sum formula: If ${\displaystyle F\to X}$ is another complex vector bundle, then the Chern classes of the direct sum ${\displaystyle E\oplus F}$ are given by$${\displaystyle c(E\oplus F)=c(E)⌣c(F);}$$ that is, $${\displaystyle c_k(E\oplus F)=\sum _{i=0}^k{c}_i(E)⌣c_{k-i}(F).}$$
4. Normalization: The total Chern class of the tautological line bundle over ${\displaystyle {\mathbb{C}\mathbb{P}}^k}$ is 1−H, where H is Poincaré dual to the hyperplane ${\displaystyle {\mathbb{C}\mathbb{P}}^{k-1}\subseteq {\mathbb{C}\mathbb{P}}^k}$.

Grothendieck axiomatic approach

Alternatively, Alexander Grothendieck (1958) replaced these with a slightly smaller set of axioms:

• Naturality: (Same as above)
• Additivity: If ${\displaystyle 0\to E^{\prime }\to E\to E^{″}\to 0}$ is an exact sequence of vector bundles, then ${\displaystyle c(E)=c(E^{\prime })⌣c(E^{″})}$.
• Normalization: If E is a line bundle, then ${\displaystyle c(E)=1+e(E_{\mathbb{R}})}$ where ${\displaystyle e(E_{\mathbb{R}})}$ is the Euler class of the underlying real vector bundle.

He shows using the Leray–Hirsch theorem that the total Chern class of an arbitrary finite rank complex vector bundle can be defined in terms of the first Chern class of a tautologically defined line bundle.

Namely, introducing the projectivization ${\displaystyle \mathbb{P}(E)}$ of the rank n complex vector bundle E → B as the fiber bundle on B whose fiber at any point ${\displaystyle b\in B}$ is the projective space of the fiber E_b. The total space of this bundle ${\displaystyle \mathbb{P}(E)}$ is equipped with its tautological complex line bundle, that we denote ${\displaystyle \tau }$, and the first Chern class $${\displaystyle c_1(\tau )=:-a}$$ restricts on each fiber ${\displaystyle \mathbb{P}(E_b)}$ to minus the (Poincaré-dual) class of the hyperplane, that spans the cohomology of the fiber, in view of the cohomology of complex projective spaces.

The classes $${\displaystyle 1,a,a^2,\dots ,a^{n-1}\in H^{\ast }(\mathbb{P}(E))}$$ therefore form a family of ambient cohomology classes restricting to a basis of the cohomology of the fiber. The Leray–Hirsch theorem then states that any class in ${\displaystyle H^{\ast }(\mathbb{P}(E))}$ can be written uniquely as a linear combination of the 1, a, a², ..., aⁿ⁻¹ with classes on the base as coefficients.

In particular, one may define the Chern classes of E in the sense of Grothendieck, denoted ${\displaystyle c_1(E),\dots c_n(E)}$ by expanding this way the class ${\displaystyle -a^n}$, with the relation: $${\displaystyle -a^n=c_1(E)\cdot a^{n-1}+\cdots +c_{n-1}(E)\cdot a+c_n(E).}$$

One then may check that this alternative definition coincides with whatever other definition one may favor, or use the previous axiomatic characterization.

The top Chern class

In fact, these properties uniquely characterize the Chern classes. They imply, among other things:

• If n is the complex rank of V, then ${\displaystyle c_k(V)=0}$ for all k > n. Thus the total Chern class terminates.
• The top Chern class of V (meaning ${\displaystyle c_n(V)}$, where n is the rank of V) is always equal to the Euler class of the underlying real vector bundle.

The Chern class of line bundles

(Let X be a topological space having the homotopy type of a CW complex.)

An important special case occurs when V is a line bundle. Then the only nontrivial Chern class is the first Chern class, which is an element of the second cohomology group of X. As it is the top Chern class, it equals the Euler class of the bundle.

The first Chern class turns out to be a complete invariant with which to classify complex line bundles, topologically speaking. That is, there is a bijection between the isomorphism classes of line bundles over X and the elements of ${\displaystyle H^2(X;\mathbb{Z})}$, which associates to a line bundle its first Chern class. Moreover, this bijection is a group homomorphism (thus an isomorphism): $${\displaystyle c_1(L\otimes L^{\prime })=c_1(L)+c_1(L^{\prime });}$$ the tensor product of complex line bundles corresponds to the addition in the second cohomology group.

In algebraic geometry, this classification of (isomorphism classes of) complex line bundles by the first Chern class is a crude approximation to the classification of (isomorphism classes of) holomorphic line bundles by linear equivalence classes of divisors.

For complex vector bundles of dimension greater than one, the Chern classes are not a complete invariant.

Constructions

Via the Chern–Weil theory

Given a complex vector bundle V of complex rank n over a smooth manifold M, fix a vector bundle connection ${\displaystyle \mathrm{\nabla }}$. Then representatives of each Chern class (also called a Chern form) ${\displaystyle c_k(V)}$ of V are given as the coefficients of the characteristic polynomial of the curvature form ${\displaystyle \mathrm{\Omega }}$ of ${\displaystyle \mathrm{\nabla }}$.

$${\displaystyle det\left(\frac{it\mathrm{\Omega }}{2\pi }+I\right)=\sum _k{c}_k(V)t^k}$$

The determinant is over the ring of ${\displaystyle n\times n}$ matrices whose entries are polynomials in t with coefficients in the commutative algebra of even-degree complex differential forms on M. The curvature form ${\displaystyle \mathrm{\Omega }}$ of V is defined as $${\displaystyle \mathrm{\Omega }=d\omega +\frac{1}{2}[\omega ,\omega ]}$$ with ω the connection form and d the exterior derivative, or via the same expression in which ω is a gauge field for the gauge group of V. The scalar t is used here only as an indeterminate to generate the sum from the determinant, and I denotes the n × n identity matrix.

To say that the expression given is a representative of the Chern class indicates that 'class' here means up to addition of an exact differential form. That is, Chern classes are cohomology classes in the sense of de Rham cohomology. It can be shown that the cohomology classes of the Chern forms do not depend on the choice of connection ${\displaystyle \mathrm{\nabla }}$.

It follows from the matrix identity ${\displaystyle \mathrm{t}\mathrm{r}(\ln (X))=\ln (det(X))}$ that ${\displaystyle det(X)=\exp (\mathrm{t}\mathrm{r}(\ln (X)))}$. Now applying the Maclaurin series for ${\displaystyle \ln (X+I)}$, we get the following expression for the Chern forms:

$${\displaystyle \sum _k{c}_k(V)t^k=\left[1+i\frac{\mathrm{t}\mathrm{r}(\mathrm{\Omega })}{2\pi }t+\frac{\mathrm{t}\mathrm{r}({\mathrm{\Omega }}^2)-\mathrm{t}\mathrm{r}(\mathrm{\Omega }{)}^2}{8{\pi }^2}{t}^2+i\frac{-2\mathrm{t}\mathrm{r}({\mathrm{\Omega }}^3)+3\mathrm{t}\mathrm{r}({\mathrm{\Omega }}^2)\mathrm{t}\mathrm{r}(\mathrm{\Omega })-\mathrm{t}\mathrm{r}(\mathrm{\Omega }{)}^3}{48{\pi }^3}{t}^3+\cdots \right].}$$

Via an Euler class

One can define a Chern class in terms of an Euler class. This is the approach in the book by Milnor and Stasheff, and emphasizes the role of an orientation of a vector bundle.

The basic observation is that a complex vector bundle comes with a canonical orientation, ultimately because ${\displaystyle {\mathrm{GL}}_n(\mathbb{C})}$ is connected. Hence, one simply defines the top Chern class of the bundle to be its Euler class (the Euler class of the underlying real vector bundle) and handles lower Chern classes in an inductive fashion.

The precise construction is as follows. The idea is to do base change to get a bundle of one-less rank. Let ${\displaystyle \pi :E\to B}$ be a complex vector bundle over a paracompact space B. Thinking of B as being embedded in E as the zero section, let ${\displaystyle B^{\prime }=E\setminus B}$ and define the new vector bundle: $${\displaystyle E^{\prime }\to B^{\prime }}$$ such that each fiber is the quotient of a fiber F of E by the line spanned by a nonzero vector v in F (a point of B′ is specified by a fiber F of E and a nonzero vector on F.) Then ${\displaystyle E^{\prime }}$ has rank one less than that of E. From the Gysin sequence for the fiber bundle ${\displaystyle \pi {|}_{B^{\prime }}:B^{\prime }\to B}$: $${\displaystyle \cdots \to {\mathrm{H}}^k(B;\mathbb{Z})\stackrel{\pi {|}_{B^{\prime }}^{\ast }}{\to }{\mathrm{H}}^k(B^{\prime };\mathbb{Z})\to \cdots ,}$$ we see that ${\displaystyle \pi {|}_{B^{\prime }}^{\ast }}$ is an isomorphism for ${\displaystyle k<2n-1}$. Let $${\displaystyle c_k(E)=\{\begin{array}{ll}{\pi {|}_{B^{\prime }}^{\ast }}^{-1}{c}_k(E^{\prime })& k<n\\ e(E_{\mathbb{R}})& k=n\\ 0& k>n\end{array}}$$

It then takes some work to check the axioms of Chern classes are satisfied for this definition.

See also: The Thom isomorphism.

Examples

The complex tangent bundle of the Riemann sphere

Let ${\displaystyle {\mathbb{C}\mathbb{P}}^1}$ be the Riemann sphere: 1-dimensional complex projective space. Suppose that z is a holomorphic local coordinate for the Riemann sphere. Let ${\displaystyle V=T{\mathbb{C}\mathbb{P}}^1}$ be the bundle of complex tangent vectors having the form ${\displaystyle a\mathrm{\partial }/\mathrm{\partial }z}$ at each point, where a is a complex number. We prove the complex version of the hairy ball theorem: V has no section which is everywhere nonzero.

For this, we need the following fact: the first Chern class of a trivial bundle is zero, i.e., $${\displaystyle c_1({\mathbb{C}\mathbb{P}}^1\times \mathbb{C})=0.}$$

This is evinced by the fact that a trivial bundle always admits a flat connection. So, we shall show that $${\displaystyle c_1(V)\ne 0.}$$

Consider the Kähler metric $${\displaystyle h=\frac{dzd\overline{z}}{(1+|z{|}^2{)}^2}.}$$

One readily shows that the curvature 2-form is given by $${\displaystyle \mathrm{\Omega }=\frac{2dz\wedge d\overline{z}}{(1+|z{|}^2{)}^2}.}$$

Furthermore, by the definition of the first Chern class $${\displaystyle c_1=\left[\frac{i}{2\pi }\mathrm{tr}\mathrm{\Omega }\right].}$$

We must show that this cohomology class is non-zero. It suffices to compute its integral over the Riemann sphere: $${\displaystyle \int c_1=\frac{i}{\pi }\int \frac{dz\wedge d\overline{z}}{(1+|z{|}^2{)}^2}=2}$$ after switching to polar coordinates. By Stokes' theorem, an exact form would integrate to 0, so the cohomology class is nonzero.

This proves that ${\displaystyle T{\mathbb{C}\mathbb{P}}^1}$ is not a trivial vector bundle.

Complex projective space

There is an exact sequence of sheaves/bundles: $${\displaystyle 0\to {\mathcal{O}}_{{\mathbb{C}\mathbb{P}}^n}\to {\mathcal{O}}_{{\mathbb{C}\mathbb{P}}^n}(1{)}^{\oplus (n+1)}\to T{\mathbb{C}\mathbb{P}}^n\to 0}$$ where ${\displaystyle {\mathcal{O}}_{{\mathbb{C}\mathbb{P}}^n}}$ is the structure sheaf (i.e., the trivial line bundle), ${\displaystyle {\mathcal{O}}_{{\mathbb{C}\mathbb{P}}^n}(1)}$ is Serre's twisting sheaf (i.e., the hyperplane bundle) and the last nonzero term is the tangent sheaf/bundle.

There are two ways to get the above sequence:

1. Let ${\displaystyle z_0,\dots ,z_n}$ be the coordinates of ${\displaystyle {\mathbb{C}}^{n+1},}$ let ${\displaystyle \pi :{\mathbb{C}}^{n+1}\setminus \{0\}\to \mathbb{C}{\mathbb{P}}^n}$ be the canonical projection, and let ${\displaystyle U={\mathbb{C}\mathbb{P}}^n\setminus \{z_0=0\}}$. Then we have: $${\displaystyle {\pi }^{\ast }d(z_i/z_0)=\frac{z_{0}d{z}_i-z_{i}d{z}_0}{z_0^2},i\ge 1.}$$ In other words, the cotangent sheaf ${\displaystyle {\mathrm{\Omega }}_{\mathbb{C}{\mathbb{P}}^n}{|}_U}$, which is a free ${\displaystyle {\mathcal{O}}_U}$-module with basis ${\displaystyle d(z_i/z_0)}$, fits into the exact sequence $${\displaystyle 0\to {\mathrm{\Omega }}_{\mathbb{C}{\mathbb{P}}^n}{|}_U\stackrel{d{z}_i\mapsto e_i}{\to }{\oplus }_1^{n+1}\mathcal{O}(-1){|}_U\stackrel{e_i\mapsto z_i}{\to }{\mathcal{O}}_U\to 0,i\ge 0,}$$ where ${\displaystyle e_i}$ are the basis of the middle term. The same sequence is clearly then exact on the whole projective space and the dual of it is the aforementioned sequence.
2. Let L be a line in ${\displaystyle {\mathbb{C}}^{n+1}}$ that passes through the origin. It is an exercise in elementary geometry to see that the complex tangent space to ${\displaystyle \mathbb{C}{\mathbb{P}}^n}$ at the point L is naturally the set of linear maps from L to its complement. Thus, the tangent bundle ${\displaystyle T\mathbb{C}{\mathbb{P}}^n}$ can be identified with the hom bundle $${\displaystyle \mathrm{Hom}(\mathcal{O}(-1),\eta )}$$ where η is the vector bundle such that ${\displaystyle \mathcal{O}(-1)\oplus \eta ={\mathcal{O}}^{\oplus (n+1)}}$. It follows: $${\displaystyle T\mathbb{C}{\mathbb{P}}^n\oplus \mathcal{O}=\mathrm{Hom}(\mathcal{O}(-1),\eta )\oplus \mathrm{Hom}(\mathcal{O}(-1),\mathcal{O}(-1))=\mathcal{O}(1{)}^{\oplus (n+1)}.}$$

By the additivity of total Chern class ${\displaystyle c=1+c_1+c_2+\cdots }$ (i.e., the Whitney sum formula), $${\displaystyle c(\mathbb{C}{\mathbb{P}}^n)\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}c(T{\mathbb{C}\mathbb{P}}^n)=c({\mathcal{O}}_{\mathbb{C}{\mathbb{P}}^n}(1){)}^{n+1}=(1+a{)}^{n+1},}$$ where a is the canonical generator of the cohomology group ${\displaystyle H^2(\mathbb{C}{\mathbb{P}}^n,\mathbb{Z})}$; i.e., the negative of the first Chern class of the tautological line bundle ${\displaystyle {\mathcal{O}}_{\mathbb{C}{\mathbb{P}}^n}(-1)}$ (note: ${\displaystyle c_1(E^{\ast })=-c_1(E)}$ when ${\displaystyle E^{\ast }}$ is the dual of E.)

In particular, for any ${\displaystyle k\ge 0}$, $${\displaystyle c_k(\mathbb{C}{\mathbb{P}}^n)=(\genfrac{}{}{0ex}{}{n+1}{k})a^k.}$$

Chern polynomial

A Chern polynomial is a convenient way to handle Chern classes and related notions systematically. By definition, for a complex vector bundle E, the Chern polynomial c_t of E is given by: $${\displaystyle c_t(E)=1+c_1(E)t+\cdots +c_n(E)t^n.}$$

This is not a new invariant: the formal variable t simply keeps track of the degree of c_k(E). In particular, ${\displaystyle c_t(E)}$ is completely determined by the total Chern class of E: ${\displaystyle c(E)=1+c_1(E)+\cdots +c_n(E)}$ and conversely.

The Whitney sum formula, one of the axioms of Chern classes (see below), says that c_t is additive in the sense: $${\displaystyle c_t(E\oplus E^{\prime })=c_t(E)c_t(E^{\prime }).}$$ Now, if ${\displaystyle E=L_1\oplus \cdots \oplus L_n}$ is a direct sum of (complex) line bundles, then it follows from the sum formula that: $${\displaystyle c_t(E)=(1+a_1(E)t)\cdots (1+a_n(E)t)}$$ where ${\displaystyle a_i(E)=c_1(L_i)}$ are the first Chern classes. The roots ${\displaystyle a_i(E)}$, called the Chern roots of E, determine the coefficients of the polynomial: i.e., $${\displaystyle c_k(E)={\sigma }_k(a_1(E),\dots ,a_n(E))}$$ where σ_k are elementary symmetric polynomials. In other words, thinking of a_i as formal variables, c_k "are" σ_k. A basic fact on symmetric polynomials is that any symmetric polynomial in, say, t_i's is a polynomial in elementary symmetric polynomials in t_i's. Either by splitting principle or by ring theory, any Chern polynomial ${\displaystyle c_t(E)}$ factorizes into linear factors after enlarging the cohomology ring; E need not be a direct sum of line bundles in the preceding discussion. The conclusion is

"One can evaluate any symmetric polynomial f at a complex vector bundle E by writing f as a polynomial in σ_k and then replacing σ_k by c_k(E)."

Example: We have polynomials s_k $${\displaystyle t_1^k+\cdots +t_n^k=s_k({\sigma }_1(t_1,\dots ,t_n),\dots ,{\sigma }_k(t_1,\dots ,t_n))}$$ with ${\displaystyle s_1={\sigma }_1,s_2={\sigma }_1^2-2{\sigma }_2}$ and so on (cf. Newton's identities). The sum $${\displaystyle \mathrm{ch}(E)=e^{a_1(E)}+\cdots +e^{a_n(E)}=\sum s_k(c_1(E),\dots ,c_n(E))/k!}$$ is called the Chern character of E, whose first few terms are: (we drop E from writing.)$${\displaystyle \mathrm{ch}(E)=\mathrm{rk}+c_1+\frac{1}{2}(c_1^2-2c_2)+\frac{1}{6}(c_1^3-3c_1{c}_2+3c_3)+\cdots .}$$

Example: The Todd class of E is given by:$${\displaystyle \mathrm{td}(E)=\prod _1^n\frac{a_i}{1-e^{-a_i}}=1+\frac{1}{2}{c}_1+\frac{1}{12}(c_1^2+c_2)+\frac{1}{24}{c}_1{c}_2\cdots .}$$

Remark: The observation that a Chern class is essentially an elementary symmetric polynomial can be used to "define" Chern classes. Let G_n be the infinite Grassmannian of n-dimensional complex vector spaces. This space is equipped with a tautologous vector bundle of rank ${\displaystyle n}$, say ${\displaystyle E_n\to G_n}$. ${\displaystyle G_n}$ is called the classifying space for rank-${\displaystyle n}$ vector bundles because given any complex vector bundle E of rank n over X, there is a continuous map $${\displaystyle f_E:X\to G_n}$$ such that the pullback of ${\displaystyle E_n}$ to ${\displaystyle X}$ along ${\displaystyle f_E}$ is isomorphic to ${\displaystyle E}$, and this map ${\displaystyle f_E}$ is unique up to homotopy. Borel's theorem says the cohomology ring of G_n is exactly the ring of symmetric polynomials, which are polynomials in elementary symmetric polynomials σ_k; so, the pullback of f_E reads: $${\displaystyle f_E^{\ast }:\mathbb{Z}[{\sigma }_1,\dots ,{\sigma }_n]\to H^{\ast }(X,\mathbb{Z}).}$$ One then puts: $${\displaystyle c_k(E)=f_E^{\ast }({\sigma }_k).}$$

Remark: Any characteristic class is a polynomial in Chern classes, for the reason as follows. Let ${\displaystyle {\mathrm{Vect}}_n^{\mathbb{C}}}$ be the contravariant functor that, to a CW complex X, assigns the set of isomorphism classes of complex vector bundles of rank n over X and, to a map, its pullback. By definition, a characteristic class is a natural transformation from ${\displaystyle {\mathrm{Vect}}_n^{\mathbb{C}}=[-,G_n]}$ to the cohomology functor ${\displaystyle H^{\ast }(-,\mathbb{Z}).}$ Characteristic classes form a ring because of the ring structure of cohomology ring. Yoneda's lemma says this ring of characteristic classes is exactly the cohomology ring of G_n: $${\displaystyle \mathrm{Nat}([-,G_n],H^{\ast }(-,\mathbb{Z}))=H^{\ast }(G_n,\mathbb{Z})=\mathbb{Z}[{\sigma }_1,\dots ,{\sigma }_n].}$$

Computation formulae

Let E be a vector bundle of rank r and ${\displaystyle c_t(E)=\sum _{i=0}^r{c}_i(E)t^i}$ the Chern polynomial of it.

• For the dual bundle ${\displaystyle E^{\ast }}$ of ${\displaystyle E}$, ${\displaystyle c_i(E^{\ast })=(-1{)}^i{c}_i(E)}$.
• If L is a line bundle, then $${\displaystyle c_t(E\otimes L)=\sum _{i=0}^r{c}_i(E)c_t(L{)}^{r-i}{t}^i}$$ and so ${\displaystyle c_i(E\otimes L),i=1,2,\dots ,r}$ are $${\displaystyle c_1(E)+r{c}_1(L),\dots ,\sum _{j=0}^i(\genfrac{}{}{0ex}{}{r-i+j}{j})c_{i-j}(E)c_1(L{)}^j,\dots ,\sum _{j=0}^r{c}_{r-j}(E)c_1(L{)}^j.}$$
• For the Chern roots ${\displaystyle {\alpha }_1,\dots ,{\alpha }_r}$ of ${\displaystyle E}$, $${\displaystyle \begin{array}{cc}{c}_t({\mathrm{Sym}}^{p}E)& =\prod _{i_1\le \cdots \le i_p}(1+({\alpha }_{i_1}+\cdots +{\alpha }_{i_p})t),\\ c_t({\wedge }^{p}E)& =\prod _{i_1<\cdots <i_p}(1+({\alpha }_{i_1}+\cdots +{\alpha }_{i_p})t).\end{array}}$$ In particular, ${\displaystyle c_1({\wedge }^{r}E)=c_1(E).}$
• For example, for ${\displaystyle c_i=c_i(E)}$,

  when ${\displaystyle r=2}$, ${\displaystyle c({\mathrm{Sym}}^{2}E)=1+3c_1+2c_1^2+4c_2+4c_1{c}_2,}$

  when ${\displaystyle r=3}$, ${\displaystyle c({\mathrm{Sym}}^{2}E)=1+4c_1+5c_1^2+5c_2+2c_1^3+11c_1{c}_2+7c_3.}$

(cf. Segre class#Example 2.)

Applications of formulae

We can use these abstract properties to compute the rest of the chern classes of line bundles on ${\displaystyle {\mathbb{C}\mathbb{P}}^1}$. Recall that ${\displaystyle \mathcal{O}(-1{)}^{\ast }\cong \mathcal{O}(1)}$ showing ${\displaystyle c_1(\mathcal{O}(1))=1\in H^2({\mathbb{C}\mathbb{P}}^1;\mathbb{Z})}$. Then using tensor powers, we can relate them to the chern classes of ${\displaystyle c_1(\mathcal{O}(n))=n}$ for any integer.

In algebraic geometry

Axiomatic description

There is another construction of Chern classes which take values in the algebrogeometric analogue of the cohomology ring, the Chow ring.

Let ${\displaystyle X}$ be a nonsingular quasi-projective variety of dimension ${\displaystyle n}$. It can be shown that there is a unique theory of Chern classes which assigns an algebraic vector bundle ${\displaystyle E\to X}$ to elements ${\displaystyle c_i(E)\in A^i(X)}$ called Chern classes, with Chern polynomial ${\displaystyle c_t(E)=c_0(E)+c_1(E)t+\cdots +c_n(E)t^n}$, satisfying the following (similar to Grothendieck's axiomatic approach).

1. If for a Cartier divisor ${\displaystyle D}$, we have ${\displaystyle E\cong {\mathcal{O}}_X(D)}$, then ${\displaystyle c_t(E)=1+Dt}$.
2. If ${\displaystyle f:X^{\prime }\to X}$ is a morphism, then ${\displaystyle c_i(f^{\ast }E)=f^{\ast }{c}_i(E)}$.
3. If ${\displaystyle 0\to E^{\prime }\to E\to E^{″}\to 0}$ is an exact sequence of vector bundles on ${\displaystyle X}$, the Whitney sum formula holds: ${\displaystyle c_t(E)=c_t(E^{\prime })c_t(E^{″})}$.

Normal sequence

Computing the characteristic classes for projective space forms the basis for many characteristic class computations since for any smooth projective subvariety ${\displaystyle X\subset {\mathbb{P}}^n}$ there is the short exact sequence $${\displaystyle 0\to {\mathcal{T}}_X\to {\mathcal{T}}_{{\mathbb{P}}^n}{|}_X\to {\mathcal{N}}_{X/{\mathbb{P}}^n}\to 0}$$

Quintic threefold

For example, consider a nonsingular quintic threefold in ${\displaystyle {\mathbb{P}}^4}$. Its normal bundle is given by ${\displaystyle {\mathcal{O}}_X(5)}$ and we have the short exact sequence $${\displaystyle 0\to {\mathcal{T}}_X\to {\mathcal{T}}_{{\mathbb{P}}^4}{|}_X\to {\mathcal{O}}_X(5)\to 0}$$

Let ${\displaystyle h}$ denote the hyperplane class in ${\displaystyle A^{\bullet }(X)}$. Then the Whitney sum formula gives us that $${\displaystyle c({\mathcal{T}}_X)c({\mathcal{O}}_X(5))=(1+h{)}^5=1+5h+10h^2+10h^3}$$

Since the Chow ring of a hypersurface is difficult to compute, we will consider this sequence as a sequence of coherent sheaves in ${\displaystyle {\mathbb{P}}^4}$. This gives us that $${\displaystyle \begin{array}{cc}c({\mathcal{T}}_X)& =\frac{1+5h+10h^2+10h^3}{1+5h}\\ & =\left(1+5h+10h^2+10h^3\right)\left(1-5h+25h^2-125h^3\right)\\ & =1+10h^2-40h^3\end{array}}$$

Using the Gauss-Bonnet theorem we can integrate the class ${\displaystyle c_3({\mathcal{T}}_X)}$ to compute the Euler characteristic. Traditionally this is called the Euler class. This is $${\displaystyle {\int }_{[X]}{c}_3({\mathcal{T}}_X)={\int }_{[X]}-40h^3=-200}$$ since the class of ${\displaystyle h^3}$ can be represented by five points (by Bézout's theorem). The Euler characteristic can then be used to compute the Betti numbers for the cohomology of ${\displaystyle X}$ by using the definition of the Euler characteristic and using the Lefschetz hyperplane theorem.

Degree d hypersurfaces

If ${\displaystyle X\subset {\mathbb{P}}^3}$ is a degree ${\displaystyle d}$ smooth hypersurface, we have the short exact sequence $${\displaystyle 0\to {\mathcal{T}}_X\to {\mathcal{T}}_{{\mathbb{P}}^3}{|}_X\to {\mathcal{O}}_X(d)\to 0}$$ giving the relation $${\displaystyle c({\mathcal{T}}_X)=\frac{c({\mathcal{T}}_{{\mathbb{P}}^3{|}_X})}{c({\mathcal{O}}_X(d))}}$$ we can then calculate this as $${\displaystyle \begin{array}{cc}c({\mathcal{T}}_X)& =\frac{(1+[H]{)}^4}{(1+d[H])}\\ & =(1+4[H]+6[H{]}^2)(1-d[H]+d^2[H{]}^2)\\ & =1+(4-d)[H]+(6-4d+d^2)[H{]}^2\end{array}}$$ Giving the total chern class. In particular, we can find ${\displaystyle X}$ is a spin 4-manifold if ${\displaystyle 4-d}$ is even, so every smooth hypersurface of degree ${\displaystyle 2k}$ is a spin manifold.

Proximate notions

The Chern character

Chern classes can be used to construct a homomorphism of rings from the topological K-theory of a space to (the completion of) its rational cohomology. For a line bundle L, the Chern character ch is defined by

$${\displaystyle \mathrm{ch}(L)=\exp (c_1(L)):=\sum _{m=0}^{\mathrm{\infty }}\frac{c_1(L{)}^m}{m!}.}$$

More generally, if ${\displaystyle V=L_1\oplus \cdots \oplus L_n}$ is a direct sum of line bundles, with first Chern classes ${\displaystyle x_i=c_1(L_i),}$ the Chern character is defined additively $${\displaystyle \mathrm{ch}(V)=e^{x_1}+\cdots +e^{x_n}:=\sum _{m=0}^{\mathrm{\infty }}\frac{1}{m!}(x_1^m+\cdots +x_n^m).}$$

This can be rewritten as:

$${\displaystyle \mathrm{ch}(V)=\mathrm{rk}(V)+c_1(V)+\frac{1}{2}(c_1(V{)}^2-2c_2(V))+\frac{1}{6}(c_1(V{)}^3-3c_1(V)c_2(V)+3c_3(V))+\cdots .}$$

This last expression, justified by invoking the splitting principle, is taken as the definition ch(V) for arbitrary vector bundles V.

If a connection is used to define the Chern classes when the base is a manifold (i.e., the Chern–Weil theory), then the explicit form of the Chern character is $${\displaystyle \mathrm{ch}(V)=\left[\mathrm{tr}\left(\exp \left(\frac{i\mathrm{\Omega }}{2\pi }\right)\right)\right]}$$ where Ω is the curvature of the connection.

The Chern character is useful in part because it facilitates the computation of the Chern class of a tensor product. Specifically, it obeys the following identities:

$${\displaystyle \mathrm{ch}(V\oplus W)=\mathrm{ch}(V)+\mathrm{ch}(W)}$$ $${\displaystyle \mathrm{ch}(V\otimes W)=\mathrm{ch}(V)\mathrm{ch}(W).}$$

As stated above, using the Grothendieck additivity axiom for Chern classes, the first of these identities can be generalized to state that ch is a homomorphism of abelian groups from the K-theory K(X) into the rational cohomology of X. The second identity establishes the fact that this homomorphism also respects products in K(X), and so ch is a homomorphism of rings.

The Chern character is used in the Hirzebruch–Riemann–Roch theorem.

Chern numbers

If we work on an oriented manifold of dimension ${\displaystyle 2n}$, then any product of Chern classes of total degree ${\displaystyle 2n}$ (i.e., the sum of indices of the Chern classes in the product should be ${\displaystyle n}$) can be paired with the orientation homology class (or "integrated over the manifold") to give an integer, a Chern number of the vector bundle. For example, if the manifold has dimension 6, there are three linearly independent Chern numbers, given by ${\displaystyle c_1^3}$, ${\displaystyle c_1{c}_2}$, and ${\displaystyle c_3}$. In general, if the manifold has dimension ${\displaystyle 2n}$, the number of possible independent Chern numbers is the number of partitions of ${\displaystyle n}$.

The Chern numbers of the tangent bundle of a complex (or almost complex) manifold are called the Chern numbers of the manifold, and are important invariants.

Generalized cohomology theories

There is a generalization of the theory of Chern classes, where ordinary cohomology is replaced with a generalized cohomology theory. The theories for which such generalization is possible are called complex orientable. The formal properties of the Chern classes remain the same, with one crucial difference: the rule which computes the first Chern class of a tensor product of line bundles in terms of first Chern classes of the factors is not (ordinary) addition, but rather a formal group law.

Algebraic geometry

In algebraic geometry there is a similar theory of Chern classes of vector bundles. There are several variations depending on what groups the Chern classes lie in:

• For complex varieties the Chern classes can take values in ordinary cohomology, as above.
• For varieties over general fields, the Chern classes can take values in cohomology theories such as etale cohomology or l-adic cohomology.
• For varieties V over general fields the Chern classes can also take values in homomorphisms of Chow groups CH(V): for example, the first Chern class of a line bundle over a variety V is a homomorphism from CH(V) to CH(V) reducing degrees by 1. This corresponds to the fact that the Chow groups are a sort of analog of homology groups, and elements of cohomology groups can be thought of as homomorphisms of homology groups using the cap product.

Manifolds with structure

The theory of Chern classes gives rise to cobordism invariants for almost complex manifolds.

If M is an almost complex manifold, then its tangent bundle is a complex vector bundle. The Chern classes of M are thus defined to be the Chern classes of its tangent bundle. If M is also compact and of dimension 2d, then each monomial of total degree 2d in the Chern classes can be paired with the fundamental class of M, giving an integer, a Chern number of M. If M′ is another almost complex manifold of the same dimension, then it is cobordant to M if and only if the Chern numbers of M′ coincide with those of M.

The theory also extends to real symplectic vector bundles, by the intermediation of compatible almost complex structures. In particular, symplectic manifolds have a well-defined Chern class.

Arithmetic schemes and Diophantine equations

(See Arakelov geometry)