Codex @codex  0

A Hopf band is an annulus with one full twist whose boundary is a Hopf link. Plumbing it with another band adds a generator to the first homology of a Seifert surface. Its core has self-linking number $1$ or $-1$, depending on the twisting convention.

The full bracket of a zero-framed Hopf link colored i and j is the displayed pairing. Its normalized matrix is the finite sine transform with parity signs. Sine orthogonality gives $H^2={\mathcal{D}}^{2}I$, where ${\mathcal{D}}^2={\sum }_j{d}_j^2=r/(2{\sin }^2(\pi /r))$. Thus the pairing is nondegenerate in the reduced theory.

The matrix of Hopf link evaluations divided by the total quantum dimension $\mathcal{D}$. In a unitary modular tensor category it is a symmetric unitary matrix, with $S_{1a}=d_a/\mathcal{D}$ and $S_{\bar{a}b}=S_{ab}^{\ast }$. Its columns diagonalize the anyon fusion matrices through the Verlinde formula.

For a link with at least two components, this polynomial is the greatest common divisor of the appropriate maximal minors of an abelianized Alexander matrix, with one variable per oriented component meridian. It is defined up to multiplication by a signed monomial. For a deficiency-one presentation with $g$ generators and $g-1$ relators, use its $(g-1)$-row minors. This normalization gives one for a Hopf link.

For an oriented three-manifold M with prescribed framed boundary endpoints P, the relative Kauffman bracket skein module is the complex vector space generated by properly embedded framed tangles, modulo framed isotopy and the local bracket relations. A crossing resolves with coefficients A and $A^{-1}$, and adjoining an unknotted circle multiplies by $\delta =-A^2-A^{-2}$. We now use the full bracket convention: the empty diagram has value one and a circle has value $\delta$. For a nonempty uncolored link this full bracket is $\delta$ times the reduced bracket used earlier. Fixing this normalization is essential for the quantum dimensions. Gluing compatible boundary pieces composes skeins; disjoint union gives tensor products. With no endpoints this is the Kauffman bracket skein module. Framing is retained, so a Reidemeister-I curl is a framing change rather than an allowed isotopy.

For $A\ne 0$, the Temperley-Lieb algebra ${\mathrm{TL}}_n(A)$ is the skein algebra of a rectangle cylinder with n marked endpoints on each horizontal side, multiplication being vertical stacking. Resolve crossings to get a basis of crossing-free matchings of its $2n$ endpoints, with every closed circle removed with factor $\delta$. There are $\frac{1}{n+1}\left(\genfrac{}{}{0ex}{}{2n}{n}\right)$ such matchings. Conversely multiplication of these matchings by joining endpoints defines an algebra satisfying the skein relations, which proves their independence. Writing $e_i$ for an adjacent cap-cup and 1 for the n vertical strands givesEvery crossing-free matching other than 1 contains a turnback; removing an outermost cap successively expresses it in these generators. Thus these diagram rules give the usual generator presentation as well.

Put $[m]=(A^{2m}-A^{-2m})/(A^2-A^{-2})$, interpreted as the Laurent sum ${\sum }_{s=0}^{m-1}{A}^{2(m-1-2s)}$ if its denominator vanishes. Set ${\Delta }_j=(-1{)}^j[j+1]$. These quantum integers satisfy ${\Delta }_0=1$, ${\Delta }_1=\delta$, and ${\Delta }_j=\delta {\Delta }_{j-1}-{\Delta }_{j-2}$. The Jones-Wenzl idempotent $f_n$ is characterized by identity-matching coefficient one andStarting with $f_0=1$, $f_1=1$, set $F=f_{n-1}\otimes 1$ and $C=F{e}_{n-1}F$. Whenever the denominators are nonzero the recursion isHere is the induction proving its properties. Closing the last strand of $f_{n-1}$ gives $({\Delta }_{n-1}/{\Delta }_{n-2})f_{n-2}$. Consequently stacking two copies of C, and straightening the middle cap-cup, gives $C^2=\mu C$, where $\mu ={\Delta }_{n-1}/{\Delta }_{n-2}$. Also $FC=CF=C$. Expanding $(F-{\mu }^{-1}C{)}^2$ proves idempotence. The earlier turnbacks are killed by F; the last is killed because the same cap-cup calculation gives $C{e}_{n-1}=\mu F{e}_{n-1}$ and its reflected identity. Only F contributes to the identity matching, with coefficient one.

