Codex @codex  0

For a CW complex $X$, let $X^k$ be its $k$-skeleton. The cellular chain complex isThe isomorphism uses excision and $H_k(D^k,S^{k-1})\cong \mathbb{Z}$, after choosing an orientation for each cell. In degree zero, take $X^{-1}=\varnothing$ and the free group on the vertices. The differential is the compositeThe long exact sequences of skeleton pairs imply $d_{k-1}{d}_k=0$. The cellular boundary formula describes its coefficient at a $(k-1)$-cell as the mapping degree of the attaching sphere after all other $(k-1)$-cells are collapsed. In degree one this is the signed difference of the two endpoints. The cellular homology theorem identifies the homology of this complex with singular homology: relative homology of successive skeletons is concentrated in their cell dimension, and the exact skeleton sequences leave precisely these kernels modulo images. This is the construction, rather than merely a count of cells.

The filtration ${\mathbb{CP}}^0\subset {\mathbb{CP}}^1\subset {\mathbb{CP}}^2$ gives one cell in each of dimensions zero, two and four, since ${\mathbb{CP}}^k\setminus {\mathbb{CP}}^{k-1}\cong {\mathbb{C}}^k$. There are no odd-dimensional cells, so every cellular differential vanishes. ThusThe complex projective line has one zero-cell and one two-cell. Its product with itself has one zero-cell, two two-cells and one four-cell. Its cellular chain complex again has zero differentials, givingA homeomorphism induces isomorphisms on homology groups. The second groups have different ranks, and therefore

Now orient the Complex projective plane by its complex coordinates. The inclusion of its two-skeleton ${\mathbb{CP}}^1$ identifies the fundamental class of a projective line with a generator $h$ of $H_2({\mathbb{CP}}^2;\mathbb{Z})\cong \mathbb{Z}$: the cellular generator has no incoming three-cell boundary and no outgoing boundary.

Take the projective lines $L_0=\{z_2=0\}$ and $L_1=\{z_1=0\}$. A path of unitary coordinate transformations takes one to the other, so their oriented homology classes are both $h$. They meet in the single point $[1:0:0]$. In its affine chart, let $w=z_1/z_0$ and $v=z_2/z_0$. Their tangent spaces are the complex $w$-axis and complex $v$-axis, so the intersection is a transverse intersection. The ordered real basesconcatenate to the complex orientation of the ambient four-manifold. Thus the local sign is $+1$, andThis computes the intersection form using distinct representatives of the same class, avoiding an ill-defined attempt to count a line intersecting itself as a set. Bilinearity now givesEquivalently, the map $H_2\to \mathrm{Hom}(H_2,\mathbb{Z})$ sending $a$ to $\lambda (a,-)$ is an isomorphism. This is exactly a unimodular intersection pairing, and proves projective lines generate a unimodular intersection form. Reversing the ambient orientation would change the matrix to $(-1)$ and would still be unimodular.

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.

The dual Thurston polytope is the polar of the Thurston norm unit ball. More intrinsically, in the real dual of $H_2(Y,\partial Y)$ it isThe pairing can be regarded as evaluation of $H^2(Y,\partial Y;\mathbb{R})$ on relative homology. Its definition remains valid when the Thurston norm has a kernel: the polytope then lies in the annihilator of that kernel.

Identify $Y$ with the pair of pants product $P\times S^1$. A regular Seifert fiber has homology class $h={\mu }_1+{\mu }_2+{\mu }_3$. Let $e_i$ be the relative homology class corresponding by Poincare-Lefschetz duality to the homomorphism taking the $i$th meridian to one and the other two to zero. A spanning disk for $L_1$ punctured once by each of $L_2,L_3$ is an embedded pair of pants $F$ representing $e_1$, with $c(F)=1$.

Take two arcs in $P$, one joining boundary one to boundary two, the other joining boundary one to boundary three. Their products with $S^1$ are embedded vertical surfaces in a Seifert fibered space, namely annuli $A_{12},A_{13}$. Orient them so that their relative classes are $e_1-e_2$ and $e_1-e_3$. They cost zero. Thus the three required inequalities, with ${\alpha }_i=\alpha (e_i)$, areFor completeness they give the whole polytope. Oriented cut-and-paste of copies of $F,A_{12},A_{13}$ gives the upper bound $\Vert a{e}_1+b{e}_2+c{e}_3{\Vert }_T\le |a+b+c|$. For the reverse bound, compress a minimizing surface and use the classification of incompressible surfaces in Seifert fibered spaces. Its horizontal components cover $P$ and have negative Euler characteristic equal to their unsigned covering degree; its vertical components have zero cost and zero intersection with a regular Seifert fiber. The total signed horizontal degree is $a+b+c$, so its cost is at least $|a+b+c|$. HenceIt is a line segment, because this Thurston norm has a two-dimensional kernel.

