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

Oriented circle bundles are also known as principal U(1)-bundles, or equivalently, as principal SO(2)-bundles. In physics, circle bundles are the natural geometric setting for electromagnetism. A circle bundle is a special case of a sphere bundle.

As 3-manifolds

Circle bundles over surfacess are an important example of 3-manifolds. A more general class of 3-manifolds is Seifert fiber spaces, which may be viewed as a kind of "singular" circle bundle, or as a circle bundle over a two-dimensional orbifold.

Relationship to electrodynamics

The Maxwell equations correspond to an electromagnetic field represented by a 2-form F being cohomologous to zero, i.e. exact. In particular, there always exists a 1-form A, the electromagnetic four-potential, (equivalently, the affine connection) such that

Given a circle bundle P over M and its projection

one has the homomorphism

is the pullback. Each homomorphism corresponds to a Dirac monopole; the integer cohomology groups correspond to the quantization of the electric charge. The Aharonov–Bohm effect can be understood as the holonomy of the connection on the associated line bundle describing the electron wave-function. In essence, the Aharonov–Bohm effect is not a quantum-mechanical effect (contrary to popular belief), as no quantization is involved or required in the construction of the fiber bundles or connections.

Examples

• The Hopf fibration is an example of a non-trivial circle bundle.

• The unit tangent bundle of a surface is another example of a circle bundle.

• bundle. Only orientable surfaces have principal unit tangent bundles.

• -bundle..

• .

Classification

The isomorphism classes-bundles over a manifold M are in one-to-one correspondence with the homotopy classes is called the classifying space for U(1) is the infinite-dimensional complex projective space, and that it is an example of the Eilenberg–Maclane space Such bundles are classified by an element of the second integral cohomology group of M, since

1. .

This isomorphism is realized by the Euler class; equivalently, it is the first Chern class of a smooth complex line bundle, the complex plane with the origin removed; and so a complex line bundle with the zero section removed is homotopically equivalent to a circle bundle.)

is null-homotopic, which is true if and only if the bundle is fibrewise orientable. Thus, for the more general case, where the circle bundle over M might not be orientable, the isomorphism classes are in one-to-one correspondence with the homotopy classes.

Deligne complexes

The above classification only applies to circle bundles in general; the corresponding classification for smooth circle bundles, or, say, the circle bundles with an affine connection classifies line bundle gerbes.

See also

• Wang sequence

References

• .