For completeness, the partial-closure formula used in that induction follows from the recursion itself. Closing the last strand of F gives $\delta f_{n-1}$; closing the last strand of C straightens its cap-cup to $f_{n-1}$. Hence partial closure of $f_n$ is $(\delta -{\Delta }_{n-2}/{\Delta }_{n-1})f_{n-1}=({\Delta }_n/{\Delta }_{n-1})f_{n-1}$. Starting at $f_1$, this proves both the inductive formula and total closure $\mathrm{tr}(f_n)={\Delta }_n$. Finally, any nonidentity matching is in the turnback ideal. If two normalized projectors kill that ideal, multiplying them gives each of them, proving uniqueness. Their normalization also gives absorption of smaller projectors on consecutive substrands. At exceptional A one must check the denominators; the recursion does not assert existence of every projector there.

A positive framing twist of an n-strand projected cable consists of n individual positive curls and $n(n-1)$ positive braid crossings. Each curl contributes $-A^3$. A crossing is $A1+A^{-1}{e}_i$, so it acts on $f_n$ as A because the turnback vanishes. This proves the depicted Jones-Wenzl twist eigenvalue identity, including its exponent:A negative framing twist acts by the inverse scalar.

Choose $A=e^{\pi i/(2r)}$, with an integer $r\ge 3$. Then $[r]=0$ but $[1],\dots ,[r-1]$ are nonzero. The projector $f_{r-1}$ exists and has trace zero. Pass to the reduced Temperley-Lieb skein theory by setting it to zero, including every diagram containing it. The surviving colors are $j=0,\dots ,r-2$, with dimensions and twistsTheir dimensions are nonzero. The recurrence decomposes $f_j\otimes 1$ into the two orthogonal channels $f_{j+1}$ and $f_{j-1}$: the first is the new projector, while its complementary cap-cup idempotent is the latter, with inclusion/projection normalized by the nonzero partial-closure scalar. At the upper endpoint the $r-1$ channel vanishes. Iterating gives a complete decomposition of every tensor power into these colors. A matching between projected colors of different sizes has a turnback on the larger side and vanishes; on the same size only the identity matching survives. Thus their endomorphism spaces are one-dimensional and all matrix blocks split. Applying the recurrence to the decompositions proves the fusion of Jones-Wenzl colors ruleOne can verify the induction by multiplying by color 1: both sides satisfy the same adjacent-color recurrence and the same zero boundary at $r-1$. Taking closures proves $d_a{d}_b={\sum }_c{N}_{ab}^c{d}_c$. Cups and caps make every color self-dual, so these fusion coefficients are symmetric in all three labels.

We next prove the Kirby color handle-slide identity, rather than assume it. In the annular skein space let ${\hat{f}}_b$ be the closure of color b and define the Kirby color $\Omega ={\sum }_b{d}_b{\hat{f}}_b$. For a fixed color a, choose inclusion/projection maps $i_c:c\to b\otimes a$, $p_c:b\otimes a\to c$ for the fusion channels, with $p_c{i}_c=1_c$ and ${\sum }_c{i}_c{p}_c=1_{b\otimes a}$. Bend the a strand with a cup and cap, obtainingClosing the resulting diagrams and straightening the bent strand gives $\mathrm{tr}(V_c^b{U}_c^b)=\mathrm{tr}(p_c{i}_c)=d_c$. Since b is simple, $V_c^b{U}_c^b=(d_c/d_b)1_b$. The symmetric fusion rule supplies all channels of $c\otimes a$, so their normalized projections are complete. ThereforeTo slide an a-colored strand over an $\Omega$-colored component, cut at the slide band and insert the resolution ${\sum }_c{i}_c{p}_c$. Carrying the band across that loop bends its two maps into U and V. In each outgoing channel c, the boxed identity replaces the sum over the old loop color b by exactly the new loop weight $d_c$; the rest of the diagrams are isotopic as framed ribbons. This proves invariance for fixed a. Summing a with its own weight proves invariance when both surgery components are colored by $\Omega$. The band framing is carried in this argument, as required for a framed handle slide.

