arXiv:math/0201260v1 [math.GT] 27 Jan 2002

arXiv:math/0201260v1 [math.GT] 27 Jan 2002
N
uds non concordants a un C -bord.
M .B O ILEA U et L.R U D O LPH 1
R ESU M E
U n entrelacs orient e L dans S3 est un C -bord s’ilborde dans la boule B 4 un
m orceau de courbe alg ebrique. En utilisant la preuve r ecente de K ronheim er et
M row ka de la C onjecture de T hom ,on construitbeaucoup de nceudsorient esquine
sontpasconcordantsa un C -bord.D ansle casou S 3 estle bord strictem entpseudoconvexe de B 4,en utilisant Ie polynom e a deux variables H O M FLY ,on donne une
obstruction pour un entrelacs a etre un C -bord.
A B ST R A C T
A n oriented knot L in S 3 is a C -boundary if it bounds a piece of algebraic
curve in the ball B 4 . U sing K ronheim er and M row ka’s recent proof of the T hom
C onjecture, we construct m any oriented knots w hich are not concordant to a C boundary.W e use the two-variable H O M FLY polynom ialto give an obstruction to
a knot’s being a C -boundary in a strictly pseudoconvex S 3 .
1
Partially supported by N SF grant D M S-9504832.
N
uds non concordants a un C -bord.
M .B O ILEA U et L.R U D O LPH
x0 -Introduction.
U n entrelacsestune r eunion nie de cerclesdisjointsplong esde fa con lisse dans
la sph ere S3.U n n ud est un entrelacs connexe.
En identi ant S3 avec le bord d’une sph ere ronde dans C2 ;f(z;!) 2 C 2 j
jzj2 + j!j2 = R 2g on peut construire beaucoup d’entrelacs int eressants com m e intersection transverse de S 3 avec une courbe alg ebrique plane, par exem ple : les
entrelacs alg ebriques des singularit es isolees de courbes alg ebriques planes lorsque
R < < 1 ([EN ];[Le];[M i]);lesentrelacs a l’in nidecourbesalg ebriquesplaneslorsque
R > > 1 ([N e];[N R ];[R 1]), m ais aussi beaucoup d’autres entrelacs com m e les entrelacs adm ettant une pr esentation sous form e de tresses ferm ees quasipositives
([R 2 ];[R 3 ];[R 4];[R 5 ];[R 6 ];[R 7 ];[R 8]).
C eciconduit a donner la d e nition suivante :
0.1. D e nition. O n dit qu’un entrelacs oriente L dans 3S est un C -bord s’il
existe une boule lisse B 4
C 2 et une courbe algebrique plane eventuellem ent singuliere V
C2 qui rencontre transversallem ent @B 4 et telle que les paires (S 3;L)
et(@B 4 ;@B 4 \ V ) soientdi eom orphes par un di eom orphism e preservantles orientations ; la paire (@B 4 ;@B 4 \ V ) etant naturellem ent orientee par l’orientation
com plexe de B 4 etde V .
D ans ([R 4]) le second auteur a m ontr e que l’on peut r ealiser toute m atrice de
Seifert d’un entrelacs orient e,com m e m atrice de Seifert d’un entrelacs quasipositif,
en particulier d’un C -bord.Ils’en suit qu’aucun invariant calculable a partir d’une
m atrice de Seifert ne peut dire siun entrelacs orient e est un C -bord,nim ^
em e s’il
est concordant a un C -bord.
Le but de cette note est d’utiliser la preuve r ecente par K rohneiner et M row ka
[K M 1;2](cf.aussi[R 12 ],[R 13 ])de la conjecture de T hom locale (ou bien,leurpreuve
plus r ecente -et peut-^
etre plus sim ple -de la conjecture de T hom globale ([K M 3 ]))
pourconstruire beaucoup de n udsorient esquine sontpasconcordants a un n ud
C -bord.
1
0.2.R em arques.
4
1) D ans la d e nition d’un C -bord,on n’im pose pas a la boule lisse B
d’avoir un bord strictem ent pseudo-convexe.
C2
D ans le cas o u le bord de la boule B4 est strictem ent pseudo-convexe,on dira
que l’entrelacs orient e L est un spc-C -bord. C ’est le cas de tous les entrelacs C bords connus actuellem ent,et en particulier des entrelacs alg ebriques,des entrelacs
a l’in nides courbes alg ebriques planes et des entrelacs quasipositifs.
Ilest im portant de noter que l’existence d’invariants,perm ettant de d ecider si
un n ud ou entrelacs orient e est un C -bord,reste un problem e ouvert.Par contre,
le polyn^
om e a 2 variablesH O M FLY perm etde donnerune condition n ecessaire pour
qu’un entrelacs orient e soit un spc-C -bord (cf. x3). C ette condition etait connue
pour les entrelacs quasipositifs [R 7];[R 9 ];[R 10 ].
2) Lorsque @B 4 est strictem ent pseudo-convexe,on dit qu’un plongem ent lisse
d’une fam ille disjointe de cercles dans @B 4 est polynom ialem ent convexe sison
enveloppe convexe polynom iale dans C 2 est r eduite a .A vec cette term inologie,
d’apr es Stolzenberg [St],un spc-C -bord est un entrelacs quiadm et un plongem ent
lisse dans @B 4 quin’est pas polynom ialem ent convexe.U n des buts de cette note
est donc de construire des n uds dans @B 4 pour lesquels tout plongem ent est
polynom ialem ent convexe. En g en eral un plongem ent d’un n ud dans @B4 est
seulem ent g en eriquem ent polynom ialem ent convexe (cf.[Sch]).
x1 -C -bord et grand genre de M urasugi.
Le but de ce paragraphe est d’etudier le com portem ent du grand genre de
M urasugi(cf.[B W ]) des C -bord sous l’op eration de som m e connexe.
N ous com m en cons par rappeler la d e nition d’une concordance entre deux entrelacs orient es,ainsique celle du grand genre de M urasugi.
1.1. D e nition.D eux entrelacs orientes 0L et L 1 sont dits concordants s’ilexiste
ar
un plongem entlisse : Si1 [0;1]! S 3 [0;1]telque :
i= 1
ar
i)
1
(S
3
f0g)=
Si1
f0g = L 0
i= 1
2
ar
1
(S
3
f1g)=
Si1
f1g = L 1
i= 1
ii) le bord oriente de la paire (S3 [0;1];Im
)est(S3 f0g;L 0)q (S 3 f1g; L 1).
O n sait calculer a partir d’une form e de Seifert d’un entrelacs orient e des invariants de concordance,com m e la signature.D ans cette note nous utiliserons un
invariantplusg eom etrique,m aisaussiplusdi cile a calculer,quiestle grand genre
de M urasugi(ou grand genre dans la boule B 4) d’un entrelacs orient e.
Etantdonn e un entrelacsorient e L dansS3 vu com m e le bord de la boule B 4 ,il
existe des surfaces com pactes orient ees 2 proprem ent plong ees de fa con lisse dans
B 4 et dont le bord orient e est L.U ne telle surface est appelee surface de M urasugi
lisse de l’entrelacs orient ee L ([M u],cf.aussi[B W ]).
Pourune surface a bord 2 ,on appelle grand genre de 2 ,eton note G ( 2),le
genredela surfaceferm eeobtenueen collantun disquetrou elelong descom posantes
du bord de 2 . O n a alors la relation suivante avec la caract eristique d’Euler de
2
: ( 2) = r 2G ( 2),o u r est le nom bre de com posantes connexes de bord de
2
.
1.2. D e nition. Soit L un entrelacs oriente dans 3S, on appelle grand genre de
M urasugi de L, et on note M (L), le plus petit des grands genres des surfaces de
M urasugilisses pour L.(cf.[B W ]).
C lairem ent,le grand genre de M urasugid’un entrelacs orient e est un invariant
de la classe de concordance lisse de cet entrelacs.D ans le cas d’un n ud,ils’agit
du genre de M urasugiclassique (cf.[M u]).
R ecem m ent,P.K ronheim eretT .M row ka ([K M 1;2],cf.aussi[K M 3 ])ontd em ontr e le r esultat suivant :
1.3.T h eor em e ([K M1;2 ]).SoientV une courbe algebrique lisse dans C2 transverse
au bord d’une boule B 4 plongee de fa con lisse dans C2 et L = @B 4 \ V un C -bord
dans @B 4.A lors M (L)= G (V \ B 4 ).
U ne application surprenante de ce r esultat est la propriet e suivante qui est
cruciale pour construire des entrelacs quine sont pas concordants a des C -bords.
1.4. P roposition. Soit L 1# L 2 la som m e connexe de deux entrelacs orientes concordants a des C -bords.A lors M (L1# L 2 ) M (L 1)+ M (L 2 ) 1.
3
P reuve.Puisque l’op eration de som m e connexe estcom patible avec la relation
de concordance,ilsu t de d em ontrer la proposition dans le cas o u L1 et L 2 sont
[r1
[r1
K j;2 deux C -bords.Soit L 1# L 2 la
K i;1 et L 2 =
des C -bords.Soient L 1 =
j= 1
i= 1
[r2
[r1
som m e connexe de L 1 et L 2 telle que L 1# L 2 = K 1;1 # K 1;2 [
K i;1 [
i= 1
K j;2.
j= 2
O n peut alors construire un cobordism e lisse W 2 dans S 3 [0;1]entre L 1 # L 2
dansS 3 f0g etl’entrelacsscind eL1 q L 2 dansS 3 f1g.C e cobordism e,proprem ent
3
plong e de fa con lisse dans S
[0;1],est la r eunion disjointe d’une surface planaire
ayant 3 com posantes de bord (K 1;1 # K 1;2 )[ K 1;1 [ K 1;2 et d’anneaux joignant les
autres com posantes de L 1# L 2 aux com posantes correspondantes de L 1 q L 2.(cf.
Figure o u r1 = r2 = 1).
4
Soit 2 une surface lisse proprem ent plong ee dans
[ B ,de bord L 1 # L 2 et de
grand genreG ( 2)= M (L 1 # L 2).A lors,la surface 2
W 2 bordel’entrelacsoriL 1# L 2
[
ent escind eL1 q L 2 dansB
04
= B
4
S
@B
2
l’in egalit e :M (L1 # L 2)= G ( )
4=
S3
3
[0;1].Ilen d ecouleim m ediatem ent
f0g
M (L 1 q L 2)
1.
Puisque L 1 etL 2 sontdesC -bords,l’entrelacsorient e scind e L1 q L 2 estun C bord,bord dela r eunion (disjointe)desdeux m orceaux decourbesalg ebriquesplanes
bord eesparL1 etL 2 dansB 4.Le r esultatde K ronheim eretM row ka (T heorem .1.3)
4
entra^ ne alors que M (L1 q L 2 ) = M (L 1 )+ M (L 2).D ’o u l’in egalit e M (1L# L 2 )
M (L 1)+ M (L 2) 1.
1.5. R em arque : L’in egalit e obtenue dans la proposition 1.4 donne une grande
restriction sur les classes de concordances des C -bords.En g en eral,M (L) 1 est
loin d’^
etre suradditifpar som m e connexe.U n exem ple frappant (quisera exploit e
dans la construction des n uds non concordants a un C -bord) est le fait que pour
un n ud quelconque K ,M (K # K ) = 0,o u K est obtenu en prenant l’im age de
K dans un m iroir et en renversant son orientation (cf.2.1).En particulier,on a le
corollaire im m ediat de la proposition 1.4.
1.6. C orollaire. Soit K un C -bord, alors K est soit nulconcordant, soit d’ordre
in nidans le groupe de concordance lisse des n uds orientes de S3.
P reuve.Soit K un C -bord.SiK est d’ordre nip dans le groupe de concordance lisse desn udsorient esde S3 ,alors0 = M (K # K #
# K ) pM (K ) (p
1);d’o u M (K )= 0 et K est nulconcordant.
1.7. R em arque. D ans [R 12 ],le second auteur m ontre que les doubles it er es non
torduspositifs,d’une tresse positive sontdesn udsfortem entquasipositifs,en particulier des C -bords.D e m ^
em e les n uds de bretzelK (p;q;r) tels que p;q;r sont
prem iers,di erentsde 1 etv eri entqr+ rp+ pq = 1,sontdesC -bords,(cf.[
R]).
12
C esn udsontla propriet e d’avoirun polyn^
om e d’A lexandertrivialetdonc,d’apr es
M .Freedm an [F],sont topologiquem ent nulconcordants,c’est-a-dire bordent dans
B 4 un disque topologique localem ent plat,proprem ent plong e.
D ans [R 12 ][R 13 ],le second auteur m ontre que ces n uds ne sont pas nulconcordants de fa con lisse.Ild ecoule du C orollaire 1.6.que tous ces n uds sont en fait
d’ordre in nidans le groupe de concordance lisse.
En fait, il existe un hom om orphism e naturel du groupe de concordance lisse
K D iff dans le groupe de concordance topologique localem ent plate K T op ,dont le
noyau contient des elem ents d’ordre in ni (cf.[C G ], [G o]). Le C orollaire 1.6 perm et ainsid’exhiber beaucoup d’elem ents d’ordre in nidans ce noyau.La question
suivante est a notre connaissance toujours ouverte (cf.[C G ],[G o]).
Q uestion 1. Le noyau de l’hom om orphism e naturel h : K D iff !
contient-ilun sous-groupe abelien de rang in ni?
C ette question est liee a la question suivante :
5
K T op
Q uestion 2.D eux n uds K etK 0,fortem entquasipositifs etquisont concordants dans la categorie lisse,sont-ils equivalents (i.e.existe-t-ilun di eom orphism e
preservantl’orientation de S3 etenvoyantK sur K 0)?
1.8.R em arque.U ne r eponse positive a la question 2 im plique une r eponse positive
a la question 1.
R appelons qu’un n ud ou entrelacs orient e L est dit fortem ent quasipositif
s’ilest le bord d’une surface de Seifert dans S 3 obtenue com m e surface tress ee (ou
de M arkov) a partir d’une pr esentation en tresse ferm ee quasipositive de L (cf.
[R 3 ];[R 6];[R 8 ];[R 11 ]):
U ne r eponse positive a la question 2 im plique que le noyau de l’hom om orphism e
h : K D iff ! K T op contient le sous-groupe ab elien de rang in ni engendr e par
tous les n uds fortem ent quasipositifs de polyn^
om e d’A lexander trivial.En e et,
d’apr es le C orollaire 1.6 tous ces n uds sont d’ordre in ni dans KD iff (cf. aussi
[R 12 ];[R 13 ]):Ils sont de plus lin eairem ent ind ependants puisque la som m e connexe
de deux n uds fortem ent quasipositifs est un n ud fortem ent quasipositif.D ’autre
part cette fam ille de n uds est in nicar elle contient tous les doubles positifs non
tordus des n uds toriques Tp;q (cf[R 12 ]):
Pour un entrelacs L fortem ent quasipositif, on sait que son m iroire L n’est
jam ais quasipositif.D ans le cas des C -bords on a :
1.9. C orollaire.Soit L un C -bord dans S 3. Si le m iroire L de L est un C -bord,
alors L estun entrelacs nulconcordant,c’est-a-dire M (L)= 0.
P reuve.SiL et L sont des C -bords,alors :
0 = M (L# L )
x2 -N
M (L)+ M (L )
1 = 2M (L)
1;d’o u M (L)= 0.
uds non concordants a un n ud C -bord.
D ans cette section nous ne consid erons que des n uds orient es.
2.1. D e nition. Soit K un n ud oriente dans 3S, on note K le n ud oriente
dans S 3 obtenu en prenant l’im age de K par un di eom orphism e de S3 renversant
l’orientation de S 3 eten renversantson orientation.
K1
O n rappelle l’op eration de som m e connexe par bande de deux n uds orient es
et K 2 .
6
2.2. D e nition. Soient K1 et K 2 deux n uds orientes plonges dans S3 de fa con
qu’ilexiste une sph ere S2 quilessepare.Soientl’intervalle I = [0;1]etb :I I ! S3
un plongem ent lisse tel que b 1 (K 1 ) = f0g [0;1], b 1 (K 2 ) = f1g [0;1] et les
orientations sur K 1 et K 2 sont com patibles avec l’orientation de I I.O n appelle
som m e connexe par bande b de K 1 etK 2 ,le n ud oriente
K 1 # bK 2 =
K1q K2
b b 1 (K 1 q K 2 )
[ b(I
I :
D ansle caso u l’im age de la bande Im b rencontre la sph ere S2 quis epare K1 de
K 2 uniquem ent le long d’un arc de la form e b(
I),on obtient la som m e connexe
usuelle K 1 # K 2 de K 1 et K 2.Q uelle que soit la bande b,le n ud orient e K1# bK 2
est concordant a K1 # K 2 .M ais,en g en eralK1 # bK 2 est un n ud prem ier.
N ous pouvons m aintenant enoncer :
2.3. T h eor em e. Soit K un n ud oriente quelconque dans 3S. Soit J un n ud
oriente concordant a un C -bord, et tel que M (J) > M (K ). A lors aucune som m e
connexe par bande K # bJ n’est concordante a un C -bord.
P reuve. Puisque K # bJ est concordant a K # J , il su t de d em ontrer le
th eor em e pour K # J.Supposons que K # J est concordant a un C -bord.A lors,
puisque J est concordant a un C -bord,la proposition 1.4 entra^ ne l’in egalit e :
M (K # J )# J
M (K # J )+ M (J) 1.
D ’autre part, com m e la som m e connexe est associative, (K # J )# J =
K # (J # J). O r J # J est nul concordant, d’o u K # (J # J) est concordant a K
et M (K # J )# J = M (K ).
O n obtient donc M (K ) M (J)+ M (K # J ) 1,ce quicontreditl’hypoth ese,
puisque M (K # J ) 1 et M (J)> M (K ).
La construction donn ee par le T h eor em e 2.3 perm et de m ontrer :
2.4. C orollaire. Il existe des n uds orientes, prem iers, d’ordre in ni dans le
groupe de concordance lisse tels que niK ,niK ne sont concordants a un C -bord.
P reuve. Soient K 1 et K 2 deux C -bords tels que M (K 1 ) = M (K 2 ) et
M (K 1 # K 2 ) 2.D ’apr es [K L]ilexiste un n ud K prem ier concordant a K1 # K 2 .
7
La d em onstration du T h eor em e 2.3 m ontre que K n’estpasconcordant a un C -bord.
Dem ^
em e,puisque K estconcordant a K1 # K 2 ,la d em onstration du T h eor em e 2.3
im plique que K n’est pas concordant a un C -bord.
N ous allons construire d’autres exem ples de n uds non concordants a un C bord par la m ethode de satellisation.
Soit K un n ud orient e dans S3 et J un n ud orient e dans un tore solide
standard,non nou e et plong e dans S3 .O n peut aussiconsid erer J com m e un n ud
orient e dans S3. Soit N (K ) un voisinage tubulaire de K et f : V ! N (K ) un
di eom orphism e pr eservant l’orientation et quienvoie la longitude standard de V
sur celle du n ud K .O n note alors K (J) le n ud orient e dans S3 obtenu com m e
l’im age f(J) de J par f dans N (K ) S 3.
O n appelleordredeJ dansV ,le nom bre m inim altde pointsd’intersection de J
avec un disque m eridien de V .O n appelle nom bre de toursde J dansV ,le nom bre !
d’intersection alg ebrique de J avec un disque m eridien de V .O n ditalorsque K (J)
est obtenu par satellisation de J le long de K avec ordre tet nom bre de tours !.
O n obtient la condition n ecessaire suivante pour qu’un n ud obtenu par satellisation ne soit pas concordant a un C -bord :
2.5.T h eor em e.SoitK un n ud oriente dans3S.SoitJ un n ud oriente dans un
tore solide non nou e standard V ,d’ordre tetde nom bre de tours !.O n suppose que
J en tant que n ud dans S 3 est concordant a un C -bord et que l’on a l’in egalite
M (J)> j!jM (K )+ 21 (t j!j)+ 1.A lors le n ud oriente K (J),obtenu par satellisation de J le long de K avec ordre t etnom bre de tours !,n’est pas concordant a
un C -bord.
P reuve. Supposons que K (J) est concordant a un C -bord. Puisque J
est concordant a un C -bord, la proposition 1.4 im plique que M K (J)# J
M K (J) + M (J ) 1. D ’autre part, on peut e ectuer la som m e connexe avec
J dans une petite boule contenue dans le voisinage tubulaire N (K ) de K , d’o u
K (J) est equivalent a un n ud obtenu en satelisant J# J autour de K avec un
ordre tet un nom bre de tours !,que l’on notera K (J# J ).
D ’apr es [Sh];puisque J# J est nulconcordant,on a l’in egalit e M K (J# J )
j!jM (K )+ 21 (t j!j).D ’o u l’in egalit eM K (J) + M (J ) j!jM (K )+ 21 (t j!j)+ 1,
quicontredit l’hypoth ese puisque M (J )= M (J) et M K (J)
0.
8
N ous allons appliquer le T h eor em e 2.5 a des satellisations particulieres.
R appelons que pour p 2 Z et q 2,le (p;q) cable d’un n ud orient e K est le
n ud K (p;q) obtenu par satellisation du n ud torique T (p;q) autour du n ud K
avec ordre et nom bre de tours t= j!j= q 2.D e plus,T (p;q)= T ( p;q).
2.6.C orollaire.SoientK un n ud oriente quelconque dans S3,p etq deux entiers
2 tels que (p 1)(q 1)> 2qM (K )+ 1.A lors le ( p;q) cable,K ( p;q),de K
n’est jam ais concordant a un C -bord. En particulier il existe des n uds toriques
iteres quine sontpas concordants a un C -bord.
P reuve. D ’apr es [K M 1;2 ], (cf. T h eorem . 1.3), M T(p;q) = 21 (p 1)(q 1).
C om m e t= j!j= q,la condition (p 1)(q 1) > 2qM (K )+ 1 equivaut a celle du
T h eor em e 2.5.
N ous allons m aintenant consid erer le cas des n uds doubles.R appelons que le
double (au sensde W hitehead [W h]),D (K ;"),d’un n ud K ,correspond au n ud
satellite K (W ;"), o u le n ud W ;" dans le tore solide standard V correspond au
bord d’un disque avec un clasp de signe " = + ou et adm ettant tours com plets
com m e sur la gure.
D ’apr es [R8], le n ud orient e W ;" est quasipositif,donc un C -bord,lorsque
" = + et < 0.D e plus le second auteur a m ontr e [R5]que pour tout n ud orient e
K , il existe un entier q(K ) tel que pour tout entier
q(K ), le n ud orient e
9
D (K ; ;+ ) est quasipositif q(K ) est le m odule de quasipositivit e de K , ou bien
l’invariant de T hurston B ennequin T B (K );cf:[R 13 ] .
D ans le cas des doubles n egatifs D (K ; ; ) nous avons :
2.7. C orollaire. Le double n egatifD (K ; ; ) d’un n ud oriente nulconcordant
K ,avec > 0 tours,n’estjam ais concordant a un C -bord.
P reuve. Le n ud oriente W ;
> 0 est un n ud qui a pour signature
(! ; )= 2.Iln’est donc pas nulconcordant.C om m e D (K ; ; ) et W ; ont les
m^
em esinvariantsd’A lexander,ilen d ecoulequeD (K ; ; )n’estpasnulconcordant,
et donc M D (K ; ; ) = 1.
Si on suppose que D (K ; ; ) est concordant a un C -bord pour > 0, la
preuve du T h eor em e 2.4 m ontre que :M D (K ; ; )# W ;
M D (K ; ; ) +
M (W ; ) 1 car W ; = W ;+ est un C -bord [R 5].
C om m e W ; n’est pas nulconcordant,M (W
M D (K ; ; )# W ;
1.
;
)= M (W
;
)= 1.D ’o u
D ’un autre c^
ot e D (K ; ; )# W ; est obtenu par satellisation d’ordre 2 et de
nom bre de tours 0 du n ud W ; # W ; le long du n ud nulconcordant K .
Ild ecoule de [Sh]que :M D (K ; ; )# W
tion.
;
= 0,ce quidonne la contradic-
x3 -U ne obstruction a ^
etre un spc-C -bord.
Pour l’instant,tous les entrelacs C -bordsconnus v eri enten faitune condition
plus restrictive quien fait des spc-C -bords.
3.1.D e nition.O n ditqu’un entrelacs oriente L estun spc-C -bord s’ilestobtenu
com m e intersection transverse d’une courbe algebrique plane dans C2 et du bord
strictem entpseudo-convexe d’une boule lisse B 4 C 2 .
B ien qu’on ne connaisse aucun exem ple explicite, il serait etonnant que tout
C -bord soit un spc-C -bord. O n ne connait aucune obstruction num erique pour
un entrelacs orient e a ^
etre un C -bord.Par contre, la condition de stricte pseudoconvexit e du bord de la boule B4 dans la construction des spc-C -bords perm et
10
d’etendre au cas des spc-C -bords une obstruction d eja connue pour les entrelacs
quasipositifs (cf.[R 9]):C e r esultat conforte en particulier la conjecture suivante du
second auteur :
C onjecture. U n entrelacs oriente qui est un spc-C -bord adm et une presentation
sous form e de tresse ferm ee quasipositive.
D ans ce paragraphe on d em ontre cette conjecture pour certains entrelacs arborescents altern es,et en particulier pour les entrelacs a 2 ponts.
L’obstruction a ^
etre un spc-C -bord utilise le polyn^
om e a 2 variables d’un entrelacsorient e (H O M FLY ),nouscom m en consparrappelersa d e nition en utilisant
pour les variables les notations de [M o](cf.[R 9 ][R 10 ]):
SoitL un entrelacsorient e dansS3.O n note P L (v;z)2 C [v 1 ;z 1 ]lepolyn^
om e
de Laurent a 2 variables (ou polyn^
om e H O M FLY ) associe a l’entrelacs L et d e ni
r ecursivem ent par :
L
L0
L
L + ;L etL 0 sonttrois entrelacsdontlesprojectionssontidentiques,except e en un
seulcroisem ent com m e indiqu e sur la Figure.
P 0 (v;z)= 1,si0 est le n ud trivial
P L + (v;z)= vzP L 0 (v;z)+ v2 P L (v;z).
En consid erantPL (v;z)com m e un polyn^
om ede Laurenten v a coe cientsdans
1
D
i
C [z ],on obtient :P L (v;z)= i= d gi(z)v ,gi(z)2 C [z 1 ].
O n d e nit alors O rd
v P L = d,la valuation en v de P L .Le T h eor em e suivant
perm et de relier O rdv P L et le grand genre de M urasugi M (L), lorsque L est un
spc-C -bord.
11
3.2. T h eor em e [B R ]. Soit L un entrelacs oriente dans 3S ayant r com posantes
connexes.SiL estun spc-C -bord,alors O rdv P L
1 r + 2M (L).
P reuve.SoitL = @B 4 \ V un spc-C -bord,o u V
C2 estunecourbealg ebrique
transverse au bord strictem ent pseudo-convexe de la boule B 4 C 2.
O n peut toujour supposer, apre es une petite perturbations, que V est lisse.
Puisque B 4 est a bord strictem ent pseudo-convexe, la structure com plexe de C2
induit sur @B 4 la structure de contacte canonique [El]. Par construction, L est
un entrelacs transverse a cette structure de contact. O n obtient ainsi (apr es une
isotopie transverse [B e, T hm 10]) une pr esentation en tresse ferm eee de L qui
e) n(e) =
v eri e la relation (cf. [La], [B e], [Sch]) : e(
(V \ B 4 ), o u e(e)
est la longueur alg ebrique de la tresse e et n(e) son nom bre de brins. D ’apr es
K rohneim er-M row ka [K M 1;2 ](cf.T h eor em e 1.3) (V \ B4 ) est la plus grande des
caract eristiques d’Euler des surfaces lisses proprem ent plong ees dans B4 et de bord
L.D ’o u, (V \ B4 )
2M (L).
i= r
D ’apr es l’in egalit e de Frank-W illiam s [FW ]et M orton [M o],O rd
e(e)
vPL
n(e) + 1, pour toute pr esentation en tresse ferm eee de L. O n en d eduit alors
l’in egalit e cherch ee.
Le C orollaire suivant est im m ediat :
3.3. C orollaire. Soit L un entrelacs orientee dans S3 ayant r com posantes de
bord.SiL estun spc-C -bord,alors O rdv P L
1 r.
D ans le casd’un n ud K ,si (K ) d esigne la signature de K ,d’apr esK .M urasugi[M u],on a j (K )j 2M (K ).D ’o u,on obtient :
3.4. C orollaire.Soit K un n ud oriente dans S3 . Si K est un spc-C -bord, alors
O rd v P K
j (K )j.
N ousappliquonsm aintenantla Proposition 3.2 a unefam illed’entrelacsorient es
arborescents altern es quicontient en particulier les entrelacs a 2 ponts.
R appelons d’abord l’op eration de plom bage.D ans ce quisuit on note A (0;n)
la surface de Seifert form ee par une bande orient ee d’a
^m e non nou ee et tordue par
2n dem i-tours positifs si n
0 et n egatifs si n
0. Le bord de la bande porte
12
l’orientation induite par celle de la bande.Par exem ple,A (0; 1) d esigne la bande
de H opfdont le bord est l’entrelacs alg ebrique de H opf.
Etantdonn e une surfacede SeifertF
S3 orient ee et
F un arc proprem ent
plong e(i.e. \ F = @ ),on noteF A (0;n)la surfaceorient eeobtenueparplom bage
de la bande A (0;n) sur F le long de l’arc ,par la construction suivante :
Soit B 3
S 3 une boule telle que F
B 3 et F \ B 3 = N ( ), un voisinage
r egulierde dansF .O n recole alorsla bande A (0;n) a la surface F le long de N ( )
de telle sorte que :
i) A (0;n)
S3
B3
ii) A (0;n)\ @B 3 = N ( )
iii) @A (0;n)\ @B 3 = @N ( )
@F
iv) chaque com posante connexe de @F \ N ( ) est un arc essentieldans A (0;n).
Etantdonn e un arbre planaire pond er e pardespoidspairs,on peutluiassocier
3
une surface de Seifert orient ee bien d e nie, a isotopie pr es,dans
Set obtenue par
plom bage successifs de bandes tordues A (0;n),n 2 Z ,com m e suit :
- a chaque som m et pond er e e de poids 2n(e), on associe une bande tordue
A (0;n(e)).
- a chaquear^
etecorrespond uneop eration deplom bagedesdeux bandestordues,
associees aux som m ets de l’ar^
ete,le long d’un arc essentielsur chacune des bandes
(cf.Figure).
Etant donn e un arbre planaire pond er e T , on consid ere la fam ille1;
T
k ;T
des sous-arbres de T obtenus en supprim ant toutes les ar^
etes de T qui joignent
deux som m ets ayant des poids de signes oppos es. Tous les som m ets de chacun
des arbres Ti,i = 1;
;k,ont des poids de m ^
em e signe.O n appelle1fT
;
g
k ;T
13
une d ecom position uniform e de T .O n peut alors toujours supposer que les arbres
Ti;i= 1;
;s,ont tous des som m ets de poids positifs,tandis que ceux des arbres
Tj;j = s+ 1;
;k,sont n egatifs.
O n dit qu’un arbre planaire T , pond er e par des poids pairs, est fortem ent
excessifs’ilexiste une d ecom position uniform e fT1;
g de T telle que lespoids
k ;T
2n(e) de chaque arbre Ti;i= 1;
;k,v eri ent :
a) n(e)6
= 0 pour chaque som m et e 2 Ti
b) jn(e)j
v(e)
1 o u v(e) est la valence du som m et e dans Ti.
Par exem ple tout arbre lin eaire,pond er e par des poids pairs et non nuls,est
fortem ent excessif.
3.5. D e nition.O n appelle entrelac arborescent pair,fortem ent excessif,l’entrelacs oriente quiestle bord de la surface de .Seifertorientee,obtenue par plom bages
successifs de bandes tordues,suivant un arbre planaire pond ere par des poids pairs
etfortem entexcessif.(cf.[M P,chap.III]).
Par exem ple,tout entrelacs orient e a 2 ponts est un entrelacs arborescent pair
fortem ent excessif.En particulier tout entrelacs arborescent pair et fortem ent excessifest altern e (cf.[M P,chap.III]).
Pourcette fam ille d’entrelacsorient es,on a une caract erisation desspc-C -bord.
3.6. P roposition. U n entrelacs arborescent pair et fortem ent excessif est un spcC -bord siet seulem ent sitous les poids de l’arbre pond ere associe sont strictem ent
n egatifs.
P reuve.D ’apr es[R8 ];un entrelacsarborescentpairL estfortem entquasipositif
siet seulem entsitous les poidsde l’arbre pond er e associe sontstrictem ent n egatifs.
En particulier un telentrelacs orient e est un spc-C -bord.
Supposonsque L estun entrelacsorient e arborescentpairetfortem entexcessif,
associe a
PL =
X un arbre pond er e T . D ’apr es [M P, chap. III, 12,21] on a : Ovrd
p+ q 2
ni 2s,o u p est le nom bre de som m ets de T de poids n egatifs,q celui
n i> 0
dessom m etsde poidspositifs,2ni > 0 sontlespoidspositifsde T ets estle nom bre
de sous-arbres de la d ecom position uniform e de T dont les som m ets portent des
poids positifs.
14
D ’autre part,puisque L est un entrelacs arborescent pair,on a d’apr es [R8 ]:
M (L) 21 (r 1 + p q).
SiL est un spc-C -bord,ild ecoule de la Proposition 3.2 que :O rdv P L
X
O n en d eduit alors l’in egalit e :2q 2 ni 2s 0.
p
q.
n i> 0
Puisquel’arbrXeT estfortem entexcessif,pourchaque som m etdepoidspositifs2ni
1,d’o u 2q 2 ni 0.Ilen r esulte qu’en faits = 0,etque touslespoidsde l’arbre
n i> 0
pond er e T sont donc strictem ent n egatifs.
O n obtient en particulier com m e corollaire :
3.7. C orollaire. U n entrelacs arborescent pair fortem ent excessif(en particulier
un entrelacs oriente a 2 ponts) est un spc-C -bord siet seulem ent s’ilest fortem ent
quasipositif.
B IB LIO G R A P H IE .
[B e] D .B EN N EQ U IN ,\Entrelacem ents et equations de Pfa ",A st erisque 107-108,
(1983),87-161.
[B R ] M .B O ILEA U etL.R U D O LPH ,\U ne obstruction topologique a ce qu’un n ud
dans le bord strictem ent pseudo-convexe d’une boule B 4 borde un m orceau de
courbe alg ebrique", a para^ tre (1995).
[B W ] M .B O ILEA U etC .W EB ER ,\Le Problem e de J.M ilnorsurle nom bre gordien
desn udsalg ebriques",M ono.n 31 de l’Enseignem entM ath.,N uds,Tresses
et Singularit es,(1983),49-98.
[C G ] T .D . C O C H R A N et R .E.G O M PF,\A pplication of D onaldson’s theorem s to
classicalknotconcordance,hom ology 3-spheres and Property P",Topology 27,
(1988),495-512.
[EN ] D .EISEN B U D et W .N EU M A N N ,\T hree-dim ensionallink theory and invariants ofplane curve singularities",A nnals ofM ath.Studies 110,(1985),Princeton U niversity Press.
[El] Ya.ELIA SH B ER G ,\Filling by holom orphic disks and its applications",London M ath.Soc.Lect.N otes Ser.151 (1991),45-67.
15
[F] M .FR EED M A N ,\A Surgery sequence in dim ension 4 ;the relationsw ith knot
concordance",Invent.M ath.68 (1982),195-226.
[FW ] J. FR A N K S et R . W ILLIA M S, \B raids and the Jones-C onway polynom ial",
T .A .M .S.303 (1987),97-108.
[G o] R .E.G O M PF,\Sm ooth concordance oftopologically slice knots",Topology 25
(1986),353-373.
[K L] R . K IR B Y et W . LIC K O R ISH \Prim e knots and concordance" M ath. Proc.
C am bridge Philos.Soc.86 (1979),437-441.
[K M
1;2 ] P.K R O N H EIM
ER etT .M R O W K A ,\G auge theory forem bedded surfaces",I
:Topology 32 (1993),773-826 -II :to appear in Topology.
[K M 3 ] P.K R O N H EIM ER et T .M R O W K A ,\T he genus ofem bedded surfaces in the
projective plane",M ath.R es.Letters 1 (1994),797-808.
[La] H .LA U FER ,\O n the num ber ofsingularities ofan analytic curve",T .A .M .S.
186 (1969),527-535.
[L^
e] LE D .T .,\Sur les n uds alg ebriques",C om positio M ath.25 (1972),281-321.
[M i] J.M ILN O R ,\Singular points ofcom plex hypersurfaces",A nn.ofM ath.Studies 61 (1968),Princeton U niversity Press.
[M o] H .M O RT O N \Seifert circles and knot polynom ials",M ath.Proc.C am b.Phil.
Soc.99 (1986),107-110.
[M u] K .M U R A SU G I \O n certain num ericalinvariant of link types" T .A .M .S.117
(1965),387-422.
[M P] \K .M U R A SU G IetJ.H .PR ZY T Y C K I,\A n Index ofa G raph w ith A pplications
to K not T heory" M em oirs ofA .M .S.508 -Vol.106 (1993).
[N e] W .N EU M A N N ,\C om plex algebraic plane curves via their links at in nity",
Invent.M ath.(1989),445-489.
[N R ] W .N EU M A N N etL.R U D O LPH ,\U nfoldingsin knottheory",M ath.A nnalen
278 (1987),409-439 ;corrigendum ibid.(1988).
[R 1 ] L.R U D O LPH ,\Em beddings of the line in the plane",J.R eine A nge.M ath.
337 (1982),113-118.
[R 2 ] L. R U D O LPH ,\A lgebraic functions and closed braids",Topology 22 (1983),
191-202.
16
[R 3 ] L.R U D O LPH ,\B raided surfacesand Seifertribbonsforclosed braids",C om m .
M ath.H elv.58 (1983),1-37.
[R 4 ] L. R U D O LPH , \C onstruction of quasipositive knots and links I", M ono. n
31 de l’Enseignem ent M ath.,N uds,Tresses et Singularit es,(1983),233-345.
[R 5 ] L. R U D O LPH , \C onstruction of quasipositive knots and links II, C ontem p.
M ath.35 (1984),485-491.
[R 6 ] L.R U D O LPH ,\A characterisation ofquasipositive Seifert surfaces (C onstuctions ofquasipositive knots and links III),Topology 31 (1992),231-237.
[R 7 ] L. R U D O LPH , \Q uasipositive A nnuli (C onstructions of quasipositive knots
and links IV ),J.K not T heory R am if1 (1993),451-466.
[R 8 ] L.R U D O LPH ,\Q uasipositive plum bing (C onstructions ofquasipositive knots
and links V ),preprint (1990,1995).
[R 9 ] L.R U D O LPH ,\A congruence between link polynom ials",M ath.Proc.C am b.
Phil.Soc.107 (1990),319-327.
[R 10 ] L. R U D O LPH , \Q uasipositivity and new knot invariants" R ev. M at. U niv.
C om plutense M adrid 2 (1989),85-109.
[R 11 ] L.R U D O LPH ,\Specialpositions for surfaces bounded by closed braids",R ev.
M ath.Iberoam ericana 1 (1985),93-133.
[R 12 ] L. R U D O LPH , \Q uasipositivity as an obstruction to sliceness", B ull. A m .
M ath.Soc.29 (1993),51-59.
[R 13 ] L.R U D O LPH ,\A n obstruction to slicenessvia contactgeom etry and ‘classical’
gauge theory",Invent.M ath.119 (1995),155-163.
[R 14 ] L.R U D O LPH ,\Totally tangentiallinksofintersection ofcom plex plane curves
w ith round spheres",Topology ’90,de G ruyter (1992),343-349.
[Sch] N .V . SC H ER B IN A ,\Traces of pluriharm onic functions on the boundaries of
analytic varieties",M ath.Z.213 (1993),171-177.
[Shi] T . SH IB U YA , \O n 4-dim ensional genera of com pound knots", K obe M ath.
Sem .N otes 8 (1980),299-305.
[St] G .P.ST O LZEN B ER G ,\U niform approxim ation on sm ooth curves",A cta M ath.
115 (1966),185-198.
[W h] J.H .C .W H IT EH EA D ,\O n doubled knots",J.London M ath.Soc.12 (1937),
63-71.
17
M .B O ILEA U ,Laboratoire Topologie et G eom etrie,U R A C N R S 1408,U niversit e PaulSabatier 31062 T O U LO U SE C edex France
L.R U D O LPH ,D epartm entofM athem atics and C om puterScience,C lark U niversity,950 M ain Street,W orcester,M assachusetts 01610 U SA
18