SH & SH^+ [Momchil Konstantinov’s talk]
Let us begin with a rather informal and sketchy overview of the basics behind symplectic homology (this is by no means the most general version, and we refer the reader to the vast and growing literature, of which we give some references below).
Consider a Liouville domain with contact boundary and its completion , obtained from by attaching cylindrical ends. Given a nondegenerate Hamiltonian , we have an associated action functional , defined by
Its differential is given by , and it follows that its critical points correspond to closed Hamiltonian orbits. Given a -compatible almost complex structure which is cylindrical on the ends, this induces a metric on the loop space, for which the gradient of can be written as , so that the gradient flow equation becomes the Floer equation. We define the symplectic homology chain complex (with mod 2 coefficients) as
By simplicity, assume that is contractible (so that we don’t have to worry about homology classes and whatnot), and also assume that (this condition can be relaxed to , and is needed for the grading). Then we can define the Conley-Zehnder index of by choosing spanning disks for and trivializing along this disk, and we choose the grading , which is independent on the trivialization by the assumption on . The differential is now , given by
where is the moduli space of Floer trajectories joining to divided by the natural -translation action. This moduli space is a zero dimensional manifold when (for generic ). Recall that Gromov compactness requires uniform -bounds (which in our situation are not for free, since is non-compact) and uniform energy bounds (which we have for , since ).
Def. The spectrum of is
Def. The space of admissible Hamiltonians is the set of Hamiltonians satisfying
on , for some , where .
Denote by , so that on the ends.
If one chooses an admissible and a which is cylindrical on the ends, one gets -bounds, as follows from the maximun principle: indeed, consider an open subset, and a holomorphic map, which has a portion lying on the cylindrical ends. This portion can be parametrized by , and a computation gives
The maximum principle then implies that a sequence of Floer cylinders with fixed asymptotics cannot escape to infinity, since we would get a maximum of , which implies , and this cannot happen if one assumes that the maximum is non-degenerate (a clever trick then gets rid of this assumption). So we get the -bounds, which leads to compactness by Gromov, which implies well-defined and (as follows by studying the boundary of 1-dimensional moduli spaces of Floer trajectories). From this, one gets the Floer homology group
The first thing one asks is: is it independent of ? And the answer is…well… nope. BUT…
Consider two different , and choose a smooth path of Hamiltonians for , such that for , , for , and for , on the cylindrical ends. This gives the parametrized Floer equation and a corresponding moduli space joining the orbits and , which is zero dimensional when (now we don’t have a translation action). This ideally would allow us to define a map
given by
satisfying , as follows by studying how trajectories in 1-dimensional moduli spaces can break. But this, again, requires Gromov compactness. A similar computation gives
So, to have it suffices with
In other words, the slope of is necessarily steeper than that of . This means that we only get compactness in “one direction”, and we do not get a homotopically inverse map.
If we define a partial order on by if outside of a compact set, the previous discussion gives us a map . Moreover, we get commutative diagrams for any , giving a direct system, so that we may define the symplectic homology of as
Observe that, as with any direct limit, one can compute it by taking cofinal sequences. Now we identify the generators of this homology. Let us recall the following fact from Floer theory:
Fact. If is sufficiently -small then all the 1-periodic orbits of are critical points of , and every Floer trajectory between them is a Morse flow-line.
This means that if is sufficiently -small and positive on , then the generators on this region of will correspond to critical points (graded by ), and observe that . On the cylindrical ends, we have , where is the Reeb vector field of on , so that closed Hamiltonian orbits lie in the contact slices and are reparametrizations of closed Reeb orbits of period , and these have action
Since we assume that the slope of does not lie in the spectrum, there are no closed orbits for , and between and we see potential closed Hamiltonian orbits of bounded action. Since the differential decreases action, we have a subcomplex of generated by orbits of negative action (critical points), and an exact sequence of chain complexes
where . If we define
and we take direct limit in the resulting long exact sequence (which preserves exactness), we get an induced exact triangle
Here we have used the Floer theory fact, and the maximum principle, to say that computes for every (-small on ). Observe that we get cohomology of rather than homology, since we get a minus in the grading ( goes to under the differential). Yes, it’s confusing.
We can now state a few theorems.
Thm. [Bourgeois-Oancea] If all Reeb orbits of satisfy
that is, if is dynamically convex, and are two Liouville fillings of with , then .
In other words, is an invariant of , rather than the fillings (with ). The idea is to show that no critical points can be connected to a non-constant orbit by a Floer trajectory, and that no cylinder connecting two of the latter ventures into the filling (there is a stretching the neck argument here).
Thm. [ML Yau] If is subcritically Stein fillable (for a filling with ), then admits a dynamically convex contact form.
Thm. [Cieliebak] If is subcritically Stein (with ), then it has vanishing symplectic homology.
Cieliebak proves that is isomorphic to a split Stein manifold , for Stein, and using a version of the Künneth formula for , the result follows from the fact that , which one can compute by hand.
Cor. If are subcritical Stein fillings of with , then .
This follows from the exact triangle, and all theorems stated above, since for a subcritical Stein manifold with .
References
A few references on symplectic homology (by all means very much non-exhaustive):
A begginer’s overview: https://www.mathematik.hu-berlin.de/~wendl/pub/SH.pdf
A nice survey: https://arxiv.org/abs/math/0403377
A Morse-Bott version (relevant for Cédric’s talk below): https://arxiv.org/abs/0704.1039
A related theory (Rabinowitz Floer homology): https://arxiv.org/abs/0903.0768
Contact manifolds with flexible fillings [Scott Zhang’s talk]
The main reference for this post is this paper: https://arxiv.org/pdf/1610.04837.pdf.
Let us recall the following result, which appeared in Momchil’s talk:
Thm. [M.L Yau] If are two subcritical fillings of a contact manifold , (with ) then .
The goal for this talk was to discuss the following generalization to the case:
Thm 1. [O. Lazarev] If are two flexible fillings of , then .
Remark: The same conclusion is true if we consider fillings with vanishing symplectic homology.
The idea is to replace the dynamical convexity condition in Bourgeois-Oancea’s result by an asymptotic version. In the following, given contact forms for the same contact structure, we will denote if for some smooth function , and by the set of -Reeb orbits with action . The degree of a Reeb orbit is .
Def. is asymptotically dynamically convex (ADC) if there exists a sequence of contact forms for and a sequence with such that every element in has positive degree.
We have the following:
Thm 2. [O. Lazarev] If is ADC, then is independent of the Stein filling with .
Recall that flexible Weinstein manifolds have vanishing symplectic homology. This follows by the Bourgeois-Ekholm=Eliashberg surgery formula (https://arxiv.org/pdf/0911.0026.pdf), but there are alternative arguments not using the SFT machinery, based on an h-principle for exact codimension zero embeddings, and the Künneth formula for symplectic homology, which even works for twisted coefficients (see e.g. Murphy-Siegel https://arxiv.org/abs/1510.01867). From the exact triangle for , we know that for flexible , so to get thm. 1 it suffices to show that flexible fillings induce ADC contact structures on their boundaries.
Thm 3. [O. Lazarev] If is obtained from by flexible surgery and is ADC, then so is .
Remark. The subcritical case where the ADC condition is replaced by DC (dynamical convexity) is already due to Yau.
Since the standard sphere is ADC, thm. 1 follows.
Here are a few ingredients in the argument. Let us recall first the following:
Prop. [Bourgeois-Ekholm-Eliashberg] After surgery along a Legendrian sphere , we have a 1-1 correspondence between the newly created Reeb orbits with action bounded by , and words of Reeb chords on with action bounded by (up to cyclic permutation). Moreover, we have , where denotes the Reeb orbit corresponding to the word .
The idea is to slightly perturb the data so that given a collection of ordered chords, there is a closed Reeb orbit which enters the handle and is close to the original chords in the complement of the handle (the fact that all closed orbits that enter the handle have to leave it boils down to the fact that the geodesics on the flat disk leave the disk).
Key lemma. If is loose, there exists a Legendrian isotopy such that (action bounded) Reeb chords have positive degree.
The point is that stabilizing a loose Legendrian, which in general does not change the formal homotopy type, actually does not change the genuine isotopy type, by Murphy’s h-principle, and one can explicitly see that the degree of the resulting Reeb chords is greater or equal than 1 after the stabilization. The fact that we get decreasing contact forms comes form this stabilization process.
Computations on Brieskorn manifolds [Cédric De Groote’s talk]
The goal for this talk, much more computational in spirit, was to discuss how invariants like contact and symplectic homology can be used to distinguish contact structures on Brieskorn manifolds, specially when the underlying manifolds are diffeomorphic, and in certain cases even when the contact structures are homotopic as almost contact structures. A useful tool is a Morse-Bott version of symplectic homology, which applies in many cases where a lot of symmetry in present in the setup.
Brieskorn manifolds and Ustilovsky exotic contact spheres
The Brieskorn manifold associated to , where is an integer, is defined by . In other words, it is the link of the (isolated) singularity associated to the complex polynomial . It is the binding of an open book on , with pages which are diffeomorphic to , for small (the Milnor fiber of , see Milnor’s classic book: “Singular points of complex hypersurfaces”).
Brieskorn manifolds come with a contact form , which is induced by the “weighted” exact symplectic form on , with associated Liouville vector field , which is transverse to . The corresponding Reeb vector field is , which has flow . We also have a filling for , given by , where satisfies close to , and vanishes close to (so that is a non-singular interpolation between the Milnor fiber and the singular hypersurface ). It comes endowed with the restriction of , and is therefore an exact filling (it is actually Stein). By thm. 5.1 in Milnor’s book, it is parallelizable, and hence .
Some interesting facts:
- , i.e is -connected (lemma 6.4 in Milnor, which works for any Milnor fiber).
- If , is homeomorphic to a sphere if and only if it is a homology sphere (For it follows by 1. above -which implies simply connectedness-, and the generalized Poincaré hypothesis, and is trivial for ). By 1., Poincaré duality and Hurewicz’ theorem, this is equivalent to the reduced homology .
- There exist conditions on which are equivalent to being homeomorphic to the sphere . Namely, If there exist which are relatively prime to all other exponents, OR there exist which is relatively prime to all others and a set such that every is relatively prime to every exponent not in the set, and for .
- for gives all smooth structures in (it is homeomorphic to the sphere by the previous criterion).
- Any simply connected spin 5-manifold is a connect sum of Brieskorn 5-manifolds.
Thm.[Brieskorn] If then , where the number of 2’s is , is diffeomorphic to .
Denote by the contact structure on that we obtain by the weighted symplectic form, as above. Observe that by the above criterion these manifolds are all homeomorphic to spheres.
Thm.[Ustilovsky] If , then is not contactomorphic to .
The proof uses contact homology. One can take an explicit perturbation making the contact form non-degenerate, and compute the degrees of the resulting non-degenerate Reeb orbits, which are all even. This implies that the differential vanishes, so that contact homology is isomorphic to the underlying chain complex. For different values of , the degrees of the generators differ, and hence contact homology does also (and this is an invariant of the contact structure).
Def. An almost contact structure on is a pair of a 1-form and a 2-form such that is non-degenerate. This is equivalent to having a reduction of the structure group of to .
Def. A contact sphere is called exotic if it is not contactomorphic to , the standard contact structure on . It is homotopically trivial if it is homotopic to as almost contact structures.
An almost contact structure on is equivalent to a lift of the classifying map to a map , under the natural map induced by inclusion. This map has fibers , and therefore almost contact structures are classified by the group .
Thm.[Massey] is cyclic of order if even, and if odd.
Thm.[Morita] The contact structure on represents in when viewed as an almost contact structure.
It follows that if and then is homotopically trivial. Since there are infinitely many ‘s satisfying these conditions, we obtain:
Thm.[Ustilovsky] There exist infinitely many exotic but homotopically trivial contact structures on .
Morse-Bott techniques
The Morse-Bott condition is morally the next best thing to having non-degeneracy (in fact, one can argue that it is the best thing when one wishes to do computations), and it can be thought of as a manifestation of symmetry.
Recall that a function is Morse-Bott if its critical set is a disjoint union of connected submanifolds , such that, if we denote by the normal bundle of inside , then is non-degenerate.
Loosely speaking, the degeneracies are “well-controlled”, and come in “families”. In general, in the Morse-Bott situation, one hopes for a perturbation scheme which recovers the non-degenerate/Morse case, by a small perturbation of the data, in such a way that one gets a 1-1 correspondence between the symmetric (i.e Morse-Bott) data, and the generic (i.e Morse) one, and so that compuations can be carried out in the Morse-Bott setting in the first place. For instance, if one wishes to compute Morse homology from a Morse-Bott function , one can choose a Morse function on , and consider , for small, and is a bump function with support near . The critical points of are exactly those of , and there is a well-defined notion of convergence of flow-lines of to “cascades” (when the perturbation parameter is taken to go to zero). The latter consist of a flow-line of hitting a critical manifold, followed by a flow-line segment of along this manifold, followed by another flow-line of hitting another critical manifold, and so on, finishing in a critical point of (see the figure below). One can define the index of a cascade in such a way that the index is preserved under this convergence, and there is a 1-1 correspondence between index cascades and index Morse flow-lines of . Hence, one can define a Morse-Bott differential which counts cascades, and the resulting Morse-Bott (co)homology coincides with the usual Morse (co)homology.
In the setting of symplectic homology, if is a Liouville filling of a contact manifold and is an admissible autonomous Hamiltonian, then we have closed Hamiltonian orbits in the contact slices corresponding to closed Reeb orbits, which come in -families obtained by reparametrizations (since is time-independent). This is then a Morse-Bott situation.
[Bourgeois-Oancea] In the Morse-Bott situation described above, if we assume that the orbits come in -families (and there are no further directions of degeneracy), then there is a Morse-Bott version of symplectic homology of , .
More generally, one can ask the following Morse-Bott conditions: is closed submanifold (where is the time Reeb flow), such that is locally constant and . Informally, one can think of this as an infinite-dimensional version of the Morse-Bott conditions, applied to the action functional defined on the loop space, whose critical points are closed Hamiltonian orbits. Assuming that and the closed orbits are contractible (so we get an integer grading), fix a choice of Morse functions on for every . The generators will correspond to pairs where , and the differential counts “Floer cascades”, consisting of a Floer cylinder, followed by a flow-line segment of a , followed by another Floer cylinder…(finitely many times). The grading is defined by , where is the Robin-Salamon index, and with this definition the differential has degree -1. Under these conditions, we have a Morse-Bott version of symplectic homology .
Uebele’s computation
We focus now on the Brieskorn manifolds , where there are 2’s, for odd , endowed with the contact structure discussed in the first part of this talk. Randell’s algorithm gives , and it follows from Wall’s classification of highly-connected manifolds that if , if , if , if . Here, is Kervaire’s sphere. If , is diffeomorphic to , and hence is always .
These contact manifolds manifolds are actually not distinguishable by contact homology. However, we have:
Thm. [Uebele] The manifolds are pairwise non-contactomorphic.
This uses the following lemma:
Lemma. For , is independent of the filling, as long as .
This is proved by showing that these manifolds are dynamically convex, and using an analogous version of Bourgeois-Oancea result. Therefore one can regard as a contact invariant.
The idea now is to compute of the natural filling of these Brieskorn manifolds, using the Morse-Bott techniques, and showing that they are pairwise different. One can choose perfect Morse functions along the critical manifolds (or “formally pretend” that one can, by a spectral sequence argument due to Fauck), making the Morse differential trivial, and between different critical manifolds, one sees that for each consecutive degrees there exists a unique pair of generators having these degrees, the one with bigger degree having lower action than the one with smaller degree . Since the differential has degree -1 and lowers the action, it has to vanish (this works for , and a different argument is needed for ). The upshot is that the Morse-Bott symplectic homology coincides with its chain complex, and the degrees differ for different values of .
References
A nice reference for a survey of Brieskorn manifolds in contact topology can be found here: https://arxiv.org/abs/1310.0343
Ustilovsky’s exotic spheres: 1999-14-781
Uebele’s computations: https://arxiv.org/abs/1502.04547
Fauck’s thesis (related, and uses RFH): https://arxiv.org/abs/1605.07892