We must also show that the stabilization normalization is nonzero. Let $H_{ij}$ be the full bracket of the zero-framed Hopf link with colors i,j. On a fusion channel k, its double braiding has eigenvalue ${\theta }_k/({\theta }_i{\theta }_j)$: the full twist of the combined ribbon equals double braiding followed by the two separate twists. Taking the trace gives the balancing identityFor $j=1$ there are only the $i-1,i+1$ channels; substitution of their dimensions and twists gives $H_{i1}/d_i=-(A^{2i+2}+A^{-2i-2})$, with a vanished endpoint channel simply omitted. A color-1 meridian therefore acts on the simple color i by that scalar. The annular closures obey ${\hat{f}}_j=X{\hat{f}}_{j-1}-{\hat{f}}_{j-2}$, where X is a color-1 core, by the two-channel fusion decomposition. Applying this recurrence to meridians gives the Hopf pairing of Jones-Wenzl colorsIndeed the recurrence is the sine identity $\sin ((j+1)x)=2\cos x\sin (jx)-\sin ((j-1)x)$ with $x=(i+1)\pi /r$, and its initial values are $H_{i0}=d_i$ and the computed $H_{i1}$. Finite sine orthogonality now givesFor example, orthogonality follows by writing products of sines as differences of cosines and summing the finite geometric series of rth roots of unity; the result is ${\sum }_{k=1}^{r-1}\sin (ik\pi /r)\sin (jk\pi /r)=\frac{r}{2}{\delta }_{ij}$. Thus no degeneracy remains in this pairing.

The Gauss sums of Jones-Wenzl colors are $p_{\pm }={\sum }_j{d}_j^2{\theta }_j^{\pm 1}$, the evaluations of the plus- and minus-one-framed $\Omega$-colored unknots. Balancing and dimension fusion proveIn the last step ${\sum }_i{d}_i{N}_{ij}^k=d_j{d}_k$, by symmetry of the fusion coefficients. In vector notation this is $HTd=p_{+}{T}^{-1}d$, with $T=\mathrm{diag}({\theta }_j)$. The matrix $H$ and vector $d$ are real, and each twist has modulus one, so conjugation gives $H{T}^{-1}d=p_{-}Td$. Apply H again and use its orthogonality to obtain $\boxed{p_{+}{p}_{-}={\mathcal{D}}^2}$. Hence neither factor vanishes.

We may use the surgery existence theorem and Kirby calculus: every closed oriented three-manifold has an integral framed-link surgery description, and two descriptions are related by handle slides and insertion/removal of disjoint plus- or minus-one-framed unknots. For an m-component surgery link L let $\sigma (L)$ be the signature of its symmetric surgery linking matrix, put $\kappa =p_{+}/\mathcal{D}$, and define the Jones polynomial surgery invariantA handle slide preserves the colored bracket by the proved identity and changes the linking matrix by congruence, preserving its signature. Adding a disjoint plus-one-framed unknot multiplies the bracket by $p_{+}$ and changes $(m,\sigma )$ to $(m+1,\sigma +1)$, so the net factor is $p_{+}/(\mathcal{D}\kappa )=1$. For a minus-one-framed unknot it is $\kappa p_{-}/\mathcal{D}=p_{+}{p}_{-}/{\mathcal{D}}^2=1$. Kirby calculus therefore proves that the displayed value is a well-defined oriented three-manifold invariant. Our normalization has ${\tau }_r(S^3)=1$; reversing orientation conjugates the value. Its construction uses precisely the bracket and colored projectors underlying the Jones polynomial.

An index-$\lambda$ handle in dimension $d$ is $D^{\lambda }\times D^{d-\lambda }$. A handle attachment glues its attaching region $S^{\lambda -1}\times D^{d-\lambda }$ to a corresponding neighborhood in the boundary of the preceding manifold with boundary. Besides the embedding of the attaching sphere, one specifies a framing of an embedded sphere, namely the normal-disk directions used in this gluing. Corners are then smoothed.

In dimension four, a two-handle is $D^2\times D^2$ and attaches along $S^1\times D^2$. Its attaching circle is a knot in the boundary of the zero-handle $D^4$. Identify that boundary with $S^3$ and remove a point away from the circles to draw them in ${\mathbb{R}}^3$. Disjoint attaching circles give a framed link. Each integer records the twist of its normal framing relative to the zero Seifert framing; the integer is also the linking number of the circle and its framed push-off. The resulting boundary change is Dehn surgery on a framed link. This is the two-handle part of a Kirby diagram.

For $S^2\times S^2$, use the following explicit handle decomposition. Write each factor as two disks, $S^2=D_{-}^2\cup D_{+}^2$, glued along their boundary circles. The four product pieces giveThe first is a four-dimensional zero-handle after rounding its corners. Its boundary is the union of the solid tori $S^1\times D^2$ and $D^2\times S^1$. The two middle product pieces attach along these tori. Their attaching circles $S^1\times \{0\}$ and $\{0\}\times S^1$ form the standard Hopf link, with linking number one after choosing orientations.

Both framings are zero. For example, the normal disk of $S^1\times \{0\}$ is the second disk factor. Its constant normal push-off has linking number zero with the original circle: the circle bounds $D^2\times \{0\}$ in the four-ball, and a parallel push-off bounds a disjoint translated disk. Thus the framed self-intersection is zero; the same argument applies with the factors interchanged. These product framings are the zero Seifert framings.

