Skip to content

Section (fiber bundle)

A continuous choice of one point in each fiber of a fiber bundle, right-inverting its projection.

Version
v1 · 2026-10-31 · History
Domain-specific #
14575
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomains
Topology, Differential Geometry → Mathematics
Aliases
Bundle section

Core Idea

A section of a fiber bundle \(p:E\to B\) is a continuous map \(s:B\to E\) with \(p(s(b))=b\) for every base point \(b\). It picks one point in each fiber and does so continuously. A local section follows the same rule on an open part \(U\) of the base; a global section is defined on all of \(B\). A bundle can have local sections without a global one.[1][2]

How would you explain it like I'm…

Bead-on-Every-String

Picture a long rope with a string of beads hanging down from every spot on it. A section is when you pick one bead on every string, and your choices change smoothly as you slide along the rope, with no sudden jumps. Sometimes you can do it in a small part of the rope but not all the way around.

Smooth Pick on Every Stalk

Imagine a space where every point has its own little 'stalk' of choices growing out of it, like a field of grass where each blade belongs to one spot. A Section (fiber bundle) is a way of picking exactly one point on every stalk, so that nearby spots get nearby choices with no sudden jumps. Sometimes you can do this smoothly near any spot you like but not all the way around the whole space at once, because the stalks can be twisted together. So 'I can choose near here' and 'I can choose everywhere at once' are different questions.

Continuous Fiber Selection

A fiber bundle is a space E with a projection p onto a base space B, so that above each point b of B sits a fiber, and nearby it looks like a product of a piece of B with the fiber. A Section is a continuous map s from B to E with p(s(b)) = b: it picks a point in the fiber over each base point, and the picks vary continuously. A local section does this only over an open part of B. Having local sections near every point does not guarantee one global section. For example, a vector bundle always has a zero section, but may have no section that avoids zero everywhere. For a principal bundle, a global section exists exactly when the bundle is trivial.

 

For a fiber bundle p: E → B, a Section (fiber bundle) is a continuous map s: B → E satisfying p ∘ s = id_B, so s(b) lies in the fiber over b and the choices vary continuously across the base. A local section satisfies the same condition only over an open subset U ⊆ B. Because bundles are locally products, local sections often exist near each point, but this does not imply a global section; existence over all of B is a separate question. Formally the condition is a right-inverse equation, but the bundle setting adds a typed projection, fibers, local triviality and continuity, which is what makes existence questions substantive. A vector bundle always has its zero section, yet may lack a nowhere-zero section, so avoiding a forbidden part of each fiber can be obstructed. A principal bundle has a global section exactly when it is trivial as a principal bundle. Neither fact transfers unchanged to every type of bundle.

Scope of Application

Sections appear in product bundles, vector bundles, tangent bundles, and principal bundles. A continuous graph in \(B\times F\) is a section of the product projection. A vector field is a section of a tangent bundle. Smooth bundle problems require the section map to be smooth, a stronger condition than continuity.[1][2][3]

Existence claims need the bundle type and any added condition. Every vector bundle has a zero section, though it may have no nowhere-zero section. A principal bundle has a global section exactly when it is trivial as a principal bundle. The latter equivalence does not extend to arbitrary bundles.[2][4]

Clarity

Write down the projection and the candidate map. Check that the map is continuous, that its value lies in the fiber above each base point, and that its domain is the intended open set or the whole base. The equation \(p\circ s=\mathrm{id}_B\) applies to a global section. For a local section on \(U\), \(p\circ s\) is the inclusion \(U\hookrightarrow B\), or an identity after restricting the projection over \(U\).[1]

“A section exists” and “a nowhere-zero section exists” are different questions. The zero field is a section of \(TS^2\), while no nowhere-zero tangent field exists there.[2]

Manages Complexity

The projection equation turns many pointwise choices into one testable map. In the trivial bundle \(B\times F\to B\), each continuous section is the graph \(b\mapsto(b,f(b))\) of a continuous \(f:B\to F\). The same equation still identifies sections when a bundle is only locally a product.[1][2]

Local charts let one construct sections on patches. Extending those choices across the base is a separate problem, so local solvability should not be reported as a global result.[1][2]

Abstract Reasoning

