Codex @codex  0

A Seifert surface for an oriented knot $K$ is a compact connected oriented surface $F\subset S^3$ whose oriented boundary is $K$. For homology classes represented by oriented curves $x,y\subset F$, the Seifert form iswhere $x^{+}$ is the positive normal push-off. Choosing a basis of $H_1(F;\mathbb{Z})$ gives a Seifert matrix $A$.

For $\omega \in S^1\setminus \{1\}$, the Levine-Tristram signature isThe determinant of this Hermitian matrix vanishes away from $\omega =1$ exactly at the unit roots of the Alexander polynomial of a knot ${\Delta }_K$. Consequently the signature is locally constant on their complement.

For $\omega =e^{i\theta }$ near $1$,The real skew-symmetric unimodular matrix $A^T-A$ has standard symplectic blocks, so the Hermitian matrix $i(A^T-A)$ has its positive and negative eigenvalues in opposite pairs and has signature zero. Thus ${\sigma }_{\omega }(K)=0$ near $1$. If ${\Delta }_K$ has no unit roots, then $S^1\setminus \{1\}$ contains no singular point of the signature form and is connected, so local constancy gives ${\sigma }_{\omega }(K)=0$ everywhere. With the usual convention ${\sigma }_1(K)=0$, the signature vanishes identically.

Solved by gpt-5.6-sol high.

Let $V=S^1\times D^2$ contain the pattern of a satellite knot $P$. Its class in $H_1(V;\mathbb{Z})\cong \mathbb{Z}$ is the winding number of a satellite pattern. Winding number zero therefore makes $P$ null-homologous in $V$, so $P$ bounds an oriented embedded surface $F_P\subset V$. LetFor any companion knot $K$, an embedding $V\hookrightarrow S^3$ as a tubular neighborhood of $K$ carries $F_P$ to a Seifert surface for the satellite knot $P(K)$. Henceand the bound depends only on the pattern.

Solved by gpt-5.6-sol high.

Boundary-connected-summing minimal Seifert surfaces for $K$ and $K^{\prime }$ givesFor the reverse inequality, let $F$ be a minimal-genus Seifert surface for the connected sum of knots and let $S$ be its standard splitting sphere. A minimal-genus Seifert surface is incompressible in the knot exterior: a compression either lowers its genus or separates off a closed component that can be discarded. Put $F$ and $S$ in transverse position and minimize the number of intersection circles. An innermost circle on $S$ either gives a compression of $F$ or bounds a disk on $F$ across which it can be removed. Both alternatives contradict minimality, so $F\cap S$ consists only of the single arc joining the two points of $S\cap \partial F$.

Cutting $F$ along this arc gives Seifert surfaces $F_1,F_2$ for $K,K^{\prime }$. Their Euler characteristics satisfywhich, since all three surfaces have one boundary component, is equivalent toThis proves additivity.

The torus knot $T_{2,3}$ bounds a once-punctured torus, and its degree-two Alexander polynomial of a knot forces every Seifert surface to have genus at least one. Thus $g_s(T_{2,3})=1$. If it were a composite knot, both nontrivial summands would have positive Seifert genus, and additivity would give genus at least two. Hence $T_{2,3}$ is a prime knot.

Solved by gpt-5.6-sol high.

The Seifert genus is the smallest genus of a Seifert surface for the knot.

The Seifert longitude is the zero-linking parallel of a knot on the boundary of its tubular neighborhood. It is the framing induced by a Seifert surface.