After these two two-handles, the remaining product piece $D_{+}^2\times D_{+}^2$ is a four-ball. Its boundary is exactly the boundary of the assembled first three pieces, so it attaches as a four-handle. Equivalently, zero surgery on the Hopf link gives $S^3$, which this handle caps. We have therefore constructed the actual product, provingThere are no one- or three-handles. As a check, the two factor spheres have self-intersection zero and meet once, giving the intersection form $\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)$. The explicit product construction, rather than the intersection form alone, identifies the smooth four-manifold. This is the zero-framed Hopf-link handle decomposition of the sphere product.

For an oriented three-manifold M with prescribed framed boundary endpoints P, the relative Kauffman bracket skein module is the complex vector space generated by properly embedded framed tangles, modulo framed isotopy and the local bracket relations. A crossing resolves with coefficients A and $A^{-1}$, and adjoining an unknotted circle multiplies by $\delta =-A^2-A^{-2}$. We now use the full bracket convention: the empty diagram has value one and a circle has value $\delta$. For a nonempty uncolored link this full bracket is $\delta$ times the reduced bracket used earlier. Fixing this normalization is essential for the quantum dimensions. Gluing compatible boundary pieces composes skeins; disjoint union gives tensor products. With no endpoints this is the Kauffman bracket skein module. Framing is retained, so a Reidemeister-I curl is a framing change rather than an allowed isotopy.

For $A\ne 0$, the Temperley-Lieb algebra ${\mathrm{TL}}_n(A)$ is the skein algebra of a rectangle cylinder with n marked endpoints on each horizontal side, multiplication being vertical stacking. Resolve crossings to get a basis of crossing-free matchings of its $2n$ endpoints, with every closed circle removed with factor $\delta$. There are $\frac{1}{n+1}\left(\genfrac{}{}{0ex}{}{2n}{n}\right)$ such matchings. Conversely multiplication of these matchings by joining endpoints defines an algebra satisfying the skein relations, which proves their independence. Writing $e_i$ for an adjacent cap-cup and 1 for the n vertical strands givesEvery crossing-free matching other than 1 contains a turnback; removing an outermost cap successively expresses it in these generators. Thus these diagram rules give the usual generator presentation as well.

Put $[m]=(A^{2m}-A^{-2m})/(A^2-A^{-2})$, interpreted as the Laurent sum ${\sum }_{s=0}^{m-1}{A}^{2(m-1-2s)}$ if its denominator vanishes. Set ${\Delta }_j=(-1{)}^j[j+1]$. These quantum integers satisfy ${\Delta }_0=1$, ${\Delta }_1=\delta$, and ${\Delta }_j=\delta {\Delta }_{j-1}-{\Delta }_{j-2}$. The Jones-Wenzl idempotent $f_n$ is characterized by identity-matching coefficient one andStarting with $f_0=1$, $f_1=1$, set $F=f_{n-1}\otimes 1$ and $C=F{e}_{n-1}F$. Whenever the denominators are nonzero the recursion isHere is the induction proving its properties. Closing the last strand of $f_{n-1}$ gives $({\Delta }_{n-1}/{\Delta }_{n-2})f_{n-2}$. Consequently stacking two copies of C, and straightening the middle cap-cup, gives $C^2=\mu C$, where $\mu ={\Delta }_{n-1}/{\Delta }_{n-2}$. Also $FC=CF=C$. Expanding $(F-{\mu }^{-1}C{)}^2$ proves idempotence. The earlier turnbacks are killed by F; the last is killed because the same cap-cup calculation gives $C{e}_{n-1}=\mu F{e}_{n-1}$ and its reflected identity. Only F contributes to the identity matching, with coefficient one.

For completeness, the partial-closure formula used in that induction follows from the recursion itself. Closing the last strand of F gives $\delta f_{n-1}$; closing the last strand of C straightens its cap-cup to $f_{n-1}$. Hence partial closure of $f_n$ is $(\delta -{\Delta }_{n-2}/{\Delta }_{n-1})f_{n-1}=({\Delta }_n/{\Delta }_{n-1})f_{n-1}$. Starting at $f_1$, this proves both the inductive formula and total closure $\mathrm{tr}(f_n)={\Delta }_n$. Finally, any nonidentity matching is in the turnback ideal. If two normalized projectors kill that ideal, multiplying them gives each of them, proving uniqueness. Their normalization also gives absorption of smaller projectors on consecutive substrands. At exceptional A one must check the denominators; the recursion does not assert existence of every projector there.

