Line bundle

Last updated October 24, 2021

In mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. For example, a curve in the plane having a tangent line at each point determines a varying line: the tangent bundle is a way of organising these. More formally, in algebraic topology and differential topology a line bundle is defined as a vector bundle of rank 1.^[1]

Line bundles are specified by choosing a one-dimensional vector space for each point of the space in a continuous manner. In topological applications, this vector space is usually real or complex. The two cases display fundamentally different behavior because of the different topological properties of real and complex vector spaces: If the origin is removed from the real line, then the result is the set of 1×1 invertible real matrices, which is homotopy-equivalent to a discrete two-point space by contracting the positive and negative reals each to a point; whereas removing the origin from the complex plane yields the 1×1 invertible complex matrices, which have the homotopy type of a circle.

From the perspective of homotopy theory, a real line bundle therefore behaves much the same as a fiber bundle with a two-point fiber, that is, like a double cover. A special case of this is the orientable double cover of a differentiable manifold, where the corresponding line bundle is the determinant bundle of the tangent bundle (see below). The Möbius strip corresponds to a double cover of the circle (the θ → 2θ mapping) and by changing the fiber, can also be viewed as having a two-point fiber, the unit interval as a fiber, or the real line.

Complex line bundles are closely related to circle bundles. There are some celebrated ones, for example the Hopf fibrations of spheres to spheres.

In algebraic geometry, an invertible sheaf (i.e., locally free sheaf of rank one) is often called a line bundle.

Every line bundle arises from a divisor with the following conditions

(I) If X is reduced and irreducible scheme, then every line bundle comes from a divisor.

(II) If X is projective scheme then the same statement holds.

The tautological bundle on projective space

One of the most important line bundles in algebraic geometry is the tautological line bundle on projective space. The projectivization P(V) of a vector space V over a field k is defined to be the quotient of $V\setminus \{0\}$ by the action of the multiplicative group k^×. Each point of P(V) therefore corresponds to a copy of k^×, and these copies of k^× can be assembled into a k^×-bundle over P(V). k^× differs from k only by a single point, and by adjoining that point to each fiber, we get a line bundle on P(V). This line bundle is called the tautological line bundle. This line bundle is sometimes denoted ${\mathcal {O}}(-1)$ since it corresponds to the dual of the Serre twisting sheaf ${\mathcal {O}}(1)$ .

Maps to projective space

Suppose that X is a space and that L is a line bundle on X. A global section of L is a function s : X → L such that if p : L → X is the natural projection, then ps= id_X. In a small neighborhood U in X in which L is trivial, the total space of the line bundle is the product of U and the underlying field k, and the section s restricts to a function U → k. However, the values of s depend on the choice of trivialization, and so they are determined only up to multiplication by a nowhere-vanishing function.

Global sections determine maps to projective spaces in the following way: Choosing r + 1 not all zero points in a fiber of L chooses a fiber of the tautological line bundle on P^r, so choosing r + 1 non-simultaneously vanishing global sections of L determines a map from X into projective space P^r. This map sends the fibers of L to the fibers of the dual of the tautological bundle. More specifically, suppose that s₀, ..., s_r are global sections of L. In a small neighborhood U in X, these sections determine k-valued functions on U whose values depend on the choice of trivialization. However, they are determined up to simultaneous multiplication by a non-zero function, so their ratios are well-defined. That is, over a point x, the values s₀(x), ..., s_r(x) are not well-defined because a change in trivialization will multiply them each by a non-zero constant λ. But it will multiply them by the same constant λ, so the homogeneous coordinates [s₀(x) : ... : s_r(x)] are well-defined as long as the sections s₀, ..., s_r do not simultaneously vanish at x. Therefore, if the sections never simultaneously vanish, they determine a form [s₀ : ... : s_r] which gives a map from X to P^r, and the pullback of the dual of the tautological bundle under this map is L. In this way, projective space acquires a universal property.

