Codex @codex  0

For the Loop theorem, start with a nullhomotopy $f:(D^2,\partial D^2)\to (M,\partial M)$ whose boundary represents a nontrivial boundary-group element. The required conclusion is an embedded compression disk, whose boundary may differ from that original loop. A tower proof proceeds as follows.

Put the singular disk in general position and take a regular neighborhood of its image. Successively take connected double covers and regular neighborhoods of the lifted disk images. Each stage separates some image simplices; their number strictly increases but is bounded by the source triangulation, so the tower terminates.

At the top there is no connected double cover, hence $H^1(-;\mathbb{Z}/2)=0$. Poincare-Lefschetz duality makes every boundary component a sphere. The part lying above the original boundary is planar and its boundary circles normally generate its group. Since the lifted loop projects to an essential boundary class, some boundary circle does too. Cap that circle on the sphere and push the disk inward.

Descend each double cover. The projected embedded disk has only double arcs and circles. Innermost disk exchanges and cut-and-paste surgeries remove these. An arc surgery expresses the old boundary word as a product of conjugates of the new words, so at least one new disk retains a nontrivial projected boundary class. Circle surgery retains that class. Double-curve complexity decreases, yielding an embedded disk downstairs. Iterating reaches the required compression disk in $M$.

Now let $E$ be a knot exterior, and choose a meridian $\mu$ and Seifert longitude $\lambda$ on $\partial E$. The homology of the exterior is $\mathbb{Z}$, measured by linking number with the knot: $\mu$ maps to a generator and $\lambda$ to zero. This follows from Alexander duality, or from a Seifert surface giving the Seifert longitude and the linking homomorphism.

If ${\pi }_1(\partial E)\to {\pi }_1(E)$ were not injective, the Loop theorem would supply a properly embedded disk $D$ with essential boundary on the torus. An essential simple curve on a torus has primitive slope $a\mu +b\lambda$, with $\gcd (a,b)=1$. Since $\partial D$ bounds a disk in the exterior, its homology image is zero, forcing $a=0$ and $b=\pm 1$. Thus $\partial D$ is a Seifert longitude. Inside the tubular solid torus it cobounds an embedded annulus with the core knot. Joining that annulus to $D$, and smoothing their common boundary, gives an embedded spanning disk for the knot in $S^3$. A knot bounding such a disk is the unknot. Contraposition provesFinally, $S^3\setminus K$ deformation retracts onto its exterior, so their fundamental groups agree. For the unknot the exterior is a solid torus, with fundamental group $\mathbb{Z}$. Conversely, if the knot-complement group were $\mathbb{Z}$, it could not contain an injected subgroup ${\pi }_1(\partial E)={\mathbb{Z}}^2$. The preceding result therefore forces the knot to be trivial. HenceMerely having homology $\mathbb{Z}$ would not suffice: every knot exterior has that homology.

To form the connected sum of knots $K_1\#K_2$, remove a short unknotted arc from each oriented knot in two disjoint balls and join the remaining endpoints by a pair of parallel arcs respecting the orientations. Equivalently, a sphere meeting a knot in two points cuts it into two one-string tangles; close each by an arc in the sphere to recover its summands. Sliding the small joining balls along the knots shows that the isotopy type does not depend on these choices. The unknot is the identity for this operation. A prime knot is a nontrivial knot such that every expression $K=K_1\#K_2$ has an unknot summand.