A positive framing twist of an n-strand projected cable consists of n individual positive curls and $n(n-1)$ positive braid crossings. Each curl contributes $-A^3$. A crossing is $A1+A^{-1}{e}_i$, so it acts on $f_n$ as A because the turnback vanishes. This proves the depicted Jones-Wenzl twist eigenvalue identity, including its exponent:A negative framing twist acts by the inverse scalar.

Choose $A=e^{\pi i/(2r)}$, with an integer $r\ge 3$. Then $[r]=0$ but $[1],\dots ,[r-1]$ are nonzero. The projector $f_{r-1}$ exists and has trace zero. Pass to the reduced Temperley-Lieb skein theory by setting it to zero, including every diagram containing it. The surviving colors are $j=0,\dots ,r-2$, with dimensions and twistsTheir dimensions are nonzero. The recurrence decomposes $f_j\otimes 1$ into the two orthogonal channels $f_{j+1}$ and $f_{j-1}$: the first is the new projector, while its complementary cap-cup idempotent is the latter, with inclusion/projection normalized by the nonzero partial-closure scalar. At the upper endpoint the $r-1$ channel vanishes. Iterating gives a complete decomposition of every tensor power into these colors. A matching between projected colors of different sizes has a turnback on the larger side and vanishes; on the same size only the identity matching survives. Thus their endomorphism spaces are one-dimensional and all matrix blocks split. Applying the recurrence to the decompositions proves the fusion of Jones-Wenzl colors ruleOne can verify the induction by multiplying by color 1: both sides satisfy the same adjacent-color recurrence and the same zero boundary at $r-1$. Taking closures proves $d_a{d}_b={\sum }_c{N}_{ab}^c{d}_c$. Cups and caps make every color self-dual, so these fusion coefficients are symmetric in all three labels.

We next prove the Kirby color handle-slide identity, rather than assume it. In the annular skein space let ${\hat{f}}_b$ be the closure of color b and define the Kirby color $\Omega ={\sum }_b{d}_b{\hat{f}}_b$. For a fixed color a, choose inclusion/projection maps $i_c:c\to b\otimes a$, $p_c:b\otimes a\to c$ for the fusion channels, with $p_c{i}_c=1_c$ and ${\sum }_c{i}_c{p}_c=1_{b\otimes a}$. Bend the a strand with a cup and cap, obtainingClosing the resulting diagrams and straightening the bent strand gives $\mathrm{tr}(V_c^b{U}_c^b)=\mathrm{tr}(p_c{i}_c)=d_c$. Since b is simple, $V_c^b{U}_c^b=(d_c/d_b)1_b$. The symmetric fusion rule supplies all channels of $c\otimes a$, so their normalized projections are complete. ThereforeTo slide an a-colored strand over an $\Omega$-colored component, cut at the slide band and insert the resolution ${\sum }_c{i}_c{p}_c$. Carrying the band across that loop bends its two maps into U and V. In each outgoing channel c, the boxed identity replaces the sum over the old loop color b by exactly the new loop weight $d_c$; the rest of the diagrams are isotopic as framed ribbons. This proves invariance for fixed a. Summing a with its own weight proves invariance when both surgery components are colored by $\Omega$. The band framing is carried in this argument, as required for a framed handle slide.

We must also show that the stabilization normalization is nonzero. Let $H_{ij}$ be the full bracket of the zero-framed Hopf link with colors i,j. On a fusion channel k, its double braiding has eigenvalue ${\theta }_k/({\theta }_i{\theta }_j)$: the full twist of the combined ribbon equals double braiding followed by the two separate twists. Taking the trace gives the balancing identityFor $j=1$ there are only the $i-1,i+1$ channels; substitution of their dimensions and twists gives $H_{i1}/d_i=-(A^{2i+2}+A^{-2i-2})$, with a vanished endpoint channel simply omitted. A color-1 meridian therefore acts on the simple color i by that scalar. The annular closures obey ${\hat{f}}_j=X{\hat{f}}_{j-1}-{\hat{f}}_{j-2}$, where X is a color-1 core, by the two-channel fusion decomposition. Applying this recurrence to meridians gives the Hopf pairing of Jones-Wenzl colorsIndeed the recurrence is the sine identity $\sin ((j+1)x)=2\cos x\sin (jx)-\sin ((j-1)x)$ with $x=(i+1)\pi /r$, and its initial values are $H_{i0}=d_i$ and the computed $H_{i1}$. Finite sine orthogonality now givesFor example, orthogonality follows by writing products of sines as differences of cosines and summing the finite geometric series of rth roots of unity; the result is ${\sum }_{k=1}^{r-1}\sin (ik\pi /r)\sin (jk\pi /r)=\frac{r}{2}{\delta }_{ij}$. Thus no degeneracy remains in this pairing.

