A NNALES DE LA FACULTÉ DES SCIENCES DE T OULOUSE
N AFAA C HBILI
A new criterion for knots with free periods
Annales de la faculté des sciences de Toulouse 6
esérie, tome 12, n
o4 (2003), p. 465-477
<http://www.numdam.org/item?id=AFST_2003_6_12_4_465_0>
© Université Paul Sabatier, 2003, tous droits réservés.
L’accès aux archives de la revue « Annales de la faculté des sciences de Toulouse » (http://picard.ups-tlse.fr/~annales/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions).
Toute utilisation commerciale ou impression systématique est constitu- tive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
p. 465
A
newcriterion for knots with free periods
NAFAA CHBILI (1)
ABSTRACT. - Let
p
2 and q ~ 0 an integer. A knot K in the three- sphere is said to be a(p, q)-lens
knot if and only if it covers a link inthe lens space
L(p, q).
In this paper, we use the second coefficient of the HOMFLY polynomial to provide a necessary condition for a knot to bea
(p, q)-lens
knot. As an application, it is shown that this criterion rules out the possibility of being(5,1)-lens
for 80 among the 84 knots with less than 9 crossings.RÉSUMÉ. - Soient
p
2 et q ~ 0 deux entiers. Un noeud K de la sphère S3 est dit(p, q)-lenticulaire
s’il est invariant par l’action lenticulaire pp,q . Dans ce travail, nous étudions le comportement du polynôme de HOMFLYdes noeuds lenticulaires. Nous démontrons que la symétrie lenticulaire est reflétée d’une façon très nette par le second coefficient du polynôme de
HOMFLY. Comme application, nous démontrons que 80 parmi les 84
noeuds ayant un nombre de croisements inférieur ou égal à 9, ne sont pas
(5, 1) -lenticulaires.
Annales de la Faculté des Sciences de Toulous Vol. XII, n° 4, 2003
1. Introduction
This paper is concerned with the
question
of whether thesymmetry
of knots and links in thethree-sphere
is reflected on thequantum
invariants.The
symmetry
we consider in thepresent
paper is the freeperiodicity.
Alink L in
S3
is said to bep-freely periodic (p
2 aninteger )
if andonly
if L is fixed
by
an orientationpreserving
action of the finitecyclic
group G =Z/pZ
on thethree-sphere
without fixedpoints.
It has beenconjectured
(*) Reçu le 14 février 2003, accepté le 6 novembre 2003
(1) Département de Mathématiques, Faculté des Sciences de Monastir. Boulevard de
l’environnement, Monastir 5000, Tunisia.
E-mail: [email protected]
since many decades that such an action is
topologically conjugate
to anorthogonal
action.Consequently,
we aregoing
to limit our interest to linkswhich arise as covers of links in the lens space
L(p, q).
Such a link will be called here a(p, q)-lens
link.The two variable HOMFLY
(called also,
skein andHOMFLYPT) polyno-
mial is an invariant of ambiant
isotopy
of orientedlinks,
whichgeneralizes
both the Alexander and the Jones
polynomials,
and can be definedby
thefollowing :
where 0
is the trivialknot, L+,
L- andLo
are three oriented links whichare identical
except
near onecrossing
wherethey
look like in thefollowing figure:
It is well known that the HOMFLY
polynomial [9]
takes its valuesin the
ring Z[v±,z±]. However,
if L is a knot then we havePL ( v, z) =
Li?:O P2i,L (v)z22
whereP2i,L
are elements ofZ[v±2].
Knots with free
periods
were first studiedby Hartly [5] who,
motivatedby
aquestion
of R.Fox,
used the Alexanderpolynomial
toprovide
a criterion fora knot to be
freely periodic.
The first criteria forperiodicity
of linksusing
the HOMFLY
polynomial
is due toPrzytycki [10].
In[4],
we used the firstterm of the HOMFLY
polynomial
to find a necessary condition for a knot to bep-freely periodic,
for pprime.
This criterion wasapplied successfully
to rule out the
possibility
ofbeing freely periodic
for certain knots. The aim of this paper is to extend this criterion to the second coefficient of the HOMFLYpolynomial.
Thus we shall prove that similar conditions hold for thepolynomial P2,x (v).
Theproof
of our main result is based on the three crucial facts:. The combinatorial
description
of lens knots weprovided
in[1].
. The
techniques developed by Traczyk [14]
and Yokota[16]
in the caseof
periodic
knots andadapted
tofreely periodic
knots in[4].
2022 The formula for the second term of the HOMFLY
polynomial
intro-duced
recently by
Kanenobu andMiyazawa [8].
An outline of the
present
paper is as follows. In section 2 we introduce our main results. In section2,
basicproperties
offreely periodic
knots will be summarized. Someproperties
of the HOMFLYpolynomial,
needed in therest of the paper, are
given
in section 4. In section5,
we shall prove Theorem 2.1. In the lastparagraph,
our criterion isapplied,
in the case p =5,
to knots with less than 9crossings.
2. Results and
applications
Let p be a
prime and fp
be thecyclic
finite fieldof p
elements.Through-
out the rest of our paper we denote
by P2,K(v)p
the second term of the HOMFLYpolynomial
considered with coefficients reduced modulo p. If mand n are two
integers
thenT(n, m)
denotes the torus link oftype (n, m).
Recall here that the number of
components of T (n, m)
isequal
togcd(n, m).
In
particular T(n, m)
is a knot if andonly
if n and mare.coprime.
THEOREM 2.1. 2013 Let p > 3 be a
prime,
q = ±1 and K a(p, q)-lens
knot. Then
P2,K(V)p
Erp,q,
whererp,q
isthe Fp[v±2p]-module generated
by P2,T(a,aq:t:p) (v)p
forall 1
03B1 p - 1.This result is more
significant
for small values of p.Indeed,
for suchvalues the
generators
of the modulerp,q
areeasily computed using
the formulagiven by
V. Jones[7]
for the HOMFLYpolynomial
of torus knots.This fact is illustrated
by
thefollowing corollary:
COROLLARY 2.2. - Let q = ±1 and K be a
(5, q)-lens
knot. ThenP2,K(v)5
EF5[v±10]-module generated by vq8.
Proof of Corollary
2.2. -According
to Theorem2.1,
thegenerators
ofr5,1
aregiven by P2,T(03B1,03B1±t)(v)5
for1
03B1 4. We use the formulagiven
in section 4 to
compute
the HOMFLYpolynomial
of torus knots. Thesegenerators
aregiven by
the list below :A similar
computation
can beeasily
made in the case q = -Remark 2.3. - In the case p =
7,
the module03937,1
isgenerated by
thetwo elements:
2v6
+3V8
and6V8
+4v10. Consequently
the moduleF7,-1
isgenerated by 2v-6 + 3v-8
and6v-8
+4v-1o.
Application.
-Corollary
2.2provides
a criterion for a knot of the three-. sphere
to be fixedby
the lens transformation ~5,±1.Hence, given
a knotK,
if the
polynomial P2,K(v)5
does notsatisfy
the conditiongiven by Corollary
2.2 then K is not a
(5, ±1)-lens
knot. Let us illustrate thisby considering
the knot K =
813. According
to the table in[9]
we haveAs
P2,813 (v)5
is not inthelf5 [v±10]-module generated by v8.
Then K =81o
isnot a
(5,1)-lens
knot. It is worthmentioning
that the criterion we introduced in[4] using
the first coefficient of the HOMFLYpolynomial
does not decidein the case of the knot K =
813. Thus, Corollary
2.2 is not a consequence of the results we introduced in[4].
Moreapplications
aregiven
in the lastsection of this paper.
3.
Freely periodic
linksSymmetry
of knots and links is a vastsubject
that has fascinatedresearchers since the
early
age of knottheory.
Problems aschirality
andinvertibility
have motivated classical knottheory
for along
time.Roughly,
a knot in
S3
is said to besymmetric
if andonly
if K is fixedby
an action ofa finite
cyclic
group onS3. According
to the set of fixedpoints
of theaction,
we can
distinguish
many kinds ofsymmetry.
In this section we focus on thecase where the action has no fixed
points.
We definefreely periodic
knotsthen we review some basic
properties
of thisfamily
of knots and links.DEFINITION 3.1. - Let
p
2 be aninteger.
A link L in53
is said to bep-freely periodic if
andonly if
there exists an orientationpreserving diffeomorphism h : S3 ~ S3
such that:1) hi
has nofixed points for all 1
ip - 1,
Example
3.2. - Let L be the torus knotT(2,5).
It is well known that L can be seen as the intersection between anappropriate three-sphere
andthe
complex
surface definedby :
Let us consider the
diffeomorphism :
Obviously h
satisfies conditions 1 and 2 of Definition 3.1.Moreover,
one mayeasily
check thath(L)
= L. Thus L is afreely periodic
knot withperiod
3.Remark 3.3. - Let
p
2 and q aninteger
such thatgcd (p, q) =
1.Consider pp,q the
diffeomorphism given by:
It is easy to see that cpp,q is an orientation
preserving diffeomorphism
oforder p and that ~p,q has no fixed
point. Moreover,
we have ap-fold cyclic covering (7rp, q, S3, L (p, q)).
DEFINITION 3.4. - Let
p
2and q
aninteger
such thatgcd(p, q)
= 1.A link L
ouf 83
is said to be a(p, q)-lens
link if andonly
if L ismapped
ontoitself
by
~p,q.It is worth
mentioning
that lens links are theonly examples
we know offreely periodic
links. Moreprecisely
we have thefollowing conjecture proved for p = 2
and 3.CONJECTURE
3.5 [13].
2013Let p
be aprime
and h :S3 ~ S3
an orien- tationpreserving diffeomorphim
of order p such that for all1 i p - 1, hi
has no fixedpoints.
Then there exists aninteger
q such that h istopologically conjugate
to ~p,q.Let n
1 be aninteger.
Ann-tangle
T is a submanifold of dimension onein
R2 I
such that theboundary
of T is made up of 2npoints {A1, .... Anlx {0, 1}.
If T andT’ are
twon-tangles
we define theproduct
T T’by putting
T over T’ as follows:
As in the case of braids we define the closure of T and we denote
by
T
the link obtained from Tby joining Ai
x 1 toAi
x 0by
asimple
arcwithout
adding
anycrossing. Throughout
the rest of this paperBn
denotesthe
n-string
braid group. It is well known that this group has thefollowing presentation:
For n >
2,
the groupBn
is not abelian. Its center is known to be gen- eratedby
the elementÇ2n = (03C3103C32...03C3n-1)n.
Thefollowing
theoremgives
acombinatorial
description
of lens links.THEOREM 3.6.
[1]. -
A link Kof S3
is a(p, q)-lens
link if andonly
ilthere exists an
integer n ~
0 and ann-tangle
T such that:Remark 3.7. - Let n and m be two
integers.
The torus linkT(n, m)
is the closure of the braid
(03C3103C32...03C3n-1)m. Using elementary techniques
wecan prove that
T(n, m)
is a(p, q)-lens
link if andonly
if p divides m - nq.4. The HOMFLY
polynomial
The
discovery
of the Jonespolynomial [7]
led to asignificant
progress in knottheory.
The Jonespolynomial
was followedby
afamily
of invariants of knots and three-manifolds called thequantum
invariants.Among
this fam-ily
of invariants the HOMFLYpolynomial
which is an invariant of ambiantisotopy
of oriented links. This invariant is a two-variable Laurentpolyno-
mial which can be seen as a
generalization
of the Jones and the Alexanderpolynomial.
This section is to review someproperties
of thispolynomial
needed in the
sequel.
At thebeginning
let us fix some notations.Let L =
11
Ul2
U ...U ln
be ann-component
link of thethree-sphere.
Throughout
the rest of this paperAi,j
denotes thelinking
number of the twocomponents li and h
and A denotes the totallinking
number of the link L. It is well known that the HOMFLYpolynomial
takes values in thering
Z[v±1,z±1]. Moreover,
we can writePL(v,z) = 03A3i0P1-n+2i,L(v)z1-n+2i
where
Pl-n+2i,L C Z[v±2]
if n is odd andP1-n+2i,L ~ Z[v±1]
if n is even.PROPOSITION 4.1
[9].
- Let L =11
U12
U ...U ln
be ann-component
link then:Motivated
by
thisproposition,
Kanenobu andMiyazawa [8]
introduceda similar formula for the
polynomial P3-n,L.
THEOREM 4.2
[8].
2013Let n
3 be aninteger
and L =li
Ul2
U ...~ ln
an
n-component
link then:where
Li,j
denotes the2-component
linkli
Ulj.
The HOMFLY
polynomial
of torus knots wascomputed by
V. Jones.To introduce the Jones
formula,
we find it more convenient to use thepoly-
nomial
XL (q, t).
This is a version of theHOMFLY polynomial
related toPL (v, z) by
the variablechanges: z
=q1/2-q-1/2
and v =(tq)1/2. Let k j
1be an
integer,
we define:[k]! = (1 - g)(1 - q2)...(1 - qk)
and[k] = 1-qk 1-q.
THEOREM 4.3
[7].
2013 For the torus knotT(n, m)
we have:5. Proof of Theorem 2.1
Most of the
techniques
used in this section were firstdeveloped by Traczyk [14]
tostudy
the HOMFLYpolynomial
ofperiodic
knots(in
somesens this class of knots
corresponds
to the(p, 0)-lens knots).
In this sectionwe aim to
adapt
thesetechniques
to the case offreely periodic
knots. This will be done in twosteps.
In the first one, we prove thatPD belongs
to0393’p,q,
where
Fp
is theFp[v±2p]-module generated by
thepolynomials
of torusknots
T(n, nq + p).
The secondstep explains
how to extract a finite set ofgenerators
for0393’p,q.
Let us fix some notations.By T+,
T- andTo,
we denotethree
tangles
which are identicalexcept
near onecrossing
wherethey
looklike in
figure
1.By D+ (respectively D-, Do )
we dénote adiagram
of the(p, q)-lens
linkD+
=Tp+03A9qn (respectively
D- =T
andDo
=T)).
Itis worth
mentioning
that ifD+
is a knot then D- is also a knot.However, Do
is a link with 2 orp+1 components.
In the caseDo
hasp + 1 components D,UD2U ...
UDp+1,
then onecomponent (say D1)
is invariantby
’Pp,q, the others arecyclically permuted by
’Pp,q’ We shall proveby
induction on thenumber of
crossings
ofD,
thatP2,D
EFp g.
Let D be a(p, q)-lens diagram.
Assume that for all
(p, q)-lens diagram
D’ with lesscrossings
than D wehave
P2,DI E hp,q.
In[4],
thefollowing
lemma wasproved:
LEMMA 5.1. Let p be a
prime.
Thefollowing
congruence holds modulo p:PROPOSITION 5.2. - Let
p
5 be aprime.
.
i)
IfDo
has twocomponents
then:ii)
IfDo
has p + 1components
thenProof.
-According
to Lemma 5.1 we have thefollowing
congruence modulo p:Obviously,
ifDo
has twocomponents
thenP3-(p+1),D0 is
zero. Assume nomthat
Do
has p + 1components Di,D2,... ,Dp+i.
Let we denoteby Di,j
thEtwo-component
linkDi
UDj
and define G and H as follows:It can be
easily
seen from Theorem 4.2 thatBy
the fact thatcomponents D2,D3,... ,Dp+1
are identical andcyclically permuted by
the action ofZ/pZ
we can write:Using
the fact thatAi,2
=Aij
and that1/1,2
=1JI,j
tor all 2 j p + .we
get:
On the other hand :
One may check
easily
that03A3v-203BBi,jP1,Di,j(v) ~
0 modulo p. ThusG(v)
is zero modulo p. A similarcomputation
shows that:Therefore:
H(v) == v203BB(v-1 - v)pP2,D1(v)(P0,D2(v))p
modulo p. This ends theproof
ofProposition
5.2.Proof.
- It is easy to see that the result is true in the caseDo
has twocomponents.
IfDo has p
+ 1components Dl, D2,
...,Dp+1,
thenDl
is a(p, q)-lens diagram
with lesscrossings
thanDo.
ThusP2,Dl E I",q by
theinduction
assumption. Moreover,
an easycomputation
showsthat p
dividesthe
total linking
number À.According
toProposition
5.2 we have:Obviously, V2À(V-1 - v)p(P0,D2(v))p belongs
to0393’p,q. Therefore,
the secondterm in the
previous identity belongs
to the modulerp,q . Consequently, P2,D+
E0393’p,q
if andonly
ifP2,D-
Erp,q.
Notation. -
Throughout
the rest of this paper, we denoteby D+ ~
D- the
operation
that consists ofmodifying
pcrossings
to transform thediagram D+
into thediagram
D_ or vice-versa.The
following
twolemmas, explain
how to use theoperation D+ ~
D-to transform a lens
diagram
D into a torus knot. Details about these tech-niques
can be found in[4].
LEMMA 5.4. 2013
Every (p, q)-lens diagram
may be transformed into a(p, q)-lens
closed braidby
a series ofoperations D+ ~
D- without increas-ing
the number ofcrossings.
LEMMA 5.5. 2013 Let B be an n-braid. The
(p, q)-lens
braidBPç2q
maybe transformed into the torus knot
T(n,
nq +p) by
a series ofoperations D+ ~ D_.
It remains now to
explain
how to extract a finite set ofgenerators
for the module0393’p,q.
Ourapproach
here will be based on some combinatorialelementary properties
of torus knots.Namely,
we shalladapt
theD+ ~
D-operation
todiagrams
of torus knots.Therefore,
an easy induction will end theproof
of Theorem 2.1. We refer the reader to[4]
for more details.6. More
applications
This section is devoted to some
applications
of Theorem 2.1. As ex-plained
earlier in this paper, we can use the criterion Theorem 2.1provides
to decide if a knot K is not a
(p, q)-lens
knot. Let us first recall that in[4],
we introduced a criterion for free
periodicity using
the first coefficient of the HOMFLYpolynomial P0,K (this
criterion will be called thePo-criterion).
In the case p =
5,
this criterion writes as follows:The
Po-criterion
If K 1s a
(5,1)-lens knot,
thenPK = 03A3 a2iv2i
with al0k+4 =2al0k+2
and aiok+6 =
2al0k+8
for all k E Z.Our aim here is to understand how
powerful
is the criterion introduced in section 2 indetecting
freeperiodicity. Namely,
we shall compare the condition obtained in thepresent
paper to thePo-criterion.
Todo,
let usapply
both of them to the 84 knots with less than 9crossings.
This isexplained
in thefollowing
table where:The first column
gives
theprime
knotaccording
to the notations usedin
[12].
The second column
(resp.
thethird) provides
informations about thePo-criterion (resp.
theP2-criterion
introducedby Corollary 2.2)
as follows:D means that the criterion decides that the knot is not a
(5,1 )-lens
knot.ND means that the criterion does not decide that the knot is not a
(5,1 )-
lens knot.
Bibliography
[1]
CHBILI(N.),
On the invariants of lens knots, Proceedings of knots 96, World Scientific Publishing Co, p. 365-375(1997).
[2]
CHBILI(N.),
Le polynôme de Homfly des n0153uds librement périodiques, C. R. Acad.Sci. Paris t. 325, Série I, p. 411-414
(1997).
[3]
CHBILI(N.),
The Jones polynomials of freely periodic knots, Journal of Knot Theory and its Ramifications9(7),
p. 885-891(2000).
[4]
CHBILI(N.),
The skein polynomial of freely periodic knots, Topology Appl.121/3,
p. 535-542
(2002).
[5]
HARTELY(R.),
Knots with free period, Can. J. Math.XXXIII(1),
p. 91-102(1981).
[6]
FREYD(P.),
YETTER(D.) ;
HOSTE(J.) ;
LICKORISH(W.B.R.),
MILLETT(K.) ;
OCNEANU
(A.),
A new polynomial invariant of knots and links, Bulletin of the American Mathematical Society12(2),
p. 239-246(1985).
[7]
JONES(V.F.R.),
Hecke algebra representations of braid groups and link polynomials,Annals of Mathematics 126, p. 335-388
(1987).
[8]
KANENOBU(T.),
MIYAZAWA(Y.),
The second and third terms of the HOMFLYpolynomial of a link, Kobe J. Math. 16, p. 147-159
(1999).
[9]
LICKORISH(W.B.R.),
MILLETT(K.C.),
A polynomial invariant of oriented links, Topology 26, p. 107-141(1987).
[10]
PRZYTYCKI(J.H.),
On Murasugi’s and Traczyk’s criteria for periodic links, Math.Ann. 283, p. 465-478
(1989).
[11]
PRZYTYCKI(J.H.),
An elementary proof of the Traczyk-Yokota criteria for periodic knots, Proc. Amer. Math. Soc. 123, p. 1607-1611(1995).
[12]
ROLFSEN(D.),
Knots and Links, Mathematics Lecture Series, Publish or Perish,Inc. Houston, Texas,
(1990).
[13]
RUBINSTEIN(J.H.),
An algorithm to recognize the 3-sphere, Proc. Int. Con. Math.Zürich, p. 601-611
(1994).
[14]
TRACZYK(P.),
A criterion for knots of period 3, Topology appl 36, p. 275-281(1990).
[15]
TRACZYK(P.),
Periodic knots and the skein polynomial, Invent. math.106(1),
p. 73-84