A NNALES DE LA FACULTÉ DES SCIENCES DE T OULOUSE
C AM V AN Q UACH H ONGLER
C LAUDE W EBER
The link of an extrovert divide
Annales de la faculté des sciences de Toulouse 6
esérie, tome 9, n
o1 (2000), p. 133-145
<http://www.numdam.org/item?id=AFST_2000_6_9_1_133_0>
© Université Paul Sabatier, 2000, 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
http://www.numdam.org/
- 133 -
The link of
an extrovertdivide
(*)CAM VAN
QUACH
HONGLER AND CLAUDEWEBER (1)
Cam.Quach@math.unige.ch Claude.Weber@math.unige.ch
Annales de la Faculte des Sciences de Toulouse Vol. IX, nO 1, 2000 pp. 133-145
RÉSUMÉ. - Nous donnons une bonne pro jection pour l’entrelac associé
~ un divide de Norbert A’Campo, pour une classe de divides que nous
appelons extravertis et qui generalise la notion de slalom divide.
ABSTRACT. - We give a good projection of the link associated to a
Norbert A’Campo divide, for a class of divides which we call extrovert and which generalizes the notion of slalom divides.
1. Introduction
According
to the definition put forwardby
NorbertA’Campo
in[A’C 2],
,a divide P is the
image
of an immersion a of thedisjoint
unionU Ij
of afinite number k of
copies
of the unit interval I into the unit discD2
inR2
such that:
1. The immersion is
generic,
i.e.multiple points
are doublepoints
andat such a
point
the two local branches are transversal.2. One has
a-1 (8D2 )
= and the immersion isorthogonal
to
8D2.
3. the
image
of a is connected.( *) 1 Recu le 30 novembre 1999, accepte le 8 février 2000
( 1 ) Universite de Geneve, section de mathématiques, 2-4 rue du Lievre, Case postale 240, CH-1211 Geneve 24.
A’Campo
defines the linkL(P)
inS3
of a divide P as follows:Then
L(P)
is defined to be the subset of83
of thosepairs (x, u)
withx E P and u E
TxP.
HereTxD2
stands for thetangent
space ofD2
at thepoint x
ED2.
A’Campo
proves thatL(P)
fibers over the circleSl
for an orientation which is well defined up to aglobal change
of orientation for all the com-ponents
of the link. In[A’C 3]
hepresents
a method(the "easy
and fastmethod" )
to draw an abstract surface which is a model for the fiber. Us-ing
thismodel,
he expresses themonodromy
as aproduct
of Dehn twistsaround
explicit cycles (the red,
white and bluecycles).
Webriefly
recall this construction.1. At each double
point
of P one draws apiece
of shaded surface as infigure
1.Figure 1
2. One thickens each
edge
of P as shown infigure
2.Figure 2
3. The
pieces
of shaded surfaces areglued together
in an obvious way.See
[A’C 3]
for more details.The
picture
thus obtained must be understood asbeing
thepicture
of anabstract surface made of twisted straps. It is easy to see that it is
orientable,
because the number of twisted
straps along
any closed curve is even.In this
article,
we define a class ofdivides,
which we call extrovert.They
are a
generalization
ofA’Campo’s
slalom divides[A’C 4].
We showthat,
foran extrovert
divide,
we can obtain a(so
calledfine) projection
of the linkL(P) by choosing
in anappropriate
way the over and undercrossings
in theuniverse
(in
L. Kauffmansense)
which is theboundary
of thepicture
of the"easy
and fast" surface. To provethat,
weproceed
in three steps.First step. The shaded surface associated to the fine
projection
is aSeifert surface
(because
the"easy
and fast" surface isorientable).
We showthat this surface is the fiber of a fibration onto the circle.
Second step. We determine the
monodromy
of this fibration.Third step. We check that this
monodromy
coincides withA’Campo’s monodromy.
Our
proof
uses ideas and results of M. Scharlemann-A. Thomson[S-T]
and D. Gabai
[Ga]
which relateConway
moves, fibered links andMurasugi plumbings.
See section 2.The main result of this article is contained in theorem 4.1. . 2.
Check boards, Conway
moves andHopf
bandsLet D be an oriented link
diagram
inR2,
i.e. aregular projection
of anoriented link L in
R3.
We write p :R3 --~ R2
for theprojection.
We shallalways
assume that D is connected.We color the
regions
ofR2
definedby
D in such a way that the non com-pact
region
is unshaded(we
say shaded-unshaded instead ofblack-white).
Suppose
that the union S of the shadedregions
is theprojection
of a Seifert surface E for L.We define
signs
for S at acrossing point
of D in thefollowing
way. Aleft-hand twisted
strap
ispositive,
while aright-hand
twisted strap isnegative.
Seefigure
3.Figure 3
Remark. - Orient
(arbitrarily)
the shaded surface near thecrossing point,
and look at the orientation inducedlocally
on theboundary.
Then the cross-ing point
ispositive
inConway
sense(for
theexchange relation)
if andonly
if S is a
positive
twisted strap.Let R be a
compact
unshadedregion
determinedby
D. As D is con-nected,
the interior of R is an open disc. Tosimplify
matters, assume thatR is a closed disc. Let C be a
simple
closed curve on S which isessentially
8R
pushed
inside S. To makeshort,
we shall say that C isroughly
theboundary
of R.Let r be the
simple
closed curve on E such that C =p(r).
Orient Carbitrarily.
LEMMA 2.1. - Assume that the
signs of
,S atcrossing points of
D alter-nate when one
proceeds along
C. Then r iscomprressible
in thecomplement of E.
Proof.
- The fact that thesigns
alternateimplies
that rslightly pushed
off E bounds a disc which
essentially projects by
p onto R(the
reader isadvised to draw a
picture).
Now r is ingeneral
notcompressible
on bothsides of E. The rule to detect the side off which r is
compressible
is thefollowing.
Orient C counterclockwise. The"good"
side is the side of S which faces the observer before C passesthrough
apositive
twisted strap.Definitions.
An annulus is a surfacediffeomorphic
toS 1
x I. A bandis an embedded annulus in
R3
or inS’3.
Orient a bandarbitrarily.
Look atthe orientation induced on its
boundary. Suppose
thatR~
is oriented. The band is said to be apositive Hopf
band(resp. negative Hopf band)
if thelinking
coefficient of the twoboundary
components isequal
to +1(resp.
- 1 )
and if its core is unknotted.Let S be as above and let C be a
simple
closed curve on S. Let r bethe
simple
closed curve on E such that C =p(r).
Let N be a tubularneighborhood
of r on E. As E isorientable,
N is a band.Then,
for theright-hand
orientation ofR3,
N is apositive Hopf
band if andonly if, along C,
thesigns
of S atcrossing points
of Dsatisfy
the obvious relation:(number
of
+) = (number of -)
+ 2.Suppose
now that C is asimple
closed curve on S which isroughly
theboundary
of an unshadedregion
R. LetQ
be acrossing point
of D on C and suppose that thesign
of S atQ
ispositive.
PerformConway
moves onD at
Q.
WriteD+
for D and let D- andDo
be the linkdiagrams
obtainedfrom D
by
the moves. LetS+
= S and6’-, So
be thecorresponding
unionsof shaded
regions.
LetC+ =
C and let C- be thecorresponding
curve on5’-. . Without further comment, we write
E+ = E, E- , Eo
andL+
=L, L-, Lo.
Let r- be the curve on E- whichprojects
onto C_. .THEOREM 2.2.
- Suppose
that thesigns of
S- atcrossing points of
Dalternate on C_ . Then
~+
is aMurasugi plumbing of Eo
with apositive Hopf
band whose core isr+
.COROLLARY 2.3.
- Suppose
moreover thatEo
is thefiber of
afibration of Lo
onto . ThenE+
is thefiber of
afibration of L+
ontoS1.
Proof.
- Recall that aMurasugi plumbing requires
an embedded 2-sphere
inR3. Then,
one of the surfaces has to be in onehemisphere,
whilethe other surface lies in the other
hemisphere.
The intersection of the two surfaces is aneighborhood
of an arc in each surface. For moredetails,
see[Ga].
In our case, let A be a closed 2-disc in
R3
such that = r- = a0 . Take aregular neighborhood
W of A modulo itsboundary
r- . Then W is a 3-ball and itsboundary
8W is the2-sphere required
for aMurasugi plumbing. Indeed,
E- liesby
construction inR3 B Int(W)
and one can get that E- n 9W is a tubularneighborhood
of r- in E _ . Now r- nEo
is anarc and
Eo
lies inR3 B Int(W). By construction,
aneighborhood
ofr+
inE+
is apositive Hopf
band and that band can beslightly pushed
in W.A similar
argument
can be found in[Ko], together
with nicepictures.
Proof of
thecorollary.
- This is an immediate consequence of[Ga]
andalso of
[St].
Remark. The above
arguments
are an easy version of ideas due to D.Gabai and M. Scharlemann-A. Thomson
~S-T~ .
Our situation is sosimple
that one does not even need foliations.
We now turn our attention to monodromies. In order to have the
signs (hopefully)
correct, we make some definitionsexplicit.
Let e be the unit
tangent
vector field on,S1 pointing
in thepositive
direction. Let : X -~
S1
be a differentiable fibration and let8
be avector field on X such that
d7r(e)
= e. Then "the"monodromy
of ~ris, by definition,
the first return map forê.
See[La] p.28.
On the other
hand,
let F be an oriented surface and let c be asimple
closed curve on F. The action on the firsthomology
ofF,
of a ~ Dehntwist T around c, is
given by
the formulaT(x)
= x +(~)I (x, c)c
where
I(x, c)
is the intersection number(it
is here that the orientation of Fcomes
in).
If the orientation of F is
locally counterclockwise,
anegative
Dehn twistis a
right-hand earthquake.
The
following proposition
is easy to prove butgood
to know.PROPOSITION 2.4.
- Suppose
thatS’3
is oriented. Let ~ be afiber surface
in
S’3
and let r be asimple
closed curve on ~.,Suppose
that themonodromy of
E contains a Dehn twist T around r as afactor (for
thecomposition of diffeomorphisms). Then,
thesign of
T does notdepend
on the orientationoff.
Proof. Suppose
that the orientation of 03A3 is reversed. Then the oriented normal to Echanges
side. Hence themonodromy
h isreplaced by h-1 because, along
afiber,
the side indicatedby
the vector field ê must agreewith the side indicated
by
the oriented normal. This causes a firstchange
of
sign
on T. But a secondchange
comes from the fact that the intersection form I ischanged
to -I.PROPOSITION 2.5. - The
monodromy of
apositive Hopf
band inS’3
isa
negative
Dehn twist.Proof.
- The Milnor fiber of anordinary quadratic singularity
at theorigin
ofC2
is apositive Hopf
band in a little Milnorsphere,
oriented asthe
boundary
of a little Milnorball, equipped
with thecomplex
orientation.The
monodromy
isexplicitely
described in[La]
as anegative
Dehn twist.See sections 4 and
5, especially
formula(5.3.4) p.37,
with n = 1.ADDENDUM TO COROLLARY 2.3. - Let
ho
be themonodromy of Lo
andlet r be a
negative
Dehn twist aroundC+.
Then themonodromy of L+
isequal
to:a) hooT if
theHopf
band is attached on thepositive
sideof 03A30 (positive
with
respect
to a vectorfield
likeO).
b)
T oho if
theHopf
band is attached on thenegative
sideof Eo.
.3. Shaded Seifert surfaces for
signed
dividesLet P be a divide. At a double
point
0 of P thetangent
spaceTo(P)
is the union of the two one-dimensional
subspaces
ofTo(D2)
which are thetangent spaces to the local branches of P
passing through
O. From the definition of the linkL(P)
it then easy to deduce that the contribution of the doublepoint
0 E P toL(P)
consists of fourdisjoint
segments.We decide to associate to 0 the
8-tangle
described infigure
4. We callit the red-cross
tangle.
Figure 4
Next we want the shaded surface as shown in
figure
4 to belocally
theprojection
of a Seifert surface for the red-crosstangle (this
isequivalent
tosome conditions on the local orientations of the
strings,
which need not to be madeexplicit).
Let R be the square unshaded
region
which is in the middle of thepicture.
Let C be thesimple
closed curve on that local Seifert surface which isroughly
theboundary
ofR,
as in section 2. Notice that thesigns
of theshaded surface
along
C are +++-.Let P be a divide. Let us attribute
signs
+ or - to P in thefollowing
way:
1. Each corner at a double
point
of P receives asign,
in such a way thatone corner
gets
a - and the other three a +.2. Each
edge
receives a + or a -.A
sign
attibution will be written A and thepair (P, A)
will be called asigned
divide.To
(P, A)
we associate a linkdiagram D(P, A)
in thefollowing
way:1. For each double
point
0 of P we draw a red-crosstangle,
in such away that the -
crossing
falls into the corner that has received the -sign.
This can be achieved
by just rotating Figure
4.2. For each
signed edge
we draw a shaded twisted strap,according
tothe rule of
figure
3. The shade goesalong
theedge.
By construction,
the shadedsurface,
writtenS(P, A),
for thediagram D(P, A)
is the union of the local shaded surface for the red-crosstangles
and of the shaded twisted straps associated to the
signed edges.
But for theover or under
crossings
on itsboundary,
thedrawing
of the surfaceS(P, A)
coincides with
A’Campo’s "easy
and fast" surface. But the twoobjects
are
quite
different.A’Campo’s picture represents
an abstractsurface,
whileS’(P, A)
represents aprojection
of a surface embedded inR3.
Let
L(P, A)
be "the" link inR3
whichprojects
ontoD(P, A)
and letE(P, A)
be "the" orientable surface inR3
whichprojects
ontoS(P, A).
Itis connected. Hence
L(P, A)
has twopossible
orientations asboundary
of~ ( P, A) , depending
on which orientation we choose forA)
.Figure
5 exhibits asigned
divide andfigure
6 showsS(P, A)
.Figure 5
Figure 6
4. Extrovert divides
DEFINITION. - We say that a divide P is extrovert if it satisfies the
following
two conditions.i)
For each doublepoint
0 E P at least one cornerbelongs
to an exteriorregion.
ii)
For each interiorregion,
there is at least oneedge
which is alsoadja-
cent to an exterior
region.
A slalom divide in the sense of
[A’C 4]
is extrovert, because slalom dividessatisfy
the moredemanding
conditions:i’)
For each doublepoint
0 E Pexactly
two cornersbelong
to exteriorregions.
ii’)
Eachedge
isadjacent
to an exteriorregion.
Figure
5 exhibits a divide which is extrovert withoutbeing
slalom.One can prove that extrovert divides are
indeed "partages"
in the senseof
[A’C I],
i.e.they satisfy
condition Par3. The converse is false.DEFINITION. - Let P be an extrovert divide. We shall say that a
sign
attribution A to P is fine if it satisfies the
following
two conditions:a)
At a doublepoint
0 E P the -sign
falls into a corner whichbelongs
to an exterior
region.
b)
Let R be an interiorregion.
Alledges
of R but one receive a -sign,
the
exception being
anedge
which isadjacent
to an exteriorregion.
The
corresponding diagram D(P, A)
will be called a fine linkprojec-
tion
(or diagram). Figure
6 shows one.THEOREM 4.1.2014 Let P be an extrovert divide and let
D(P, A)
be afine
link
projection.
Then:1) D(P, A) is
aprojection of A’Campo’s
linkL(P).
2)
The shadedsurface S(P, A)
is theprojection of
afiber Seifert surface for L(P) .
.Proof.
- Let R be a compact unshadedregion
ofR2
determinedby D(P, A)
Thisregion
can be of one of two types:Type
a: R is the"square"
which sits in the middle of a red-crosstangle.
Type /3:
R is(essentially)
an interiorregion
of the divide P.Let C be a
simple
closed curve onS(P, A)
which isroughly
theboundary
of R and let r be a
simple
closed curve onE(P, A)
whichprojects
onto C.The
following
two observations are crucial.Indeed, they
are thegoal
of thenotion of fine
sign
attribution.1)
A tubularneighborhood
of r onE(P, A)
is apositive Hopf
band.2) Suppose
R is of type/?.
Perform aConway
move at the +crossing
which
corresponds
to theunique
+edge
which is on theboundary
of R.Then C- is
sign alternating.
Now
perform
azero-Conway
move at each +crossing
ofD(P, A)
whichcorresponds
to a +edge.
WriteDo
for the linkprojection
which isobtained,
and
similarily So, Eo
etc.Clearly Eo
is a connected sum ofpositive Hopf
bands. TheHopf
bandscorrespond
to the red-crosstangles
andthey
are connectedtogether by
a treeof
(negative)
twisted straps.Figure
7 illustrates this constructionperformed
on the
signed
divide offigure
5. The surfaceEo
is a fiber for the linkLo
andits
monodromy
is theproduct
ofnegative
Dehn twists around the cores of theHopf
bands(they
areA’Campo’s
whitecycles).
Figure 7
To go on, we need to choose a
sign
function(encore !)
for the interiorregions
ofD~
determinedby
the divideP,
as in[A’C 2].
We thus obtain a~
sign
for each compact unshadedregion
R of type~3.
Let C beroughly
theboundary
of an R of type/3
and let rproject
onto C. Asexpected,
r is ared
cycle
inA’Campo’s
sense if R is a +region,
while it is a bluecycle
if Ris a -
region.
On
A)
orient(via S(P, A)
and theprojection
p : E --~,5’)
thered and blue
cycles
counterclockwise and the whitecycles
clockwise. Onecan check that one can
provide E(P, A)
with an orientation such that all intersection numbersI(red, blue)
andI (white, blue)
are > 0as
they
should be. Let us orientR3
with theright-hand
convention. Letr+
be a redcycle.
It is not hard to seeby drawing
apicture
that r- iscompressible
on thepositive
side of E _ . On the otherhand,
ifr+
is a bluecycle,
then r- iscompressible
on thenegative
side of E _ .We now make several uses of theorem 2.2 and
corollary
2.3.First,
weconsider the
positive
side of the connected sum of(positive) Hopf
bandsobtained above. We "add" the red
cycles (and
thecorresponding bands)
one after the other. The order in which this is done is
irrelevant,
becauseany two red
cycles
aredisjoint.
Then we do a similaroperation
with theblue
cycles
on thenegative
side of the surfacejust
obtained.The addendum to
corollary
2.3 shows that themonodromy
ofL(P, A)
isexactly A’Campo’s monodromy: (product
ofnegative
Dehn twists aroundthe blue
cycles)
o(product
ofnegative
Dehn twists around the whitecycles)
o
(product
ofnegative
Dehn twists around the redcycles).
This
completes
theproof,
because monodromies considered in the map-ping
class group ofdiffeomorphisms
which are theidentity
on theboundary
of the fiber determine the
isotopy
class of fibered links inS3. However,
thereferee has
aptly pointed
out that some caution is needed here. Thekey point
in theargument
is that monodromies have to be theidentity
on theboundary
of the fiber and thatisotopies
have to be fixed on theboundary.
The link in
S3
can then be recovered from such monodromiesby performing
the open book construction, as in
[W].
As a consequence, one needs to ver-ify
that all constructions and monodromies considered in this article takeplace
in thesetting
of open bookdecompositions,
rather thanjust
fibered links andisotopy
classes of monodromies with no restriction on the bound- ary.Now,
Lamotke’s determination of themonodromy
of isolatedcomplex singularities
doesjust
that("
isolated" is crucialhere).
Seeespecially
the def-initions in section 2. Gabai’s
proof
forMurasugi
sums fits with open bookdecompositions.
See theorem 4.Finally,
one can check that monodromies andisotopies
consideredby A’Campo
are theidentity
on theboundary.
Remark. - The
proof
shows thatD(P, A)
is aprojection
ofL(P)
ifR3
is oriented with the
right-hand
rule.A
final
remark.- Suppose
that one reverses thesign
function for theregions
determinedby
the divide. Then the orientation of E is reversed. The orientation of each component of the link is reversed. Themonodromy h
isreplaced by h-1.
Thesign
of the Dehn twists remain the same(Prop. 2.4).
The red and blue
cycles exchange
their color.- 145 -
Bibliography
[A’C1]
A’CAMPO (N.). - Le groupe de monodromie du deploiement des singularités decourbes planes. Math. Ann., 213 (1975), p.1-32.
[A’C2]
A’CAMPO (N.). 2014 Generic immersions of curves, knots, monodromy and gordiannumber. Publ. Math. IHES 88 (1998), p. 151-169.
[A’C3] A’CAMPO (N.). 2014 Real deformations and complex topology of plane curve sin-
gularities. Ann. Fac. Sci. Toulouse 8 (1999), p. 5-23.
[A’C4]
A’CAMPO (N.). 2014 Planar trees, slalom curves and hyperbolic links. Publ. Math.IHES 88 (1998), p. 171-180.
[Ga] GABAI (D.). 2014 The Murasugi sum is a natural operation. Contemp. Math., 20 (1983), p.131-143.
[Ko]
KOBAYASHI (T.). 2014 Minimal genus Seifert surfaces for unknotting number oneknots. Kobe J. Math., 6 (1989), p. 53-62.
[La]
LAMOTKE (K.). 2014 Die Homologie isolierten Singulatitaeten. Math. Z., 143 (1975),p. 27-44.
[S-T]
SCHARLEMANN (M.) and THOMPSON (A.). - Link genus and the Conway moves.Comm. Math. Helv., 64 (1989), p. 525-535.
[St]
STALLINGS (J.). - Constructions of fibered knots and links. Proc. Symp. PureMath. AMS, 27 (1975), p. 315-319.
[W]
WINKELNKEMPER (H.E.). 2014 Manifolds as open books. Bull. AMS, 79 (1973),p. 45-51.