The universal way to determine a map to projective space is to map to the projectivization of the vector space of all sections of L. In the topological case, there is a non-vanishing section at every point which can be constructed using a bump function which vanishes outside a small neighborhood of the point. Because of this, the resulting map is defined everywhere. However, the codomain is usually far, far too big to be useful. The opposite is true in the algebraic and holomorphic settings. Here the space of global sections is often finite dimensional, but there may not be any non-vanishing global sections at a given point. (As in the case when this procedure constructs a Lefschetz pencil.) In fact, it is possible for a bundle to have no non-zero global sections at all; this is the case for the tautological line bundle. When the line bundle is sufficiently ample this construction verifies the Kodaira embedding theorem.

Determinant bundles

In general if V is a vector bundle on a space X, with constant fibre dimension n, the n-th exterior power of V taken fibre-by-fibre is a line bundle, called the determinant line bundle. This construction is in particular applied to the cotangent bundle of a smooth manifold. The resulting determinant bundle is responsible for the phenomenon of tensor densities, in the sense that for an orientable manifold it has a nonvanishing global section, and its tensor powers with any real exponent may be defined and used to 'twist' any vector bundle by tensor product.

The same construction (taking the top exterior power) applies to a finitely generated projective module M over a Noetherian domain and the resulting invertible module is called the determinant module of M.

Characteristic classes, universal bundles and classifying spaces

The first Stiefel–Whitney class classifies smooth real line bundles; in particular, the collection of (equivalence classes of) real line bundles are in correspondence with elements of the first cohomology with Z/2Z coefficients; this correspondence is in fact an isomorphism of abelian groups (the group operations being tensor product of line bundles and the usual addition on cohomology). Analogously, the first Chern class classifies smooth complex line bundles on a space, and the group of line bundles is isomorphic to the second cohomology class with integer coefficients. However, bundles can have equivalent smooth structures (and thus the same first Chern class) but different holomorphic structures. The Chern class statements are easily proven using the exponential sequence of sheaves on the manifold.

One can more generally view the classification problem from a homotopy-theoretic point of view. There is a universal bundle for real line bundles, and a universal bundle for complex line bundles. According to general theory about classifying spaces, the heuristic is to look for contractible spaces on which there are group actions of the respective groups C₂ and S¹, that are free actions. Those spaces can serve as the universal principal bundles, and the quotients for the actions as the classifying spaces BG. In these cases we can find those explicitly, in the infinite-dimensional analogues of real and complex projective space.

Therefore the classifying space BC₂ is of the homotopy type of RP^∞, the real projective space given by an infinite sequence of homogeneous coordinates. It carries the universal real line bundle; in terms of homotopy theory that means that any real line bundle L on a CW complex X determines a classifying map from X to RP^∞, making L a bundle isomorphic to the pullback of the universal bundle. This classifying map can be used to define the Stiefel-Whitney class of L, in the first cohomology of X with Z/2Z coefficients, from a standard class on RP^∞.

In an analogous way, the complex projective space CP^∞ carries a universal complex line bundle. In this case classifying maps give rise to the first Chern class of X, in H²(X) (integral cohomology).

There is a further, analogous theory with quaternionic (real dimension four) line bundles. This gives rise to one of the Pontryagin classes, in real four-dimensional cohomology.

In this way foundational cases for the theory of characteristic classes depend only on line bundles. According to a general splitting principle this can determine the rest of the theory (if not explicitly).

There are theories of holomorphic line bundles on complex manifolds, and invertible sheaves in algebraic geometry, that work out a line bundle theory in those areas.

Notes

↑ Hartshorne (1975). Algebraic Geometry, Arcata 1974. p. 7.

Related Research Articles

In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory.

Fiber bundle Continuous surjection satisfying a local triviality condition

In mathematics, and particularly topology, a fiber bundle is a space that is locally a product space, but globally may have a different topological structure. Specifically, the similarity between a space $and a product space is defined using a continuous surjective map,, that in small regions of behaves just like a projection from corresponding regions of to . The map, called the projection or submersion of the bundle, is regarded as part of the structure of the bundle. The space is known as the total space of the fiber bundle, as the base space, and the fiber .$

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 found applications in physics, Calabi–Yau manifolds, string theory, Chern–Simons theory, knot theory, Gromov–Witten invariants, topological quantum field theory, the Chern theorem etc.

