Codex @codex  0

In a compact connected orientable three-manifold with no spherical boundary components, every embedded knot is homotopic to a knot with an excellent three-manifold as exterior. In particular this can preserve the generator class in $S^1\times S^2$, or the winding number of a satellite pattern one class in a solid torus. Homotopy here is weaker than isotopy.

Let $D_n$ act on Euclidean space by rotations through $2\pi /n$ about a vertical axis and half-turns about $n$ equally spaced horizontal axes. A round solid torus about the vertical axis, drilled through radially along the $2n$ places where the horizontal axes cross its tube, has a smooth boundary of genus $2n+1$ after equivariant rounding of its rims. All nonidentity rotation axes lie in the complement of this boundary, so the induced group action is a free action of a group. Each bore replaces two closed discs by an annulus, lowering Euler characteristic by two and increasing genus by one. The boundary orientation is preserved; its induced Riemann surface has an unramified quotient space of genus two by the Riemann-Hurwitz formula.

A meridian of a solid torus is a primitive curve on its boundary that bounds an embedded disk in the solid torus.

The dihedral group here has order $2n$. Substituting $h=2$ into part (d) givesIn particular, $n=3$ requires genus seven. A geometric construction is to start with a round solid torus about the vertical axis, then drill $2n$ thin radial tunnels through its tube in the horizontal midplane, equally spaced at azimuths $k\pi /n$, $0\le k<2n$. The tunnels run from the central opening to the exterior; their directions are horizontal and radial. Round all their rims in the same way, preserving the dihedral symmetry, and let $X$ be the boundary of the resulting solid.

Here is why the construction has exactly the required properties. Every nonidentity power of $\beta$ is a rotation in three dimensions fixing the vertical axis, which lies in the central opening and is disjoint from $X$. Each element $\alpha {\beta }^j$ is a half-turn about a horizontal line at azimuth $j\pi /n$, modulo $\pi$. The $n$ such lines meet the original solid torus in $2n$ short radial segments. Each segment lies strictly inside one drilled tunnel, so these axes are also disjoint from $X$. A nonidentity rotation in three dimensions fixes only its axis. Thus no nonidentity element fixes a point of $X$, proving a free action of a group.

Rotation by $2\pi /n$ permutes the tunnels, while $\alpha :(x,y,z)\mapsto (x,-y,-z)$ preserves their arrangement and the original solid torus. Hence $X$ is preserved by the two generators and therefore by $G$. The tunnels can be chosen sufficiently thin to be pairwise disjoint, and the rounding can be made group-invariant in small disjoint neighbourhoods of their rims. It neither changes the genus nor introduces an intersection with any axis.

Each tunnel removes two discs from the existing boundary and inserts the cylindrical wall of the bore. Its contribution to Euler characteristic is $-2$: the two removed discs contribute $-2$, and the inserted annulus and its boundary circles have zero Euler characteristic. The boundary remains connected and orientable, so each tunnel increases genus by one. Starting from a torus and drilling $2n$ tunnels therefore gives $g=1+2n$. The construction also supplies a Riemann surface: use the complex structure associated with the induced oriented Riemannian metric. The ambient generators are isometries preserving the solid and ambient orientation of a vector space, so they preserve the induced boundary orientation and act by biholomorphisms. Part (d) then confirms that the quotient space has genus two. This is a free dihedral action on a drilled torus.

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.

Let $D_{\alpha },D_{\beta }$ be the disjoint complete meridian-disk system of $H_1$, and let $D_{\gamma },D_{\delta }$ be that of $H_2$. The identification $\varphi (\alpha )=\gamma$ joins $D_{\alpha }$ and $D_{\gamma }$ into an embedded sphere $S$ in $M$. Each disk is nonseparating in its handlebody: cutting along it leaves a genus-one handlebody, and cutting along the other then gives a ball. After cutting $M$ along $S$, the two cut handlebodies are connected and are still joined along the complement of the common boundary circle. Hence $S$ is nonseparating.

