In mathematics, a surface bundle over the circle is a

fiber bundle In mathematics, and particularly topology, a fiber bundle (or, in Commonwealth English: fibre bundle) is a space that is a product space, but may have a different topological structure. Specifically, the similarity between a space E and a ...

with

base space In mathematics, and particularly topology, a fiber bundle (or, in Commonwealth English: fibre bundle) is a space that is a product space, but may have a different topological structure. Specifically, the similarity between a space E and a ...

circle A circle is a shape consisting of all points in a plane that are at a given distance from a given point, the centre. Equivalently, it is the curve traced out by a point that moves in a plane so that its distance from a given point is const ...

, and with fiber space a

surface A surface, as the term is most generally used, is the outermost or uppermost layer of a physical object or space. It is the portion or region of the object that can first be perceived by an observer using the senses of sight and touch, and is t ...

. Therefore the total space has dimension 2 + 1 = 3. In general,

s over the circle are a special case of mapping tori. Here is the construction: take the

Cartesian product In mathematics, specifically set theory, the Cartesian product of two sets ''A'' and ''B'', denoted ''A''×''B'', is the set of all ordered pairs where ''a'' is in ''A'' and ''b'' is in ''B''. In terms of set-builder notation, that is : A\ ...

of a surface with the

unit interval In mathematics, the unit interval is the closed interval , that is, the set of all real numbers that are greater than or equal to 0 and less than or equal to 1. It is often denoted ' (capital letter ). In addition to its role in real analys ...

. Glue the two copies of the surface, on the boundary, by some homeomorphism. This homeomorphism is called the

monodromy In mathematics, monodromy is the study of how objects from mathematical analysis, algebraic topology, algebraic geometry and differential geometry behave as they "run round" a singularity. As the name implies, the fundamental meaning of '' ...

of the surface bundle. It is possible to show that the homeomorphism type of the bundle obtained depends only on the

conjugacy class In mathematics, especially group theory, two elements a and b of a group are conjugate if there is an element g in the group such that b = gag^. This is an equivalence relation whose equivalence classes are called conjugacy classes. In other w ...

, in the

mapping class group In mathematics, in the subfield of geometric topology, the mapping class group is an important algebraic invariant of a topological space. Briefly, the mapping class group is a certain discrete group corresponding to symmetries of the space. Mo ...

, of the gluing homeomorphism chosen. This construction is an important source of examples both in the field of

low-dimensional topology In mathematics, low-dimensional topology is the branch of topology that studies manifolds, or more generally topological spaces, of four or fewer dimensions. Representative topics are the structure theory of 3-manifolds and 4-manifolds, knot the ...

as well as in

geometric group theory Geometric group theory is an area in mathematics devoted to the study of finitely generated groups via exploring the connections between algebraic properties of such groups and topological and geometric properties of spaces on which these group ...

. In the former we find that the

geometry Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...

of the three-manifold is determined by the dynamics of the homeomorphism. This is the fibered part of

William Thurston William Paul Thurston (October 30, 1946August 21, 2012) was an American mathematician. He was a pioneer in the field of low-dimensional topology and was awarded the Fields Medal in 1982 for his contributions to the study of 3-manifolds. Thursto ...

's geometrization theorem for Haken manifolds, whose proof requires the

Nielsen–Thurston classification In mathematics, Thurston's classification theorem characterizes homeomorphisms of a compact orientable surface. William Thurston's theorem completes the work initiated by . Given a homeomorphism ''f'' : ''S'' → ''S'', ther ...

for surface homeomorphisms as well as deep results in the theory of

Kleinian group In mathematics, a Kleinian group is a discrete subgroup of the group of orientation-preserving isometries of hyperbolic 3-space . The latter, identifiable with , is the quotient group of the 2 by 2 complex matrices of determinant 1 by thei ...

s. In geometric group theory the

fundamental group In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of ...

s of such bundles give an important class of

HNN-extension In mathematics, the HNN extension is an important construction of combinatorial group theory. Introduced in a 1949 paper ''Embedding Theorems for Groups'' by Graham Higman, Bernhard Neumann, and Hanna Neumann, it embeds a given group ''G'' into ...

s: that is,

extension Extension, extend or extended may refer to: Mathematics Logic or set theory * Axiom of extensionality * Extensible cardinal * Extension (model theory) * Extension (predicate logic), the set of tuples of values that satisfy the predicate * Ext ...

s of the fundamental group of the fiber (a surface) by the integers. A simple special case of this construction (considered in

Henri Poincaré Jules Henri Poincaré ( S: stress final syllable ; 29 April 1854 – 17 July 1912) was a French mathematician, theoretical physicist, engineer, and philosopher of science. He is often described as a polymath, and in mathematics as "The ...

's foundational paper) is that of a

torus bundle A torus bundle, in the sub-field of geometric topology in mathematics, is a kind of surface bundle over the circle, which in turn is a class of three-manifolds. Construction To obtain a torus bundle: let f be an orientation-preserving homeomor ...

See also