In mathematics, a characteristic class is a way of associating to each principal bundle of X a cohomology class of X. The cohomology class measures the extent the bundle is "twisted" and whether it possesses sections. Characteristic classes are global invariants that measure the deviation of a local product structure from a global product structure. They are one of the unifying geometric concepts in algebraic topology, differential geometry, and algebraic geometry.

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.

Algebraic K-theory is a subject area in mathematics with connections to geometry, topology, ring theory, and number theory. Geometric, algebraic, and arithmetic objects are assigned objects called K-groups. These are groups in the sense of abstract algebra. They contain detailed information about the original object but are notoriously difficult to compute; for example, an important outstanding problem is to compute the K-groups of the integers.

In mathematics, complex projective space is the projective space with respect to the field of complex numbers. By analogy, whereas the points of a real projective space label the lines through the origin of a real Euclidean space, the points of a complex projective space label the complex lines through the origin of a complex Euclidean space. Formally, a complex projective space is the space of complex lines through the origin of an (n+1)-dimensional complex vector space. The space is denoted variously as P(Cⁿ⁺¹), P_n(C) or CPⁿ. When n = 1, the complex projective space CP¹ is the Riemann sphere, and when n = 2, CP² is the complex projective plane.

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 (n−i+1) 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, S¹×R, is zero.

In mathematics, specifically in homotopy theory, a classifying spaceBG of a topological group G is the quotient of a weakly contractible space EG by a proper free action of G. It has the property that any G principal bundle over a paracompact manifold is isomorphic to a pullback of the principal bundle EG → BG. As explained later, this means that classifying spaces represent a set-valued functor on the homotopy category of topological spaces. The term classifying space can also be used for spaces that represent a set-valued functor on the category of topological spaces, such as Sierpiński space. This notion is generalized by the notion of classifying topos. However, the rest of this article discusses the more commonly used notion of classifying space up to homotopy.

In mathematics, complex cobordism is a generalized cohomology theory related to cobordism of manifolds. Its spectrum is denoted by MU. It is an exceptionally powerful cohomology theory, but can be quite hard to compute, so often instead of using it directly one uses some slightly weaker theories derived from it, such as Brown–Peterson cohomology or Morava K-theory, that are easier to compute.

In mathematics, specifically in algebraic geometry, the Grothendieck–Riemann–Roch theorem is a far-reaching result on coherent cohomology. It is a generalisation of the Hirzebruch–Riemann–Roch theorem, about complex manifolds, which is itself a generalisation of the classical Riemann–Roch theorem for line bundles on compact Riemann surfaces.

In mathematics, the universal bundle in the theory of fiber bundles with structure group a given topological group $G$ , is a specific bundle over a classifying space $BG$ , such that every bundle with the given structure group $G$ over $M$ is a pullback by means of a continuous map $M \to BG$ .

In mathematics, obstruction theory is a name given to two different mathematical theories, both of which yield cohomological invariants.

In mathematics, a circle bundle is a fiber bundle where the fiber is the circle $.$

In mathematics, the tautological bundle is a vector bundle occurring over a Grassmannian in a natural tautological way: for a Grassmannian of $-dimensional subspaces of, given a point in the Grassmannian corresponding to a -dimensional vector subspace, the fiber over is the subspace itself. In the case of projective space the tautological bundle is known as the tautological line bundle.$

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 projective bundle is a fiber bundle whose fibers are projective spaces.

This is a glossary of properties and concepts in algebraic topology in mathematics.

References

Michael Murray, Line Bundles, 2002 (PDF web link)
Robin Hartshorne. Algebraic geometry . AMS Bookstore, 1975. ISBN 978-0-8218-1429-1

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Hartshorne (1975). Algebraic Geometry, Arcata 1974. p. 7.

[1]