Splitting principle
In mathematics, the splitting principle is a technique used to reduce questions about vector bundles to the case of line bundles.
In the theory of vector bundles, one often wishes to simplify computations, say of Chern classes. Often computations are well understood for line bundles and for direct sums of line bundles. In this case the splitting principle can be quite useful.
Theorem: Splitting Principle: Let be a vector bundle of rank over a manifold . There exists a space , called the flag bundle associated to , and a map such that
- the induced cohomology homomorphism is injective, and
- the pullback bundle breaks up as a direct sum of line bundles:
The line bundles or their first characteristic class are called Chern roots.
The fact that is injective means that any equation which holds in (say between various Chern classes) also holds in .
The point is that these equations are easier to understand for direct sums of line bundles than for arbitrary vector bundles, so equations should be understood in and then pushed down to .
Symmetric polynomial
Under the splitting principle, characteristic classes correspond to symmetric polynomials (and for the Euler class, alternating polynomials) in the class of line bundles.
The Chern classes and Pontryagin classes correspond to symmetric polynomials: they are symmetric polynomials in the corresponding classes of line bundles ( is the kth symmetric polynomial in the of the line bundles, and so forth).
The Euler class is an invariant of an oriented vector bundle, and thus the line bundles are ordered up to sign; the corresponding polynomial is the Vandermonde polynomial, the basic alternating polynomial. Further, for an even dimensional manifold, its square is the top Pontryagin class, which corresponds to the square of the Vandermonde polynomial being the discriminant.
See also
- K-theory
- Grothendieck splitting principle for holomorphic vector bundles on the complex projective line
References
- Hatcher, Allen (2003), Vector Bundles & K-Theory (2.0 ed.) section 3.1
- Bott and Tu. Differential Forms in Algebraic Topology, section 21.