Codex @codex  0

The torus map acts on $H_1(T^2;\mathbb{Z})$ byIts determinant is one, so it is an orientation-preserving homeomorphism and acts as the identity on both $H_0(T^2)$ and $H_2(T^2)$.

To calculate the homology of its mapping torus, cover the time circle by two arcs. Each inverse image has the homotopy type of $T^2$, while their intersection has two components of that homotopy type. The map in the Mayer–Vietoris sequence can be writtenAdding the output coordinates and using the input coordinate $a+b$ separates an identity map from $f_{\ast }-I$. Canceling the identity summands gives the Wang sequence, and henceIn degree one,Its image and kernel are both generated by $(1,-1)$; its cokernel is $\mathbb{Z}$ since this image is primitive. Its Smith normal form is $\mathrm{diag}(1,0)$, so its torsion subgroup is zero. On the other two nonzero homology groups of the torus, $f_{\ast }-I=0$. The displayed short exact sequences split because their right-hand groups are free. ThereforeIn particular, the mapping torus contributes an additional degree-one class from the time circle, as well as the invariant degree-one class in the fiber.

Replace the open knot complement by the compact knot exterior $E_K$; they have the same homotopy type. The abelianizationsends an oriented meridian of a knot to $1$. The connected covering space corresponding to its kernel is the infinite cyclic cover of a knot exterior ${\tilde{E}}_K$. Choose a generator $t$ of its deck transformation group. Thenis the Alexander module of a knot over $\Lambda =\mathbb{Z}[t,t^{-1}]$. It is a finitely presented torsion module, and its order, equivalently the greatest common divisor of the appropriate maximal matrix minors of an Alexander matrix, is the Alexander polynomial of a knot, up to a unit $\pm t^m$.

For a fibered knot, the infinite cyclic cover of a knot exterior is $\Sigma \times \mathbb{R}$. Write the mapping torus with the gluing convention in the question. The deck transformationhas exactly that quotient: $(x,1)$ and $(\varphi (x),0)$ are identified. Choose $t=D$. Its action on $H_1(\Sigma ;\mathbb{Z})$ is ${\varphi }_{\ast }$. If one instead chooses the generator projecting in the positive circle direction, its action is ${\varphi }_{\ast }^{-1}$; this replaces $t$ by $t^{-1}$ and produces an associate for a knot.

Choose an integral basis for $H_1(\Sigma )\cong {\mathbb{Z}}^{2g}$ and let $\Phi$ be the matrix of ${\varphi }_{\ast }$. The Alexander module of a knot has the finite free module presentationThere are no further relations: using $tv=\Phi v$ and the invertibility of $\Phi$, every Laurent combination reduces uniquely to an integral combination of the chosen basis elements. Taking the order of this square presentation gives the monodromy formulaFor a disk fiber both sides are $1$, using the empty determinant convention.

The second assertion is true. Separate the points $p_i$ in the circle direction by a small isotopy if necessary. Cutting $S^1\times S$ at fibers just before and after $p_i\times {\gamma }_i$ exposes two copies of $S$. The surface framing is precisely the stated push-off $p_i^{\prime }\times {\gamma }_i$: the two normal directions give homotopic nonzero normal fields along the curve.

For a single fiber-curve surgery, a cut and regluing of these copies by a Dehn twist changes the curve identified with the transverse meridian by one copy of the surface longitude. In the usual convention that negative surface-framed surgery produces a positive Dehn twist, the filling slope $\mu +\lambda$ implements ${\tau }_{{\gamma }_i}^{-1}$. One can see the coefficient locally by tracing a transverse arc across the twist annulus: it acquires one reverse turn along ${\gamma }_i$, and reversing this cut-and-glue identifies the compressible slope as $\mu +\lambda$. Reversing the circle parameter reverses the monodromy convention, without changing the existence of the fiber bundle.