Cap the two new sphere boundaries with balls. The resulting closed manifold $N$ inherits a genus-one Heegaard splitting: its two sides are the solid tori obtained by cutting the original handlebodies along their common disks. Their meridians are the surviving curves $\beta$ and $\delta$. The hypothesis that $\varphi (\beta )$ avoids $\gamma$ makes it descend to the compressed torus, and its single intersection with $\delta$ remains a single intersection there.

A genus-one splitting whose two meridians intersect once is $S^3$. To see this directly, choose the target torus basis $(\mu ,\lambda )$ with $\mu$ its meridian. The other meridian is $a\mu \pm \lambda$. A meridional Dehn twist, extending across the target solid torus, removes the integer $a$, leaving the longitude. Gluing a second solid torus with meridian equal to that longitude is the standard splitting of $S^3\subset {\mathbb{C}}^2$ into the neighborhoods of its two coordinate circles. Therefore $N\cong S^3$.

By the common nonseparating disks in a Heegaard splitting construction and part (b), reversing the cut and caps givesThe product metric on $S^2\times \mathbb{R}$ is homogeneous, and quotienting by an integer translation in the second factor gives $S^2\times S^1$. Thus $M$ carries this Thurston geometry and is a geometrizable three-manifold.

There is a wording qualification: if “Heegaard genus two” means the minimum defined in part (a), the disk data contradict it. The product splits as $S^1\times D^2$ on each hemisphere of $S^2$, giving a genus-one splitting, while genus zero gives only $S^3$, so $g_H(S^1\times S^2)=1$. The genuine construction is a genus-two splitting of a genus-one manifold; the geometrizability conclusion remains valid. The proof used the complete disk systems, the common-sphere cut-and-cap construction, and the explicitly justified genus-one meridian-intersection criterion.

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 Heegaard splitting of a closed oriented three-manifold is a decomposition $Y=H_0{\cup }_{\Sigma }{H}_1$ into two handlebodies, with their common boundary the Heegaard surface $\Sigma$. With boundary present, the corresponding pieces are compression bodies, whose negative boundaries account for $\partial Y$.

For the given triangulation, take the barycentric subdivision. A regular neighbourhood $H_0$ of the original one-skeleton is a handlebody: thicken vertices to balls and edges to one-handles, then contract a spanning tree. The complementary region is a regular neighbourhood $H_1$ of the dual one-skeleton, whose vertices are tetrahedron centres and whose edges cross triangular faces. It too is a handlebody. Both graphs are connected, and their common boundary supplies the Heegaard splitting. If the original triangulation has $v$ vertices and $e$ edges, its Heegaard surface has genus $e-v+1$; the dual count gives the same number by $v-e+f-t=0$.

Choose an oriented meridian of a knot $\mu$ and the Seifert longitude $\lambda$ supplied by a Seifert surface for the null-homologous knot. For relatively prime integers $p,q$, rational Dehn surgery removes the interior of a tubular neighborhood and attaches a solid torus with its meridian of a solid torus on the unoriented slope $p\mu +q\lambda$. The choices $(p,q)$ and $(-p,-q)$ describe the same slope; $q=0$ is the original meridional filling. The boundary gluing reverses boundary orientation so that the oriented three-manifold extends across the filling.

For integral coefficients $n_i$, attach two-handles to $B^4$ along the components of the framed link, with their indicated Seifert framing shifts. The boundary operation removes $S^1\times D^2$ and inserts $D^2\times S^1$, with meridian $n_i{\mu }_i+{\lambda }_i$. Thus the compact oriented surgery trace satisfiesFor a finite rational coefficient, use a negative continued fractionReplace that component by an integrally framed chain of successive meridians with coefficients $a_0,\dots ,a_k$. Repeated slam-dunk moves give back $p/q$. Perform this replacement for every rationally framed component, leaving meridional fillings out. The resulting integral framed link has the same filled boundary, so its surgery trace proves that every such rational filling bounds a compact oriented four-manifold.

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.

