The quotient space obtained from X × [0,1] by identifying (x,1) with (f(x),0) for a self-map f: X → X; it is a space that fibers over the circle S1 with fiber X and monodromy f.

Principle

Encode a self-map as a fibration over S1 so that the topology of the total space captures the dynamics and algebraic effect of the map.

Demonstration

Given a homeomorphism f of a closed surface Σ, the mapping torus M_f = (Σ × [0,1])/(x,1)~(f(x),0) is a closed 3-manifold that fibers over S1 with fiber Σ and monodromy f (for example, a Dehn twist yields a nontrivial 3-manifold).

Misapplication

Treating any quotient of X × [0,1] by an arbitrary identification as a mapping torus without verifying that the identification is induced by a single globally defined self-map; or confusing mapping torus with the suspension of a map between different spaces.

Consequence

When constructed correctly, the mapping torus packages the monodromy into the topology: the fundamental group becomes an HNN extension of π1(X) determined by f, cohomology exhibits the circle fibration, and geometric structures reflect the dynamics of f.

Reversal

Replacing the monodromy by the identity produces the trivial bundle X × S1; inverting f produces the mapping torus of f−1, which has the reversed orientation of monodromy but the same fiber type.

Boundary

Requires a continuous self-map f: X → X and the product with an interval; it excludes quotients that identify points in ways not representable by a single self-map, and it presupposes a topological (or smooth) structure on X to interpret f and the fibration.

Semantic Tension

Confused with the mapping cylinder (which produces a space with one end attached), the suspension (which joins two cones), or arbitrary circle bundles: mapping torus is a specific quotient encoding a chosen self-map, not every bundle over S1.

Synthesis

The mapping torus is the construction that turns a self-map into a fibration over the circle so that the global topology of the resulting space records the map’s algebraic and dynamical effect via monodromy, fundamental group extension, and fiber structure.