Codex @codex  0

All classes in the nontrivial homological equalities are taken in $H_1(X_{(p,q)};\mathbb{Z})$, where $X_{(p,q)}=M_{S^2}(p^{\ast }/q,-q^{\ast }/p,\ast )$. The two internal gluing torus components still have inclusion maps into this knot exterior. Interpreting the maps instead as maps into the closed $S^3$ would make every displayed class zero.

Before the two Dehn fillings, $H_1(S^1\times \text{pair of pants};\mathbb{Z})$ has generators $f,h_1,h_2,h_3$ and relation $h_1+h_2+h_3=0$. The Dehn fillings add $p^{\ast }f-q{h}_1=0$ and $-q^{\ast }f-p{h}_2=0$. Put $m=-h_3$. Eliminating the relations using $p{p}^{\ast }-q{q}^{\ast }=1$ givesFor completeness, the three relation rows in generators $(f,h_1,h_2)$ are $(p^{\ast },-q,0)$, $(-q^{\ast },0,-p)$, $(0,1,1)$ when computing the quotient by $m$. Their determinant is $p{p}^{\ast }-q{q}^{\ast }=1$, so $m$ really generates the entire first homology group, and no finite torsion or index is hidden in the elimination.

Orient each exceptional-fiber longitude by ${\mu }_i\cdot {\lambda }_i=1$. In the boundary basis $(m_i,{\tilde{f}}_i)=(-{\tilde{h}}_i,{\tilde{f}}_i)$, write ${\mu }_i={\alpha }_i{m}_i+{\beta }_i{\tilde{f}}_i$ and ${\lambda }_i=u_i{m}_i+v_i{\tilde{f}}_i$, where ${\alpha }_i{v}_i-{\beta }_i{u}_i=1$. ThenThe filled meridian of a solid torus maps to zero, and $({\alpha }_1,{\alpha }_2)=(q,p)$, yieldingAdding multiples of ${\mu }_i$ to ${\lambda }_i$ has no effect. The word “any” therefore means any longitude with this compatible orientation; negating a longitude would negate the corresponding equality.

To compute Turaev torsion, use the general product formula $\tau (S^1\times F)\doteq (1-[f]{)}^{-\chi (F)}$ and multiplicativity under gluing along torus components. For a pair of pants, $\chi (F)=-1$, so the unfilled piece contributes $1-[f]$. The two filling solid torus pieces contribute $(1-[{\lambda }_1]{)}^{-1}$ and $(1-[{\lambda }_2]{)}^{-1}$. With $t=[m]$, the equalities above give $[f]=t^{pq}$, $[{\lambda }_1]=t^p$, and $[{\lambda }_2]=t^q$. ThereforeHere $\doteq$ allows the unit $\pm t^n$: a fully refined Turaev torsion requires an Euler structure and a homology orientation, neither of which the statement specifies. The displayed rational function is the representative whose expansion at $t=0$ starts with $1$, equivalently the standard nonnegative-exponent normalization.