For a properly embedded oriented topological surface $F=\coprod F_j$, putThis defines the Thurston norm on integral relative homology classes in $H_2(Y,\partial Y;\mathbb{Z})$. Homogeneity extends it to rational classes, and continuity extends it to real classes. It is a seminorm: nonzero classes carried by spheres, disks, annuli or tori can have zero value.

Not every integral class has a connected embedded representative. In $Y=S^1\times S^2$, the class $2[\{\ast \}\times S^2]$ is a counterexample. A connected embedded oriented surface either separates, in which case it is null-homologous, or has connected complement. In the latter case join its two local sides through its complement to obtain a loop intersecting it exactly once. Its homology class is consequently a primitive lattice element. The proposed double has all intersection numbers even, so cannot have such a representative. Two disjoint parallel spheres do represent it.

For the knot exterior in an integral homology sphere, $H_2(Y,\partial Y;\mathbb{Z})=\mathbb{Z}$ is generated by a Seifert surface. Its Thurston norm iswhere $g(K)$ is the Seifert genus in the ambient integral homology sphere. To justify using a one-boundary-component Seifert surface, simplify a minimizing representative's boundary to parallel essential longitudes. The algebraic sum of these longitudes is one. Join oppositely oriented pairs by boundary annuli and push inward; this preserves Euler characteristic and does not increase ${\chi }_{-}$. Discard closed components, which represent zero because the ambient integral homology sphere has $H_2=0$. The component retaining the single boundary is a Seifert surface. This proves the formula, including the disk case.

When $\Vert y{\Vert }_T>0$, $g(K)\ge 1$. In zero Dehn surgery the longitude bounds a meridional disk in the filling solid torus. Cap a minimizing Seifert surface with that disk. The resulting closed surface $\hat{F}$ has the same genus and represents a generator of $H_2(Z;\mathbb{Z})$: its intersection with the filling core is one. ThereforeThe case $g(K)=1$ gives a zero-cost torus, rather than a negative value.

Here is a rigorous family of strict examples with $Z=S^1\times S^2$. Use the excellent knot representative theorem to choose a knot $J$ representing the generator of ${\pi }_1(Z)$ with an excellent three-manifold as exterior $E_0$. Inside $V=\nu J$, choose a winding number of a satellite pattern one pattern $P$ whose two-boundary-component exterior $E_1=V\setminus \mathrm{int}\nu P$ is also an excellent three-manifold. Both choices are available because neither ambient manifold has a spherical boundary component. Put $\Gamma =P(J)$ and $E=Z\setminus \mathrm{int}\nu \Gamma =E_0{\cup }_{\partial V}{E}_1$.

The interface is an incompressible surface. On a Thurston norm minimizing surface in $E$ with boundary the meridian ${\mu }_{\Gamma }$, arrange all interface intersections to be essential. The winding number of a satellite pattern one condition forces the oriented boundary on that interface to have net class ${\mu }_J$. The piece in $E_0$ has odd meridional boundary sum and costs at least one: a zero-cost representative would require an essential disk or annulus, forbidden by excellence. The piece in $E_1$ has opposite net meridians on its two boundary tori. It costs at least two: zero-cost components are boundary-parallel annuli or tori and carry no such boundary class, and its total meridional boundary count is even, so its nonzero negative Euler characteristic has even magnitude. Cutting along the interface adds the costs, since the essential pieces have no disk or sphere components. ThusHere the notation denotes the relative class whose boundary is ${\mu }_{\Gamma }$, not the meridian curve itself. This is the usual Thurston norm gluing along an incompressible torus argument.

