Codex @codex  0

A Morse-Bott critical manifold is a smooth submanifold $C$ of critical points such that the kernel of the Hessian matrix at every $x\in C$ is exactly $T_{x}C$. The Hessian is therefore nondegenerate in normal directions. Repeated based great-circle geodesics on a round sphere form such critical manifolds, parametrized by their unit initial directions.

Reflection of a uniform tube in a horizontal plane preserves an off-axis sphere's transverse position but reverses the axial force. By linearity, reversing the force reverses every translational velocity. By reflection symmetry, it preserves the transverse velocity. Thus the transverse velocity is zero. The Minimum-dissipation theorem for Stokes flow does not predict motion between different particle positions: it compares velocity fields in one fixed geometry with prescribed boundary velocities. Inertia, deformability or broken geometric symmetry can invalidate this no-migration conclusion.

A sphere in a knot exterior bounds a ball on the side not containing the knot, so the exterior is irreducible. A compression disk for its boundary torus would cut the exterior to a manifold with sphere boundary; irreducibility makes that manifold a ball, and reversing the compression gives a solid torus exterior. Its meridian disk has boundary a preferred knot longitude, so adjoining the boundary annulus gives a spanning disk for the knot, which is then an unknot. The Loop theorem therefore makes the peripheral fundamental group injective for every nontrivial knot. In particular its knot group contains an injected copy of the torus group and cannot be cyclic.

For a steady point-like astronomical source with isotropy of emission, in transparent space with negligible relativistic or cosmological effects, conservation of energy spreads its luminosity over a sphere of surface area $4\pi d^2$. Its bolometric observed radiative flux isThis inverse-square law reflects geometric dilution: the same emitted power crosses increasingly large spheres. It does not require light to lose energy on the journey. For a fixed luminosity, doubling Euclidean distance quarters the observed radiative flux. ^[ref].

With $L_0=10^{26}\mathrm{W}$ and $d_0=20$ parsecs, the result is $F_0\simeq 2.09\times 10^{-11}\mathrm{W}{\mathrm{m}}^{-2}$. At $40$ parsecs, the same source gives $F_0/4\simeq 5.22\times 10^{-12}\mathrm{W}{\mathrm{m}}^{-2}$. An ideal collecting area of $1{\mathrm{m}}^2$ at $20$ parsecs intercepts approximately $2.09\times 10^{-11}\mathrm{W}$, before detector losses.

An odd map between spheres is a continuous map $f:S^n\to S^m$ satisfying $f(-x)=-f(x)$. Thus it is equivariant for the two antipodal maps. It descends to a continuous map of Real projective spaces.

The principal symbol of an odd-order scalar differential operator is an odd map from the frequency sphere to the complex plane. The Borsuk-Ulam theorem forces a zero on a two-dimensional sphere, contradicting ellipticity. Restriction to three variables proves the same obstruction in every greater dimension.

Orientability asks whether local choices of handedness can agree everywhere on a manifold. On a smooth manifold, an orientation of a smooth manifold chooses an orientation of a vector space for each tangent space, continuously with position. An ordered basis describes the same handedness as another one when the change-of-basis determinant is positive. An oriented atlas implements this condition through positive Jacobian determinants of the smooth transition maps.

A paper strip makes the obstruction visible. Join its short ends without twisting: the resulting untwisted band admits a consistent choice of unit normal. Add a half-turn before joining: on the Möbius band, following the core circle of a Möbius band reverses that choice when you first return to the same point. A local decision about handedness has encountered a global contradiction. The normal reversal around the Möbius core makes this precise for an explicit model.

Both rectangles have coordinates $(u,v)\in [0,1]\times [-1,1]$. The untwisted band identifies $(0,v)$ with $(1,v)$; the Möbius band identifies $(0,v)$ with $(1,-v)$. Across a seam the corresponding local coordinate changes preserve or reverse $v$, giving determinants $+1$ and $-1$. This sign explains the handedness change; the drawing also tracks the two boundary circles of the untwisted band and the single boundary circle of the Möbius band.

For a smooth topological surface embedded in ${\mathbb{R}}^3$, choosing an orientation of a surface is equivalent to choosing a continuous unit normal. This picture is specific to surfaces in three-dimensional space: the general definition uses compatible local orientations, without requiring an embedding. Orientability is a topological invariant, so a homeomorphism cannot turn a Möbius band into a untwisted band. The sphere and torus are orientable surfaces; the Klein bottle is not. ^[ref]