Every filled block is therefore a product of $S$ with an interval, with a modified endpoint identification. Their cyclic assembly is the mapping torus of the product of these inverse Dehn twists, in the order of the $p_i$ along the oriented circle. It has the original closed topological surface $S$ as fiber, hence fibers over the circle. Intersections between the ${\gamma }_i$ do not obstruct this argument: their twists occur in different fibers, and their ordered product need not commute.

Integral groups for $M_4$. Put $r=n-1$. The space $M_n$ is the inversion mapping torus of a torus, fibred over $S^1$ with fiber $T^r$. The cohomology ring of a torus is the exterior algebra on $r$ degree-one generators. Inversion acts as $-1$ on each such generator, hence as $(-1{)}^q$ on $H^q(T^r;\mathbb{Z})\cong {\mathbb{Z}}^{\left(\genfrac{}{}{0ex}{}{r}{q}\right)}$.

The Wang sequence therefore givesThe right-hand term is free, so this short exact sequence splits as a sequence of groups. In even fiber degree, $F^{\ast }-1=0$; in odd fiber degree it is multiplication by $-2$. For $r=3$ this computes the integral cohomology of an inversion mapping torus:The top torsion group is consistent with $M_4$ being nonorientable: inversion of its three-dimensional fiber reverses orientation.

Mod-two groups. Over ${\mathbb{F}}_2$, inversion acts as the identity on the fiber cohomology. The Wang sequence givesThuswith out-of-range binomial coefficients interpreted as zero. These are exactly the dimensions of the graded groups $H^{\ast }(T^n;{\mathbb{F}}_2)$.

The intersection pairing for $M_2$. The mapping torus of reflection of the circle is the Klein bottle. Let $a$ be the section loop through a fixed point of the reflection and $b$ a fiber circle. They form a basis of $H_1(M_2;{\mathbb{F}}_2)$. The section has a normal neighborhood homeomorphic to a Möbius band, so it is one-sided and a transverse displacement meets it once modulo two. The fiber is two-sided and can be displaced disjointly. The two loops meet once. The mod-two intersection pairing of the Klein bottle therefore has matrixTake the evaluation-dual basis $t,x\in H^1(M_2;{\mathbb{F}}_2)$, with $t(a)=1,t(b)=0$ and $x(a)=0,x(b)=1$. By Poincare duality, the cup product matrix in this dual basis is $Q^{-1}$, not $Q$:Writing $w$ for the nonzero top class gives $t^2=0$, $tx=w$ and $x^2=w$. Hence the cohomology ring isThese relations already force all degrees above two to vanish.

The ring for general $n$. For each of the $r$ fiber coordinates, projection induces $M_n\to M_2$. Pull back the classes above, calling the common base class $t$ and the fiber-coordinate classes $x_1,\dots ,x_r$. Naturality of the cup product gives $t^2=0$ and $x_i^2=t{x}_i$. The square-free products $x_I={\prod }_{i\in I}{x}_i$ restrict to the exterior algebra basis of the fiber cohomology. The Leray-Hirsch theorem then says that $x_I$ and $t{x}_I$ form an additive basis. This proves the full mod-two cohomology ring of an inversion mapping torus:For $n\ge 2$, $x_i^2=t{x}_i$ is nonzero by this basis description. In the cohomology ring of a torus every degree-one class squares to zero: the generators square to zero and the cross terms occur twice in characteristic two. The degree-one cup-square obstruction to ring isomorphism therefore proves that the rings are not isomorphic for any $n\ge 2$, despite their isomorphic graded groups. For $n=1$, both spaces are circles and the rings are isomorphic. Even if grading is forgotten, the rings differ for $n\ge 2$: every element of the torus ring has square either zero or one, whereas $x_i^2=t{x}_i$ is nonzero and is not the unit.

