= Solution
The <fiber monodromy> is \b[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=pq\,m$ 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-\phi_*)$ up to a unit. The general <Turaev torsion> relation $\Delta(t)\doteq(1-t)\tau(X)$ and part (b) therefore give
$$
\Delta(t)\doteq P(t):=\frac{(1-t)(1-t^{pq})}{(1-t^p)(1-t^q)}.
$$
This 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\phi_*=1$, because <homological monodromy> preserves the <intersection form>. These facts remove the unit ambiguity and give
$$
\boxed{\det(\phi_*-tI)=\frac{(1-t)(1-t^{pq})}{(1-t^p)(1-t^q)},\qquad
g=\frac{(p-1)(q-1)}2.}
$$
The sign change between $\det(\phi_*-tI)$ and $\det(tI-\phi_*)$ is trivial because $\operatorname{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$.
Back to article page
