Chern class

Last updated

In mathematics, in particular in algebraic topology, differential geometry and algebraic geometry, the Chern classes are characteristic classes associated with complex vector bundles. They have since become fundamental concepts in many branches of mathematics and physics, such as string theory, Chern–Simons theory, knot theory, Gromov–Witten invariants. Chern classes were introduced by Shiing-ShenChern  ( 1946 ).

Contents

Geometric approach

Basic idea and motivation

Chern classes are characteristic classes. They are topological invariants associated with vector bundles on a smooth manifold. The question of whether two ostensibly different vector bundles are the same can be quite hard to answer. The Chern classes provide a simple test: if the Chern classes of a pair of vector bundles do not agree, then the vector bundles are different. The converse, however, is not true.

In topology, differential geometry, and algebraic geometry, it is often important to count how many linearly independent sections a vector bundle has. The Chern classes offer some information about this through, for instance, the Riemann–Roch theorem and the Atiyah–Singer index theorem.

Chern classes are also feasible to calculate in practice. In differential geometry (and some types of algebraic geometry), the Chern classes can be expressed as polynomials in the coefficients of the curvature form.

Construction

There are various ways of approaching the subject, each of which focuses on a slightly different flavor of Chern class.

The original approach to Chern classes was via algebraic topology: the Chern classes arise via homotopy theory which provides a mapping associated with a vector bundle to a classifying space (an infinite Grassmannian in this case). For any complex vector bundle V over a manifold M, there exists a map f from M to the classifying space such that the bundle V is equal to the pullback, by f, of a universal bundle over the classifying space, and the Chern classes of V can therefore be defined as the pullback of the Chern classes of the universal bundle. In turn, these universal Chern classes can be explicitly written down in terms of Schubert cycles.

It can be shown that for any two maps f, g from M to the classifying space whose pullbacks are the same bundle V, the maps must be homotopic. Therefore, the pullback by either f or g of any universal Chern class to a cohomology class of M must be the same class. This shows that the Chern classes of V are well-defined.

Chern's approach used differential geometry, via the curvature approach described predominantly in this article. He showed that the earlier definition was in fact equivalent to his. The resulting theory is known as the Chern–Weil theory.

There is also an approach of Alexander Grothendieck showing that axiomatically one need only define the line bundle case.

Chern classes arise naturally in algebraic geometry. The generalized Chern classes in algebraic geometry can be defined for vector bundles (or more precisely, locally free sheaves) over any nonsingular variety. Algebro-geometric Chern classes do not require the underlying field to have any special properties. In particular, the vector bundles need not necessarily be complex.

Regardless of the particular paradigm, the intuitive meaning of the Chern class concerns 'required zeroes' of a section of a vector bundle: for example the theorem saying one can't comb a hairy ball flat (hairy ball theorem). Although that is strictly speaking a question about a real vector bundle (the "hairs" on a ball are actually copies of the real line), there are generalizations in which the hairs are complex (see the example of the complex hairy ball theorem below), or for 1-dimensional projective spaces over many other fields.

See Chern–Simons theory for more discussion.

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 , which associates to a line bundle its first Chern class. Moreover, this bijection is a group homomorphism (thus an isomorphism):

the tensor product of complex line bundles corresponds to the addition in the second cohomology group. [1] [2]

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 hermitian vector bundle V of complex rank n over a smooth manifold M, representatives of each Chern class (also called a Chern form) of V are given as the coefficients of the characteristic polynomial of the curvature form of V.

The determinant is over the ring of matrices whose entries are polynomials in t with coefficients in the commutative algebra of even complex differential forms on M. The curvature form of V is defined as

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 in V.

If follows from the matrix identity that . Now applying the Maclaurin series for , we get the following expression for the Chern forms:

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 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 be a complex vector bundle over a paracompact space B. Thinking of B as being embedded in E as the zero section, let and define the new vector bundle:

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.) [3] Then has rank one less than that of E. From the Gysin sequence for the fiber bundle :

we see that is an isomorphism for . Let

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 be the Riemann sphere: 1-dimensional complex projective space. Suppose that z is a holomorphic local coordinate for the Riemann sphere. Let be the bundle of complex tangent vectors having the form 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.,

This is evinced by the fact that a trivial bundle always admits a flat connection. So, we shall show that

Consider the Kähler metric

One readily shows that the curvature 2-form is given by

