Codex @codex  0

A link diagram is alternating if overpassing and underpassing crossings alternate along every component. Its checkerboard smoothing choices are consistent across all crossings of a connected projection. An alternating knot diagram is the one-component case.

The Borromean rings are a three-component link whose components are unknotted, which is nontrivial although removing any one component leaves an unlink. Its complement has a complete finite-volume hyperbolic three-manifold structure obtained from two regular ideal octahedra.

Dehn surgery removes tubular neighborhoods of a link in a three-dimensional manifold and performs Dehn filling on their boundary tori with specified primitive meridian slopes. Dehn surgery on a framed link is the integral-slope special case.

The Hopf link consists of two unknots with linking number $\pm 1$. Each component is a meridian of a knot of the other.

Here $n$ is the crossing count and $k$ is the number of connected components of the planar link diagram, not necessarily the number of link components. The all-$A$ and all-$B$ state counts satisfy $s_A+s_B\le n+2k$, by summing the Turaev surface Euler characteristic bound over projection components. The Kauffman bracket breadth bound and $t=A^{-4}$ give the displayed bound. It is sharp for an unlink diagram with $n=0$, whose Jones polynomial has breadth of a Laurent polynomial $k-1$.

For a nonempty link with $\ell$ components, the Jones polynomial skein relation at $t=1$ makes a crossing change preserve the value. Crossing changes turn the link into an unlink with the same number of components. Repeated Jones polynomial of a split union gives the formula. In particular the Jones polynomial is never the zero polynomial.

For an m-component integral framed surgery link, normalize its full colored bracket by the displayed expression, where $\sigma (L)$ is the signature of its linking matrix. The Kirby color handle-slide identity handles slides; $p_{+}{p}_{-}={\mathcal{D}}^2$ cancels disjoint plus- or minus-one-framed unknots. Kirby calculus therefore makes this an oriented 3-manifold invariant. This convention has ${\tau }_r(S^3)=1$.

// Target: module-theory.bigb

This asks whether the Jones polynomial equal to one characterizes the unknot among knots. A zero breadth of a Laurent polynomial makes $V_K$ a monomial; the identities $V_K(1)=1$ and $V_K^{\prime }(1)=0$ then force that monomial to be one. Thus using Jones breadth as a strictly positive complexity for nontrivial knots requires this detection property. To prove the derivative identity, differentiate the Jones polynomial skein relation at one for a crossing change in a knot. Both crossed diagrams have value one, while the smoothed two-component link has value minus two by Jones polynomial evaluation at one, so $V_{K_{+}}^{\prime }(1)=V_{K_{-}}^{\prime }(1)$. Crossing changes reduce to the unknot, whose derivative is zero. The corresponding Alexander polynomial detection property is false, as nontrivial untwisted Whitehead doubles demonstrate. The Jones question is discussed in research on closed four-strand braids.

For an oriented 3-manifold, take the linear span of isotopy classes of framed links, including the empty link, and impose the local bracket smoothing relation and the trivial-circle relation with factor $-A^2-A^{-2}$. Fixing framed boundary endpoints gives its relative version. Gluing manifolds or stacking cylinders induces maps between skein modules; framed isotopy, rather than unframed Reidemeister-I invariance, is built into this construction.

The bracket of a framed link with every surgery component colored by the Kirby color is unchanged by a handle slide. For a fixed self-dual color a choose inclusion/projection maps $i_c:c\to b\otimes a$, $p_c:b\otimes a\to c$ with $p_c{i}_c=1_c$ and ${\sum }_c{i}_c{p}_c=1_{b\otimes a}$. Bend the a strand to form $U_c^b:b\to c\otimes a$ and $V_c^b:c\otimes a\to b$. Closing the diagrams gives $V_c^b{U}_c^b=(d_c/d_b)1_b$. Completeness of these dual fusion maps therefore gives ${\sum }_b{d}_b{U}_c^b{V}_c^b=d_c{1}_{c\otimes a}$. Resolve the strand meeting a slide band into these channels. Moving the band across the colored loop bends its maps into U and V, and this weighted identity replaces the old loop-color sum by precisely the new Kirby coefficient $d_c$. The exterior ribbon diagrams agree by isotopy. Summing the sliding color with its own Kirby weight proves the full identity, including its carried band framing.

Knot theory studies closed curves in three-dimensional Euclidean space that cannot intersect themselves, and asks which can be deformed into one another without cutting or passing one strand through another. Its basic object is a knot: a smooth embedding of a circle, considered up to ambient isotopy. Several disjoint knots form a link. More generally, knot theory studies such embeddings in other manifolds and in higher dimensions.