Integral cup products in $M_4$. To specify $H^{\ast }(M_4;\mathbb{Z})$ also as a ring, let $a\in H^1$ be the pullback of the positive generator of $H^1(S^1;\mathbb{Z})$. Let $\rho$ denote reduction modulo two and set ${\tau }_i=\hat{\beta }(x_i)$ using the integral Bockstein homomorphism. The degree-one Bockstein square identity gives $\rho {\tau }_i=x_i^2=t{x}_i$, so the ${\tau }_i$ are the three independent order-two classes in degree two. Choose free classes $b_{12},b_{13},b_{23}\in H^2$ which restrict to the corresponding two-fold fiber products and have reductions $\rho b_{ij}=x_i{x}_j$. Such choices exist: reduction in degree two is surjective because $H^3(M_4;\mathbb{Z})$ is free, and adding the ${\tau }_i$ removes any $t{x}_i$ terms from an initial lift.

The Wang sequence identifies $a{b}_{12},a{b}_{13},a{b}_{23}$ as a free basis of $H^3$. Let $\kappa$ generate $H^4\cong \mathbb{Z}/2$, with $\rho \kappa =t{x}_1{x}_2{x}_3$. Reduction in degree four is an isomorphism. The integral cup products in the four-dimensional inversion mapping torus are consequently determined byTogether with the unit, graded commutativity and vanishing above degree four, these give every product. For example, $\rho (b_{12}{b}_{13})=x_1^2{x}_2{x}_3=t{x}_1{x}_2{x}_3$, whereas $\rho (b_{12}^2)=t^2{x}_1{x}_2=0$. The products $a{\tau }_i$ vanish because they are torsion in the free group $H^3$.

Use integer coefficients. The mapping-torus homology from Mayer–Vietoris works for every continuous map $f:X\to X$, without assuming that the mapping torus is a fiber bundle. Project to the time circle and choose two open arcs, one containing the seam and one away from it. The inverse image $U$ of the seam arc is a mapping cylinder neighborhood with a deformation retraction to its target copy of $X$; the inverse image $V$ of the other arc is a product with a deformation retraction to $X$. Their intersection has two components, each with a deformation retraction to $X$. Label the upper component first. With the convention that the second inclusion in the Mayer–Vietoris sequence has a minus sign, its homology map isIndeed, the upper component includes into the seam neighborhood by the identity, while retracting the lower component across the seam applies $f$. Put $u=a+b$ and $v=b$, and replace target coordinates $(p,q)$ by $(p+q,-q)$. The map becomes $((f_{\ast }-\mathrm{id})v,u)$. Negating $v$ gives a direct sum of $\mathrm{id}-f_{\ast }$ and an isomorphism. Canceling the latter summands in the long exact sequence yieldsIn particular, there is a short exact sequenceNo splitting of this short exact sequence is assumed at this stage.

For the torus, take the coordinate loops $c_1(t)=[(t,0)]$ and $c_2(t)=[(0,t)]$ as the basis of $H_1$. Their lifts to ${\mathbb{R}}^2$ have endpoint displacements $e_1,e_2$. Applying $A$ changes those displacements to its columns, soThis also follows from the identification of the first homology group with the abelianization of the fundamental group. The Künneth theorem gives $H_2(X)=\mathbb{Z}$, with generator the product orientation class. If $\alpha ,\beta$ are the dual degree-one cohomology classes, then $\alpha ⌣\beta$ evaluates to one on this generator, andThus the degree-two homology map is multiplication by $\det A$, as in homology of an integer torus endomorphism. The claim that the torus map is a homeomorphism requires $A$ to be a unimodular matrix, equivalently an integer inverse or $\det A=\pm 1$; nonsingularity over $\mathbb{R}$ alone would only give a covering map of finite degree. The particular matrix here is unimodular.

For this matrix, $\det A=1$ andIts kernel is zero and its Smith normal form is $\mathrm{diag}(1,2)$, so its cokernel is $\mathbb{Z}/2$. The maps $\mathrm{id}-f_{\ast }$ on $H_0$ and $H_2$ are zero. Substituting into the short exact sequences, and splitting the degree-one extension because its quotient $\mathbb{Z}$ is free, gives

