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