邻近纽结间的行列式 [PDF全文]
(秋霞影院 理学院,杭州 310023)

研究了如果d是det(K)、det(L)的最大公因子时,方程x2=-1在Z*det(K)/d有解的条件。证明了若K和L的邻近性可以通过分别改变K的一个正交叉或者负交叉来实现,则在Z*det(K)/d、Z*det(L)/d中,该方程都有解。

;;;;
Determinant between adjacent knots
TAO Zhixiong
(School of Sciences, Zhejiang University of Science and Technology, Hangzhou 310023, Zhejiang, China)

This paper focused on the solvability condition for the equation x2=-1 in Z*det(K)/d, when d being the greatest common factor of det(K)and det(L). It proves that the equation is solvable in both Z*det(K)/d and Z*det(L)/d, if the adjacency of K and L can be realized by changing a positive crossing or negative crossing of K respectively.

;;;;
引言

两个纽结K1、K2称为邻近的,假如改变纽结K1的一个交叉就可以得到纽结K2。一般而言,以往大多数情形,我们关心一个纽结改变一个交叉后是否成为平凡纽结。对这种情形,Stoimenow[1]已经证明了当改变一个正交叉或者负交叉时都可以使得纽结K改变为平凡纽结(例如解数为1的无手征纽结),那么乘法群Z*det(K)(Zdet(K)是所有乘法可逆元组成的群,即所有与det(K)互素的元,例如Z*15={1,2,4,7,8,11,13,14},det(K)的定义[2-3]见下面的命题1)含有-1的平方根。

在本文中,我们将推广这一结论,即证明以下结论:

定理1 设K与L是两个纽结,d是det(K)、det(L)的最大公因子,若改变K的一个正交叉或者一个负交叉都使得K变为L,则在Z*det(K)/d和Z*det(L)/d中,方程x2=-1都有解。

推论1 设K与L是两个邻近纽结,且det(K)与det(L)互素,若改变K的一个正交叉或者负交叉都可以使得K变为L,则在Z*det(K)和Z*det(L)中,方程x2=-1都有解。

推论2 若对于纽结K,在Z*det(K)中方程x2=-1无解,则不存在纽结L使得det(K)与det(L)是互素的,同时改变K的一个正交叉和负交叉都是L。

例如,纽结1015、1016的行列式分别是43、47[4],号差(signature)都是2,但x2=-1在Z*43、Z*47中都无解。因此,不可能既通过改变正交叉又可以通过改变一个负交叉都得到对方。

再如,1081的行列式为85,号差为0。容易看到在Z*85中x2=-1有解。对于1087,它的行列式是81,号差也为0,尽管这两个纽结的行列式互素,但由于Z*81中x2=-1无解,根据定理1说明它们之间不可能有既通过改变正交叉又可以通过改变一个负交叉得到对方的关系。

1 基本知识

已定向的纽结K的正则投影(regular diagram)必定决定了一张可定向的Seifert曲面S,它是一张可定向的曲面,边界就是K,详细的做法见

参考文献[2-5],如果该曲面的n条闭曲线α12,…,αn是H1(S)(S的同调群)的生成元的代表元,α#1#2,…,α#n分别表示这些闭曲线往曲面的正方向少许提升(lift)使得稍离曲面所得的闭曲线,那么矩阵M=(lk(αi#j))n*n就称为纽结K的Seifert矩阵,其中lk(αi#j)表示了链环αi∪α#j的链环数(i,j=1,2,…,n)。可以证明如果DK表示S3关于K的二重分歧复盖,则H1(DK)可以配(equipped with)一个链环数型(linking form),它是一个双线性型[4,6-8]:

λ:H1(DK)*H1(DK)→Q/Z。

图1 正负交叉<br/>Fig.1 Positive crossing and negative crossing

图1 正负交叉
Fig.1 Positive crossing and negative crossing

那么这个链环数型就是纽结的Goeritz矩阵(也就是M+MT)的逆矩阵(M+MT)-1[6-7,9](这里要注意的是纽结的Goeritz矩阵就是M+MT)。对于MMT,我们有以下结论:

命题1[2-3] 若M是纽结K的Seifert矩阵,则|det(M+MT)|是一个纽结不变量。因此,这个不变量就称为K的行列式,记为det(K)(它总是一个奇数)。

M+MT的号差也称为纽结K的号差[2-5]

纽结或链环的正负交叉如图1所示。

2 定理的证明

图2 S和α1<br/>Fig.2 S and α1

图2 S和α1
Fig.2 S and α1