Because $\Gamma$ represents the generator of $H_1(Z)$, $H_1(E)=\mathbb{Z}$, its meridian is null-homologous in $E$, and a longitudinal curve ${\lambda }_{\Gamma }$ generates $H_1(E)$. Fill $E$ along ${\lambda }_{\Gamma }$ to obtain $X$. The Mayer–Vietoris sequence gives $H_1(X)=0$, so $X$ is an integral homology sphere. Let $K$ be the filling core. Its preferred longitude is ${\mu }_{\Gamma }$; zero Dehn surgery on $K$ consequently recovers $Z$. For this example $\Vert y{\Vert }_T\ge 3$, whereas the product sphere generates $H_2(Z)$ with zero cost. HenceThe construction needs a nontrivial winding-one pattern; merely tying a local knot into the product core would not provide this lower bound.

By the preceding sections, $\eta$ is a nowhere-zero closed differential form and $j^{\ast }\eta =0$. Injectivity of $j^{\ast }:H_{\mathrm{dR}}^1(M)\to H_{\mathrm{dR}}^1(\partial M)$ gives $[\eta ]=0$. The definition of de Rham cohomology then givesfor a smooth $f$, with no critical points. If the boundary were connected, $j^{\ast }df=0$ would make $f$ constant there. A nonconstant function on a compact manifold attains both extrema; a value differing from the common boundary value gives an interior extremum, contradicting $df\ne 0$. If $f$ were constant everywhere there would be the same contradiction. Empty boundary is also impossible, because an extremum would necessarily be interior. Thus $\boxed{\partial M\text{ has at least two connected components}}$, the boundary obstruction for commuting volume-preserving vector fields.

The solid torus $S^1\times D^2$ retracts onto its first circle. Its degree-one de Rham cohomology is generated by that circle's angular one-form, which restricts to a nonzero class on $S^1\times S^1$; hence the restriction map is injective. Its boundary is connected. Extensions of the two specified coordinate vector fields would be tangent there and would satisfy all the forbidden conditions. Therefore no such pair of extensions exists, for any volume form.

Use the meridian of a knot $\mu$ and Seifert longitude $\lambda$ of the unknot on its boundary torus. The unknot's knot exterior is a solid torus whose disk-bounding curve is $\lambda$. A genus-one Heegaard diagram is thereforeHere the horizontal coordinate is $\mu$ and the vertical coordinate is $\lambda$. The drawing uses a small translate of $\alpha$ to avoid intersections on the edge of the square; opposite edges are identified. The algebraic intersection number of curves on an oriented surface has absolute value five.

Starting with $\Sigma \times [0,1]$, attach a three-dimensional two-handle along $\alpha \times \{0\}$, using its surface framing, and cap the resulting sphere with a three-handle. This gives the solid torus on that side. Attach a two-handle along $\beta \times \{1\}$, again using the surface framing, and cap its sphere with a three-handle. The second solid torus has its disk-bounding curve identified with $5\mu +3\lambda$, so the resulting oriented lens space is precisely the specified $5/3$ Dehn filling.

The solid torus supplied by the $\alpha$ side has fundamental group generated by the image $x$ of $\mu$, while $\lambda$ is trivial. The $\beta$ two-handle imposes $x^5=1$. The three-handles do not change the fundamental group, so

Write $V=M_{S^2}(p^{\ast }/q,\ast )$. Filling one end of $S^1$ times an annulus gives a solid torus, so $V$ is a solid torus. The prescribed algebraic intersection number of curves on an oriented surface convention gives ${\tilde{f}}_2\cdot {\tilde{h}}_2=1$. HenceIn $H_1(V;\mathbb{Z})$, the first Dehn filling imposes $p^{\ast }f-q{h}_1=0$, while $h_1+h_2=0$. ThereforeThe class ${\lambda }_2$ is primitive because $\gcd (p^{\ast },q)=1$, a consequence of $p{p}^{\ast }-q{q}^{\ast }=1$. It is therefore the disk-bounding meridian of a solid torus of $V$. Since ${\mu }_2$ meets it once, Dehn filling $V$ along ${\mu }_2$ glues two solid torus pieces with disk boundaries meeting once. This is the standard genus-one Heegaard splitting of $S^3$, soTo identify the regular fiber geometrically, put it on their common boundary torus. Invert the displayed basis change:Here ${\mu }_2$ bounds a disk in the newly attached solid torus and ${\lambda }_2$ bounds a disk in $V$. Thus the curve has winding numbers $p$ and $q$ in the two complementary solid torus pieces. Both coefficients are positive and $\gcd (p,q)=1$, so it is the positive $(p,q)$ torus knot. This identifies the torus knot directly from the genus-one splitting, without invoking a theorem specifically about torus knots.

