Section (fiber bundle)

A section of a fiber bundle is a continuous map from the base space into the total space that selects one point from every fiber. For a bundle [ p\colon E\longrightarrow B, ] a section is a map [ s\colon B\longrightarrow E ] satisfying [ p\circ s=\operatorname{id}_B. ] Thus (s) is a right inverse of the bundle projection. Sections express the compatibility of locally defined choices with the global topology of the bundle, and their existence often encodes geometric or topological information about both the bundle and its base.

Unless additional regularity is specified, sections are understood to be continuous. A section of a smooth fiber bundle is usually required to be smooth, while sections in the holomorphic or algebraic categories are required to respect the corresponding structure. The set of continuous sections is commonly denoted by [ \Gamma(B,E) \quad\text{or simply}\quad \Gamma(E). ]

Local description

Let (F) be the typical fiber, and let [ \phi_i\colon p^{-1}(U_i)\longrightarrow U_i\times F ] be a family of local trivializations over an open cover ({U_i}) of (B). A section (s) determines maps [ \sigma_i\colon U_i\longrightarrow F ] through the relation [ \phi_i(s(x))=(x,\sigma_i(x)). ] If the transition functions are written as [ \phi_j\phi_i^{-1}(x,f)=(x,g_{ji}(x)f), ] then the local representatives satisfy [ \sigma_j(x)=g_{ji}(x)\sigma_i(x) ] on every overlap (U_i\cap U_j).

Every fiber bundle has local sections because its local trivializations provide constant local representatives. The central existence problem concerns global sections, for which the local representatives must satisfy all transition relations simultaneously. Consequently, the obstruction to a global section is not local failure but incompatibility around the topology of the base.

The image (s(B)\subseteq E) meets every fiber in exactly one point. When the bundle and section are smooth, this image is an embedded submanifold naturally diffeomorphic to (B). A section can therefore be regarded either as a map into the total space or as a distinguished copy of the base lying inside it.

Basic constructions

If (f\colon X\to B) is continuous, the pullback bundle [ f^*E={(x,e)\in X\times E\mid f(x)=p(e)} ] inherits a section from any section (s) of (E). The induced section is [ f^*s(x)=(x,s(f(x))). ] This construction is functorial and shows that section existence is preserved under pullback, although a section of a pullback need not descend to the original bundle.

A section can also be interpreted as a lift of the identity map through (p). In the commutative diagram [ \begin{array}{ccc} & E & \ s\nearrow & \downarrow p & \ B & \xrightarrow{\operatorname{id}_B} & B, \end{array} ] the section is precisely the diagonal map making both routes from (B) to (B) equal. This viewpoint places the theory of sections within the general lifting problem for fibrations.

Given a bundle map (F\colon E\to E') covering the identity on (B), composition sends a section (s) of (E) to the section (F\circ s) of (E'). More generally, bundle maps covering a map between base spaces combine with pullback to relate section spaces over different bases.

Vector bundles

Every vector bundle [ \pi\colon V\longrightarrow B ] has the zero section [ 0_B(x)=0_x, ] where (0_x) is the zero vector in the fiber (V_x). The bare existence of a section therefore carries no information for a vector bundle unless a further condition, such as nonvanishing or linear independence, is imposed.

A nowhere-zero section of a real vector bundle determines a trivial line subbundle. Over a paracompact base, a bundle metric identifies an orthogonal complement and yields a decomposition [ V\cong \underline{\mathbb R}\oplus W. ] More generally, (k) pointwise linearly independent sections determine a trivial rank-(k) subbundle. A rank-(n) bundle is trivial exactly when it admits (n) global sections that form a basis in every fiber.

For an oriented real rank-(n) vector bundle, the Euler class [ e(V)\in H^n(B;\mathbb Z) ] is the primary obstruction to a nowhere-zero section. When the base has the homotopy type of an (n)-dimensional CW complex, the vanishing of this obstruction is sufficient for such a section. On higher-dimensional bases, further obstructions can arise from the higher homotopy groups of the associated sphere bundle.

Sections of the tangent bundle are vector fields. The nonexistence of a nowhere-zero tangent vector field on an even-dimensional sphere is represented by its nonzero Euler class and is equivalently expressed by the hairy ball theorem.

Principal and associated bundles

For a principal bundle [ P\longrightarrow B ] with structure group (G), a global section exists exactly when the principal bundle is trivial. If (s\colon B\to P) is a section, the map [ B\times G\longrightarrow P,\qquad (x,g)\longmapsto s(x)g ] is a (G)-equivariant bundle isomorphism. Conversely, the constant identity element in a product bundle defines a global section.

This equivalence is special to principal bundles. A general fiber bundle can admit a section without being trivial because the selected point in each fiber need not determine a coordinate system on the remainder of that fiber.