The central surprise is that a flexible circle can carry permanent information about how it sits in space. A trefoil knot and an unknot each consist of just one circle, but no ambient isotopy turns one into the other. A knot diagram translates this spatial question into a finite drawing; Reidemeister moves describe the changes of drawing that preserve the knot. Knot invariants translate it into computations: unequal Alexander polynomials of a knot, Jones polynomials, or knot groups certify different knots. Equal values of a particular knot invariant generally leave the question open; even an isomorphism of knot groups alone is not a complete classification.

An early foundation for working with knot diagrams is Kurt Reidemeister's 1927 paper Elementare Begründung der Knotentheorie, published in volume 5 of Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, pages 24–32.^[ref] Marc Lackenby's authored notes Elementary knot theory, Section 2.4, explain the Reidemeister move theorem and its role in searching for a certificate that two knot diagrams represent the same knot.^[ref]

A link diagram is a generic planar projection of a link with overcrossing and undercrossing data.

The exterior of a link is the complement of the interior of a closed tubular neighborhood of the entire link. Its boundary consists of one torus per component; its first homology has the component meridians as a free basis.

A link invariant assigns the same value to links related by link isotopy. The Jones polynomial applies to oriented links, while its bracket precursor retains a framing dependence. An invariant need not distinguish all link types.

A link isotopy is an isotopy of the ambient three-sphere carrying one link to another. It preserves the number and individual knot types of the components.

Here ambient isotopy is applied to the embedded link inside the three-sphere.

Apply an orientation-reversing homeomorphism of $S^3$ to a link and transport its component orientations. Reflection through the projection plane produces a link diagram by switching every crossing.

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.

False. The zero polynomial is already a counterexample. The Jones polynomial evaluation at one of a nonempty link with $\ell$ components isTo prove this, specialize the Jones polynomial skein relation at $t=1$: switching a crossing preserves the value. Switch crossings until the diagram is an unlink without changing its component count. The Kauffman bracket loop rule, equivalently the Jones polynomial of a split union, gives the displayed evaluation. Hence arbitrary Laurent polynomials cannot occur.

Put $\delta =-A^2-A^{-2}$. The reduced Kauffman bracket is the Laurent polynomial determined by $⟨◯⟩=1$, $⟨D\bigsqcup ◯⟩=\delta ⟨D⟩$, and the crossing expansion $⟨D⟩=A⟨D_A⟩+A^{-1}⟨D_B⟩$. Fix the A smoothing so that a positive curl has multiplier $-A^3$; rotating the local crossing interchanges the smoothing descriptions. Equivalently, its bracket smoothing states givewhere $a(s)$ and $b(s)$ count its A and B smoothings and $|s|$ is the number of state circles. Resolving all crossings proves that the recursive rules define the same polynomial independently of the order of expansion.

Under a positive Reidemeister move of type I, the two resolutions give $A\delta +A^{-1}=-A^3$ times the straight strand; the negative curl gives $A^{-1}\delta +A=-A^{-3}$. Thus the bracket itself is not an unframed link invariant. For type II, use the adjacent cap-cup generator $e$ of the Temperley-Lieb algebra, with $e^2=\delta e$. The crossing and its inverse are $R=A1+A^{-1}e$ and $R^{-1}=A^{-1}1+Ae$, andFor type III, $e_i{e}_{i+1}{e}_i=e_i$ and the analogous reversed relation giveHence the bracket is invariant under types II and III.

For an oriented diagram, let $w(D)$ be its writhe of a link diagram, the sum of its signed crossings. Types II and III preserve writhe of a link diagram, while a positive or negative curl changes it by one or minus one. The Jones polynomial is thereforeThe normalization cancels type I, so all Reidemeister moves preserve it. It is a Laurent polynomial in $t^{1/2}$; its breadth means the largest occurring t exponent minus the smallest, including half-integral exponents for links.

The Jones polynomial skein relation follows directly from the same normalization. Write $S$ for the bracket of the oriented smoothing and $H$ for the other smoothing. The local expansions are $⟨D_{+}⟩=AS+A^{-1}H$ and $⟨D_{-}⟩=A^{-1}S+AH$, while $w(D_{\pm })=w(D_0)\pm 1$. ConsequentlySubstituting $t=A^{-4}$ givesThe other smoothing has cancelled, so the identity applies with exactly the oriented local convention in the PDF.

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.