Seifert 曲面

Seifert 曲面是一张以绳圈为边缘的双面薄膜。它可以有把手，也可以在三维空间中弯曲，但自身不能相交。可定向性保证能连续选择“正面”，因而可以把曲线向正面稍微推开，再计算环绕数。

同一个边界可张出很多曲面。平凡结可以张一个圆盘，也可以给圆盘内部添一个把手，得到另一张边界相同的曲面。因此“存在一张有洞的曲面”并不能证明这个结需要那些洞。

Seifert 算法的四步 ​

从有向结图出发，按以下顺序操作。

1. 在每个交叉处做有向平滑：把入弧接到出弧，消去该交叉，同时保持箭头方向连续。对两股均向下的交叉，平滑后得到两条互不交叉的向下弧。
2. 平滑全部交叉后，得到若干互不相交的有向平面圆，称为 Seifert 圆。为每个圆放一张有向圆盘；嵌套的圆可在略微不同高度放置，避免圆盘重叠。
3. 在每个原交叉位置接回一条带半扭转的窄带。半扭转的方向恢复原来的过、欠信息，并使带的方向与两张圆盘方向相容。
4. 把连接处的角磨光。所得曲面的边界恢复为原链环；若有多个曲面分支，可在远离边界处加管连接，使边界保持不动。

方向检查贯穿每一步：平滑保留边界箭头，接带恢复交叉，圆盘和带上的方向在粘接处一致。这就是可定向性的来源。若只是随便把图的空白区域涂满，可能得到自交曲面或非可定向曲面，不能代替这个构造。

三叶结的曲面亏格算到底 ​

把三叶结画成两股辫 ${\sigma }_1^3$ 的闭包。三个交叉有向平滑后，两条股各自闭合，得到 $s=2$ 个 Seifert 圆。恢复原图需要 $c=3$ 条带。

每张圆盘贡献 Euler 示性数 $1$；沿两条边界小区间粘接一条带相当于添一个一维把手，使 Euler 示性数减少 $1$。因此

边界只有一个分支，于是 $1-2g=-1$，得到 $g=1$。这证明三叶结存在亏格为一的 Seifert 曲面，所以结亏格至多为一；下界要用非平凡性或 Alexander 多项式另外证明。

一般地，对算法产出的连通曲面，若边界有 $r$ 个分支，便有

这里连通条件不能省略。如果平滑圆与带组成的曲面有 $k$ 个连通分支，应先用 $\chi =2k-2\sum g_i-r$，或者完成加管连接后重新计数。

Möbius 带为什么不算 ​

某些结也能作为嵌入 Möbius 带的边界，但 Möbius 带沿中心圈走一周会交换两面，不能连续选择正法向，因此不是 Seifert 曲面。边界恰好是所需绳圈，只满足了定义的一部分；可定向条件承担后续推离与交数的关键作用。

当图有 $c$ 个交叉、$\ell$ 个链环分支，且弧邻接数据已经给定时，有向平滑和追踪圆需要 $O(c+\ell )$ 次组合操作；输出包含 $s$ 张盘和 $c$ 条带，必要的连通化另添管。$\ell$ 项使没有交叉的分支也被计入。不过“构造一个曲面”与“找到最小亏格曲面”是不同任务，Seifert 算法不自动解决后一问题。

在曲面上选择一组同调环路并推向正面，得到 Seifert 矩阵公理库Alexander 多项式与 Seifert 矩阵Alexander polynomial · Seifert matrix由 Seifert 曲面上的推离环绕数构造矩阵，解释行列式的不变量来源，并完成三叶结多项式与亏格下界计算。。其条目用两条分离曲线的环绕数计算，随后行列式把曲面的嵌入信息压缩成 Alexander 多项式。曲面亏格控制矩阵大小，但多项式一般不记录全部曲面或全部结型。