设K有一个投影图(diagram),改变它的一个正交叉得到L,若如图2所示的是K与L的唯一不同处,阴影部分为K的Seifert曲面S,设唯一经过这个交叉而且是H1(S)的生成元为α1,其他的生成元为α2,…,αn,改变图2所示的交叉后所得到L的Seifert曲面S',相应地,若假设K和L的Seifert矩阵分别是A=(aij)n*n,B=(bij)n*n。比较得到:若(i,j)≠(1,1),则aij=bij,而a11=b11-1。这样,由于det(A+AT)与det(K)至多仅差一个符号,而且det(A+AT)det(B+BT)>0。为了说明这个不等式,将矩阵A+AT和B+BT的第一行第一列分别后移到最后一行和最后一列,分别得到矩阵P和Q,且det(P)=A+AT,det(Q)=B+BT。注意到矩阵P和Q的前n-1个顺序主子式是相同的,最后一个顺序主子式分别是det(P)和det(Q),根据文献[3]定理2.4.7(2)知道,改变一个纽结的正(负)交叉使得其号差加(减)2或者不变,而K分别改变一个正交叉和一个负交叉都得到L,即它们的号差是一样的(对称矩阵的号差定义:如果n阶对称矩阵M的顺序主子式分别是D1,D2,…,Dn,则其号差为∑n-1j=0sign(DjDj+1),D0=1,见文献[4])。也即det(P)和det(Q)是同号的,det(A+AT)det(B+BT)>0。

若Aij是aij(i,j=1,2,…,n)的代数余子式,则按行列式的第一行展开,有

det(A+AT)=2a11A11+(a12+a21)A12+…+(a1n+an1)A1n=

(2b11-2)A11+(a12+a21)A12+…+(a1n+an1)A1n=det(B+BT)-2A11,

所以,

A11=(det(B+BT)-det(A+AT))/2。

设H1(DK)中A+AT的第一行第一列的元为g1,如果λ:H1(DK)*H1(DK)→Q/Z是H1(DK)上的链环数型,可知该链环数型为(A+AT)-1,即为1/(det(A+AT))(Aij)n*n,这里(Aij)n*n是A+AT的伴随矩阵。因为det(A+AT)det(B+BT)>0,因此λ(g1,g1)=(det(L)-det(K))/(2det(K))。令g=2g1,并设det(K)=dD1,det(L)=dD2,有λ(g,g)=(2D2)/(D1)∈Q/Z。因为改变K的一个负交叉也使得其变为L,同理可证有另一个元h∈H1(DK),使得λ(h,h)=-(2D2)/(D1)∈Q/Z。

如果乘法群 Z*D1={1=x1,x2,…,xs},其中s表示1,2,3,…,D1中与D1互素的个数,那么,显然有

Z*D1={λ(xjg,xjg)D1=2x2jD2,j=1,2,…,s},

Z*D1={λ(xih,xih)D1=-2x2iD2,i=1,2,…,s}。

换言之,存在i,j∈{1,2,…,s},使得在Z*D1有2x2jD2=-2x2iD2,也即x2jx-2i=-1在乘法群Z*D1里成立。只要将上述证明中K和L互换即可得到定理1剩下结论的证明。这样就完成了定理1的证明。

3 结 语

本文对能够通过正、负交叉的改变都可以得到另一个的这样两个邻近纽结,研究了方程x2=-1在某个群是否有解的问题,通过改变Stoimenow的方法,从而推广了他的研究结果。

参考文献
  • [1] STOIMENOW A.[J]. Mathematical Research Letters,2004(11):755.
  • [2] ADAMS C C.[M]. Providence, Rhode Island: American Mathematical Society,2004:95.
  • [3] MURASUGI K.[M]. Boston, Basel, Berlin: Birkhäuser, 1996:75.
  • [4] BURDE G, ZIE C.[M]. Berlin, New York: Walter de Gruyter,1985:19.
  • [5] KAUFFMAN L H.[M]. Princeton: Princeton University Press,1987:60.
  • [6] LICKORISH W B R.[C]//Contemporary Mathematics. Providence, Rhode Island: American Mathematical Society,1985:117.
  • [7] GORDON C M, LITHERLAND R A.[J]. Inventiones Mathematicae,1978,47(1):53.
  • [8] MURAKAMI H, YASUHARA A.[J]. Proceedings of the Amerian Mathematical Society,2000,128(12):3693.
  • [9] MONTESINOS J M.[M]//NEUWIRTH L P. Knots, groups, and 3-manifolds. Princeton: Princeton University Press,1975:227.