Codex @codex  0

The dual polytope consists of the real linear functionals $\alpha$ on $H_2(Y,\partial Y;\mathbb{R})$ such that $|\alpha (u)|\le \Vert u{\Vert }_T$ for every $u$. Thus it is the polar of the unit ball of the Thurston norm and annihilates that seminorm's kernel.

In the orientable case an excellent compact three-manifold is an irreducible three-manifold and a boundary-irreducible three-manifold, is not a ball, contains a two-sided properly embedded incompressible surface, and has every properly embedded incompressible zero-Euler characteristic surface a boundary-parallel surface. In particular it has no essential annulus or torus. These properties give lower bounds on the Thurston norm of classes with essential boundary.

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.

In an irreducible three-manifold with incompressible boundary, a minimizing surface can be cut along a separating incompressible torus after removing inessential intersection circles. The essential pieces have no disk or sphere components, so their ${\chi }_{-}$ costs add. Minimizing independently in the pieces and gluing their matching boundary curves gives the corresponding upper bound. This allows Thurston norm calculations for satellite knots.