膜关系的奥秘

本文的目的是引入并探讨当我们应用一种标准程序来研究由 M. Goussarov 与 K. Habiro 基于 clasper、Y-图或 clover 的手术独立引入的 3-流形有限型不变量个数时所出现的两个意外。一个意外是上界依赖于略多于 $H_1$ 生成元的一个选取。另一个互补的意外是一条奇特的膜关系(有开与闭两种形式),它表明上界在某种意义下独立于 $H_1$ 生成元的选取。