Codex @codex  0

Orient $S^3$ as the boundary of $B^4$. Push the interior of an oriented Seifert surface $F$ slightly into $B^4$, and let $X_F$ be the double branched covering of $B^4$ over this pushed-in surface. Its boundary is the two-fold branched cover of a knot. Define the knot signature byThe signature of a possibly degenerate intersection form means the number of positive eigenvalues minus the number of negative eigenvalues; its radical contributes zero.

Here is why the definition is independent of $F$. Given two choices $F_0,F_1$, glue their branched covers along the common boundary to obtainThis is the double branched covering of $S^4$ over the closed oriented surface obtained by gluing the pushed-in $F_0$ to $-F_1$. Every closed oriented surface in $S^4$ admits a Seifert hypersurface: its complement has an integral meridional class, represent it by a map to the circle, and take a regular value. Near the surface choose the angular map in its trivial normal disk bundle. The closure of a suitable regular fiber is a compact oriented three-manifold bounding the surface. Its trivial normal framing can be chosen to match this construction.

Push the interior of this Seifert hypersurface into $B^5$. The double branched covering of $B^5$ over the resulting properly embedded three-manifold has boundary $X$. The existence of the cover follows from the meridian homomorphism to $\mathbb{Z}/2$; smoothness near the branch set is the local map $(z,u)\mapsto (z^2,u)$. By the hypothesis about boundaries of five-manifolds, $\mathrm{sign}X=0$. Novikov additivity for gluing along an entire closed three-dimensional boundary givesThus the knot signature is independent of the Seifert surface. An isotopy of the knot carries the construction to an equivalent one, so it is also a knot invariant.

To calculate its intersection form, express $F$ as a disk with $2g$ bands. The double branched covering of $B^4$ over the pushed-in disk is again $B^4$. Each band lifts to a two-handle. The capped lifted cores give a basis of $H_2(X_F;\mathbb{Z})$ corresponding to the band-core basis of $H_1(F;\mathbb{Z})$. The framing of the $i$th lifted attaching circle is $2\mathrm{lk}(a_i^{+},a_i)=2V_{ii}$. For distinct bands, the two sheets contribute the two push-off linkings $V_{ij}$ and $V_{ji}$, so the mutual linking number is $V_{ij}+V_{ji}$. HenceA different integral basis changes this matrix by matrix congruence and leaves its signature unchanged.

In Figure 7 the upper knot is a connected sum of knots $T\#T$, while the lower one is $T\#\overline{T}$, where $T$ is the positive trefoil knot. Both knot groups have the same presentationTo see this, the Seifert-van Kampen theorem expresses the knot group of a connected sum of knots as the amalgamated free product of the two summand knot groups, amalgamating their meridians of a knot. A trefoil knot has presentation $⟨a,b\mid aba=bab⟩$ with $a$ a meridian. Reflection gives the same abstract group for the mirror. If it reverses the chosen meridian, send both generators to their inverses; the inverse braid relation is again the same relation. Thus the meridian amalgamation yields the displayed group presentation in both cases.

A band basis for the positive trefoil knot giveswhose symmetrization is negative definite. Therefore $\sigma (T)=-2$ and $\sigma (\overline{T})=2$. Boundary-connected-summing Seifert surfaces makes the Seifert matrix block diagonal, so the knot signature is additive under connected sum of knots. ConsequentlyThe upper knot and lower knot are therefore not isotopic, even though their knot groups are isomorphic. With the opposite global knot signature convention the first value is $+4$, and the distinction is unchanged.

The topological degree measures an oriented net number of sheets of a map. Its simplest integer-valued setting is a map $f:M\to N$ between connected oriented closed manifolds of the same positive dimension $n$. The hypotheses matter: an integer sign count needs orientations; compactness prevents preimages from escaping; and the same dimension makes a regular fiber discrete. A fundamental class gives the definition for continuous maps:Here $H_n(M;\mathbb{Z})$ and $H_n(N;\mathbb{Z})$ are generated by their chosen fundamental classes. Reversing either orientation changes the sign of the degree of a map between oriented manifolds. Disconnected sources contribute a sum over components; disconnected targets require a degree for each target component rather than one universal integer.

For a smooth map, choose a regular value $y$. The Sard theorem guarantees plentiful choices. Each point of $f^{-1}(y)$ has an invertible derivative, so the inverse function theorem makes it an isolated point. The fiber is finite by compactness of $M$. An oriented coordinate chart defines $\mathrm{sgn}\det d{f}_x$, and the degree as a sum of local degrees becomesAn empty fiber contributes zero. The sign is independent of the chosen oriented charts. Thus the mapping degree counts sheets with signs, not simply the number of preimages: orientation-preserving and orientation-reversing sheets cancel.

