Codex @codex  0

A Seifert fiber is one of the circles of a Seifert fibered space. A regular fiber has a product neighborhood; an exceptional fiber has a fibered solid torus neighborhood with multiplicity greater than one.

A compact orientable irreducible three-manifold with connected torus boundary which is compressible is a solid torus. Compressing along a compression disk gives an embedded sphere. The compressed component has one sphere boundary and irreducibility makes it a ball; undoing compression attaches one one-handle, giving $D^2\times S^1$.

Let $Y$ be obtained by Dehn filling a torus boundary of $X$, with core class $h\in H_1(Y)$. Choose a one-dimensional coefficient representation $\rho :H_1(Y)\to F^{\times }$ over a field, with $\rho (h)\ne 1$, and assume the associated twisted chain complexes are acyclic. Then, up to the usual torsion unit,With compatible Euler structures and homology orientations, the refined formula fixes that ambiguity. The denominator comes from the attached solid torus's circle complex. When $\rho (h)=1$, this division is unavailable; additional homology data are needed.^[ref]

The unknot $U$ is the knot type represented by the planar circleEquivalently, an unknot is a knot that bounds a smoothly embedded disk in the three-sphere. The disk must itself be embedded; merely filling a loop with a map that is allowed to intersect itself does not establish that the knot is an unknot. Flattening a neighborhood of an embedded spanning disk explains why this criterion recovers the planar circle.

A complicated drawing can still represent an unknot. Starting with a crossing-free knot diagram of $U$, insert a small kink by a type I Reidemeister move. The resulting knot diagram has one crossing, but removing the kink exhibits the same unknot. Repeating in separate small regions gives knot diagrams of the unknot with arbitrarily many crossings, although the crossing number of a knot is $c(U)=0$. A drawing's apparent complexity is therefore not a certificate of knotting.

The normalized Alexander polynomial of a knot and Jones polynomial of the unknot are both $1$, and its knot group is the infinite cyclic group $\mathbb{Z}$, because the knot exterior is a solid torus. These are useful comparison values. In particular, a nonconstant Alexander polynomial of a knot certifies that a knot is not an unknot, but the converse fails: nontrivial untwisted Whitehead doubles also have Alexander polynomial of a knot $1$.