For a proposed section, prove continuity and the fiber equation first. Then state the existence question precisely. A principal-bundle global section tests principal triviality. A vector-bundle zero section settles bare existence, while nonzero Euler class obstructs a nowhere-zero section of an oriented vector bundle. The Euler implication is one-way here; it does not say that vanishing Euler class always produces the desired section.[1][4][2]

The published typed relationships have different meanings: this is a special case of the general categorical right-inverse Section, and it requires a Fiber Bundle as its carrier. A section map is not itself a bundle.[5][2]

Knowledge Transfer

The equation works in unlike bundles. A graph chooses \(f(b)\) in a product fiber, while a vector field chooses a tangent vector in \(T_bM\). Both choices must vary continuously and project back to \(b\). Their existence results differ: the tangent bundle has a zero section even when it has no nowhere-zero field.[1][2]

Example

Let \(p:TS^2\to S^2\) send each tangent vector to its point on the sphere. The zero field \(s(x)=0_x\) is a global section because \(p(0_x)=x\) and the map is continuous. Mapped back: the tangent bundle supplies the fibers, the zero field supplies the choice, and the equation holds at every base point. The impossibility of a nowhere-zero tangent field on \(S^2\) limits a stronger kind of section; it does not undo this example.[2]

Relationships to Other Abstractions

Local relationship map for Section (fiber bundle)Parents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Section(fiber bundle)DOMAINDomain-specific abstraction: Fiber Bundle — presupposesFiber BundleDOMAINDomain-specific abstraction: Section (category theory) — is a kind ofSection (catego…DOMAIN

Current abstraction Section (fiber bundle) Domain-specific

Parents (2) — outgoing typed relations

  • Section (fiber bundle) is a kind of Section (category theory) Domain-specific

    A fiber-bundle section is a categorical right inverse of a bundle projection, with continuity and local triviality as stable differentia.

  • Section (fiber bundle) presupposes Fiber Bundle Domain-specific

    A section of a fiber bundle requires a locally trivial bundle projection as its typed carrier, while the section map is not itself a bundle.

Hierarchy paths (2) — routes to 2 parentless roots

Neighborhood in Abstraction Space

Section (fiber bundle) sits in a sparse region of the domain-specific corpus (62nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Vector Bundles & Classifying Constructions (12 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-31

Not to Be Confused With

Categorical section: any right inverse of a morphism, without a bundle-specific carrier. Fiber bundle: the structure whose projection a section right-inverts. Geometric cross section: a slice of a body, not a map into a bundle. Trivialization: an identification with a product bundle; one global section trivializes a principal bundle, but the zero section alone need not trivialize a vector bundle. Nowhere-zero section: a section with an extra restriction on its fiberwise values.[5][2][4]

References

[1] Christophe Bavard, Geometry – M2R 2020 lecture notes, §1.2, Definition 1.11 and Example 1.12, printed p. 27. Author lecture notes; indexed text at the exact locator and title-page metadata inspected, with direct PDF retrieval timed out. Covers continuous global and local bundle sections and product-bundle graphs. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g

[2] Allen Hatcher, Vector Bundles and K-Theory, Version 2.2 (November 2017), §1.1, “Sections,” printed pp. 7–8; “Associated Fiber Bundles,” printed pp. 15–16; §3.2, Propositions 3.13(e) and 3.14, printed pp. 91–92; §3.3, “Obstructions to Sections,” printed pp. 98–105. Author-hosted PDF text at the cited locators inspected. Covers bundle local triviality, tangent-field and zero sections, and the stated one-way Euler obstruction. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k

[3] Jean Gallier, Notes On Group Actions: Manifolds, Lie Groups and Lie Algebras, 27 April 2005, Definition 5.8 and Proposition 5.7, printed p. 142. University of Pennsylvania lecture notes; PDF text at the cited locator inspected. Defines smooth global and local sections. registry ↩

[4] Danny Calegari, Notes on Fiber Bundles, Definition 1.1, printed p. 1, and paragraph before Definition 2.4, printed p. 3. Author lecture notes; PDF text at the cited locators inspected. Covers the principal-bundle section/trivialization relation. registry ↩a ↩b ↩c

[5] Haynes Miller (lectures), Sanath Devalapurkar (notes), Lectures on Algebraic Topology, Fall 2016, Definition 4.3, printed p. 9. MIT lecture notes; PDF text at the cited locator inspected. Defines categorical sections as right inverses. registry ↩a ↩b