A differential-form argument both proves that this count is independent of $y$ and relates it to the topological definition. Around a regular value, take a small neighborhood $V$ whose full preimage is a disjoint union of neighborhoods mapped diffeomorphically onto $V$. Compactness rules out additional preimages approaching $V$ from elsewhere. Choose a smooth top-degree form $\eta$ supported in $V$, with ${\int }_N\eta =1$. The change of variables formula givesAlthough $\eta$ need not be everywhere positive, it represents the same normalized top cohomology class as any normalized volume form. The top de Rham cohomology of a compact connected oriented manifold says that two top forms with equal integrals differ by $d\beta$. Their pullback integrals agree, because the Generalized Stokes theorem gives ${\int }_{M}d(f^{\ast }\beta )=0$. Therefore the degree by integration of a pullback volume form isfor every smooth top form $\eta$. Pairing de Rham cohomology with fundamental classes identifies this integer with the homological definition. This proof also shows that every regular value gives the same signed sum.

The homotopy invariance of mapping degree makes it stable under continuous deformation. Homologically this follows from homotopic maps inducing the same map on homology. For a smooth homotopy $F:M\times [0,1]\to N$, a direct proof uses $d\eta =0$ and the Generalized Stokes theorem on the cylinder to getwith the cylinder orientation chosen to give the indicated boundary signs. Smooth approximation extends the geometric description to continuous maps, while the fundamental class definition already applies without differentiability. The multiplicativity of mapping degree follows from functoriality and givesA constant map has degree zero when $n>0$. If the mapping degree is nonzero, the map is onto: a point outside its image is a regular value with empty preimage. An orientation-preserving diffeomorphism has degree $1$, and an orientation-reversing one has degree $-1$. An orientation-preserving $k$-sheeted covering map has degree $k$; the signs of sheets must be included for other orientation conventions.

Examples show both the strength and the limits of the invariant. On the circle, $e^{i\theta }\mapsto e^{ik\theta }$ has degree $k$, including negative integers and zero; it is the winding number. On the sphere $S^n$, an ambient reflection has degree $-1$, and the antipodal map has degree $(-1{)}^{n+1}$, because the determinant of $-I$ on the ambient ${\mathbb{R}}^{n+1}$ is $(-1{)}^{n+1}$. On the torus, an integer matrix $A$ induces a map of degree $\det A$, obtained by pulling back the constant top form. However, degree does not classify general manifold maps: the identity and an integer shear on the two-torus both have degree one but induce different maps on $H_1$, so are not homotopic.

The mapping degree gives useful obstruction and existence arguments. There is no retraction of a closed ball onto its boundary sphere: such a retraction would make the degree-one identity of the boundary null-homotopic, since it would extend across a contractible ball, contradicting homotopy invariance and the degree-zero constant map. This is the degree obstruction underlying the Brouwer fixed-point theorem. Also an everywhere nonzero tangent vector field on an even-dimensional sphere would, after normalization, produce the homotopy $\cos (\pi t)x+\sin (\pi t)v(x)$ from the identity to the antipodal map. Orthogonality makes every value a unit vector, but the endpoint degrees are $1$ and $-1$, impossible. This proves the corresponding Hairy ball theorem obstruction.

There are appropriate extensions rather than an unrestricted integer degree for every pair of manifolds. For a proper map between connected oriented manifolds without boundary of equal dimension, the regular-value count remains finite and is invariant; compactly supported top forms or locally finite homology replace the compact fundamental-class description. Without orientations, degree modulo two counts preimages modulo two and uses mod-two fundamental classes. For manifolds with boundary one uses relative mapping degree for maps of pairs, keeping the boundary away from the chosen target value. Maps of unequal dimensions, or nonproper maps where preimages can escape to infinity, do not in general admit this same signed sheet-count invariant. The central principle is an integer signed count stable under homotopy, with its hypotheses explicitly preserved.

There is a small domain issue in the printed notation. If ${\mathbb{R}}^3/{\mathbb{R}}^2$ means a quotient vector space by the horizontal plane, the displayed formula does not descend to that quotient vector space: $(0,0,0)$ and $(1,0,0)$ represent the same class but give different values. The intended construction is stereographic projection, restricted to the unit sphere with the north pole removed. Interpreting the slash as removal of the plane $z=1$ also supplies a suitable ambient domain. The holomorphic stereographic atlas of the sphere is obtained as follows.