Furthermore, by the definition of the first Chern class

We must show that this cohomology class is non-zero. It suffices to compute its integral over the Riemann sphere:

after switching to polar coordinates. By Stokes' theorem, an exact form would integrate to 0, so the cohomology class is nonzero.

This proves that is not a trivial vector bundle.

Complex projective space

There is an exact sequence of sheaves/bundles: [4]

where is the structure sheaf (i.e., the trivial line bundle), 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. [5] Let be the coordinates of let be the canonical projection, and let . Then we have:

    In other words, the cotangent sheaf , which is a free -module with basis , fits into the exact sequence

    where 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 that passes through the origin. It is an elementary geometry to see that the complex tangent space to at the point L is naturally the set of linear maps from L to its complement. Thus, the tangent bundle can be identified with the hom bundle

    where η is the vector bundle such that . It follows:

By the additivity of total Chern class (i.e., the Whitney sum formula),

where a is the canonical generator of the cohomology group ; i.e., the negative of the first Chern class of the tautological line bundle (note: when is the dual of E.)

In particular, for any ,

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 polynomialct of E is given by:

This is not a new invariant: the formal variable t simply keeps track of the degree of ck(E). [6] In particular, is completely determined by the total Chern class of E: and conversely.

The Whitney sum formula, one of the axioms of Chern classes (see below), says that ct is additive in the sense:

Now, if is a direct sum of (complex) line bundles, then it follows from the sum formula that:

where are the first Chern classes. The roots , called the Chern roots of E, determine the coefficients of the polynomial: i.e.,

where σk are elementary symmetric polynomials. In other words, thinking of ai as formal variables, ck "are" σk. A basic fact on symmetric polynomials is that any symmetric polynomial in, say, ti's is a polynomial in elementary symmetric polynomials in ti's. Either by splitting principle or by ring theory, any Chern polynomial 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 ck(E)."

Example: We have polynomials sk