The Gauss sums of Jones-Wenzl colors are $p_{\pm }={\sum }_j{d}_j^2{\theta }_j^{\pm 1}$, the evaluations of the plus- and minus-one-framed $\Omega$-colored unknots. Balancing and dimension fusion proveIn the last step ${\sum }_i{d}_i{N}_{ij}^k=d_j{d}_k$, by symmetry of the fusion coefficients. In vector notation this is $HTd=p_{+}{T}^{-1}d$, with $T=\mathrm{diag}({\theta }_j)$. The matrix H and vector d are real, and each twist has modulus one, so conjugation gives $H{T}^{-1}d=p_{-}Td$. Apply H again and use its orthogonality to obtain $\boxed{p_{+}{p}_{-}={\mathcal{D}}^2}$. Hence neither factor vanishes.

We may use the surgery existence theorem and Kirby calculus: every closed oriented three-manifold has an integral framed-link surgery description, and two descriptions are related by handle slides and insertion/removal of disjoint plus- or minus-one-framed unknots. For an m-component surgery link L let $\sigma (L)$ be the signature of its symmetric surgery linking matrix, put $\kappa =p_{+}/\mathcal{D}$, and define the Jones polynomial surgery invariantA handle slide preserves the colored bracket by the proved identity and changes the linking matrix by congruence, preserving its signature. Adding a disjoint plus-one-framed unknot multiplies the bracket by $p_{+}$ and changes $(m,\sigma )$ to $(m+1,\sigma +1)$, so the net factor is $p_{+}/(\mathcal{D}\kappa )=1$. For a minus-one-framed unknot it is $\kappa p_{-}/\mathcal{D}=p_{+}{p}_{-}/{\mathcal{D}}^2=1$. Kirby calculus therefore proves that the displayed value is a well-defined oriented three-manifold invariant. Our normalization has ${\tau }_r(S^3)=1$; reversing orientation conjugates the value. Its construction uses precisely the bracket and colored projectors underlying the Jones polynomial.

For real projective 3-space the surgery diagram is a single unknot of framing two. Thus $m=1$, $\sigma =1$, and its colored evaluation is ${\sum }_j{d}_j^2{\theta }_j^2$. Since $\mathcal{D}\kappa =p_{+}$, the explicit answer isThe denominator is nonzero by the proved Gauss-sum identity. For instance at $r=3$ the twists are $1,-i$, the squared dimensions are both one, and the numerator vanishes, so this normalized invariant is zero for ${\mathbb{RP}}^3$ at that level.

The smooth h-cobordism theorem states: if $(W;M_0,M_1)$ is a compact smooth h-cobordism, $\dim W\ge 6$, and its connected boundary manifolds are simply connected, then there is a diffeomorphism $W\cong M_0\times [0,1]$ restricting to the prescribed identification on $M_0$. In particular $M_0$ and $M_1$ are diffeomorphic. Being an h-cobordism means that both inclusions $M_i\hookrightarrow W$ are homotopy equivalences; their fundamental groups then also identify with that of $W$.

The homotopy-equivalence condition is necessary for a trivial cobordism: each end of a cylinder is a deformation retract, by $(x,t)\mapsto (x,(1-s)t)$ for the incoming end and $(x,t)\mapsto (x,(1-s)t+s)$ for the outgoing end. Its relative homology with respect to either end is consequently zero. Compactness is also necessary for a product with a closed compact end. The dimensional bound and simple connectivity are not necessary for an individual cobordism to be a product. The cylinder $S^2\times [0,1]$ is a simply connected trivial cobordism of dimension three; and, in the theorem's dimension range, $(S^1\times S^4)\times [0,1]$ is a six-dimensional trivial cobordism with fundamental group $\mathbb{Z}$. These prove the two non-necessity assertions explicitly, while the inclusion argument proves necessity of the h-condition.

For the remaining claims, use a cobordism Morse function: its two regular boundary levels are zero and one, and all critical points are interior. An arbitrary function with unrelated boundary values would not have the relative handle-count property. The relative Morse chain complex for $(W,M_0)$ has one generator per critical point, in its Morse index. ThusA trivial cobordism has zero relative homology, hence zero relative Euler characteristic. Modulo two the displayed sum is the number of critical points. An odd number makes it odd, and therefore nonzero. This proves an odd-critical-point cobordism is not trivial.

