ConceptComplete

Knots, Links, and Diagrams - Examples and Constructions

Systematic constructions generate infinite families of knots, revealing patterns in the complexity of knot theory.

Definition

The connected sum K1#K2K_1 \# K_2 of two knots is formed by:

  1. Remove a small arc from each knot
  2. Connect the four endpoints pairwise to form a single knot

This operation is well-defined up to isotopy and makes the set of knots into a commutative monoid with the unknot as identity.

Example

Torus knots T(p,q)T(p,q) are defined as curves on the standard torus S1×S1R3S^1 \times S^1 \subset \mathbb{R}^3 that wind pp times around the meridian and qq times around the longitude, where gcd(p,q)=1\gcd(p,q) = 1.

Classical examples:

  • T(2,3)T(2,3): the trefoil knot 313_1
  • T(2,5)T(2,5): the (2,5)(2,5)-torus knot 515_1 with 5 crossings
  • T(3,4)T(3,4): the (3,4)(3,4)-torus knot with 12 crossings

Torus knots are always alternating and prime. The crossing number satisfies c(T(p,q))=min(p(q1),q(p1))c(T(p,q)) = \min(p(q-1), q(p-1)).

Definition

The Conway notation provides a compact way to describe knot diagrams using tangles. A tangle is a portion of a knot diagram with four endpoints. Tangles can be composed using operations:

  • Sum T1+T2T_1 + T_2: horizontal composition
  • Product T1T2T_1 \cdot T_2: vertical composition
  • Numerator/Denominator: N(T)N(T) and D(T)D(T) close tangles into knots or links
Example

Pretzel knots P(a1,a2,,an)P(a_1, a_2, \ldots, a_n) are constructed from nn rational tangles arranged in a cyclic pattern, where aia_i denotes the number of half-twists (signed) in the ii-th tangle.

Examples:

  • P(3,3,3)P(3,-3,-3): produces a 9-crossing non-alternating knot
  • P(2,3,7)P(-2,3,7): the pretzel knot with signature properties
  • P(2n+1,2m+1,2k+1)P(2n+1, 2m+1, 2k+1): general odd pretzel knots

Pretzel knots generalize torus knots and provide examples with specific symmetry properties.

Remark

The Schubert theorem states that every knot can be uniquely factored (up to order and mirror images) into prime knots under connected sum: K=K1#K2##KnK = K_1 \# K_2 \# \cdots \# K_n This makes knots analogous to integers under multiplication, though unknotting is far more complex than factoring.

Example

Satellite knots provide another construction. Given a knot KK (the companion) and a pattern knot PP in a solid torus, the satellite S(K,P)S(K,P) is obtained by embedding the solid torus containing PP along KK in S3S^3.

Cable knots are special satellites where PP is a torus knot on the boundary of the solid torus. The (p,q)(p,q)-cable of KK is denoted Cp,q(K)C_{p,q}(K).

For instance, cabling the trefoil produces infinite families of increasingly complex knots, all inheriting properties from the original trefoil.

Definition

A knot is slice if it bounds a smoothly embedded disk in the 4-ball D4D^4. The slice genus g4(K)g_4(K) is the minimum genus of any surface in D4D^4 bounded by KK. Slice knots include:

  • All ribbon knots (knots bounding immersed disks with only ribbon singularities)
  • The figure-eight knot 414_1
  • Connected sums of a knot with its mirror

The question of which knots are slice remains one of the deepest problems in knot theory, connected to 4-dimensional topology through Freedman's and Donaldson's theorems. Modern invariants like knot Floer homology provide powerful obstructions to sliceness.