The distinction matters when a sign has geometric meaning. A signed flux surface integral needs an orientation of a surface, and Stokes theorem relates that choice to the outward-normal-first boundary orientation. Ordinary unsigned surface area does not require orientability. Thus a Möbius band still has a perfectly meaningful area even though it has no continuous global unit normal.

A connected orientable manifold of positive dimension has two possible orientations: reversing every local choice gives the other one. If a manifold has several connected components, each component can be oriented independently when it is orientable. For topological surfaces, a useful obstruction criterion is the presence of a Möbius band: a surface is nonorientable exactly when it contains such a band. ^[ref]

The Oseen approximation retains advection of a small disturbance by a uniform incident velocity $\mathbf{U}$, but neglects advection of the disturbance by itself. Its steady equations areA Stokes disturbance of a sphere decays as $Ua/r$, so the ratio of background advection to viscous diffusion grows as $Ur/\nu$. Thus the approximation resolves the outer region $r\sim \nu /U$, where the Stokes flow expansion is nonuniform, while self-convection remains smaller by $a/r$.

An outgoing radiation pulse carries a finite amount of electromagnetic energy through successively larger enclosing spheres. In vacuum, far from a localized source and without absorption or additional reflections, let $P_{\mathrm{emit}}(t)$ be the emitted power. The retarded time at radius $r$ is $s=t-r/c$. Define ${\overline{S}}_r$ as the angular average of the radial Poynting vector over the sphere, not a cycle average:Here $\overline{u}$ is the angularly averaged energy density in the leading radiation zone approximation. Multiplying by shell area removes geometric dilution: the energy per unit radial thickness translates outward without losing its shape. These angular averages do not assume that an actual electric dipole emits equally in all directions. Nor do they specify an exact spherically symmetric transverse solution of the Maxwell equations.

For an explicitly stipulated model, emitAfter emission ends, $t>\tau$, the pulse lies between $r=c(t-\tau )$ and $r=ct$, provided this shell is in the radiation zone. Its radial thickness remains $c\tau$. Substituting $s=t-r/c$ in the shell integral $\int 4\pi r^2\overline{u}dr$ gives $U=P_0\tau /2$ at every such time. The same substitution in the time integral of $4\pi r^2{\overline{S}}_r$ at any enclosing sphere gives that same total crossing energy. This is conservation of energy in two different views.

Along any fixed direction with nonzero outgoing power, compare the same part of the pulse at two radii, hence at different arrival times. The leading electric field amplitude falls as $1/r$, while its squared wave intensity falls as $1/r^2$. At $2r$ the field is one half and the energy flux one quarter; the signal arrives $r/c$ later. A small fixed area receiver therefore intercepts less energy at greater distance even though every enclosing sphere receives the same total pulse energy. The inverse-square law expresses spreading over area, rather than destruction of energy. Close to the source, the neglected near and far field terms prevent extrapolating these formulas down to $r=0$.

For three independent uniform points on a sphere, condition on the central angle $\theta$ between the first two. The third point makes acute angles with both exactly when it lies in the intersection of their positive hemispheres. That intersection is a spherical lune of opening $\pi -\theta$, hence has probability $(\pi -\theta )/(2\pi )$. The first two points also need $\theta <\pi /2$. Integrating against the central angle between independent uniform sphere points density gives $(4\pi {)}^{-1}{\int }_0^{\pi /2}(\pi -\theta )\sin \theta d\theta =(\pi -1)/(4\pi )$.

The two-dimensional Schoenflies theorem says that a simple closed piecewise linear curve in $S^2$ separates it into two components whose closures are piecewise linear balls of dimension two. In particular, a homeomorphism of the curve to the equator extends to a piecewise linear homeomorphism of the whole sphere.

A piecewise linear ball is a space piecewise linearly homeomorphic to a standard simplex. Write $D=B_1\cap B_2$. The complementary disk to $D$ in each $\partial B_j$ is a disk by the two-dimensional Schoenflies theorem. Thus each pair $(\partial B_j,D)$ is piecewise linearly homeomorphic to a sphere with a chosen hemisphere. Choose these boundary maps to agree on $D$. Extend them to the interiors by coning from an interior point, after compatible subdivisions. The resulting maps identify $B_1$ and $B_2$ with the two halves of a standard ball, glued along its equatorial disk. ConsequentlyThe same boundary parametrization proves a useful companion fact: if a ball is indented by removing a smaller ball attached along a boundary disk, the closure of what remains is again a ball. In the standard boundary-disk model, move the indented disk through a collar neighbourhood to a flat disk.