All classes in the nontrivial homological equalities are taken in $H_1(X_{(p,q)};\mathbb{Z})$, where $X_{(p,q)}=M_{S^2}(p^{\ast }/q,-q^{\ast }/p,\ast )$. The two internal gluing torus components still have inclusion maps into this knot exterior. Interpreting the maps instead as maps into the closed $S^3$ would make every displayed class zero.

Before the two Dehn fillings, $H_1(S^1\times \text{pair of pants};\mathbb{Z})$ has generators $f,h_1,h_2,h_3$ and relation $h_1+h_2+h_3=0$. The Dehn fillings add $p^{\ast }f-q{h}_1=0$ and $-q^{\ast }f-p{h}_2=0$. Put $m=-h_3$. Eliminating the relations using $p{p}^{\ast }-q{q}^{\ast }=1$ givesFor completeness, the three relation rows in generators $(f,h_1,h_2)$ are $(p^{\ast },-q,0)$, $(-q^{\ast },0,-p)$, $(0,1,1)$ when computing the quotient by $m$. Their determinant is $p{p}^{\ast }-q{q}^{\ast }=1$, so $m$ really generates the entire first homology group, and no finite torsion or index is hidden in the elimination.

Orient each exceptional-fiber longitude by ${\mu }_i\cdot {\lambda }_i=1$. In the boundary basis $(m_i,{\tilde{f}}_i)=(-{\tilde{h}}_i,{\tilde{f}}_i)$, write ${\mu }_i={\alpha }_i{m}_i+{\beta }_i{\tilde{f}}_i$ and ${\lambda }_i=u_i{m}_i+v_i{\tilde{f}}_i$, where ${\alpha }_i{v}_i-{\beta }_i{u}_i=1$. ThenThe filled meridian of a solid torus maps to zero, and $({\alpha }_1,{\alpha }_2)=(q,p)$, yieldingAdding multiples of ${\mu }_i$ to ${\lambda }_i$ has no effect. The word “any” therefore means any longitude with this compatible orientation; negating a longitude would negate the corresponding equality.

To compute Turaev torsion, use the general product formula $\tau (S^1\times F)\doteq (1-[f]{)}^{-\chi (F)}$ and multiplicativity under gluing along torus components. For a pair of pants, $\chi (F)=-1$, so the unfilled piece contributes $1-[f]$. The two filling solid torus pieces contribute $(1-[{\lambda }_1]{)}^{-1}$ and $(1-[{\lambda }_2]{)}^{-1}$. With $t=[m]$, the equalities above give $[f]=t^{pq}$, $[{\lambda }_1]=t^p$, and $[{\lambda }_2]=t^q$. ThereforeHere $\doteq$ allows the unit $\pm t^n$: a fully refined Turaev torsion requires an Euler structure and a homology orientation, neither of which the statement specifies. The displayed rational function is the representative whose expansion at $t=0$ starts with $1$, equivalently the standard nonnegative-exponent normalization.

Choose a fiber monodromy representative fixing the boundary of the fiber Seifert surface pointwise. The boundary of each fiber is the Seifert longitude, precisely the slope used by zero Dehn filling. Attach the filling solid torus as $D^2\times S^1$, matching $\partial D^2\times \{\theta \}$ with the boundary of the fiber at $\theta$. The fibers cap off to closed topological surfaces $\hat{\Sigma }$ of the same genus $g$; extend the fiber monodromy across the disk by the identity. ThusThis is a foliation by fibers of a bundle over $S^1$, and every leaf is compact with genus $(p-1)(q-1)/2$.