Write $N=(0,0,1)$ and $S=(0,0,-1)$. On $U_N=S^2\setminus \{N\}$ use $\zeta =(x+iy)/(1-z)$. Its inverse, with $\zeta =u+iv$, isThese formulas give a smooth manifold chart from $U_N$ onto $\mathbb{C}$. On $U_S=S^2\setminus \{S\}$ choose the second manifold chartIts inverse is $x=2\mathrm{Re}\eta /(1+|\eta {|}^2)$, $y=-2\mathrm{Im}\eta /(1+|\eta {|}^2)$ and $z=(1-|\eta {|}^2)/(1+|\eta {|}^2)$, so this is also a smooth manifold chart onto $\mathbb{C}$. The conjugation in this second stereographic projection is essential. On the overlap, $x^2+y^2=1-z^2$, soBoth directions of this transition are holomorphic maps on ${\mathbb{C}}^{\times }$, with nonzero derivative. The two manifold charts cover the sphere, hence define a holomorphic atlas, giving precisely the Riemann sphere. If one instead used $x+iy$ in both manifold charts, the transition would be $1/\bar{\zeta }$ and would not be holomorphic.

Orient the sphere by this holomorphic atlas. The given volume form is smooth at infinity: replacing $\zeta$ by $1/\eta$ in its exterior product gives the same expressionMoreover, $id\zeta \wedge d\bar{\zeta }=2du\wedge dv$, so the normalization of this volume form isThus the printed volume form has half the area of the standard round unit sphere; replacing its integral by $4\pi$ would introduce an erroneous factor of two.

For $k\ge 1$, the holomorphic map $f(\zeta )={\zeta }^k$ extends over infinity, since the target reciprocal coordinate is ${\eta }^k$ when the source reciprocal coordinate is $\eta$. Its pullback of a differential form isUsing $s=r^{2k}$ givesThe degree of a map between oriented manifolds is thereforeFor $k=0$, the formula on the finite manifold chart is the constant $1$. Its unique continuous extension is also $1$ at infinity, rather than an undefined expression ${\infty }^0$. Its pullback of a differential form is zero and its degree of a map between oriented manifolds is zero.

For the preimage calculation when $k\ge 1$, choose a regular value $w\in {\mathbb{C}}^{\times }$. There are exactly $k$ distinct roots of ${\zeta }^k=w$. At each root the real Jacobian determinant is $|k{\zeta }^{k-1}{|}^2>0$, so every local contribution to the degree of a map between oriented manifolds is $+1$. Their sum is $k$, agreeing with the integral. The exceptional values $0$ and infinity are avoided because they are branch values when $k>1$. For the constant map, any $w\ne 1$ is a regular value with no preimages, giving the same answer zero. This establishes the degree of a power map of the Riemann sphere for every allowed $k$.

The Marsden-Weinstein theorem says that for a Hamiltonian group action, if $c$ is a regular value fixed by the coadjoint action and $G$ acts freely and properly on ${\mu }^{-1}(c)$, thenis a symplectic manifold with a unique form characterized by ${\pi }^{\ast }{\omega }_c={\iota }^{\ast }\omega$, where $\iota$ includes the level set and $\pi$ is the quotient projection. Its dimension is $\dim M-2\dim G$.

Equip ${\mathbb{C}}^{n+1}$ with the standard symplectic formLet the circle group act by $e^{i\theta }\cdot z=e^{i\theta }z$. Its generator is $X={\sum }_j(-y_j{\partial }_{x_j}+x_j{\partial }_{y_j})$, andConsequently the moment map in our convention is $\mu (z)=-|z{|}^2/2$. It is invariant, hence equivariant because the circle group is abelian. The level ${\mu }^{-1}(-1)$ is the sphere of radius $\sqrt{2}$; it is regular, the circle group acts freely there, and properness follows from compactness of the group. The quotient is Complex projective space, by $z\mapsto [z]$, a scaled Hopf fibration. The Marsden-Weinstein theorem therefore produces a reduced symplectic form on ${\mathbb{CP}}^n$.

To identify it rather than only assert its existence, use the primitiveOn the affine chart choose the local section $s(w)=\sqrt{2}(1,w)/\sqrt{S}$ of the quotient. Direct substitution givesDifferentiating, using $\bar{\partial }\partial =-\partial \bar{\partial }$, givesThis is the Fubini-Study form from circle reduction. The unit sphere instead produces half this form; our radius $\sqrt{2}$ is exactly what gives the $2\pi$ line-area normalization used above.