Heegaard Floer Invariants of Links
Heegaard Floer Invariants of Links
Alberto Cavallo
Supervisor
CEU eTD Collection
B UDAPEST, H UNGARY
2018
CEU eTD Collection
Declaration
I hereby declare that this dissertation contains no materials accepted for any other de-
grees in any other institutions.
Moreover, the dissertation contains no materials previously written and/or published
by another person, except where appropriate acknowledgment is made in the form of
bibliographical reference.
iii
CEU eTD Collection
Abstract
Our main goal in this thesis is to describe the most important results on smooth and
Legendrian knots obtained from Heegaard Floer homology in the last ten years and gen-
eralize some of them to links.
Our first result is a link version of the Thurston-Bennequin inequality. This inequality,
in its usual formulation, gives an upper bound for the maximal Thurston-Bennequin and
self-linking numbers of a knot K in a tight contact 3-manifolds ( M, ξ ), in terms of the Euler
characteristic of a Seifert surface for K. We generalize the inequality to every link L, where
the resulting upper bound involves the Thurston norm of L. This is a rational number
extracted from the semi-norm, introduced by Thurston, on the relative second homology
group of a 3-manifold with toric boundary.
We say that two n-component links in S3 are strongly concordant if there is a cobordism
between them consisting of n disjoint annuli, each one realizing a knot concordance.
Then,
starting from a grid diagram D of a link L, we define a filtered chain complex GC c ( D ), b
∂
and we prove that its homology, denoted with HF \ L( L), is a strong concordance invariant.
Since we can prove that HF L( L) has dimension one in Maslov grading zero, we also
\
extract a numerical invariant from the homology group that we call τ ( L). The τ-invariant
gives a lower bound for the slice genus g4 ( L), which is the minimum genus of an oriented,
compact surface properly embedded in D4 and whose boundary is L. We also show that
there is a strict relation between the filtration levels of HF
\ L( L) and the Alexander grad-
−
ing of the torsion-free quotient of cHFL ( L), a different bigraded version of link Floer
homology.
Furthermore, we define an invariant of Legendrian links by using open book decom-
positions. This is done by describing a suitable condition for an open book decomposition
( B, π, A) to be adapted to a Legendrian link L, where A is a system of generators of the
first relative homology group of π −1 (1). At this point, we define a special Heegaard dia-
CEU eTD Collection
gram D for the link L in the 3-manifold − M, given by reversing the orientation on M; we
have that D is obtained up to isotopy from ( B, π, A) and then, when L is zero in homology,
the invariant L( L, M, ξ ) is the isomorphism class of a distinguished cycle L( D ) in the link
Floer complex cCFL− ( D, tξ ).
We also give some results on quasi-positive links in S3 . In particular, we introduce
the subfamily of connected transverse C-links: these are links such that the surface Σ B ,
associated to a quasi-positive braid B for L, is connected. We show that, for this kind of
links, the slice genus g4 is determined by τ. This allows us to prove that the slice genus is
additive under connected sums of connected transverse C-links.
v
CEU eTD Collection
Contents
Introduction 3
Acknowledgements 7
1 Preliminaries 9
1.1 Knots and links in 3-manifolds . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.1.1 Definition of links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.1.2 Connected sum and mirror image of links . . . . . . . . . . . . . . . . 10
1.2 Links in the 3-sphere . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.1 Diagrams for links in S3 . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.2 The Seifert algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.2.3 Operations on links and planar diagrams . . . . . . . . . . . . . . . . 14
1.3 Cobordisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.3.1 Definition of cobordism and the slice genus . . . . . . . . . . . . . . . 15
1.3.2 Link concordance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.4 Filtered chain complexes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.4.1 Filtered spaces ... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.4.2 ... and filtered maps . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.5 Tensor product of modules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.5.1 General properties and vector spaces . . . . . . . . . . . . . . . . . . 21
1.5.2 Finitely generated K[ x ]-modules . . . . . . . . . . . . . . . . . . . . . 22
vii
4 Representations of links and 3-manifolds 45
4.1 Heegaard diagrams . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
4.1.1 3-manifolds and Spinc structures . . . . . . . . . . . . . . . . . . . . . 45
4.1.2 Links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.2 Open book decompositions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4.2.1 Adapted open book decompositions for links in 3-manifolds . . . . . 50
4.2.2 Abstract open books . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
viii
8 Link Floer homology and grid diagrams 105
8.1 Filtered simply blocked link grid homology . . . . . . . . . . . . . . . . . . . 105
8.1.1 The chain complex . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
8.1.2 The differential . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
8.1.3 The homology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
8.1.4 Equivalence between GH d and HFL d . . . . . . . . . . . . . . . . . . . 108
8.2 The invariant tau in the filtered theory . . . . . . . . . . . . . . . . . . . . . . 109
8.2.1 Definition of the invariant . . . . . . . . . . . . . . . . . . . . . . . . . 109
8.2.2 Dropping the special O-markings . . . . . . . . . . . . . . . . . . . . 111
8.2.3 Symmetries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
8.3 Cobordisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
8.3.1 Induced maps and degree shift . . . . . . . . . . . . . . . . . . . . . . 115
8.3.2 Strong concordance invariance . . . . . . . . . . . . . . . . . . . . . . 120
8.3.3 A lower bound for the slice genus . . . . . . . . . . . . . . . . . . . . 121
8.4 The HF L− version of the homology . . . . . . . . . . . . . . . . . . . . . . . 123
8.4.1 A different point of view . . . . . . . . . . . . . . . . . . . . . . . . . . 123
8.4.2 Filtered link homology and the τ-set . . . . . . . . . . . . . . . . . . . 124
8.5 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
8.5.1 Computation for some specific links . . . . . . . . . . . . . . . . . . . 126
8.5.2 Torus links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
8.5.3 Applications to Legendrian invariants . . . . . . . . . . . . . . . . . . 128
Bibliography 141
Index 146
CEU eTD Collection
ix
CEU eTD Collection
List of Figures
xi
6.2 Positive stabilization of an abstract open book . . . . . . . . . . . . . . . . . 75
6.3 Reducing the twisting of ξ along a curve in the page of an open book de-
composition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
6.4 Splitting a 2-cell in a contact cell decomposition . . . . . . . . . . . . . . . . 76
6.5 Admissible arc slide on the page of an abstract open book . . . . . . . . . . . 77
6.6 Separating arcs-1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
6.7 Separating arcs-2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
6.8 Separating arcs-3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
6.9 A stabilized Legendrian Heegaard diagram for a contact 3-manifold . . . . 86
6.10 Murasugi sum of abstract open books-1 . . . . . . . . . . . . . . . . . . . . . 89
6.11 Murasugi sum of abstract open books-2 . . . . . . . . . . . . . . . . . . . . . 89
xii
CEU eTD Collection
CEU eTD Collection
( ... ) while a cloud of smoke
settled heavily over the
battlements in the distinct
colossal figure of-a horse.
E. A. Poe
CEU eTD Collection
CEU eTD Collection
Introduction
In the early years of the 21st century, Ozsváth and Szabó introduced an invariant [68],
that they decided to call Heegaard Floer homology, which had a great impact in the study
of low dimensional topology. This is an invariant of 3-manifolds up to diffeomorphism; it
is obtained from a particular presentation of the 3-manifold M, called a Heegaard diagram,
consisting of a closed, oriented, genus g surface Σ, together with two sets α and β of g
independent, disjoint, simple closed curves and a basepoint w in Σ.
A chain complex over F, the field with two elements, can be associated to a Heegaard
diagram, where the generators are combinatorially defined from α and β. The differential
is gotten by counting J-holomorphic disks in the g-fold symmetric power of Σ, equipped
with an almost-complex structure J, as we explain in Subsection 4.1.1. The Heegaard Floer
homology group is the homology of this chain complex. There exist many different ver-
sions of the homology, depending on how many J-holomorphic disks we take into account,
but all of them are invariants of M. One of the most useful, that we define in Section 5.2, is
denoted with d HF ( M).
Heegaard Floer homology groups possess an F-splitting induced by Spinc structures.
Using a definition of Turaev in [88], we say that a Spinc structure on M is the homotopy
class, away from a point, of a 2-plane field on M. This means that we can write a summand
HF ( M) as d
of d HF ( M, t), where t is a Spinc structure on M.
Moreover, we have an additional grading, called Maslov grading, in the case when
some conditions are satisfied; more specifically, we require the first Chern class of t to be
a torsion class. This always happens if M is a rational homology 3-sphere, which is a
3-manifold with rational homology isomorphic to the one of the 3-sphere S3 ; in fact, in
this case the second integer cohomology group is a finite group. For this reason, and the
fact that many proofs are easier in this setting, we suppose that 3-manifolds are rational
homology spheres unless the converse is explicitly written.
Ozsváth and Szabó found a way to extend Heegaard Floer homology to an invariant
CEU eTD Collection
of links in 3-manifolds [69], in this setting called link Floer homology. This was discovered
independently by Rasmussen in his doctoral thesis [78].
Moreover, in [70] they use it to define an invariant of contact 3-manifolds. A contact
structure ξ on M is a cooriented 2-plane field, given as the kernel of a 1-form α on M, such
that α ∧ dα is a volume form for M. We say that ξ is overtwisted if there is an embedded
disk E in M whose boundary is a Legendrian knot, which means that at each point the
tangent vector is contained in the contact structure, and the contact framing of ∂E has
zero twisting along E. The last sentence can be rephrased by saying that the Thurston-
Bennequin number of ∂E is equals to zero, see Chapter 3. We say that the structure ξ is
tight if it is not overtwisted.
In [70] the contact invariant cb( M, ξ ) is defined. This is done by identifying the isomor-
phism class of an element in the group d HF ( M, tξ ), where tξ is the Spinc structure induced
3
by ξ. The class cb( M, ξ ) is a contact isotopy invariant of ( M, ξ ). One of its applications
consists of a simpler proof of a well-known result of Eliashberg and Gromov in [25], which
says that a symplectically fillable contact structure on a rational homology sphere is always
tight.
A contact strucutre ξ is weakly symplectically fillable if there is a compact symplectic
4-manifold ( X, ω ) such that ∂X = M and ω |ξ > 0. It follows from [70] that cb( M, ξ ) vanishes
if ξ is overtwisted, while the contact invariant is non-trivial when the contact structure is
symplectically fillable.
Our main goal in this thesis is to describe, in the best way we can, the most important
results on smooth and Legendrian knots obtained from Heegaard Floer homology in the
last ten years and generalize some of them to links.
After giving some background on smooth links in 3-manifolds and contact topology
in Chapters 1 and 3 respectively, we prove our first result: a link version of the Thurston-
Bennequin inequality. This inequality, in its usual formulation, gives an upper bound for
the maximal Thurston-Bennequin and self-linking numbers of a knot K in a tight contact
3-manifold ( M, ξ ), in terms of the Euler characteristic of a Seifert surface for K. A proof of
the Thurston-Bennequin inequality for null-homologous knots was given by Eliashberg in
[23]. We apply the same strategy, already used by Baker and Etnyre [2], to generalize the
inequality to every link L, see Section 3.6, where the resulting upper bound involves the
Thurston norm of L.
We define the Thurston norm k Lk T for every link in a rational homology sphere in
Chapter 2; it is a rational number extracted from the semi-norm, introduced by Thurston
in [86], on the relative second homology group of a 3-manifold with toric boundary. A
result of Ni [62] and Ozsváth and Szabó [73] implies that link Floer homology detects
k LkT . The results on the Thurston-Bennequin inequality and the Thurston norm appear in
[12].
The computation of link Floer homology in the J-holomorphic setting happens to be
very hard. To solve this problem, in [58] Manolescu, Ozsváth, Szabó and Thurston find a
combinatorial reformulation of the homology, in terms of grid diagrams. These are grids
of squares, that were already known in the 19th century, which can also be used to present
links in S3 .
We say that two n-component links in S3 are strongly concordant if there is a cobordism
between them consisting of n disjoint annuli, each one realizing a knot concordance. Then,
starting from a grid diagram D of a link L, we define a filtered chain complex GC ( D ), ∂
c b
and we prove in Section 8.3 that its homology, denoted with HF \ L( L), is a strong concor-
CEU eTD Collection
dance invariant. Our claim is similar to a result of Pardon [74] about Lee homology.
Since we can prove that HF
\ L( L) has dimension one in Maslov grading zero, we also
extract a numerical invariant from the homology group that we call τ ( L) because, in the
case of knots, it coincides with the concordance invariant introduced by Ozsváth and Sz-
abó in [69]. The τ-invariant gives a lower bound for the slice genus g4 ( L), which is the
minimum genus of an oriented, compact surface properly embedded in D4 and whose
boundary is L; see Subsection 8.3.3.
In Chapter 8 we also show that there is a strict relation between the filtration levels of
HF
\ L( L) and the Alexander grading of the torsion-free quotient of cHFL− ( L), a different
bigraded version of link Floer homology introduced in [67, 72]. The results about the τ-
invariant and link Floer homology appear in [9].
4
In Chapter 4 we talk in detail about Heegaard diagrams. More specifically, we describe
how to construct such a diagram starting from a link L in a 3-manifold M and we show
how to relate two diagrams representing smoothly isotopic links in M. As we remarked
before, Heegaard diagrams play a crucial role in the definition of Heegaard and link Floer
homology, see also Chapter 5, but in the case that M is equipped with a contact structure ξ
and L is Legendrian, we need to use a different presentation, which takes into account the
contact information.
For this reason we introduce open book decompositions. Given a contact 3-manifold
( M, ξ ), this is a pair ( B, π ) where B is a smooth link in M and π is a locally trivial fibration
of M \ B onto S1 , such that the closures of the fibers have B as boundary. When some
compatibility conditions, described in Section 4.2, are satisfied, we say that ( B, π ) supports
the structure ξ.
In [57] Lisca, Ozsváth, Stipsicz and Szabó define open book decompositions ( B, π, A),
adapted to a Legendrian knot K, by also requiring that K is contained in S1 = π −1 (1)
and A is an appropriate basis of the relative first homology group of S1 . In this way they
construct the Legendrian knot invariant L(K, M, ξ ) by applying a result in [47].
We extend this invariant to every Legendrian link L in Section 6.1. This is done by
describing a suitable condition for an open book decomposition ( B, π, A) to be adapted to
L; this time the set A is not a basis anymore, but only a system of generators, the details of
the construction are given in Subsection 4.2.1. At this point, we define a special Heegaard
diagram D, that we call a Legendrian Heegaard diagram, for the link L in the 3-manifold
− M, given by reversing the orientation on M; we have that D is obtained up to isotopy
from ( B, π, A) and then, when L is zero in homology, the invariant L( L, M, ξ ) is the iso-
morphism class of a distinguished cycle L( D ) in the link Floer complex cCFL− ( D, tξ ). In
particular, the invariant L( L, M, ξ ) can be seen as an isomorphism class in the homology
group cHFL− (− M, L, tξ ). All the details can be found in Chapter 6.
We have that L( L, M, ξ ) is a Legendrian link invariant in the following sense. If L1 and
L2 are Legendrian isotopic links in ( M, ξ ) then, given Legendrian Heegaard diagrams Di
representing Li for i = 1, 2, we can find a chain map between cCFL− ( D1 ) and cCFL− ( D2 )
which sends L( D1 ) into L( D2 ), see Section 6.3.
In [3] Baldwin, Vela-Vick and Vértesi, using a different construction, introduce another
invariant of Legendrian links in contact 3-manifolds which generalizes L in the case of
knots in the standard 3-sphere. The same argument in [3] implies that this invariant coin-
cides with our L for every Legendrian link in (S3 , ξ st ).
Furthermore, our invariant has the same property of its knot version in [57] regard-
ing loose and non-loose links. We say that a Legendrian link L in an overtwisted contact
CEU eTD Collection
structure is non-loose if its complement is tight, while it is loose if its complement is over-
twisted. We prove in Section 7.1 that L( L, M, ξ ) vanishes when L is loose. This result gives
a sufficient condition for L to be non-loose. In fact, in Chapter 7 it allows us to prove
the existence of a non-split, non-loose n-component Legendrian link in every overtwisted
structure on S3 . Moreover, using a naturality property of connected sums, we are also able
to distinguish two non-loose Legendrian links L1 and L2 with the same classical invariants
(link type and Thurston-Bennequin and rotation numbers) and Legendrian isotopic com-
ponents. In other words, we say that the link type of L1 and L2 is non-loose non-simple.
The results about the invariant L and adapted open book decompositions appear in [10].
The invariant L seems to give less information in the case of loose links. In fact, we have
some results that go in the opposite direction. One of these is a theorem of Dymara, see
5
[17], which says that two loose knots L1 and L2 in ( M, ξ ), with the same classical invariants,
such that there is an overtwisted disk in M \ ( L1 t L2 ) are always Legendrian isotopic. In
Section 7.2 we generalize this theorem as follows. We relax the condition of having an
overtwisted disk disjoint from both knots, but we claim that, in order to have a Legendrian
isotopy between L1 and L2 , we only need the existence of two disjoint overtwisted disks E1
and E2 such that Ei is in the complement of Li for i = 1, 2. An example where we can apply
our result, but not Dymara’s theorem, is the case of a disjoint union of two non-loose knots;
in other words, when M is a contact connected sum of M1 and M2 and Li is a non-loose
knot in Mi for i = 1, 2. The proofs of these results appear in [11].
Finally, in Chapter 9 we give some results on quasi-positive links in S3 . These are links
which are obtained as closures of some particular braids, called quasi-positive braids. In
particular, we show that we can always compute the maximal self-linking number and the
invariant τ of a quasi-positive link.
Moreover, in Section 9.1 we introduce the subfamily of connected transverse C-links:
these are links such that the surface Σ B , associated to a quasi-positive braid B for L, is
connected; see Section 9.1. We show that, for this kind of links, the slice genus g4 is deter-
mined by τ. This allows us to prove that the slice genus is additive under connected sums
of connected transverse C-links; a result which follows from [44] for knots, but appears to
be new in the case of links.
6
Acknowledgements
I would like to thank Paolo Lisca and András Stipsicz for their advice, the many helpful
conversations and the lots of time spent meeting and discussing mathematics.
I want to thank John Etnyre and Brendan Owens for their responsiveness and the help
given in these years.
I am grateful to Irena Matkovič for all the time spent together.
After a long time, and maybe a lifetime again, I say thank you to my family.
7
CEU eTD Collection
Chapter 1
Preliminaries
2. H (·, 0) = Id M ,
3. H ( L1 , 1) = L2 .
When two links are smoothly isotopic we also say that they are equivalent. The trivial knot,
which is called the unknot and is denoted with the symbol , is a knot in M that bounds
an embedded disk. The unknot is well-defined in every 3-manifold M, in the sense that all
such knots are equivalent. See [79].
If a link L is null-homologous in M, which means that the homology class [ L] in
CEU eTD Collection
Corollary 1.1.1 The unknot is the only knot K, up to isotopy, such that g3 (K ) = 0.
We say that a link L ,→ M is split if L is the disjoint union of L1 with L2 and there is a
separating, embedded 2-sphere S in M such that S gives the connected sum decomposition
M = M1 #S M2 and Li ,→ Mi for i = 1, 2. When this happens we write L = L1 t L2 .
Otherwise L is called non-split. Every link L can be written as L1 t ... t Lk where each Li is
a non-split link in M. The Li ’s are called split components of L.
9
We recall that a k-manifold Y is a rational homology sphere if Hi (Y; Q) ∼
= Hi (Sk ; Z) for
every i ∈ Z. Let us take two knots K1 and K2 in M and suppose that the 3-manifold M is
a rational homology 3-sphere. Then we can define the rational linking number between K1
and K2 as the rational number
F · K2 | F t K2 |
lkQ (K1 , K2 ) = = ;
t t
where F is a compact, oriented surface, properly embedded in MK1 = M \ ν(K ˚ 1 ) and such
that F · µ = PD[µ][ F ] = t, while t is the order of [K1 ] in H1 ( M; Z). Moreover, here [µ] and
[K2 ] are elements of H1 ( MK1 ; Q) ∼
= Q. The curve µ represents the meridian of the knot K1
K1
In the case when J = J1 ∪ ... ∪ Jn and L = L1 ∪ ... ∪ Lm are two links in a rational
homology sphere M, we define the linking number as
n m
lkQ ( J, L) = ∑ ∑ lkQ ( Ji , L j ) . (1.1)
i =1 j =1
CEU eTD Collection
We observe that the linking number between two components of a link is invariant un-
der smooth isotopies. Moreover, if J and L are both null-homologous then we omit the
subscript Q; thus, the linking number is denoted with lk( J, L) and it is an integer from
Proposition 1.1.2.
10
α
Figure 1.2: Examples of elementary tangles. The one on the right is trivial.
11
A proof of the fact that the plane H exists for every link L in S3 can be found in [55]. At this
point we define a diagram D for L as the image of L under the projection p H . Moreover,
+ −
Figure 1.4: The signs of a crossing in a diagram.
we say that
• an arc in D is a line which connects two crossings, possibly the same, one as starting
point and the other one as end point;
• each crossing contains the information of which arcs are overcrossings or undercross-
ings.
When the link is oriented, a sign can be assigned to each crossing in the diagram D, as
shown in Figure 1.4.
A theorem of Reidemeister assures us that two links are equivalent if and only their
diagrams are related by some moves, which are called Reidemeister moves. There are
three types of these moves and they are pictured in Figure 1.5.
Theorem 1.2.1 (Reidemeister) Two links L1 and L2 in S3 are smoothly isotopic if and only if,
given D1 , D2 diagrams for L1 , L2 respectively, the two diagrams D1 and D2 differ by a finite se-
quence of Reidemeister moves and planar isotopies.
12
the collection of circles in R2 obtained by resolving all the crossings in D preserving the
orientation. It is easy to see that, for each crossing, this can be done only in one possible
way, as shown in Figure 1.6. The circles have the orientation induced on them by D.
From the oriented resolution we can construct a compact, oriented surface F in the
3-space which is bounded by the link L. We start by pushing all the circles up, starting
from the innermost ones, until they are all on different levels and then we take the disks
that they bound. So we now have a collection of disjoint disks in R3 . We connect these
disks by attaching negative (positive) bands in correspondence with the positive (negative)
crossings in D. The orientation on F is defined in the following way: it coincides with the
one induced by R2 on the circles oriented counter-clockwise, while it is the opposite on the
circles oriented clockwise. It is easy to check that such orientation can be extended to the
whole surface F.
Since we can suppose that the resolutions are always performed in a very small neigh-
borhood of the crossing, we can connect two circles, in the oriented resolution of D, by
adding lines in correspondence with each crossings. In this way we define a planar sub-
space D associated to the oriented resolution, as in Figure 1.7. The subspace D is homo-
topy equivalent to the 4-valent graph given by D when we remove the under and over-
crossings. Moreover, the surface F is connected if and only if its associated planar subspace
is connected. The latter property, in knot theory, is the definition of non-split diagram of a
D0 D0
F0
CEU eTD Collection
Figure 1.7: A diagram and its associated oriented resolution. The surface F 0 is obtained by
applying the given algorithm to D 0 .
13
1.2.3 Operations on links and planar diagrams
In Subsection 1.1.1 we defined the linking number between two knots. In S3 such
Figure 1.8: A diagram for the connected sum between a negative trefoil knot and a figure-
eight knot.
number is always an integer, since the group H1 (S3 ; Z) is trivial, and it is computed easily
using knot diagrams .
Proposition 1.2.3 Let D1 , D2 be diagrams for the oriented knots K1 , K2 respectively. Then
lk(K1 , K2 ) = ∑ ep ,
p | D1 ↑ D2
where the symbol ↑ means that, at the crossing p, the arc in D1 overcrosses the one in D2 and e is
the sign of p, according to Figure 1.4.
Proof. It follows easily from the definition of linking number; see [79].
Given a diagram D, we can also define the writhe of D, and we denote it with wr( D ),
as
wr( D ) = ∑ ep ,
p
where e and p are as in Proposition 1.2.3. Here the sum is taken over all the crossings in D.
The writhe is not a link invariant, but it has the following property.
CEU eTD Collection
Figure 1.9: A diagram for the Figure-eight knot and its mirror image. It is easy to see that
the two knots are isotopic.
Proposition 1.2.4 The writhe of the diagram D is invariant under Reidemeister 2 and 3 moves,
while it changes by ±1 under Reidemeister 1 moves.
Proof. It is enough to check that the claim holds for the moves in Figure 1.5.
14
Figure 1.8 shows how the connected sum between two links can be seen from planar
diagrams . On the other hand, a diagram for the mirror image of L is gotten from a diagram
of L by changing the sign of all the crossings. See Figure 1.9.
1.3 Cobordisms
1.3.1 Definition of cobordism and the slice genus
We start this section by giving the definition of cobordism for links in S3 . A genus g
Figure 1.10: The standard cobordisms in S3 × I. Each one contains at most one critical
point.
cobordism, between links L1 and L2 in the 3-sphere, is the image of a smooth embedding
f : Σ g → S3 × I, where Σ g is a compact, oriented surface of genus g; more precisely, the
surface Σ g has connected components Σ g1 , ..., Σ g J and g = g1 + ... + g J . Furthermore, we
Birth
Band
Death
CEU eTD Collection
Figure 1.11: The three Morse moves. Birth and Death moves consist of creating and delet-
ing disjoint unknots.
2. f (Σ g \ ∂Σ g ) ⊂ S3 × (0, 1);
In all the figures in this section cobordisms are drawn as standard surfaces in S3 , but they
can be knotted in S3 × I.
15
It is a standard result in Morse theory, see [59], that a link cobordism can be decom-
posed into five standard cobordisms, which appear in Figure 1.10. Then this gives a gen-
eralization of Reidemeister theorem.
Theorem 1.3.1 Let D1 and D2 be two diagrams for the links L1 and L2 in S3 . Then for every cobor-
dism Σ, between L1 and L2 , the diagram D2 is obtained from D1 by a finite number of Reidemeister
and Morse moves, where the latter ones are pictured in Figure 1.11.
In particular, there is a cobordism between L1 and L2 in S3 that does not have any
critical point if and only if L1 is smoothly isotopic to L2 .
We say that a cobordism is a strong cobordism if the links have the same number of
components and, together with the properties stated above, the surface Σ g is such that each
connected component Σ gi determines a knot cobordism. Figure 1.12 shows an example of
W
W
Band moves
Figure 1.12: The Whitehead link W can be changed into the 2-component unlink by per-
forming two Band moves. Note that one component of W remains untouched.
16
D
In the case of knots, we immediately observe that the notions of weakly and strongly
slice coincide. This is no longer true when we consider links with at least two components.
In fact, let us take the positive Hopf link H+ , which is represented by a the diagram D in
Figure 1.13. Then H+ is weakly slice, because the surface obtained by applying the Seifert
algorithm to D is diffeomorphic to an annulus. On the other hand, it cannot be strongly
slice since, say K1 and K2 are its components, we have that lk(K1 , K2 ) = 1 and this would
contradict the following proposition.
Proof. The claim can be proved by using Proposition 1.2.3 and Theorem 1.3.1.
We saw in Subsection 1.1.2 that the connected sum is a well-defined, associative and
commutative operation on the set of knots, up to isotopy. However, this operation does
not give rise to a group because a non-trivial knot cannot be inverted. This changes when
we consider the relation of knot concordance. In fact, we now have the following theorem.
Theorem 1.3.4 The set of all the knots in S3 up to concordance, equipped with the operation given
by the connected sum, is an abelian group that it is called smooth knot concordance group and it is
denoted with C1 .
Proof. We have that the connected sum is well-defined up to concordance; this follows
from the properties of the connected sum and the fact that if K and L are two concordant
knots then K # − L∗ is slice, which is proved in [55], where − L∗ denotes the mirror image
of the knot obtained from L by reversing the orientation.
Therefore, if [K ] is the concordance class of K, we can define
CEU eTD Collection
for every knot K and L and where is the unknot. It is now easy to check that C1 is indeed
an abelian group.
The algebraic structure of the group C1 has not been determined completely, but there
are some results in this direction. In [34] Fox and Milnor prove that C1 has 2-torsion, by
showing that the Figure-eight knot, see Figure 1.9, which is isotopic, and then concordant,
to its reverse mirror image is not a slice knot. Moreover, the work of Levine in [53, 54] tells
us that the knot concordance group has a direct summand isomorphic to Z∞ and then it is
not finitely generated.
17
1.4 Filtered chain complexes
1.4.1 Filtered spaces ...
For the purposes of this background section, we fix a field K. Let us consider a graded
chain complex C = (C, ∂), where C is a K-vector space and ∂ : C → C is a linear map,
satisfying the following properties:
• the differential ∂ is such that ∂ ◦ ∂ = 0 and it is compatible with the grading, in the
sense that ∂(Cd ) ⊂ Cd−1 .
We equip C with a sequence of K-subspaces F s C ⊂ C with F s C ⊂ F s+1 C for every s ∈ Z,
which is such that
F sC = C .
[
s ∈Z
F s Cd ;
M
• if we define F s Cd = (F s C ) ∩ Cd then it is F s C =
d ∈Z
• the filtration is compatible with the differential, which means that ∂(F s C ) ⊂ F s C;
F s Cd
gr(C )d,s =
F s−1 Cd
and gr(∂) is the map induced by ∂ on gr(C ). We denote the associated graded object with
gr(C).
The filtered chain complex C and its associated graded object, which is a bigraded chain
complex, gr(C) give us two homology groups. In the second case the space is constructed
CEU eTD Collection
18
F s Hd (C) as follows: consider the projection πd : Ker ∂d → Hd (C). Denote with Ker ∂d,s the
subspace Ker ∂d ∩ F s Cd ; we say that
for every s ∈ Z. Thus, the fact that Ker ∂d,s ⊂ Ker ∂d,s+1 implies that the filtration F
descends to homology. We can extend the filtration F on the total homology H∗ (C) by
taking
F s H∗ (C) = F s Hd (C) .
M
d ∈Z
∂0 ◦ H + H ◦ ∂ = f − g ; (1.2)
• H is a linear map.
Two maps as the ones above are said to be filtered chain homotopic.
Two chain complexes C and C 0 are filtered chain homotopy equivalent if there are maps
f : C → C 0 and g : C 0 → C, which preserve the gradings and are filtered of degree zero,
with the property that the maps f ◦ g and g ◦ f are filtered chain homotopic to the respec-
tive identity maps. In this case, the map f is called a filtered chain homotopy equivalence;
moreover, the maps f and g are said to be filtered chain homotopy inverses of one another.
CEU eTD Collection
A filtered chain map f naturally induces a chain map gr( f ) : gr(C ) → gr(C 0 ) between
the associated graded objects. It is easy to see that, if f : C → C 0 is a filtered chain homo-
topy equivalence, the map gr( f ) is also a chain homotopy equivalence.
Furthermore, we call filtered quasi-isomorphism a chain map f : C → C 0 , which is again
filtered of degree zero and preserves the grading, whose associated graded map gr( f ) in-
duces an isomorphism between the homology groups H∗,∗ (gr(C)) and H∗,∗ (gr(C 0 )). We
say that C and C 0 are filtered quasi-isomorphic if there exists a third complex C 00 and filtered
quasi-isomorphisms from C 00 to C and from C 00 to C 0 . Then, from [67], the following propo-
sition holds.
Proposition 1.4.1 Two filtered, graded chain complexes C and C 0 over a field K are filtered quasi-
isomorphic if and only if they are filtered chain homotopy equivalent.
19
Because of this result, we always write that two filtered chain complexes are filtered
chain homotopy equivalent, instead of saying that they are quasi-isomorphic.
We say that a linear map F : H∗ (C) → H∗ (C 0 ) is a filtered isomorphism if F and its in-
verse are both filtered of degree zero. In general, we also require that such isomorphism
preserves the grading; we explicitly write when this does not happen. The following corol-
lary follows immediately from this definition.
Corollary 1.4.2 The map F as above is a filtered isomorphism if and only if
F s Hd (C) ∼ =K F s Hd (C 0 )
for every d, s ∈ Z.
Furthermore, we can prove the following proposition.
Proposition 1.4.3 If C and C 0 are filtered chain homotopy equivalent complexes over K then
H∗,∗ (gr(C)) ∼
= H∗,∗ (gr(C 0 )), as bigraded K-vector spaces, and H∗ (C) is filtered isomorphic to
H∗ (C 0 ).
Proof. The first implication follows from Proposition 1.4.1 and the definition of quasi-
isomorphism. For the second implication, say φ is a filtered chain homotopy equivalence
between C and C 0 , we notice that φ has a filtered chain homotopy inverse, that we call ψ,
and, since the homotopy condition in Equation (1.2) holds, we have that the induced maps
in homology φ∗ and ψ∗ are inverses one of the other. Now, we just need to observe that φ
and ψ are both filtered of degree zero and then this holds for φ∗ and ψ∗ too. This implies
precisely that φ∗ is a filtered isomorphism.
Let f : C → C 0 be a chain map, which is filtered of degree t and preserves the grading.
We can define its associated mapping cone , that is denoted with Cone( f : C → C 0 ), whose
underlying filtered chain complex is exactly
F s (C ⊕ C 0 )d = F s−t Cd−1 ⊕ F s Cd0 ;
while the differential is given by
∂Cone : (C ⊕ C 0 )d → (C ⊕ C 0 )d−1
∂Cone ( x, y) = (−∂( x ), ∂(y) + f ( x )) .
Then we have the following result about maps between mapping cones, whose proof ap-
pears in [67].
Lemma 1.4.4 Let C , C 0 , E , E 0 be four filtered, graded chain complexes over K. Suppose that there
are filtered chain maps f and g as in the following square.
CEU eTD Collection
f
C C0
φ φ0
g
E E0
Moreover, we can find two filtered chain homotopy equivalences φ and φ0 such that φ0 ◦ f is
filtered chain homotopic to g ◦ φ. Then Cone( f ) and Cone( g) are filtered homotopy equivalent.
This lemma will be useful in the remaining of the thesis. In particular, we use it to
prove a result in Chapter 8.
20
1.5 Tensor product of modules
1.5.1 General properties and vector spaces
In this section we recall the definition of tensor product of R-modules, where R is a
commutative ring. More details can be found in [1].
Let M and N be two R-modules over the commutative ring R. Then the tensor product
of M with N over R is an R-module M ⊗ R N, together with the canonical R-bilinear map
⊗ : M ⊕ N −→ M ⊗ R N ,
which is universal in the following sense: for every R-module L and every R-bilinear map
f : M ⊕ N → L, there is a unique R-linear map
φ : M ⊗ R N −→ L
⊗
M⊕N M ⊗R N
φ
f
L
The fact that the R-module M ⊗ R N exists and it is unique, up to a canonical isomor-
phism, is proved in [1]. Moreover, we have the following canonical isomorphisms:
1. identity:
R ⊗R M = M ; (1.3)
2. associativity:
( M ⊗ R N ) ⊗ R P = M ⊗ R ( N ⊗ R P) ; (1.4)
3. symmetry:
M ⊗R N = N ⊗R M ; (1.5)
CEU eTD Collection
4. distributivity:
M ⊗ R ( N ⊕ P) = ( M ⊗ R N ) ⊕ ( M ⊗ R P) . (1.6)
f g
0 −→ N1 −→ N −→ N2 −→ 0
is exact, then
1⊗ f 1⊗ g
M ⊗ R N1 −−→ M ⊗ R N −−→ M ⊗ R N2 −→ 0
is also an exact sequence, where (1 ⊗ f )( x ⊗ y) = x ⊗ f (y).
21
From these properties we can immediately compute the tensor product of finite dimen-
sional vector spaces over the field K.
Proposition 1.5.2 If V and W are K-vector spaces, whose dimensions are equal to n and m re-
spectively, then we have that V ⊗ W is isomorphic to Knm . Furthermore, if B1 = {v1 , ..., vn } and
B2 = {w1 , ..., wm } are basis for V and W then {v1 ⊗ w1 , ..., vn ⊗ wm } is a basis for V ⊗ W.
Proof. We have that V ∼
=K Kn and W ∼
=K Km . Then, using Equations (1.4), (1.5) and (1.6),
we obtain
n M m
V ⊗W ∼ (K ⊗ K) ,
M
=K
i =1 j =1
where f i ( x ), g j ( x ) ∈ K[ x ] for every i = 1, ..., n and j = 1, ..., m. Then the tensor product of M
with N over K[ x ] is given by
n M
m
K[ x ]
M ⊗ K[ x ] N ∼
M
= K[ x ] .
i =1 j =1
gcd( f i ( x ), g j ( x ))K[ x ]
CEU eTD Collection
0 −→ I −→ R −→ RI −→ 0
22
where f is given by i ⊗ x 7→ ix. From the fact that the image of f is the submodule I M, we
then obtain that
R ⊗ M = M .
I R IM
Hence, the claim follows once we put R/J in place of M.
Proof of Proposition 1.5.3. We apply the properties of the tensor product that we stated in
Subsection 1.5.1 and we obtain that, in order to prove the statement, it is enough to show
that the following relation
K[ x ] K[ x ] ∼ K[ x ]
⊗ =
f ( x )K[ x ] K[ x] g( x )K[ x ] K[ x] gcd( f ( x ), g( x ))K[ x ]
holds for every f ( x ), g( x ) ∈ K[ x ]. This is done easily from Lemma 1.5.4 by taking R =
K[ x ], I = ( f ( x )) and J = ( g( x )).
CEU eTD Collection
23
CEU eTD Collection
Chapter 2
2.1 Definition
Thurston in [86] introduced a semi-norm on the homology of some 3-manifolds. In this
chapter we recall the construction in the specific case of rational homology spheres.
Let us consider a compact, connected, oriented 3-manifold Y such that its boundary
consists of some tori. We call the complexity of a compact, oriented surface F properly
embedded in (Y, ∂Y ), the integer
m
χ− ( F ) = − ∑ χ( Fi ) ,
i =1
where F1 , ..., Fm are the connected components of F which are not closed and not diffeo-
morphic to disks. If m happens to be zero then we say that the complexity is also zero.
Then we define the function
2. kla + mbkY 6 |l | · k akY + |m| · kbkY for any l, m ∈ Z and a, b ∈ H2 (Y, ∂Y; Z).
Suppose from now on that M is a rational homology 3-sphere and L is a smooth link in
M. This implies that H2 ( ML , ∂ML ; Q) ∼
= Qn , where ML = M \ ν(˚L) and n is the number of
components of L. Then the Thurston semi-norm
k LkT = k[ F ]k ML ,
25
where F is a Seifert surface for L. See Subsection 1.1.1 for the definition of Seifert surfaces.
While k·k ML is effectively a semi-norm, the integer k·k T is just a numerical invariant of the
link L.
Lemma 2.1.1 In a rational homology sphere M, all the Seifert surfaces for a null-homologous
n-component link L represent the same relative homology class in ML .
Proof. From Poincaré-Lefschetz duality, see [43], we have that H2 ( ML , ∂ML ; Z) ∼ =
H 1 ( ML ; Z) and the latter group is isomorphic to Zn , since M is a rational homology
sphere. Moreover, duality gives an identification between the Z-vector ( a1 , ..., an ) and all
the compact, oriented, properly embedded surfaces F in ML such that F · µi = ai for ev-
ery i = 1, ..., n, where µi is the meridian of the i-th component of L, see Figure 1.1. This
happens because L is null-homologous in M.
The meaning of our claim is that such surfaces represent the same relative homology
class. Therefore, since in the case when F is a Seifert surface we have that F · µi = 1 for each
i, the proof is completed because Seifert surfaces satisfy by definition all the properties that
we required.
It is clear that this lemma implies that the Thurston norm k Lk T is well-defined; in
fact, the value of the semi-norm k·k ML depends only on the relative homology class of the
surface.
In [73] Ozsváth and Szabó prove that the link Floer homology group HFL[ ( L) of a link
3
in S , introduced in [69, 72], detects the Thurston norm. This result has been generalized
to null-homologous links in rational homology spheres by Ni [62].
Theorem 2.1.2 Suppose that L is a null-homologous n-component link in a rational homology
3-sphere M. Then we have that
• j(Σ) = F;
• j|Σ̊ is an embedding of the interior of Σ in M \ L;
• j|∂Σ : ∂Σ → L is a t-fold cover of all the components of L.
Moreover, if F is also connected then we call it a rational Seifert surface for L.
Let us consider again the meridian curves {µ1 , ..., µn } of L as in Figure 1.1; where µi
is embedded in ∂ν( Li ) and Li is the i-th component of L. As we remark in the proof of
Lemma 2.1.1, Poincaré-Lefschetz duality gives that two properly embedded surfaces F1
and F2 in ML represent the same relative homology class if and only if F1 · µi = F2 · µi for
every i = 1, ..., n, where as before we mean the algebraic intersection of the surface Fj with
the curve µi in the 3-manifold ML .
26
Lemma 2.1.3 Suppose that F is a compact, oriented surface properly embedded in ML = M \ ν(˚L)
with F · µi = t for every i = 1, ..., n, where M is a rational homology sphere and L ,→ M is an
n-component link with order t.
Then there exists an F 0 in M which is rationally bounded by L and it is such that
χ− ( F 0 ∩ M L ) 6 χ− ( F )
and the surface F 0 ∩ ML represents the same relative homology class of F.
Proof. First, we observe that trivial properly embedded disks in ML , which are connected
components of F, do not increase the complexity χ− ( F ); then we can just delete them.
Moreover, suppose that there are other boundary components of F, whose algebraic in-
tersection with µi is zero for every i = 1, ..., n. Then either those components are parallel
to the meridians, but this cannot happen because F · µi = t for every i, either they are
homologically trivial in the tori ∂ν( L), which means that they are circles which bound a
disk. We can then push these disks slightly out of ∂ν( L), starting from the innermost ones,
and then cap off the surface. After removing all the closed components we obtain a new
surface whose complexity is smaller or equal to the one of F.
In the second step we show that we can take F 0 such that F 0 ∩ ∂ν( L) consists of essential,
parallel, simple closed curves all oriented in the same direction. Therefore, suppose there
are two components C1 and C2 of F 0 ∩ ∂ν( Li ) with opposite orientations; then there is an
innermost pair of such components, say precisely C1 and C2 without loss of generality,
such that C1 ∪ C2 is the boundary of an annulus A ⊂ ∂ν( Li ) with Ci ∩ Å empty. We can
alter the surface F 0 by attaching a copy of the annulus A to F 0 and pushing it into the
interior of ML . This operation does not change the relative homology class of F 0 nor its
complexity.
We have now obtained that F 0 is a compact, oriented surface properly embedded in
ML , representing the same relative homology class of F, such that χ− ( F 0 ) 6 χ− ( F ) and
F 0 ∩ ∂ν( Li ) is a link with slope (t, s), where s ∈ Z, in the torus ∂ν( Li ) for every i = 1, ..., n.
To conclude we need to extend F 0 inside ν( Li ) in a way that it is rationally bounded by L.
This can always be done and it is proved in [2]. This completes the proof.
From Lemma 2.1.3 and [86] we have that rational Seifert surfaces exist for every link in
a rational homology sphere. Hence, we say that the Thurston norm of a link L with order t
in M is the rational number
[ F]
k LkT = ,
t ML
where F is a rational Seifert surface for L. In the same way as for null-homologous links,
CEU eTD Collection
27
2.2 Results
In Subsection 1.1.1 we define the disjoint union of two links. We now show that the
Thurston norm is additive under disjoint unions. First, we need the following definition.
A component K of a link L in a rational homology sphere M is called compressible if K
is rationally bounded by an F, disjoint from L \ K, that is the image of a map j : D ,→ M,
where D is diffeomorphic to a disk. We prove that compressible knots do not appear in
B
T
β = ∂F
K β
Figure 2.1: The ball B is attached to the solid torus T along the curve β.
every 3-manifold; more specifically, we show that we can find them only when M has a
lens space as a connect summand.
Lemma 2.2.1 Let us consider K, L and M as before and denote with L0 the link L \ K. Suppose
that K rationally bounds F, where F is determined by j : D → M with D a disk and j| D a p-fold
cover of K. Moreover, suppose also that F is disjoint from L0 . Then K is an order p knot in a lens
space L( p, q) such that M = L( p, q) # M0 and L0 ,→ M0 .
Proof. Let T = ν(K ) and B be the tubular neighborhoods of K and F \ ν(˚K ) respectively.
Clearly, T is a solid torus and B is a 3-ball; moreover, we can suppose that T ∪ B is disjoint
from L0 .
Denote with β the simple, closed curve in the torus ∂T given by ∂T ∩ F. Then we can
see β as the attaching sphere of the 3-dimensional 2-handle B on T, which in turn can be
thought as a lower handlebody. This implies that T ∪ B is diffeomorphic to a lens space
minus a 3-ball. See Figure 2.1. Those are standard results in the theory of 3-manifolds and
more details are in [41].
In particular, we have that T ∪ B ∼ = L( p, q) \ {3-ball} for some integer q, such that
gcd( p, q) = 1, and where p appears because j| D is a p-fold cover of K. Hence, it is M =
L( p, q) # M0 and the link L0 is contained in M0 . The fact that K is an order p knot in L( p, q) is
CEU eTD Collection
also straightforward, because K is the core of the handlebody T and it is easy to check that,
for this reason, its homology class is the generator of H1 ( L( p, q); Z) which is isomorphic
to Z/pZ.
k L k T = k L1 k T + k L2 k T
28
and the order of L in M is t = lcm(t1 , t2 ), where ti is the order of Li in Mi for i = 1, 2.
Proof. We suppose first that L1 and L2 have no compressible components. Let us consider a
surface F which is rationally bounded by L. Fix a separating 2-sphere S ,→ M, that gives a
connected sum decomposition of M, in a way that S intersects F transversely in a collection
of circles S . Moreover, we suppose that there exist neighborhoods for L1 and L2 which are
disjoint from S, each one lying in one component of M \ S. Take the map j : Σ ,→ M which
defines F; if the neighborhoods are chosen small enough then we can also suppose that
they intersect F only in the image of a neighborhood of ∂Σ.
Now each circle in S separates S into two disks. Let C ⊂ S be a circle that is innermost
on F. This means that C bounds a disk D in S, the interior of which misses F. Now use D
to do surgery on F in the following way: create a new surface Fb from F by deleting a small
annular neighborhood of C and replacing it by two disks, each a “parallel” copy of D, one
on either side of D. We then perform the surgery on F described before on all the circles
in S . At this point Fb may have closed components, but in this case we just delete them.
Therefore, we are left with a disconnected surface whose connected components, that are
no longer closed, stay in Mi according wether they bound a component of Li . We call F1
the surface given by the union of the components of Fb of the first type and F2 the other one.
We clearly have that F1 and F2 are disjoint, they lie in M1 and M2 respectively and that
they do not intersect S; moreover, they are such that
• χ( F1 ) + χ( F2 ) = χ( F1 t F2 ) > χ( F ).
χ( F1 ) χ( F2 ) χ( F )
− − 6− < k L1 k T + k L2 k T .
t t t
CEU eTD Collection
In particular, at least one of the two surfaces, say F1 , is such that −t−1 χ( F1 ) < k L1 k T . Then
the claim follows from the fact that by construction, if t = at1 , the class [ F1 ] coincide with
a times the class represented by a rational Seifert surface of L1 in H2 ( ML , ∂ML ; Q); which
gives a contradiction.
To conclude we need to prove that, if L is the disjoint union of a link L0 with a compress-
ible knot K, it is k Lk T = k L0 k T + kK k T . This is done in the same way as the previous case,
but we take into account the fact that disks do not increase the complexity of a surface.
Corollary 2.2.3 The Thurston norm of a link L in M1 coincides with the one obtained when L is
seen as a link in M, where M = M1 # M2 . Furthermore, the order of L in M1 concides with the
order of L in M.
29
In light of Corollary 2.2.3, we use the symbol k Lk T not only when L is seen as a link
in M, but also in the case when L lies inside a connect summand of M. Moreover, we can
now prove the following proposition.
Proof. Let us start to prove the only if implication. It follows easily from the definition of
compressibility and Corollary 2.2.3 that K rationally bounds F, the image of a disk D under
the map j, in N; where here j is such that j| D is a t-fold cover of K. It remains to show that
t is actually the order of K in N.
We move to the if implication for the moment. In this case we have to show that the
knot K is embedded in a connect summand N of M and L0 = L \ K does not intersects N.
Then we can conclude by reasoning as in the proof of Proposition 2.2.2.
Knowing this, if we use Lemma 2.2.1 then we immediately prove both the previous
claims. This completes the proof.
o ( L)
1
o( L ) = ∑ ti
,
i =1
where o ( L) is the number of compressible components in L and t1 , ..., to( L) are the orders of
such components. Then, in order to prove our main result in Chapter 3 we need another
lemma.
Lemma 2.2.5 Suppose that L is a non-split link in a rational homology 3-sphere M. Then we have
that
−χ( F )
k LkT − o( L) = min ,
t
where F is rationally bounded by L and t is the order of L in M.
30
Chapter 3
• F (·, 0) = Id M ;
while contact isotopies only relate contact structures on a fixed 3-manifold. Furthermore,
the following corollary follows immediately from the previous definitions.
Corollary 3.1.1 Suppose ξ 1 and ξ 2 are contact isotopic structures on a 3-manifold M. Then
( M, ξ 1 ) and ( M, ξ 2 ) are contactomorphic.
An embedded disk E, in a contact manifold ( M, ξ ), is an overtwisted disk if its boundary
∂E is such that TE ⊂ ξ and E · eξ = 0, where eξ is the contact framing given by ξ. See [27].
In Section 3.2, we see that these conditions are equivalent to say that E is bounded by a
Legendrian unknot in M and tbE (∂E) = 0, where tb is called Thurston-Bennequin number
and it is also defined later.
A contact structure ξ on a 3-manifold M is an overtwisted structure if ( M, ξ ) contains an
overtwisted disk. While, we say that ξ is a tight structure if it is not overtwisted.
31
We now need to recall the definition of convex surface in a contact 3-manifold and
dividing set. We use [27] as a reference. We start by saying that a surface S in ( M, ξ ) is
called convex if there is a vector field v, transverse to S, whose flow preserves ξ; such a
vector field is called a contact vector field. We have the following approximation result.
Proposition 3.1.2 Every closed surface Σ can be smoothly perturbed into a convex surface. Fur-
thermore, in the case Σ has the link L = L1 ∪ ... ∪ Ln as boundary, if L is such that TL ⊂ ξ and
Σ · Li,ξ 6 0 for i = 1, ..., n, where Li,ξ is the contact framing of Li , then Σ can be again smoothly
perturbed into a convex surface, fixing the boundary.
Proof. The closed case is done in [37], while the proof for surfaces with boundary can be
found in [50].
ΓS = { x ∈ S | v( x ) ∈ ξ x }
is a collection of embedded curves, and arcs if the surface has non-empty boundary, in S
and is called the dividing set of S in ( M, ξ ).
We have that the relative homotopy type of ΓS is invariant under contact isotopy. More-
over, if the knot K is a component of the boundary of S, and it is Legendrian, which means
such that TK ⊂ ξ, then
1
S · Kξ = − · | K ∩ ΓS | ,
2
where Kξ is the contact framing of K. More details can be found in [65].
In the specific case of S3 , all of the overtwisted structures can be explicitly determined.
Let us recall that there is an isomorphism d3 : π3 (S2 ) → Z and a generator of π3 (S2 ) is
the Hopf fibration, introduced in [48]. The map d3 is called the Hopf invariant. Then the
following result holds.
Corollary 3.1.4 The space of overtwisted structures on S3 is in bijection with Z and then such
structures are classified by the Hopf invariant d3 .
Proof. From Eliashberg’s Theorem 3.1.3 we have that an overtwisted structure ξ on S3 is
determined by the homotopy type of ξ as 2-plane field.
Since contact structures are cooriented, there is a vector field v such that v( x ) is orthog-
onal to ξ x for every x ∈ S3 and it is positively oriented. This means that ξ induces a map
from S3 to S2 and then its homotopy type is an element of π3 (S2 ).
32
From now on, we denote the overtwisted structures on S3 with ξ n , where d3 (ξ n ) = n
and ξ 0 is homotopic to the Hopf fibration.
We now suppose that M is non-compact. In this case, an overtwisted contact structure
is called tight at infinity if it is tight outside a compact set. Otherwise, we say that it is
overtwisted at infinity. We state the version of Theorem 3.1.3 for non-compact 3-manifold.
Theorem 3.1.5 (Eliashberg) The classification of contact structures overtwisted at infinity coin-
cides with the homotopical classification of tangent 2-plane distributions.
On the other hand, we do not have a complete classification of tight contact structures,
but Ding and Geiges in [16] proved that there exists a prime decomposition under contact
connected sum. We say that a contact manifold (Y, ζ ) is prime if (Y, ζ ) = (Y1 , ζ 1 ) # (Y2 , ζ 2 )
implies that at least one of the two summands is contactomorphic to (S3 , ξ st ), which is the
unique tight structure on S3 [21].
Theorem 3.1.6 (Ding and Geiges) Every tight contact 3-manifold ( M, ξ ), that is not (S3 , ξ st ),
is contactomorphic to a connected sum
( M1 , ξ 1 ) # ... # ( Mk , ξ k )
of finitely many prime tight contact 3-manifolds. The summands are unique up to order and con-
tactomorphism.
More details on the connected sum of contact 3-manifolds can be found in [13].
3.1.3 Fillings
We recall that a smooth 4-manifold is symplectic if it is equipped with a closed non-
degenerate differential 2-form ω, called a symplectic form. A contact manifold ( M, ξ ) is
called weakly symplectically fillable if there is a compact symplectic 4-manifold ( X, ω ) such
that ∂X = M and ω |ξ > 0.
We also say that ( M, ξ ) is strongly symplectically filled by X if there is a vector field v,
transversely pointing out of X along M, such that the Lie derivative Lv ω is a positive
multiple of ω in every point and the contraction ι v ω is a contact 1-form for ξ.
It is clear from the definition that a strong filling is also a weak filling. Moreover, the
two notions coincide on rational homology spheres. See [20, 25, 63].
An important result of Eliashberg and Gromov is that simplectically fillable contact
structures are always tight.
CEU eTD Collection
Theorem 3.1.7 (Eliashberg and Gromov) Suppose that ( M, ξ ) is a contact 3-manifold which
admits a weak symplectic filling. Then the structure ξ is tight.
This theorem was reproved by Ozsváth and Szabó, using Heegaard Floer homology, in
[70].
Another type of filling that is interesting to study consists of the family of Stein fillings.
A Stein manifold is a triple ( X, J, ψ), where J is a complex structure on X, there is a Morse
function ψ from X to R and ωψ (v, w) = −d(dψ ◦ J )(v, w) is non-degenerate.
A contact manifold ( M, ξ ) is called Stein fillable if there is a Stein manifold ( X, J, ψ) such
that
33
• the manifold M is a non-critical level of ψ;
• −(dψ ◦ J ) is a contact form for ξ.
The following corollary follows easily from the definition of Stein filling.
Corollary 3.1.8 A Stein fillable contact 3-manifold is strongly symplectically fillable
The converse of this result is not true as we know from Ghiggini [36].
We can now say a few words on contact surgeries. More details are in [27]. Let K be
a knot in a contact 3-manifold ( M, ξ ) such that TK ⊂ ξ (a Legendrian knot). It is known,
see [35], that K has a neighborhood ν(K ) that is contactomorphic to a neighborhood of the
x-axis in (R3 , Ker (dz − ydx ))/ ∼, where ∼ identifies ( x, y, z) with ( x + 1, y, z).
With respect to these coordinates on ν(K ), we can remove ν(K ) from M and topologi-
cally glue it back by performing a Dehn surgery along K, with framing the contact framing
±1. Denote the resulting manifold with M(K,±1) . There is a unique way, up to isotopy,
to extend ξ | M\ν(K) to a contact structure ξ (K,±1) over all of M(K,±1) so that ξ (K,±1) |ν(K) is
tight, see [46]. The new contact manifold ( M, ξ )(K,±1) is said to be obtained from ( M, ξ ) by
±1-contact surgery along K.
We can iterate this procedure multiple times on different Legendrian knots in M. Then
in this case we say that we are doing a contact surgery on ( M, ξ ) along a Legendrian link.
We recall that every ( M, ξ ) is obtained from (S3 , ξ st ) by contact surgery [15]. We conclude
this subsection with the following theorem.
Theorem 3.1.9 Suppose that a contact manifold ( M, ξ ) admits a contact surgery presentation
which contains only −1-surgeries. Then ( M, ξ ) is Stein fillable.
This fact is proved in [19, 40].
34
where F is a rational Seifert surface for L in M, as defined in Section 2.1, and t is the order
of L in M.
We define the Thurston-Bennequin number of every Legendrian link L by taking tb( L) =
tb( L1 ) + ... + tb( Lr ), where the Li ’s correspond to the split components of the link type of
L. It follows from the properties of the linking number in Subsection 1.1.1 that tb( L) does
not depend on the choice of the rational Seifert surface. Moreover, it is also easy to check
that this number is a Legendrian invariant.
The Thurston-Bennequin number satisfies the properties stated in the following propo-
sition.
Proposition 3.2.1 Suppose that L is a Legendrian link in a rational homology contact 3-sphere
( M, ξ ). Then we have that
1. if L is null-homologous then tb( L) is an integer;
2. if we reverse the orientation of L then tb(− L) = tb( L).
Proof. The link L is null-homologous in M if and only if Li is null-homologous in M for
every i = 1, ..., r, where the Li ’s correspond to the split components of the link type as
before, because of Corollary 2.2.3. Then the first claim follows from Proposition 1.1.2.
Now we observe that − F represents a rational Seifert surface for − L and − Lξ is its
contact framing. Then this clearly means that nothing changes in the definition of tb(− L).
35
where γi is the restriction of γ to the i-th component of ∂Σ and t is the order of L in M. In
the same way as before, the value of rot L does not depend on the choice of F nor of the si ’s
and it is a Legendrian invariant.
The following proposition is the version of Proposition 3.2.1 for rot L.
Proposition 3.2.2 Suppose that L is a Legendrian link in a rational homology contact 3-sphere
( M, ξ ). Then we have that
1. if L is null-homologous then rot( L) is an integer;
2. if we reverse the orientation of L then rot(− L) = − rot( L).
Proof. Property 1 is trivial. In order to prove Property 2, we take − F as rational Seifert
surface and −u as unit tangent vector field, but we can still take s1 and s2 as sections. This
means that, if γ0 is the map for − L, it is deg(γi0 ) = −deg(γi ) for every i.
for now that T is non-split; take a surface F which is rationally bounded by T and the
map j : Σ → M that defines F, as described before in Section 2.1. Consider the pull-back
bundle j∗ ξ on Σ. Then again we have that j∗ ξ is trivial. Let v be a non-zero section of j∗ ξ.
Normalize v so that v|∂Σ defines a link Tξ in ∂ν( T ). We define the self-linking number of T
to be
1 F · Tξ
sl( T ) = · lkQ ( T, Tξ ) = .
t t2
This definition coincides with the one given by Baker and Etnyre in [2] for transverse knots.
In the case that T has split link smooth type, we consider T1 , ..., Tr the connected com-
ponents of T as a smooth link. Then we say that
r
sl( T ) = ∑ sl(Ti ) .
i =1
36
The fact that M is a rational homology sphere tells us that sl( T ) is independent of the
choice of the surface F. Furthermore, the self-linking number is a transverse invariant and,
as in the Legendrian case, it has the following property.
Corollary 3.3.1 Suppose that T is a null-homologous transverse link in a rational homology con-
tact 3-sphere ( M, ξ ). Then the invariant sl( T ) is an integer.
We can find the value of the self-linking number of the transverse push-offs of a Leg-
endrian link L, starting from its Thurston-Bennequin and rotation numbers.
Proposition 3.3.2 Let L be an n-component Legendrian link in the rational homology contact
3-sphere ( M, ξ ). Then we have that
sl T±+L = tb( L) ∓ rot( L) .
Proof. The proof is done in [2] for Legendrian knots. Hence, the claim follows by observing
that
n n
tb( L) ∓ rot( L) = ∑ tb( Li ) + 2 ∑ lkQ ( Li , L j ) ∓ ∑ rot( Li ) =
i =1 i6= j i =1
n
= ∑ sl(T±+L ) + 2 ∑ lkQ ( Li , L j ) = sl(T±+L ) ,
i
i =1 i6= j
where the first and the last equality are consequences of Equation (1.1).
i =1
CEU eTD Collection
θ 7−→ ( x (θ ), z(θ ))
where θ = (θ1 , ..., θn ) and ( x (θ ), y(θ ), z(θ )) is the parametrization of L.
A generic front projection of L is a special diagram for L with no vertical tangencies,
that are replaced by cusps, and at each crossing, the slope of the overcrossing is smaller
than the one of the undercrossing. An example of front projection is shown in Figure
3.1: we picture a diagram of the standard Legendrian unknot O , which is the unique, up to
Legendrian isotopy, Legendrian unknot such that tb(O) = −1. This is proved in [24].
There exist moves on Legendrian front projections, called the Legendrian Reidemeister
moves and they are illustrated in Figure 3.2. A further move is the Legendrian planar
isotopy; such a move is an isotopy of the front projection that does not introduce vertical
tangencies. These moves appear in the following Legendrian analogue of Reidemeister’s
Theorem 1.2.1. A proof can be found in [85].
37
Figure 3.1: A front projection of the standard Legendrian unknot.
1
tb( L) = wr( P) − · |cusps in P| ; (3.1)
2
CEU eTD Collection
1
rot( L) = · |down-ward cusps in P| − |up-ward cusps in P| . (3.2)
2
i =1
38
for which θ = (θ1 , ..., θn ), r (θ ) 6= 0 and ψ0 (θ ) > 0 for every θ. More details on braids and
closed braids can be found in [5].
To see the connection between braids and transverse links we use the contact structure
ξ sym on R3 , which is given by ξ sym = Ker dz + r2 dψ . Since this structure is contact
isotopic to the standard one, we can transfer any question about ξ st to ξ sym . Now given
a closed braid B, we can isotopy it through closed braid so that it is enough far from the
z-axis that the planes that make up ξ sym are almost vertical, which means they are close to
∂
the planes spanned by ∂z and ∂r∂ . Thus the closed braid type B represents a transverse link.
Bennequin proved the opposite assertion in [4].
Theorem 3.4.2 (Bennequin) Every transverse link in (R3 , ξ sym ) is transversely isotopic to a
closed braid.
Proof. The proof of the theorem follows the same strategy of the one that smooth links can
be braided. See [5]. We just need to check that such procedure can be done in a transverse
way. For details we refer to [4, 64].
Let us fix k points pi in a disk D2 , for i = 1, ..., k. Then we recall that a k-braid is an
embedding of k arcs γi : [0, 1] → D2 × [0, 1] so that γi (t) ∈ D2 × {t} and the endpoints of
the γi ’s, corresponding to 0 (or 1), map as a set to pi in D2 × {0} (or D2 × {1}). It is easy to
σi
i+1
two moves.
Theorem 3.4.3 (Orevkov and Shevchishin; Wrinkle) Two braids represent the same transverse
link if and only if they are related by a finite sequence of positive stabilizations (and their inverse)
and conjugations in the braid group.
From [4] we also have that the self-linking number of a transverse link T in (S3 , ξ st ),
represented by the closed k-braid B, is computed as follows:
39
3.5 Connected sum and disjoint union in the contact setting
The definition of connected sum of two 3-manifolds can be easily given also when
they come together with a contact structure. Let us take two connected contact manifolds
( M1 , ξ 1 ) and ( M2 , ξ 2 ); we call Mi0 (for i = 1, 2) the manifolds obtained from Mi by removing
an open Darboux ball, that is a 3-ball with the its unique tight contact structure [21], and we
define ( M1 # M2 , ξ 1 # ξ 2 ) the contact manifold which is gotten by gluing together M10 and
M20 . The structure ξ 1 # ξ 2 is well-defined because it is always possible to glue two contact
structures along the boundary of a Darboux ball. Moreover, the result is independent of
the choice of the balls themselves and we have the following proposition.
Proposition 3.5.1 For every Darboux ball B in the overtwisted manifold ( M, ξ ) there exists at
least one overtwisted disk disjoint from B. In particular, if ( M, ξ ) = ( M1 # M2 , ξ 1 # ξ 2 ) and a
summand Mi is overtwisted then we can always find overtwisted disks which are contained entirely
in Mi0 ⊂ M1 # M2 .
Proof. From Eliashberg’s classification, the connected sum of ( M, ξ ) with (S3 , ξ 0 ) is always
contact isotopic to ( M, ξ ). Then the first statement can be proved by noting that we can
find two disjoint Darboux balls in ( M, ξ ) and, since ξ is overtwisted, one can be replaced
with (S3 , ξ 0 ) minus a Darboux ball. At this point, the second statement is an immediate
consequence of the first one.
Clearly if ( M1 , ξ 1 ) is overtwisted then the connected sum is still overtwisted, but if both
the summands are tight then it is important to cite the following result of Colin [13].
Theorem 3.5.2 The connected sum of two contact 3-manifolds ( M1 # M2 , ξ 1 # ξ 2 ) is tight if and
only if ( M1 , ξ 1 ) and ( M2 , ξ 2 ) are both tight.
If a sphere S separates a contact manifold ( M, ξ ) into two components M1 and M2 such
that smoothly it is M = M1 # M2 then we can ask whether ξ also splits accordingly. Then
we can state the following lemma.
Lemma 3.5.3 A convex separating sphere S in ( M, ξ ) gives a connected sum decomposition
( M, ξ ) = ( M1 #S M2 , ξ 1 #S ξ 2 ) if and only if the dividing set ΓS is trivial, which means that
consists of a unique simple, closed curve.
Proof. The claim follows from the fact that a contact manifold, whose boundary is a convex
sphere, can be glued together with a Darboux ball if and only if its dividing set is trivial as
shown in [27].
CEU eTD Collection
Etnyre and Honda in [31] extended the definition of connected sum to Legendrian
links. Suppose that we have two Legendrian links L1 and L2 in ( M1 , ξ 1 ) and ( M2 , ξ 2 )
respectively. We take two Darboux balls D1 and D2 as before, but with the condition that
Di ∩ Li is a Legendrian arc αi where αi ∩ ∂Di consists of two points and its front projection
is isotopic to the one in Figure 3.4; we call this the Legendrian elementary tangle. In this way,
the link L1 # L2 in ( M1 # M2 , ξ 1 # ξ 2 ) is Legendrian and it does not depend on the choice of
the Darboux balls Di , but only of which component of Li contains the arc αi .
We observe that we have:
• tb( L1 # L2 ) = tb( L1 ) + tb( L2 ) + 1;
40
αi
Di
• tb( L± ) = tb( L) − 1;
• rot( L± ) = rot( L) ± 1.
Σ = S2 × {0}
L1
L2
Tight S2 × I
( M1 , ξ 1 ) ( M2 , ξ 2 )
Figure 3.6: Disjoint union of L1 and L2 .
41
L1 t L2 in ( M1 # M2 , ξ 1 # ξ 2 ) as the Legendrian link given by a particular connected sum
L1 # O2 # L2 ; where O2 is the standard Legendrian unlink with 2 components in (S3 , ξ st ).
The connected sum is such that one component of O2 is summed to L1 and the other one
to L2 as shown in Figure 3.6. Note that L1 and L2 are Legendrian links in ( M1 # M2 , ξ 1 # ξ 2 ).
Using the same criterion of the smooth case in Subsection 1.1.1, we say that a Legen-
drian link L, in a contact 3-manifold ( M, ξ ), is split if there exist Li ,→ ( Mi , ξ i ) for i = 1, 2
such that ( M, ξ ) = ( M1 , ξ 1 ) # ( M2 , ξ 2 ) and L is Legendrian isotopic to the disjoint union of
L1 and L2 . Otherwise, we say that L is non-split.
Finally, we note that as before:
• tb( L1 t L2 ) = tb( L1 ) + tb( L2 );
• rot( L1 t L2 ) = rot( L1 ) + rot( L2 ).
42
We know from [2] that we can modify F 0 in a way that ∂F 0 = T 0 is as wanted and the
characteristic foliation Fξ0 is generic. In particular, we can assume that all the singularities
are isolated elliptic or hyperbolic points. Moreover, each singularity has a sign depending
on whether the orientation of ξ and TF 0 agree at the singularity. Let us denote with e± and
h± the number of such singularities.
Since we can interpret F 0 · Tξ as a relative Euler class, in other words F 0 · Tξ is the ob-
struction to extending the framing Tξ to a non-zero vector field on F 0 , we have that
F · Tξ0 = F 0 · Tξ0 = (e− − h− ) − (e+ − h+ ) ,
as in [2]. Moreover, a simple computation gives that
χ ( F ) = ( e+ + e− ) − ( h + + h − ) ;
thus it is
F · Tξ0 + χ( F ) = 2(e− − h− ) . (3.4)
At this point, since ξ is tight, every negative elliptic point is connected to a negative hyper-
bolic point, otherwise we could find overtwisted disks in ( M, ξ ), and then we can cancel
this pair using Giroux’s elimination lemma [38]. This means that we can isotope F 0 so
that the characteristic foliation is such that e− = 0 and then the claim follows easily from
Equation (3.4).
We can now prove the main result of the chapter.
Theorem 3.6.2 Suppose that L is a Legendrian link in a tight contact 3-manifold ( M, ξ ) and M is
a rational homology sphere. Then we have that
tb( L) + | rot( L)| 6 k Lk T − o( L) .
Furthermore, suppose that T is a transverse link in ( M, ξ ). Then we have that
sl( T ) 6 k T k T − o( T ) ,
where the Thurston norm and the compressibility term o are defined in Chapter 2.
Proof. Suppose first that T is a non-split transverse link of order t in ( M, ξ ). Take an F that
is rationally bounded by T and gives the equality in Lemma 2.2.5. Then from Lemma 3.6.1
we have that
sl( T 0 ) F · Tξ0 χ( F )
sl( T ) = = 6− = k T k T − o( T ) .
t t t
For the second equality we also use that T 0 is null-homologous.
On the other hand, if T has split smooth link type then we reason as in Section 3.3 and
CEU eTD Collection
we write T1 , ..., Tr , which are the split components of T. Hence, this time we obtain
r r
sl( T ) = ∑ sl(Ti ) 6 ∑ kTi kT − o(Ti ) = kT kT − o(T ) ,
i =1 i =1
because of Proposition 2.2.2 and the additivity of the Thurston norm and the compressibil-
ity term.
Now suppose that L ,→ ( M, ξ ) is a Legendrian link. Then from Proposition 3.3.2 we
have that
tb( L) ∓ rot( L) = sl T±+L 6 k Lk T − o( L) ;
in fact, L and its transverse push-offs are all smoothly isotopic, up to orientation, and then
they have same Thurston norm and number of disjoint unknots.
43
CEU eTD Collection
Chapter 4
Σ β1
CEU eTD Collection
α1
Figure 4.1: A Heegaard diagram for the 3-sphere. The torus Σ splits S3 into two solid tori,
which are precisely the handlebodies Uα and −Uβ .
45
sect transversely. The associated 3-manifold M and its Heegaard splitting consist of the
handlebodies Uα and −Uβ , specified by the g-tuples α and β, glued to Σ. See Figure 4.1.
We now define an enriched version of Heegaard diagrams. More specifically, a pointed
Heegaard diagram is a quadruple H = (Σ, α, β, w) given by a triple (Σ, α, β) as before and a
point w ∈ Σ \ (α ∪ β).
Now, fix a connected, oriented 3-manifold M, and a generic self-indexing Morse func-
tion on M, which has one index zero and one index three critical point. Fix also a generic
α2 α2
α1
α1 + α2
Figure 4.2: The curve α1 + α2 is the handleslide of α1 over α2 .
metric g together with a choice of a gradient flowline, connecting the index zero and three
critical points.
Then, there is an associated pointed Heegaard diagram H for M, whose surface Σ is
the mid-level of the Morse function; the curves in α are the locus of points on Σ where the
gradient flowline leaving the index one critical point meets Σ. Similarly, the curves in β
are the one which flow from the index two critical point. Finally, w is the point on Σ that
lies on the flowline.
If H is obtained in this manner, from a Morse function f , then we call f a Morse function
compatible with H. Given a pointed Heegaard diagram for M, it is easy to construct a
Σg Σ g +1
β g +1
α g +1
Figure 4.3: The new curves α g+1 and β g+1 are in standard position. This move corresponds
CEU eTD Collection
Theorem 4.1.1 (Ozsváth and Szabó) Any two pointed Heegaard diagrams for M can be con-
nected by a finite sequence of the following moves:
1. isotopies and handleslides of the curves in α (or β), supported in the complement of w, see
Figure 4.2;
Proof. The proof is sketched in [72]. The fact that every two (unpointed) Heegaard dia-
grams can be connected by such moves follows from standard Morse theory. This can be
46
done in the complement of a single basepoint because we can trade an isotopy across the
basepoint for a sequence of handleslides in the opposite direction [68].
Using the basepoint we obtain additional information when the 3-manifold is equipped
with a Spinc structure. In this thesis, since we are working on 3-manifolds, the definition
of Spinc structure will be the one given by Turaev in [88]: an isotopy class, away from a
point, of nowhere vanishing vector fields on the manifold.
We define the g-th symmetric power of a genus g surface Σ as the manifold
g times
z }| {
Σ × ... × Σ
Sym (Σ) =
g
( x1 , ..., x g ) = xσ(1) , ..., xσ( g)
in Symg (Σ).
Given a pointed Heegaard diagram (Σ, α, β, w) for the 3-manifold M, we have a well-
defined map
sw : Tα ∩ Tβ −→ Spinc ( M)
which sends an intersection point x ∈ Tα ∩ Tβ into the Spinc structure sw ( x ) on M, as
described in [72]. The map is defined as follows. An intersection point x corresponds to a
g-tuple of gradient flowlines which connect all the index one and two critical points. Let
γx be the union of gradient flowlines passing through each xi ∈ x, and γw be the union of
gradient flowlines passing through each wi ∈ w.
The closure of γx ∪ γw is a collection of arcs whose boundaries consist of all the critical
points of f , which is a compatible Morse function. Moreover, each component contains
a pair of critical points whose indices have opposite parities. Thus, we can modify the
gradient vector field in an arbitrarily small neighborhood of γx ∪ γw to obtain a new vector
field which vanishes nowhere in M. We call this vector field πw ( x ) and its homotopy class,
in the sense of [88], sw ( x ).
The space Spinc ( M) is (not canonically) identified with H 2 ( M; Z). For this reason we
think of sw ( x ) as a 2-cohomology class in M.
CEU eTD Collection
4.1.2 Links
In the case of links, we need (balanced) multi-pointed Heegaard diagrams. These diagrams
are defined as a quintuple (Σ, α, β, w, z), but the objects are slightly different. In fact, now
the sets α and β consist of g + n − 1 curves, where n > 1 is an integer, and they are such
that each one spans a g-dimensional subspace of H1 (Σ; Z). Moreover, say S1 , ..., Sn are the
connected components of Σ \ α and T1 , ..., Tn are the ones of Σ \ β, we have that w and z are
two sets of n basepoints in Σ such that wi , zi ∈ Si ∩ Ti for every i = 1, ..., n. See Figure 4.4.
A multi-pointed Heegaard diagram gives rise to a 3-manifold M together with an ori-
ented link L in M as follows. Start from [−1, 1] × Σ and attach 3-dimensional 1-handles
along copies of the α-curves in {−1} × Σ; then attach three-dimensional 2-handles along
the copies of the β-curves in {1} × Σ. The result has 2n copies of S2 as boundary, which
we can close off with 2n 3-handles to get the closed 3-manifold M.
47
When we connect the basepoints in the components Si and Ti , in the handlebodies
given by the α-curves and β-curves, with unknotted and unlinked arcs, we get an embed-
ded closed 1-manifold L in M. Next, we orient the link L so that the portions of the link
w1 Σ
β
z1
α
L
w2
z2
Figure 4.4: A very simple multi-pointed Heegaard diagram for the 2-component unlink in
S3 .
in the α-handlebody point away from the w-basepoints and into the z-basepoints. The
resulting link L has n components.
Indeed, any oriented link in any 3-manifold can be presented by an appropriate multi-
pointed Heegaard diagram. Given an n-component link, one can find a self-indexing
Morse function f : M → R with n index zero and three critical points, and g + n − 1
index one and two critical points; with the additional property that there are two n-tuples
of flowlines γw and γz , connecting all the index three and index zero critical points, so that
our link L can be realized as the difference γz − γw . Such a Morse function gives rise to a
multi-pointed Heegaard diagram for L in M.
Theorem 4.1.2 (Ozsváth and Szabó) Every two multi-pointed Heegaard diagrams for the same
n-component link L in M can be connected by a finite sequence of moves of the following types:
1. isotopies and handleslides of the curves in α (or β ), supported in the complement of w and z;
Proof. The claim follows from Morse theory in the usual manner.
In the previous subsection we saw that, starting from (Σ, α, β, w, z), we define two maps
sw and sz from the set of the intersection points Tα ∩ Tβ to the one of Spinc structures over
CEU eTD Collection
M. The relation between these two maps is given in the following proposition.
Proof. It is proved in [68] that sw ( x ) − sz ( x ) coincides with the Poincaré dual of [γ], where
γ is a curve in Σ such that αi · γ = 1 for every i = 1, ..., g. The link L respects such
conditions.
As in Section 2.1, let us call ML the 3-manifold with boundary M \ ν(˚L). When L has
n components we have that ∂ML consists of n disjoint tori. On this kind of 3-manifold we
48
define a relative Spinc structure as in [72]: the isotopy class, away from a point, of a nowhere
vanishing vector field such that the restriction on each boundary torus coincides with the
canonical one. This is the vector field induced by the Spin structure on the boundary tori
of ML ; each structure is given by the product of the extendable Spin structure on the circle
(see [72, 88]).
We denote the set of the relative Spinc structures on ML by Spinc ( M, L); then we have
an identification of Spinc ( M, L) with the relative cohomology group H 2 ( ML , ∂ν( L); Z).
Moreover, from [72] we know that, given a multi-pointed Heegaard diagram, we construct
a map
sw,z : Tα ∩ Tβ −→ Spinc ( M, L)
applying the following procedure.
Let γ be a gradient flowline connecting an index zero and index three critical point,
and let ν(γ) denote a neighborhood of this flowline. One can construct a nowhere vanish-
ing vector field v over ν(γ), which has an integral flowline P which enters ν(γ) from its
boundary, contains γ as a subset and then exits ν(γ).
Let f be an orientation-preserving involution of ν(γ). We can arrange for −v|∂ν(γ) to
agree with f ∗ (v|∂(ν(γ)∪ P ). Indeed, we can construct v in the way that the difference v −
f ∗ (v) is the Poincaré dual of a meridian for γ, thought of as an element of H1 (ν(γ) \ P; Z).
Armed with this vector field, we can now define the map sw,z . Fix a Morse function f ,
compatible with the Heegaard diagram. Given x ∈ Tα ∩ Tβ , consider the flowlines γx , γw
and γz . We replace the gradient vector field in a neighborhood of γx so as not to vanish
there. Similarly, we do the same in a neighborhood of γw , using v. In fact, arranging for P
to consist of arcs on γz ∪ γw , we obtain in this manner a vector field on M which contains
L as a closed orbit. It is easy to see that this is equivalent to a vector field on ML which is a
standard non-vanishing vector field on the boundary tori.
Clearly the relative Spinc structure sw,z ( x ) extends to the actual Spinc structure sw ( x ).
Furthermore, Poincaré duality gives that
H 2 ( ML , ∂ν( L); Z) ∼
= H1 ( ML ; Z) ∼
= H1 ( L; Z) ⊕ H1 ( M; Z) ∼
= Zn ⊕ H 2 ( M; Z)
i =1
where c1 (·) denotes the first Chern class, see [60]. From now on, we think of sw,z as a
relative 2-cohomology class under this identification. In particular, when M is a rational
homology sphere we can write
n
sw,z ( x ) = ∑ ci · PD[µi ] + sw (x) for any x ∈ Tα ∩ Tβ ,
i =1
49
for the link − L, that is gotten from L by reversing the orientation. The first diagram is
H1 = (−Σ, β, α, w, z), while the second one is H2 = (Σ, α, β, z, w). Let us denote with
s0w,z ( x ) the relative Spinc structure induced by x in H1 and with sz,w ( x ) the corresponding
one in H2 . Then we can prove the following proposition.
for every x ∈ Tα ∩ Tβ .
Proof. For the first statement, note that if f is a Morse function compatible with H then
− f is a Morse function compatible with H1 . It is now a straightforward consequence of its
definition that if sw,z is represented by v then −v represents sw,z . Thus, the claim follows.
For the second observation, note that the vector fields v and w, representing the non-
torsion parts of sw,z ( x ) and sz,w ( x ) respectively, differ only in a collar neighborhood of the
boundary. In fact, one can see that in this neighborhood, they can be made isotopic away
from a neighborhood of the meridian, where they point in opposite directions. in this way,
we have proved that
sz,w ( x ) − sz ( x ) = sw,z ( x ) − sw ( x )
and then we conclude by applying Proposition 4.1.3.
Moreover, in the case that M comes equipped with a contact structure ξ, we say that the
pair ( B, π ) supports ξ if we can find a 1-form α for ξ such that
50
Let us consider the page S1 = π −1 (1); that is a connected, oriented, compact surface of
genus g and with l boundary components. Suppose that an n-component Legendrian
link L in ( M, ξ ) sits inside S1 and its components represent n independent elements in
H1 (S1 ; F), where we denote by F the field with two elements. We say that a collection of
disjoint, simple arcs A = { a1 , ..., a2g+l +n−2 } is a system of generators for S1 adapted to L if the
following conditions hold:
1. the subset A1 t A2 ⊂ A, where A1 = { a1 , ..., an } and A2 = { an+1 , ..., a2g+l −1 }, is a
basis of H1 (S1 , ∂S1 ; F) ∼
= F2g+l −1 ;
2. we have that L t ai = {1 pt} for every ai ∈ A1 and L ∩ ai = ∅ for i > n. The arcs in
the subset A1 are called distinguished arcs;
3. the subset A3 = { a2g+l , ..., a2g+l +n−2 } is such that the surface S1 \ ( A2 t A3 ) has n
connected components; each one containing exactly one component of L.
The arcs in A2 t A3 that appear twice on the same component of the boundary of
S1 \ ( A2 t A3 ) are called dead arcs; the others separating arcs;
4. the elements in A3 are separating arcs such that the disk D = S1 \ ( A1 t A2 ) is dis-
connected into n disks and every arc in A3 separates a unique pair of components of
D.
An example of adapted system of generators is shown in Figure 4.5. With this definition in
S1
L a3
a1 a2
place, we say that the triple ( B, π, A) is an open book decomposition adapted to the Legendrian
link L if
• the pair ( B, π ) is compatible with M and supports ξ;
CEU eTD Collection
51
1. the 1-skeleton is a connected Legendrian graph;
• Tp SG = ξ p for every p ∈ G;
• Tp SG 6= ξ p for every p ∈ S \ G.
We say that an adapted open book decomposition ( B, π, A), compatible with the triple
( L, M, ξ ), comes from a contact cell decomposition if S = π −1 (1) is a ribbon of the 1-
skeleton of ( M, ξ ).
Theorem 4.2.1 Every Legendrian link L in a contact 3-manifold ( M, ξ ) admits an adapted open
book decomposition ( B, π, A), which is compatible with the triple ( L, M, ξ ). Moreover, the contact
framing of L coincides with the framing induced on L by the page S1 .
Proof. In order to find an open book decomposition ( B, π ) which comes from a contact cell
decomposition of ( M, ξ ), such that the link L is contained in S1 , we simply include the
L a2g+l
ai
Figure 4.6: We add a new separating arc which is parallel to Li except near the distin-
guished arc.
CEU eTD Collection
Legendrian link L in the 1-skeleton of the contact cell decomposition. Hence, it results that
the page S1 is precisely a ribbon of the 1-skeleton of ( M, ξ ). This argument also gives that
the two framings of L agree.
The components of L are independent because it is easy to see from the construction
that there is a collection of disjoint, properly embedded arcs { a1 , ..., an } in S1 such that
aj = ∅
[
Li t ai = {1 pt} and Li ∩
j 6 =i
for every i. To conclude we only need to show that there exists a system of generators
A = { a1 , ..., a2g+l +n−2 } for S1 which is adapted to L.
52
The arcs a1 , ..., an are taken as before. If we complete L to a basis of H1 (S; F) then
Poincaré-Lefschetz duality gives a basis { a1 , ..., a2g+l −1 } with the same property. We define
a2g+l , ..., a2g+l +n−2 in the following way. Each new separating arc is parallel to Li , extended
by following the distinguished arc to the boundary of S1 as in Figure 4.6. Clearly, it dis-
connects the surface, because the first 2g + l − 1 arcs are already a basis of H1 (S, ∂S; F). If
one of the components contains no distinguished arcs, like in Figure 4.7, then we choose
the other endpoint of ai to extend the arc.
In this thesis we use adapted open book decompositions to present Legendrian links
in contact 3-manifolds. Moreover, we study how to relate two different open book decom-
a2g+l
L
ai
Figure 4.7: The picture appears similar to Figure 4.6, but this time the new arc follows the
distinguished arc in the opposite direction.
MΦ = S Φ ∪ ψ ∏ S1 × D 2 ,
l
53
where q ∈ S1 and q0 ∈ ∂S.
The fact that (S, Φ) also determines a contact structure on MΦ was proved in [87].
The set A consists of two collections of properly embedded arcs, B = {b1 , ..., b2g+l +n−2 }
and C = {c1 , ..., c2g+l +n−2 } in S with n > 1, such that all the arcs in B are disjoint, all the
bi ci
Figure 4.8: Two arcs in strip position.
arcs in C are disjoint and each pair bi , ci appears as in Figure 4.8. We suppose that each
strip, the grey area between bi and ci , is disjoint from the others. We also want B and C to
represent two systems of generators for the relative homology group H1 (S, ∂S; F). In this
way, if we name the strips Ai , we have that S \ bi , S \ ci and S \ Ai have exactly n
S S S
connected components.
Finally, z and w are two sets of basepoints: w = {w1 , ..., wn } and z = {z1 , ..., zn }. We
require these sets to have the following properties:
• each wi is inside one of the strips Ai , between the arcs bi and ci , with the property
that every strip contains at most one element of w. See Figure 4.9;
wi wi
Si zi zj Si Si
Sj zi
b c b c
Figure 4.9: On the left Si and S j are different components of S \ Ai .
S
CEU eTD Collection
We can draw an n-component link inside S using the following procedure: we go from
the z’s to the w’s by crossing B and from w to z by crossing C, as shown in Figure 4.10.
Moreover, we observe that the components of the link are independent in S.
Every abstract open book ( f (S), f ◦ Φ ◦ f −1 , f (A), f (z), f (w)), obtained from B =
(S, Φ, A, z, w) by applying a diffeomorphism f of S into itself, is said to be equivalent to
B. Then Theorem 4.2.2 gives the following corollary.
Corollary 4.2.3 Two equivalent pairs (S, φ) and ( f (S), f ◦ Φ ◦ f −1 ) determine contactomorphic
contact 3-manifolds.
54
w
z
w z
b c b c
Figure 4.10: The link is oriented accordingly to the basepoints.
Proof. The surface S is obviously the page π −1 (1). Now consider the subsets of unit com-
plex numbers I± ⊂ S1 ⊂ C with non-negative and non-positive imaginary part. Since they
are contractible, we have that π |π −1 ( I± ) is a trivial bundle. This gives two diffeomorphisms
between the pages S1 and S−1 . The monodromy Φ is precisely the isotopy class of the
composition of first diffeomorphism with the inverse of the second.
At this point, we want to define the strips A. Hence, we need the collections of arcs
B and C: starting from the system of generators A, which is adapted to L ⊂ S, we take
them to be both isotopic to A, in “strip position” like in Figure 4.8 and such that L does not
CEU eTD Collection
cross the intersections of the arcs in B with the ones in C. We only have an ambiguity on,
following the orientation of L, which is the first arc intersected by L. To solve this problem
we have to follow the rule that we fixed in Figure 4.10.
Now we need to fix the basepoints. We put the z’s on L; exactly one on each component
of L \ ( L ∩ A). The points in z on different components of L stay in different domains
because of Condition 3 in the definition of adapted system of generators. Then S \ A has
n connected components, since the components of L are independent, and each of these
contains exactly one element of z. Since the z’s are outside of the strips then we have that
each component of S \ B and S \ C also contains only one zi .
The w’s are still put on L, but inside the strips containing the n distinguished arcs. The
points w1 , ..., wn correspond to A1 , ..., An .
55
CEU eTD Collection
Chapter 5
3. u satisfies
∂u ∂u
+ J (s)u(s+it) = 0.
∂s ∂t
Note that the strip [0, 1] × R is conformally equivalent to the unit disk. This means that
we can use this notion in place of the one of J-holomorphic disk. Details can be found in
[67, 68, 69, 72].
57
We define the set π2 ( x, y), where x, y ∈ Tα ∩ Tβ , as the set of Z-linear combinations of
the domains {Dk }, which are the components of Σ \ α ∪ β, such that
! !
1 if p ∈ x −1 if p ∈ y
a+b = c+d+ + ;
0 otherwise 0 otherwise
where a, b, c, d are multiplicities of domains which appear like in Figure 5.1. For every
φ ∈ π2 ( x, y) we call
nzi (φ) = φ ∩ {zi } × Symg+n−2 (Σ)
and
nwi (φ) = φ ∩ {wi } × Symg+n−2 (Σ) ;
where here we mean algebraic intersection. Moreover, we say that
n n
nz (φ) = ∑ n zi ( φ ) and nw (φ) = ∑ nw (φ) .
i
i =1 i =1
We also define M(φ) as the moduli space of holomorphic strips that connects x to y. The
αi
a c
p
βi
d b
formal dimension of M(φ), denoted by µ(φ), is the Maslov index; moreover, we call M(
c φ)
the quotient M(φ)/R given by vertical translation of the strip.
For every Spinc structure t on M we define the group cCFL− ( H, t) as the free F[U ]-
module over
Tα ∩ Tβ |t = x ∈ Tα ∩ Tβ such that sw ( x ) = t .
CFL
U=0
this group is an F-vector space, where F is again the field with two elements.
5.1.2 Gradings
We can put a bigrading on cCFL− ( H, t), where H is a Heeegaard diagram as in the
previous subsection, if we keep the condition that the 3-manifold M is a rational homology
3-sphere.
For every x ∈ Tα ∩ Tβ |t we denote with (Wx , Jx ) an almost-complex 4-manifold, with
M as boundary, such that the vector field π ( x ), induced on M by Jx , is isotopic to the one
given by x (and w), that we called πw ( x ) in Subsection 4.1.1. Such 4-manifolds always exist
58
[60], thus we define the Maslov grading as the absolute Q-grading given by generalizing
the Hopf invariant, defined in Subsection 3.1.2, as follows
1 2
M ( x ) = d3 ( M, πw ( x )) = c1 (Wx , Jx )[Wx , ∂Wx ] − 3σ(Wx ) − 2χ(Wx ) + 2
4
and we extend it to the whole cCFL− ( H, t) by saying that
Lemma 5.1.1 If (Wx0 , Jx0 ) is another almost-complex 4-manifold with the same properties of
(Wx , Jx ) then d3 ( M, πw ( x )) does not change.
Proof. First, we have that t is torsion, because M is a rational homology sphere. This im-
plies that c21 (Wx , Jx )[Wx , ∂Wx ] is well-defined. Now we can find an almost-complex man-
ifold (W, J ) such that ∂W = − M and the 2-plane field induced by J on − M is isotopic to
πw ( x ). This means that we can glue (W, J ) to both our manifolds and obtain two closed
almost-complex 4-manifolds. Since the evaluation on the square of the first Chern class,
the signature and the Euler characteristic are all additive under gluing, the Hirzebruch’s
signature theorem gives that
The difference between the Maslov grading of two intersection points can be expressed
easily.
which is an integer.
for every φ, ψ ∈ π2 ( x, y). Since we can always find ψ such that nw (ψ) = 0, we just apply
the Atiyah-Singer index theorem and we obtain that
cCFL− ( H, t) = cCFL−
M
d ( H, t) ;
d ∈Q
59
moreover, the same holds for CFL d ( H, t).
The definition of M( x ) does not require that there is a link L → M. The grading that
we are going to define now, on the other hand, strictly requires that we take L, which has
n components, into account. We call the Alexander multi-grading of x ∈ Tα ∩ Tβ |t as the
n-tuple (s1 , ..., sn ) such that
n
sw,z ( x ) = ∑ 2si · PD[µi ] + sw (x) .
i =1
Since L always admits a rational Seifert surface F, see Section 2.1, if t is the order of the
Z
link in M then we define the Alexander absolute 2t -grading as follows:
n
sw,z ( x )[ F ]
A( x ) = ∑ si = 2t
i =1
Like for the Maslov grading, we can compute the difference between the Alexander
grading of two intersection points.
Proposition 5.1.4 Given φ ∈ π2 ( x, y) we have that
Then the claim follows by evaluating both sides of this equation with [ F ], where F is a
rational Seifert surface for L.
cCFL− ( H, t) = cCFL−
M
d,s ( H, t)
d,s∈Q
d ( H, t).
and then again the same is true for CFL
60
5.1.3 Differential
In the previous subsection we introduced the underlying space of our chain complexes;
now we want to construct the differentials. We define ∂− in the following way
∂− x = ∑ ∑ c φ ) · U nw (φ) y
M(
y ∈Tα ∩T β |t φ∈π2 ( x,y),
µ(φ)=1,nz (φ)=0
and
∂− (Ux ) = U · ∂− x
for every x ∈ Tα ∩ Tβ |t .
We note that, since we are interested in φ’s that are image of some J-holomorphic disks,
we have that nzi (φ), nwi (φ) > 0 [68]. This means that nz (φ) = nw (φ) = 0 if and only if
nzi (φ) = nwi (φ) = 0 for every i = 1, ..., n.
The map ∂− is well-defined if the diagram D is admissible, which means that every
φ ∈ π2 ( x, x ) with nw (φ) = 0, representing a non-trivial homology class, has both positive
and negative local multiplicities.
Lemma 5.1.5 If M is a rational homology 3-sphere then, given a multi-pointed Heegaard diagram
(Σ, α, β, w, z), we can always achieve admissibility through isotopies.
Proof. The proof is taken from [72]. We embed in Σ a tree Γ, whose n vertices are the
basepoints in w. We claim that admissibility can be achieved by isotoping some of the
β-curves in a regular neighborhood of Γ. More specifically, if γ is an arc connecting w1 to
w2 in Γ then we perform an isotopy of the β’s in a regular neighborhood of γ, in such a
manner that there is a pair of arcs δ1 and δ2 so that δ1 ∪ δ2 is isotopic to γ as an arc from w1
to w2 , but δ1 is disjoint from the β-circles, while δ2 is disjoint from the α-circles.
Moreover, we find another pair of arcs δ10 and δ20 so that δ10 ∪ δ20 is isotopic to γ, only this
time δ10 is disjoint from the α-circles, while δ20 is disjoint from the β-circles. Isotoping the β’s
in a regular neighborhood of all the edges in Γ as above, we obtain a Heegaard diagram
that we claim is weakly admissible.
Suppose that φ ∈ π2 ( x, x ), which decomposes as φ = A + B where A has boundary on
Tα and B has boundary on Tβ , has the property that the oriented intersection number of
∂A with γ is non-zero. Then, at the intermediate endpoint of δ1 , we see that A + B has local
multiplicity given by ∂A ∩ γ, while at the intermediate endpoint of δ10 we have that A + B
has local multiplicity given by ∂B ∩ γ = −∂A ∩ γ, since φ ∈ π2 ( x, x ) [68]. Thus, if for some
CEU eTD Collection
Theorem 5.1.6 (Ozsváth and Szabó) We have that ∂− (∂− x ) is zero for every x ∈ Tα ∩ Tβ |t and
every Spinc structure t on M, which means that ∂− is a differential.
Proof. We consider the moduli space M(c φ), where φ ∈ π2 ( x, z) is non-negative with
µ(φ) = 2, x and z are intersection points and nz (φ) = 0. We use a structure theorem
61
in [33, 69] which proves that there is a compact 1-dimensional manifold with boundary,
whose interior is M(
c φ), and its boundary is identified with
[ [
M(
c φ1 ) × M(
c φ2 ) .
y φ1 ∈π2 ( x,y),φ2 ∈π2 (y,z)
µ(φ1 )=µ(φ2 )=1,φ1 ∗φ2 =φ
nz (φ1 )=nz (φ2 )=0
Since a compact 1-manifold has an even number of boundary points, we can conclude that
∑ ∑ M( c φ2 ) · U nw (φ) = 0 .
c φ1 ) · M(
y φ1 ∈π2 ( x,y),φ2 ∈π2 (y,z)
µ(φ1 )=µ(φ2 )=1,φ1 ∗φ2 =φ
nz (φ1 )=nz (φ2 )=0
Adding up the left-hand-side over all φ ∈ π2 ( x, z) with µ(φ) = 2 computes the z compo-
nent of ∂− (∂− x ), then ∂− ◦ ∂− = 0.
Using Lemma 5.1.5 and Theorem 5.1.6, we obtain the chain complexes
cCFL− ( H, t), ∂− ∂ = ∂ − |U =0 .
and d ( H, t), b
CFL
The last equality holds because in the differential we only consider φ’s with Maslov index
equal to 1.
The last equality holds because in the differential we only consider φ’s with nz (φ) = 0.
62
5.1.4 Homology
In this section we define two versions of link Floer homology, corresponding to the
chain complexes that we defined in the previous subsection. The first group is called col-
lapsed link Floer homology and it is defined by
cHFL− ( H, t) = cHFL−
M
d,s ( H, t) ,
d,s∈Q
where
Ker ∂−
d,s
cHFL−
d,s ( H, t) = .
Im ∂−
d+1,s
The group cHFL− ( H, t) is a bigraded F-vector space with a structure of finite dimensional
F[U ]-module.
Theorem 5.1.9 (Ozsváth and Szabó) The isomorphism type of the group cHFL− ( H, t) is invari-
ant under smooth isotopy of the link L ,→ M. Which means that, if H 0 is another multi-pointed
Heegaard diagram for a link isotopic to L in M, it is
cHFL− ∼ − 0
d,s ( H, t) =F cHFLd,s ( H , t)
Hence, we can denote cHFL− ( H, t) with cHFL− ( M, L, t). We leave the proof of this
theorem for Section 5.3.
The second version that we want to study is the hat link Floer homology group
M
[ ( H, t) =
HFL [ d,s ( H, t) ;
HFL
d,s∈Q
given by
[ d,s ( H, t) = Ker ∂d,s .
b
HFL
Im b
∂d+1,s
[ ( H, t) is a finite dimensional, bigraded F-vector space. Moreover, as the
The group HFL
collapsed minus version, it is also a smooth isotopy invariant of links in 3-manifolds. In
fact, we have an analogous theorem in this case.
CEU eTD Collection
Theorem 5.1.10 (Ozsváth and Szabó) The isomorphism type of the group HFL[ ( H, t) is invari-
0
ant under smooth isotopy of the link L ,→ M. Which means that, if H is another multi-pointed
Heegaard diagram for a link isotopic to L in M, it is
[ d,s ( H, t) ∼
HFL [ d,s ( H 0 , t)
=F HFL
63
Proposition 5.1.11 Given a smooth link L in a rational homology 3-sphere M, we have that
[ d,s ( M, L, t) ∼
HFL [ d−2s,−s ( M, L, −t + PD[ L])
=F HFL
for every d, s ∈ Q and t ∈ Spinc ( M).
Proof. It follows from the relation between the two relative Spinc structures obtained
by reversing the orientation of L, see Subsection 4.1.2 before. More specifically, given
(Σ, α, β, w, z) a multi-pointed Heegaard diagram for L in M, we call H1 = (Σ, β, α, w, z)
the first diagram for − L. Then Proposition 4.1.4 gives us the isomorphism
Φ1 : HFL
[ d,s ( M, L, t) −→ HFL
[ d,s ( M, − L, −t) .
In the same way, we call H2 = (Σ, α, β, z, w), which also represents the link − L. Now from
Propositions 4.1.3 and 4.1.4 we obtain the map
Φ2 : HFL
[ d,s ( M, − L, −t) −→ HFL
[ d−2s,−s ( M, L, −t + PD[ L])
and the proof is completed by taking the composition of Φ1 and Φ2 .
We can use this property to normalize the relative grading a( x, y) = nz (φ) − nw (φ),
where φ ∈ π2 ( x, y), given in Proposition 5.1.4. Hence, this can be seen as an equivalent
definition of the Alexander grading; in fact, we have that A( x ) is the only normalization
of a( x, y) which respects the symmetry in Proposition 5.1.11. This property proves the
following corollary.
Corollary 5.1.12 For every multi-pointed Heegaard diagram (Σ, α, β, w, z), and x ∈ Tα ∩ Tβ , we
have that
2A( x ) = M ( x ) − Mz ( x ) ,
where A( x ) and M ( x ) are the Alexander and Maslov grading of x and Mz ( x ) = d3 ( M, πz ( x )).
Proof. From Propositions 5.1.2 and 5.1.4 we have that the relative grading
b( x, y) = ( M ( x ) − M(y)) − ( Mz ( x ) − Mz (y))
coincides with 2a( x, y) = 2( A( x ) − A(y)). Therefore, we just need to show that b( x, y)
satisfies the symmetries in Proposition 5.1.11 and this can be done easily.
∂w x =
b ∑ ∑ M(
c φ) · y
y ∈Tα ∩T β |t φ∈π2 ( x,y),
µ(φ)=1,nw (φ)=0
for every x ∈ Tα ∩ Tβ |t and b c ( H, t), b
∂w is U-equivariant. The new complex CF ∂w is well-
defined. Moreover, its homology
M
HF ( H, t) =
d HF d ( H, t)
d
d ∈Q
is an invariant of the manifold, once we fix the number of basepoints in H, as stated in the
following theorem.
64
Theorem 5.2.1 (Ozsváth and Szabó) The isomorphism type of the group d HF ( H, t) is invariant
under diffeomorphism of the Spinc 3-manifold ( M, t). In other words, if H 0 is another Heegaard
diagram for a manifold diffeomorphic to ( M, t), and with the same number of basepoints in H, then
it is
HF d ( H, t) ∼
d =F dHF d ( H 0 , t)
for every d ∈ Q and t ∈ Spinc ( M).
b a
w1
wn
Figure 5.2: This stabilization represents a disjoint union of a link in a 3-manifold with an
unknot.
and the isomorphism preserves the Maslov grading. Here, the symbol n denotes the n component
unlink in M.
M appears as in Figure 5.2. Then, using the inductive hypothesis, we obtain that we just
have to prove that changing a Heegaard diagram H into H 0 by this type of stabilization
corresponds to tensor product with F(−1) ⊕ F(0) in the homology group.
To do this we observe that an explicit computation gives that M( x a ) = M( x ) and
M ( xb ) = M( x ) − 1, where x a (or xb ) is given by adding the point a (or b) to the inter-
section point x; see Figure 5.2. Since every intersection point in the new complex needs to
have one between a or b as a coordinate, we have an isomorphism of chain complexes
d ( H 0 , t) −→ CFL
CFL d ( H, t) ⊗ F(−1) ⊕ F(0) .
Therefore, we conclude by noting that the differential is zero on F(−1) ⊕ F(0) and then the
isomorphism descends in homology.
65
This lemma implies the following theorem.
Theorem 5.2.3 (Ozsváth and Szabó) If the set w in the Heegaard diagram H contains n base-
points then we have that
N ( n −1)
d ∼
HF ( H, t) =F HF ( M, t) ⊗ F(−1) ⊕ F(0)
d . (5.1)
More explicitly, it is
n −1
n−1 d
HF d ( H, t) ∼
M
d =F HF d+i ( M, t)
i =0
i
From Propositions 5.1.4 and 5.1.11 we see that the Alexander grading is always zero in
the case of unlinks. Hence, we can express the hat link Floer homology of n entirely in
terms of the homology of M:
n −1
M n−1
HF d+i ( M, t) if s = 0
∼
d
HFL
[ d,s ( M, n , t) = i = 0
i .
{0} otherwise
Corollary 5.2.4 The homology group cHFL− ( M, n , t), seen as an F[U ]-module, is the tensor
[ ( M, n , t) with (the module) F[U ] over F.
product of HFL
HF d−2s+i ( M, t) if s 6 0
∼
d
cHFL−
d,s ( M, n , t) = i = 0
i .
{0} otherwise
5.3 Invariance
5.3.1 Choice of the almost-complex structures
In this section we give ideas for the proofs that link Floer homology is invariant under
the moves in Section 4.1, that relates two multi-pointed Heegaard diagrams represent-
ing the same link L in the Spinc 3-manifold ( M, t), and the analytic input of the path of
66
almost-complex structures J (s) on the symmetric power and the complex structure on Σ,
see Subsection 5.1.1. We always suppose that M is a rational homology 3-sphere.
Suppose that H = (Σ, α, β, w, z) is a multi-pointed Heegaard diagram for an n-
component link in M. First, we argue that if we fix a complex structure on Σ then the link
Floer homology groups are independent of the choice of J (s) on Symg+n−1 (Σ). Take two
paths J0 (s) and J1 (s) on Symg+n−1 (Σ); since the symmetric power is simply-connected, we
can connect J0 (s) and J1 (s) with a 2-parameter family J : [0, 1] × [0, 1] → Symg+n−1 (Σ),
thought of as a 1-parameter family of paths indexed by t ∈ [0, 1] where Jt (s) is the path
obtained by fixing t. In fact, we can arrange that Jt (s) is independent of t for t’s near to
zero or one, so that Jt (s) can be naturally extended to the whole R.
Then, as it is familiar in Floer theory, we can define an associated chain map
Φ−Jt (s)
: cCFL −
( H, t ) , ∂ −
J (s)
−→ cCFL −
( H, t ) , ∂ −
J (s)
0 1
by
Φ−
Jt (s)
x= ∑ ∑ c J (s) ( φ ) · U nw (φ) y ,
M t
y φ∈π2 ( x,y)
µ(φ)=1,nz (φ)=0
where M c J (s) (φ) denotes the moduli space of holomorphic strips with a time-dependent
t
complex structure on the target.
The usual arguments from Floer theory then apply to show that Φ− Jt (s)
is a chain map
which induces an isomorphism in homology. We give a sketch of the proof of this fact. The
details can be found in [68].
A transversality theorem in [68] shows that, for a generic path Jt (s), the zero-
dimensional components of the moduli spaces M c J (s) (φ) are smoothly cut out and com-
t
−
pact. Thus, the map Φ Jt (s) is well-defined. To show that it is a chain map, we consider
the ends of the 1-dimensional moduli spaces M c J (s) (ψ), where µ(ψ) = 2. Then the same
t
argument in the proof of Theorem 5.1.6 and Gromov’s compactness [42] give that Φ− Jt (s)
is
also a chain map.
The fact that Φ−
Jt (s)
induces an isomorphism in homology is done by showing that the
composition with Φ− J1−t (s)
is chain homotopic to the identity; we recall that we said what
is a chain homotopy in Subsection 1.4.2. The chain homotopy is constructed by using a
homotopy Jt,τ (s) between two 2-parameter families of complex structures. We can define
a moduli space
CEU eTD Collection
[
M
c J (s) ( φ ) =
t,τ
Mc J (s)
t,η
η ∈[0,1]
for each φ ∈ π2 ( x, y). For a generic Jt,τ (s) this manifold has dimension µ(φ) + 1. We define
a map
H− x = ∑
Jt,τ (s) ∑ Mc J (s) ( φ ) · U nw (φ) y .
t,τ
y φ∈π2 ( x,y)
µ(φ)=0,nz (φ)=0
67
small perturbations of the path of almost-complex structures J (s). Furthermore, we can
approximate J (s) with a symmetric path J 0 (s), induced by a complex structure J0 close to
J. This shows that the Floer homology is also independent of the choice of J, since the
space of allowed complex structures over Σ is connected, because it is obtained from the
space of all complex structures by removing a codimension two subset, see [68].
5.3.2 Isotopies
Consider two multi-pointed Heegaard diagram H = (Σ, α, β, w, z) and H 0 =
(Σ, α0 , β0 , w, z) which differ by an isotopy. First of all, isotopies which preserve the con-
dition that the α are transverse to the β can be thought of as variations in the metric, or
equivalently the complex structure on Σ. Hence, the invariance of the Floer homology
under such isotopies follows from Subsection 5.3.1.
It suffices then to show that the homology remains unchanged when a pair of canceling
intersection points between, α1 and β 1 is introduced. See Figure 5.3 for an illustration.
Such an isotopy can be realized by moving α by an exact Hamiltonian diffeomorphism of
Σ. We recall that, on a symplectic manifold, a 1-parameter family of real-valued functions
Ht naturally gives rise to a unique 1-parameter family of Hamiltonian vector fields Xt ,
specified by
ω ( Xt , ·) = dHt ,
where the left-hand side denotes the contraction of the symplectic form ω with the vector
field. A 1-parameter family of diffeomorphisms Ψt is said to be an exact Hamiltonian isotopy
if it is obtained by integrating a Hamiltonian vector field, which means when
• Ψ0 is the Identity;
dΨt
• = Xt .
dt
By taking a positive bump function h, supported in a neighborhood of a point which lies
on α1 , and letting f : R → [0, 1] be a non-negative smooth function whose support is (0, 1),
we can consider the Hamiltonian Ht = f (t)h. The corresponding diffeomorphism moves
the curve α1 slightly, without moving any of the other curves in α.
H
β1
β1
α10 H0
CEU eTD Collection
α1
Figure 5.3: By moving the curve α1 to α10 through a Hamiltonian isotopy, we introduce a
pair of canceling intersection points.
68
homotopy classes of holomorphic strips π2Ψt ( x, y), where x is an intersection point and
y ∈ Ψ1 (Tα ) ∩ Tβ , which denote homotopy classes of maps satisfying the condition in
Subsection 5.1.1 and such that
Γ− − − 0
Ψt : cCFL ( H ) −→ cCFL ( H )
by the formula
Γ−
Ψt x = ∑ ∑ cΨ t ( φ ) · U n w ( φ ) y .
M
y Ψ
φ∈π2 t ( x,y)
µ(φ)=1,nz (φ)=0
The important observation is that the moduli spaces considered have Gromov compactifi-
cations. This is shown in [68]. Then, the fact that Γ−
Ψt induces an isomorphism in homology
can be proved in the same way as in Subsection 5.3.1.
5.3.3 Handleslides
Consider a multi-pointed Heegaard diagram H 0 = (Σ, α, γ, w, z) which is obtained
from (Σ, α, β, w, z) by a single handleslide on a curve in β. Then there is a chain map
Ψαβγ x = ∑ ∑ c φ ) · U nw (φ) y ,
M(
y φ∈π2 ( x,Θ βγ ,y)
µ(φ)=1,nz (φ)=0
where here s0w,z is the map associated to the Heegaard diagram H 0 , since the triangles used
in the definition of Ψ∗ are disjoint from w and z.
Now, associativity of the triangle maps [72] gives that the map (Ψαγβ0 ◦ Ψαβγ )∗ is an
isomorphism, where
and β0 is a small perturbation of β such that each β0i intersects β i in precisely two intersec-
tion points. Therefore, we have that the map Ψ∗αβγ is also an isomorphism.
69
5.3.4 Stabilizations
Finally, suppose that H 0 = (Σ0 , α0 , β0 , w0 , z0 ) is obtained from H = (Σ, α, β, w, z) by a
stabilization. Then we immediately observe that, since we perform the stabilization away
from w and z, the assignment to relative Spinc structures is unaffected. Denote with c the
intersection point that appears in the stabilization. Then it is easy to see that the intersec-
tion points in H 0 correspond to T0α ∩ T0β = Tα ∩ Tβ × {c}.
Now fix basepoint wi in the same path-component of Σ \ (α ∪ β) as p ∈ Σ, the point
that we use to perform the connected sum that leads to Σ0 . Let wi0 be the corresponding
basepoint in Σ0 . If x ∈ Tα ∩ Tβ and x 0 ∈ T0α ∩ T0β is the new intersection point x × {c} then
the induced Spinc structures sw and sw0 agree, since the corresponding vector fields agree
away from the 3-ball where the stabilization occurs.
Consider x and y intersection points and take φ ∈ π2 ( x, y) such that nz (φ) = 0. More-
over, consider x 0 = x × {c} and y0 = y × {c} and take φ0 ∈ π2 ( x 0 , y0 ) such that nz0 (φ0 ) = 0.
Hence, using a result in [68] we have that, for certain special paths of almost-complex struc-
tures, the moduli space M(φ0 ) is identified with M(φ) × {c}; together with its deforma-
tion theory, including the determinant line bundles. This implies that the chain complexes
are identical and then the homology groups also coincide.
Mz ( F (U k x )) = Mz ( x ) = M ( x ) − 2A( x ) =
CEU eTD Collection
We now recall that, since the link Floer homology group is an F[U ]-module and F is a field,
it is
cHFL− M, L, t0 ∼ = F [U ] r ⊕ T ,
where r is an integer and T is the torsion F[U ]-module; see Subsection 1.5.2.
70
Lemma 5.4.2 The following two statements hold:
1. we have that F ( x ) = 0 and x is homogeneous with respect to the Alexander grading if and
only if x = 0;
2. we have that F∗ [ x ] = [0] and [ xi ] is homogeneous with respect to the Alexander grading, for
every i = 1, ..., r, if and only if [ x ] is torsion. Here the [ xi ]’s are a decomposition of [ x ] in the
torsion-free quotient of cHFL− ( M, L, t + PD[ L]).
Proof. 1. The if implication is trivial. For the only if, suppose that F ( x ) = 0; this gives
that
x = (1 + U )λ1 (U )y1 + ... + (1 + U )λt (U )yt ,
where λi (U ) ∈ F[U ] for every i = 1, ..., t and y1 , ..., yt are all the intersection points
that induce the Spinc structure t.
Since each yi is homogeneous and the monomial U drops the Alexander grading by
one, we have that λi (U ) = 0 for every i = 1, ..., t and then x = 0.
where [ xi ] = (1 + U )λi0 (U )[zi ] for every i = 1, ..., r and the [zi ]0 s are a homogeneous
basis of the torsion-free quotient.
The same argument of 1 implies that the polynomials λi0 (U ) are all zero and then
[ x] = [ x]T .
Now we use Lemma 5.4.2 to show that there is a correspondence between the torsion-
free quotient of the link Floer homology group and the multi-pointed hat Heegaard Floer
homology.
Theorem 5.4.3 If L is an n-component link in a rational homology 3-sphere M then there exists
an isomorphism of F[U ]-modules
CEU eTD Collection
which sends a homology class of bigrading (d, s) into one of Maslov grading d − 2s.
Proof. We just have to show that F∗ sends {[z1 ], ..., [zr ]}, a homogeneous F[U ]-basis of
the torsion-freeNquotient of cHFL− ( M, L, t + PD[ L]), into an F-basis of X = d HF ( M, t) ⊗
( n −1)
F(−1) ⊕ F(0) . Statement 1 in Lemma 5.4.2 tells us that F∗ is surjective. In fact, if
[y] ∈ X then it is 0 = b ∂z y = F (∂− x ); where F ( x ) = y. We apply Lemma 5.4.2 to ∂− ( x ),
71
since we can suppose that both x and y are homogeneous, and we obtain that ∂− ( x ) = 0;
then [ x ] is a homology class. At this point, it is easy to see that the set { F∗ [z1 ], ..., F∗ [zr ]} is
a system of generators of X .
In order to provethat F∗ [z1 ], ..., F∗ [zr ] are also linearly independent in X we suppose
that there is a subset F∗ [zi1 ], ..., F∗ [zik ] such that
Then we apply Statement 2 of Lemma 5.4.2 to [zi1 + ... + zik ] and we obtain that it is a
torsion class. This is a contradiction, because [zi1 ], ..., [zik ] are part of an F[U ]-basis of a
torsion-free F[U ]-module.
CEU eTD Collection
72
Chapter 6
S ∪ −S
z2
z1 α3
β3 w2
w1 α2
β2
CEU eTD Collection
β1 α1
Figure 6.1: A diagram for the standard Legendrian 2-unlink in (S3 , ξ st ), obtained from an
open book decomposition with page as in Figure 4.5.
4.8. We recall that g is the genus of S1 , while l is the number of its boundary components
and n is the number of components of L. We define ai and bi for i = 1, ..., 2g + l + n − 2 as
in Subsection 4.2.2.
Then D is gotten as follows:
• the surface Σ is S1 ∪ −S−1 ; since π is a locally trivial fibration the pages S1 and S−1
are diffeomorphic, but we reverse the orientation of the second one when we glue
them together;
73
• the curves are given by αi = bi ∪ bi and β i = ai ∪ ai for every i = 1, ..., 2g + l + n − 2;
• the z’s and the w’s are the set of baspoints that we introduced in Section 4.2.
In the settings of Chapter 4 the Legendrian Heegaard diagram (Σ, α, β, w, z) is a diagram
for the (smooth) link L in the 3-manifold − M, see [72] and Subsection 4.2.2 before, that is
M considered with the opposite orientation. We remark that here α and β are swapped
with respect to the convention of Ozsváth and Szabó, which is the one we used in Chapter
4. See Figure 6.1 for an example.
We observe that, given ( B, π, A), the only freedom in the choice of the Legendrian Hee-
gaard diagram is in the arcs b1 , ..., b2g+l +n−2 inside S−1 , which can be taken in the isotopy
class of Φ(b1 ), ...Φ(b2g+l +n−2 ).
Proposition 6.1.1 Suppose D = (Σ, α, β, w, z) is a Legendrian Heegaard diagram given by an
adapted open book decomposition compatible with ( L, M, ξ ), where M is a rational homology 3-
sphere. Then D is always admissible up to isotopy of the arcs in B.
Proof. It follows from Lemma 5.1.5 and [77].
Our strategy is to study how Legendrian isotopic triples are related to one another,
which means to define a finite set of moves between two adapted open book decomposi-
tions. Then find chain maps Ψ( D1 ,D2 ) for each move, that induce isomorphisms in homol-
ogy, which will be particular cases of the maps in Section 5.3.
1, 2. In other words, we can just study the relation between two open book decompositions
compatible with a single triple ( L, M, ξ ).
74
H
a
Se γ
S
• The pair (S0 , Φ0 ), obtained from ( B0 , π 0 ), is a positive stabilization of (S, Φ), the one
coming from ( B, π ).
We call a positive stabilization L-elementary if the curve γ as above, see Figure 6.2, inter-
sects the link L, that sits in S and then also in S,
e in at most one point transversely. Then we
prove the following theorem, a generalization of a result of Giroux [39]. More details can
be found in [27].
Theorem 6.1.3 (Giroux) If ( Bi , πi ) are two open book decompositions, compatible with the triple
( L, M, ξ ), then they admit isotopic L-elementary stabilizations. Namely, there is another compatible
open book ( B, π ) which is isotopic to both ( B1 , π1 ) and ( B2 , π2 ), after an appropriate sequence of
L-elementary stabilizations.
The proof of Theorem 6.1.3 requires many steps. We recall that the definitions of contact
cell decomposition and ribbon of a Legendrian graph can be found in Subsection 4.2.1.
Lemma 6.1.4 Every open book compatible with ( L, M, ξ ), after possibly positively stabilizing,
comes from a contact cell decomposition.
Proof. Let S be the page of the open book decomposition and G be the core of S. That
is, G is a graph embedded in S onto which S retracts. From an observation in [27] we
can Legendrian realize G. Therefore, we note that S is the ribbon of G. Let ν(S) be a
neighborhood of S such that ∂S ⊂ ∂ν(S).
We now follow the proof in [27]. Let ai be a collection of properly embedded
arcs onS
CEU eTD Collection
that cut S into a disk. Let Ai be ai × [0, 1] in M \ S = S × [0, 1] and Ai0 = Ai ∩ M \ ν(S) .
S0
S
C
∂Ai0
∂Ai
Figure 6.3: Abstract picture of the stabilization on S.
We observe that each Ai intersects ∂S on ∂ν(S) exactly twice. Thus, if we extend the Ai ’s
75
into ν(S) so that their boundaries lie on G then the twisting of S, and hence ξ, along ∂Ai
with respect to Ai is -1,0 or 1. If the value of all the twisting is -1 then we have a contact
cell decomposition, because the contact structure restricted to the complement of S is tight.
Then we just need to see how to reduce the twisting of ξ along ∂Ai .
Suppose ∂Ai has twisting 0. Then positively stabilize S as shown in Figure 6.3. Note
that the curve C can be assumed to be Legendrian and bounds a disk E in M. Now isotope
G across E to get a new Legendrian graph with all the A j ’s unchanged except that Ai is
replace with the disk Ai0 obtained from Ai by isotoping across E. We also add C to G and
add E to the 2-skeleton.
Clearly the twisting of ξ along E is -1. Thus we can reduce the twisting of ξ along ∂Ai
as needed and after sufficiently many positive stabilizations we have an open book that
comes from a contact cell decomposition.
We observe that, in the proof of Lemma 6.1.4, we only use L-elementary stabilizations.
We apply Lemma 6.1.4 to both ( Bi , πi ). Obviously, we can also suppose that the 1-skeleton
of ( M, ξ ) that we have in the beginning is a subgraph of the one after the stabilizations. At
this point, we need to know how to relate two different contact cell decompositions for the
same triple ( L, M, ξ ). To do this we use the following proposition.
Proposition 6.1.5 Given two contact cell decompositions, for the same contact manifold, we have
that they are related by a finite sequence of the following moves:
1. a subdivision of a 2-cell by a Legendrian arc, intersecting the dividing set in one point;
2. add a 1-cell c0 and a 2-cell E so that ∂E = c0 ∪ c; where c is part of the original 1-skeleton
and tb(∂E) = −1;
3. add a 2-cell E whose boundary is already in the 1-skeleton and tb(∂E) = −1.
c0
ΓE
E
c10 c20
c
CEU eTD Collection
L
Figure 6.4: The arc Γ E is the dividing set of the 2-cell E.
76
Lemma 6.1.6 Suppose ( Bi , πi ) are two open books, compatible with ( L, M, ξ ), which come from
the same contact cell decomposition. Then we have that ( B1 , π1 ) is isotopic to ( B2 , π2 ).
Proof. First we have that the pages π1−1 (1) and π2−1 (1) are isotopic, because it is easy to
see that the ribbon of the 1-skeleton is unique up to isotopy. Then we can suppose that
the bindings coincide and S = πi−1 (1) for i = 1, 2. Now, we have that M \ S fibers along
the interval (0, 1) in two different ways. At this point, since (0, 1) is contractible the two
fibrations result to be trivial and then isotopic. It remains to see what happens when we
glue S back.
The two open books induce monodromies Φ1 and Φ2 on S and they are conjugate
because otherwise, from Corollary 4.2.3, the resulting open books would be compatible
with non contactomorphic contact manifolds; but this is impossible. Then the fact that
the monodromies are in the same conjugacy class tells us precisely that we can extend the
isotopy on S and this completes the proof.
S S
aj aj
L
ai
L
ai + a j
Figure 6.5: The arc ai + a j is obtained by sliding a j over ai .
A0 = {..., ai + a j , ..., a j , ...}; where a j is not a distinguished arc and one of the endpoints of
ai and a j are adjacent, like in Figure 6.5. We can prove the following proposition.
Proposition 6.1.7 Let us consider two open book decompositions ( B, π, Ai ), compatible with the
CEU eTD Collection
Legendrian link L ,→ ( M, ξ ). Then, after a finite number of admissible arc slides and isotopies on
Ai , the open books coincide.
Lemma 6.1.8 An admissible arc slide, from A to A0 , can be inverted. In the sense that we can
perform another admissible arc slide, now from A0 to A00 , such that A00 is isotopic to A.
Proof. If the arc slide changes the arc ai into ai + a j then it is easy to see that we can just
slide ai + a j over an arc a0j , isotopic to a j ; in a way that ai + a j + a0j is isotopic to ai .
Lemma 6.1.9 Suppose that we perform an admissible arc slide that changes ai into ai + a j . Then
we have the following facts:
77
a) The set { a1 , ..., a2g+l −1 } is a basis of H1 (S, ∂S; F) and i 6 2g + l − 1 if and only if { a1 , ..., ai +
a j , ..., a2g+l −1 } is a basis of H1 (S, ∂S; F),
c) We take { a1 , ..., a2g+l −1 } as a basis of the first relative homology group of S. We can
suppose that i > 2g + l. This is because if ai is the only separating arc for a component
of S \ { a1 , ..., a2g+l −1 } then ai is homologically trivial; otherwise, we can switch ai with
another separating arc for the same component.
Now, if ai + a j is not a separating arc then S \ { a1 , ..., a2g+l −1 , ai + a j } should remain
connected, but this is impossible because { a1 , ..., a2g+l −1 } is a basis.
The other implication follows easily from Lemma 6.1.8.
The strategy of the proof of Proposition 6.1.7 is, say S1 , ..., Sn and S10 , ..., Sn0 are the com-
ponents of S minus the separating arcs of A1 and A2 respectively, we modify all the sep-
arating arcs, in both A1 and A2 , with admissible arc slides; in order for Si to concide with
Si0 for every i = 1, ..., n. Moreover, we also want that each separating arc in A1 becomes
isotopic to a separating arc in A2 .
At the end, the components of S minus the separating arcs will be n surfaces, each one
containing a component of L, a distinguished arc and the same number of dead arcs. We
a2g+l
S1 a2g+l
S1
L1
a1 a1
L1
Dead arcs
CEU eTD Collection
a1 a1 ai
conclude applying n times a result in [57], which proves the claim in the case of Legendrian
knots.
Proof of Proposition 6.1.7. We want to prove that there is an adapted system of generators A
for L in S1 = π −1 (1) such that A is obtained, from A1 and A2 , by a sequence of admissible
arc slides (and isotopies).
We start from the component S1 . We can suppose that ∂S1 contains the separating arc
a2g+l ⊂ A31 , the set of separating arcs in ⊂ A1 , and the distinguished arc a1 ⊂ A11 , the set
of distinguished arcs in A1 , with almost adjacent endpoints. We can have two cases: in
78
the first one there are no other separating arcs in the portion of ∂S1 on the opposite side
of a2g+l . In the second case they appear; possibly more than one, but we can suppose that
there is exactly one of them. See Figure 6.6.
Case 1. When we consider S10 , which contains the same component of L that is in S1 , after
some arc slides we have that it appears as in Figure 6.6 (left). This is because in the
0
a2g a2g+l
+l
S1
L1
a10
a1 Dead arcs a1
Figure 6.7: There are no other separating arcs, except for a2g+l in S1 .
same figure we see that S1 is split in two pieces by L1 and the innermost one is not
connected in any way to other components of S; in fact there are no separating arcs
on that side. This means that the same holds for S10 too. At this point it is easy to
see that S1 can be modified to be like in Figure 6.7; more explicitly, the separating
arcs are parallel and the distinguished arcs lie in the region where L1 is.
Case 2. As before we have that also S10 appears like in the right part of Figure 6.6 (always
after some arc slides). The reason is the same of previous case. Hence, now we can
modify S1 to be like in Figure 6.8; just in the same way as we did in Case 1.
We have obtained that the separating arcs are fixed on S1 and S10 and then the surfaces
now have isotopic boundaries. Hence, we can move to another component S2 , whose
0
a2g +l
a2g+l
CEU eTD Collection
S1
a10
a1
a1
L1
ai
ai0
Figure 6.8: There are exactly two separating arcs, namely a2g+l and ai in S1 .
79
boundary contains a separating arc that has not yet been fixed, and we repeat the same
process described before. We may need to slide some separating arcs over the ones that we
already fixed in the previous step, but this is not a problem. We just iterate this procedure
until all the Si coincides with Si0 and this completes the proof.
Theorem 6.1.10 If L1 , L2 ,→ ( M, ξ ) are Legendrian isotopic links then the open book decom-
positions ( Bi , πi , Ai ), which are compatible with the corresponding triples, are related by a finite
sequence of global contact isotopies, positive stabilizations and admissible arc slides.
Proof. It follows immediately from Propositions 6.1.1 and 6.1.7, Lemma 6.1.2 and Theorem
6.1.3.
Though they are easy to deal with, we must not forget that, when we define the cor-
responding Legendrian Heegaard diagrams, we need to consider the choices of the mon-
odromy and the families of arcs and basepoints inside their isotopy classes.
The intersection
Proposition 6.2.1 point L( D ) is such that ∂− L( D ) = 0 and then L( D ) is a
cycle in cCFL− D, tL( D) ; where tL( D) is the Spinc structure that it induces on − M.
Proof. Every φ ∈ π2 (L( D ), y) such that µ(φ) = 1, where y ∈ Tα ∩ Tβ , has the property
that nz (φ) > 0. The claim follows easily from the definition of the differential.
At the end of the chapter we show that more can be said on the Spinc structure tL( D) .
Now we want to show
that the isomorphism
class of the element [L( D )] inside the homol-
ogy group cHFL− − M, L, tL( D) is a Legendrian invariant of the triple ( L, M, ξ ).
Let us be more specific: we consider a Legendrian link L ,→ ( M, ξ ) in a rational ho-
mology contact 3-sphere; we associate two open book decompositions compatible with
CEU eTD Collection
that induces an isomorphism in homology, preserves the bigrading and it is such that
Ψ( D1 ,D2 ) (L( D1 )) = L( D2 ) ,
where t = tL( D1 ) = tL( D2 ) ∈ Spinc (− M ). This is done in order to prove the following
theorem.
80
Theorem 6.2.2 Let us consider a Legendrian Heegaard diagram D, given by an open book com-
patible with a triple ( L, M, ξ ), where M is a rational homology 3-sphere and L is an n-component
Legendrian link.
Let us take the cycle L( D ) ∈ cCFL− ( D, tL( D) ). Then, the isomorphism class of [L( D )] in
cHFL− − M, L, tξ is a Legendrian invariant of ( L, M, ξ ) and we denote it with L( L, M, ξ ).
[ − M, T, tξ + PD[ T ] , are transverse link invariants. Furthermore, we have
b ( T, M, ξ ) in HFL
T
that Tb ( T, M, ξ ) has the same non-vanishing property of L.
b
In the case of knots the invariants L and T have been introduced first in [57].
81
Hence, let us consider an abstract open book (S, Φ, A, z, w) and recall that in S we have
two set of arcs A and B, as explained in Subsection 4.2.2. The first check is easy: in fact if we
perturb the basepoints inside the corresponding components of S \ ( A ∪ B) then even the
complex (cCFL− ( D, t), ∂− ) does not change; where D is a Legendrian Heegaard diagram
obtained from (S, Φ, A, z, w). The same is true for an isotopy of S.
Now for what it concerns S we do not have problems, but when we define the chain
complex we also consider the closed surface Σ, obtained by gluing together S and −S. We
still have some choices on −S, in fact by Proposition 6.1.1 we may need to modify the arcs
B in their isotopy classes to achieve admissibility for D = (Σ, α, β, w, z). Then the proof
rests on the following proposition.
Proposition 6.3.1 Suppose that two curves in a Heegaard diagram are related by the move shown
in Figure 5.3. Then we can find a map Ψ( D1 ,D2 ) as in Equation (6.1).
Proof. The map Ψ( D1 ,D2 ) is constructed using a Hamiltonian diffeomorphism of the surface,
as described in Subsection 5.3.2. Since the new disks appear in −S, we have that L( D1 ) is
sent to L( D2 ) which both lie in S.
An arc slide {..., ai , ..., a j , ...} → {..., ai + a j , ..., a j , ...} in S corresponds to a handleslide
{..., αi , ..., α j , ...} → {..., αi0 , ..., α j , ...} in Σ, where αi0 = ai + a j ∪ ai + a j ⊂ Σ. Thus, a chain
map Ψ( D1 ,D2 ) , which induces an isomorphism in homology, is obtained by counting holo-
morphic triangles, as explained in Subsection 5.3.3. The admissibility of the arc slide is
required only to avoid crossing a basepoint in w.
Remember that for every arc slide we actually have two handleslides. In fact we need
to slide both the α and the β curves.
The fact that Ψ( D1 ,D2 ) (L( D1 )) = L( D2 ) follows from [47]; where the arc slides invari-
ance is proved in the open books setting.
Proposition 6.3.2 Let us call S = Sg,l = π −1 (1) ⊃ L the page over 1 of ( B, π ). Then we can
CEU eTD Collection
always find A, an adapted system of generators for L in S, with the property that A is disjoint from
the arc γ0 = γ ∩ S; where γ is the curve that we used to perform the L-elementary stabilization.
Proof. We have to study four cases:
a) The arc γ0 intersects L (transversely in one point),
b) The intersection γ0 ∩ L is empty and γ0 does not disconnect S,
c) The intersection γ0 ∩ L is empty, the arc γ0 disconnects S and L is not contained in one
of the two resulting connected components of S,
d) The intersection γ0 ∩ L is empty, the arc γ0 disconnects S and the link L lies in one of the
resulting connected components of S.
82
Let us start with Case a). We observe that γ0 does not disconnect S; in fact if this was the
case then a component of L would be split inside the two resulting components of S, thus
we would have at least another intersection point between L and γ0 ; which is forbidden.
We define A = { a1 , ..., a2g+l +n−2 } as follows. Take a1 as a push-off of γ0 ; clearly a1 is a
distinguished arc, because it intersects L1 , a component of L, in one point. Now call a0 the
arc given by taking a push-off of L1 and extend it through a1 , on one side of L1 ; this is
the same procedure described in the proof of Theorem 4.2.1. If a0 disconnects S into S1 , S2
and there are components of L that lie in both Si then we take a0 as a separating arc; thus
we extend { a1 , a0 } to an adapted system of generators A by using Theorem 4.2.1. On the
other hand if L is contained in S2 and S1 is empty then we consider { a1 , a00 }; where a00
is another push-off of L1 , this time extended through a1 on the other side of L1 . We still
have problems when a0 does not disconnect S. We can fix this by taking { a1 , a0 , a00 }; which
together disconnect S into two connected components, one of them containing only L1 and
the other one L \ L1 . Again we extend the set { a1 , a0 , a00 } to A applying Theorem 4.2.1.
The other three cases are easier. In Case b) we just denote with an+1 the push-off of γ0
and we complete it to A.
In Case c) we denote with a2g+l our push-off of γ0 and we take it as a separating arc.
Then we can complete it to A.
Finally, Case d) is as follows. Since in this case the push-off is trivial in homology, and
it bounds a surface disjoint from L, we can actually ignore it and easily find a set A which
never intersects γ0 .
Now we have the abstract open book (S, Φ, A, z, w), obtained from ( B, π, A). Denote
with (S+ , Φ+ , A+ , z, w) the one coming from ( B+ , π + , A+ ), where S+ = (π + )−1 (1) is S
with a 1-handle attached; Φ+ = Φ0 ◦ Dγ where Φ0 coincides with Φ on S, extended with
the Identity on the new 1-handle; and A+ = A ∪ { a} with a being the cocore of the new
1-handle (see Figure 6.2). Then we call D and D + the corresponding Legendrian Heegaard
diagrams.
We define Ψ( D,D+ ) in the following way. For every x ∈ Tα ∩ Tβ |tL(D) it is
Ψ( D,D+ ) ( x ) = x 0 ;
where x 0 = x ∪ { a ∩ b} with b being the arc in strip position with a, as in Figure 4.8.
It results that Ψ( D,D+ ) is a chain map because the curve α = b ∪ b only intersects the
curve β = a ∪ a, and moreover it is α ∩ β = {1 pt}, since we choose A+ in a way that every
arc in it is disjoint from γ0 . We have that Ψ( D,D+ ) induces an isomorphism in homology,
CEU eTD Collection
because it is an isomorphism also on the level of chain complexes, and sends L( D ) into
L( D + ).
Proof of Theorem 6.2.2. We proved that L( D ) is a cycle in Proposition 6.2.1. The invariance
follows from the results obtained in this section: in fact, we proved that if D1 and D2 are
Legendrian Heegaard diagrams, representing Legendrian isotopic links, then we have a
chain map Ψ( D1 ,D2 ) that preserves the bigrading and the Spinc structure and sends L( D1 )
to L( D2 ).
83
We note that the invariant can be a U-torsion class in the group cHFL− − M, L, tL( D) ,
which means that there is a k > 0 such that U k · L( L, M, ξ ) = [0]. Moreover, the cycle
L( D ) possesses a bigrading (d, s); such bigrading is induced on the invariant L( L, M, ξ ),
because all the maps Ψ defined in this section preserves both the Maslov and the Alexander
grading.
Proof of Theorem 6.2.4. The proof of this theorem is the same as the one of Theorems
6.2.2 and 6.2.5, except for the non-vanishing property, which follows from the fact that
d ( D, tL( D) ) is a quotient of cCFL− ( D, tL( D) ).
CFL
Theorem 6.4.1 (Ozsváth and Szabó) Let us consider a Legendrian Heegaard diagram D with
a single basepoint z, given by an open book compatible with a pair ( M, ξ ), where M is a rational
homology 3-sphere. Let us take the cycle c( D ) ∈ CF
c ( D, tc( D) ).
Then the isomorphism class of [c( D )] ∈ d
HF − M, tc( D) is a contact invariant of ( M, ξ ) and
we denote it with cb( M, ξ ). Furthermore, we have the following properties:
The proof of this theorem comes from [70], where Ozsváth and Szabó first define the
invariant cb( M, ξ ), and [47], where Honda, Kazez and Matić give the reformulation using
open book decompositions that we use in this thesis.
Furthermore, now we can see which is the Spinc structure induced by L( D ).
Corollary 6.4.2 The intersection point L( D ) induces the Spinc structure tξ + PD[ L].
CEU eTD Collection
84
We show that the argument used for the invariance of L also proves a generalization of
Theorem 6.4.1, which involves Legendrian Heegaard diagrams with more than one base-
c ( D ), b
point. This is done considering the fact that we can define the chain complex CF ∂z
starting from multi-pointed Heegaard diagrams; as we saw in Theorem 5.2.1.
Theorem 6.4.3 Let us consider a Legendrian Heegaard diagram D, given by an open book com-
patible with a pair ( M, ξ ), where M is a rational homology 3-sphere. Let us take the cycle
c( D ) ∈ CF
c ( D, tc( D) ).
N ( n −1)
Then the isomorphism class of [c( D )] ∈ HF − M, tc( D) ⊗ F(−1) ⊕ F(0)
d is a con-
tact invariant of ( M, ξ ) and we denote it with cb( M, ξ; n).
Proof. As in the proof of Theorem 6.1.10 we claim that two open book decompositions,
compatible with contactomorphic manifolds ( M1 , ξ 1 ) and ( M2 , ξ 2 ), are related by a finite
sequence of isotopies, arc slides and positive stabilizations.
First we observe that if ( B1 , π1 ,A1 ) is the open book decomposition compatbile with
( M1 , ξ 1 ) then F ( M1 ), F (ξ 2 ), F ( A1 ) is compatible with ( M2 , ξ 2 ), where F is the contacto-
morphism between the two manifolds.
At this point we suppose that ( Bi , πi ) for i = 1, 2 are compatible with a contact manifold
( M, ξ ). We argue that we can postively stabilize both many times until the two open book
decompositions are isotopic to ( B, π ), which is also compatible with ( M, ξ ). This is done
in the same way as in Subsection 6.1.3, using a weaker version of Giroux’s Theorem 6.1.3.
We fix ( B, π ) compatible with ( M, ξ ). It only remains to show that, say A1 and A2 are
two system of generators as in the definition of abstract open book in Subsection 4.2.2,
there is a sequence of arc slides which changes A1 into A2 . This follows by adapting the
proof of Proposition 6.1.7.
At this point, we consider the Legendrian Heegaard diagrams D1 and D2 , coming from
open book decompositions compatible with contactomorphic manifolds. We define the
chain maps Ψ( D1 ,D2 ) exactly as in the proof of Theorem 6.2.2; in fact, there are even less
restrictions than before: the arc slides do not need to be admissible, because we do not
consider the basepoints in w; moreover, the positive stabilizations do not need to be L-
elementary, since there is no link on the page of ( B, π ). Then we conclude in the same way
as in Theorem 6.2.2.
We observe that cb( M, ξ; n) is not a new invariant; in fact, we immediately have the
following corollary.
CEU eTD Collection
Corollary 6.4.4 Suppose that ( M, ξ ) is a rational homology contact 3-sphere. Then we have that
N ( n −1)
cb( M, ξ; n) = cb( M, ξ ) ⊗ F(−1) ⊕ F(0) .
Furthermore, if D is a Legendrian Heegaard diagram for ( M, ξ ) then we have the following prop-
erties:
• the Spinc structure induced by the cycle c( D ), representing cb( M, ξ; n), coincides with tξ ;
• the Maslov grading of c( D ) is given by Mz (c( D )) = −d3 ( M, ξ ) + 1 − n.
Proof. From Theorem 6.4.3 we find a chain map
Ψ( D,D0 ) : CF
c ( D ), t −→ CF
c ( D0 ), t
85
D0
Σ
zn βn
β1
z1 β n −1
α1 α n −1 αn
which induces an isomorphism in homology, preserves the grading and sends c( D ) into
c( D0 ), where D0 is the Legendrian Heegaard diagram in Figure 6.9.
The diagram D0 is also compatible with ( M, ξ ) because is gotten by stabilizing D 0 ,
which is a single-pointed Legendrian Heegaard diagram taken from an open book decom-
position compatible with ( M, ξ ).
Therefore, using Theorem 5.2.3, and the argument in its proof, we obtain that
N ( n −1)
0
c( D0 ) = c( D ) ⊗ F(−1) ⊕ F(0) .
U =1
F : cCFL− ( D, tξ + PD[ L]) −−→ CF
c ( D z , tξ )
86
Proof. Since L( D ) and c( D ) both correspond to the unique intersection point on the page
of the open book decomposition, we immediately see that F (L( D )) = c( D ). Then the
claim follows from Theorems 6.2.2 and 6.4.3.
Corollary 6.5.2 The Legendrian invariant L( L, M, ξ ) is non-torsion if and only if the contact
invariant cb( M, ξ ) is non-zero.
Furthermore, if D is a Legendrian Heegaard diagram compatible with ( L, M, ξ ) then the Maslov
and Alexander grading of the element L( D ) are related by the following equality:
In particular, this corollary says that the Legendrian link invariant L is always a torsion
class if ξ is overtwisted and always non-torsion if ( M, ξ ) is symplectically fillable. In fact,
from [70] we know that cb( M, ξ ) is zero in the first case and non-zero in the second one.
We proved that the isomorphism class L( L, M, ξ ) is a Legendrian invariant. This is true
also for the Alexander (and Maslov) grading of the element L( D ) ∈ cCFL− ( D, tξ ), that we
denote with A(L( D )).
From Corollary 6.5.2 we know that cb( M, ξ ) 6= [0] implies that L( L, M, ξ ) is non-torsion,
hence it determines A(L( D )). On the other hand, if cb( M, ξ ) is zero then a priori the grad-
ings of the element L( D ) could give more information.
Starting from these observations, we want to express the value of A(L( D )) in terms of
the other known invariants of the Legendrian link L. Note that Corollary 6.5.2 also tells us
that the Maslov grading of L( D ) is determined, once we know A(L( D )).
First we recall that, from the definitions of Thurston-Bennequin and rotation number
in Chapter 3, we have
n
tb( L) = ∑ tbi ( L) , where tbi ( L) = tb( Li ) + lkQ ( Li , L \ Li )
i =1
and
n
rot( L) = ∑ roti ( L) , where roti ( L) = rot( Li ) .
CEU eTD Collection
i =1
tb( L) − rot( L) + n
A(L( D )) = and M(L( D )) = −d3 ( M, ξ ) + tb( L) − rot( L) + 1 .
2
Proof. If L is a null-homologous knot then the claim has been proved by Ozsváth and Stip-
sicz in [66]; moreover, the proof can be generalized to work with every knot in a rational
homology 3-sphere.
At this point, in order to obtain the claim for links, we need to relate A(L( D )) with the
Alexander grading of the Legendrian invariants of the components Li of L.
87
A Legendrian Heegaard diagram Di for the knot Li is easily gotten from D by removing
some curves and basepoints. We denote the intersection point representing the Legendrian
invariant of Li with L( Di ). Then we have
n
1
A(L( D )) = ∑ A (L( Di )) + lkQ ( Li , L \ Li ) =
i =1
2
n n
tb( Li ) − rot( Li ) + 1 lkQ ( Li , L \ Li ) tb ( L) − roti ( L) + 1
=∑ + =∑ i =
i =1
2 2 i =1
2
tb( L) − rot( L) + n
=
2
and the claim follows.
This property holds also for the invariant T and we state it in the following corollary.
sl( T ) + n
A(T( T, M, ξ )) = and M(T( T, M, ξ )) = −d3 ( M, ξ ) + sl( T ) + 1 .
2
Proof. It follows from Theorems 6.2.5 and 6.5.3, Proposition 3.3.2 and Corollary 6.5.2.
Denote with D1 ,D2 and D the Legendrian Heegaard diagrams obtained from the open
book decompositions that we introduced before. Then, we have the following theorem.
88
b10
S1
b1
w1
a1 a10
b2 z1 b20
a20
S2
a2 S1 ∗ S2
Figure 6.10: On the left we see the starting abstract open books, while on the right there is
the Murasugi sum of the two.
Theorem 6.6.1 For every Spinc structure on M1 and M2 there is a chain map
L( L1 # L2 , M1 # M2 , ξ 1 # ξ 2 ) = L( L1 , M1 , ξ 1 ) ⊗ L( L2 , M2 , ξ 2 ) .
Proof. We use the same strategy of the case of knots in [57]. There are three Heegaard
b1
a20
a10
CEU eTD Collection
a1
b2
a2
S1 ∗ S2
diagrams coming into play: the connected sum diagram, whose α and β-circles are gotten
by doubling the initial bases, an intermediate diagram, shown in Figure 6.11, gotten by
sliding the β’s as dictated by the arcslides, whose attaching circles we denote β0 and α,
89
and the final one gotten by performing handleslides on the α-circles, as dictated by the arc
slides of the bi as in the right-most diagram in Figure 6.10, whose attaching cicles are β0
and α0 .
From [72] we know that there is a chain map
Φ : cCFL− ( D1 ) ⊗ cCFL− ( D2 ) −→ cCFL− ( D )
which induces an isomorphism in homology and preserves the bigrading and the Spinc
structure. In all three of these diagrams there is a unique intersection point in Tα ∩ Tβ
which is supported in S1 ∗ S2 : the first is x = Φ(L( D1 ) ⊗ L( D2 )), the second one is denoted
with x 0 and the third one, that we call x 00 , clearly determines the Legendrian invariant for
L1 # L2 and then coincides with L( D ).
We claim that the three generators are mapped to one another under the maps induced
by handleslides. We argue first that x 0 is a cycle. We say that, for any y ∈ Tα0 ∩ Tβ , if
φ ∈ π2 ( x 0 , y) has all non-negative local multiplicities, then x 0 = y and and φ is the constant
disk. We need to be careful to the fact that the arcs disconnect S1 ∗ S2 into two regions,
only one of which contains z1 . However, it is still easy to see from Figure 6.11 that any
positive domain flowing out of x 0 , which has positive multiplicity on the other region not
containing z1 , has also to have positive multiplicity at z1 .
We now want to count holomorphic triangles. Consider the Heegaard triple
(Σ, α, β, β0 , w, z), and the diagram (Σ, β, β0 , z) which represents an unknot in the g-fold
connected sum of S2 × S1 . Moreover, in that diagram there is a unique intersection point
Θ ∈ Tβ ∩ Tβ0 , representing the top-dimensional Floer homology class, see also Subsection
5.3.3.
The handleslide map
Ψ1 : cCFL− (Σ, α, β, w, z) −→ cCFL− (Σ, α, β0 , w, z)
is defined by
Ψ1 ( x ) = ∑ ∑ c ψ ) · U nw (ψ) y .
M(
y ψ∈π2 ( x,Θ,y)
µ(ψ)=1,nz (ψ)=0
somewhere.
The first is obtained easily from Figure 6.11. To see the second, we notice that any ho-
mology class ψ ∈ π2 ( x 0 , Θ, y) can be decomposed as ψ0 ∗ φ, where φ ∈ π2 ( x 0 , y). More-
over, if ψ has only positive local multiplicities, then the same follows for φ; also, since
nz (ψ) = 0 = nz (ψ0 ), it follows that nz (φ) = 0 as well. But by our above argument that x 0
is a cycle, it now follows that φ is constant.
Consider next the handleslide map
Ψ2 : (Σ, α, β0 , w, z) −→ (Σ, α0 , β0 , w, z) .
This is defined by pairing with an intersection point Θ0 ∈ Tα0 ∩ Tα , representing the top-
dimensional non-trivial homology. The argument that Ψ2 ( x 0 ) = x 00 follows through a
similar argument.
90
Finally, we have that the composition Φ = Ψ2 ◦ Ψ1 ◦ Φ now induces an isomorphism
on homology, carrying L( D1 ) ⊗ L( D2 ) into x 00 = L( D ), which completes the proof of the
theorem.
We note that the link Floer homology group of the connected sum does not depend on
the choice of the components. In particular, this means that we can compute the link Floer
homology group and the Legendrian invariant of a disjoint union L1 t L2 , see Section 3.5.
Proposition 6.6.2 If we denote with 2 a smooth 2-component unlink and with O2 the Legen-
drian 2-component unlink in (S3 , ξ st ) such that tb(O2 ) = −2 then we have that
and
L( L1 t L2 , M, ξ ) = L( L1 , M1 , ξ 1 ) ⊗ L( L2 , M2 , ξ 2 ) ⊗ L(O2 ) .
Proof. We just apply Theorem 6.6.1 twice, each time on one of the two components of
O2 .
The homology group cHFL− ( 2 ) is isomorphic, as bigraded F[U ]-module, to
F[U ](−1,0) ⊕ F[U ](0,0) and this can be proved immediately from the diagram in Figure 6.1.
Moreover, Theorem 6.5.3 tells us that
L(O2 ) = e−1,0 ,
that is the generator of F[U ] with bigrading (−1, 0). This means that, if cb( M, ξ ) is non-zero,
we have
and
A(L( L1 t L2 , M, ξ )) = A(L( L1 , M1 , ξ 1 )) + A(L( L2 , M2 , ξ 2 )) .
It is easy to check that similar results hold also for the Legendrian invariant L.
b
L b ( L1 , M1 , ξ 1 ) ⊗ L
b ( L1 # L2 , M1 # M2 , ξ 1 # ξ 2 ) = L b ( L2 , M2 , ξ 2 )
and
CEU eTD Collection
b ( L1 t L2 , M, ξ ) = L
L b ( L1 , M1 , ξ 1 ) ⊗ L
b ( L2 , M2 , ξ 2 ) ⊗ L
b (O2 ) .
We can use the connected sum formula in Theorem 6.6.1 to determine how L changes
under stabilizations of Legendrian links, see Section 3.5.
Proposition 6.6.4 For every L ,→ ( M, ξ ) as before we have that
L( L+ , M, ξ ) = U · L( L, M, ξ ) and L( L− , M, ξ ) = L( L, M, ξ )
in cHFL−
− M, L, tξ + PD[ L] . Furthermore, it is
b ( L+ , M, ξ ) = [0]
L and b ( L− , M, ξ ) = L
L b ( L− , M, ξ )
[ (− M, L, tξ + PD[ L]).
in HFL
91
Proof. It follows from Theorem 6.6.1, which says that we just need to determine L(O ± ),
together with the fact that cHFK − ( ) ∼ = F[U ](0,0) , which says that L(O ± ) is fixed by
the classical invariants of O ± , and Equations (3.1) and (3.2) that give tb(O ± ) = −2 and
rot(O ± ) = ±1.
The claim about L b is done in the same way using Corollary 6.6.3, but now we consider
[( ) ∼
that HFL = F(0,0) .
For the transverse case, we recall the following theorem from [30].
Theorem 6.6.5 (Epstein) Two transverse links in a contact manifold are transversely isotopic if
and only if they admit Legendrian approximations which differ by negative stabilizations.
Proof of Theorem 6.2.5. It follows immediately from Proposition 6.6.4 and Theorem 6.6.5.
Moreover, we have that the transverse invariant satisfies the following properties.
Corollary 6.6.6 Take two transverse links T1 and T2 in contact manifolds ( Mi , ξ i ) for i = 1, 2 as
before. Then we have that the invariant of a connected sum is given by
T( T1 # T2 , M1 # M2 , ξ 1 # ξ 2 ) = T( T1 , M1 , ξ 1 ) ⊗ T( T2 , M2 , ξ 2 ) ,
T( T1 t T2 , M, ξ ) = T( T1 , M1 , ξ 1 ) ⊗ T( T2 , M2 , ξ 2 ) ⊗ T( TO2 ) ,
Proof. It follows immediately from the definition of T, Theorem 6.6.1 and Proposition 6.6.2.
dividing set, which intersects L transversely in exactly two points. Such a splitting sphere
expresses L as a connected sum of two links L1 and L2 .
Since L = L1 #S L2 then its hat Heegaard Floer homoloy group admits the splitting
[ ( L∗ ) ∼
HFL [ ( L1∗ ) ⊗F HFL
= HFL [ ( L2∗ ) ,
where the mirror images appear because S3 has a diffeomorphism that reverses the orien-
[ (−S3 , L) with HFL
tation, then we identify HFL [ (S3 , L∗ ) := HFL[ ( L ∗ ).
The Alexander grading of L 3
b ( L, S , ξ ) is well-defined, because we suppose that the in-
variant is non-zero. Moreover, we have that
A L b ( L, S3 , ξ ) = A L b ( L1 , S3 , ξ 1 ) + A Lb ( L2 , S3 , ξ 2 ) .
92
The pair (s1 , s2 ), where
si = A Lb ( L i , S3 , ξ i )
Proof of Theorem 6.6.7. Suppose that D1 and D2 are Legendrian Heegaard diagrams for L1
and L2 , while D10 and D20 are diagrams for L10 and L20 respectively. Moreover, denote with
D1 # D10 and D2 # D20 the Legendrian Heegaard diagrams for L obtained from the corre-
sponding Murasugi sums, as in Subsection 6.6.1.
In [57] it is proved that, given the map Φ in the proof of Theorem 6.6.1, we can find a
map Ψ such that the following diagram commutes.
∗
Φ( D1 ,D10 )
[ ( D10 )
[ ( D1 ) ⊗ HFL
HFL [ ( D1 # D10 )
HFL
∗
Φ( D2 ,D20 )
[ ( D20 )
[ ( D2 ) ⊗ HFL
HFL [ ( D2 # D20 )
HFL
Moreover, it is shown that the map Ψ is an isomorphism which preserves the Alexander
pair. Then this implies that, if the splitting spheres satisfiy the hypothesis of the theorem,
CEU eTD Collection
the homology group HFL [ ( L∗ ) is canonically identified with HFL[ ( L1∗ ) ⊗ HFL
[ ( L2∗ ) and the
Legendrian invariant is given by
b ( L, S3 , ξ ) = L
L b ( L1 , S3 , ξ ) ⊗ L [ ( L∗ ) .
b ( L2 , S3 , ξ ) ∈ HFL
This means precisely that the Alexander pair is well-defined and depends only on the
isotopy class of S rel L.
We observe that this theorem is false if we consider the invariant L instead. In fact, say
K is the standard Legendrian unknot O after one positive stabilization, while denote with
H the Legendrian knot O after two positive stabilizations. We immediately see that K# K
is Legendrian isotopic to O # H, but the corresponding Alexander pairs are different
There is a version of Theorem 6.6.7 for transverse links.
93
Corollary 6.6.8 Suppose that T is a transverse link in (S3 , ξ ). Assume also that one of its Legen-
drian approximations L T respects the hypothesis of Theorem 6.6.7. Then it is
AS1 ( T, S3 , ξ ) = AS2 ( T, S3 , ξ ) ,
Proof. It is a consequence of the fact that Legendrian approximations of the same trans-
verse link differ by negative stabilizations. Therefore, the Alexander gradings are the same
because negative stabilizations do not change the invariant, see Proposition 6.6.4.
The Alexander pair can be useful in distinguishing Legendrian and transverse links
that are not isotopic.
Proposition 6.6.9 Suppose that L1 and L2 are smoothly isotopic Legendrian (transverse) links in
(S3 , ξ ) which appear as in one of these two cases:
1. say L1 ≈ L2 = K#S H, where K and H are Legendrian (transverse) knots with prime knot
types;
Proof. It follows from Theorem 6.6.7 and Corollary 6.6.8 and the fact that, if there is a
Legendrian (transverse) isotopy F between L1 and L2 , the isotopy F is such that F (S) = S0
and, in both cases, we can smoothly isotope S0 onto S.
CEU eTD Collection
94
Chapter 7
L( L, M, ξ ) = L( L1 , M, ξ 1 ) ⊗ L(O , S3 , ξ 0 ) .
Since cHFK − ( ) ∼= F[U ](0,0) , and then there is no torsion, we obtain that the Legendrian
invariant of an unknot is zero in overtwisted 3-spheres. Then L( L, M, ξ ) is also zero.
95
We can use this proposition to say something about stabilizations. In fact, in principle
a stabilization of a non-loose Legendrian link L ,→ ( M, ξ ) can be loose, but if L( L, M, ξ ) is
non zero then all its negative stabilizations are also non-loose.
It is easy to prove that we can always find loose Legendrian links in every overtwisted
contact 3-manifold; in fact Legendrian links inside a Darboux ball need to be loose, see
Proposition 3.5.1, and we have Darboux balls centered at every point. On the other hand,
it is a little harder to show that the same holds for non-loose Legendrian links.
Proof. It is a known theorem in contact topology that every overtwisted contact 3-manifold
is obtained from some −1-surgeries and exactly one +1-surgery on Legendrian knots in
(S3 , ξ st ), see [27].
Take a surgery presentation for ( M, ξ ) and denote by J = J + ∪ J − the corresponding
framed Legendrian link in (S3 , ξ st ); which can be represented by a front projection. The
component J + is the knot where we perform the +1-surgery. We claim that the Legendrian
L2
Ln
L1
+1
J+
Figure 7.1: The knots L1 , L2 , ..., Ln are the components of L.
We start by proving that each Li is non-loose; this implies that also L is non-loose. Sup-
pose that there is an overtwisted disk E in M \ Li . Thus E will remain unchanged if we ap-
ply a −1-surgery along Li and then the resulting contact manifold ( Mi , ξ i ) is overtwisted.
But it is easy to see that two surgeries, with opposite signs, along contact push-offs cancel
each other and this means that the new manifold has a surgery presentation given by only
−1-surgeries. Now from Theorem 3.1.9 we obtain that ( Mi , ξ i ) is Stein fillable and then
from [70] we know that it has to be tight. This is a contradiction.
We only have to show that L is non-split. If not we can find a connected sum decom-
position ( M, ξ ) = ( M1 , ξ 1 )# ( M2 , ξ 2 ) and say L1 is embedded in M1 and L2 in M2 . Since
we can suppose that ( M1 , ξ 1 ) is overtwisted we have that L2 is loose in ( M, ξ ), but this is
impossible because we already proved before that it is non-loose.
96
Now take a Darboux ball B in our overtwisted ( M, ξ ). We saw in Proposition 3.5.1 that
we can always find an overtwisted disk in M, which is disjoint from B. We can deform such
an overtwisted disk to intersect B and, since we do not touch the boundary, it remains
an overtwisted disk. This means that every Darboux ball, in an overtwisted contact 3-
manifold, intersects at least one overtwisted disk. More generally, the same argument tells
us that if ( M, ξ ) = ( M1 , ξ 1 )# ( M2 , ξ 2 ) then we always find overtwisted disks that are not
entirely contained in one of the two summands of ( M, ξ ).
The previous observation suggests that the connected sum of a non-loose Legendrian
link with another Legendrian link, which is non-loose or lives in a tight structure, may still
be loose. On the other hand, the following proposition holds for disjoint unions.
Proposition 7.1.3 The disoint union of a non-loose Legendrian link L1 ,→ ( M1 , ξ 1 ) with another
Legendrian link L2 ,→ ( M2 , ξ 2 ), which is non-loose or lives in a tight structure is also non-loose.
Furthermore, if L is non-loose then L is a split Legendrian link if and only if its smooth link
type is split.
Proof. For the first statement we observe that ξ i restricted to Mi \ Li is tight for i = 1, 2.
Then ξ = ξ 1 # ξ 2 restricted to M \ L = M1 # M2 \ ( L1 t L2 ) is also tight. The second statement
follows from Colin’s result in [13].
Theorem 7.2.1 (Dymara) Consider a rational homology overtwisted 3-sphere ( M, ξ ). Then two
loose Legendrian knots K1 and K2 in ( M, ξ ) with the same classical invariants and such that K1 ∪
K2 is loose are Legendrian isotopic.
In this thesis we show that Dymara’s result can be strengthened. In fact we prove the
CEU eTD Collection
following theorem.
Theorem 7.2.2 Consider a rational homology contact 3-sphere ( M, ξ ). Suppose that there are two
loose Legendrian knots K1 and K2 in ( M, ξ ) and denote with ( E1 , E2 ) a pair of overtwisted disks,
where Ei is contained in the complement of Ki for i = 1, 2. If we can find E1 and E2 disjoint then
K1 and K2 are Legendrian isotopic if and only if they have the same classical invariants.
Though we still need an assumption on the overtwisted disks, this version can be ap-
plied in many interesting cases like disjoint unions of Legendrian knots.
The proof of Theorem 7.2.2 only requires to show that loose Legendrian knots with the
same classical invariants are Legendrian isotopic.
97
Proof of Theorem 7.2.2. The idea of the proof is to find another Legendrian knot K, with the
same classical invariants as K1 and K2 , and to show that there are overtwisted disks in the
complement of both K1 ∪ K and K2 ∪ K. Then Theorem 7.2.1 gives that K1 and K2 are both
Legendrian isotopic to K.
If there is an overtwisted disk in the complement of K1 ∪ K2 then the claim follows
immediately from Theorem 7.2.1. Then we suppose that this is not the case.
Since E1 and E2 are disjoint disks we can find two closed balls B1 and B2 such that
Ei ⊂ Bi for i = 1, 2. Moreover, we can suppose that each Bi is disjoint from Ki ; this is
because we start from the assumption that each Ei is in the complement of Ki .
Now we have that the contact manifold ( Bi , ξ | Bi ) is an overtwisted D3 . Then from
Eliashberg’s classification of overtwisted structures [18, 22] we know that ( Bi , ξ | Bi )#(S3 , ξ 0 )
is contact isotopic to ( Bi , ξ | Bi ). This holds since the contact connected sum with (S3 , ξ 0 )
K ( M, ξ )
K2
K1
( D1 , ξ 0 )
( D2 , ξ 0 )
does not change the homotopy class of the 2-plane field given by ξ. From this we have
that inside ( Bi , ξ | Bi ) there is a sphere with trivial dividing set which bounds a closed ball
Di such that ξ | Di is contact isotopic to ξ 0 . Moreover, both D̊i and Bi \ Di contains some
overtwisted disks from Proposition 3.5.1.
At this point, we have found two closed balls D1 and D2 in ( M, ξ ) such that each
Di is in the complement of Ki and ξ | Di is contact isotopic to the overtwisted structure
ξ 0 ; furthermore, the contact manifold M \ ( D1 ∪ D2 ) is also overtwisted. This situation
is pictured in Figure 7.2. Let us denote with M0 the overtwisted manifold M \ D2 ; the
boundary of D1 gives a contact connected sum decomposition of M0 where the components
CEU eTD Collection
are M \ ( D1 ∪ D2 ) and D1 . Then the same argument that we applied before tells us that
( M \ ( D1 ∪ D2 ), ξ ) is contact isotopic to ( M0 , ξ ) without a Darboux ball.
Since K2 is a Legendrian knot in M0 and we can suppose that a Darboux ball is missed
by it, we can identify K2 with a Legendrian knot K inside M \ ( D1 ∪ D2 ) with the same
classical invariants as K2 , which are assumed to coincide with the ones of K1 . The Legen-
drian knot K is disjoint from both the overtwisted balls Di and then we find overtwisted
disks in the complement of both Ki ∪ K. This concludes the proof.
The condition on the overtwisted disks in Theorem 7.2.2 cannot be removed. Vogel in
[89] gives an example of two loose Legendrian unknots, both with Thurston-Bennequin
number equal to zero and rotation number equal to one, that are not Legendrian isotopic.
98
In fact, although we can find overtwisted disks in the complement of both knots such disks
always intersect each other.
An important case where the situation described in Theorem 7.2.2 appears is when we
have a disjoint union of two Legendrian knots.
From Theorem 3.5.2 we observe that if ξ is tight then L is a split Legendrian link if and
only if its smooth link type is split.
Corollary 7.2.3 Suppose K1 and K2 are two loose Legendrian knots in the rational homology
contact sphere ( M, ξ ) such that K1 ∪ K2 is a split Legendrian link. Then they are Legendrian
isotopic if and only if they have the same classical invariants.
We conclude with the following observation. Let us consider two loose Legendrian
knots K1 and K2 in ( M, ξ ) with same classical invariants and such that L = K1 ∪ K2 is
a topologically split 2-component Legendrian link. Corollary 7.2.3 says that if K1 is not
Legendrian isotopic to K2 then L is non-split as a Legendrian link. The example of Vogel
that was mentioned before falls into this case.
found in [57].
Let us introduce the notation. Suppose that the link J = J + ∪ J − ⊂ (S3 , ξ st ) is a contact
(±1)-surgery presentation of a contact 3-manifold ( M, ξ ) and L is a Legendrian knot in
(S3 , ξ st ), disjoint from J. Hence, L represents a Legendrian knot also in ( M, ξ ). Let tb0 and
rot0 denote the Thurston-Bennequin and rotation number of L as a knot in the standard S3 .
Writing J = J1 ∪ ... ∪ Jt , let ai be the integral surgery coefficient on the link component Ji ;
i.e. ai = tb( Ji ) ± 1 if Ji ∈ J ± . Define the linking matrix
t
Q( a0 , a1 , ..., at ) = (qi,j )i,j =0 ;
where (
ai if i = j
qi,j =
lk( Ji , Jj ) if i 6= j ,
99
−1
j
−1
−1
+1
+1
L( j)
Figure 7.3: Contact surgery presentation for the Legendrian knot L( j).
with the convention that L = J0 and a0 = 0. Similarly, let Q = Q( a1 , ..., at ) denote the
t
matrix (qi,j )i,j =1 .
Proposition 7.3.1 Suppose that J is a surgery presentation of a Legendrian knot L in the contact
manifold ( M, ξ ), as before. Then the Hopf invariant of ξ is determined by the following equation:
rot( J1 ) rot( J1 )
1
d3 (ξ ) = h ... , Q−1 ... i − 3σ( Q) − 2t + J + .
4
rot( Jt ) rot( Jt )
Furthermore, the Thurston-Bennequin and rotation numbers of L can be extracted by the formulae:
rot( Jt ) lk( L, Jt )
We apply this proposition to the knots in Figure 7.3 and we immediately obtain that
they are Legendrian knots in S3 , ξ 1−2j and their invariants are:
100
k l
−1
−1
−1
+1
+1
Lk,l
Figure 7.4: Contact surgery presentation for the Legendrian knot Lk,l .
Proposition 7.3.2 (Lisca, Ozsváth, Stipsicz and Szabó) The Legendrian knot Ki ,→ (S3 , ξ i ) is
such that L(Ki , S3 , ξ i ) 6= [0] and then it is non-loose for every i ∈ Z.
Proof. It follows easily from the previous computation and the connected sum formula.
We can now go back to links. Let us take an overtwisted 3-manifold ( M, ξ ) such that
there exists another contact structure ζ on M with cb( M, ζ ) 6= [0] and tξ = tζ ; in par-
ticular ζ is tight. Consider O the standard Legendrian unknot in ( M, ζ ). We have that
L(O , M, ζ ) coincides with e−d3 ( M,ζ ),0 6= [0] and the invariant is non-torsion; this is because
HFK − − M, O , tζ ∼ = F[U ](−d3 ( M,ζ ),0) and Theorem 6.5.3.
101
Fix B a Darboux ball in ( M, ζ ), which contains O . Since B is contact isotopic to (R3 , ξ st ),
n −1
we can take the Legendrian link H+ in B, that is defined as n − 1 connected sums of the
standard positive Legendrian Hopf link; see Figure 7.5.
If n = 1 we do not do anything and we keep the the knot O . The invariant
Theorem 7.3.3 In every overtwisted 3-manifold ( M, ξ ), such that there exists a contact structure
ζ with tξ = tζ and cb( M, ζ ) 6= [0], there is a non-split n-component Legendrian link L, for every
n > 1, such that L( L, M, ξ ) is non-zero and all of its components are loose. In particular, L is
non-loose and stays non-loose after a sequence of negative stabilizations.
Furthermore, the transverse link T, obtained as transverse push-off of L, has exactly the same
properties of L.
Proof. We already saw that the link L exists if the hypothesis of the theorem holds. So first
we check that L( L, M, ξ ) is non-zero. In fact, the invariant is represented by the tensor
n −1
product of a non-zero torsion element with L( H+ , M, ζ ). We are working with F[U ]-
modules and we recall, see Subsection 1.5.2, that
F [U ] F [U ]
F [ U ] ⊗ F [U ] ∼
=
U · F [U ] U · F [U ]
102
and, more precisely, in the F[U ] factor only the generator survives. Then, from what we
said before, we have that L( L, M, ξ ) remains non-zero. Note that this is false if instead we
take the negative Hopf link. In this case the invariant L does not lie in the top of an F[U ]
tower of the homology group and then it vanishes after the tensor product.
This immediately implies that T( T, M, ξ ) is also non-zero and then the theorem holds
for transverse links. Moreover, the fact that the components of L (and T) are loose follows
easily from the construction of L. In fact, we performed connected sums of ( M, ζ ) with
two overtwisted S3 ’s and each component lies in one of these three summands. It is only
left to prove that L is non-split.
From [13] we know that the connected sum of two tight contact manifolds is still tight.
This implies that a non-loose Legendrian link is split if and only if its smooth link type is
split. Hence, we just have to show that L is non split as a smooth n-component link. But
L is a connected sum of torus links in a 3-ball inside M and we know that L is non-split as
a link in S3 . Furthermore, if L is split in M then it would be split also in the 3-sphere and
this is a contradiction.
Proposition 7.4.1 In (S3 , ξ 1 ) the unknot is not a Legendrian simple knot type; where ξ 1 is the
overtwisted structure on the 3-sphere with d3 (ξ 1 ) = 1.
It is harder to find two non-loose Legendrian links L1 and L2 with same classical in-
variants and such that they are not Legendrian isotopic. The first example of such links
was given by Etnyre in [28] and others were found by Lisca, Ozsváth, Stipsicz and Szabó
in [57]; from which we report the following result.
Proposition 7.4.2 (Lisca, Ozsváth, Stipsicz and Szabó) The knot type T(2,−7) # T(2,−9) in
(S3 , ξ 12 ) contains two non-loose Legendrian knots, with equal Thurston-Bennequin and rotation
numbers, which are not Legendrian isotopic.
The Legendrian isotopy classes of the knots in this proposition are distinguished using
the refinement of the Legendrian invariant Lb for knots.
103
In the previous subsection we saw that, under some hypothesis, in an overtwisted 3-
manifold ( M, ξ ) we can find non-loose, non-split n-component Legendrian links Ln . Con-
sider the links L0n obtained as the connected sum of Ln with the standard Legendrian un-
knot in (S3 , ξ 0 ), where ξ 0 is the overtwisted S3 with zero Hopf invariant.
Since ( M, ξ ) is already overtwisted, we have that ( M, ξ )# (S3 , ξ 0 ) is contact isotopic to
( M, ξ ). This means that L0n is also a non-split Legendrian link in ( M, ξ ), which is smoothly
isotopic to Ln for every n > 1, but unlike Ln it is clearly loose.
Each component of L0n has the same classical invariants of a component of Ln . More-
over, if n > 2 then there is an overtwisted disk in their complement. From Dymara’s
Theorem 7.2.1, the components of L0n are Legendrian isotopic to the ones of Ln . Hence, we
have the following corollary.
Corollary 7.4.3 The link type of Ln and L0n in M, which is denoted with L, is both Legendrian and
transverse non-simple.
We can also find non-simple link types where the two Legendrian and transverse rep-
resentatives are non-loose.
Proposition 7.4.4 Let us consider the links L1 = ( L0,2 # L1,2 )# H+ # L(1) and L2 =
( L1,1 # L0,3 )# H+ # L(1) in the contact manifold (S3 , ξ 11 ); where in Li the knots on the left are
summed on the first component of H+ and L(1) on the second one. Then L1 and L2 are two non-
loose, non-split 2-component Legendrian links, with the same classical invariants and Legendrian
isotopic components, but that are not Legendrian isotopic.
In the same way, the transverse push offs of L1 and L2 are two non-loose, non-split 2-component
transverse links, with the same classical invariants and transversely isotopic components, but that
are not transversely isotopic.
Proof. We apply Theorem 6.6.7. The Legendrian invariant of L1 and L2 is computed in [57]
b ( L1 , S3 , ξ 11 ) and L
and it is non-zero; moreover, the Alexander pairs of L b ( L2 , S3 , ξ 11 ), respect
to splitting spheres separating L0,2 from L1,2 and L1,1 from L0,3 , are different. The fact that
the components are Legendrian isotopic follows from Theorem 7.2.1. The same argument
proves the theorem in the transverse setting.
Proof. Let us take a standard Legendrian (transverse) positive Hopf link H+ in (S3 , ξ st ).
On the first component of H+ we perform a connected sum with the knot L0,2 # L1,2 in
one case and L1,1 # L0,3 in the other. While, on the second component of H+ , we sum a
non-split Legendrian (transverse) n-component link in the overtwisted manifold ( M, ξ 0 ),
where d3 (ξ 0 ) = d3 (ξ ) − 12, with non-zero invariants; those links exist as we know from
Theorem 7.3.3. We conclude by applying the same argument of the proof of Proposition
7.4.4.
104
Chapter 8
105
(0, 5) (5, 5)
X
X
X
X
X
(0, 0) (5, 0)
circle in the grid diagram. We usually consider only the case when |sO| = n, which means
there is exactly one special O-marking on each component. We talk about the general case
in Subsection 8.2.2. From now on there are always n special O-markings in a grid diagram,
unless it is explicitly written differently.
We define the simply blocked complex GC c ( D ) as the free F[V1 , ..., Vgrd( D)−n ]-module,
where F = Z \ 2Z, over the grid states S( D ) = { x1 , ..., xgrd( D)! }.
We associate to every grid state x the integer M ( x ), called the Maslov grading of x,
defined as follows:
M( x ) = MO ( x ) = J ( x − O, x − O) + 1 ; (8.1)
where
∑
J ( P, Q) = ( a, b) ∈ ( P, Q) | b has both coordinates strictly bigger than
a∈ P
the ones of a
where GC c d ( D ) is the finite dimensional F-vector space generated by the elements V l1 · ... ·
1
Vmlm x, with x ∈ S( D ) and m = grd( D ) − n, such that
CEU eTD Collection
m
M(V1l1 · ... · Vmlm x ) = M ( x ) − 2 ∑ li = d .
i =1
We define another integer-valued function on grid states, the Alexander grading A( x ), with
the formula
M ( x ) − MX ( x ) grd( D ) − n
A( x ) = − ;
2 2
where MX ( x ) is defined in Equation (8.1), replacing the set O with X. For the proof that
A( x ) is an integer we refer to [67].
Now we introduce an increasing filtration on GC c ( D ), see Subsection 1.4.1 such that
F s GC F s GC
M
c (D) = c d (D)
d ∈Z
106
c d ( D ) is generated over F by the elements V l1 · ... · Vmlm x with Maslov grad-
and where F s GC 1
ing d and Alexander grading
m
A(V1l1 · ... · Vmlm x ) = A( x ) − ∑ li 6 s .
i =1
∑ ∑◦
O1 (r ) O (r )
∂x =
b V1 · ... · Vm m y for any x ∈ S( D )
y∈S( D ) r ∈Rect ( x,y)
r ∩sO=∅
(
1 if Oi ∈ r
where Oi (r ) = . Here {O1 , ..., Om } is the set of the m = grd( D ) − n normal
0 if Oi ∈
/r
O-markings.
We extend b c d ( D ) linearly, and we call it b
∂ to GC ∂d , then again to the whole GC c ( D ) in
the following way: b ∂(Vi x ) = Vi · b
∂x for every i = 1, ..., m and x ∈ S( D ). Since b
∂ keeps the
filtration and drops the Maslov grading by 1, see [67], we have maps
∂d,s : F s GC
b c d ( D ) −→ F s GC
c d −1 ( D )
Ker b∂d → GH
d d ( D ). Since Ker b ∂d ∩ F s GC
∂d,s = Ker b c d ( D ) we say that
F s GH
d d ( D ) = πd (Ker b
∂d,s )
by taking
F s GH( F s GH
M
d D) = d d (D) .
d ∈Z
107
From [67] we know that the dimension of F s GH d d ( D ) as an F-vector space is a link
invariant for every d, s ∈ Z, in particular it is independent of the choice of the special O-
markings and the ordering of the markings. Hence we can denote them with F s GH d d ( L ).
Furthermore, [67] also tells us that [Vi p] = [0] for every i = 1, ..., m and [ p] ∈ GH(
d L). This
means that each homology class can be represented by a combination of grid states and
d L) is also a finite dimensional F-vector space.
every level F s GH(
The homology group GH d d,s ( L) of [67] can be recovered from the complex GC c ( D ) in the
following way. We denote the graded object associated to a filtered complex C , defined in
Subsection 1.4.1, as gr(C), gr(∂) . Then we have that
d ∼
GH d,s ( L) =F Hd,s gr GC ( D ) , gr(∂) .
c b
Ξ : GC
c ( D ) −→ CFL
d ( HD )
Proof. We give an idea of the proof, which can be found in [67]. First, we observe that grid
states in D correspond to the intersction points in HD . Now suppose that φ ∈ π2 ( x, y) is
such that its associated domain in D belongs to Rect◦ ( x, y). Then we have that µ(φ) = 1
CEU eTD Collection
and M(c φ) = 1. This is verified using the following interpretation of holomorphic disks
in the symmetric product. A holomorphic disk in Symd (Σ) can be viewed as the following
collection ( F, P, f ) of data:
3. a holomorphic map f : F → Σ.
In this correspondence, the domain of the holomorphic disk can be thought of as the two-
chain induced by the map f from F to Σ. Then the claim follows from the Riemann map-
ping theorem. See [67] for more details.
108
We say that a domain is called positive if its local multiplicities are all non-negative,
and at least one of them is positive. Let ψ ∈ π2 ( x, y) be a positive domain. Then, there
is a sequence of grid states { x1 , ..., xk }, with x1 = x and xk = y, and empty rectangles
{ri , ..., rk−1 }, with ri ∈ Rect◦ ( x1 , xi+1 ) for i = 1, ..., k − 1, so that ψ = r1 ∗ ... ∗ rk−1 . The proof
of this fact is also given in [67].
At this point, we can identify the boundary maps as follows. As we said in Chapter 5, if
a domain φ is associated to a holomorphic strip then it has non-negative local multiplicities
everywhere. Domains with zero local multiplicities everywhere correspond to constant
maps, which have µ(φ) = 0, and so they are not counted in the differential. Any other
such domain φ can be factored as φ = φ1 ∗ ... ∗ φm , where each φi is an empty rectangle.
Since µ is additive under composition, and µ(φi ) = 1 for what we said before, we
conclude that µ(φ) = m. Since the holomorphic strips counted in the differential have
Maslov index one, we conclude that only empty rectangles are counted in the differential.
Moreover, each such rectangle really appears in the differential from the first obervation,
completing the identification of b ∂2 with b ∂1 .
Since the Maslov and Alexander gradings transform the same in both theories, when
φ corresponds to an empty rectangle, it follows that the the identification of complexes
respects relative bigradings. In fact, the identification respects absolute bigradings, since
in both theories, the Alexander grading is normalized to be symmetric, and the Maslov
grading is normalized using the total homology of the complexes.
d ( L) is iso-
In particular, this means that the simply blocked grid homology group GH
[ ( L) as bigraded F-vector spaces. In light of this, from now on in this
morphic to HFL
[ ( L) for the homology of the chain complex GC
chapter we always write HFL c ( D ), b
∂1 .
Furthermore, we denote with HF
\ L( L) the filtered homology group GH(
d L) introduced
in Subsection 8.1.3.
We refer to Subsection 1.4.2 before for some remarks on filtered chain maps. Moreover,
we define the shifted complex C [[ a, b ]] = C 0 as F s Cd0 = F s−b Cd−a . Now, in order to prove
Equation (8.2), we need the following proposition.
109
Proposition 8.2.1 For any link L we have HF
\ L( L t ) ∼ = HF
\ L( L) ⊗ V, where V is the two
dimensional F-vector space with generators in grading and minimal level (d, s) = (−1, 0) and
(d, s) = (0, 0).
Proof. Take a grid diagram D for L. Then the extended diagram D, obtained from D by
adding one column on the left and one row on the top with a doubly-marked square in the
top left, represents the link L t . The circle in the doubly-marked square is forced to be
a special O-marking and we can also suppose that there is another special O-marking just
below and right of it, as shown in Figure 8.2.
X z
Let I ( D ) denote the set of those generators in S( D ) which have a component at the
lower-right corner of the doubly-marked square, and let N ( D ) be the complement of I ( D )
in S( D ). From the placement of the special O-markings, we see that N ( D ) spans a sub-
complex N in GC c ( D ). Moreover, if b c ( D ) and b
∂1 is the differential in GC c (D)
∂2 the one in GC
we can express the restriction of b ∂1 to the subspace I, spanned by I ( D ), with b ∂2 + b
∂N ; this
because there is a one-to-one correspondence between elements of I ( D ) and grid states in
S( D ). This correspondence induces a filtered quasi-isomorphism i : (I, b ∂2 ) → GC
c ( D ).
Define a map H : N → I by the formula
∑ ∑◦
O1 (r ) O (r )
H (x) = V1 · ... · Vm m y for any x ∈ N ( D ) .
y∈ I ( D ) r ∈Rect ( x,y)
O0 ∈r
We have that H is a filtered chain homotopy equivalence between (N, b ∂1 ) and (I, b
∂2 ), which
increases the Maslov grading by one, and H ◦ b ∂N = 0. To see the first claim, we mark the
b z : I → N, which counts
square just on the right of O0 with z and we define an operator H
only rectangles that contain z. This operator is a homology inverse of H; this and the
second claim can be proved in the same way as in [67]. Those two facts together tell us
CEU eTD Collection
∂N
b
I N
i i◦H
c (D) 0 c ( D ) [[ −1, 0 ]]
GC GC
110
the mapping cones
Cone(b c ( D ) −→ Cone(0) = GC
∂N ) = GC c (D) ⊗ V
is a filtered quasi-isomorphism and so the claim follows easily from Propositions 1.4.1 and
1.4.3. See also [67] for more details.
Equation (8.2) is obtained immediately from Proposition 8.2.1, in fact we have proved
that F s HF
\ Ld ( L t ) ∼ = F s HF
\ Ld ( L) ⊕ F s HF
\ Ld+1 ( L) for every d, s ∈ Z and so it is
enough to apply the definition of T.
Now we are able to do some computations. The homology of the unknot can be easily
computed by taking the grid diagram of dimension one, where the square is marked with
both X and O. The complex has one element of Maslov and Alexander grading 0; then
T (d, s) = 1 if (d, s) = (0, 0) and it is 0 otherwise.
Using Equation (8.2) we get the function T of the n-component unlink n :
n−1
if (d, s) = (−k, 0), 0 6 k 6 n − 1
T n (d, s) = k .
0 otherwise
We can also see this directly from Proposition 8.2.1, in fact we have that HF\ L( n ) ∼
=
V ⊗( n − 1 ) .
Now let us consider a grid diagram D of a link L. The Maslov grading of the elements
of S( D ) and the differential b
∂ are independent of the position of the X’s, once we have
fixed the special O-markings. Since we can always change the X-markings to obtain n ,
this means that dimF HF\ Ld ( L) = dimF HF
\ Ld ( n ) for every d ∈ Z and the generators
are the same. In particular
n −1 n −1
HF
\ L( L) ∼
=F HF
\ L( n)
∼
= F F2 and HF
\ Ld ( L) ∼
= F F( − d ) when 1 − n 6 d 6 0 .
Inthis subsection
we study what happens to the homology of the filtered chain com-
plex GC ( D ), ∂ if the grid diagram D has less than n special O-markings.
c b
Let us consider D a grid diagram for an n-component link L. The set sO ⊂ O contains
at most one O-marking from each component of L, but we have that |sO| > 1. Denote
with m = grd( D ) − |sO| the number of normal O-markings in D. Then we can define our
chain complex exactly in the same way as in Section 8.1; on the other hand, the homology
GH(
d D ) is no longer a link invariant, in fact it clearly depends of the choice of the special
O-markings.
Nonetheless, we can show that the F-vector space GH( d D ) is still finite dimensional.
Note that this is not true if instead we consider the bigraded simply blocked grid homology
d ( D ).
group GH
111
Proposition 8.2.2 The homology group GH(d D ), defined as in Subsection 8.1.3, is F-isomorphic
to GH
d |sO| , the homology of the unlink with | sO| components each containing a special O-
marking. In particular, we have that
|sO| |sO|−1
d D) ∼
GH( d d (D) ∼
=F F2 −1 and GH = F F( − d )
when 1 − |sO| 6 d 6 0.
Even though in this case the homology is no longer a link invariant, we can still prove
the following theorem.
Theorem 8.2.3 Let us consider two grid diagrams D1 and D2 representing smoothly isotopic links
L1 and L2 such that all the isotopic components both contain or not contain a special O-marking.
Then we have that GH(
d D1 ) is filtered isomorphic to GH(
d D2 ) and the isomorphism preserves the
Maslov grading.
Proof. From [82] we know that such two grid diagrams differ by a finite sequence of grid
moves: reordering of the O-markings, commutations and stabilizations. Then it is enough
to prove the theorem in the case when D2 is obtained from D1 by one of these three moves.
The maps that we defined in Chapter 5 can be arranged to give filtered quasi-
d D1 ) ∼
isomorphisms for each move. This implies that GH( = GH(
d D2 ). See also the results in
[67] to find the maps in the grids setting.
8.2.3 Symmetries
Reversing the orientation
If − L is the link obtained from L by reversing the orientation of all the components
CEU eTD Collection
then
T− L (d, s) = TL (d, s) for any d, s ∈ Z (8.3)
and τ (− L) = τ ( L).
To see this, consider a grid diagram D of L, then it is easy to observe that, if we reflect
D along the diagonal going from the top-left to the bottom-right of the grid, the diagram
D 0 obtained in this way represents − L. Hence, we take the map Φ : S( D ) → S( D 0 ) that
sends a grid state x into its reflection x − and now, from [67], we have that M( x − ) = M ( x )
and A( x − ) = A( x ). This means that Φ is a filtered quasi-isomorphism between GC c (D)
c ( D 0 ), since clearly the differentials commute with Φ.
and GC
This gives another proof that HF \ L(− L) ∼= HF
\ L( L) and then Equation (8.3) follows.
112
Mirror image
For an n-component link L we have that the function T of the mirror image L∗ is given
by the following equation
TL∗ (d, s) = TL (−d + 1 − n, −s) for any d, s ∈ Z . (8.4)
To see this, we first, given a complex C with a filtration F , introduce the filtered dual
complex C ∗ , equipped with a filtration F ∗ by taking
(F ∗ )s (C ∗ )d = Ann(F −s−1 C−d ) ⊂ (C−d )∗ = (C ∗ )d for any d, s ∈ Z ,
where Ann(F h Ck ) is the subspace of (Ck )∗ consisting of all the linear functionals that are
zero over F h Ck .
Second, given a grid diagram D of L, we call GC f ( D ), e
∂ the filtered chain complex
c ( D ), b
GC ∂
and we also denote with W the two dimensional F-vector space with
V1 = ... = Vm = 0
generators in grading and minimal level (d, s) = (0, 0) and (d, s) = (−1, −1).
Lemma 8.2.4 We have the filtered quasi-isomorphism
f (D) ∼
GC c ( D ) ⊗ W ⊗(grd( D)−n) ,
= GC (8.5)
where D is a grid diagram for an n-component link L.
Proof. Suppose that V1 and V2 are variables which belong to the same component of L.
Then it follows from [67, Lemma 14.1.11] that
c (D)
GC ∼ c (D) ⊗ W .
= GC
V1 = V2
Therefore, we conclude by iterating this procedure.
f ( D∗ ) ∼
GC f ∗ ( D ) [[ 1 − grd( D ), n − grd( D ) ]] ,
= GC
where the shifts are given by the fact that M( x ∗ ) = − M ( x ) + 1 − grd( D ) and A( x ∗ ) =
− A( x ) + n − grd( D ).
Now Lemma 8.2.4 and observing that
(W ∗ )⊗(grd( D)−n) ∼
= W ⊗(grd( D)−n) [[ grd( D ) − n, grd( D ) − n ]]
lead to the filtered quasi-isomorphism
c ( D∗ ) ∼
GC c ∗ ( D ) [[ 1 − n, 0 ]] .
= GC
113
∗
Proposition 8.2.5 says that F s HF
\ Ld ( L∗ ) ∼
= (F ∗ )s HF
\ L ( L) for every d, s ∈ Z.
d −1+ n
Then we can prove Equation (8.4):
∗
(F ∗ )s HF\ L ( L) Ann F −s−1 HF \ L − d +1− n ( L )
d −1+ n
TL∗ (d, s) = dim ∗ = dim =
∗
(F ) s − 1 HF L
\ ( L) Ann F − s HF
\ L ( L )
− d +1− n
d −1+ n
F −s HF
\ L − d +1− n ( L )
= dim = TL (−d + 1 − n, −s) .
F − s − 1 HF L−d+1−n ( L)
\
If we define τ ∗ ( L) as the unique integer such that TL (1 − n, τ ∗ ( L)) = 1 then we have
proved that
τ ( L∗ ) = −τ ∗ ( L) . (8.6)
In particular for a knot K, where τ ∗ (K ) = τ (K ), we have τ (K ∗ ) = −τ (K ). Moreover, we
have the following corollary.
Corollary 8.2.6 Suppose that L is smoothly isotopic to L∗ . Then,
TL∗ (d, s) = TL (d, s) for any d, s ∈ Z
1− n
and so Equation (8.4) gives that the function TL has a central symmetry in the point 2 ,0 . In
particular τ ∗ ( L) = −τ ( L) and, for knots, τ (K ) = 0.
Connected sum
Given two links L1 and L2 , the function T of the connected sum L1 # L2 is the convolu-
tion product of the T functions of L1 and L2 ; in other words
TL1 # L2 (d, s) = ∑ TL1 (d1 , s1 ) · TL2 (d2 , s2 ) for any d, s ∈ Z . (8.7)
d = d1 + d2
s = s1 + s2
This equation is very hard to prove in the grid diagram settings, but it can be proved using
the holomorphic definition of link Floer Homology, as we saw in Subsection 6.6.1. See also
[72].
We see immediately that the homology and the T function of L1 # L2 are independent
of the choice of the components used to perform the connected sum; moreover, the τ-
invariant is additive:
τ ( L1 # L2 ) = τ ( L1 ) + τ ( L2 ) .
CEU eTD Collection
Disjoint union
The disjoint union of two links L1 and L2 is equivalent to L1 # ( L2 t ). Thus by Equa-
tions (8.2) and (8.7) we have the following relation:
TL1 t L2 (d, s) = ∑ TL1 (d1 , s1 ) · TL2 (d2 , s2 ) + TL2 (d2 + 1, s2 ) for any d, s ∈ Z , (8.8)
d = d1 + d2
s = s1 + s2
or in other words HF \ ∼ HF
L( L1 t L2 ) = \ L( L1 ) ⊗ HF
\ L( L2 ) ⊗ V, where V is the two di-
mensional F-vector space with generators in grading and minimal level (d, s) = (−1, 0)
and (d, s) = (0, 0). We have immediately that
τ ( L1 t L2 ) = τ ( L1 # L2 ) = τ ( L1 ) + τ ( L2 ) .
114
Quasi-alternating links
We recall that quasi-alternating links are the smallest set of links Q that satisfies the
two properties:
1. the unknot is in Q;
The above definition and a result in [71] imply that every quasi-alternating link is non-split
and every non-split alternating link is quasi-alternating. Moreover, quasi-alternating links
are both Khovanov and link Floer homology thin, which means that their homologies are
supported in two and one lines respectively, and the homology is completely determined
by the signature and the Jones (Alexander in the hat version of link Floer homology) poly-
nomial. The following proposition says that the same is true in filtered grid homology.
n − 1 − σ( L)
TL (d, s) 6= 0 if and only if s = d + for 1 − n 6 d 6 0
2
where σ( L) is the signature of L.
8.3 Cobordisms
CEU eTD Collection
115
L1 L2
i) Identity cobordism. This cobordism, with no critical points (Figure 8.3), represents a
sequence of Reidemeister moves; in other words L1 and L2 are smoothly isotopic.
At the end of Section 8.1 we remarked that filtered homology is a link invariant; more
precisely what we have is a filtered quasi-isomorphism between GCc ( D1 ) and GC
c ( D2 ).
This, as we know, induces a filtered isomorphism in homology.
ii) Split cobordism. This cobordism (right in Figure 8.4) represents a band move when L2
has one more component than L1 . Take D1 with a 2 × 2 square with two X-markings,
one at the top-left and one at the bottom-right; then we claim that D2 is obtained from
D1 by deleting this two X-markings and putting two new ones: at the top-right and
the bottom-left, as shown in Figure 8.5. In order to construct the complex GCc ( D2 ) we
L1 L2 L1 L2
need to create one more special O-marking on the new component of L2 . To avoid this
problem we first consider the identity map in the filtered GC
f theory
f ( D1 ) −→ GC
Id : GC f ( D2 ) ,
which clearly is a chain map since now every O-marking is special; moreover, it in-
duces an isomorphism in homology, that preserves the Maslov grading, and a direct
computation gives that it is filtered of degree one.
Now we use Equation (8.5) and we get an isomorphism
ΦSplit : HF
\ L( L1 ) ⊗ W −→ HF
\ L( L2 )
that is a degree one filtered map which still preserves the Maslov grading. The W
116
X X
X X
factor appears because in Equation (8.5) we take into account the size of Di and the
number of components of Li ; while the first quantity is the same for both diagrams
the link L2 has one more component than L1 .
iii) Merge cobordism. This cobordism (left in Figure 8.4) represents a band move when L1
has one more component than L2 . We have an isomorphism
ΦMerge : HF
\ L( L1 ) −→ HF
\ L( L2 ) ⊗ W .
The map is obtained in the same way as ΦSplit in the previous case, but with the dif-
ference that now it is filtered of degree zero.
L1 L2
Sometimes we are more interested in when a split and a merge cobordism appear together,
the second just after the first, in the shape of what we call a torus cobordism (Figure 8.6).
We have the following proposition.
Proposition 8.3.1 Let Σ be a torus cobordism between two links L1 and L2 . Then Σ induces a
Maslov grading preserving isomorphism between HF
\ L( L1 ) and HF
\ L( L2 ), which is filtered of
degree one.
Proof. We can choose D1 in a way that the split and the merge band moves can be per-
formed on two disjoint bands. Then we apply twice the move shown in Figure 8.5 and we
take as map the identity. In this case the identity is a chain map because L2 has the same
number of components of L1 ; this means that the special O-markings in D1 and D2 are the
117
L2
L1
same and then the two differentials coincide. In this way we obtain an isomorphism in
homology with Maslov grading shift and filtered degree equal to the sum of the ones in ii)
and iii).
Since our cobordisms have boundary in both L1 and L2 , we can always assume that a birth
move is followed (possibly after some Reidemeister moves) by a merge move. Thus it is
enough to define a map for the composition of these three cobordisms and this is what we
do in the following proposition.
Proposition 8.3.2 Let Σ be a cobordism between two links L1 and L2 like the one in Figure
8.8. Then Σ induces an isomorphism ΦBirth between HF \L( L1 ) and HF
\ L( L2 ) that preserves
the Maslov grading and it is filtered of degree zero.
L2
L1
Proof. The first step is to construct a map s1 associated to the grid move shown in Figure
8.9; note that we add a normal O-marking, since later we merge the new unknot compo-
nent with an already exisiting one. Let us denote with D10 the stabilized diagram and with
c = α ∩ β the point in the picture; then we have the inclusion i : S( D1 ) → S( D10 ) that sends
a grid state x in D1 to the grid state in D10 constructed from x by adding the point c. Then
c ( D 0 ) is defined by the following formula:
c ( D1 ) → GC
s1 : GC 1
∑0 ∑
n (H) n (H)
s1 ( x ) = V1 1 · ... · Vmm y for any x ∈ S( D1 )
y∈S( D1 ) H ∈SL(i ( x ),y,c)
H ∩sO=∅
where SL( x, z, p) is the set of all the snail-like domains, the exact definition can be found
118
c X
α
D1
D1
Figure 8.10: Some of the snail-like domains SL( x, z, p): the coordinates of x and z are
represented by the white and black circles.
HF
\ L( L2 ) that clearly preserves the Maslov grading and again we easy compute that it is
filtered of degree zero.
Hence, the composition of these three maps induces the isomorphism in the claim.
v) Death cobordism. This cobordism (Figure 8.11) represents a death move. Since this move
CEU eTD Collection
can also be seen as a birth move between L2∗ and L1∗ , we take the dual map of
ΦBirth : HF
\ L( L2∗ ) −→ HF
\ L( L1∗ )
which exists from Proposition 8.3.2; then ΦBirth
∗ = ΦDeath , by Proposition 8.2.5, is a
map between HF L( L1 ) and HF L( L2 ). Furthermore, it is still an isomorphism that is
\ \
filtered of degree zero and preserves the Maslov grading.
The results for birth and death cobordisms in this section immediately give the following
corollary.
Corollary 8.3.3 Suppose there is a birth or a death cobordism as in Figures 8.8 and 8.11 between
two links L1 and L2 . Then we have that HF
\ L( L1 ) ∼
= HF
\ L( L2 ).
119
L1
L2
handles come later; moreover, we can say that Σ is the composition of birth, torus and
death cobordisms (and obviously some identity cobordisms). Each of these induces an
isomorphism in homology that also respects the Maslov grading.
For the first part, we only need to check what is the filtered degree of the isomorphism
between HF\ L( L1 ) and HF
\ L( L2 ), obtained by the composition of all the induced maps on
each piece of Σ. Birth, death and identity are filtered of degree zero, while, from Corollary
8.3.5, the torus cobordisms are filtered of degree g(Σ). Then we obtain
τ ( L2 ) 6 τ ( L1 ) + g ( Σ ) .
For the other inequality we consider the same cobordism, but this time from L2 to L1 .
Now, for the second part, we observe that now there are no torus cobordisms and then
the claim follows from Corollary 8.3.3.
120
8.3.3 A lower bound for the slice genus
Suppose Σ is a cobordism (not necessarily strong) between two links L1 and L2 . Denote
with Σ1 , ..., Σ J the connected components of Σ. For i = 1, 2 we define the integers lik (Σ) as
the number of components of Li that belong to Σk minus 1; in particular lik (Σ) > 0 for any
J
k, i. Finally, we say that li (Σ) = ∑ lik (Σ) = ni − J, where ni is the number of component
k =1
of Li . For example, if Σ is the cobordism in Figure 8.12 then J = 2, ordering Σ1 and Σ2
from above to bottom, we have that l1 (Σ) = 3 and l2 (Σ) = 4; while l11 (Σ) = 2, l12 (Σ) = 1,
l21 (Σ) = 3 and l22 (Σ) = 1. We have the following lemma.
Lemma 8.3.7 If Σ has no 0,2-handles then, up to rearranging 1-handles, we can suppose that Σ
is like in Figure 8.12: there are l1 (Σ) merge cobordisms between (0, t1 ), l2 (Σ) split cobordisms
between (t2 , 1) and g(Σ) torus cobordisms between (t1 , t2 ). We have no other 1-handles except for
the ones we considered before.
L2
L1
0 t1 t2 1
Figure 8.12: An example of a cobordism between two links after rearranging handles.
Proof. We consider a connected component Σk , which is a cobordism between L1k and L2k ,
and we fix a Morse function f : S3 × [0, 1] → [0, 1]. After some Reidemeister moves, from
CEU eTD Collection
[67] we know that we can assume that all the band moves are performed on disjoint bands,
in particular we can apply them in every possible order.
Since Σk has boundary in both L1k and L2k by the definition of cobordism given at begin-
ning of Section 1.3, if we take an ordering for the components of L1k , we can find a merge
cobordism joining the first and the second component of L1k at some point t in (0, 1); we
assume that the associated band move is the first we apply on L1k . Now we just do the same
thing on the other components, but taking the new component instead of the first two. In
this way we have that there is a t1 ∈ (0, 1) such that Σk ∩ f −1 [0, t1 ] is composed by l1k (Σ)
merge cobordisms and Σk ∩ f −1 (t1 ) is a knot.
In the same way we find that, for a certain t2 ∈ (0, 1), the cobordism Σk ∩ f −1 [t2 , 1] is
composed by l2k (Σ) split cobordisms and Σk ∩ f −1 (t2 ) is a knot.
121
At this point Σk ∩ f −1 [t1 , t2 ] is a knot cobordism of genus g(Σk ) and from [67], see also
[51], we can rearrange the saddles to obtain a composition of g(Σk ) torus cobordisms like
in Figure 8.12.
To see that there are no other 1-handles left it is enough to compute the Euler charac-
teristic of Σk :
This means that the number of 1-handles in Σk is precisely 2g(Σk ) + l1k (Σ) + l2k (Σ).
From Figure 8.12 we realize that merge and split cobordisms can appear alone in Σ
and not always in pair like in strong cobordisms. In case ii) and iii) of Subsection 8.3.1
we see that they do not induce isomorphisms in homology, but we find maps ΦSplit and
ΦMerge that are indeed isomorphisms if restricted to HF
\ L0 ( L1 ) → HF
\ L0 ( L2 ); moreover,
the filtered degree is one for split cobordisms and zero for merge cobordisms. Since we
are looking for information on τ, this is enough for our goal and then we can prove the
following inequality.
Proof. From Corollary 8.3.3 and Theorem 8.3.6, we can suppose that there are no 0 and no
2-handles in Σ. We can also assume that Σ is like in Lemma 8.3.7.
All of these cobordisms induce isomorphisms of the homology in Maslov grading zero.
The number of torus cobordisms is g(Σ) while the number of split cobordisms (that are not
part of torus cobordisms) is l2 (Σ). This means that
τ ( L 2 ) 6 τ ( L 1 ) + g ( Σ ) + l2 ( Σ ) .
Now we do the same, but considering the cobordism going from L2 to L1 , as we did in the
proof of Theorem 8.3.6. We obtain that
τ ( L 1 ) 6 τ ( L 2 ) + g ( Σ ) + l1 ( Σ ) .
Putting the two inequalities together proves the relation in the statement of the theorem.
CEU eTD Collection
|τ ( L)| + 1 − n 6 g4 ( L) (8.9)
which, as we already said, is a lower bound for the slice genus of our link. Indeed, we can
say more by using Equation (8.6) and observing that g4 ( L∗ ) = g4 ( L):
122
8.4 The HF L− version of the homology
8.4.1 A different point of view
The collapsed filtered homology cHF L− can also be obtained from a grid diagram D
as the free F[V1 , ..., Vgrd( D)−n , V ]-module generated by the set of grid states S( D ). This ring
has one more variable V, compared to the ring we considered for GC c ( D ), associated to the
−
special O-markings. The differential ∂ is defined as following:
∑ ∑◦
O1 (r ) O (r )
∂− x = V1 · ... · Vm m · V O(r) y for any x ∈ S( D )
y∈S( D ) r ∈Rect ( x,y)
we did in Subsection 8.2.1 for τ. A version of the ν-invariant has been introduced first by
Rasmussen in [78] and he proved that it is a concordance invariant for knots. In [45] Hom
and Wu found knots whose ν-invariant gives better lower bound for the slice genus than
τ.
Since H∗,∗ gr(cGC − ( D ), ∂− ) is isomorphic to the homology cGH − ( L) ∼= cHFL− ( L)
−
of [67, 72] and NL (0, ν( L)) = 1 for every diagram D of L, we have that cHFL0,ν ( L)
( L) is
non-trivial. Hence, if the homology group cHFL0− ( L) is non-zero only for one Alexander
grading s, we can argue that ν( L) = s. This method can be used to compute the ν-invariant
of some links.
We can also definethe (uncollapsed) filtered link Floer homology as the homology of the
complex GC − ( D ), ∂− , where GC − ( D ) is the free F[V1 , ..., Vgrd ( D) ]-module over the grid
states of D; there are no special O-markings this time.
123
We see immediately that for every n-component link L is
HF L− ( L) ∼
= F[U1 , ..., Un ]
with generator in Maslov grading zero, but the filtration will of course depend on L.
Theorem 8.4.1 For an n-component link the τ-set, defined in [67] as -1 times the Alexander grad-
ings of a homogeneous, free generating set of the torsion-free quotient of cHFL− ( L) as an F[U ]-
module, coincides with the 2n−1 (with multiplicity) values of s where the function T is supported.
Proof. We use the complex cGC − to show that, for every n-component link L, an integer
s gives Td,s ( L) 6= 0 for some d if and only if s belongs to the τ-set of L. To do this, given
C a freely and finitely generated F[U ]-complex, we define two set of integers: τ (C) and
t(C). First we call Bτ (C) a homogeneous, free generating set of the torsion-free quotient
of H∗,∗ (gr(C)) as an F[U ]-module; then τ (C) is the set of s ∈ Z such that there is a [ p] ∈
Bτ (C) with bigrading (d, −s) for some d ∈ Z. Similarly, t(C) is the set of the integers s
such that the inclusion
C C
s −1 s
is : F H∗ ,−→ F H∗
U=0 U=0
is not surjective. Note that the set Bτ (C) is not unique, but τ (C) and t(C) are well-defined.
We say that s ∈ τ (C) has multiplicity k if there are k distinct elements in Bτ (C) with
bigrading (∗, −s), while a number u ∈ t(C) has multiplicity k if Coker iu has dimension k
as an F-vector space.
Clearly, if D is a grid diagram of L, t cGC − ( D ) is the set of the values of s where
the function TL is supported; moreover, we already remarked that H∗,∗ (gr (cGC − ( D )))
is isomorphic to cHFL− ( L) and then τ cGC − ( D ) is the τ-set of L. Hence our goal is to
f (D) ∼ F 0,s C 0
F s GC = −1,s 0 .
F C
124
Since, from [67], it is F x,y C 0 ∼
= F y,x C 0 for every x, y ∈ Z, then we have that
C ∼ sf F s,0 C 0
Fs = F GC ( D )J1 − n − m, −mK ∼
= s,−1 0 . (8.10)
U=0 F C
Using this identification we obtain that t(C) coincides with set of s ∈ Z such that the map
s−1,0 0 s,0 0
F C F C
H∗ ,−→ H∗ (8.11)
F s−1,−1 C 0 F s,−1 C 0
is not surjective.
M F 0,t C 0
Now we consider the complex gr(C), which is equal to . We have that the
t ∈Z
F 0,t−1 C 0
map
F 0,t C 0 F −t,0 C 0
Ut : −→
F 0,t−1 C 0 F −t,−1 C 0
F − t,0 C 0 F ∗,0 C 0
is an isomorphism and −t,−1 0 is a subspace of ∗,−1 0 for every integer t. From a
F C F C
gr(C)
result in [67] the latter filtered complex is isomorphic to , but it is also isomorphic to
U=1
f ( D )J1 − n − m, −mK for Equation (8.10). In this way we can define a surjective map
GC
gr(C)
Ψ : gr(C) −→
U=1
and it is easy to see that Ψ (Bτ (C)) is still a homogeneous, free generating set of the homol-
ogy; furthermore, if [ p] is a torsion element in H∗,∗ (gr(C)) then [Ψ( p)] = [0]. This means
that τ (C) is the set of −t ∈ Z such that the map
−t−1,0 0 −t,0 0
F C F C
H∗ ,−→ H∗ (8.12)
F −t−1,−1 C 0 F −t,−1 C 0
is not surjective.
If we change −t with s in Equation (8.12) then we immediately see that it coincides
with Equation (8.11) and so τ (C) = t(C). Moreover, we can say that an integer in τ (C) has
multiplicity k if and only if it has multiplicity k in t(C). Finally, since the map U t drops the
Maslov grading by 2t, we have that if there is a [ p] ∈ Bτ (C) with bigrading (d, s) then there
is a generator of GH(
g D )J1 − n − m, −mK with grading and minimal level (d − 2s, −s).
The second and final step is to show that the previous claim implies t cGC − ( D ) =
−
cGC ( D ) ⊗ W ⊗ m ∼
and C = cGC ( D ) ⊗ (W ) , where W is the two dimensional F-vector
− ∗ ⊗ m
space with generators in grading and minimal level (d, s) = (0, 0) and (d, s) = (−1, −1).
Thus t cGC − ( D ) and τ cGC − ( D ) are completely determined by τ (C) and t(C), so this
means that they coincide and the proof is complete. Obviously, the conclusions about
multiplicities and Maslov shifts are still true.
From [67] we know that there is only one element [ p] ∈ Bτ (cGC − ( D )) with bigrading
(−2τ1 , −τ1 ) and only another one [q] with bigrading (−2τ2 + 1 − n, −τ2 ). Then the proof
of Theorem 8.4.1 implies that there are two non-zero elements in HF \ L( L) in grading and
minimal level (0, τ1 ) and (1 − n, τ2 ). Since, from the definition of τ and τ ∗ , we also know
that there are only two generators of HF \ L( L) in Maslov grading zero and 1 − n; we have
the following corollary.
125
Corollary 8.4.2 Take a grid diagram D of an n-component link L and consider a set
Bτ (cGC − ( D )). If [ p], [q] ∈ Bτ (cGC − ( D )) are such that [ p] is in bigrading (−2τ1 , −τ1 ) and
[q] is in bigrading (−2τ2 + 1 − n, −τ2 ) then τ ( L) = τ1 and τ ∗ ( L) = τ2 .
8.5 Applications
8.5.1 Computation for some specific links
In general it is hard to say when a sum of grid states is a generator of the homology,
but the following lemma provides an example where we have useful information.
Lemma 8.5.1 Suppose L is an n-component link with grid diagram D and x ∈ S( D ) as in Figure
8.13. Then [ x ] is always the generator of HF
\ L0 ( L) and cHF L0− ( L). Furthermore, τ ( L) =
ν ( L ) = A ( x ).
Suppose the claim is true for the diagrams with dimension equal or smaller than α and
let grd( D ) = α + 1. We denote with I ( D ) ⊂ S( D ) the subset of grid states that contain
the point (0, α) as in Figure 8.14. Every y ∈ I ( D ) is the extension of a grid state y0 of
the diagram D 0 obtained by removing the first column and the last row from D. By
the inductive hypothesis we have M(y) = −1 + M(y0 ) 6 −1.
Now it easy to see that every other z ∈ S( D ) is obtained by a rectangle move from a
y ∈ I ( D ). Then, if r is the rectangle, we have
126
(0, α)
In Lemma 8.5.1 we used that the grid diagram D has all the O-markings aligned on a
diagonal. It is easy to see that if a link admits such a diagram then it is positive. On the
other hand, it seems difficult for the converse to be true.
X
X p
X
X
X
X q
X
If we denote with n the number of components of Tq,p then a simple computation gives
1 1
CEU eTD Collection
A( x ) = M ( x ) − MX ( x ) − grd( Dq,p ) + n = (− MX ( x ) − p − q + n) =
2" # 2
q −1
1 1
= 2 ∑ i + q ( p − q + 1) − p − q + n = [ q ( q − 1) + q ( p − q + 1) − p − q + n ] =
2 i =1
2
1 ( p − 1)(q − 1) − 1 + n
= ( pq − p − q + n) = .
2 2
Now we use Lemma 8.5.1 again and obtain that
( p − 1)(q − 1) − 1 + n
τ ( Tq,p ) = .
2
127
Using the lower bound of Equation (8.9) gives a different way to compute the slice genus
of a torus link with respect to what we did in [8]:
( p − 1)(q − 1) 1 − n ( p − 1)(q − 1) + 1 − n
g4 ( Tq,p ) > − +1−n = .
2 2 2
Since the Seifert algorithm applied to the standard diagram of Tq,p gives the opposite in-
equality, we conclude that
( p − 1)(q − 1) + 1 − n
g4 ( Tq,p ) = for any q 6 p .
2
where
1
tbi (L) = wr(Di ) + lk (Di , D \ Di ) − |cusps in Di |
2
and
1
roti (L) = |down-ward cusps in Di | − |up-ward cusps in Di | .
2
More information can be found in Section 3.2.
Proposition 8.5.2 Consider a Legendrian n-component link L of link type L in S3 equipped with
the standard contact structure. Then the following inequality holds:
Proof. If L is a Legendrian link then, from [67], we know that L can be represented by a
grid diagram D of the link L∗ (the mirror of L). This diagram D is such that
2 2
tb(L) − rot(L) + 1 = M( x + ) tb(L) + rot(L) + 1 = M ( x − ) ,
where x ± are the grid states in D obtained by taking a point in the northeast (southwest for
x − ) corner of every square decorated with an X ∈ X. Moreover, Ai is defined as follows:
grd( D )i − 1
1
A i ( x ) = J x − ( X + O ) , ( Xi − Oi ) − for any x ∈ S( D )
2 2
with Oi ⊂ O and Xi ⊂ X the markings on the i-th component of L∗ and grd( D )i the
number of elements in Oi .
In [67] is proved that x ± represent non-torsion elements in the homology group
cHFL− ( L∗ ); in fact these classes are the Legendrian grid invariants λ± (L). Since A( x ) =
128
n
∑ Ai (x) for every grid state x, we have that M (x± ) = 2A (x± ) + 1 − n. Therefore, Corol-
i =1
lary 8.4.2 implies that A ( x ± ) 6 −τ ∗ ( L∗ ). Combining the latter claim with Corollary 8.2.6,
that gives τ ∗ ( L∗ ) = −τ ( L), we have
tb(L) ∓ rot(L) + n
= A( x± ) 6 τ ( L)
2
that is precisely Equation (8.13).
From Equation (8.13), together with Equation (8.9), we obtain the following lower
bound for the slice genus:
n .
Figure 8.16: A diagram of the link L919
From Equation (8.13) we also have the following upper bound for the maximal
Thurston-Bennequin number.
CEU eTD Collection
TB( L) 6 2τ ( L) − n .
TB( L) 6 −1 − σ( L) .
Although this bound is much less powerful than the Kauffmann or the HOMFLY poly-
nomial, we can still get some interesting conclusions.
Consider a Legendrian link L such that each component Li is algebraically unlinked.
Then tbi (L) = tb(Li ) and so tb(L) is precisely the sum of the Thurston-Bennequin num-
bers of its components. For example this happens for the Borromean link B, whose com-
ponents Bi are three (algebraically unlinked) unknots. It was shown in [61] that there is no
129
−2k +2k
Proposition 8.5.4 The links Lk in Figure 8.17 are a family of two component links, whose compo-
nents Lik are unknots with linking number zero, such that TB( Lk ) is arbitrarily small.
Proof. Since for every k > 0 the link Lk is non-split alternating, we can easily compute
the signature that is equal to 3 + 2k. Now we apply Proposition 8.5.3 and we obtain that
TB( Lk ) 6 −4 − 2k.
As a final obervation, we note that the same argument used by Baldwin, Vela-Vick and
Vértesi in [3] gives that the invariant L( L) defined in Chapter 6, for Legendrian links in
the standard contact 3-sphere, coincides with the grid invariant λ+ ( L) of [67].
CEU eTD Collection
130
Chapter 9
where σj for j = 1, ..., d − 1 are the generators of the d-braids group that we defined in
Subsection 3.4.2. Thus quasi-positive links are closures of braids consisting of arbitrary
conjugates of positive generators.
It is worth noting that quasi-positive links are equivalent to another, more geometric
class of links: the transverse C-links. These links arise as the transverse intersection of the
3-sphere S3 ⊂ C2 , with a complex curve. Transverse C-links include links of isolated curve
singularities, but are in fact a much larger class. The fact that quasi-positive links can be
realized as transverse C-links is due to Rudolph [80], while the fact that every transverse
C-link is quasi-positive is due to Boileau and Orekov [6].
Given a quasi-positive braid B = (w1 σj1 w1−1 ) · ... · (wb σjb wb−1 ), we can associate to B a
surface Σ B as follows. Let us consider the braid B0 , obtained by removing the σji ’s from
B B0
CEU eTD Collection
ΣB
r1 r2
Figure 9.1: The disk Σ B constructed from the quasi-positive braid B, representing the un-
knot. The segments r1 and r2 are ribbon intersections.
131
the presentation of B. Then B0 is the boundary of d disks with some ribbon interesctions
between themselves. If we push these disks in the 4-ball D4 then the intersections disap-
pear and we obtain a surface which is properly embedded in D4 . At this point, we add b
positive bands in correspondence of the σji ’s; the result is an oriented and compact surface
that is not embedded in S3 , but it is properly embedded in D4 , whose boundary is clearly
the closure of the braid B. See Figure 9.1 for an example.
A connected transverse C-link is a link which is the closure of a quasi-positive braid B
such that Σ B is connected. Then we have the following proposition.
Proof. Suppose that B is a quasi-positive braid, presented as before, such that Σ B is con-
nected and its closure L is a split link. Then we can write L = L1 t L2 and Li is the closure
of the subbraid Bi for i = 1, 2.
Since lk( L1 , L2 ) = 0, we have that the arcs corresponding to the σji ’s both belong to
B1 or B2 . Therefore, there is no positive band connecting a disk, which appears in the
construction of Σ B1 , with the ones in Σ B2 . This implies that Σ Bi is a connected component
of Σ B for i = 1, 2 and this is a contradiction.
tb(L) + | rot(L)| 6 2τ ( L) − n ,
where L is an n-component Legendrian link in the tight 3-sphere. From this result we
obtain the following corollary.
Corollary 9.1.2 Suppose that L is an n-component Legendrian link in (S3 , ξ st ) with smooth link
type L. Then we have that
Proof. The first two inequalities follow from Proposition 3.3.2 and Equation (8.13). The last
one is a consequence of Proposition 8.3.8.
CEU eTD Collection
Theorem 9.1.3 Suppose that L is an n-component quasi-positive link in S3 . Then we have that
b−d+n
SL( L) = b − d and τ ( L) = ,
2
where L is the closure of a quasi-positive d-braid B = (w1 σj1 w1−1 ) · ... · (wb σjb wb−1 ).
132
Proof. As we saw in Subsection 3.4.2, the braid B determines a transverse link T in (S3 , ξ st )
and
sl(T ) = wr( B) − d = b − d .
Then from Theorem 6.6.5 and Equation (9.1) we have that
sl(T ) 6 SL( L) 6 2τ ( L) − n 6 −χ(Σ B ) = b − d
and these inequalities are all equalities.
When we consider connected surfaces, the inequality in Equation (9.1) becomes
sl(T ) 6 2τ ( L) − n 6 2g4 ( L) + n − 2 , (9.2)
for every n-component transverse link T in (S3 , ξ st ), with link type L, and where we recall
that g4 ( L) is the minimal genus of a compact, oriented surface Σ properly embedded in D4
and such that ∂Σ = T , see Section 1.3. Then we have the following proposition.
Proposition 9.1.4 Suppose that L is an n-component link, embedded in S3 , which is a connected
transverse C-link. Then we have that τ ( L) = g4 ( L) + n − 1.
Proof. The claim follows from the same argument in the proof of Theorem 9.1.3 and Equa-
tion (9.2).
An implication of this proposition is the additivity of the slice genus under connected
sums.
Corollary 9.1.5 The slice genus g4 is additive under connected sums if we restrict to the family of
connected transverse C-links.
Proof. If L1 and L2 are two connected transverse C-links then it is easy to see that every
connected sum L = L1 # L2 has the same property. In fact, take two quasi-positive braids,
representing L1 and L2 ; then L is obtained by putting the second below the first one and
adding a positive band between the components that we want to sum, say the i-th and the
j-th ones with i < j. This move can be seen as the composition of B with wσj−1 w−1 for
some w and then the resulting braid is still quasi-positive.
Therefore, Proposition 9.1.4 gives that τ ( Li ) = g4 ( Li ) + ni − 1, where ni are the num-
ber of components of Li for i = 1, 2. Moreover, what we said before also implies that
τ ( L) = g4 ( L) + (n1 + n2 − 1) − 1. At this point, we use that the invariant τ is additive
under connected sums of links, see Equation (8.7) in Subsection 8.2.3, and then the proof
is complete.
In Theorem 9.1.3 we showed a way to compute the τ-invariant for quasi-positive links,
CEU eTD Collection
using braids. It is known that a similar formula holds for the Rasmussen link invariant s,
see [76, 83]. Then we can prove Proposition 9.1.6, which says that the two invariants are
related to each other in this case.
Proposition 9.1.6 Take an n-component quasi-positive link L in the 3-sphere. Then the invariant
τ ( L) from link Floer homology and the invariant s( L) from Khovanov homology satisfy the relation
s( L) = 2τ ( L) + 1 − n .
Proof. The invariant s( L) can be computed from a quasi-positive braid B, presented as
usual in this section, in the following way:
s( L) = b − d + 1 .
This is proved in [76, 83]. Then the statement follows immediately from Theorem 9.1.3.
133
9.2 Strongly quasi-positive links
We apply the results obtained in Chapter 8 and in the previous subsection to recompute
the invariant tau for strongly quasi-positive links in S3 . A link L ,→ S3 is strongly quasi-
positive if it is the boundary of a quasi-positive surface F. Such surfaces are constructed
Figure 9.2: The quasi-positive surface determined by d = 4 and ~b = (σ13 , σ24 , σ13 , σ24 ).
in the following way: take d disjoint parallel, embedded disks, all of them oriented in the
same way, and attach b negative bands on them, each one between a pair of distinct disks.
This procedure is shown in Figure 9.2. The negative bands cannot be knotted with each
other; this means that, up to isotopy, F only depends on the number d and the ordered
b-tuple ~b = (σi1 j1 , ..., σib jb ), where σij denotes that a negative band is put between the i-th
and the j-th disk with i < j.
Denote with σ1 , ..., σd−1 the generators of the d-braids group. Then it is easy to see that
the boundary of the quasi-positive surface (1, σij ) is isotopic to the closure of the d-braid
given by
(σi · · · σj−2 )σj−1 (σi · · · σj−2 )−1 if j > i + 2
(
;
σi if j = i + 1
see [44] for more details. This immediately implies that strongly quasi-positive links are
quasi-positive.
Suppose S3 is equipped with its unique tight contact structure ξ st and L ,→ (S3 , ξ st )
CEU eTD Collection
is an n-component transverse link with smooth link type L. Then we have the following
corollary.
Corollary 9.2.1 Suppose that T is an n-component transverse link in (S3 , ξ st ) with smooth link
type L. Then we have that
sl(T ) 6 2τ ( L) − n 6 k Lk T − o ( L) ,
Proof. The first inequality follows immediately from Equation (9.2). For the second one we
[ ∗,∗ ( L) is non-zero in
apply Theorem 2.1.2; in fact, it is known, see [67], that the group HFL
bigrading (0, τ ( L)).
134
We recall that k Lk T is the Thurston norm of L, see Chapter 2. Then we can now prove
the following theorem.
Theorem 9.2.2 Consider a strongly quasi-positive link L with n components in S3 . Then the
Thurston-Bennequin inequality is sharp for L, in the sense that there exists a transverse represen-
tative T of L such that
sl(T ) = 2τ ( L) − n = k Lk T − o ( L) = −χ( F ) ,
where o ( L) is the number of disjoint unknots in L and F is a quasi-positive surface for L. In
i
i
j j
Figure 9.3: Transverse realization of L1 .
particular
k LkT − o ( L) + n b−d+n
τ ( L) = = ,
2 2
where F consists of d disks and b negative bands.
Proof. From Lemma 2.2.5 and Corollary 9.2.1 it is enough to show that, given a quasi-
positive surface F whose boundary is L, we can find a transverse link T , with smooth link
type L, such that sl(T ) = b − d.
Let us start with the d parallel disks in F and see what happens when we attach the
first negative band. The surface we obtain is the quasi-positive surface determined by d
and ~b = (σij ), where i < j correspond to the disks on which we glue the negative band,
and we call L1 its boundary.
At this point, we choose a transverse representative of L1 as shown in Figure 9.3. Then
T is defined by iterating this procedure with all the b bands and, since we computed its
self-linking number in the previous section, we obtain that
sl(T ) = b − d .
This proves the claim.
CEU eTD Collection
Since we remarked in the proof of Corollary 9.2.1 that HFL [ 0,τ ( L) ( L) 6= {0}, Theorems
2.1.2 and 9.2.2 tell us that for strongly quasi-positive links
n o
τ ( L) = max s ∈ Z | HFL
[ ∗,s ( L) 6= {0} .
Furthermore, applying Lemma 2.2.5 to Theorem 9.2.2, we can say more when the link L
also bounds a connected quasi-positive surface, that we call quasi-positive Seifert surface for
L.
Corollary 9.2.3 If L is a link as in Theorem 9.2.2, which also admits a quasi-positive Seifert surface
F 0 , then we have that
τ ( L ) = g3 ( L ) + n − 1 = g ( F 0 ) + n − 1 ,
where g3 ( L) is the Seifert genus of L.
135
This corollary implies that all the quasi-positive Seifert surfaces of a given link have
the same genus. Moreover, we observe that not every strongly quasi-positive link admits
a quasi-positive Seifert surface. In fact, the 4-component link L in Figure 9.2 is such that
τ ( L) = 2 from Theorem 9.2.2, but L has Seifert genus zero: to see this it is enough to add a
tube between disks 1 and 2 in Figure 9.2. Then we have that
2 = τ ( L ) 6 = g3 ( L ) + n − 1 = 3
and so this would contradict Corollary 9.2.3. This argument also implies the following
corollary.
Corollary 9.2.4 The link L in Figure 9.2 is non-split quasi-positive, but it is not a connected
C-transverse link.
Proposition 9.3.1 (Kálmán) Suppose that L is an n-component link in S3 with a positive diagram
D. Then we have that
TB( L) = c( D ) − k ( D ) ,
where c( D ) and k ( D ) are the numbers of crossings in D and of circles in the oriented resolution of
D.
Corollary 9.3.2 Suppose that L is a link as in Proposition 9.3.1 with split components L1 , ..., Lr .
Then we have that
TB( L) = 2τ ( L) − n = 2g3 ( L) + n − 2r .
When a link has a diagram D which is positive, the oriented resolution defined in Sub-
section 1.2.2 happens to possess some peculiar properties. Let us start with the following
lemma.
Lemma 9.3.3 Suppose that D is a positive diagram for a link L and consider D 0 ⊂ D a subdiagram,
which represents a split component L0 of L.
Then the surface F 0 , obtained from the oriented resolution of D 0 , is contained as subset in F, the
one obtained in the same way from D.
136
Proof. The surface F 0 is completely determined by K 0 , the collection of circles in the ori-
ented resolution of D 0 , and the crossings in D 0 . Denote with K the circles in the oriented
resolution of D. If C ∈ K 0 then C ∈ K; this is because lk( L0 , L \ L0 ) = 0, since L0 is a split
component of L. Therefore, there is no crossing between D 0 and D \ D 0 , because D is posi-
tive, and then neither between K 0 and K \ K 0 . Moreover, the crossings in D 0 also appear in
D because D 0 is a subdiagram of D.
It follows that F 0 ⊂ F and F \ F 0 is precisely the surface obtained from the oriented
resolution of D \ D 0 . This appears clearly from Figure 1.7.
Lemma 9.3.4 Suppose that D is a positive diagram for a link L = L1 t ... t Lr , where { Li }ri=1 are
the split components of L.
Then the surface F, obtained from the oriented resolution of D, can be isotoped into F1 t ... t Fr ;
where each Fi is a Seifert surface for Li . Furthermore, Fi is obtained from the oriented resolution of
Di ⊂ D, the subdiagram representing Li , for every i = 1, ..., r.
Proof. Let us work on the case when L is non-split first. The surface F is compact and
oriented, but now it is also connected; in fact, otherwise we could write D = D1 ∪ D2
where there is no crossing between D1 and D2 . This implies that, if D ⊂ {z = 0} in R3 , we
could push D2 up in the plane {z = 1} and then move it away from D1 . This determines
an isotopy of S3 and then L would be split, which is a contradiction.
Now, for the general case, we observe that, from Lemma 9.3.3 and the non-split case we
did before, the surface F possesses as connected components the surfaces { Fi }ri=1 each one
being a Seifert surface for Li ; moreover, the Fi ’s are obtained from the oriented resolution
of the subdiagrams Di ⊂ D that represent Li for i = 1, ..., r.
We want to isotope F in a way that it becomes the disjoint union of F1 , ..., Fr . To do
this we consider the planar subspaces D and {Di }ri=1 of R2 , associated to D and { Di }ri=1
respectively as in Subsection 1.2.2, and we call Fi an innermost component of F if only one
component of R2 \ Di intersects F. Hence, we reason in the same way as before and we
push Fi slightly up from the plane and move it away from F \ Fi . We repeat this procedure
for all the components of F and at the end the surface will be as we wanted.
Proof of Proposition 9.3.1 and Corollary 9.3.2. We suppose first that L is a non-split link. Then
from Corollaries 9.1.2 and 9.2.1 we know that each Legendrian representative of L satisfies
CEU eTD Collection
where F is the surface obtained from the oriented resolution of D, which is a Seifert surface
for Lemma 9.3.4. The first equality follows from the fact that a non-split positive link
admits a quasi-positive Seifert surface and Corollary 9.2.3.
We define the Legendrian link L in the following way. Let us consider the planar
subspace D of R2 , associated to D, and the set K consisting of the circles in the oriented
resolution. We isotope the circles in K, starting from the innermost ones, until they have
only two vertical tangency points, one on the left and the other one on the right of the
circle. At this point, we isotope D in a way that the lines between the circles in K appear
137
D
vertical in the plane, see Figure 9.4; this is done by moving the innermost ones first as
before, more details can be found in [49].
Then we just change the vertical tangencies into cusps and the vertical lines into cross-
ings; we obtain the front projection of a Legendrian link because D is positive and then
all the lines correspond to negative bands. An easy computation gives that tb(L) =
c( D ) − k ( D ) and rot(L) = 0, which means that all the inequalities in Equation (9.3) are
equalities.
Suppose now that L = L1 t ... t Lr . Take the Legendrian links Li , representing Li
for i = 1, ..., r, defined following the same procedure as before and denote with L the
Legendrian link L1 t ... t Lr . Then we have that
r r
tb(L) = ∑ tb(Li ) = ∑ c( Di ) − k( Di ) = c( D) − k( D) , (9.4)
i =1 i =1
where Di ⊂ D is the subdiagram representing Li . Here the final equality follows from
Lemma 9.3.4. The Thurston-Bennequin inequality in Corollary 9.2.3 again gives
r
tb(L) 6 TB( L) 6 2τ ( L) − n = k Lk T − o ( L) 6 ∑ (2g3 ( Li ) + ni − 1) 6
i =1
r
(9.5)
6 − ∑ χ( Fi ) = c( D ) − k( D ) ,
CEU eTD Collection
i =1
where Fi are the Seifert surfaces obtained from the oriented resolution of Di for i = 1, ..., r,
the number o ( L) tells us how many disjoint unknots there are in L and ni is the number
of components of each Li . We also used Proposition 2.2.2. Clearly, Equation (9.4) says that
all the inequalities in Equation (9.5) are equalities and then the claim follows from the fact
that
r r
∑ (2g3 ( Li ) + ni − 1) = 2 ∑ g3 ( Li ) + n − r = 2g3 ( L) + n − r ,
i =1 i =1
where the final equality holds because the Seifert genus is additive under disjoint unions.
138
The invariant τ ( L) of a positive link can be determined from the oriented resolution of
a positive diagram D for L. In fact, Proposition 9.3.1 and its proof immediately imply the
following corollary.
Corollary 9.3.5 Suppose L is a positive n-component link in S3 with r split components. Then we
have that
r
c( D ) − k( D ) + n
τ ( L) = ∑ g( Fi ) + n − r = ,
i =1
2
where { Fi }ri=1 are the connected components of the surface obtained from the oriented resolution of
a positive diagram D for L, while c( D ) and k ( D ) are as in Proposition 9.3.1.
In particular, all the surfaces obtained from the oriented resolution of a positive dia-
gram for a given link have the same genus. Furthermore, Corollary 9.3.5 also gives that a
positive link admits a quasi-positive Seifert surface if and only if it is non-split.
CEU eTD Collection
139
CEU eTD Collection
Bibliography
[2] K. Baker and J. Etnyre, Rational linking and contact geometry, Progr. Math., 296,
Birkhäuser/Springer, New York, 2012.
[3] J. Baldwin, D. S. Vela-Vick and V. Vértesi, On the equivalence of Legendrian and transverse
invariants in knot Floer homology, Geom. Topol., 17 (2013), no. 2, pp. 925-974.
[4] D. Bennequin, Entrelacements et équations de Pfaff, Astérisque, 107-108 (1983), pp. 87-161.
[5] J. Birman, Braids, Links, and Mapping Class Groups, Annals of Math. Studies 82, Prince-
ton University Press, Princeton 1975.
[6] M. Boileau and S. Orevkov, Quasipositivite dune courbe analytique dans une boule pseudo-
convexe, C. R. Acad. Sci. Paris., 332 2001, pp. 825-830.
[7] D. Calegari, Foliations and the geometry of 3-manifolds, Oxford Mathematical Mono-
graphs, Oxford University Press, Oxford, 2007.
[8] A. Cavallo, On the slice genus and some concordance invariants of links, J. Knot Theory
Ramifications, 24 (2015), no. 4, 1550021.
[9] A. Cavallo, The concordance invariant tau in link grid homology, to appear on Alg. Geom.
Topol., arXiv:1512.08778.
[10] A. Cavallo, An invariant of Legendrian and transverse links from open book decompositions
of contact 3-manifolds, arXiv:1711.09508.
CEU eTD Collection
[11] A. Cavallo, On loose Legendrian knots in rational homology spheres, Topology Appl., 235
(2018), pp. 339-345.
[12] A. Cavallo, On Bennequin type inequalities for links in tight contact 3-manifolds,
arXiv:1801.00614.
[13] V. Colin, Chirurgies d’indice un et isotopies de sphères dans les variétés de contact tendues,
C. R. Acad. Sci. Paris Sér. I Math., 324 (1997), pp. 659-663.
[14] O. Dasbach and B. Mangum, On McMullen’s and other inequalities for the Thurston norm
of link complements, Algebr. Geom. Topol., 1 (2001), pp. 321-347.
[15] F. Ding and H. Geiges, A Legendrian surgery presentation of contact 3-manifolds, Math.
Proc. Cambridge Philos. Soc., 136 (2004), no. 3, pp. 583-598.
141
[16] F. Ding and H. Geiges, A unique decomposition theorem for tight contact 3-manifolds, En-
seign. Math. (2), 53 (2007), no. 3-4, pp. 333-345.
[17] K. Dymara, Legendrian knots in overtwisted contact structures on S3 , Ann. Global Anal.
Geom., 19 (2001), no. 3, pp. 293-305.
[20] Y. Eliashberg, On symplectic manifolds with some contact properties, J. Diff. Geom., 33
(1991), pp. 233-238.
[21] Y. Eliashberg, Contact 3-manifolds twenty years since J. Martinet’s work, Ann. Inst.
Fourier (Grenoble), 42 (1992), no. 1-2, pp. 165-192.
[23] Y. Eliashberg, Legendrian and transversal knots in tight contact 3-manifolds, Topological
methods in modern mathematics, pp. 171-193, Publish or Perish, Houston, TX, 1993.
[24] Y. Eliashberg and M. Fraser, Classification of topologically trivial Legendrian knots, CRM
Proc. Lecture Notes, 15, Amer. Math. Soc., Providence, RI, 1998.
[25] Y. Eliashberg and M. Gromov, Convex symplectic manifolds, Proc. Sympos. Pure Math.,
52, Part 2, Amer. Math. Soc., Providence, RI, 1991.
[26] J. Etnyre, Legendrian and transversal knots. Handbook of knot theory, Elsevier B. V., Ams-
terdam, 2005, pp. 105-185.
[27] J. Etnyre, Lectures on open book decompositions and contact structures, Clay Math., Proc.
(5), Amer. Math. Soc., Providence, RI, 2006, pp. 103-141.
[28] J. Etnyre, On contact surgery, Proc. Amer. Math. Soc., 136 (2008), no. 9, pp. 3355-3362.
[29] J. Etnyre, On knots in overtwisted contact structures, Quantum Topol., 4 (2013), no. 3, pp.
229-264.
CEU eTD Collection
[30] J. Etnyre and K. Honda, Knots and contact geometry I: torus knots and the figure eight,
Journal of Sympl. Geom., 1 (2001), no. 1, pp. 63-120.
[31] J. Etnyre and K. Honda, On connected sums and Legendrian knots, Adv. Math., 179
(2003), no. 1, pp. 59-74.
[32] A. Floer, A relative Morse index for the symplectic action, Comm. Pure Appl. Math., 41
(1988), no. 4, pp. 393-407.
[33] A. Floer, The unregularized gradient flow of the symplectic action, Comm. Pure Appl.
Math., 41 1988,no. 6, pp. 775-813.
[34] R. Fox and J. Milnor, Singularities of 2-spheres in 4-space and cobordism of knots, Osaka J.
Math., 3 (1966), pp. 257-267.
142
[35] H. Geiges, Contact geometry, Handbook of differential geometry. Vol. II, pp. 315-382,
Elsevier/North-Holland, Amsterdam, 2006.
[36] P. Ghiggini, Strongly fillable contact 3-manifolds without Stein fillings, Geom. Topol., 9
(2005), pp. 1677-1687.
[37] E. Giroux, Convexité en topologie de contact, Comment. Math. Helv., 66 (1991), no. 4, pp.
637-677.
[38] E. Giroux, Structures de contact en dimension trois et bifurcations des feuilletages de surfaces,
Invent. Math., 141 (2000), no. 3, pp. 615-689.
[39] E. Giroux, Géométrie de contact: de la dimension trois vers les dimensions supérieures, Pro-
ceedings of the International Congress of Mathematicians, Vol. II, Higher Ed. Press,
Beijing, 2002, pp. 405-414.
[40] R. Gompf, Handlebody construction of Stein surfaces, Ann. of Math. (2), 148 (1998), no. 2,
pp. 619-693.
[41] R. Gompf and A. Stipsicz, 4-manifolds and Kirby calculus, Graduate Studies in Mathe-
matics, 20. American Mathematical Society, Providence, RI, 1999, pp. xvi+558.
[44] M. Hedden, Notions of positivity and the Ozsváth-Szabó concordance invariant, J. Knot
Theory Ramifications, 19 (2010), no. 5, pp. 617-629.
[45] J. Hom and Z. Wu, Four-ball genus bounds and a refinement of the Ozsváth-Szabó τ-
invariant, J. Symplectic Geom., 14 (2016), no. 1, pp. 305-323.
[46] K. Honda, On the classification of tight contact structures I, Geom. Topol., 4 (2000), pp.
309-368.
[47] K. Honda, W. Kazez and G. Matić, On the contact class in Heegaard Floer homology, J.
Differential Geom., 83 (2009), no. 2, pp. 289-311.
[48] H. Hopf, Über die Abbildungen der dreidimensionalen Sphäre auf die Kugelfläche, Math.
CEU eTD Collection
[49] T. Kálmán, Maximal Thurston-Bennequin number of +adequate links, Proc. Amer. Math.
Soc., 136 (2008), no. 8, pp. 2969-2977.
[50] Y. Kanda, The classification of tight contact structures on the 3-torus, Comm. in Anal. and
Geom., 5 (1997), pp. 413-438.
[52] P. Kronheimer and T. Mrowka, The genus of embedded surfaces in the projective plane,
Math. Research Letters, 1 (1994), pp. 797-808.
143
[53] J. Levine, Invariants of knot cobordism, Invent. Math., 8 (1969), pp. 98-110.
[54] J. Levine, Knot cobordism groups in codimension two, Comment. Math. Helv., 44 (1969),
pp. 229-244.
[56] P. Lisca and G. Matić, Stein 4-manifolds with boundary and contact structures, Topology
Appl., 88 (1998), no. 1-2, pp. 55-66.
[57] P. Lisca, P. Ozsváth, A. Stipsicz and Z. Szabó, Heegaard Floer invariants of Legendrian
knots in contact three-manifolds, J. Eur. Math. Soc., 11 (2009), no. 6, pp. 1307-1363.
[58] C. Manolescu, P. Ozsváth, Z. Szabó and D. Thurston, On combinatorial link Floer homol-
ogy, Geom. Topol., 11 (2007), pp. 2339-2412.
[59] J. Milnor, Lectures on the h-cobordism theorem, Princeton University Press, Princeton,
NJ, 1965.
[60] J. Milnor and J. Stasheff, Characteristic classes, Annals of Mathematics Studies, No. 76.
Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1974, pp.
vii+331.
[61] K. Mohnke, Legendrian links of topological unknots, AMS, volume 279 of Contemporary
Mathematics, 2001, pp. 209-211.
[62] Y. Ni, Link Floer homology detects the Thurston norm, Geom. Topol., 13 (2009), no. 5, pp.
2991-3019.
[63] H. Ohta and K. Ono, Simple singularities and topology of symplectically filling 4-manifold,
Comment. Math. Helv., 74 (1999), pp. 575-590.
[64] S. Orevkov and V. Shevchishin, Markov Theorem for Transverse Links, J. Knot Theory
Ramifications, 12 (2003), no. 7, pp. 905-913.
[65] B. Ozbagci and A. Stipsicz, Surgery on contact 3-manifolds and Stein surfaces, Bolyai
Society Mathematical Studies, 13. Springer-Verlag, Berlin; János Bolyai Mathematical
Society, Budapest, 2004. pp. 281.
CEU eTD Collection
[66] P. Ozsváth and A. Stipsicz, Contact surgeries and the transverse invariant in knot Floer
homology, J. Inst. Math. Jussieu, 9 (2010), no. 3, pp. 601-632.
[67] P. Ozsváth, A. Stipsicz and Z. Szabó, Grid homology for knots and links, AMS, volume
208 of Mathematical Surveys and Monographs, 2015.
[68] P. Ozsváth and Z. Szabó, Holomorphic disks and topological invariants of closed three-
manifolds, Ann. of Math. (2), 159 (2004), no. 3, pp. 1159-1245.
[69] P. Ozsváth and Z. Szabó, Holomorphic disks and knot invariants, Adv. Math., 186 (2004),
no. 1, pp. 58-116.
[70] P. Ozsváth and Z. Szabó, Heegaard Floer homology and contact structures, Duke Math. J.,
129 (2005), no. 1, pp. 39-61.
144
[71] P. Ozsváth and Z. Szabó, On the Heegaard Floer homology of branched double-covers, Adv.
Math., 194 (2005), no. 1, pp. 1-33.
[72] P. Ozsváth and Z. Szabó, Holomorphic disks, link invariants and the multi-variable Alexan-
der polynomial, Algebr. Geom. Topol., 8 (2008), no. 2, pp. 615-692.
[73] P. Ozsváth and Z. Szabó, Link Floer homology and the Thurston norm, J. Amer. Math.
Soc., 21 (2008), no. 3, pp. 671-709.
[74] J. Pardon, The link concordance invariant from Lee homology, Algebr. Geom. Topol., 12
(2012), no. 2, pp. 1081-1098.
[76] O. Plamenevskaya, Transverse knots and Khovanov homology, Math. Res. Lett., 13 (2006),
no. 4, pp. 571-586.
[78] J. Rasmussen, Floer homology and knot complements, Thesis (Ph.D.)-Harvard University,
2003, pp. 126.
[79] D. Rolfsen, Knots and links, Mathematics Lecture Series, 7. Publish or Perish, Inc.,
Houston, TX, 1990.
[80] L. Rudolph, Algebraic functions and closed braids, Topology, 22 1983, no. 2, pp. 191-202.
[81] L. Rudolph, Positive links are strongly quasipositive, Geom. Topol. Monogr., (2), Geom.
Topol. Publ., Coventry, 1999.
[82] S. Sarkar, Grid diagrams and the Ozsváth-Szabó tau-invariant, Math. Res. Lett., 18 (2011),
no. 6, pp. 1239-1257.
[84] J. Singer, Three-dimensional manifolds and their Heegaard diagrams, Trans. Amer. Math.
CEU eTD Collection
[85] J. Światkowski.
˛ On the isotopy of Legendrian knots, Ann. Global Anal. Geom., 10 (1992),
no. 3, pp. 195-207.
[86] W. Thurston, A norm for the homology of 3-manifolds, Mem. Amer. Math. Soc., 59 (1986),
no. 339, pp. i-vi and 99-130.
[87] W. Thurston and H. Winkelnkemper, On the existence of contact forms, Proc. Amer.
Math. Soc., 52 (1975), pp. 345-347.
[88] V. Turaev, Torsions of 3-manifolds, Geom. Topol. Monogr. 4, Geom. Topol. Publ., Coven-
try, 2002.
145
[89] T. Vogel, Non-loose unknots, overtwisted discs, and the contact mapping class group of S3 ,
arXiv:1612.06557.
[90] F. Warner, Foundations of differentiable manifolds and Lie groups, Graduate Texts in Math-
ematics, 94. Springer-Verlag, New York-Berlin, 1983. pp. ix+272.
[91] N. Wrinkle, The Markov theorem for transverse knots, Thesis (Ph.D.)-Columbia Univer-
sity, 2002, pp. 51.
CEU eTD Collection
146
Index
147
Contact framing, 31, 34 invariance, 108–109, 111–112
Contact structure, 31
ξ n , 33 Handlebody, 45
ξ st , 37, 39 Heegaard diagram
overtwisted, 31 handleslide, 46
at infinity, 33 Heegaard diagram, 45–46
tight, 31 admissible, 61
at infinity, 33 basepoint, 46, 47, 50
Contact surgery, 34 compatible Morse function, 46
Contact vector field, 32 domain, 58
Contactomorphism, 31 handleslide, 48
Convex surface, 32 intersection point, 47
Cooriented 2-plane field, 31 Legendrian, 73–74
Crossing, 12 multi-pointed, 47–48, 50
associated to an abstract open book,
Darboux ball, 40 55
Differential, 18 pointed, 46
associated to a grid diagram, 107 stabilization, 46, 48
associated to a Heegaard diagram, 64 Heegaard Floer homology, 64–66
associated to a multi-pointed Heegaard connected sum, 114
diagram, 61–62 disjoint union, 114
mapping cone, 20 invariance, 66–70
Disjoint union, 9, 29 choice of the almost-complex struc-
Legendrian, 42 ture, 67–68
Dividing set, 32 handleslide, 69
isotopy, 68–69
Elementary cobordism, 16 stabilization, 70
Elementary tangle, 10 link, 57, 63
Legendrian, 40 mirror image, 113–114
trivial, 10 quasi-alternating links, 115
Equivalence unknot, 123
of abstract open books, 54 unlink, 66, 111
of filtered chain complexes, 19 Hopf invariant, 32
of links, 9 Hopf link, 17
Filtered isomorphism, 20 Invariant L, 80–81
CEU eTD Collection
148
Invariant τ, 111 Link type, 34
τ ∗ , 114 simple, 103
connected sum, 114 Linking number, 10
disjoint union, 114 diagram, 14
invariance, 120 Loose link, 95
mirror image, 114
positive links, 139 Mapping cone, 20
quasi-alternating links, 115 Markings
quasi-positive links, 133 in a grid diagram, 105
slice genus, 121–122 special O-marking, 105
strongly quasi-positive links, 135 Maslov grading, 59–60, 106
Invariant cb, 84 Maslov index, 58
invariance, 85–86 Meridian, 10
Isotopy Mirror image, 11
contact, 31 diagram, 15
Legendrian, 34 Morse moves, 16
smooth, 9 Non-loose, 95
transverse, 36 Non-split, 9
Knot, 9 Null-homologous link, 9
compressible, 28 Open book decomposition, 50–51
concordance, 17 adapted to a Legendrian link, 51
Legendrian, 34 admissible arc slide, 77–78
loose, 95 associated to a contact cell decomposi-
meridian, 10 tion, 52
transverse, 36 isotopy, 74
trivial, 9 Murasugi sum, 88
Knot concordance group, 17 page, 50
positive stabilization, 74–75
Lens space, 28
L-elementary, 75
Link, 9
supporting a contact structure, 50
cobordism, 15
Order
connected sum, 10
of a link, 26
diagram, 12
Orientation
Legendrian, 34
of a link, 9
linking number, 10
Oriented resolution, 12
CEU eTD Collection
loose, 95
Overtwisted disk, 31
mirror image, 11
oriented, 9 Planar diagram, 12
positive, 136 Positive link, 136–138
quasi-alternating, 115
quasi-positive, 131 Quasi-alternating link, 115
slice, 16 Quasi-isomorphism
split, 9 filtered, 19
strongly quasi-positive, 134 Quasi-positive braid, 131
transverse, 36 Quasi-positive link, 131
a , 130
Link L940 Quasi-positive surface, 134
n
Link L919 , 129
Rasmussen s-invariant, 133
149
Rational homology sphere, 10 maximal, 129, 136
Rationally bounded surface, 26 Torus links, 127
Reidemeister moves, 12 Transverse C-link, 131
Legendrian, 37 connected, 132
Resolution Transverse push-off, 36
of a crossing, 12
Ribbon Unknot, 9
of a Legendrian graph, 52 Legendrian, 37
Rotation number, 35 non-loose, 95
Symplectic 4-manifold, 33
System of attaching circles, 45
System of generators
adapted to a link, 51
Tensor product, 21
of K[ x ]-modules, 22
of vector spaces, 22
Thurston norm, 25–27
Thurston semi-norm, 25
Thurston-Bennequin inequality, 42–43, 132
Thurston-Bennequin number, 35
150