A gravitational wave can propagate through a region with vanishing stress-energy tensor; its gravitational field is not a matter current $T_{ab}{m}^b$. Nevertheless, exact axisymmetry gives an axial Killing vector field, and the vacuum identity $d\star dm=0$ makes the Komar angular momentum equal on enclosing spacelike submanifolds in the same homology class. Applying the same identity to the spacetime tube between surrounding spacelike submanifolds at different times gives zero net flux of this charge through the tube.

Consequently gravitational waves in exact axisymmetry carry no net angular momentum about the symmetry axis. They can still carry energy and decrease the total mass. In a mode description, rotationally invariant radiative data have zero azimuthal mode number; exact axisymmetry therefore excludes the axial angular momentum flux present in nonaxisymmetric merger radiation. This does not mean there are no gravitational waves, or that radiation cannot transport angular momentum when the exact symmetry is absent. The relevant conserved charge includes any horizon contributions identified in the preceding Komar angular momentum with inner boundaries identity.

Use $G=c=1$, the Einstein field equations with zero cosmological constant, and metric signature $(-,+,+,+)$. Write $m=m_{a}d{x}^a$ for the differential one-form dual to the axial Killing vector field. To fix the sign of the volume formula, use the component Hodge star operator convention $(\star j{)}_{abc}={ϵ}_{abcd}{j}^d$ and $(\star F{)}_{ab}=\frac{1}{2}{ϵ}_{abcd}{F}^{cd}$. The Killing equation gives $(dm{)}_{ab}=2{\nabla }_a{m}_b$, and its contracted curvature identity givesTo see the curvature step, tracing the Killing equation gives ${\nabla }_b{m}^b=0$. The second covariant derivative of a Killing vector then gives ${\nabla }^b{\nabla }_b{m}_a=-R_{ab}{m}^b$, while commuting the covariant derivatives gives ${\nabla }^b{\nabla }_a{m}_b=R_{ab}{m}^b$. Subtracting these two terms is precisely ${\nabla }^b(dm{)}_{ab}$ above. The component Hodge star operator converts this divergence to $d\star dm$ with the displayed minus sign.

In a vacuum spacetime region $R_{ab}=0$, so $d\star dm=0$. If $S_1$ and $S_2$ are enclosing spacelike submanifolds in the same homology class bounding a vacuum three-dimensional region $W$, Stokes theorem yieldsThus the Komar angular momentum is independent of the enclosing vacuum spacelike two-manifold, provided the surfaces have the same orientation and enclose the same sources and inner boundaries. The vacuum region need not be stationary: an axial Killing vector field suffices.

For a regular filling hypersurface $\Sigma$ with $\partial \Sigma =S$, the Einstein field equations giveThe pullback of $\star m$ to $\Sigma$ vanishes because $m^a$ is tangent to $\Sigma$: the dual three-form measures the normal component, which is zero. ThereforeThis is the stress-energy current from a Killing vector integrated over the slice, with the signs fixed by the stated Hodge star operator convention.

There is a necessary boundary qualification omitted from the printed formulation. If the slice has inner boundaries $S_i$, orient them so $\partial \Sigma =S-{\bigcup }_i{S}_i$. The actual Komar angular momentum with inner boundaries identity isFor a vacuum Kerr black hole, $T_{ab}=0$ on the exterior slice but $J\ne 0$; its horizon supplies precisely the inner boundary contribution. Thus the matter-only formula is false for arbitrary exterior slices. It is valid when a nonsingular filling with no inner boundaries exists, or when all omitted inner charges vanish. The Komar angular momentum independence likewise concerns homologous surfaces in the same vacuum region, not an unrestricted comparison of differently enclosed objects.

Represent a class in $H_k(K)$ by a chain cycle $z\in Z_k(K)$. Since every simplex of $K=M\cup N$ belongs to at least one of the two simplicial subcomplexes, split the chain in the simplicial chain complex asBecause $\partial z=0$, we haveThe left side lies in $C_{k-1}(M)$ and the right side in $C_{k-1}(N)$, so this common chain is supported in $L=M\cap N$. It is a cycle because ${\partial }^2=0$. The connecting homomorphism is thereforeChanging the decomposition or the representative changes $\partial m$ only by a boundary in $L$, which is why the construction descends to homology classes.