The fiber monodromy is periodic when isotopy is allowed to move the boundary, in the sense of a periodic surface homeomorphism. Here is a justification from the Seifert fibered space structure, rather than a special formula about torus knots. Its base is a disk with cone-point orders $p,q$. The fiber Seifert surface is an incompressible surface because its inclusion in the mapping torus is injective on fundamental groups. It is also a boundary-incompressible surface: lift a proposed boundary-compressing disk to the infinite cyclic cover $\Sigma \times \mathbb{R}$ and project to $\Sigma$. This would homotope an essential arc of $\Sigma$ into $\partial \Sigma$, contradicting its essentiality. The classification of incompressible surfaces in Seifert fibered spaces therefore applies. A vertical surface in a Seifert fibered space has zero intersection with a regular Seifert fiber, whereas the fibration class evaluates on $f=pqm$ as $pq$. Thus the Seifert surface is isotopic to a horizontal surface in a Seifert fibered space, with $pq$ intersections per regular orbit.

Following the oriented Seifert fibers from one intersection to the next gives a first-return homeomorphism of the horizontal topological surface. It is a representative of the fiber monodromy, and its $pq$-th power is the identity. It has order $pq$: a regular orbit meets the connected horizontal surface in a Seifert fibered space in $pq$ cyclically ordered points. This realizes the periodic case of the Nielsen–Thurston classification theorem. It is neither an Anosov homeomorphism nor a pseudo-Anosov homeomorphism.

There is a boundary convention here. A representative fixed pointwise on the boundary is not periodic relative to the boundary: its $pq$-th power is a boundary Dehn twist (with sign determined by the return-map convention). Capping the boundary, or allowing it to rotate during isotopy, gives the finite-order representative intended by “periodic”. This distinguishes periodic surface type from literal finite order in the mapping class group relative to the boundary.

For any fibered knot, its Alexander module is $H_1(\Sigma ;\mathbb{Z})$ with the deck transformation given by homological monodromy, so its Alexander polynomial of a knot is $\det (tI-{\varphi }_{\ast })$ up to a unit. The general Turaev torsion relation $\Delta (t)\doteq (1-t)\tau (X)$ and part (b) therefore giveThis rational expression is a polynomial: in its factorization into cyclotomic polynomials, $\gcd (p,q)=1$ cancels all denominator factors. It is monic, has constant coefficient one, and has polynomial degree $pq+1-p-q=(p-1)(q-1)$. The characteristic polynomial has polynomial degree $2g$, is monic, and has constant coefficient $\det {\varphi }_{\ast }=1$, because homological monodromy preserves the intersection form. These facts remove the unit ambiguity and giveThe sign change between $\det ({\varphi }_{\ast }-tI)$ and $\det (tI-{\varphi }_{\ast })$ is trivial because $\mathrm{rank}{H}_1(\Sigma )=2g$ is even. As a separate geometric check, the orbifold Euler characteristic of the base is $1/p+1/q-1$, and its $pq$-sheeted horizontal surface in a Seifert fibered space has Euler characteristic $\chi (\Sigma )=p+q-pq=1-2g$.

Choose a fiber monodromy representative fixing the boundary of the fiber Seifert surface pointwise. The boundary of each fiber is the Seifert longitude, precisely the slope used by zero Dehn filling. Attach the filling solid torus as $D^2\times S^1$, matching $\partial D^2\times \{\theta \}$ with the boundary of the fiber at $\theta$. The fibers cap off to closed topological surfaces $\hat{\Sigma }$ of the same genus $g$; extend the fiber monodromy across the disk by the identity. ThusThis is a foliation by fibers of a bundle over $S^1$, and every leaf is compact with genus $(p-1)(q-1)/2$.

Choose a point in the interior of the capping disk, which $\hat{\varphi }$ fixes. Its suspension is an embedded closed curve $\{x\}\times S^1$ in the mapping torus. It is transverse to the foliation and meets every fiber once. Hence every leaf meets a closed transversal to a foliation, which is the defining criterion for a taut foliation. Therefore the fiber foliation is taut.