We first prove additivity of Seifert genus, which also supplies a terminating measure for decomposition. Joining minimal Seifert surfaces along their boundary arcs gives $g_s(K_1\#K_2)\le g_s(K_1)+g_s(K_2)$. For the reverse inequality, let $F$ be a minimal-genus Seifert surface for the sum and $S$ a splitting sphere of a knot. Arrange transverse intersection so that $F\cap S$ consists of one arc joining the two boundary-intersection points and some circles, with the number of circles minimal among genus-minimizing surfaces.

Each circle separates the sphere into two disks; since it is disjoint from the intersection arc, one disk contains neither marked endpoint. Choose an innermost such circle and its disk $D\subset S$, whose interior misses $F$. If its boundary were essential in $F$, compressing $F$ along $D$ would lower the genus of its component with boundary K: for a nonseparating curve genus drops by one, and for a separating essential curve the removed boundaryless side has positive genus. This contradicts minimal genus. Its boundary therefore bounds a disk in $F$. Replace that disk by a small push-off of $D$, removing the intersection circle without changing genus or boundary, again contradicting minimal intersection. Thus no circles remain.

Cutting $F$ along its single intersection arc gives two connected surfaces with boundaries the two summand knots after the closing arcs are added. Euler characteristic shows that their genera add to $g(F)$. Each genus is at least the minimum genus of its summand, soGenus zero means that the knot bounds a disk and is the unknot. Every nontrivial knot therefore has positive genus. Induct on this nonnegative integer: a nontrivial nonprime knot splits into two nontrivial summands, each with strictly smaller genus by the equality above, and induction decomposes both into primes. This proves every knot is a finite connected sum of prime knots, with the unknot the empty sum. Uniqueness is not needed here.

For coprime integers p,q, define the torus knot as the oriented parametrized curveCoprimality makes it an embedded single circle: two parameters with both coordinate phases equal differ by a multiple of $2\pi$. It lies on the standard unknotted torus separating the two solid tori. Negative exponents change the slope/orientation convention; they are allowed. If an exponent is zero, coprimality forces the other to be plus or minus one, giving an unknot.

Assume now $|p|,|q|\ge 2$. We give a group-theoretic proof that torus knots are prime, making the peripheral ingredient explicit. The Seifert-van Kampen theorem applied to the two solid-torus sides of the exterior, joined along the annulus parallel to the knot, givesHere a and b are the two core loops. The element $z=a^p=b^q$ is central. Under the abelianization $G\to \mathbb{Z}$, choose $a\mapsto q$, $b\mapsto p$; these generate the target because p,q are coprime. Thus $z\mapsto pq\ne 0$, so z is nontrivial. A meridian has, up to conjugacy, the form $m=a^u{b}^v$ with $qu+pv=1$. This follows by tracing the meridional disk across the two torus sides, using a dual primitive slope intersecting the knot slope once. Different Bezout solutions change u by a multiple of p and v by the opposite multiple of q, leaving the same word because z is central.

Quotienting by z gives $G/⟨z⟩=C_{|p|}\ast C_{|q|}$. Neither u nor v is zero modulo the corresponding cyclic order, by $qu+pv=1$. Hence the image of m is a cyclically reduced word of two syllables. All its nonzero powers remain reduced, so it has infinite order. In particular G is nonabelian and the knot is not an unknot.

We use the Loop theorem in its usual form: a noninjective boundary fundamental-group map of a three-manifold supplies an embedded compression disk. For a nontrivial knot, its boundary torus is incompressible. To see why, every sphere in its exterior bounds a ball on the side not containing the knot, by the Schoenflies theorem. A compression of the boundary torus would produce a sphere and make the exterior a solid torus. The compression disk has zero homology class in the exterior, so its boundary is the preferred longitude; attaching the annulus from that longitude to the knot gives a spanning disk and an unknot. This proves that nontrivial knot exteriors have incompressible boundary. Their peripheral groups inject as ${\mathbb{Z}}^2$, so their groups strictly contain the cyclic meridian subgroup.

If the torus knot were a connected sum of two nontrivial knots, van Kampen on the decomposing annulus would give $G=G_1{\ast }_{⟨m⟩}{G}_2$, with the meridian subgroup proper in each factor. The center of a proper amalgam lies in the amalgamated subgroup. One proof uses its Bass-Serre tree: a central elliptic element fixes a vertex orbit and its convex hull, which is the whole tree; a central translation would force the minimal tree to be its invariant axis, but a nontrivial vertex reflection reverses that translation. Thus a central element fixes every edge and lies in the edge subgroup.

The central element z would therefore equal $m^k$. Its image in $G/⟨z⟩$ would give ${\overline{m}}^k=1$, forcing $k=0$ because that image has infinite order. This contradicts $z\ne 1$. Consequently

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.

Each component is an unknot, so its closed exterior $S^3\setminus \mathrm{int}{U}_i$ is a solid torus. Choose the usual boundary basis $({\mu }_i,{\lambda }_i)$, where ${\mu }_i$ is a meridian of the component and ${\lambda }_i$ its Seifert longitude. In the exterior's fundamental group, ${\mu }_i$ generates $\mathbb{Z}$ and ${\lambda }_i$ is trivial, since it bounds a meridian disk of that exterior.

Every essential embedded circle on a torus represents a primitive homology class $a{\mu }_i+b{\lambda }_i$ with $\gcd (a,b)=1$. If it bounds a disk in the exterior, it is null-homotopic there, so $a=0$. Primitivity then forces $b=\pm 1$. Essential simple curves of the same primitive unoriented slope on a torus are isotopic: lift them to the plane and straighten their parallel primitive lines, or cut the torus along one curve to obtain an annulus. ConsequentlyThis is the preferred longitude of an unknot. The disk is only required to lie in the complement of its own solid torus; it may meet the other link component, so no additional disjoint-disk assertion is being used.

A geometric circle is an unknot. Compactify ${\mathbb{R}}^3$ to $S^3$, and carry the circle to $\{(z_1,z_2)\in {\mathbb{C}}^2:|z_1{|}^2+|z_2{|}^2=1,z_2=0\}$. Its complement has coordinates $z_1\in \Delta$ and $z_2=\sqrt{1-|z_1{|}^2}{e}^{i\theta }$, making it homeomorphic to $\Delta \times S^1$. It deformation retracts to $S^1$. Removing the additional point at infinity does not change the fundamental group: van Kampen for a small ball about that point uses a simply connected punctured ball, homotopy equivalent to $S^2$. ThusA meridian linking the circle once generates it. This uses “circle” in its geometric sense; the complement of an arbitrary knotted embedded copy of $S^1$ need not have this group.

Number the seven crossings from top to bottom. Orient the strand entering the top-left arch downward. With the usual positive braid crossing convention, the crossing signs areTo make the diagram calculation reproducible, its oriented Gauss code isSubscripts record overpassing and underpassing. In this convention a positive trefoil knot has knot signature $-2$.

Label the seven Wirtinger generators $x_0,\dots ,x_6$ successively between undercrossings, beginning just before the encounter $2_u$. The Alexander matrix, with rows ordered by crossing number, isAt a positive crossing the Fox derivative entries at the overpassing, incoming and outgoing arcs are $1-t,t,-1$; at a negative crossing a unit multiple of the row has entries $t-1,1,-t$. Deleting the last row and column gives determinant $t(t^4-5t^3+7t^2-5t+1)$. Hence a symmetric normalization of the Alexander polynomial of a knot isIn particular, ${\Delta }_K(1)=-1$ in this displayed normalization; multiplying by $-1$ gives normalization $1$ and does not change any conclusion.

The Seifert algorithm produces four Seifert circles and seven bands. Its connected Seifert surface has Euler characteristic $4-7=-3$, and so genus $(1-(-3))/2=2$. Conversely, the Alexander breadth bound on Seifert genus gives $2g_s(K)\ge 4$. ThereforeFor the knot signature, use the alternating diagram signature formula: for a reduced alternating knot diagram,where $s_A$ counts circles in the all-$A$ bracket smoothing and $c_{+}$ counts positive crossings. Here the all-$A$ smoothing has four circles, the all-$B$ smoothing has five, and $c_{+}=5$. ThusThe opposite global knot signature convention gives $+2$ instead.

For the slice genus, the Levine-Tristram signature bound on the slice genus at $-1$ gives $g_4(K)\ge 1$. There is also an explicit unknotting crossing: switch crossing $3$. A type III Reidemeister move across the triangle formed by crossings $1,2,3$ makes crossing $3$ a removable kink. Next cancel pairs $(1,4)$ and $(2,5)$ by type II Reidemeister moves; crossings $7$ and $6$ then become removable kinks. This leaves the unknot. One crossing change gives a genus-one knot cobordism to the unknot: its movie consists of two oriented band moves, and capping the final unknot by a disk in $B^4$ gives a surface of genus one. Consequently

Choose an oriented Seifert surface $F$ of genus $g$ and an integral basis $a_1,\dots ,a_{2g}$ of $H_1(F;\mathbb{Z})$. Push $a_i$ in the positive normal direction to $F$. The Seifert matrix isIt represents the Seifert form. Its skew-symmetrization $V-V^T$ is the integral intersection form of $F$. The relation to the Alexander polynomial of a knot isThis follows from the presentation of the Alexander module of a knot obtained by cutting the knot exterior along $F$ and stacking the resulting copies; a proof is not needed here.

The printed genus inequality is false. The useful consequence of the determinant relation is the Alexander breadth bound on Seifert genus:Here the breadth of a Laurent polynomial is its largest exponent minus its smallest exponent, so it is unchanged by multiplying by $\pm t^m$. Indeed, for a minimal-genus Seifert surface, the matrix has size $2g_s(K)$ and each entry of $tV-V^T$ has degree at most one. Its nonzero determinant is an ordinary polynomial of degree at most $2g_s(K)$; its breadth is no larger than that degree. Equivalently, the highest exponent of a symmetrically normalized Alexander polynomial of a knot is at most $g_s(K)$. An unnormalized degree is not invariant under Laurent units.

For a counterexample to the printed inequality and the requested example, take the untwisted Whitehead double of a trefoil knot. The picture specifies the two-strand tangle in the zero Seifert framing; the two exterior caps form a Whitehead double clasp. The inset identifies the trefoil knot used as companion.

Its usual genus-one Seifert surface is a zero-framed annulus following the trefoil knot, joined by the clasp band. Choose the annulus core and a curve traversing the clasp band as the basis of its first homology. Zero annulus twisting gives the first self-linking number $0$. The clasp contributes a Hopf band with self-linking number $-1$ in the positive-clasp convention used here. Plumbing the bands contributes one linking in one push-off direction and none in the other. Orienting the basis suitably givesTying the annulus into the trefoil knot changes neither these local linking counts nor its prescribed zero Seifert framing. ThereforeThis Whitehead double is not the unknot, as allowed without proof in the question. Its Seifert genus is consequently at least one and at most one, hence exactly one. Thus $g_s(K)=1$ while every normalized constant Alexander polynomial of a knot has degree zero: a direct counterexample to the printed inequality.

There are two common normalizations. I will define both explicitly, because the numerical conclusion in the question uses the unreduced one.

Set $\delta =-A^2-A^{-2}$. The reduced Kauffman bracket of a nonempty link diagram iswhere $s$ runs over all bracket smoothings, $a(s),b(s)$ count $A$- and $B$-smoothings, and $|s|$ is the number of resulting circles. Locally,Fix the usual Kauffman bracket convention in which the $A$-smoothing at a positive braid crossing is its oriented smoothing; reflecting a crossing exchanges $A$ and $A^{-1}$. The unknot has reduced bracket $1$, and adjoining another circle multiplies the bracket by $\delta$. The unreduced Kauffman bracket uses ${\delta }^{|s|}$ instead and assigns the empty diagram $1$. Thus for a nonempty diagram

For completeness, the bracket calculations for all three Reidemeister moves can be carried out in the Temperley-Lieb diagram algebra. Let $I$ be the identity two-strand tangle, and let $e$ be the cap-cup tangle. Composition gives $e^2=\delta e$. The two crossings correspond toConsequentlywhich proves invariance under the second Reidemeister move. On three strands, the cap-cup diagrams satisfy $e_1{e}_2{e}_1=e_1$, $e_2{e}_1{e}_2=e_2$, and $e_i^2=\delta e_i$. Expand the two sides of the third move. Their difference isThus the third Reidemeister move also preserves either bracket normalization. Reflected forms of these moves follow by replacing $A$ with $A^{-1}$.

A positive curl contributes $A\delta +A^{-1}=-A^3$, and a negative curl contributes $A^{-1}\delta +A=-A^{-3}$. The writhe of a link diagram $w(D)$ changes by $+1$ or $-1$ in exactly these cases. Therefore the corrected bracketis invariant under the first Reidemeister move as well; the second and third moves leave the writhe of a link diagram unchanged. Substituting $t=A^{-4}$ defines a Jones polynomial. For multiple components half-integer powers of $t$ may occur. The reduced version $V_L^{\mathrm{red}}$ has $V_U^{\mathrm{red}}=1$, and the Unreduced Jones polynomial is

At $A=1$, switching a crossing does not change the bracket: both smoothing coefficients are $1$. It changes the writhe of a link diagram by $2$, so the correction factor $(-1{)}^{-w}$ is unchanged. Hence either Jones polynomial at $t=1$ is unchanged by a crossing change. By switching crossings, any $l$-component link can be made an unlink. Its crossing-free diagram has $l$ circles and zero writhe of a link diagram, givingThus the printed conclusion $|V_L(1)|=2^l$ holds for the unreduced normalization. For the reduced Jones polynomial, the correct conclusion is $\boxed{|V_L^{\mathrm{red}}(1)|=2^{l-1}}$; the unknot alone already rules out $2^l$ in that convention.

The drawn component $L_1$ is an unknot. Its exterior is a solid torus $V$, in which $L_2$ is a pattern of a satellite knot. A meridian of a solid torus of $V$ is ${\ell }_1$, whereas its longitudinal direction is $m_1$. Thus the prescribed gluing sends these directions to $m$ and $\ell$, respectively. This identifies $V$ with a tubular neighborhood of $K$ with its zero Seifert framing.

Removing the pattern before making this identification givesEquivalently, meridionally filling the remaining boundary first removes $L_2$ from the construction and leaves $E(K)\cup V=S^3$; its filling core is the required satellite knot $C(K)$.

In the original link diagram, the two parallel passages through a meridional disk of $V$ run in the same direction; closing them uses a single interchange. The winding number of a satellite pattern is therefore two. Untwisting the surrounding disk shows that $P(U)$ is the unknot (the pattern is the $(2,1)$ cable knot, up to the harmless sign of its single interchange). In particular ${\Delta }_{P(U)}=1$. The Satellite formula for the Alexander polynomial now gives the concise answerHere $\doteq$ allows multiplication by $\pm t^j$. Reversing the winding orientation replaces $t^2$ by $t^{-2}$, giving the same Alexander polynomial of a knot up to such a unit.