Suppose that (P) is a principal (G)-bundle and that (F) is a (G)-space. Sections of the associated bundle [ P\times_G F\longrightarrow B ] correspond to (G)-equivariant maps (P\to F). When (F=G/H) for a closed subgroup (H), a section is equivalent to a reduction of the structure group from (G) to (H). This correspondence connects section existence with reductions of structure group.

Covering spaces

A covering map [ p\colon E\longrightarrow B ] is a fiber bundle with discrete fiber. If (B) is connected, a section selects a sheet that remains invariant under continuation around every loop. In terms of the monodromy action of (\pi_1(B)) on the fiber, a section corresponds to a point fixed by the entire action.

For a connected covering space, the existence of a section forces the covering to have one sheet. A disconnected covering may have a section when one of its components maps homeomorphically onto the base, even if its other components define nontrivial coverings.

Obstruction theory

The extension of a partial section over a CW complex is governed by obstruction theory. Suppose that a section has been defined over the (k)-skeleton of (B), and assume that the relevant action of the fundamental group has been incorporated into a local coefficient system. The obstruction to extending the section over the ((k+1))-skeleton lies in [ H^{k+1}\bigl(B;\pi_k(F)_\rho\bigr), ] where (F) is the fiber and (\rho) records the monodromy action on its homotopy group.

The obstruction class vanishes exactly when the given section extends to the next skeleton, subject to the preceding extension data. Different extensions are measured by cohomology classes in the preceding degree. Iterating this construction produces a sequence of obstructions rather than a single universal characteristic class.

If the fiber is contractible, every numerable fiber bundle with that fiber admits a section. More generally, high connectivity of the fiber eliminates the low-dimensional obstruction groups. These statements account for many existence results over bases of bounded dimension.

For a sphere bundle associated with an oriented vector bundle, the first possible obstruction is the Euler class. Other characteristic classes, including certain Stiefel–Whitney classes, arise from related extension problems involving independent frames rather than a single unrestricted section.

Spaces of sections

The section set becomes a topological space when it is given a suitable form of the compact-open topology, commonly followed by compactly generated replacement. It is then written as [ \Gamma(E)={s\in\operatorname{Map}(B,E)\mid p\circ s=\operatorname{id}_B}. ] This realizes the section space as a subspace of the mapping space (\operatorname{Map}(B,E)).

For a subcomplex (A\subseteq B) and a fixed section (s_A) over (A), the relative section space is [ \Gamma_A(E;s_A)

{s\in\Gamma(E)\mid s|_A=s_A}. ] Under the standard cofibration and local-triviality hypotheses, restriction of sections defines a fibration [ \Gamma(E)\longrightarrow \Gamma(E|_A). ] Its fiber over (s_A) is the relative section space. This formulation makes families of extension problems accessible through the homotopy long exact sequence of a fibration.

In a 2016 treatment of parametrized section spaces, You Watanabe standardized the relative notation (\Gamma_A(E;s_A)) and identified the restriction fibration as the natural object controlling simultaneous extensions in parameter families. The resulting convention distinguishes the ordinary existence problem, which concerns whether the fiber is empty, from the classification problem, which concerns its connected components and higher homotopy groups.

When (E=B\times F) is a product bundle, its section space is naturally homeomorphic, under the usual mapping-space hypotheses, to [ \operatorname{Map}(B,F). ] For nontrivial bundles, (\Gamma(E)) behaves as a twisted mapping space whose twisting is determined by the transition functions.

Differential geometry

For a smooth bundle, the derivative of a section maps tangent vectors of the base into tangent vectors of the total space. The vertical tangent bundle [ V E=\ker(dp)\subseteq TE ] records infinitesimal motion within the fibers. A connection separates horizontal and vertical directions, allowing the derivative of a section to be decomposed accordingly.

In a vector bundle with connection (\nabla), the vertical component becomes the covariant derivative [ \nabla s\in\Omega^1(B;E). ] A parallel section satisfies (\nabla s=0). Its value at one point must be fixed by the holonomy representation, and every holonomy-invariant vector determines a parallel section when the base is connected.

Sections of associated bundles encode many geometric structures. A section of a tensor bundle is a tensor field, while a section of the bundle of Riemannian inner products determines a Riemannian metric. These are instances of the same bundle-theoretic definition rather than separate notions of section.

Historical formulation

The modern treatment of sections developed together with the bundle formalism of the twentieth century. Hassler Whitney used sections and frames in the study of vector bundles and characteristic classes. Norman Steenrod organized fiber bundles, principal bundles, and obstruction-theoretic section problems within a common topological framework.

Charles Ehresmann’s formulation of differentiable bundles and connections established the differential-geometric setting in which smooth sections and their covariant derivatives are defined. Jean-Pierre Serre’s work on fibrations and spectral sequences provided homotopical methods for analyzing lifting and extension problems beyond locally trivial bundles.

The terminology preserves the geometric image of a section as a slice through the total space. Its mathematical content, however, is the right-inverse equation (p\circ s=\operatorname{id}_B), together with the compatibility conditions imposed by the bundle’s transition data.