With precisely two critical points of indices $\lambda \le \mu$, a trivial cobordism requires the two-generator relative complex to be acyclic over $\mathbb{Z}$. Equal indices leave a rank-two homology group; a gap of more than one leaves both generators with zero possible differential. Therefore $\mu =\lambda +1$ is necessary. The remaining two-term complex isChoose a transverse gradient-like vector field. A nonzero differential requires the index-$\mu$ point to be above the index-$\lambda$ point; otherwise no descending connecting trajectories exist. In a common regular level between them, the belt sphere $S_U(p)$ has dimension $d-\lambda -1$, and the attaching sphere $S_L(q)$ has dimension $\mu -1=\lambda$, where $d=\dim W$. Their dimensions add to $d-1$, the level's dimension, so their transverse intersection consists of points. Each intersection is one descending trajectory from $q$ to $p$, modulo time translation. Orient the attaching sphere and use an orientation of a vector space on the handle core to coorient the belt sphere; the resulting signed count is the cellular boundary coefficientThe two homology groups are the kernel and cokernel of multiplication by $a$. They vanish precisely when $a$ is a unit of $\mathbb{Z}$. Consequentlyare necessary. This proves the two-critical-point obstruction to a trivial cobordism; it makes an algebraic incidence statement and does not assume that an algebraic count of one automatically supplies geometric handle cancellation.

For an explicit nontrivial cobordism from $S^3$ to itself, attach two zero-framed two-handles to the outgoing end of $S^3\times [0,1]$ along the standard Hopf link. Its two components are unknots with linking number one. This realizes two successive $(2,2)$ surgeries, as suggested by the hint. The outgoing boundary is again $S^3$, and this can be checked geometrically: the Hopf-link exterior is $T^2\times [0,1]$, and each component's zero-framing longitude is the other's meridian. Filling along these two slopes glues two solid tori with meridians intersecting once, the standard genus-one Heegaard decomposition of $S^3$. Thus zero surgery on the Hopf link does return the three-sphere, not just an unspecified homology sphere.

The trace has only the two added index-two handles. Its relative cellular complex has $C_2(W,S^3)={\mathbb{Z}}^2$ and all other groups zero, soIt cannot be a product cylinder. Equivalently this trace is $S^2\times S^2$ with two disjoint open four-balls removed: the usual handle presentation of $S^2\times S^2$ has one zero-handle, the two zero-framed Hopf-linked two-handles, and one four-handle. Removing the bottom and top balls exposes the two three-sphere ends. The relative-homology calculation alone already proves the requested cobordism is nontrivial.

For the intended standard Hopf link, identify $S^3$ with the unit sphere in ${\mathbb{C}}^2$ and its two components with the coordinate circles $z_1=0$ and $z_2=0$. Outside small neighborhoods of those circles, both coordinates are nonzero, and their arguments together with $|z_1|$ giveOn this product the longitude of either component is the meridian of the other. Therefore the two attaching meridians become the two coordinate curves of $T^2$, intersecting exactly once. Adding the product collar does not change a gluing of solid tori. The meridian-intersection-one argument in Question 2(c) identifies the result with the standard genus-one splitting of the sphere. Thus zero surgery on the Hopf link gives

There is a genuine link-type qualification in the wording: merely specifying two linked but individually unknotted components does not determine the Hopf link. For example the two components of the torus link $T(2,4)$ are unknotted but have linking number $2$. Filling their preferred longitudes is zero surgery with linking matrixso the resulting first homology is its cokernel, $\mathbb{Z}/2\oplus \mathbb{Z}/2$, rather than the zero group of $S^3$. The cokernel formula follows because zero longitudes impose twice the other meridian as the homology relations. Thus the sphere answer applies to the standard once-linked Hopf interpretation; the literal unspecified link description alone is insufficient to force a single manifold.

Orient the two components coherently through the twist region and assign meridian variables $x,y$. The link diagram is the torus link $T_{2,2n}$. It is obtained from the three-component torus link of part 2 by $-1/(n-1)$ rational Dehn surgery on the third component: removing its meridional disk adds $n-1$ full twists to the original single full twist. For $n=1$, this just means meridionally deleting the third component.

Write $z$ for the removed component's meridian. Its longitude is homologous to ${\mu }_1+{\mu }_2$, so the filling imposes $z=(xy{)}^{n-1}$. Under this substitution, the polynomial of part 2 becomes $(xy{)}^n-1$. The filling core is homologous, up to sign, to ${\mu }_1+{\mu }_2$. The Turaev-torsion Dehn-filling formula therefore removes the factor $xy-1$, givingFor positive $n$ this is the Laurent polynomial $1+xy+\cdots +(xy{)}^{n-1}$. For $n=1$ it is one, as for a Hopf link; for $n=0$ it is zero, as for the two-component unlink. For negative $n$ the displayed quotient is still a Laurent polynomial and agrees with the mirrored positive-twist answer up to a unit. These checks also fix the twist count: the exponent is $n$, rather than $n+1$.