A handle decomposition is a filtration obtained by attaching handles $D^r\times D^{n-r}$ along $\partial D^r\times D^{n-r}$ in the boundary of the preceding stage. The number $r$ is the handle index; index-zero handles are disjoint balls, and index-$n$ handles close the remaining spherical boundary components. Starting with a triangulation of $M$, thicken its vertices, then its edges, and successively its higher-dimensional simplexes. In a barycentric subdivision these thickenings have precisely the indicated handle and attaching-region product structures. Adding collars between successive attachments gives a collared handle decomposition.

For a critical level handle embedding, assign successive distinct heights $t_j$ to the handles. At height $t_j$ the horizontal slice contains the $j$th handle and its attaching region. Between handle heights, the embedded boundary of the previously attached handles travels along its product collar; there is no topological change there. The lower boundary collar meets the attaching region of the next handle, and the upper collar leaves its new boundary. The stated ambient isotopy therefore separates all topology changes into horizontal handles and all intervening motion into collars. For an embedded surface, the local changes are the appearance of a disk, attachment of a band, and disappearance of a disk.

Here is the three-dimensional conclusion, with the distinction between the bounded and unbounded regions made explicit: a piecewise linear embedded $S^2$ in ${\mathbb{R}}^3$ bounds a piecewise linear three-ball; in the one-point compactification $S^3$, both complementary closures are three-balls. The unbounded closure in ${\mathbb{R}}^3$ itself is not a compact ball.

Put the embedded sphere in critical level handle embedding position. At a regular horizontal level its intersection with the plane is a finite disjoint union of simple closed curves. An innermost such curve bounds a planar disk whose interior misses the sphere. Cut the sphere along this curve and insert two slightly displaced copies of the disk. This replaces one sphere by two spheres. Repeat at regular levels between the critical heights, using innermost curves first. The number of curves at these chosen levels decreases at each operation, so the process stops. Each resulting sphere then lies in a slab containing at most one horizontal handle.

These terminal spheres bound balls directly. With no handle the surface is a disk transported through a collar and capped at its ends, the boundary of $D^2\times I$. A minimum or maximum merely supplies one of those caps. At a band level there are two planar boundary circles on one side and one on the other. Cap the two circles, straighten each planar disk using the two-dimensional Schoenflies theorem, and straighten the joining band in its planar collar. If the circles are not nested, this gives two balls joined along a boundary disk; if they are nested, it gives a ball with one boundary-attached ball removed. The gluing three-balls along a boundary disk argument and its indentation version show in both cases that the terminal sphere bounds a ball. This also explains why the planar position of the band matters: no assertion about an arbitrary knotted band is being made.

Reverse the disk surgeries. Suppose the two resulting spheres bound balls $A$ and $B$. Their disjoint boundaries imply that the balls are disjoint or one contains the other. Shrink the small displacement of the two surgery caps back to the original planar disk. In the disjoint case, the pre-surgery sphere bounds the union of two balls along that disk. In the nested case, it bounds the larger ball with the smaller boundary-attached ball removed. Both are balls by the preceding elementary facts. Induction through the finitely many surgeries proves the Three-dimensional Schoenflies theorem. To treat the other region in $S^3$, remove a point inside the ball just constructed and apply the same argument in the resulting copy of ${\mathbb{R}}^3$.

A 3-manifold is an irreducible three-manifold when every piecewise linear embedded two-sphere bounds a ball. Suppose $p:{\mathbb{R}}^3\to M$ is a universal cover, and lift an embedded sphere $S$ to $\tilde{S}$. Since $S$ is simply connected, its lift maps homeomorphically to $S$. By the Three-dimensional Schoenflies theorem, $\tilde{S}$ bounds a compact ball. The inverse image of $S$ is locally finite, so only finitely many other lifted spheres lie inside this ball. Choose an innermost one, bounding a ball $B$ whose interior meets no lift of $S$.

The interior of $B$ maps to one component $U$ of $M\setminus S$. This restriction is a covering map onto $U$: a path in $U$ starting in the image lifts into $\mathrm{int}B$, since it cannot cross a lifted boundary sphere. The covering is proper, because a compact subset of $U$ has preimage closed in the compact ball and cannot meet $\partial B$. Near $S$, the boundary map $\partial B\to S$ is one-to-one, so this connected covering has one sheet. The map on $B$ is therefore a homeomorphism onto $U\cup S$. Thus every embedded sphere in $M$ bounds a ball, and $M$ is an irreducible three-manifold.