Use the standard complex K-theory Thom class convention. For a rank-$r$ complex vector bundle, its K-theory Euler class is the pullback of the K-theory Thom class along the zero section, namelyHere ${\Lambda }^j$ denotes an exterior power, and a Hermitian metric identifies the dual bundle with the conjugate vector bundle. Choosing ${\lambda }_{-1}(E)$ instead changes the K-theory Euler class by the unit $(-1{)}^r[\det E]$, so its kernel and cokernel computations are unchanged.

For the disk bundle $D(E)$ and sphere bundle $S(E)$, the K-theory Thom class identifies $K^i(D(E),S(E))$ with $K^i(X)$. The exact sequence of this pair becomes the K-theory Gysin sequence of a sphere bundle:The groups are two-periodic by Bott periodicity.

View Real projective space as the circle bundle of ${\gamma }^{\otimes 2}$ over Complex projective space, where $\gamma \to {\mathbb{CP}}^n$ is the tautological bundle. Indeed, $S^{2n+1}/\{\pm 1\}={\mathbb{RP}}^{2n+1}$ maps to $S({\gamma }^{\otimes 2})$ by $[v]\mapsto v\otimes v$; in each fiber squaring identifies exactly $v$ and $-v$.

Use Complex K-theory of complex projective space in the formThe K-theory Euler class of ${\gamma }^{\otimes 2}$ is $1-[\gamma {]}^{-2}$. Multiplying it by the unit $-[\gamma {]}^2$ gives $1-[\gamma {]}^2=2t-t^2$. The K-theory Gysin sequence of a sphere bundle therefore givesUnder the projection $q:{\mathbb{RP}}^{2n+1}\to {\mathbb{CP}}^n$, the pullback vector bundle $q^{\ast }\gamma$ is the complexification of a real vector bundle $L$ of the tautological bundle of Real projective space: the fiber map sends $[v,z]$ to $zv$. Thus $t$ pulls back to $1-[L]$. Put $\mu =[L]-1$. The relation $L^{\otimes 2}\cong 1$ gives ${\mu }^2=-2\mu$, and $t^{n+1}=0$ gives $2^n\mu =0$. HenceFor completeness, these relations give precisely the abelian group $\mathbb{Z}\oplus \mathbb{Z}/2^n$. In the basis $t,\dots ,t^n$, the image of multiplication by $2t-t^2$ is generated by $2t-t^2,2t^2-t^3,\dots ,2t^n$; its relation matrix is triangular with determinant $2^n$, and the relations express every $t^j$ as $2^{j-1}t$. Thus there is exactly one cyclic torsion subgroup of order $2^n$.

If $n\ge 1$ and $a=a_0+a_{1}t+\cdots +a_n{t}^n$ is in the kernel, successive coefficients of $(2t-t^2)a$ give $2a_0=0$, $2a_1-a_0=0$, and so on, up to $2a_{n-1}-a_{n-2}=0$. Hence $a_0=\cdots =a_{n-1}=0$, with $a_n$ arbitrary. For $n=0$ the multiplier is zero on $R=\mathbb{Z}$. In all cases,

Finally let $E=L^{\oplus k}$ with $k\ge 1$, over $B={\mathbb{RP}}^{2n+1}$. Since $L^{\ast }\cong L$, multiplicativity of the K-theory Euler class givesOn $K^0(B)=\mathbb{Z}\oplus (\mathbb{Z}/2^n)\mu$, the image of multiplication by this K-theory Euler class is the subgroup generated by $2^{k-1}\mu$: multiplication by an integer produces every such multiple, while multiplication by $\mu$ only adds multiples of $2^k\mu$. ThereforeMultiplication by $\mu$ is zero on $K^{-1}(B)\cong \mathbb{Z}$, since $2^n\mu =0$ and this abelian group has no nonzero torsion elements. Thus the K-theory Gysin sequence of a sphere bundle gives a short exact sequenceIt splits as an exact sequence of abelian groups because its quotient is a free abelian group. ConsequentlyThe convention $\mathbb{Z}/1=0$ covers $n=0$ and $k=1$. For example, when $k=1$ the sphere bundle is $(S^{2n+1}\times S^1)/\{(v,z)\sim (-v,-z)\}$, a mapping torus of the antipodal map; its Topological K-theory has no nonzero torsion elements, agreeing with the formula. If $k=0$ is allowed, the rank-zero vector bundle has an empty unit sphere bundle, so $K^0(S(E))=0$ instead.