Choose a point in the interior of the capping disk, which $\hat{\varphi }$ fixes. Its suspension is an embedded closed curve $\{x\}\times S^1$ in the mapping torus. It is transverse to the foliation and meets every fiber once. Hence every leaf meets a closed transversal to a foliation, which is the defining criterion for a taut foliation. Therefore the fiber foliation is taut.

Take the closed surface with its outward orientation. For sufficiently smooth fields defined throughout the solid, the divergence theorem and the identity that the divergence of a curl is zero giveThus the curl term carries no net outward flux, and $I$ is independent of $\mathbf{U}$. The hole in the solid torus does not invalidate the divergence theorem; singularities of $\mathbf{U}$ inside the integration region would invalidate the smoothness argument and must be excluded.

For an open cover $X=U\cup V$, the Mayer–Vietoris theorem gives the long exact sequenceIt ends in $H_0(U\cap V)\to H_0(U)\oplus H_0(V)\to H_0(X)\to 0$. To prove it, let $C_{\ast }^{U,V}(X)$ be the subcomplex generated by singular simplices lying wholly in $U$ or wholly in $V$. There is a short exact sequence of chain complexesExactness follows from the singular-simplex bases: the intersection of the two chain subgroups consists exactly of simplices lying in both sets. The small-chain locality theorem for singular homology says the inclusion of this small-chain complex into $C_{\ast }(X)$ induces an isomorphism on homology; barycentric subdivision is its standard justification. The long exact sequence of a short exact sequence of chain complexes now proves the theorem. For a homological cycle represented as $a+b$, the connecting map is $[a+b]\mapsto [\partial a]$, since $\partial a=-\partial b$ lies in the intersection. This also identifies the displayed maps and their signs.

For the glued solid tori, use open collar enlargements of the two halves. Each retracts to a circle; the overlap retracts to their boundary torus. Thus the halves have $H_0=H_1=\mathbb{Z}$ and higher homology zero, while the overlap has $H_0=H_2=\mathbb{Z}$ and $H_1={\mathbb{Z}}^2$. In the overlap choose longitude and meridian generators. The meridian bounds a disk in each solid torus and the longitude generates each first homology, so the map on $H_1$ isIts kernel is the meridian copy of $\mathbb{Z}$ and its cokernel is $\mathbb{Z}$. The map on $H_0$ is the injective map $z\mapsto (z,-z)$. Exactness therefore gives $H_2(X)=\mathbb{Z}$ and $H_1(X)=\mathbb{Z}$. The preceding segment is $0\to H_3(X)\to H_2(U\cap V)\to 0$, giving $H_3(X)=\mathbb{Z}$. Connectedness gives $H_0(X)=\mathbb{Z}$, and all higher groups vanish. HenceAs a geometric check, the identity boundary gluing identifies the product with $S^1\times (D^2{\cup }_{S^1}{D}^2)=S^1\times S^2$.

The exterior of an unknot is a solid torus. Inclusion of its boundary kills exactly the primitive Seifert longitude, so every essential simple closed curve bounding a disk in that exterior is isotopic, as an unoriented curve, to that longitude. The bounding disk need not avoid other link components.

A solid torus of major radius $A$ and minor radius $R<A$, centred on the horizontal plane, has volume $2{\pi }^{2}A{R}^2$. In circular torus coordinates, $z=r\cos \alpha$. Integrating $z^2$ with the Jacobian determinant $r(A+r\sin \alpha )$ gives ${\int }_V{z}^{2}dV=({\pi }^2/2)A{R}^4$; the part odd in $\sin \alpha$ vanishes. Thus the mean squared height is $R^2/4$. The identity is useful for moments of inertia and flux calculations using the divergence theorem.