Lenny Ng: Knot Contact Homology
The general philosophy behind Knot Contact Homology is to use the symplectic geometry of cotangent bundles to study the smooth topology of manifolds. It is well known that cotangent bundles admit canonical symplectic structures and given a metric, there is an induced contact structure on the unit cotangent bundle
. Given a knot K is
, its conormal lift
is a Legendrian torus of
:
Legendrian Contact Homology is an invariant of Legendrian submanifolds L in contact manifolds , which is a differential graded algebra generated by the Reeb chords of L and whose differential counts punctured holomorphic disks in the symplectization
with boundary on
such that the punctures tend asymptotically to Reeb chords. The Knot Contact Homology of a knot K is the LCH of
in
.
This geometric interpretation of the invariant can be recast in a completely combinatorial manner. If we braid our knot around an unknot then we get two sets of “short chords” , with
of degree 0 and 1, respectively, and four sets of “long chords”
, with
of degree 1,1,2 and 2, respectively. Moreover, the base ring of the DGA is
. The differential can be defined in terms of an action of the braid group on the degree 0 generators.
We can think of the braid group as the mapping class group of the unit disk with n points along the real axis removed. Then an element
corresponds to an oriented arc in the upper half plane from the i-th point to the j-th point and let
denote the tensor algebra over
generated by these arcs, modulo a skein relation that identifies arcs passing through the lower half of the disk with arcs above the real axis(see Ng’s notes for more details). There is an action of
on this algebra given by the mapping class group acting on the arcs. The differential can then be defined on the DGA of a knot in terms of the action of the braid corresponding to that knot on the algebra
.
This approach gives a sequence of knot invariants, in decreasing strength:
- Legendrian isotopy class of
- Knot DGA
- The degree 0 component
of the knot contact homology.
- Augmentation Polynomial: an augmentation of a DGA
is a ring homomorphism
of unital rings whose kernel contains the image of
and all elements of positive degree. Each augmentation can be used to construct a linearized version of the DGA. The augmentation variety of a knot is algebraic set in
consisting of the images of
under some augmentation to the complex numbers:
If the maximal dimensional component of the Zariski closure of the augmentation variety has codimension one, it is cut out by a reduced polynomial called the augmentation polynomial of K. Some arguments from physics indicate that the augmentation polynomial is related to the HOMFLY-PT polynomial. There is also a two-variable augmentation polynomial obtained by setting U = 1 and it is known that the A-polynomial of the knot divides this two-variable augmentation polynomial.
- Cord Algebra: The cord algebra is obtained by setting U = 1 in
, the degree 0 part of the DGA. We can equivalently think of the cord algebra pictorially as a tensor algebra over the ring
generated by homotopy classes of continuous paths in
that start and end on K and that miss some specified base point *, up to some spatial relations. A third interpretation of the cord algebra is as a tensor algebra over
generated by elements of the knot group
modulo some relations.
Transverse Invariants: Knot contact homology can also be used to obtain invariants of transverse knots. The contact structure itself has a conormal lift and for transverse knots, it is disjoint from
. In the symplectization, we can chose an almost complex structure so that
is a holomorphic surface. For any holomorphic disk contributing to the differential, we can count intersections of this disk with the holomorphic surface and holomorphicity implies that these intersections are positive. Including this data in our differential defines a filtration on the DGA which gives an invariant of the transverse isotopy class of the knot, not just the smooth isotopy class. In a manner similar to Heegaard Floer theory, there are “hat” and “infinity” versions of this invariant as well.
Michael Hutchings: Embedded Contact Homology
Since Michael has a series of notes on his own blog about this lecture series, I think I’ll direct everyone over there if they want to discuss it or find the details. But I’ll try to give a basic summary of his mini-course here as well.
Embedded Contact Homology is an invariant of closed, oriented 3-manifolds Y that also encodes information about contact geometry in Y and symplectic geometry on compact 4-manifolds whose boundary is Y.
For a closed, oriented 3-manifold Y, a nondegenerate contact form on Y and homology class
, there is a chain complex
generated by orbit sets of closed Reeb orbits
and whose differential counts holomorphic curves of a certain index in
asymptotic to the orbit sets. An orbit set is a finite collection of pairs
such that in homology,
. The relevant index of holomorphic curves is called the ECH index and is somewhat tricky to define (see Michael’s notes). This differential squares to 0 and the homology of the chain complex
is well-defined up to choosing some other nondegenerate contact form
defining the same contact structure.
The construction exploits two facts about holomorphic curves in 4-dimensional symplectic manifolds:
- Intersection Positivity: For any two somewhere injective, connected, distinct holomorphic curves u,v, any intersection point in their images is isolated and has positive multiplicity.
- Adjunction formula: The familiar adjunction formula from complex geometry holds. For a somewhere injective holomorphic curve
where counts singularities with positive, integer weights.
An inspiration for ECH is Taubes’s Gromov invariant, which connects the Seiberg-Witten invariants on a closed, connected symplectic 4-manifold X to counts of holomorphic curves of a certain index in X.
There is also some extra structure on this invariant:
- U-maps: There is a map
that counts index 0 holomorphic curves passing through a specified basepoint in .
- Canonical class: There is an element
that canonically represents the contact structure
. It vanishes for overtwisted contact structures and is nontrivial for strongly fillable contact structures.
- Filtrations: Each closed Reeb orbit has an action, given by integrating
over an embedded orbit. We can extend this action linearly to orbit sets and the differential necessarily decreases the action, yielding a filtration on the chain complex:
is the homology of the chain complex whose generators have action less that L.
- Cobordism Maps: Let X be a (weakly?) exact symplectic cobordism from
to
. That means X has an exact symplectic form
, concave boundary
and convex boundary
such that
on
and
on
. Then there is a map
That commutes with the U maps.
A major fact about ECH is that it is equivalent to the “hat” versions of two other invariants of 3-manifolds, Monopole Floer/Seiberg-Witten Floer homology and Heegaard Floer Homology:
Theorem: (Taubes, Kutluhan-Lee-Taubes, Colin-Ghiggini-Honda) There is an isomorphism of the following homologies:
Where is a spin-
structure determined by the
.
Applications: Michael mentioned two applications of ECH to problems in contact and symplectic topology.
An ellipsoid in is the subset
The boundary is topologically
and inherits a contact structure from the standard symplectic structure on
. A basic question to ask is when does E(a,b) embed symplectically in E(c,d)? To answer this, one can define ECH capacities
from the filtered ECH on
with the induced contact structure.
A second application is to the 3-dimensional Weinstein conjecture, which posits that every contact form on a closed, oriented 3-manifold has at least 1 Reeb orbit. This was proved by Taubes in all cases and follows directly from the isomorphism between ECH and . Kronheimer and Mrowka proved that Seiberg-Witten Floer is infinitely generated but a counter example to the Weinstein conjecture would have trivial ECH for some nontrivial
or ECH exactly one copy of
if
is trivial.