The quotient is the mapping torus ofA mapping torus of a cellular map has a finite CW structure. On integral homology, ${\tau }_{\ast }$ is $1$ on $H_0(T^2)$ and $H_2(T^2)$ and is $-I$ on $H_1(T^2)\cong {\mathbb{Z}}^2$. The Wang sequence therefore givesOver ${\mathbb{F}}_2$, the map ${\tau }_{\ast }$ is the identity. The Wang sequence splits as vector spaces into one copy of $H_q(T^2;{\mathbb{F}}_2)$ and one copy of $H_{q-1}(T^2;{\mathbb{F}}_2)$, yielding

The involution $(z_1,z_2)\mapsto (-z_1,{\overline{z}}_2)$ is free. Taking the first circle modulo the half-turn exhibits the quotient as the mapping torus of a reflection of $S^1$, hence as the Klein bottle. It has a finite CW structure with one zero-cell, two one-cells, and one two-cell. With suitable generators its integral cellular differential isThereforewhereas reduction modulo two kills the only nonzero boundary and gives

The Bott isomorphism is multiplication by the Bott element $\beta \in {\tilde{K}}^0(S^2)$:Together with the suspension isomorphism andit gives the Complex K-theory of a sphere

Letbe a CW filtration in which each quotient $Y_r/Y_{r-1}$ is a wedge of even-dimensional spheres. The six-term exact sequence in Topological K-theory, the sphere calculation, and induction giveand a short exact sequence whose new summand in $K^0(Y_r)$ is free abelian on the newly attached cells. Every such extension splits as an extension of free abelian groups, so $K^0(Y)$ is free, with one generator for each cell. This proves the Complex K-theory of an even-cell complex result.

The exterior product definesFor a point it is the identity. Attaching one layer of even cells gives corresponding exact sequences on the source and target; the sphere case is the suspension isomorphism, and induction with the Five lemma proves that the product map remains an isomorphism. This is the Künneth theorem for complex K-theory with an even-cell factor.

For a mapping torus $T_f$, the K-theory Wang sequence of a mapping torus containsWhen $K^{-1}(Z)=0$, exactness gives

For $Z={\mathbb{CP}}^2\times {\mathbb{CP}}^2$, the Complex K-theory of complex projective space and the K-theory Künneth isomorphism giveThe factor swap interchanges $x$ and $y$. Its invariant subgroup has the basisIt follows that the K-theory of the mapping torus of the factor swap on two complex projective planes is

The mapping torus of an order-six rotation of a hexagonal flat torus is a closed orientable flat Riemannian manifold with holonomy $C_6$. The screw rotation has angle $\pi /3$ and axial displacement $1/6$. Its first Betti number is one.

A suspension flow moves vertically in the mapping torus of a diffeomorphism, applying that diffeomorphism whenever an orbit crosses the identifying section. A hyperbolic toral automorphism with constant roof gives a three-dimensional Anosov flow: after $k$ crossings its transverse derivative is $A^k$, while the remaining fractional time contributes a uniformly bounded factor.

The mapping torus of an order-three rotation of a hexagonal flat torus is a closed orientable flat Riemannian manifold with holonomy $C_3$. A screw rotation through $2\pi /3$ with axial displacement $1/3$, together with the planar lattice, describes its deck group. Its first Betti number is one.

The mapping torus of a torus map with this monodromy has fundamental group generated by $x,y,t$ with $x$ central and $ty{t}^{-1}=x^{b}y$. Normal forms $x^m{y}^n{t}^k$ multiply byThis proves torsion-freeness and nilpotence of class at most two. For $b\ne 0$ its center is $⟨x⟩$ and commutator subgroup $⟨x^b⟩$; for $b=0$ it is ${\mathbb{Z}}^3$. These realize all noncyclic torsion-free nilpotent closed orientable three-manifold groups.