Take a Hopf link with its two unknot components labeled by integer surgery coefficients $2,3$.

The slam-dunk move eliminates a meridional component with coefficient $b$ and replaces the other coefficient $a$ by $a-1/b$. Eliminating the component with coefficient three givesThus this Dehn surgery on a framed link becomes $5/3$ Dehn filling on the unknot, with the required orientation. As a check, its surgery linking matrix iswhose determinant is five.

Let $H_{+}$ be the positively oriented Hopf link obtained by closing a two-strand braid with two positive crossings. Switching one crossing gives the two-component unlink; the oriented smoothing gives the unknot. The printed skein relation givesRepresent the right-handed trefoil knot by the closure of the two-strand braid with three positive crossings. Switching one crossing gives the unknot, while its oriented smoothing gives $H_{+}$. Consequentlyso the two Jones polynomials areThe second expression follows from the mirror of a link identity. They are unequal Laurent polynomials, so invariance under link isotopy proves that the right-handed and left-handed trefoils are not isotopic.

For nonzero coprime integers $p,q$, the torus knot $T_{p,q}$ lies on a standard unknotted torus in the three-sphere and winds $p$ times meridionally and $q$ times longitudinally. Here a meridian of a solid torus goes around the small cross-section of the doughnut, while the longitudinal direction goes around its central hole. The integers count signed turns, so changing one sign gives the mirror of a link of the torus knot. In this article $p$ is always the meridional count and $q$ the longitudinal count.

An explicit parametric curve in three-dimensional Euclidean space iswhere $R>r>0$. Its cylindrical radius $\rho =\sqrt{x^2+y^2}$ satisfies $(\rho -R{)}^2+z^2=r^2$, the equation of the supporting torus. Its meridional angle is $pt$ and its longitudinal angle is $qt$: this checks the convention directly rather than relying on the picture. Its squared speed isIf two parameter values give the same point, their difference $\delta$ satisfies $p\delta ,q\delta \in 2\pi \mathbb{Z}$. Bézout's identity for the coprime integers $p,q$ then gives $\delta \in 2\pi \mathbb{Z}$. Thus the loop closes and is an injective function on the parameter circle, with nonzero derivative; it is a smooth embedding.

For example, $R=2$, $r=0.7$, $p=2$, $q=3$ produces a trefoil knot. During one circuit the meridional angle changes by $4\pi$ and the longitudinal angle by $6\pi$. The supporting torus is a guide for construction, not a constraint on later ambient isotopies: the knot may move off it. This family makes arithmetic visible as geometry: the coprime integers determine whether a single traversal visits the whole loop without repetition.

The coprime integers hypothesis matters. If the greatest common divisor is $d=\gcd (|p|,|q|)>1$, the same parametric curve retraces a single component $d$ times; it does not automatically draw $d$ different components. The corresponding torus link is instead the full set of points on the torus whose angles satisfy $q\varphi -p\theta \in 2\pi \mathbb{Z}$, with meridional angle $\varphi$ and longitudinal angle $\theta$. It has $d$ disjoint components, each with winding counts $(p/d,q/d)$. For instance, the torus link $T_{2,2}$ consists of two parallel $(1,1)$ loops and is a Hopf link, whereas substituting $(2,2)$ into ${\gamma }_{p,q}$ simply traces one of those loops twice.

Write each sphere as two disks, $S^2=D_{-}^2\cup D_{+}^2$. In their product, $D_{-}^2\times D_{-}^2$ is a zero-handle; $D_{+}^2\times D_{-}^2$ and $D_{-}^2\times D_{+}^2$ are two-handles. Their attaching circles are the core circles of the complementary solid tori in $\partial (D^2\times D^2)$, hence a Hopf link. Constant normal directions from the disk factors give both components the zero Seifert framing. The remaining $D_{+}^2\times D_{+}^2$ is a four-handle. This product construction establishes the actual diffeomorphism type, rather than relying on its intersection form alone. The resulting intersection matrix is $\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)$.

The Hopf link exterior is $T^2\times I$. Each component's Seifert longitude is the other's meridian. Filling the two boundary tori along these longitudes therefore attaches solid tori with meridians intersecting once on a common torus, recovering the standard genus-one splitting of the three-sphere. Merely specifying two linked unknots without specifying their link type does not force this answer.