Trefoil torsion from its torus spine and colored Burau block

Under [A1], let $A$ be the annulus left on the Heegaard torus after removing an open annular neighborhood of the $(2,3)$ curve. The torus-knot model identifies its core with the common source circle $c$ in the finite spine $X=M_2{\cup }_c{M}_3$, where $M_2$ and $M_3$ are mapping cylinders of the degree-two and degree-three maps of a circle and their target core circles are $a$ and $b$. By [F7], the compact exterior is the mapping cylinder of an explicit map from its boundary torus to $X$. Choose finite cell structures compatible with this map and the two degree maps, with circle vertices $v_c,v_a,v_b$ and cylinder edges $e_a:v_c\to v_a$, $e_b:v_c\to v_b$; take $v_c$ as basepoint. In the resulting exterior mapping-cylinder CW structure, each prism over a boundary-torus cell $\sigma$ pairs with its unglued face $\sigma \times \{0\}$; removing these pairs in decreasing cell dimension gives a finite sequence of elementary collapses onto $X$, fixing $X$ and $v_c$. Thus this specific exterior-to-$X$ equivalence is simple. The natural CW structure on $X$ has these three vertices, edges $a,b,c,e_a,e_b$, and $2$-cells with based words $e_a{a}^2{e}_a^{-1}{c}^{-1}$ and $e_b{b}^3{e}_b^{-1}{c}^{-1}$. The two connecting edges form a maximal tree. Contract it to obtain a based presentation complex $\bar{X}$: this contraction is simple, as can be seen by moving the loops and attaching paths at each terminal vertex across its connecting edge by cellular edge slides, then collapsing that edge with the now free terminal vertex. Each cellular slide is realized by an elementary expansion followed by an elementary collapse; the root $v_c$ is fixed. After the two contractions, $\bar{X}$ has one vertex, edges $a,b,c$, and $2$-cells ${\lambda }_2,{\lambda }_3$ attached by $r_2=a^2{c}^{-1}$ and $r_3=b^3{c}^{-1}$. Work in $\bar{X}$ for the following further simple changes. Slide ${\lambda }_3$ over the oppositely oriented ${\lambda }_2$, replacing its attaching word by $r_3{r}_2^{-1}=(b^3{c}^{-1})(a^2{c}^{-1}{)}^{-1}=b^3{a}^{-2}\mathrm{.}$ This elementary based $2$-cell slide removes $c$ from that attaching map. The edge $c$ now occurs exactly once in the boundary of ${\lambda }_2$ and nowhere else, so $(c,{\lambda }_2)$ is a free $1$- and $2$-cell pair and collapses. Reversing the orientation of the remaining $2$-cell gives the attaching word $a^2{b}^{-3}$. Thus the resulting one-vertex complex with core edges $a,b$ and one $2$-cell is based simple-homotopy equivalent to the chosen compact exterior and supplies the required certificate.

The abelianization of this spine has generators $[a],[b]$ and relation $2[a]-3[b]=0$. By [F6], the positive meridian class $[m]$ generates $H_1(E_K;\mathbb{Z})\cong \mathbb{Z}$. Write $[a]=p[m]$ and $[b]=q[m]$; the relation gives $2p=3q$, and $a,b$ generate the abelianization, so $\gcd (p,q)=1$. Hence $(p,q)=(3,2)$ or $(-3,-2)$; orient the two core generators consistently with the positive meridian to choose $(3,2)$. Thus the full positive-meridian deck map sends $a\mapsto t^3$ and $b\mapsto t^2$.

For $r=a^2{b}^{-3}$, the Fox product and inverse rules give $\mathrm{\partial }r\mathrm{/}\mathrm{\partial }a=1+a$ and $\mathrm{\partial }r\mathrm{/}\mathrm{\partial }b=-a^2(b^{-1}+b^{-2}+b^{-3})$. Evaluating at $a=t^3$, $b=t^2$ gives $1+t^3$ and $-(t^4+t^2+1)$. The $a$ denominator is $t^3-1\mathrm{\ne }0$, so the deleted-$a$ quotient is $-(t^4+t^2+1)\mathrm{/}(t^3-1)$. Factoring $t^4+t^2+1=(t^2+t+1)(t^2-t+1)$ and $t^3-1=(t-1)(t^2+t+1)$ reduces it to $(t^2-t+1)\mathrm{/}(1-t)$.

In the cumulative basis, $g_1=x_1$ and $g_2=x_1{x}_2$. The positive Artin rule gives ${\sigma }_1(g_1)=g_2{g}_1^{-1}$ and fixes $g_2$. The Fox row of $g_2{g}_1^{-1}$ is $(-g_2{g}_1^{-1},1)$, which evaluates to $(-t,1)$ under the trivial representation and equal strand colors; the fixed boundary word contributes the second row $(0,1)$. Therefore the reduced block for ${\sigma }_1$ is $[-t]$. For automorphisms $\beta ,\gamma$ of the free group, the product and inverse recursions imply $\mathrm{\partial }(\beta (u))\mathrm{/}\mathrm{\partial }{g}_j={\sum }_k\beta (\mathrm{\partial }u\mathrm{/}\mathrm{\partial }{g}_k)\mathrm{\partial }(\beta (g_k))\mathrm{/}\mathrm{\partial }{g}_j$: it holds for generators and inverses, and the product rule extends it to every word by induction. After evaluation, the braid-preserved color map makes coefficient substitution by $\beta$ leave the coefficients unchanged, so the full Fox matrices compose by matrix multiplication; their block form has bottom row $(0,1)$, so the reduced scalar blocks multiply. The two strands close to one component, hence this coloring is preserved, and the reduced block for ${\sigma }_1^3$ is $[-t{]}^3=[-t^3]$.

The fraction-field $d_1$ has the invertible block $t^3-1$, so it is onto. The deleted Fox minor from step 3.1 is nonzero, so $d_2$ is injective; since the chain dimensions are $1,2,1$ and $d_1{d}_2=0$, its image is the one-dimensional kernel of $d_1$. The complex is acyclic. Moreover, any Laurent-ring $1$-cycle becomes a boundary over $\mathbb{Q}(t)$; clearing its denominator and using that the chain module is free over the domain $\mathbb{Q}[t^{\pm 1}]$ shows that the cycle's homology class is annihilated by a nonzero Laurent polynomial. Thus the degree-one Laurent-ring homology is torsion, and the hypotheses of the exterior-spine Wada theorem hold.

Apply [F2] to the certified spine and admissible $a$ column. Its Wada quotient from step 3.1 represents the twisted torsion class. This identifies the displayed rational function with the torsion computed from the torus-spine certificate.

The Burau numerator and boundary denominator are $N=\det ([-t^3]-[1])=-(t^3+1)$ and $D=t^2-1$. Hence $N\mathrm{/}D=-(t^3+1)\mathrm{/}(t^2-1)=-((t+1)(t^2-t+1))\mathrm{/}((t-1)(t+1))=(t^2-t+1)\mathrm{/}(1-t)$. This is exactly the quotient in step 3.1, so the finite determinant calculation equals the based-spine torsion value. If the compatible axis-filling certificate is supplied as well, [F5] identifies the same ratio with the procedure output.