Graph centered on Principal bundle, showing the selected concept and its surrounding relations.Preparing the interactive atlas…

Keyboard graph navigation: press N for concepts or E for relations; use arrow keys, Home, and End to move; Enter selects; Shift plus Enter selects and centers; plus and minus zoom; zero fits; Escape clears the selection. Use the visible viewport buttons as alternatives to dragging, wheel, and pinch gestures.

Curated starting points

Stories & Views

Relationship-aware analysis

Compare concepts

Choose two concepts to compare or connect.
Reading the graph

Guide to the Atlas

Canonical static concept record

Principal bundle

Open this concept in the interactive graphRead the Markdown equivalent

Summary

A fiber bundle with a free and transitive right action of a structure group on each fiber.

Record metadata

Carrier(s)

Data

Axioms / constraints

Notes

This node denotes a topological principal bundle. Smooth principal bundles require a Lie group and smooth total/base spaces.

Concept sources

Incoming relations (arrows to this concept)

Each relation below ends at this concept.

bundle + group action(construction junction)Principal bundle

Permalink to relation

This is an authored directed relation from the source endpoint to the target endpoint.

Authored explanation

Require a free, fiber-preserving group action that is transitive on every fiber and locally equivariantly trivial.

How to interpret this relation type

Feed several structures into a construction junction and impose compatibility between them.

Relation sources

Outgoing relations (arrows from this concept)

Each relation below starts at this concept.

Principal bundleGauge field theory

Permalink to relation

This is an authored directed relation from the source endpoint to the target endpoint.

Authored explanation

Connections on principal bundles provide the global geometric formulation of gauge potentials and curvature.

How to interpret this relation type

A mathematical concept supplies part of the formal language, state space, representation, or analytic machinery used by a scientific or mathematical-physics concept. The source is the mathematical predecessor; this does not claim that physical content follows from mathematics alone.

Relation sources

Principal bundlePrincipal connection

Permalink to relation

This is an authored directed relation from the source endpoint to the target endpoint.

Authored explanation

A principal connection is additional equivariant horizontal-distribution or connection-form data.

How to interpret this relation type

Equip an existing carrier or structured object with additional chosen data, when such compatible data exists. Use a construction junction when several independently meaningful inputs must coexist on the same carrier or interact compatibly.

Relation sources

Principal bundleSpin structure

Permalink to relation

This is an authored directed relation from the source endpoint to the target endpoint.

Authored explanation

When this principal bundle is the oriented orthonormal frame bundle and the obstruction vanishes, choose a principal Spin(p,q)\operatorname{Spin}(p,q) lift together with its twofold bundle map to the frame bundle.

How to interpret this relation type

Equip an existing carrier or structured object with additional chosen data, when such compatible data exists. Use a construction junction when several independently meaningful inputs must coexist on the same carrier or interact compatibly.

Relation sources