1. 引言
二十世纪二十年代末,J. Alexander [1] 给出了第一个纽结多项式,该多项式不变量也很好地区分了纽结和链环,具有很深刻清晰的拓扑意义。此后数学家们在接下来的很长一段时间里用亚历山大多项式研究了纽结的分类性质。1969年,约翰·康威 [2] 通过研究Alexander多项式,给出了该多项式的递推公式,简化了计算过程。后来,琼斯 [3] 给出了一个新型的纽结多项式,不仅计算非常简单,在某些方面是一个比Alexander多项式的鉴别能力强的不变量。琼斯多项式的发现促进了纽结理论的发展。由于整系数多项式与纽结多项式有着非常密切的关系,因此研究二者之间内在联系就成了热点问题。人们已经知道了一个整系数多项式是纽结Alexander多项式的充要条件。纽结的Jones多项式出现以后,很多专家学者开始研究整系数多项式与纽结Jones多项式内在联系。
本文包括两部分,第一部分介绍由纽结多项式和整系数多项式的相关预备知识、Jones多项式性质等。第二部分给出了整系数多项式与纽结Jones多项式的性质。
2. 预备知识
本章节介绍与该论文有关的预备知识。其中包括纽结的定义、Alexander多项式的性质、Jones多项式的性质。
定义1.1 把嵌入到欧式空间
或者三维球面
中的圆周
称为纽结。若给纽结规定一个方向,则得到有向纽结。由有限条互不相交的简单闭曲线构成的图形,称为链环。组成链环的每一条简单闭曲线称为该链环的一个分支,如果给链环的每一个分支规定一个方向。则称该链环为有向链环。
引理1.1 [4] 对任意一个有向环链投影图L均对应一个整系数多项式
,并满足:
1) 同痕不变性
假若有向投影图L与
相互同痕,则它们所对应的多项式是相等的。也就是
。
2) 拆接关系式
则
。
其中
是三个投影图只有在这一个交叉点处不同,其它都是相同的。
3) 若O是平凡的,则有
。
称为环链L的Jones多项式。
引理1.2 [5] [6] 若L为一个具有n个分支的定向链环,则有:
1)
;
2) 当
时,
;
3)
;
4) 若
存在,那么
。否则
;
5)
。
3. 整系数多项式与Jones多项式性质
首先,研究宽度为7的多项式是某纽结Jones多项式的条件。首先介绍了宽度为5的多项式是某纽结Jones多项式的充分必要条件,其次介绍了宽度为6的多项式是某纽结Jones多项式的充分必要条件,最后研究了宽度为7的多项式是某纽结Jones多项式的必要条件。总是假设纽结的Arf不变量存在,而且
。
引理2.1 [3] 多项式
(
,
,
)是某纽结多项式的充分必要条件
。
引理2.2 [3] 多项式
(
,
,
)是某纽结多项式的充分必要条件
。
以上分别是宽度为5,6的多项式是某纽结Jones多项式的充分必要条件,下面本文研究宽度为7的多项式是某纽结Jones多项式的条件。
定理2.1 设多项式
(
,
,
),则
是某纽结的Jones多项式的必要条件是
或者
证明:由引理1.1和引理1.2,若
(
,
,
)是某纽结的Jones多项式,则
1) 考虑
的情况(
)。
可以得到以下方程组:
化为增广矩阵后变换得到:
将矩阵知识应用于上述非齐次方程,可以计算出各未知数系数之间的关系:
由引理1.2知:
由
,则有
,所以有
,即
2) 考虑
的情况(
)。
可以得到以下方程组:
将矩阵知识应用于上述非齐次方程,可以计算出各未知数系数之间的关系:
由引理1.2知:
由
,则
。即
,
从而定理得证。
注:当
时,可得
,取
,则纽结73 (图1) Jones多项式符合定理要求。
推论2.1设多项式
(
,
,
),则
是某纽结的Jones多项式的充分必要条件是
。
推论2.2
。
下面讨论十二次整系数多项式与Jones多项式的一些关系。讨论若一个Laurent多项式是一个次数为12,宽度为8的整系数多项式,则给出它是Jones多项式的必要条件。
定理2.2 若
(
,
,
)是某纽结的Jones多项式,则系数满足下列条件之一:
1)
2)
证明:若
(
,
,
)为某纽结的Jones多项式,则
1) 考虑
的情况
可以得到以下方程组:
解方程组得:
由引理1.2知:
从而有
,即
,所以有
2) 考虑
的情况
可以得到以下方程组:
可得解为:
由引理1.2知:
从而有
,即
,所以有
综上,定理证毕。
注:由于整系数多项式与纽结多项式的内在联系,所以研究它们的关系一直是纽结理论的热点课题。本文研究了次数是十次和十二次且它们的宽度分别是7和8的整系数多项式性质,给出这些多项式是某纽结Jones多项式的必要条件,进而可以研究某些纽结的Arf不变量性质。随着对纽结多项式性质的深入研究可能会得到更好的判别方法。
基金项目
受国家自然科学基金(No. 11471151,No. 12026411),辽宁省教育厅(No. LJ2019004)的资助。
NOTES
*通讯作者。