with and so on (cf. Newton's identities). The sum

is called the Chern character of E, whose first few terms are: (we drop E from writing.)

Example: The Todd class of E is given by:

Remark: The observation that a Chern class is essentially an elementary symmetric polynomial can be used to "define" Chern classes. Let Gn be the infinite Grassmannian of n-dimensional complex vector spaces. It is a classifying space in the sense that, given a complex vector bundle E of rank n over X, there is a continuous map

unique up to homotopy. Borel's theorem says the cohomology ring of Gn is exactly the ring of symmetric polynomials, which are polynomials in elementary symmetric polynomials σk; so, the pullback of fE reads:

One then puts:

Remark: Any characteristic class is a polynomial in Chern classes, for the reason as follows. Let 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 to the cohomology functor 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 Gn:

Computation formulae

Let E be a vector bundle of rank r and the Chern polynomial of it.

(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 . Recall that showing . Then using tensor powers, we can relate them to the chern classes of for any integer.

Properties

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 ck(E), is an element of

the cohomology of X with integer coefficients. One can also define the total Chern class

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.[ clarification needed ]

Classical axiomatic definition

The Chern classes satisfy the following four axioms:

  1. for all E.
  2. Naturality: If is continuous and f*E is the vector bundle pullback of E, then .
  3. Whitney sum formula: If is another complex vector bundle, then the Chern classes of the direct sum are given by
    that is,
  4. Normalization: The total Chern class of the tautological line bundle over is 1−H, where H is Poincaré dual to the hyperplane .

Grothendieck axiomatic approach

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

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 of the rank n complex vector bundle EB as the fiber bundle on B whose fiber at any point is the projective space of the fiber Eb. The total space of this bundle is equipped with its tautological complex line bundle, that we denote , and the first Chern class

restricts on each fiber 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

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 can be written uniquely as a linear combination of the 1, a, a2, ..., an−1 with classes on the base as coefficients.

In particular, one may define the Chern classes of E in the sense of Grothendieck, denoted by expanding this way the class , with the relation:

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:

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. It can be shown that there is a unique theory of Chern classes such that if you are given an algebraic vector bundle over a quasi-projective variety there are a sequence of classes such that

  1. For an invertible sheaf (so that is a Cartier divisor),
  2. Given an exact sequence of vector bundles the Whitney sum formula holds:
  3. for
  4. The map extends to a ring morphism

Normal sequence

Computing the characteristic classes for projective space forms the basis for many characteristic class computations since for any smooth projective subvariety there is the short exact sequence

Quintic threefold

For example, consider the nonsingular quintic threefold in . Then the normal bundle is given by and we have the short exact sequence

Let denote the hyperplane class in . Then the Whitney sum formula gives us that

Since the Chow ring of a hypersurface is difficult to compute, we will consider this sequence as a sequence of coherent sheaves in . This gives us that

Using the Gauss-Bonnet theorem we can integrate the class to compute the Euler characteristic. Traditionally this is called the Euler class. This is

since the class of 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 by using the definition of the Euler characteristic and using the Lefschetz hyperplane theorem.

Degree d hypersurfaces

If is a degree smooth hypersurface, we have the short exact sequence

giving the relation

we can then calculate this as

Giving the total chern class. In particular, we can find is a spin 4-manifold if is even, so every smooth hypersurface of degree 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

More generally, if is a direct sum of line bundles, with first Chern classes the Chern character is defined additively

This can be rewritten as: [12]

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

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:

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 , then any product of Chern classes of total degree (i.e., the sum of indices of the Chern classes in the product should be ) 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 , , and . In general, if the manifold has dimension , the number of possible independent Chern numbers is the number of partitions of .

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:

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)

See also

Notes

  1. Bott, Raoul; Tu, Loring (1995). Differential forms in algebraic topology (Corr. 3. print. ed.). New York [u.a.]: Springer. p. 267ff. ISBN   3-540-90613-4.
  2. Hatcher, Allen. "Vector Bundles and K-theory" (PDF). Proposition 3.10.
  3. Editorial note: Our notation differs from Milnor−Stasheff, but seems more natural.
  4. The sequence is sometimes called the Euler sequence.
  5. Hartshorne, Ch. II. Theorem 8.13.
  6. In a ring-theoretic term, there is an isomorphism of graded rings:
    where the left is the cohomology ring of even terms, η is a ring homomorphism that disregards grading and x is homogeneous and has degree |x|.
  7. Fulton , Remark 3.2.3. (a)
  8. Fulton , Remark 3.2.3. (b)
  9. Fulton , Example 3.2.2.
  10. Fulton , Remark 3.2.3. (c)
  11. Use, for example, WolframAlpha to expand the polynomial and then use the fact are elementary symmetric polynomials in 's.
  12. (See also § Chern polynomial.) Observe that when V is a sum of line bundles, the Chern classes of V can be expressed as elementary symmetric polynomials in the , In particular, on the one hand
    while on the other hand
    Consequently, Newton's identities may be used to re-express the power sums in ch(V) above solely in terms of the Chern classes of V, giving the claimed formula.

Related Research Articles

<span class="mw-page-title-main">Hodge conjecture</span> Unsolved problem in geometry

In mathematics, the Hodge conjecture is a major unsolved problem in algebraic geometry and complex geometry that relates the algebraic topology of a non-singular complex algebraic variety to its subvarieties.

In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometry, it is referred to as algebraic K-theory. It is also a fundamental tool in the field of operator algebras. It can be seen as the study of certain kinds of invariants of large matrices.

<span class="mw-page-title-main">Projective variety</span>

In algebraic geometry, a projective variety over an algebraically closed field k is a subset of some projective n-space over k that is the zero-locus of some finite family of homogeneous polynomials of n + 1 variables with coefficients in k, that generate a prime ideal, the defining ideal of the variety. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski closed subvariety of .

In mathematics, the Pontryagin classes, named after Lev Pontryagin, are certain characteristic classes of real vector bundles. The Pontryagin classes lie in cohomology groups with degrees a multiple of four.

In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information.

In mathematics, Kähler differentials provide an adaptation of differential forms to arbitrary commutative rings or schemes. The notion was introduced by Erich Kähler in the 1930s. It was adopted as standard in commutative algebra and algebraic geometry somewhat later, once the need was felt to adapt methods from calculus and geometry over the complex numbers to contexts where such methods are not available.

In mathematics, in particular in algebraic topology and differential geometry, the Stiefel–Whitney classes are a set of topological invariants of a real vector bundle that describe the obstructions to constructing everywhere independent sets of sections of the vector bundle. Stiefel–Whitney classes are indexed from 0 to n, where n is the rank of the vector bundle. If the Stiefel–Whitney class of index i is nonzero, then there cannot exist everywhere linearly independent sections of the vector bundle. A nonzero nth Stiefel–Whitney class indicates that every section of the bundle must vanish at some point. A nonzero first Stiefel–Whitney class indicates that the vector bundle is not orientable. For example, the first Stiefel–Whitney class of the Möbius strip, as a line bundle over the circle, is not zero, whereas the first Stiefel–Whitney class of the trivial line bundle over the circle, , is zero.

In mathematics, the Chern–Weil homomorphism is a basic construction in Chern–Weil theory that computes topological invariants of vector bundles and principal bundles on a smooth manifold M in terms of connections and curvature representing classes in the de Rham cohomology rings of M. That is, the theory forms a bridge between the areas of algebraic topology and differential geometry. It was developed in the late 1940s by Shiing-Shen Chern and André Weil, in the wake of proofs of the generalized Gauss–Bonnet theorem. This theory was an important step in the theory of characteristic classes.

In mathematics, the Todd class is a certain construction now considered a part of the theory in algebraic topology of characteristic classes. The Todd class of a vector bundle can be defined by means of the theory of Chern classes, and is encountered where Chern classes exist — most notably in differential topology, the theory of complex manifolds and algebraic geometry. In rough terms, a Todd class acts like a reciprocal of a Chern class, or stands in relation to it as a conormal bundle does to a normal bundle.

In mathematics, the Hirzebruch–Riemann–Roch theorem, named after Friedrich Hirzebruch, Bernhard Riemann, and Gustav Roch, is Hirzebruch's 1954 result generalizing the classical Riemann–Roch theorem on Riemann surfaces to all complex algebraic varieties of higher dimensions. The result paved the way for the Grothendieck–Hirzebruch–Riemann–Roch theorem proved about three years later.

In mathematics, equivariant cohomology is a cohomology theory from algebraic topology which applies to topological spaces with a group action. It can be viewed as a common generalization of group cohomology and an ordinary cohomology theory. Specifically, the equivariant cohomology ring of a space with action of a topological group is defined as the ordinary cohomology ring with coefficient ring of the homotopy quotient :

In mathematics, a Hirzebruch surface is a ruled surface over the projective line. They were studied by Friedrich Hirzebruch (1951).

In algebraic geometry, the Chow groups of an algebraic variety over any field are algebro-geometric analogs of the homology of a topological space. The elements of the Chow group are formed out of subvarieties in a similar way to how simplicial or cellular homology groups are formed out of subcomplexes. When the variety is smooth, the Chow groups can be interpreted as cohomology groups and have a multiplication called the intersection product. The Chow groups carry rich information about an algebraic variety, and they are correspondingly hard to compute in general.

In mathematics, the splitting principle is a technique used to reduce questions about vector bundles to the case of line bundles.

In mathematics, a stable vector bundle is a vector bundle that is stable in the sense of geometric invariant theory. Any holomorphic vector bundle may be built from stable ones using Harder–Narasimhan filtration. Stable bundles were defined by David Mumford in Mumford (1963) and later built upon by David Gieseker, Fedor Bogomolov, Thomas Bridgeland and many others.

In mathematics, the Euler sequence is a particular exact sequence of sheaves on n-dimensional projective space over a ring. It shows that the sheaf of relative differentials is stably isomorphic to an -fold sum of the dual of the Serre twisting sheaf.

In mathematics, the Segre class is a characteristic class used in the study of cones, a generalization of vector bundles. For vector bundles the total Segre class is inverse to the total Chern class, and thus provides equivalent information; the advantage of the Segre class is that it generalizes to more general cones, while the Chern class does not. The Segre class was introduced in the non-singular case by Segre (1953).. In the modern treatment of intersection theory in algebraic geometry, as developed e.g. in the definitive book of Fulton (1998), Segre classes play a fundamental role.

In mathematics, a projective bundle is a fiber bundle whose fibers are projective spaces.

In algebraic geometry, the Quot scheme is a scheme parametrizing sheaves on a projective scheme. More specifically, if X is a projective scheme over a Noetherian scheme S and if F is a coherent sheaf on X, then there is a scheme whose set of T-points is the set of isomorphism classes of the quotients of that are flat over T. The notion was introduced by Alexander Grothendieck.

In algebraic geometry and differential geometry, the nonabelian Hodge correspondence or Corlette–Simpson correspondence is a correspondence between Higgs bundles and representations of the fundamental group of a smooth, projective complex algebraic variety, or a compact Kähler manifold.

References