Symplectic fillings of asymptotically dynamically convex manifolds I
Zhengyi Zhou

TL;DR
This paper studies symplectic fillings of ADC manifolds, establishing invariance of certain structure maps, leading to topological classifications, obstructions to fillability, and implications for symplectic geometry and exotic structures.
Contribution
It introduces invariant structure maps on positive symplectic cohomology for ADC manifolds, proving their independence from fillings and deriving new topological and fillability results.
Findings
Invariance of structure maps implies filling-independent properties.
Existence of infinitely many contact manifolds with specific fillability properties.
Symplectic dilation implies uniruledness and exotic structures.
Abstract
We consider exact fillings with vanishing first Chern class of asymptotically dynamically convex (ADC) manifolds. We construct two structure maps on the positive symplectic cohomology and prove that they are independent of the filling for ADC manifolds. The invariance of the structure maps implies that the vanishing of symplectic cohomology and the existence of symplectic dilations are properties independent of the filling for ADC manifolds. Using them, various topological applications on symplectic fillings are obtained, including the uniqueness of diffeomorphism types of fillings for many contact manifolds. We use the structure maps to define the first symplectic obstructions to Weinstein fillability. In particular, we show that for all dimension , there exist infinitely many contact manifolds that are exactly fillable, almost Weinstein fillable but not Weinstein…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Symplectic fillings of asymptotically dynamically convex manifolds I
Zhengyi Zhou
Abstract.
We consider exact fillings with vanishing first Chern class of asymptotically dynamically convex (ADC) manifolds. We construct two structure maps on the positive symplectic cohomology and prove that they are independent of the filling for ADC manifolds. The invariance of the structure maps implies that the vanishing of symplectic cohomology and the existence of symplectic dilations are properties independent of the filling for ADC manifolds. Using them, various topological applications on symplectic fillings are obtained, including the uniqueness of diffeomorphism types of fillings for many contact manifolds. We use the structure maps to define the first symplectic obstructions to Weinstein fillability. In particular, we show that for all dimension , there exist infinitely many contact manifolds that are exactly fillable, almost Weinstein fillable but not Weinstein fillable. The invariance of the structure maps generalizes to strong fillings with vanishing first Chern class. We show that any strong filling with vanishing first Chern class of a class of manifolds, including with simply connected, must be exact and have unique diffeomorphism type. As an application of the proof, we show that the existence of symplectic dilation implies uniruledness. In particular any affine exotic with non-negative log Kodaira dimension is a symplectic exotic .
Contents
- 1 Introduction
- 2 Symplectic Cohomology
- 3 Invariance of restriction map and persistence of vanishing
- 4 Persistence of symplectic dilation
- 5 Uniruledness
- 6 Constructions of ADC manifolds
- 7 Obstructions to exact cobordisms
- 8 Nonexact fillings
- A Orientations
1. Introduction
One natural question in symplectic topology is understanding symplectic fillings of a contact manifold. One aspect of the question is understanding the existence of symplectic fillings. Contact obstructions to the existence of symplectic fillings were first discovered by Eliashberg [20]. There are various obstructions to fillings of different flavors, c.f. [41] and references therein. There are also topological obstructions to the existence of almost Weinstein fillings [13]. Another aspect of the question is understanding the uniqueness of symplectic fillings. The first result along this line is by Gromov [28] that exact fillings of the standard contact -sphere are unique. In [20], Eliashberg proved fillings of are diffeomorphic to blow-ups of the ball. Shortly after, McDuff [42] generalized the result to lens space . In dimension , several uniqueness or finiteness results of symplectic fillings were obtained on [63], lens space [40] and [60]. Only the results on obtained uniqueness of symplectic fillings, while other results are about topological types of fillings. The dimension case is special since we have more tools like intersection theory of holomorphic curves and Seiberg-Witten theory. In higher dimensions, Eliashberg-Floer-McDuff [21, 43] proved that any exact filling of is diffeomorphic to the ball . The Eliashberg-Floer-McDuff method was generalized by Oancea-Viterbo [50] to obtain homological information for symplectic aspherical fillings of simply connected subcritically fillable contact manifolds. Barth-Geiges-Zehmisch [7] extracted refined homological information and showed that symplectic aspherical fillings of simply connected subcritically fillable contact manifolds have unique diffeomorphism types via h-cobordism.
The symplectic aspect of the uniqueness in higher dimensions remains largely unknown. However there are some evidences. Seidel-Smith [56] showed that any exact filling of has vanishing symplectic cohomology. We [69] showed that any exact filling with vanishing first Chern class of a simply connected flexibly fillable contact manifold has vanishing symplectic cohomology. It turns out those contact manifolds are asymptotically dynamically convex (ADC) in the sense of Lazarev [38]111In fact, all contact manifolds in the first paragraph are ADC, when .. The ADC condition is a generalization of the index-positive condition introduced in [18, §9.5]. A contact manifold is called index-positive, if there is a non-degenerate contact form so that every Reeb orbit has positive degree, i.e. . There are many natural ADC contact manifolds, e.g. boundaries of cotangent bundles of manifolds of dimension at least , boundaries of flexible Weinstein domains, and links of terminal singularities (Remark 3.11). The ADC property is a condition on the Conley-Zehnder index, which is suitable for Floer theoretic study. The importance of index-positive/ADC is that positive symplectic cohomology is independent of the filling, hence a contact invariant [18, 38] via neck-stretching. Combining invariance of positive symplectic cohomology and vanishing of symplectic cohomology, the tautological long exact sequence of symplectic cohomology yields that any exact filling with vanishing first Chern class of a simply connected flexibly fillable contact manifold has the same cohomology group as the flexible filling.
The above result serves as a basic prototype of studying symplectic fillings of ADC manifolds: We first prove some invariance results on the Floer theory of fillings of ADC manifolds, then we infer invariant symplectic or topological properties from there. The key point in this paper is that the invariance is not limited to some Floer cohomology like positive symplectic cohomology, but also structure maps on those Floer cohomology. The substance of this paper is constructing two structure maps and proving their invariance w.r.t. fillings for ADC manifolds. Then we will derive various symplectic and topological applications from them on both uniqueness and existence aspects of symplectic fillings.
1.1. Invariance of restriction and persistence of vanishing
Let be an exact filling of , the first structure map is the composition of and the restriction , where is the connecting map in the tautological long exact sequence . In the following, we will restrict to topologically simple fillings of ADC manifolds, i.e. those fillings such that and is injective (when is strongly ADC (Definition 3.5), we only require 222Roughly speaking, strongly ADC requires that Reeb orbits are contractible in addition to the asymptotically dynamically convex condition.). Our first theorem is the following.
Theorem A**.**
Let be a (strongly) ADC contact manifold. Then is independent of topologically simple exact fillings.
Remark 1.1**.**
Unless specified, our coefficient can be any ring with a default setting of .
Since whether is equivalent to whether is mapped to [math] in the unital map , is equivalent to . This reproves the vanishing result in [69]. Moreover, unlike the proof based on the formal properties of symplectic cohomology in [69], the proof here explains the background geometry to some extent by finding a persistent holomorphic curve. Moreover, we have the following finer invariance result on the topology of the filling.
Corollary B**.**
Let be a (strongly) ADC contact manifold, then is a property independent of topologically simple exact fillings. In that case, is independent of topologically simple exact fillings, i.e. for two topologically simple exact fillings , we have an isomorphism such that the following commutes,
[TABLE]
The invariance of is a very strong topological constraint, especially when it is injective. In particular, by the universal coefficient theorem, Corollary B implies [7, Theorem 1.2(a)] if the exact filling is topologically simple. Combining with Theorem E below yields a Floer theoretic proof of exact and fillings of simply connected subcritically fillable contact manifolds have unique diffeomorphism type by the h-cobordism argument in [7, §5]. Moreover, we can extract the topology condition required for the h-cobordism argument, to reach the following uniqueness result for some only Liouville fillable contact manifolds (Corollary 3.14) and flexible fillable contact manifolds.
Theorem C**.**
Exact fillings with vanishing first Chern class of the following contact manifolds with have unique diffeomorphism types.
- (1)
* simply connected, where is a simply connected Liouville domain such that and .* 2. (2)
* is the boundary of the flexible cotangent bundle for simply connected with .*
Remark 1.2**.**
The contact boundary was also considered in [7, §2.6], where Barth-Geiges-Zehmisch proved that for every symplectic aspherical filling of , we must have that is surjective. Using Corollary B, if we assume and is topologically simple, then is invariant and injective, see Corollary 6.10.
Remark 1.3**.**
* is a restrictive condition, the major classes of examples are flexible Weinstein domains [9, 48], for Liouville domains [49]. These two classes provide many examples with ADC boundaries as long as the first Chern class vanishes. Recall that if is an exact subdomain, the Viterbo transfer map is a unital ring map. Since the [math] ring is the terminal object in the category of unital rings, a symplectic manifold with should be understood as the simplest symplectic manifold and the contact boundary has the best chance of having unique exact fillings.*
Theorem A also holds for symplectic cohomology with local systems, and Corollary B holds if the ring structure still exists. In particular, those results can be applied to cotangent bundles considered in [5], whose symplectic cohomology without local system does not vanish. In particular, we have the following invariance result for cotangent bundles.
Theorem D**.**
Let be an manifold such that the Hurewicz map is nonzero and is ADC (e.g. ), then we have the following.
- (1)
* is independent of the topologically simple exact filling as long as is surjective for every prime .* 2. (2)
If , and is spin, then the independence of for topologically simple holds as long as is nonzero. If is not spin, we need assume contains , where is the projection and is the second Stiefel-Whitney class of . 3. (3)
If in addition, we have , then the rational homotopy type of with same conditions above is .
We also study the symplectic cohomology of covering spaces and prove an analogous statement to Theorem A, which implies the following theorem. It can be viewed as a generalization of [7, Theorem 1.2(b)].
Theorem E**.**
Assume is an ADC contact manifold, with a topologically simple exact filling such that (integer coefficient without local systems) and is an isomorphism. Then is an isomorphism for any other topologically simple exact filling . If is strongly ADC with the same property and is abelian, then is an isomorphism for any other topologically simple exact filing .333Note that in the strongly ADC context, topologically simple filling only requires , hence it is a stronger conclusion compared to the ADC case above.
The results above can be put under one theme: understand whether the symplectic filling is unique. It is conjectured that exact fillings of flexibly fillable contact manifolds are unique. Since Theorem A-E can be applied to a larger class of contact manifolds in addition to flexibly fillable contact manifolds, see §6. They suggest that contact manifolds with unique exact fillings may go beyond flexibly fillable contact manifolds.
For , Eliashberg [20] and McDuff [42] showed that symplectic fillings of the standard contact -sphere are symplectic blow-ups of the standard ball. Hence it has a unique exact filling. However the procedure of blow-up destroys both exactness and . Hence in this special case, one can trade the exactness condition to condition and still has the uniqueness of fillings, in particular exactness is equivalent to . In higher dimension, the exactness/symplectic asphericity plays an important role in [7, 50] while is not required or used. But if we study it using Floer theory, non-exactness only adds technical difficulties and can be overcome by a dimension argument [31] when . However plays a fundamental rule, since the ADC property is an index property. Therefore, we can generalize Eliashberg-McDuff’s result in the direction to higher dimensions as follows.
Theorem F**.**
Let be a tamed asymptotically dynamically convex (TADC) manifold (Definition 6.2) with one topologically simple exact filling , such that . Assume is injective and is surjective. Then any topologically simple strong filling of is exact.
The strategy of proving Theorem F is showing the invariance of like Corollary B for strong fillings. Then exactness is a consequence of such invariance. TADC maifolds are more general than index-positive manifolds, but more restricted than ADC manifolds. Examples of TADC manifolds that Theorem F can be applied are boundaries of , where is the Milnor fiber of with , and products among them. In particular Theorem F implies that any strong filling of with vanishing first Chern class must be exact444Although in this special case, proving is enough. The general case requires the invariance of ., hence is diffeomorphic to . Theorem F can also be applied to non-Weinstein example, e.g. , where is the exact but not Weinstein domain in [41], since is TADC by Theorem 6.3. Another source of examples are cotangent bundles with local systems, we can get exactness from and similar conditions in Theorem D, see Theorem 8.14.
Remark 1.4**.**
Theorem F is expected to hold for ADC manifolds. In the general ADC case, we need to stretch along expanding contact hypersurfaces since non-exact filling may not contain the whole negative end of the symplectization of . Then we need more functoriality than we are able to get. However, the expanding issue indicates using a SFT description may be a better way to prove the generalization, see Remark 1.7 and Remark 8.15.
Remark 1.5**.**
It is worthwhile to compare our method with the method in [7, 43, 50], where the method can be summarized as finding a “homological foliation” by rational curves in a partial compactification of the filling. Such method has the benefit of only assuming exactness/symplectic asphericity. Our method is from a very different perspective, which essentially only assumes as in Theorem F, while the exactness in assumptions of previous theorems are only for the simplicity of the setup. Therefore we cover different aspects of the uniqueness of filling, i.e. versus symplectic asphericity. Moreover, we are able to extract some symplectic invariance through the study of symplectic cohomology. By [7] exact filling of subcritically fillable contact manifold must have if when . Combining Theorem F and Remark 1.4, it suggests that for fillings of subcritically fillable contact manifolds, exactness is equivalent to . In particular, if there is any procedure of modifying a filling, exactness and must be destroyed at the same time. This is the case for blow-up.
Remark 1.6**.**
The condition of is necessary for the results above to hold. For example, the once blow-up of the standard ball , i.e. the total space of the degree bundle over , has non-vanishing symplectic cohomology [54] and is different from . By the Viterbo transfer map, such phenomena persist for all exact domains considered above after once blow-up.
1.2. Persistence of dilation
The second structure map is related to the symplectic dilation introduced by Seidel-Solomon [59]. To explain the structure map, first recall that symplectic cohomology is equipped with a degree BV operator . Then a symplectic dilation is an element such that . The existence of symplectic dilation puts strong restrictions on Lagrangians that can be embedded exactly [57, 59]. On the cochain level, also respects the splitting into positive and zero symplectic cohomology. Therefore we have a well-defined degree map . Then there is a well-defined degree map . When is ADC and is topologically simple exact, we have that is independent of the filling. Moreover, by Theorem A, is independent of the filling. Then our second main result is the following.
Theorem G**.**
Let be an ADC manifold, then for any two topologically simple exact fillings , we have an isomorphism , such that
- (1)
, 2. (2)
, 3. (3)
.
The property of whether is closely related to the existence of symplectic dilation. We have the following Corollary. A stronger version concerning symplectic dilation on exact fillings can be found in Corollary 4.17.
Corollary H**.**
Let be an ADC contact manifold of dimension . Then the existence of symplectic dilation is independent of Weinstein fillings.
The vanishing of symplectic cohomology and the existence of symplectic dilations can be understood as the first two levels of indications of the complexity of symplectic manifolds. In fact, there exists a whole hierarchy of structures after them called higher dilations, all of them have associated structure maps similar to , which are also independent of the topologically simple exact filling for ADC manifolds. Details of the construction will appear in the sequel paper [70].
Remark 1.7**.**
Following [10], positive symplectic cohomology should be understood as the non-equivariant linearized contact homology. When is ADC, positive symplectic cohomology can be viewed as non-equivariant cylindrical contact homology, since the augmentation from filling is trivial by degree reason. should have an equivalent description using SFT on . In particular, when the analytic foundation for the full SFT is completed [23], one should be able to strengthen results in this paper to contact manifolds admitting a Reeb flow without a degree zero orbit and its asymptotic version based on the same argument. From SFT point of view, for any linearized non-equivariant contact homology , one should be able to define a map by counting holomorphic curves (with one positive puncture and multiple negative punctures) with one marked point mapped to along with the augmentation. When the augmentation is from a filling, then the map is the composition . It will imply Theorem A, since ADC contact manifolds should have no non-trivial augmentation by degree reason. Roughly speaking, the set of fillings is closely related to the set of augmentations. The theme of this paper can be summarized as: if a contact manifold admits a unique augmentation, then many Floer theoretic properties of the filling are independent of the filling. It is possible to prove such claim by reformulising constructions in this paper using SFT.
1.3. Obstructions to Weinstein fillings and cobordisms
One natural question in the study of symplectic fillings is understanding the difference between exact fillability and Weinstein fillability. In dimension , exact fillable but not Weinstein fillable manifold was found by Bowden [12]. In higher dimension, such examples were found by Bowden-Crowley-Stipsicz [13]. Their obstruction is topological in nature and their examples are exactly fillable, but not almost Weinstein fillable. Hence the next question we could ask is whether the topological obstruction is sufficient, or whether there is a contact manifold with exact filling and almost Weinstein filling, but no Weinstein filling. In §6, we answer the question by proving the following.
Theorem I**.**
Let , there exist infinitely many pairwise non-contactomorphic dimensional contact manifolds, such that they are exactly fillable, almost Weinstein fillable, but not Weinstein fillable.
To prove Theorem I, we need new obstructions to Weinstein fillability beyond topological obstructions. Using Theorem A and G, for ADC contact manifolds, contain a nontrivial element of grading higher than are symplectic obstructions to the existence of Weinstein fillings (Corollary 3.14 and Corollary 4.19). Such obstructions, to our best knowledge, are the first symplectic obstructions to Weinstein fillability. This answers a Wendl’s question [64, Question 14] on the existence of obstructions to Weinstein fillability of contact structures in higher dimensions. With such obstructions, in addition to proving Theorem I, we give simple constructions of many exactly fillable, but not Weinstein fillable manifolds in dimension . Hence they exist in abundance.
We can also use similar ideas to study symplectic cobordism. Corollary B and Theorem G show that whether are actually contact invariants for ADC manifolds. Hence they can be used to develop obstructions to symplectic cobordisms. In particular, we have the following.
Corollary J**.**
Let be an ADC contact manifold with a Weinstein filling such that for . Let be a Weinstein domain. If one of following conditions holds, then there is no Weinstein cobordism from to .
- (1)
If for , and for . 2. (2)
If for , and for . 3. (3)
If admits a symplectic dilation, and does not admit a symplectic dilation.
A stronger version of Corollary J concerning obstructions to exact cobordisms can be found in Theorem 7.1. Note that usually, an algebraic obstruction to cobordism will come from SFT type invariants [37], which is difficult to define and compute. However, our obstruction is based on symplectic cohomology, hence is relatively easy to define and compute compared to the SFT. As explained in Remark 1.7, it can be understood as an easy case of some SFT obstructions. In §7, we use Corollary J to give many pairs of contact manifolds that admit almost Weinstein cobordisms but no Weinstein cobordism in every dimension .
1.4. Constructions of ADC manifolds
ADC contact manifolds exist in abundance. Moreover, subcritical and flexible surgeries preserve the ADC property by the work of Lazarev [38]. In order to provide examples to Theorem I, we prove two more constructions of ADC manifolds, which bear independent interests.
Theorem K**.**
Let be an exact domain such that , then is ADC. If are two exact ADC domains (Definition 3.8) of dimension at least with vanishing first Chern classes, then is ADC.
When is a Weinstein domain, is a subcritical Weinstein domain, then the theorem above follows from [38, 65]. Repeatedly using subcritical and flexible surgeries and Theorem K, we have a lot of examples of ADC contact manifolds, and many of them have either vanishing symplectic cohomology or symplectic dilation, hence Theorem A and G can be applied.
1.5. Uniruledness
At last, we discuss a byproduct of proofs of Theorem A and G. Uniruledness in the symplectic setting was studied by McLean [46], an exact domain is called -uniruled iff for every point in the interior there is a proper holomorphic curve in passing through with area at most and the domain Riemann surface has the property that . McLean showed that the algebraic uniruledness for affine varieties is rather a symplectic property. Hence it is reasonable to look for symplectic characterization of uniruledness.
Theorem L**.**
Let be an exact domain and there exists a symplectic dilation, then is -uniruled, for some .
The specific value of is not relevant, as it is not an invariant w.r.t. the homotopy of Liouville forms. The key property needed in order to use results from [46] is that we have such a that will bound areas of curves from above. The existence of symplectic dilation is very far from being equivalent to -uniruledness. In fact, the existence of -dilation in [70] will also imply uniruledness. On the other hand, if is not -uniruled, then . By [46], the algebraic uniruledness is equivalent to symplectic uniruledness. Since the log Kodaira dimension provides obstruction to algebraic uniruledness for affine varieties, we have the following corollary, which provides a simple proof of the existence of exotic Stein for by taking complex exotic with non-negative log Kodaira dimension, which exists in abundance [67].
Corollary M**.**
Let be an affine variety of non-negative log Kodaira dimension, then and there is no symplectic dilation. In particular, any complex exotic with non-negative log Kodaira dimension is a symplectic exotic .
In particular, any affine variety admitting a Calabi-Yau compactification has nonzero symplectic cohomology hence is not displaceable by [33]. Similar results are investigated in [61].
Organization of the paper
In §2, we review symplectic cohomology and give a different treatment of the cochain complex on the zero action part. In §3, we construct an alternative description of and prove Theorem A-E via neck-stretching. Since we will compare cochain complexes on two different fillings, naturality is very important. We carry out a detailed discussion on naturality in §2 and §3. In §4, we review the BV operator and symplectic dilation and construct . Then we prove theorem G and show that are invariants of exact domains up to exact symplectomorphisms. In §5, we discuss uniruledness and prove Theorem L and its corollaries. In §6, we prove Theorem K and use the symplectic obstructions introduced in §3 and §4 to prove Theorem I. In §7, we discuss obstructions to symplectic cobordisms. In §8, we generalize the construction to strong fillings with vanishing first Chern class and finish the proof of Theorem F. We explain our orientation conventions in Appendix A.
Acknowledgements
The author is supported by the National Science Foundation under Grant No. DMS-1638352. It is a great pleasure to acknowledge the Institute for Advanced Study for its warm hospitality. The author would like to thank Katrin Wehrheim and Kai Zehmisch for helpful comments and is grateful to Oleg Lazarev and Mark McLean for answering many questions. The author also thanks referees’ helpful comments and suggestions. This paper is dedicated to the memory of Chenxue.
2. Symplectic Cohomology
In this section, we review the basics of symplectic cohomology. However, on the zero action part, we will use a Morse-Bott construction following [19]. Such modification is important to the proof of our main theorem and applications to uniruledness. We will first focus on the theory of exact fillings, the situation for non-exact fillings will be discussed in §8. We assume our contact manifolds and fillings are connected throughout the paper unless specified otherwise.
2.1. Hamiltonian-Floer cohomology using cascades
Let be a Liouville domain with a Liouville form . Then we have the completion with the completed Liouville form . Unless specified otherwise, the Reeb flow on the contact boundary is non-degenerate throughout this paper. Let denote the length spectrum of the Reeb orbits, i.e. the set of periods of periodic orbits. Given a time-dependent Hamiltonian on , the symplectic action of a contractible loop is defined by
[TABLE]
Symplectic cohomology is defined as the Floer cohomology of (2.1) for a Hamiltonian [56]. Alternatively, symplectic cohomology can be defined as the direct limit of Floer cohomology of for [18, 53]. In this paper, we will fix one special Hamiltonian, and our convention for Hamiltonian vector field is . First we consider a Hamiltonian such that on and when such that and . Then the periodic orbits of are all points in , and families of non-constant periodic orbits corresponding to Reeb orbits on shifted to the level , where is given by . The action of such orbit is then given by , which is a strictly decreasing function since . Then following [11], we can put a small time-dependent perturbation supported near each family of non-constant periodic orbits, such that the periodic orbits of the perturbed Hamiltonian are points in and pairs of non-degenerate non-constant orbits near each family of non-constant periodic orbits of . We will fix one such perturbed Hamiltonian and call it . Let denote the set of non-constant contractible periodic orbits of , then has the following properties.
- (1)
on . 2. (2)
, such that on for some and . 3. (3)
There are non-empty disjoint intervals moving towards infinity with , such that is a function with and . 4. (4)
There exists converging to , such that all periodic orbits of action are contained in .
Definition 2.1**.**
A Morse function on is admissible if on and has a unique local minimum. The class of admissible Morse functions is denoted by .
Remark 2.2**.**
* is not strictly Morse-Bott, since the critical points of are not Morse-Bott non-degenerate along . We will see in Proposition 2.6 that such points are invisible to our moduli spaces, also see [19].*
On the symplectization , a compatible almost complex structure is called cylindrical convex if preserves and , where is the Reeb vector field on .
Definition 2.3**.**
A time-dependent almost complex structure is admissible iff the following holds.
- (1)
* is compatible with on .* 2. (2)
* is cylindrical convex on .* 3. (3)
* is -independent on .*
The class of admissible almost complex structure is denoted by .
For the Hamiltonian , we are almost in a Morse-Bott case. We adopt the cascades treatment [19] of the Morse-Bott situation, hence we pick any admissible Morse function on . Let denote the set of critical points of . Let be a metric on . Then we define the following three moduli spaces.
[TABLE]
where . In (2.8), the action is the dilation preserving [math], which under the polar coordinate is the translation in . Since on , the Floer equation is well-defined on , because the condition implies (the interior of ), where near it. In particular, the Floer equation is the Cauchy-Riemann equation near . There will be no , for otherwise the Floer part will have negative energy.
Remark 2.4**.**
The Morse-Bott situation here is much simpler than [19], since we only have one non-isolated critical manifold and its action is the maximum among all critical points. Therefore only three types of moduli spaces above need to be considered, i.e. there is no cascades with multiple levels. Moreover, when one end is asymptotic to a point in , i.e. in (2.8), the equation degenerates to the Cauchy-Riemann equation, hence there is no new analysis.
The Gromov-Floer compactification of them is standard and was considered in [19], the only place that needs attention is (2.8). In particular, the curve in (2.8) could break at a point in . Since we choose to be convex near and , then the integrated maximum principle below implies that the component breaking at a point in is contained in . But since is exact, such configuration can not exist in the compactification. Moreover, since is cylindrical on , the integrated maximum principle prevent curves from escaping to infinity. The following is a special form of the integrated maximum principle of Abouzaid-Seidel [3], we recall it from [18] and state it for strong fillings, since we will use it in §8.
Lemma 2.5** ([18, Lemma 2.2]).**
Let be a strong filling of with completion . Let be a Hamiltonian such that near . Let be a -compatible almost complex structure that is cylindrical convex on for some . If both ends of a Floer cylinder (i.e. the component in (2.2) and (2.8)) are contained inside , then is contained inside . This also holds for depending on if on and on such that and is cylindrical convex on .
The original statement of [18, Lemma 2.2] requires that is exact and the conditions on and hold on a neighborhood of the hypersurface . However, their proof is based on integration of the curve outside . Moreover precisely, we can choose a sequence of regular values of such that . Then the integration argument in [18, Lemma 2.2] implies that the curve is inside every hypersurface as long the symplectic manifold is exact outside and the conditions on and hold on the for some .
Proposition 2.6**.**
The Gromov-Floer compactification of the moduli spaces (2.2)-(2.8) above are the following.
- (1)
, for . 2. (2)
, for . 3. (3)
, for and .
Proof.
The claim for (2) is the standard result in Morse theory. In (1), there are no other breakings due to action reasons. Curves in will not escape to infinity, since Lemma 2.5 can be applied to for some big enough. For (3), there exists , such that on we have . Then the curve in (2.8) has the property that . Then for , we can consider the following moduli space which will also be used later,
[TABLE]
Then we claim the Gromov-Floer compactification of is given by
[TABLE]
This is because if there is a limit curve with a nontrivial component breaks in . Since is not Morse-Bott along , hence it may not be true that exists. However we still have the limit set of for is contained in . Since we can apply Lemma 2.5 to . Hence is contained in , then the equation degenerates to the Cauchy-Riemann equation and extends to by removal of singularity for -curves. Due to the exactness assumption, there is no such nontrivial curve. It is clear that the compactness of implies the claim on (3). ∎
If , then there is a -grading assigned to elements of , by
[TABLE]
The convention here is consistent with the grading rule in [53], i.e. the unit will have grading [math]. For each component of , we can assign a well-defined virtual dimension . In general, the above assignment defines a -grading.
Remark 2.7**.**
Most of the results in this paper except those in §5 require a -grading, hence we will impose the condition in most situations. To get a -grading on symplectic cohomology generated by contractible orbits, one only needs . One special case of such condition is is torsion. All results in paper holds for this generalized condition. However, it seems that such generalization does not add many new examples. Hence we state all results in the simplified condition .
The following transversality is standard in symplectic cohomology. If we allow the Morse function to be generic, then transversality is easy to see. Using generic Morse function is enough for this paper, but for simplicity, we show transversality for any admissible Morse function , this is made possible by that the evaluation map on the universal moduli spaces is submersive [44, §3.4].
Proposition 2.8**.**
For every admissible Morse function , let be a metric on such that is a Morse-Smale pair. Then there exists a subset of second category (in particular it is dense), such that for every , is a compact manifold of dimension with boundary when for and . Here indicates that transversality holds for moduli spaces up to dimension .
Proof.
The situation for follows from the Morse-Smale assumption, and the situation for is standard on symplectic cohomology. Hence we need to prove transversality for . We consider the uncompactified moduli space in (2.9). Using the standard argument by universal moduli spaces and is somewhere injective [26], the universal moduli space
[TABLE]
is cut out transversely, where is the Banach manifold of admissible almost complex structures. Moreover, by [44, Proposition 3.4.2, Lemma 3.4.3], is transverse to all stable manifolds of . Then by the Sard-Smale theorem, there is a second category subset of , such that the uncompactified is cut out transversely. Then using the argument of Taubes [26, Theorem 5.1], we get a second category subset of smooth admissible almost complex structures where transversality holds555An alternative approach to get smooth almost complex structures is by considering smooth complex structure with derivative controlled by a sequence , see [24, §5]. For results in this paper, using almost complex structures is also sufficient.. Since the breaking in is either a Morse breaking at a critical point of or a Floer breaking at a non-constant periodic orbit of , in particular no new gluing analysis is required. This finishes the proof. ∎
Moreover, can be equipped with orientations following [25]. We use instead of to indicate the relation on orientations in a union. For example, is oriented such that , i.e. the boundary orientation is the product orientation. We explain our orientation convention in Appendix A. In the following, we will use the coherent orientations without proof.
Using the almost complex structure in Proposition 2.8, we can define the following cochain complexes by counting .
- (1)
is a free -module generated by . 2. (2)
is a free -module generated by . 3. (3)
is a free -module generated by .
The differentials are defined by
[TABLE]
Since each Floer cylinder has non-negative energy, we have that implies that . Hence there are finitely many such that for a fixed . In particular, the differential is well-defined. is the Morse complex of on and a subcomplex of , hence we abbreviate it to . We abbreviate the quotient complex to since it does not depend on (even the regularity requirement for to define does not depend on ).
Remark 2.9**.**
In this paper, the default coefficient is , since usually the -coefficient theory carries more information. However, all results in this paper hold for any coefficient except for the results in §8, where we need to use the Novikov coefficient over .
By construction there is a tautological short exact sequence,
[TABLE]
We use to denote the differential on and respectively. Let denote the map from to in the definition of for . Then is a cochain map , and it induces the connecting map in the induced long exact sequence. is defined by counting for and . Moreover, since the differential always increases action, for every , we can define and to be the subcomplexes of generated by orbits with action , or equivalently those contained in . Moreover, by Lemma 2.5, the curve appears in the differential of is contained in . We will call it the length filtration, in the exact case, it coincides the action filtration. Then we have
[TABLE]
similarly for the tautological long exact sequence.
The next proposition shows that what we defined is a model for the symplectic cohomology.
Proposition 2.10**.**
There are isomorphisms and , such that the following long exact sequences commutes,
[TABLE]
Proof.
We prove the isomorphism using a continuation argument from a non-degenerate Hamiltonian. We use another Hamiltonian , such that on , with on and . Moreover, everywhere and is a small admissible Morse function on . Then for a generic choice of , the Floer cohomology of defines and . Then we choose a homotopy such that when and when , when and . Let be a homotopy of admissible almost complex structures such that and . Let denote the set of contractible periodic orbits of , then we have and . Then we define the following moduli spaces,
[TABLE]
Since we assume , implies that by energy reasons. Therefore if , then . By the same reason in Proposition 2.6, we have the following compactification,
[TABLE]
Similarly, we can find a generic such that transversality holds for all moduli spaces of dimension . This would yield a cochain map from to . Note that preserves the length filtration and induces isomorphism on the first page of the spectral sequence. This is because on the action between and part, induces identity on the first page, since there. This shows is a quasi-isomorphism on the positive symplectic cohomology. On the part with action close to [math], the contribution to is from for , then we can apply Lemma 2.5 to . Hence everything is contained in . Then following [26], for sufficiently -small, there is exists regular independent of . Then the moduli space can be identified with the usual continuation map in Morse theory. This shows is a quasi-isomorphism and induces the commutative diagram of exact sequences. ∎
Remark 2.11**.**
If we consider the continuation map from to , then we need to flow in the direction of from . Thus the degenerate may not be invisible anymore. This could cause problem in compactness and Fredholm setups. As pointed out in [19, §5], the difficulty can be overcome by choosing a particular homotopy.
2.2. Naturality of the construction
Since we will need to change almost complex structure in the neck-stretching process and compare things in two different domains, to keep track of the naturality of maps we write down, it is important to specify the choice of almost complex structure and the regularity requirement. To emphasize this aspect, we will always spell out the almost complex structure when needed.
In order to prove , we need transversality for moduli spaces up to dimension . However, to define or , we only need transversality for moduli spaces up to dimension [math]. Therefore we have another two larger second category subsets of : so that and are defined respectively. Similarly we define , , i.e. sets of admissible almost complex structures such that are defined on and respectively. Due to the a priori energy control, are open.
Proposition 2.12**.**
Let or , then are differentials respectively.
Proof.
We will show that on , the other cases are similar. Since we have an a priori energy bound, by compactness, there exists an open neighborhood of , such that . Since is dense, we choose . Let be the differential defined using , then . We claim . Let be a smooth path connecting and in , we can consider the moduli space for . The regularity of each implies it is a compact manifold with boundary and , since other boundary will involve with , which is empty by regularity of . This proves the claim. ∎
Remark 2.13**.**
Using instead of is important in the neck-stretching argument. The index room provided by the ADC condition only allows us to argue that moduli spaces up to dimension zero stays completely in the symplectization of the boundary and are regular after neck-stretching. This forces us to use instead of , see Remark 3.13 for details.
Next we recall the continuation map when varying . Given and homotopy such that for and for . Then we can define the following moduli spaces.
- (1)
For , is defined to be the compactification of the following
[TABLE] 2. (2)
For , is defined to the compactification of the following
[TABLE]
Then for generic choice of , the moduli space is a compact manifold with boundary of dimension whenever . Then boundary configuration of implies the following cochain map
[TABLE]
Similarly for , for generic choice of , we defined the following cochain map.
[TABLE]
Then we have the following standard result on the naturality of the construction.
Proposition 2.14**.**
Cochain morphisms and up to homotopy are independent of the choice of . Moreover, it is functorial with respect to concatenation of homotopies up to homotopy.
This proposition follows from a standard homotopy argument, c.f. [6]. Since we are not varying , the analytic setups are similar to Proposition 2.6 and Proposition 2.8. Hence we omit the proof. By Proposition 2.14, we may suppress in . Another observation is that , similarly for , we use to denote the restrictions, they also satisfy Proposition 2.14. Similar to Proposition 2.12, we only need regularity of for moduli spaces up to dimension [math] to get well-defined . The key property we need in the neck-stretching is the following.
Lemma 2.15**.**
Assume we have a smooth family or . Then or are identities (up to homotopy) for any respectively.
Proof.
We prove the case, as the case is similar. It is sufficient to prove the following: for any , there exists a such that for every , we have is homotopic to identity form the chain complex using to the one using . Let be a smooth function such that for and for . Then we have a family of homotopies of almost complex structures for in a neighborhood of [math]. In the following, by a regular homotopy of almost complex structures, we mean a homotopy of almost complex structures such that moduli spaces up to dimension [math] in the definition of continuation map are cut out transversely. Then is a regular homotopy of almost complex structures and the continuous map is identity corresponding to constant cylinders over periodic orbits. Since there is a universal energy bound when restricted on , by compactness, there exists such that if , is a regular homotopy. It is clear the trivial cylinders on periodic orbits contributes to the continuation map. But there are no other contribution, due to compactness and that has no other contributions to the continuation map. ∎
Remark 2.16**.**
From Proposition 2.12, is constant on each . Lemma 2.15 says the obvious identification is natural, i.e. it is the continuation map, which has the functorial property in Proposition 2.14.
In Proposition 2.12, we know that on is defined using . We still need to verify that is well-defined on for later application. Following the proof of Proposition 2.12, let be an open neighborhood of that is contained in . Pick any , then is defined, and by Proposition 2.12 it is a cochain map using defined by since is locally constant.
Proposition 2.17**.**
* above is well-defined on up to homotopy.*
Proof.
Let , then there exists a regular homotopy connecting and , then the continuation map gives the following relation
[TABLE]
By Lemma 2.15 and Proposition 2.14, is homotopic to identity. By the argument in Proposition 2.12, . This implies that and are homotopic as cochain maps from . ∎
The above discussion shows that, down to an action lower bound, we only need regularity for moduli spaces up to dimension [math] to define differentials or cochain maps up to homotopy.
3. Invariance of restriction map and persistence of vanishing
In this section we prove Theorem A, the strategy of the proof is contained in following picture, which we will explain in detail.
3.1. Morse description of the restriction
In this section, we assume admissible Morse function satisfies on . Let be a Morse function on . We pick Riemannian metrics on and respectively. Then we can define the following moduli spaces
[TABLE]
where . By adding broken flow lines in and on , we have that admits a compactification . Then we have the following.
Proposition 3.1** ([35, Proposition 2.2.8]).**
Given as above, there exist generic metrics , such that the unstable manifolds of intersect stable manifolds of transversely in . Then is a manifold with boundary of dimension if . When ,
[TABLE]
Then counting defines a cochain map between Morse cochain complexes. And on cohomology, it is the restriction map .
In the following we fix such that Proposition 3.1 holds. Therefore on the complex level, the composition of is given by the composition of , with the map defined by counting the moduli space for , which is the part of Figure 1. Next we show that the middle can be bypassed. First, we define the following moduli space
[TABLE]
where the -dilation acts on the part. The equation makes sense, since on we have . Then we have a compactification and when transversality holds, it defines a map from , which is the part of Figure 1. In the following, we will show that it is homotopic to the composition . To such purpose, we define the the following moduli space for involving finite time flow lines of ,
[TABLE]
where the -dilation acts on the part. In addition to configurations of breaking at an orbit in or a point in , the compactification of also contains corresponding to , i.e. a Morse breaking of the middle gradient flow line in , and corresponding to on the nose. In particular, we have the following.
Proposition 3.2**.**
* has a compactification*
[TABLE]
For a generic choice of , any such that , we have is a manifold with boundary of dimension . And
[TABLE]
To keep track of the regularity of almost complex structures, we introduce the following notations.
- (1)
is the set of regular admissible for moduli spaces of dimension up to . And is the set of regular admissible for moduli spaces of dimension up to [math] and action down to . 2. (2)
is the set of regular admissible for moduli spaces of dimension up to .
Then all of them are of second category, and are open. By looking at the potential boundary configurations, we have various relations among , e.g. , .
An instant corollary of Proposition 3.2 is that if , then the composition of is homotopic to defined by counting . The following proposition is in the same spirit of Proposition 2.17. Since is defined on if and is defined if , the following proposition shows that they are the same up to homotopy for such of low regularity.
Proposition 3.3**.**
Let , then is defined. In this case, is homotopic to on . is compatible with continuation maps on up to homotopy, i.e. the following is commutative up to homotopy,
[TABLE]
Proof.
There exists an open neighborhood of contained in . Then using , we have that defines a cochain map homotopic to . By Proposition 2.17, is well-defined up to homotopy for different . Finally, similar to Proposition 2.12, are locally constant. The compatibility with continuation map is standard, where the homotopy is defined by considering moduli spaces similar to but with an -dependent almost complex structure and without quotienting the -action (which does not exist). ∎
All above discussions about naturality lead to the following proposition that will be used in the proof of Theorem A.
Proposition 3.4**.**
Let , then the direct limit of the following computes :
[TABLE]
where horizontal arrows in the bracket are continuation maps and maps are defined by .
Proof.
Pick a regular enough , such that the direct limit of computes . By Proposition 3.3 and functoriality of continuation maps, this diagram is isomorphic to the sequence in the claim by continuation maps. ∎
3.2. Independence
Asymptotically dynamically convex (ADC) contact manifolds was introduced in [38]. Let be a dimensional contact manifold with a contact form , then we define
[TABLE]
If , then for any contractible non-degenerate Reeb orbit , there is an associated Conley-Zehnder index . The degree of is defined to be .
Definition 3.5**.**
Let be a contact manifold. is called -ADC iff there exists a sequence of contact form and real numbers , such that all (contractible) Reeb orbits in are non-degenerate and have degree greater than . is called strongly -ADC if in addition, all Reeb orbits of with period smaller than are contractible. We will abbreviate (strongly) [math]-ADC manifolds to (strongly) ADC manifolds.
Remark 3.6**.**
In general, when , choosing a trivialization of will assign a Conley-Zehnder index to every Reeb orbit. The Conley-Zehnder index of is independent of trivializations if is annihilated by (which is the space of trivializations up to homotopy), i.e. for any in the pairing . The reason of considering topologically simple filling is to make sure a Reeb orbit contractible in is assigned with a well-defined Conley-Zehnder index using only the boundary. From this point of view, one can consider a slight generalization of ADC manifolds and their topologically simple fillings, i.e. now stands for orbits annihilated by with period and topologically simple filling now requires is injective and . Most results in the paper hold in such setting too.
Example 3.7**.**
Contact manifolds admitting flexible Weinstein fillings with vanishing first Chern class are ADC by the work of Lazarev [38] and are strongly ADC for subcritically fillable contact manifolds. Moreover, Lazarev showed that ADC is preserved under flexible surgery777Some extra conditions need to be satisfied when attaching a -handle, c.f. [38, Theorem 3.17].. Cotangent bundle is ADC whenever . Quantization bundles over a positive monotone symplectic manifold are ADC, whenever the degree of the bundle is not too big.
In the following, we introduce an analogous definition for filling, which will be used in the construction of ADC manifolds in §6. Assume contact manifold has a symplectic filling with . Let be a non-degenerate Reeb orbit, if is contractible in , then a canonical Conley-Zehnder index can be assigned.
Definition 3.8**.**
Let be a Liouville domain with . is called -ADC if there exist positive functions on and real numbers , such that all contractible (in ) Reeb orbits of with period smaller than are non-degenerate and have degree greater than . is called strongly -ADC if in addition all Reeb orbits of with period smaller than are contractible in . In particular if is ADC, then is also ADC.
Example 3.9**.**
In §6, we show that is always ADC for any Liouville domain with and . is always ADC, given are both ADC Liouville domains of dimension . They provide more examples of ADC contact manifolds.
Example 3.10**.**
It is possible that is ADC but is not ADC, the source of this discrepancy is that we can have Reeb orbits that are non-contractible in the boundary but are contractible in the filling and have low SFT degree. For example, is ADC, but the disk is not ADC.
Remark 3.11**.**
Dynamical convexity was introduced in [32] on as a substitute of the geometric convexity. For , a contact form is dynamical convex if the minimal Conley-Zehnder index is , as it is the case for convex hypersurfaces in . Note that this is the lowest degree that is nontrivial in the cylindrical contact homology of . Following this idea, Abreu-Macarini [4] defined dynamical convex for a larger class of contact manifolds, as a property of contact forms. Although with similar names, Lazarev’s asymptotically dynamically convexity has a very different motivation, which is a generalization of index-positive in [18] and is related to the existence of nice contact forms introduced in [22]. It is clear that ADC is equivalent to . Such number is an invariant of the contact topology. A similar number was defined by McLean [47] and shown to be equal to twice the minimal discrepancy for a large class of isolated singularities, when it is nonnegative. In particular, the link is ADC if the singularity is terminal.
From the first glance of , has some chance to be independent of the filling since both only depend on the contact boundary. However, the curve in may rely on the filling. If we have the ADC property, a neck-stretching argument implies that actually does not see the interior of . Neck-stretching argument was used to show independence of in [18] for index-positive convex manifolds. It is easy to show is independent of filling for any by neck-stretching. But we also need some naturality of the independence. In the case of independence of , naturality was discussed carefully in [38, Proposition 3.8] for ADC manifolds. In the following, we give a simplified treatment. Since in our case will not change and is already constant on , we can bypass the Viterbo transfer map in the proof of [38, Proposition 3.8].
Let be an ADC contact manifold with two topologically simple fillings with fixed Hamiltonians outside as in §2. Note that both contain the negative end of symplectization . Since is ADC, for every , there exist contact type surfaces , such that lies outside of and contractible Reeb orbits of contact form has the property that the degree of an orbit is greater than [math] if the period of the orbit is smaller than .
Neck-stretching near is given by the following. Assume does not intersect each other for some small . Assume , where is independent of and and , where . Then we pick a family of diffeomorphism for such that and near the boundary is linear with slope . Then the stretched almost complex structure is defined to be outside and is on . Then and gives almost complex structures on the completions of the cobordism between and , the filling of , and the symplectization . Since we need to stretch along different contact surfaces, we assume the have the property that will modify the almost complex structure near to a cylindrical almost complex structure for from to and for , we only keep stretching along . We use to denote the set of admissible regular , i.e. almost complex structures satisfying Definition 2.3 on the completion of the cobordism between and and asymptotic (in a prescribed way as in the stretching process) to on the negative cylindrical end, such that the following two moduli spaces in the picture up to dimension [math] with action of the positive end are cut out transversely. It is an open dense set.
Proposition 3.12**.**
With setups above, there exist admissible on and respectively and positive real numbers such that the following holds.
- (1)
For and any , . Moreover, for such almost complex structures, all zero dimensional moduli spaces and are the same for both and contained outside for with action , . 2. (2)
* on .*
Proof.
We prove the proposition by induction. We first choose a such that . Assume is not contained outside in the stretching process. Then a limit curve outside has one component by [18, Lemma 2.4]888Note that our symplectic action has the opposite sign compared to [18, Proposition 9.17].. Moreover, by the argument in [18, Lemma 2.4], can only asymptotic to Reeb orbits that are contractible in on with period smaller than . Since is topological simple, is contractible in . Note that as . Since we need to quotient the -action, the expected dimension of the moduli space of such is negative. By our regularity assumption on , is cut out transversely, which contradicts its existence. Hence for close to [math], using , we have lives outside . Since and every curve in lives outside , we have for small. Similarly, we have the same property for and for small. The argument can be applied to stretching on both and a compactness argument shows that for every , there exists and such that the same regular and outside property hold for for and . Therefore Claim (1) holds for some . Since has the property that all curves in Figure 3 with must be contained outside , i.e. curves in (which are viewed as limit curves after stretching). Then we may assume is small enough such that . Therefore we can perturb outside near orbits in to such that , this will not influence the previous regular property for periodic orbits with action down to by the integrated maximum principle (Lemma 2.5). Then we can keep the induction going. It is clear the construction can be made on both yielding the same and . ∎
Remark 3.13**.**
From the proof above, it is clear that we can not guarantee in for all small unless we assume -ADC. Moreover, there is no guarantee for in , that is why we need Proposition 2.17 and Proposition 3.3.
Proof of Theorem A.
Using the almost complex structures from Proposition 3.12, we have the following sequence for both fillings
[TABLE]
where each complex and the map to are identified with each other for both fillings. Therefore it suffices to show the continuation map is naturally identified. The continuation map is decomposed into continuation maps and . Then is identity by Lemma 2.15 using homotopy for . Since is the same as inside , then the integrated maximum principle implies that is composition , which is the inclusion, hence it is the same for both . Therefore continuation maps in (3.1) are inclusions, hence the whole diagram can be identified, and Proposition 3.4 implies the theorem. ∎
Proof of Corollary B.
If , then . Then by Theorem A, for any other topologically simple exact filling , we have . Then and Theorem A implies the invariance of . ∎
Using Theorem A, we derive the following obstruction to Weinstein fillability.
Corollary 3.14**.**
Let be a dimensional ADC contact manifold and . If admits a topologically simple exact filling such that a non-trivial element of grading greater than is in the image of , then does not admit Weinstein fillings.
Proof.
Assume otherwise that admits a Weinstein filling . Since and is built from by attaching index handles, we have and is isomorphism, i.e. is topologically simple. Then is isomorphic to . Since is supported in degree , we arrive at a contradiction. ∎
When the obstruction in Corollary 3.14 does not vanish for one contact manifold, it is easy to construct infinitely many obstructed examples by the following.
Proposition 3.15**.**
Let be a contact manifold, such that conditions in Corollary 3.14 hold. For any ADC contact manifold with a topologically simple exact filling , the contact connected sum is not Weinstein fillable.
Proof.
By assumption, the image of contains an element of grading . That is the image of contains an element , which restricts to . That is is mapped to [math] in . Note that can not be , for otherwise it will imply that is surjective, which contradicts the Stokes’ theorem. By [15], if we view , then is mapped to [math] in . This implies that is in the image of , since , we have restricted to the boundary is represented by and non-zero. This implies that contains a nontrivial element of degree for . By [38], is ADC, and it is direct to check that is topologically simple. Then by Corollary 3.14, is not Weinstein fillable. ∎
3.3. Symplectic cohomology for covering spaces
Before proving Theorem E, we need to introduce symplectic cohomology for covering spaces. Let be an exact domain and a covering (not necessarily connected). The idea is lifting all geometric data to the covering space to define a Floer theory. We define following two sets
[TABLE]
Then we can define for as follows, if ,
[TABLE]
other cases are similar. Hence for regular , is always diffeomorphic to some connected components of with the same orientation. In particular, by Proposition 2.8, is always a compact manifold with boundary of dimension when and . Then we can use them to define a cochain complex . However, the generator set is infinite even with an action bound, and since we are trying define the cohomology of the covering space, the cochain complex is the direct product in the fiber direction, i.e. . The differential on a generator is again defined by
[TABLE]
The compactness of implies that for any , there are at most finitely many such that . Therefore the differential is well-defined on the complex. We can similarly define . By definition, the cohomology is the cohomology of the universal cover , since the cochain complex is dual to the Morse homology complex with local system, which computes the homology of the universal cover [30, §3.H]. Moreover, there is always a cochain morphism defined by sending corresponding to the pull-back to the covering. We define to be the cohomology of . Then we have a long exact sequence,
[TABLE]
Moreover, the natural maps are compatible with the long exact sequence. We can lift everything discussed before to , hence there is the following analogue of Theorem A.
Proposition 3.16**.**
Under the same assumption as in Theorem A, let be a covering, then is a covering of . Then is independent of the topologically simple exact filling and covering , as long as .
Theorem 3.17**.**
Assume is an ADC contact manifold. If is a topologically simple exact filling of such that is isomorphism and . Then for any other topological simple exact filling , we have is an isomorphism.
Proof.
Assume is only injective. Then the universal cover restricted to boundary is copies of the universal universal cover . Let be the universal cover of , since is an isomorphism, we have . Since is surjective due to that is an isomorphism and the following commutative diagram
[TABLE]
Since copies of the universal universal cover restricted to boundary is also copies of . Then by Proposition 3.16, we have that is surjective. However factors through , which contradicts that the cardinality of is greater than . ∎
Proof of Theorem E.
It is sufficient to prove the strongly ADC case, as the ADC case is proven in Theorem 3.17. Since is an isomorphism, we have is an isomorphism. By the universal coefficient theorem. We have is an isomorphism and is an isomorphism on the torsion part. By Corollary B, we have the same thing holds on . Then using the universal coefficient theorem again, we have is an isomorphism. Since is abelian, this implies that is injective, then by Theorem 3.17, we have is an isomorphism. ∎
3.4. Local systems
Albers-Frauenfelder-Oancea [5] found examples of cotangent bundles with vanishing symplectic cohomology after appropriately twisting by local systems. Since cotangent bundles are ADC, when base manifolds have dimension at least , we discuss the analogue of Theorem A for local systems and its applications to symplectic topology in this part. The discussion here works for general local systems, however, to get interesting applications, we will only consider the following special local systems. We use to denote the connected component of contractible loops in the free loop space and let be a commutative ring.
Definition 3.18**.**
An admissible local system on a Liouville domain is a flat bundle over and is trivial on the constant loops.
Let denote the group of units in , then using parallel transportation, a flat bundle over is represented by a class in , where the action is given by conjugation. We use to denote the space of contractible based loops in . Note that we have a short exact sequence of groups,
[TABLE]
from the fibration , where is the evaluation map at the starting point. Moreover, we have
[TABLE]
where acts on by conjugation. As a consequence, we have
[TABLE]
where is the subgroup of -invariant elements. The projection to the corresponds to the restriction on constant loops. Therefore an admissible local system is represented by an element of , in other words, it can be represented by a trivial extension of a -invariant local system on .
With an admissible local system , we can define symplectic cohomology with local system , where the cochain complex is generated by fibers of the local system over or constant loop . The differential now needs to take the parallel transportation into account, i.e.
[TABLE]
where is a zero dimensional moduli space, and a -module map , i.e. the parallel transportation determined by when we view as a path in connecting and . We use to denote the cohomology, such theory shares all properties of . In particular, we have the following proposition from the same argument of Theorem A.
Proposition 3.19**.**
Let be an ADC manifold, then is independent of topologically simple fillings and , as long as is fixed.
To illustrate the necessity of the ADC condition, we consider the cotangent circle bundle , then the minimal Conley-Zehnder index is , which makes it not ADC. By [5], there is a local system on , such that . However, the local system on is trivial, hence it has a trivial extension to , whose symplectic cohomology is not zero. As a consequence, depends on in this non-ADC case.
To make Proposition 3.19 useful as Theorem A, we will explain that is a ring and is a ring map. The product structure on symplectic cohomology is defined by counting holomorphic curves on -punctured spheres, with two positive puncture and one negative puncture, c.f. [53]. We fix a trivialization of on constant loops. Given any such curve with positive ends asymptotic to and negative end asymptotic to , it determines a module morphism as follows,
[TABLE]
where are the based loops with the same base point as the following picture shows, is the concatenation of and , are the cylinders represented by the colored region and is the conical isomorphism in [5, Lemma 1] if we fix a trivialization of on constant loops.
Proposition 3.20**.**
Given a pair-of-pants curve , in (3.3) is well-defined and only depends on the homotopy class of .
Proof.
Since the merging of into is not unique, the potential ambiguity follows from different ways of merging. More explicitly, if we have two choices of merged based loops and , then there are two cylinders from to respectively, and . Then we can form a concatenation of cylinders from to . Then it suffices to prove the following commutative diagram,
[TABLE]
Let be the common base point of , i.e. , we recall from [5, Lemma 1],
[TABLE]
where the first map is determined by two paths of based loops from to the constant loop , the middle map is determined by the conical isomorphism since we fix a trivialization over constant loops, the last map is determined by the inverse of the concatenation of and , which is a path from to in the based loop space. By the homotopy lifting property of , there exists a lift of extending , similarly for , then we have the following commutative diagram
[TABLE]
may not homotopic to . But to prove (3.4), it suffices to prove the following commutative diagram
[TABLE]
where and are two loops in such that for . Note that the local system is trivial on , we can modify by elements in from the inclusion of constant loops without changing . Therefore we can assume for all . We may assume the same thing for . Let denote the path in connecting to . Then it suffices to prove the following commutative diagram
[TABLE]
Therefore it suffices to prove that . Therefore it is enough to verify that is homotopic to as a loop in . Note that and both represent a based loop of based loops in , where the base is the constant loop . Then the claim follows from the same proof for the fact that second homotopy groups are abelian. Note that (3.4) also implies that only depends on the homotopy class of . ∎
As a consequence of Proposition 3.20, we can count pair-of-pants moduli spaces twisted by to define a ring structure on . That is a ring map follows from the same argument for untwisted symplectic cohomology, see [53].
Proof of Theorem D.
We use local systems with . The assumption implies that , in particular, is an isomorphism. We first assume that is oriented and spin. Following [5], we consider local systems on trivial on induced from , which are represented by , where is the universal cover of and acts on the cohomology by deck transformation. By [5, Proposition 6, 9], contains nontrivial images iff the Hurewicz map is nonzero. In the case of (1), by [5, Theorem 1], there exists an admissible local system such that . Moreover, such local system is represented by an element in the image of for some prime . Then the local system on is represented by the restriction to and it is from an element of . By assumption, is surjective, which implies that extends to . Hence the claim follows from Proposition 3.19. If is non-orientable or not spin, given a local system , we have [1, Chapter 3], where is the orientation local system on and is an admissible local system defined in [1, Chapter 2], which is transgressed from (in the oriented not spin case, it is transgressed from the second Stiefel-Whitney class). Hence by assumption, this local system can be extended to . Hence the invariance follows similarly as we can find an admissible local system such that by [5, Theorem 1].
For case (2), if is spin, there exists some prime such that is nonzero. Since when , the any nontrivial element of determines a local system with vanishing symplectic cohomology, then the claim follows. For not spin manifold, is the transgression of the second Stiefel-Whitney class, hence it can also be extended to by our condition.
If , then we have a section and is a homotopy equivalence. Therefore the invariance of implies that is an isomorphism. In particular, the composition induces a rational homotopy equivalence. ∎
Remark 3.21**.**
It is possible to get invariance of cohomology for under the similar assumptions as in Theorem D. We can consider -local systems that are trivial on constant loops, such local system is classified by . Since for any , we have , then [5, Proposition 3] applies to get vanishing of symplectic cohomology.
3.5. Diffeomorphism type
In some situations, the invariance of cohomological information would yield information about the diffeomorphism type via h-cobordism. Such argument was used extensively in [7]. In the following, we extract some of the topological conditions from [7] such that the h-cobordism argument can be used. In particular, combining with the results from previous sections, we get the uniqueness of diffeomorphism type for many cases.
Definition 3.22**.**
An oriented manifold with boundary is good if the following conditions hold.
- (1)
There exists diffeomorphic to and is contained in the collar neighborhood of . 2. (2)
There exists a locally closed manifold , such that induces isomorphism on cohomology and the corresponding copy of on is homotopic to in the collar neighborhood of .
Example 3.23**.**
The major source of good domains is the following.
- (1)
* for manifold with . Then there exists a section . Then we may take .* 2. (2)
. Then may be taken as .
Proposition 3.24**.**
Let be a good domain with boundary . If has a another filling such that is isomorphic to , then , where is a homology cobordism from to .
Proof.
Since in the collar neighborhood of in , we have a diffeomorphic to . By deleting this , we have cobordism from to . We claim is an isomorphism. Let be the homotopy from to in the collar neighborhood. This follows from the following commutative diagram
[TABLE]
By assumption, we have is an isomorphism and the first arrow is identified with , hence an isomorphism. Therefore is an isomorphism. Then by excision we have . Then the universal coefficient and Poincare duality implies that . Therefore is a homology cobordism. ∎
Once we know that is simply connected and the cobordism in Proposition 3.24 is simply connected, the homology cobordism becomes -cobordism by the relative Hurewicz theorem. Therefore, when , we have is diffeomorphic to . In particular, we can prove Theorem C.
Proof of Theorem C.
Contact manifolds in the statement of Theorem C are ADC, where case (1) follows from Theorem 6.3. It follows from Corollary B and Proposition 3.24 that different fillings are differed by homology cobordisms. Note that by Theorem 3.17, we have is simply connected. Then the homology-cobordism from Proposition 3.24 is simply connected by the Van Kampens Theorem. In particular, is an h-cobordism. Therefore the diffeomorphism type is unique. ∎
4. Persistence of symplectic dilation
Symplectic cohomology is naturally equipped rich algebraic structures, in particular, is a BV algebra with a degree BV operator , c.f. [59]. With such structure, symplectic dilation was introduced in [59] as an element of , such that .
Example 4.1**.**
If , then [math] is a symplectic dilation. If admits a symplectic dilation and be another Liouville domain, then admits a symplectic dilation by [57, Example 2.6].
Example 4.2** ([59, Example 6.4]).**
* admits a dilation with field coefficient if , and admits dilation for any coefficient when . also admits dilation if . does not admit dilation, in particular there is no dilation on .*
More examples with symplectic dilations are constructed by Lefschetz fibrations, since by [59, Proposition 7.3], if the fiber of a -dimensional Lefschetz fibration contains a dilation for , then so does . By repeatedly applying this result, Seidel [57, Example 2.13] showed that the Milnor fiber of a singularity of form admits symplectic dilations.
Example 4.3**.**
The link of with is ADC. The associated Milnor fiber provides examples with ADC boundaries admitting symplectic dilations. The contact boundary admits a Morse-Bott contact form whose generalized Conley-Zehnder indices were computed in [36, §5.3.1]. The Reeb orbits are completely classified by two natural numbers . Let be the maximal subset of such that and has at least two elements. There are also some restrictions on , see [36] for detail. Then there is a -dimensional family of Reeb-orbits with period and generalized Conley-Zehnder index
[TABLE]
Then the minimal Conley-Zehnder index after a small perturbation is (4.1) minus . When is even, the Conley-Zehnder index of a small perturbation is at least , hence the degree is at least which is positive if . When , it is least . When is odd, the degree is at least . Therefore such manifold is ADC.
Like the vanishing of symplectic cohomology, the existence of symplectic dilation is also preserved under the Viterbo transfer map. That is, let be a Liouville subdomain, then the Viterbo transfer map preserves the BV structure. In particular, if admits a symplectic dilation, so does . Therefore, the existence of symplectic dilation may be viewed as an indication of the complexity of the Liouville domain, which is next to the vanishing of symplectic cohomology. The goal of this section is to prove for ADC contact manifolds, the existence of symplectic dilation is a property independent of the filling in many cases, hence measures the contact complexity. This is done by showing independence of a structure map as before, which also bears interests.
4.1. BV operator
Similar to the discussion in §2, we will define using . However, to make sure Lemma 2.5 can be applied. We need to consider two such functions , such that the following holds.
- (1)
and satisfy same conditions of in §2, and share the same and . 2. (2)
for all . 3. (3)
On each , and and .
Roughly speaking the requirements above ask that grows faster than , for example is a perturbation of and is a perturbation of . We fix such two functions, we also fix a smooth decreasing function , such that for and for . Then we define
[TABLE]
Then for , we have and for we have . Moreover by construction . Moreover, on region , . Then
[TABLE]
In particular, the conditions in Lemma 2.5 are satisfied for on .
Remark 4.4**.**
The extra complexity is due to that depends on . If we twist to get it is never true that . Hence Lemma 2.5 can not be applied and the compactness proof fails. An alternative fix is using an autonomous Hamiltonian and the cascades moduli spaces to define the BV operator as in [11].
Let be the set of smooth families of admissible almost complex structures , such that there exist with when and when . Let be the set of families with positive ends is given by and negative end is given by . Then for , for a generic choice of , we have the following moduli spaces.
- (1)
For , is defined to be the compactification of the moduli space of solutions to the following
[TABLE] 2. (2)
For , is defined to be the moduli space of solutions to the following
[TABLE]
Since , any solution to will have the property that
[TABLE]
As a consequence, there is no for and . By the construction of , Lemma 2.5 can be applied to get compactness of . Therefore we have the following with a similar proof to Proposition 2.6 and Proposition 2.8.
Proposition 4.5**.**
For a generic choice of , we have is a compact manifold with boundary of dimension when . And , where are moduli spaces associated to and .
By this boundary configuration, defines a cochain map . Moreover decomposes into and , which count and respectively. In particular, is a cochain map . By (4.4), maps to . Therefore we use and to denote the restrictions respectively. Lemma 2.5 implies that curves appearing in are contained in .
Let denote the connecting map . Then we can define a degree map
[TABLE]
where such that .
Proposition 4.6**.**
* is well-defined. If is a cochain map on that can be decomposed into , such that for . Then on cohomology we have .*
Proof.
Note that we have and , when we write them using the zero and positive decomposition, we have the following formula.
[TABLE]
We first show that , that is
[TABLE]
Since , we have is closed.
Now we consider , then we can choose , then we have
[TABLE]
Hence the difference is exact. Finally, we consider where . Then we have the difference is which is in the image of .
If we have such and , then we have the following
[TABLE]
Then (4.8) implies that induces a map on . (4.9) implies that on cohomology. (4.10) implies that on cohomology. Lastly, for with , we have
[TABLE]
Therefore we have
[TABLE]
That is on cohomology. ∎
4.2. Continuation maps
There are two continuation maps we need to consider, one is the continuation from to . The other is the continuation from homotopies of almost complex structures and its compatibility with and .
4.2.1. Continuation map from to
Let , that is . In particular, Lemma 2.5 can be applied to on . Then we can consider the compactified moduli spaces of the following
[TABLE]
We denote them by and . Then for , there exists generic homotopy from to , so that the moduli spaces above are compact smooth manifolds with boundaries, when the expected dimension is . In particular, it defines a cochain map by counting when and is identity on . respects the splitting into and . Moreover maps . We will show in §4.6, is an isomorphism on cohomology. The following functoriality of the continuation map is also verified in §4.6.
Proposition 4.7**.**
Let and , then the following diagram is commutative up to homotopy.
[TABLE]
where the horizontal maps are continuation maps constructed above and vertical maps are continuation maps in Proposition 2.14.
4.2.2. Compatibility with homotopies of
Assume we have and and regular homotopies from to respectively, so that the continuation map in Proposition 2.14 is defined, and are denoted by . Assume and are two homotopies with ends and respectively, such that Proposition 4.5 holds.
Following [1, §2.2.3], we consider a family of almost complex structures such that
- (1)
When , if and is if . They patch up smoothly by our definition of and 2. (2)
When , if and is if . 3. (3)
For every , when , , when , .
Then for , we can consider the moduli space of solutions to
[TABLE]
Let denote the compactification, we can similarly consider for . Then for generic a choice of , is a compact manifold with boundary if the expected dimension is . Let be the BV operators defined using and . Let be the operator counting rigid points in . Then the boundary configuration leads to the following relation
[TABLE]
Moreover, both have splittings into and has splitting into . That is they are in the form that Proposition 4.6 can be applied.
The following propositions show that the structure we defined is the same BV operator defined in [59]. We will prove them in §4.6.
Proposition 4.8**.**
Using the identification in Proposition 2.10 to identify with , then is the BV operator on .
Proposition 4.9**.**
* and are invariants of exact domains up to exact symplectomorphisms using the identification in Proposition 2.10.*
Hence, from now on, we will proceed the construction using .
Proposition 4.10**.**
* admits a symplectic dilation iff .*
Proof.
If , then , hence is always in the image and there exists a dilation. In the following, we will consider the case when . Using Proposition 4.8, assume closed satisfies on cohomology, where is represented by the unique local minimum of . Since can be written as , where . Therefore we have for . Then we have , hence . Since preserves , we have is in the image of .
On the other hand, if for and . That is there exists , such that is closed. We have , where is closed and and . Since , we have in is zero. Therefore we have , which is in cohomology. Therefore is a dilation. ∎
By composing with the restriction map , we define a map
[TABLE]
And this is the second structure map we are interested in.
4.3. Shrinking the gradient flow
In this subsection, we will apply the same idea in §3 to and rewrite it without using the Morse function . As in §3, we choose a Morse function on along with a metric , so that Proposition 3.1 holds. On the complex level, the composition of is represented by counting the moduli space and for . In particular, if we define by counting and by counting . Then we define a map representing by
[TABLE]
for . To bypass the middle , we define to be the compactification of the following moduli space
[TABLE]
The space makes sense, since we push into interior, where . Then defines a map from . To show it defines the same thing as (4.20), we define to be the compactification of the following moduli space for ,
[TABLE]
Then we have following regularity property.
Proposition 4.11**.**
For generic choices of and , for any with , is a manifold with boundary of dimension and
[TABLE]
Proposition 4.12**.**
For generic choices of and as in Proposition 4.11. Let such that , then represents the same class in as (4.20). Hence on cohomology, in (4.20) equals to the difference of counting , .
Proof.
By Proposition 3.2 and 4.11, we have is the following,
[TABLE]
It is , where are defined by counting and and is the Morse differential on . Since and , we have the above term is , which is exact. Hence the claim is proven. ∎
4.4. Naturality
To keep track of the regularity of almost complex structures, we introduce the following.
- (1)
with ends is set of regular almost complex structures for moduli spaces of dimension up to . with ends is the set of regular almost complex structures for of dimension up to [math] and action of down to . Similarly for . 2. (2)
with ends and for moduli space of dimension up to . is the set of regular admissible homotopy with ends for moduli spaces of dimension up to [math] and action of down to . 3. (3)
with ends is the set of regular for moduli spaces of dimension up to . 4. (4)
with ends is set of regular for moduli spaces in §4.2.1 of dimension up to . with ends is set of regular for moduli spaces up to dimension [math] with action of down to .
As usual, is of second category, and is open dense.
Proposition 4.13**.**
We summarize naturality properties in the following.
- (1)
For with , is a well-defined cochain map. Similarly for . 2. (2)
For with , is well-defined on . 3. (3)
For for , is same as counting the difference between and , when restricted to .
Proof.
For (1), there exists a neighborhood of contained in . Then is locally constant by the proof of Proposition 2.12. The claim follows from that is a cochain map for more regular nearby.
For (2), we have and are locally constant with respect to the almost complex structures. Since is defined using two nearby of . Then there are two homotopy , close to in . It is sufficient to prove for that for , we have and are differed by exact form. Since we have a continuation map , such that is identity by the proof of Lemma 2.15. Then we have
[TABLE]
On the other hand, by §4.2.2, we have
[TABLE]
We claim could be chosen to be zero. By assumption, the almost complex structure in the construction of can be chosen such that for every , . As a consequence, . Combining them together proves the claim.
For (3), are all locally constant, for a nearby , we have (the perturbed) defines the same thing as counting by Proposition 4.12. By claim (2), is independent of the perturbation. This finish the proof. ∎
Combining Proposition 4.7, Proposition 4.9 and Proposition 4.13 and the compatibility of continuation maps with in §4.2.2, we have the following.
Proposition 4.14**.**
Let , and then we have the following
[TABLE]
and computes . Similarly for , which can either be computed using or .
4.5. Independence
The following statement follows from the same proof of Proposition 3.12.
Proposition 4.15**.**
With the same setup in Proposition 3.12, there exist admissible , on and respectively and admissible homotopies with ends and admissible families of homotopies , with ends and positive real number such that the following holds.
- (1)
For and any , we have
[TABLE]
[TABLE]
[TABLE]
such that all zero dimensional ,* and , are the same for both and contained outside for .* 2. (2)
* on . on . Note that they imply that on .*
Now, we are ready to prove Theorem G.
Proof of Theorem G.
By Proposition 4.15, we have the following two diagrams for both .
[TABLE]
[TABLE]
where is continuation defined using and is the positive BV operator defined by . In particular, they are identified on . The horizontal arrows are continuation maps. As proved in A, they are represented by inclusions hence are also independent of fillings. Moreover, on them are independent of the filling. That is the diagrams can be identified for . Proposition 4.14 implies the claim. Note that the diagram contain the part used in the proof of Theorem A. Hence the proof gives a (non-conical) isomorphism , identifying and . ∎
Remark 4.16**.**
It is a more delicate question to give a “natural” isomorphism in Theorem A and Theorem G. Nevertheless, the isomorphism can be chosen so that match up all the structures.
The following corollary will imply Corollary H in the introduction.
Corollary 4.17**.**
Let be an ADC manifold with a topologically simple filling admitting a symplectic dilation, then for any other topologically simple filling such that is injective, we have also admits a dilation. In particular, it holds for being Weinstein of dimension at least .
Proof.
We assume , for otherwise, it is proven by Corollary B. By Proposition 4.10, admits a dilation implies that there exists , such that . In particular . By Theorem G, we have an identification and for . In particular on , because in degree [math], we have both and spanned by for both and . We only need to prove is from . Since on , we have on . Since is injective, then on . Then by Proposition 4.10, we have that admits a dilation. ∎
The existence of symplectic dilations puts strong restrictions on the symplectic topology. Let be a Liouville domain with and , assume admits a dilation, Seidel [57] showed that there are at most finitely many Lagrangian spheres in that are pairwise disjoint. Given Corollary 4.17, we can ask the following natural question.
Question 4.18**.**
Let be a ADC manifold with a symplectic dilation, is there a universal upper bound for the maximal collections of pairwise disjoint Lagrangian spheres for all Weinstein fillings of ?
Similar to Corollary 3.14, we have following obstruction to Weinstein fillings.
Corollary 4.19**.**
Let be a dimensional ADC contact manifold and . If admits a topologically simple exact filling and contains an element of grading greater than , then does not admit Weinstein filling.
Proof.
Since factors through , can not contain an element of grading greater than if is Weinstein. By Theorem G, is independent of topologically simple exact fillings, in particular Weinstein fillings, the claim follows. ∎
We apply Corollary 3.14 and Corollary 4.19 in §6 to construct many exactly fillable, but not Weinstein fillable manifolds. Although Corollary 3.14 and Corollary 4.19 use the topology of , those obstructions as contact invariants of the ADC boundary is not topological. In particular, we will show that they are very different from the topological criterion in [13] by proving Theorem I.
4.6. , as invariants
In this subsection, we will explain that and are invariants of the exact domains up exact symplectomorphisms. It is clear that can be defined on Hamiltonians with finite slope and -small on . Using Proposition 4.6, they commute with continuation maps, hence the direct limit of them define and . The following proposition implies that are invariants of the exact domains.
Proposition 4.20**.**
Let be a subdomain, then Viterbo transfer map preverse and . In particular, we have the following commutative diagram,
[TABLE]
where is induced by
[TABLE]
Since the BV operator is the second term in the differential of the -equivariant symplectic (co)chain complexes [68], this proposition follows from the functoriality of positive -equivariant symplectic cohomology, which was proven in [29]. In fact, it is sufficient to consider the approximation by in the -equivariant symplectic (co)homology. Using the fact that Viterbo transfer is an isomorphism and exactly symplectomorphic exact domains have nested embeddings into each other [17, Propsition 11.8], Proposition 4.20 implies that and are invariants of exact domains up to exact symplectomorphisms.
Next we verify that defined on match with on naturally.
Proof of Proposition 4.7,4.8, 4.9.
We first prove Proposition 4.8 and 4.9. We need to relate the structure maps defined using to those defined as limits of non-degenerate linear Hamiltonians. Let be the non-degenerate perturbation to in the proof of Proposition 2.10. Let be the decreasing homotopies between them. Then are defined similarly using as the integrated maximum principle holds for the moduli spaces. We pick two sequences of Hamiltonians with finite slope such that the following holds.
- (1)
on . 2. (2)
for , where . 3. (3)
. 4. (4)
.
Then by the continuation maps on finite slope Hamiltonians and the compatibility with following [1, §2.2.3], we have the following commutative diagram.
[TABLE]
the unmarked arrows are continuation maps, and the horizontal arrows on top and bottom row are inclusions, which are continuation maps induced by the trivial homotopy. By Proposition 4.6, the digram also induces an commutative diagram of for different pairs of Hamiltonians . This proves Proposition 4.8 and 4.9 for .
Therefore to prove the claim, it is sufficient to prove commutativity of following two diagrams (and the version).
[TABLE]
where the unmarked arrows are continuation maps, and the horizontal ones are those in Proposition 2.10. They can be shown using a homotopy argument. The only new thing we need to verify is compactness and regularity for moduli spaces, since it involves degenerate Hamiltonians , the moduli spaces have some cascades part. For the first diagram, let , they are used to define continuation maps and . Then we define a smooth homotopy of homotopy in the following. Let be increasing function such that for and near .
- (1)
For , for and for . 2. (2)
For , for and for . 3. (3)
For , .
It is clear that we have . Moreover, on , we have the following three cases.
- (1)
For , when and when . Then . 2. (2)
For , when and when . Then . 3. (3)
For , , then .
In particular, Lemma 2.5 can be applied to get compactness. The regularity is standard, except when and breaks at . In principle, it is a Morse-Bott breaking at . However, in our special case, for , solutions near such breaking is isomorphic to solutions to the equation using shifted by . Hence such type of breaking is again a boundary corresponding to composing with on , which is identity. The proof for compatibility with is the same. Since all the maps respect the splitting, the proof above also yields the identification on and by Proposition 4.6.
To prove Proposition 4.7, we can view . Then the above construction yields a homotopy of homotopy of Hamiltonians , such that Lemma 2.5 can be applied. Then Proposition 4.7 follows from the standard homotopy argument. ∎
5. Uniruledness
A variety is uniruled iff it is covered by a family of rational curves. Similarly, an affine variety is uniruled if it is covered by a family of rational curves possibly with punctures. In the symplectic setup, one can replace rational curve by pseudo-holomorphic rational curves. The uniruledness for Liouville domains was introduced in [46].
Definition 5.1** ([46, §2]).**
A -compatible almost complex structure on is convex iff there is a function such that
- (1)
* attains its maximum on and is a regular level set,* 2. (2)
* near .*
This is more general than the cylindrical convex almost complex structure used in Definition 2.3, where near the boundary. A maximal principle still holds for holomorphic curves near using the function . Proposition 5.3 relates a general convex almost complex structure with a cylindrical convex almost complex structure.
Definition 5.2** ([46, Definition 2.2]).**
Let be an integer and a real number. We say that a Liouville domain is -uniruled if, for every convex almost complex structure on and every point where is integrable on a neighborhood of , there is a proper -holomorphic map to the interior of passing through this point. We require that is a genus [math] Riemann surface, the rank of is at most , and the area of is at most .
Proposition 5.3**.**
Let be a contact manifold with a contact form , and there is a function on , such that and is a level set. Assume is compatible almost complex structure, such that on . Then there exists an extension of compatible almost complex structure , such that on .
Proof.
The Liouville vector field on is , since , every level set of is of contact type. On each level surface , let denote the contact structure and be the complement of for . Then being compatible with and determines a complex structure on and is a compatible almost complex structure, and those two descriptions are equivalent. It is clear we can extend to maintaining such properties. ∎
McLean proved the symplectic uniruledness is equivalent to the algebraic uniruledness for affine varieties. In particular, the algebraic uniruledness is rather a symplectic property. In the following, we use the constructions in §3 and §4 to prove that uniruledness is implied by the existence of symplectic dilation, which is, of course, a symplectic property. Unlike the results in other sections, we do not assume in this section. Hence all gradings should be understood as gradings.
Theorem 5.4**.**
Let be a ring and a Liouville domain such that or there exists a symplectic dilation in . Then is -uniruled for some .
Remark 5.5**.**
For Liouville domain with vanishing symplectic cohomology, a version of uniruledness different from Definition 5.2 was obtained, see [5]. However, to obtain Theorem 5.10, we need to achieve the more refined version of uniruledness in Definition 5.2.
Proof.
We write . Then by [46, Theoerem 2.3], there exists a such that is uniruled iff is uniruled for some . Assume , then . That is , in particular this means that for some , . Since is generated by the unique local minimum point of . Therefore for a generic almost complex structure , we have a dimension zero compact manifold for some with grading and action . Since is a minimum, an element of is simply a solution to the following,
[TABLE]
For any convex almost complex structure on . Assume is the function in Definition 5.1, we may assume . Then we can extend to on such that on and when . By Proposition 5.3, can be extended to a . We may assume , since we perturb near to achieve transversality. Therefore we have a curve solving (5.1) and when restricted to it is a -curve. Such curve has an energy bound by . Let denote the connected component of [math] of . We claim must be rank [math]. We can find a small , such that is the connected compact Riemann surface containing [math] with boundary and and is cylindrical convex on . Then is a disk, for otherwise, there is a domain diffeomorphic to a disk, such that solves (5.1) and , this contradicts Lemma 2.5. Note that . If is not rank [math], then there is a loop bounding a disk and is not contained in . Since we have and , which contradicts the maximal principle for holomorphic curves. Therefore is the -curve we are looking for in passing through .
Next, we need to show such construction can be applied to any with a universal energy bound . What we need is a universal , such that for any admissible Morse function . This can be seen from Proposition 2.10, since there is a , such that where is the perturbation of . Therefore is -uniruled.
Next, we assume and admits a dilation. Then by Proposition 4.10, we have . By the same argument as above, there is a , such that
[TABLE]
contains in the image. Since , we have does not contain . Therefore we have , such that for is a cochain representing class in , where is the minimum point of .999When , we have by degree reasons. Similar to the argument above, since is a minimum, for generic and , either there is a and and a solution to
[TABLE]
Or there is a and a solution to
[TABLE]
We may assume restrict to is as before. Then in either case, when restricted to the preimage of is a -curve passing through , with energy bound . Note that integrated maximal principle can also be applied to for , since there and . Hence the component of containing [math] has rank [math] in rational first homology in either case as before. Then by the functoriality in §4.6, we can change as before to find curves passing though any point with a universal energy bound. ∎
Remark 5.6**.**
If one considers the holomorphic planes with one marked point in the completion. Then virtual dimension of such space is given by , when the plane is asymptotic to a Reeb orbit . To hope the evaluation map at the marked point covers every point in , we need . If we expect the evaluation map behave like a covering map then we need . In many cases, the vanishing of symplectic cohomology is due to a Reeb orbit of index . Note that a non-degenerate Reeb orbit of index can be perturbed into two non-degenerate Hamiltonian orbits with indices , . In our grading convention, the index Hamiltonian orbits is of grading , which is often responsible for the vanishing. This is the case for the standard symplectic ball. On the other hand, when we consider dilation , the associated Reeb orbit is of index or , hence the uniruledness should not be provided by such Reeb orbits. However, the in the proof of Theorem 5.4 provides the Reeb orbit of the right index. This suggests that the uniruledness should be from a solution to (5.2). In fact, this is the case for . We will investigate them in more detail in [70].
Remark 5.7**.**
On the other hand, -uniruledness does not imply the existence of symplectic dilation. For example, we take a smooth cubic hypersurface in and be the complement of the intersection of with a generic hyperplane. Then is an affine variety and does not admit a symplectic dilation by degree reasons, see [57, Example 2.7]. However, by [34, Corollary 5.4], is -uniruled.
Remark 5.8**.**
In fact, the vanishing of symplectic cohomology and existence of symplectic dilation are the first two simplest conditions implying uniruledness in a whole family. The next one is whether is in the image of the map , which is defined using and the homotopy operator in the relation and is with a degree shift by . One way of packaging all the homotopic relations is using the -equivariant theory as in [68], then the spectral sequence from the -filtration (on any -cochain complex) induces maps with is the BV operator considered here. We say admits a -dilation iff . In fact, the counterexample in Remark 5.7 satisfies that , hence it has a -dilation but has no -dilation. Every such structure has a related map defined on a subspace of to a quotient space of generalizing in (4.5). And there is a boundary version for all in a similar way to . These structures have similar property to in §3, §4. That is they are independent of fillings for ADC manifolds and being in the image of any of them implies uniruledness. They can be used to develop more obstructions to Weinstein fillability. Moreover, they give an infinity hierarchy on the complexity of symplectic manifolds, and also an infinity hierarchy on the complexity of ADC contact manifolds. Details of such construction will appear in the sequel paper [70]. The existence of -dilation for some is equivalent to the existence of cyclic dilation for , which is defined independently by Li [39], where the open string implication of cyclic dilations is studied.
Remark 5.9**.**
From the proof of Theorem 5.4, it is clear that would also imply uniruledness. By Proposition 4.10, is potentially weaker than existence of dilation.
Using Theorem 5.4, non-uniruledness is an implication of non-existence of symplectic dilation in any coefficient. Since log Kodaira dimension provides an obstruction to uniruledness, we have the following.
Theorem 5.10**.**
Let be an affine variety. In either of the following cases, we have and there is no symplectic dilation using any coefficient ring .
- (1)
The log Kodaira dimension is not . 2. (2)
* admits a projective variety compactification, such that is not uniruled, for example the Kodaira dimension of is not .*
Proof.
By [46, Theorem 2.5, Lemma 7.1], if does not have log Kodaira dimension , can be not -uniruled for any . Then by Theorem 5.4, we have and there is no symplectic dilation for any coefficient ring .
Let be projective compactification of . If we have or there is a symplectic dilation. Then is -uniruled. By [46, Theorem 2.5], is -algebraically uniruled. Hence is algebraically uniruled and the Kodaira dimension of is , hence it is a contradiction. ∎
Now, Corollary M follows from Theorem 5.10 directly. Symplectic exotic was constructed in [2, 45, 58] for all . The proofs of exoticity were based no non-vanishing of symplectic cohomology for some coefficient, but the mechanisms for non-vanishing were very different. In view of Corollary M, the exoticity can also be explained by the failure of uniruledness.
Example 5.11**.**
Seidel-Smith [58] proved that product is an exotic for Ramanujam surface [52] by showing that contains an essential Lagrangian, hence and is exotic. Since has log Kodaira dimension , we have has log Kodaira dimension . Therefore by Theorem 5.10, and does not admit symplectic dilations. This reproves Seidel-Smith’s result.
Remark 5.12**.**
There are many algebraic exotic with log Kodaira dimension , e.g. for Ramanujam surface . However, is symplectically standard by h-principle, since it is subcritical and diffeomorphic to . The atomic exotic considered by McLean [45] from Kaliman modifcation also has negative log Kodaira dimension. Therefore log-Kodaira dimension being non-negative is not the criterion of being symplectic exotic.
By Corollary M, one can look for symplectic exotic in complex exotic . They exist in abundance when , see [67].
Non-vanishing of symplectic cohomology also implies non-displaceablity [33]. Hence we have the following.
Example 5.13**.**
Let be a projective variety with non negative Kodaira dimension. Let be an affine variety for a divisor . Then , and is not displaceable. That is when we view as a Liouville domain, there is no Hamiltonian such that the generated time one Hamiltonian diffeomorphism displaces , i.e. . This holds in particular, if is Calabi-Yau, since the Kodaira dimension is [math].
As showed in §3 and §4, the vanishing of symplectic cohomology and the existence of symplectic dilations are properties independent of fillings for ADC contact manifolds. A natural question is whether uniruledness shares the similar property.
Question 5.14**.**
Is uniruledness independent of the (topologically simply) filling for ADC contact manifold?
6. Constructions of ADC manifolds
As explained in Example 3.7, ADC contact manifolds exist in abundance. Moreover, a flexible handle attachment does not change the ADC property [38]. In this section, we provide two other simple constructions of ADC manifolds, which provides many examples, where Corollary 3.14 and Corollary 4.19 can be applied. In particular we will prove Theorem I.
6.1. Product with the complex plane
In this subsection, we show that the boundary of is [math]-ADC for any Liouville domain such that and . Moreover by [49], has vanishing symplectic cohomology. Since there are examples of such that it can not be a Weinstein domain, such construction proves many non-flexible examples where results from §3 can be applied. In the following, we fix the symplectic form on by .
Definition 6.1**.**
Let be a connected manifold with non-empty boundary, the Morse dimension is defined to be the minimum of the max index of an admissible Morse function on . Then .
We also introduce the notion of tamed asymptotically dynamically convex contact manifold, which is ADC and does not collapse to [math]. This will be important for our discussion on non-exact fillings.
Definition 6.2**.**
* is -TADC if there exist contact forms , positive numbers and a contact form , such that and all elements of are non-degenerate and have degree greater than . We have similar definition for exact domains.*
Basic examples of ([math]-)TADC manifolds are index-positive contact manifolds, e.g. cotangent bundles when dimension of the base is at least . The other case is index-positive in the Morse-Bott sense, e.g. Example 4.3. That they are TADC follows from that up to action , there exist small perturbations into non-degenerate contact forms with prescribed Conley-Zehnder indexes [8, Lemma 2.3, 2.4], and the perturbation can be made arbitrarily small so that the perturbed contact form does no collapse to [math]. The following result will provide some more examples of TADC manifolds.
Theorem 6.3**.**
Let be a -dimensional Liouville domain such that and . We define to be the contact boundary of , then we have the following.
- (1)
* is [math]-ADC.* 2. (2)
If supports a non-degenerate contact form such that all Reeb orbits are contractible in , then is strongly [math]-ADC.
In fact, is (strongly) -ADC. If is -TADC for some , then is TADC.
We will prove the theorem by setting up the following propositions.
Proposition 6.4**.**
Assume is a contact manifold with a contact form and is a Liouville domain with a Liouville form . Let be a strictly positive function on , then is a contact form on iff is a symplectic form on . The Reeb vector field is given by . Here and and is the Hamiltonian vector field for using the symplectic form .
Proof.
Assume and , to show is a contact form it is sufficient to show is a contact form. Note that we have
[TABLE]
Hence is a contact form iff is non-degenerate. Note that by construction, we have . Moreover, we have
[TABLE]
Since , we have . Since , and by definition, we have . Hence is the associated Reeb vector. ∎
Remark 6.5**.**
Note that can be viewed as a hypersurface in the Liouville cobordism with Liouville form . Then this hypersurface is of contact type if the Liouville vector is transverse to the surface and pointing out, that is .
Remark 6.6**.**
Proposition 6.4 can be viewed as a generalization of the computation carried out for prequantization bundles. Let be a Reeb trajectory on , then over we have a connection given by such that the curvature is the symplectic form . The contact structure is given by the horizontal subspace direct sum with the contact structure of , the splitting holds in the symplectic sense.
We will divide the boundary of into two parts, one of them is diffeomorphic to and the other is diffeomorphic to , where is a disk. In the following, we discuss the Reeb dynamics on the part.
Proposition 6.7**.**
Let be a contact manifold with a contact form . We fix a small . Assume is a smooth function on such that the following holds.
- (1)
* for near [math], .* 2. (2)
* is increasing and unless .*
Then for , is a contact form on . And Reeb orbits of it are of the form , where is a Reeb orbit of on and
[TABLE]
If is non-degenerate of period , then we have the following.
- (1)
When , then the Reeb orbit is non-degenerate iff and the Conley-Zehnder index is given by . 2. (2)
When is in the domain where , then is an orbit iff . It is a Morse-Bott -family of orbits with period , and the generalized Conley-Zehnder index is given by .
Proof.
Note that on . Then by Remark 6.5, is a contact form. By Proposition 6.4, the Reeb vector field is given by
[TABLE]
By a direct computation, we have
[TABLE]
Therefore the Reeb vector is
[TABLE]
Hence all Reeb orbits are in the form prescribed in the proposition.
As explained in Remark 6.6, the contact structure on is the direct sum of with kernel of in the space . Since the Reeb vector is tangent to and the component is a constant, we know that Reeb flow of preserves and the splitting. Therefore when computing Conley-Zehnder index, it is sufficient to figure out the Conley-Zehnder index of the horizontal direction. In the case, the linearized return map is given by the linearized return map of direct sum with the rotation by in the horizontal direction. Therefore it is non-degenerate iff and the Conley-Zehnder index in the horizontal direction is .
When is in the domain where , then periodic orbits are in the form of , hence they always come in an family for . To verify that it is a Morse-Bott in the sense of [8, Definition 1.7], note that the linearized return map is the direct sum of the linearized return map of and the return map on the horizontal direction is given by
[TABLE]
here we use as the basis and is the period . Note that we have
[TABLE]
Therefore is spanned by . Hence the -eigenspace of the total linearized return map is spanned by and , which is the tangent space of . Moreover is rank zero on . Therefore such Reeb orbits are of Morse-Bott type. To compute the generalized Maslov index, it is enough to compute the generalized Maslov index in the horizontal direction. Note that the linearized map is given by
[TABLE]
where . Therefore the generalized Conley-Zehnder index [55] is given by from the rotation plus the generalized Conley-Zehnder index of
[TABLE]
The latter is a symplectic sheer. Since , the index is given by . Then the total generalized Conley-Zehnder index is given by . ∎
On the complement , we will use the following lemma to guarantee all Reeb orbits are either over critical points or have very large period.
Lemma 6.8**.**
Let be a compact symplectic manifold possibly with boundary. For all , there exists , such that for all functions with and all symplectic forms such that , we have all non-constant periodic orbits of Hamiltonian vector field using symplectic form have period at least .
Proof.
Let be a Riemannian metric on . We can find a cover of by finitely many Darboux charts , such that there exists so that every -ball is contained in one of the Darboux charts. Moreover, for smaller enough , we can assume that each is a Darboux chart of for . Using the standard metric on each by viewing as a Darboux chart, we have a norm on . Since is close to , we know that the induced norm on are uniformly equivalent for any nearby and is equivalent to the norm we use to state the lemma. If then any trajectory of has the property that . By [6, Proposition 6.1.5], on each Darboux chart, if , then any -periodic orbit in the chart is a constant. Therefore the claim holds for . ∎
Proof of Theorem 6.3.
Since we have , then . Hence , that is the Conley-Zehnder index is well-defined in for contractible orbits on . Now we pick a Liouville form on such that the associated Reeb dynamic on is non-degenerate. Then there exist positive real numbers converging to infinity and integers , such that all periodic orbits of contractible in with period smaller than have Conley-Zehnder index greater than . We consider orbits contractible in , since for is homotopically trivial on if is contractible in .
We view as the hypersurface in such that is given by for big and function as in Proposition 6.7, is given by for a Morse function on such that near the boundary , where is the collar coordinate smaller than . To see is of contact type, it is sufficient to prove that the Liouville vector field is transverse to and points out. On , this is verified in Proposition 6.7. On , we have . Note that if is very big, is very small, hence we can choose such that is very small and . Hence is of contact type. And for , there exists such so that we have the domain between and is a Liouville cobordism. Using the Liouville vector field, we have the induced contact form on is smaller than the induced contact form on .
On , by Proposition 6.7, the Reeb orbits of type (1) of action bounded by have Conley-Zehnder indices greater than . Since in Proposition 6.7, Reeb orbits of type (2) of action bounded by is of Morse-Bott type in -families with generalized Conley-Zehnder indices greater than , since . On , it is possible that there are periodic orbits not described by (1) and (2) in Proposition 6.7. That is those orbits with in the domain where . Then we have and . Then if we pick such that for all all Reeb orbits on with period smaller than . Then there are no Reeb orbits with period smaller than on this domain.
is contactomorphic to with contact form . Then by Proposition 6.4, the Reeb vector is given by . Therefore there are two types Reeb orbits, one is of form where is a critical point of and is a reparametrization of . The other type is such that is a non-constant periodic orbit of for the projection . When is a non-degenerate critical point of , we have . If we choose such that critical points of have max index , then we have the degree of is at least . Since , those orbits have positive degree. For the other type of periodic orbits, periodic orbits of using symplectic form is the same as periodic orbits of using symplectic form . Since we can choose and such that is small, therefore is close to . This can be achieved by choosing such that very large and very small. Therefore by Lemma 6.8, we can assume all non-constant periodic orbits of are of periods greater than .
Therefore we can pick big enough and , such that all contractible Reeb orbits on with action smaller than are either non-degenerate with positive degrees or Morse-Bott in -families with generalized Conley-Zehnder indices greater than (or any fixed large number). By [8, Lemma 2.3,2.4], there exist a very small perturbation of the contact form on , such that all contractible Reeb orbits with periods smaller than have positive degree. For all , we have a similar construction by choosing , such that the contact form on is smaller than that on . This finishes the proof of Theorem for ADC case.
In the TADC case, since we do not need to use arbitrarily large to lift the Conley-Zehnder index on . Therefore can be chosen without shrinking to . ∎
Remark 6.9**.**
By [16], every subcritical domain splits into the product of a Weinstein domain with . Theorem 6.3 implies that all -dimensional subcritical domains are -ADC, which is a special case of [38, Corollary 4.1].
Corollary 6.10**.**
Let be a Liouville domain, such that . Let . Then for any topologically simple exact filling of , we have a ring isomorphism , such that following commutes
[TABLE]
Proof.
First note that is always connected and . Then by Corollary B and Theorem 6.3 and that , we have a group morphism such that the diagram commutes. Since the composition is injective, we have is injective and is a ring map, and is a ring map, they force to be a ring isomorphism. ∎
If is -TADC for some , then is TADC. Hence by Remark 8.13, the exactness assumption in Corollary 6.10 can be dropped. As another instant application of Corollary 6.10, we have the following.
Corollary 6.11**.**
If is a Liouville domain, such that and . If one of the following conditions hold, then is not Weinstein fillable.
- (1)
There exists , such that . 2. (2)
There exists , such that is not isomorphism.
Corollary 6.12**.**
If is constructed by attaching subcritical (for 2-handles, conditions in [38, Theorem 3.17] need to hold) or flexible handles onto in Corollary 6.11, such that . Then can not be filled by a Weinstein domain.
Proof.
In other words, is the boundary of , where is a flexible Weinstein cobordism from to . Since , implies that . Hence . Since is injective, we have . Therefore by Theorem 6.3, is ADC. Then by [38, Theorem 3.15,3.17,3.18], is ADC and by [9]. Therefore is an isomorphism. If for , then . Hence is not Weinstein fillable by Corollary B. If is not isomorphism for , then it is not surjective since it is always injective. Assume is the smallest among all such integers. Then we have the following exact sequence
[TABLE]
Since is the first failure of subjectivity, we have and . Since we have , there is another long exact sequence
[TABLE]
Therefore either is not surjective or is not injective. Since is isomorphism and is injective, by and being Weinstein. Hence either is not surjective, or is not injective. Then by Corollary B and Theorem A, can not be filled by a Weinstein domain, otherwise should be an isomorphism on and injective on . ∎
Corollary 6.12 provides many exactly fillable but not Weinstein fillable manifolds. Exactly fillable but not Weinstein fillable manifolds were found in [12] in dimension and in [13] for higher dimensions. Our construction makes very few topological requirements and roughly shows that most Liouville but not Weinstein manifolds give rise to exactly fillable but not Weinstein fillable contact manifolds after a product with and attaching subcritical or flexible handles.
Remark 6.13**.**
In the case (1) of Corollary 6.11 and Corollary 6.12, the obstruction in Corollary 3.14 does not vanish. Using Proposition 3.15, we have many examples of not Weinstein fillable manifolds, whose symplectic cohomology is nonzero for a filling.
Example 6.14**.**
Liouville but not Weinstein domains were first constructed in [43] in dimension , higher dimensional examples were constructed in [27, 41]. All such examples are of a diffeomorphism type , where the diffeomorphism type of is the following.
- (1)
, where is a genus surface **[43]**. 2. (2)
* bundle over for any [27, 41]. In fact, such examples are ADC, as the contact boundaries are hypertight, meaning that there is a contact form with all Reeb orbits non-contractible.*
Those Liouville domains have vanishing first Chern class. Then by attaching Weinstein handles to them without changing the first Chern class, or taking products among them yield many Liouville domains such that and for some . Therefore the boundary of admits no Weinstein filling by Corollary 6.11. One may keep attaching subcritical or flexible handles to it preserving the ADC property, then the boundary is not Weinstein fillable by Corollary 6.12.
Given an almost contact manifold, the existence of an almost Weinstein filling is purely homotopy theoretical, this was solved by Bowden-Crowley-Stipsicz in [13]. The obstruction was phrased using bordism theory. Bowden-Crowley-Stipsicz used them to construct exactly fillable but not almost Weinstein fillable contact manifolds in all dimensions . In the following, we show that in dimension , our construction yields examples where the homotopy obstruction vanishes, while the obstruction in Corollary 3.14 does not vanish. Hence the obstruction is symplectic in nature.
We first recall the criterion of almost Weinstein fillability from [13]. An almost contact structure on a closed oriented manifold is a reduction of the structure group of to . Then an almost contact structure defines a map . The th Postnikov factorization of consists of a space and maps
[TABLE]
such that is a fibration, , the map is a -equivalence, i.e. induces isomorphism on for and surjective map on , the map is a coequivalence, i.e. it induces isomorphism on for and injective map on . Then the pair defines a bordism class in , for the definition of this bordism group, see [13, §2.1].
Theorem 6.15** ([13, Theorem 1.2]).**
A closed almost contact manifold of dimension is almost Weinstein fillable iff .
Proof of Theorem I.
By [41], there exist an exact domain diffeomorphic to , such that is a bundle over for . Moreover, the contact structure on each component of is a trivial complex bundle, since the contact structure is an invariant distribution on a Lie group. Hence the complex structure of on is trivial. Since is a homotopy equivalence, we have the complex structure on is trivial. Let denote the contact boundary of . Then by Theorem 6.3, is ADC and is diffeomorphic to . Assume now . Let be a sphere on . The is a trivial complex bundle, i.e. the structure map is trivial. Let be the contact structure on , since induces isomorphism on , we have is trivial bundle. Therefore there exists a homotopy of monomorphisms , such that is the inclusion and is an inclusion to and isotropic. Hence by the h-principle of isotropic embedding [17, Theorem 7.11], is homotopic to to an isotropy sphere with trivial . Then we can attach a subcritical handle to . The resulted contact manifold is with filling .
By [38, Theorem 3.15], is [math]-ADC. By [15], we have . Since , we have does not admits Weinstein filling by Corollary 6.12. We claim admits almost Weinstein fillings. Since the structure map is trivial, the structure map is represented by a class . Therefore the structure map is trivial. Assume the th Postnikov factorization of the trivial structure map is given by
[TABLE]
We claim that gives the th of Postnikov factorization of the trivial structure map . Then is almost Weinstein fillable by Theorem 6.15 once the claim is proven, as the is a bordism to . By definition, it is sufficient to prove is a equivalence. Since is trivial, we know that . Therefore induces epimorphism on . Since is a equivalence, it suffices to show that is an isomorphism for . We consider the universal cover of . Since is a , we have is constructed by attaching copies -handles to the boundary of , where is the unit ball. Then the boundary is connected. Since can be viewed as attaching copies handles and one -handle to . Then we have is isomorphism for . In particular , i.e. is the universal cover of . Therefore it is sufficient to show prove is an isomorphism. We will use the relative Hurewicz theorem to prove the claim. First, we have the following commutative diagram,
[TABLE]
By excision, we have , and the map from is an isomorphism. Note that is surjective, since any handle in attached to along with gives a chain that is mapped to the generator of . Hence is surjective. By the homology long exact sequence for , we have is an isomorphism. Note that is connected and is simply connected, then by the relative Hurewicz theorem, . That is is connected. Then the relative Hurewicz theorem implies that is an isomorphism. As we have seen, there is a that is mapped to the generator in . Therefore is surjective, hence is an isomorphism. Since the obstruction in Corollary 3.14 does not vanish for , then by Proposition 3.15, there are infinity many exactly fillable, almost Weinstein fillable but not Weinstein fillable manifolds. ∎
Remark 6.16**.**
In dimension for , one may consider from Example 6.14, such that . In particular . Then we consider to the boundary of , which is constructed by attaching a -handle to . Most of the arguments in Theorem I go through, in particular, is exactly fillable but not Weinstein fillable. The only issue is showing the th Postnikov factorization of gives a bordism to . In fact, one can show that everything boils down to whether the class in classifying the structure map is trivial.
Remark 6.17**.**
In dimension , manifold always admits Morse function of index at most , hence Corollary 6.11 can not give obstructions to Weinstein fillings. In dimension , is always a subcritical Weinstein domain.
6.2. Product of ADC manifolds
In the following, we will show the product of two ADC domains is again ADC. In particular, such construction provides many examples where Corollary 4.19 can be applied. Before stating the precise theorem, we first prove a proposition on the Reeb orbits on the boundary of general products. In the following, we define a function for a fixed .
[TABLE]
Then takes values in and . Let and be two Liouville domains with Liouville forms that are non-degenerate as contact forms, such that . Then we define to be the following subset of ,
[TABLE]
where we have
- (1)
are Morse functions on and , such that near the collar of and they are and realize the Morse dimensions of respectively. 2. (2)
and .
Proposition 6.18**.**
Assume as above and . For , for big enough, the the contractible Reeb orbits of of period at most are of the following three types.
- (1)
Non-degenerate orbit for and with index . 2. (2)
Non-degenerate orbit for and with index . 3. (3)
Morse-Bott orbits in an family for in respectively up to reparametrization. The generalized Conley-Zehnder index is .
Proof.
The boundary of is given by three components . Using Remark 6.5, we have the Liouville vector of is transverse to the boundary. Hence is indeed of contact type. By Proposition 6.4 and Lemma 6.8, for big enough, the Reeb orbits on and are those described in (1) and (2).
It remains to study the Reeb orbits on . It can be either viewed as graph of function on or . We choose to view it as graph on . Then by Proposition 6.4, the Reeb vector field is given by
[TABLE]
Note that , we write the Reeb orbit in a more symmetric way as below,
[TABLE]
Here the coefficient varies in . Therefore the Reeb orbit of (6.1) are in the form of
[TABLE]
where are Reeb orbits of and with periods and such that is the period. By Remark 6.6, the contact restructure is given by . The linearized return map preserves the decomposition. Therefore the linearized return maps on and do not have as eigenvalue by non-degenerate assumptions on and . By taking derivative of (6.1), the linearized return map on the remaining part is given by
[TABLE]
Let denote the linearized return map on the whole tangent space, then is spanned by the Reeb vector field (6.1) and , which is the -eigenspace of (6.2). Equivalently, is spanned by and , which is the tangent of . Moreover is rank zero on the tangent of . Hence such Reeb orbits are of Morse-Bott type. To compute the generalized Conley-Zehnder index, since we have the decomposition of contact structure, it is sufficient to compute the contribution in the direction. Since , here the complex trivialization of the tangent bundles over the Reeb orbits splits into trivializations of and used in defining Conley-Zehnder index for and and a trivial complex bundle spanned by and . The total generalized Conley-Zehnder index is the generalized Conley-Zehnder index of
[TABLE]
which is plus . ∎
Theorem 6.19**.**
Let be two Liouville domains of dimension respectively, such that . Assume is -ADC and is -ADC, then we have is -ADC. In particular, if are both ADC, then is ADC. If are both TADC, then is TADC.
Proof.
Assume the dimensions of and are respectively. Since are ADC, there exist positive functions , and real numbers converge to , such that all orbits in are non-degenerate and have Conley-Zehnder indices at least and all orbits in are non-degenerate and have Conley-Zehnder indices at least . Let and , then for big enough is close to and the Reeb orbits of period smaller than are decried by Proposition 6.18. Using [8, Lemma 2.3,2.4], there exist a very small perturbation of , such that all Reeb orbits in (3) of Proposition 6.18 are perturbed into non-degenerate orbits with index . Then we have all elements in are non-degenerate with Conley-Zehnder indices at least . Hence the degree is at least . Since for , we can choose in the construction big enough such that , which implies that the contact form on is smaller than that on . Hence is -ADC. The TADC case is similar. will not collapse, because do not collapse. ∎
The following Theorem provides more examples of exactly fillable, but not Weinstein fillable contact manifolds using the obstruction in Corollary 4.19.
Corollary 6.20**.**
Let be the Liouville manifold in (2) of Example 6.14, be any ADC Liouville domain with dilations, see Example 4.3. If , then can not be filled by Weinstein domains.
Proof.
By [49, 57], on . Since those are hypertight, i.e. they allow a Reeb flow without contractible Reeb orbits. Therefore is automatically ADC. Since we only use contractible orbits to generate symplectic cohomology, we have . We may assume , otherwise Corollary 3.14 can be applied to obtain the conclusion. Let be a generator of and a dilation. Then we have . Similar to the proof of Proposition 4.10, if we view , then it represents a class in the image of . Since is injective and . To show contains a class in grading , it is enough to show that is not in . Since is hypertight, the Künneth formula implies that , and . Hence if is in the image of , then , which implies , contradicting the assumption. ∎
7. Obstructions to exact cobordisms
A natural question in symplectic geometry is understanding the “size” or “complexity” of exact domains. One simple way of comparing complexity is by asking if one exact domain can be embedded into another. Due to the Viterbo transfer map, the vanishing of symplectic cohomology and existence of symplectic dilation are two levels of complexity, which are in fact the first two of the infinity many structures in [70]. For example, one can not embed an exact domain with to a flexible Weinstein domain. In particular, flexible Weinstein domain does not contain closed exact Lagrangians. On the other hand, one can always embed the standard ball into any domain. Moreover, one can not embed an exact domain with no dilation into . In particular contains no exact tori.
The same question can be asked for contact manifolds, and the comparison is based on existence of symplectic cobordism. By putting different adjectives in front of the symplectic cobordism, we get several comparisons in different flavors. In this section, we will restrict to exact cobordisms. Similar to the discussion above, one can use the functoriality of contact invariants like contact homology and symplectic field theory [22] to study this problem. For example, an overtwisted contact contact manifold has vanishing contact homology [66], hence there is no exact cobordism from a contact manifold with non-vanishing contact homology to an overtwisted one. In particular, there is no cobordism from . A more general obstruction in a similar spirit using the full SFT was constructed in [37]. However, unlike symplectic cohomology, such invariants are difficult to define [23, 51] and notoriously hard to compute.
Since we have shown that for ADC manifolds, the vanishing of symplectic cohomology and existence of symplectic dilation is independent of the filling, hence can be understood as contact invariants. In particular, we can use them to define obstructions to the existence of exact cobordisms to some ADC manifolds. Such obstructions using symplectic cohomology are relatively easy to define and compute.
Theorem 7.1**.**
Let be an ADC contact manifold with a topologically simple exact filling . Let be an exact domain with . If one of the following holds, then there is no exact cobordism from to , such that and is surjective and is injective.
- (1)
If for , and for . 2. (2)
If for , and for .
Proof.
If there is a such cobordism. Since is surjective, we have is injective. Since , we have . Therefore is a topologically simple filling. Since for , then . In particular, by Corollary B, we have . That for implies that , we have a contradiction by that the Viterbo transfer map preserves the unit, hence there is no such .
When for , we know that contains in the image for . Assume there is a such cobordism . By Theorem G, we have that for . If for , we know that for . The Viterbo transfer map commutes with , and by Proposition 4.20, hence the Viterbo transfer map induces the following commutative diagram
[TABLE]
Hence we have a contradiction. ∎
Proof of Corollary J.
Assume otherwise, there is a Weinstein cobordism , then is another Weinstein filling of . In particular, is an isomorphism and . Then we reach a contradiction by the same argument in the proof of Theorem 7.1 for the first two conditions. The third one follows from Corollary H. ∎
As a direct application of Corollary J, if an ADC Weinstein domain of dimension admits a dilation and . Then not only does not contain as closed exact Lagrangian, there is no Weinstein cobordism form to , since has no dilation.
On the other hand, the existence of almost Weinstein cobordism is purely homotopical and was studied in [14]. In particular, Bowden-Crowley-Stipsicz [14, Theorem 1.2] showed that for dimension , there exists an almost contact manifold such that for any almost contact manifold there is an almost Weinstein cobordism from to . The maximal element also exists when restricted to the class of almost contact manifolds with vanishing first Chern class. In the latter case, when dimension is or , the maximal element can be chosen as the standard . If we take the maximal element for the class of contact manifolds with vanishing Chern class, since there is a Weinstein cobordism from to . In particular, in the homotopy class of , there is a contact manifold admitting a flexible filling. Then for any contact manifold with vanishing first Chern class and a Weinstein filling such that . There is an almost Weinstein cobordism from to , but there is no Weinstein cobordism by Corollary J.
There are also many examples with non-vanishing symplectic cohomology. For example one takes the Milnor fiber of the singularity , then as an almost contact manifold is . By [57, Example 2.13], we have and admits a dilation and is ADC by [62, Lemma 4.2]. Hence by Corollary J, for any Weinstein domain with and no dilation. There is an almost Weinstein cobordism from to , but there is no Weinstein cobordism from to . In higher dimensions, let be an ADC Weinstein domain with non-vanishing symplectic cohomology and a symplectic dilation. Let be an exotic with non-negative log Kodaira dimension, in particular has no symplectic dilations and the almost contact structure on is the standard almost contact structure on . Then there is no Weinstein cobordism from to , but there is an almost Weinstein cobordism from to as is almost Weinstein fillable.
8. Nonexact fillings
In this section, we consider a strong filling of a contact manifold , such that . Floer cohomology is still well-defined using the Novikov field \Lambda=\{\sum_{i=1}^{\infty}q_{i}T^{\lambda_{i}}\>\big{|}\>q_{i}\in{\mathbb{Q}},\lambda_{i}\in\mathbb{R},\lim\lambda_{i}=\infty\} with a -grading, c.f. [31], similarly for symplectic cohomology [54]. In particular sphere bubbles can be avoided by dimension reasons. In this section we show that positive symplectic cohomology is still defined to the extent that constructions in §2, §3 can be generalized to strong fillings to finish the proof of Theorem F.
8.1. Positive symplectic cohomology
In the nonexact case, the action functional (2.1) is not well-defined. In particular, there is no action separation of the symplectic cohomology into zero length part and positive length part. However, positive symplectic cohomology can still be defined due to the following lemma by Bourgeois-Oancea [10, Proof of Proposition 5]. We first recall it from [18]. In this section, by strong filling of a contact manifold , we mean a symplectic manifold with collar neighborhood of the boundary symplectomorphic to for some . The completion is defined to be , with a symplectic form such that
Lemma 8.1**.**
[18, Lemma 2.3]** Let be a Hamiltonian on the symplectization . Let be a finite energy solution to the Floer equation and . Assume , is cylindrical convex on a neighborhood of , then either there exists such that or .
The combination of Lemma 2.5 and Lemma 8.1 yields the following.
Proposition 8.2**.**
Consider a Hamiltonian , such that on and for such that when we have , assume is cylindrical convex near all non-constant periodic orbits of . Then there is no Floer solution , such that and .
Motivated by Proposition 8.2, instead of using the perturbed Hamiltonian in §2. We will use the autonomous Hamiltonian before perturbation, denote the Hamiltonian by . Then it has the following property,
- (1)
on , 2. (2)
on with . 3. (3)
The non-constant periodic orbits of are contained in levels we will use to denote the domain inside .
Then by Proposition 8.2, there are no Floer cylinders with negative end asymptotic to a non-constant orbit and positive end asymptotic to a point in . In fact, the following holds.
Proposition 8.3**.**
Using as the Hamiltonian, if there is a non-trivial Floer cylinder with the negative end asymptotic to an orbit inside and with the positive end asymptotic to an orbit inside , then .
Proof.
If , then the combination of Lemma 2.5 and Lemma 8.1 yields a contradiction. If , then by Lemma 2.5 and Lemma 8.1, we have is contained in . Then the energy of must be zero, contradicting that is non-trivial. ∎
Using to define symplectic cohomology will result in a more Morse-Bott situation than , we will use cascades to deal with degenerate -family obits, such construction was studied in [10, 11] and more degenerate Morse-Bott cases were studied in [8, 19]. We will follow their constructions.
8.1.1. Notations and setups
We first fix the following notations.
- (1)
First note that every Reeb orbit of corresponds to a -family of periodic orbits of . The set of non-constant (contractible) periodic orbits of has a decomposition into the union , each can be viewed as an embedded circle in . For each , we fix a metric and a Morse function with a unique local maximum and a unique local minimum . With a little abuse of language, we denote . 2. (2)
For each , we fix a disk extending one up to homotopy, which give extension to any element in by rotation. 3. (3)
\Lambda:=\{\sum_{i=1}^{\infty}q_{i}T^{\lambda_{i}}\>\big{|}\>q_{i}\in{\mathbb{Q}},\lambda_{i}\in\mathbb{R},\lim\lambda_{i}=\infty\} is the Novikov field and \Lambda_{0}:=\{\sum_{i=1}^{\infty}q_{i}T^{\lambda_{i}}\>\big{|}\>q_{i}\in{\mathbb{Q}},\lambda_{i}\geq 0,\lim\lambda_{i}=\infty\} is the Novikov ring. Note that is the fraction field of the integral domain . In particular is a flat -module. 4. (4)
We formally define , for . And for , where is an admissible Morse function on .
8.1.2. Moduli spaces and cochain complexes
In view of Proposition 8.2, we need to modify the definition of admissible almost complex structures to the following. We first fix such that and such that .
Definition 8.4**.**
A time-dependent almost complex structure is admissible iff the following holds.
- (1)
* is compatible with on .* 2. (2)
* is cylindrical convex on and on .* 3. (3)
* is -independent on .*
The class of admissible almost complex structure is again denoted by
Let be an admissible almost complex structure. First note that for any , any nontrivial closed -holomorphic curve must be contained in , where in particular does not depend . This is because the curve can not be contained outside by exactness there and then we apply Lemma 2.5 to . We will be interested in the following uncompactified moduli spaces.
- (1)
for . It has an evaluation map . 2. (2)
, it is equipped with two evaluation maps and . 3. (3)
. It is equipped with evaluation maps to respectively 4. (4)
. It is equipped with evaluations maps to respectively.
The energy of is given by . The energy for is given by .
To study the regularization of (1)-(4), we need to consider the following universal moduli spaces.
- (1)
Let and , we define be the set of such that
- (a)
is a admissible almost complex structure; 2. (b)
; 3. (c)
; 4. (d)
is a point on domains of .
Then is equipped with an evaluation map
[TABLE] 2. (2)
and , we define be the set of such that
- (a)
is a admissible almost complex structure; 2. (b)
if ; 3. (c)
; 4. (d)
;
Then we define on by
[TABLE] 3. (3)
Let and , we define be the set of such that
- (a)
is a admissible almost complex structure; 2. (b)
for ; 3. (c)
; 4. (d)
; 5. (e)
is a point on domains of .
Then we define on by
[TABLE]
The point of considering such moduli spaces is that they are cut out transversely, moreover the evaluation map is a submersion. This will allow us to perturb only without changing and . The following proposition is derived from the same argument in [44, §3.4].
Proposition 8.5**.**
The three universal moduli spaces considered above are cut out transversely as Banach manifolds and are submersive.
Sketch of the proof.
Note that by Proposition 8.3, for in the universal moduli spaces, the -coordinate must be strictly decreasing. Therefore the objects we consider in the universal moduli spaces are somewhere invective (not just component-wise, but as a whole object). Then the claim follows from the proof of [44, Proposition 3.4.2] and the proof of [11, Proposition 3.5]101010[11] did not claim the evaluation maps to is submersive, but the proof of [11, Propoistion 3.5] implies the fact. Since in the universal moduli space, the surjectivity of the linearized operator holds without using the tangent of . . ∎
The cochain complex model we will use is the cascades construction [10, 11], in particular the cochain complex will be generated by and as before using the Novikov field . We recall the cascades moduli spaces first. Let denote an element in .
- (1)
denotes the set of -cascades, i.e. tuples
[TABLE]
where
- (a)
with , and ; 2. (b)
and , where is the negative gradient flow on ; 3. (c)
and 2. (2)
For , is defined similarly, except the first curve is in with in the stable manifold of .
For every , we can assign the gradings and . As in §2, we fix a Morse-Smale pair and is a Morse moduli spaces for . Let we denote and . From Proposition 8.5, we have the following transversality and compactness result.
Proposition 8.6**.**
There exist a second category set such that is compact smooth manifold of dimension whenever it is .
Proof.
On every , there is submanifold , where is the negative gradient flow on . Let be the stable manifold and unstable manifold of . Since on universal moduli spaces are submersive, then the following space are Banach manifolds
- (1)
; 2. (2)
, for ; 3. (3)
, for .
Then we can pick any in the regular value of the projections of above spaces to the space of admissible almost complex structure. Then transversality on is verified. It is sufficient to prove compactness. First by a dimension argument, it can not have a Morse breaking, or a fiber product breaking at when , by the transversality of the preimage of in (1)-(3) above. For the general case in the compactification, we still need to consider is the following
Note that for the figure in the left, the link of spheres connecting Morse trajectory and Floer cylinder should be understood as Floer cylinders, hence they are -curves without quotienting . We will not emphasize the difference, since we will rule out such configuration altogether. Note that the existence of curves above in the compactification of will lead to existence of one of the following configurations.
The single sphere bubble above is simple and the link of spheres in the left is in . To see that we can reduce to the above three case, if we have a curve in left of Figure 5, then the bubble tree in the left can be reduced to a simple stable map by [44, Proposition 6.1.2]. We can pick out the link of spheres containing the two marked points and stabilize it by collapse unstable constant spheres. If the two marked points are on non-constant sphere(s), then we get the first case in Figure 6. If the two marked points are on a constant sphere, then we get the third case in Figure 6. The other cases in Figure 5 are similar.
By construction, the moduli space in Figure 6 are cut out transversely. The expected dimensions after module the reparametrization action are respectively, where is the number of spheres. All of them are negative. Hence is compact when expected dimension (also holds for dimension when adding Morse breaking and fiber product breaking). The proof of boosting almost complex structure to follows from the same argument in [31, Theorem 5.1]. ∎
Then for , we can define cochain complexes are free -module generated by both and , only , or only respectively. And the differential is defined to be
[TABLE]
Proposition 8.7**.**
* is a differential.*
Proof.
Since the differential increases action and preserve the length filtration from by Proposition 8.3, it is sufficient to verify on orbits inside within a bounded action window. In such case, we have compactness and [11, Theorem 3.7] can be applied to verify . ∎
As usual, form a short exact sequence, which induces a long exact sequence. We also have subcomplexes , generated by orbits inside . By definition, , are direct limits of them. On the other hand, we have cochain complexes by action truncation. In particular, we will consider and , i.e. the complex only with elements of non-negative action inside . and are modules, and we have and . Since is a flat -module, the relation pass to cohomology. We may consider even smaller cochain complex of elements with action in . On such complex, we have an energy control, hence neck-stretching can be applied.
On the other hand, like the exact case, symplectic cohomology can also be defined as a direct limit using non-degenerate Hamiltonian with finite slope when sphere bubbles can be avoided (e.g. ), see [54].
Proposition 8.8**.**
There is an isomorphism such that the following diagram commute
[TABLE]
Sketch of the proof.
Similar to Proposition 2.10, we first perturb to , such that on , is a -small time-independent Hamiltonian but on the cylindrical end. Then there is a cascade continuation map [10, §2] from the cochain complex of to the cochain complex of preserving the filtration. As in Proposition 2.10, it is quasi-isomorphism as it induces isomorphism on the first page of the spectral sequence (which is convergent). Then similar to the discussion in §4.6, we first get with finite slope, which is the same as on but linear afterwards. Then cohomology of can be write as direct limit of . The last step is perturbing into non-degenerate Hamiltonians, then using the cascade continuation map, we have that the direct limit using non-degenerate Hamiltonians with finite slop is the same as . Since the inclusion from can also be viewed as continuation map from a homotopy of zero slope truncation of to by Lemma 2.5. Then all of the construction above is compatible with continuation maps from the [math]-length part111111Note that for a general non-degenerate Hamiltonian with finite slope, Proposition 8.2 may not apply, the [math]-length part may not be a subcomplex., this finishes the proof. ∎
From here, we give an ad hoc definition of motivated from Proposition 8.8,
[TABLE]
since is field, Proposition 8.8 implies that there is a (non-canonical) isomorphism . We do not claim this definition is good in a functorial way, but it is sufficient for our application.
8.2. Proof of the independence
Similarly, we can define moduli spaces and as in §3.1. Combining with the proofs in Proposition 8.5 and Proposition 8.7, §3.1 can be generalized to strong fillings with vanishing first Chern class with the same statements. Hence we will use the same terminology, in particular we have various regular sets of almost complex structures. The following Proposition follows from the same proof of Proposition 3.4.
Proposition 8.9**.**
Let , then we have a commutative diagram
[TABLE]
where vertical and horizontal arrows are continuation maps except those mapped to the last column and consists of elements in with action in . The arrow to the last column is defined by counting . Then of the digram computes .
Now let be a TADC contact manifold with two strong fillings , we assume in Definition 6.2 is represented by a nested sequences . Then we view as the new , in particular is zero on this new . Then we can stretch in the same way as in §3.2.
Proposition 8.10**.**
With the setup above, there exist admissible and on and respectively and positive real numbers such that the following holds.
- (1)
We have . For and any , . Such that all zero dimensional and are the same for both and contained outside for with action change at most . 2. (2)
For every , there exists such that on .
Proof.
The proof is exactly same as Proposition 3.12. We start with such that . The threshold will dependent on , because we need compactness to apply neck-stretching. is smaller than , as . To prove the second property, note that all curves in Figure 3 for have a universal bound depending only on . Therefore there exists , such that , since the related moduli spaces are contained outside by the first property. Hence we can choose such that and on as in Proposition 3.12. ∎
Theorem 8.11**.**
Let be a TADC manifold, then is independent of the filling.
Proof.
Using the almost complex structures in Proposition 8.10, by Proposition 8.9, we have that the part where of the following diagram computes ,
[TABLE]
By the same argument in the proof of Theorem A, the horizontal continuation maps are inclusions for . The vertical continuation map can be decomposed into continuation maps and . The former map from the trivial homotopy of almost complex structure is the obvious quotient, the latter map is homotopic to identity by Lemma 2.15. Therefore the part where of the diagram is identified for both . Hence is independent of the filling. Since is a flat module, the claim follows from tensoring . ∎
Corollary 8.12**.**
If is a TADC contact manifold, then is a property independent of topologically simple strong fillings.
Proof.
Since is equivalent to maps to [math] since it a unital ring map [54, Corollary 14], which is equivalent to , which by Theorem 8.11 is independent of such fillings. ∎
Proof of Theorem F.
By Theorem 8.11 and Corollary 8.12, the map is independent of the filling. Hence for any other topologically simple strong filling , we have is injective and is surjective. They imply that there exists one form on , such that and near . That is is exact. ∎
Remark 8.13**.**
Another similar case is for a TADC , then by the same argument for any topologically simple strong filling , have is surjective. Therefore the symplectic form must be exact. It may not be true that there is a primitive restricted to a contact form. But such exactness is enough to rule out all sphere bubbles, hence the invariance can be lifted to coefficient by Corollary B.
Theorem 8.11 also holds for symplectic cohomology with local systems (using Novikov field over ), as a combination of twisted version of Theorem 8.11 and Theorem D, we have the following.
Theorem 8.14**.**
Assume is in Theorem D and . Then any strong filling of with vanishing first Chern class satisfies other topological conditions in Theorem D is exact.
Remark 8.15**.**
For general ADC manifolds, may collapse to zero. Since non-exact filling does not contain . Therefore we can only seek room in . In particular, we need to accommodate the increasing of . However, in addition to the problem in Remark 2.11, it seems to be very difficult to arrange homotopies of Hamiltonians, so that integrated maximum principle can be applied to exclude contributions from the [math]-length generators to the positive length generators. Requiring converges to indicates that it might be better to define the theory on the SFT level, as in SFT, the vanishing of contributions of the zero length generators to the positive length generators is automatic. In particular Theorem 8.11 should generalize to ADC manifolds by considering the theory defined using SFT, see Remark 1.7.
Remark 8.16**.**
For ADC but not TADC contact manifolds, it is still possible to get some information about the strong filling. For example, if we know that is killed by Hamiltonian orbits with action at least in the exact filling. Then possibly after rescaling, we have a contact hypersurface inside the strong filling such that Reeb orbits with period smaller than are non-degenerate and have positive degree. Then the argument in Theorem 8.11 implies that the symplectic cohomology of the strong filling with vanishing first Chern class is zero as we have found the primitive of . In general, our argument proves that is an invariant, while the invariance of the map can not be obtained.
Appendix A Orientations
A.1. Coherent orientations in §2, §3 and §8
Following [1, §1.4], for every non-constant periodic orbit , one can associate an orientation line , which is the determinant line bundle of the following operator
[TABLE]
where is equipped with the negative cylindrical end , is the complex structure on and when , here is the a path in determined by the linearization of the Hamiltonian flow of around and a trivialization of . By [1, Proposition 1.4.10], determinant bundles of using different choices of trivializations are conically isomorphic. Hence is well-defined. Moreover, we have .
On the other hand, if we equip with the positive cylindrical end [1, §1.4.3], then (A.1) induces another determinant line . Note that in this case, (A.1) is the linearization of the equation of (2.9), therefore we have a conical isomorphism . By the gluing property of such determination bundles [59, Lemma 1.4.5], we have a canonical isomorphism .
Let be a solution to the Floer equation with negative end asymptotic to and positive end asymptotic to . After choosing a trivialization of , the linearized operator of the Floer equation is in the form of
[TABLE]
where asymptotics of are determined by the linearization of the Hamiltonian flow of near two ends as before. Let denote the determinant line. When is a manifold, they form a continuous bundle . Then with a regular in Proposition 2.8, the gluing property of such bundles [59, Lemma 1.4.5] yields the following structures.
- (1)
Canonical isomorphisms , on such that on . 2. (2)
and the is induced by a map with the property that is mapped to and is mapped to the out normal vector of , c.f. [1, Lemma 1.5.7]. 3. (3)
Canonical isomorphism over , which is induced by a map with mapped to and mapped the out normal vector.
If we fix orientations on , then there are induced orientations on and , which determine orientations of and by quotienting out the factor from the left.
Next we orient the Morse theory part. For a Morse function , let , denote the stable and unstable manifold of . Then there is a conical isomorphism . Moreover, we have , the latter at has a natural isomorphism to . Therefore if we fix orientations for every , then there is an induced orientation on . When is the unique local minimum, we orient such that the induced orientation coincide with orientation of , this guarantees the identity is generated by . Since is the fiber product , we orient , such that the isomorphism preserves the orientation (it is actually twisted by for general fiber product).
Remark A.1**.**
Our convention is from the following consideration: if we view as a Hamiltonian, we can assign two line bundles as before. Then there are conical isomorphism and , because is the linearization of an equation whose solution corresponds to the stable manifold . Similarly for . Then the gluing of determinant bundle gives an isomorphism corresponding to . Moreover and the gluing map is induced from the obvious map. As for the orientation convention for fiber products, it is different from the one used in [19] by a sign twisting for general fiber products, but they coincide in the special case considered here since . Our fiber product orientation rule also satisfies associativity.
Therefore we have oriented all , the following proposition shows that orientations are coherent in the sense that they imply .
Proposition A.2**.**
For -dimensional , with orientations above, we have .
Proof.
For , by property (3) above, we have an orientation preserving map over with the property that is mapped to and is mapped to the out normal vector of . Hence the product orientation is the boundary orientation. The situation for for is similar. Next we consider for . Then by property (3) above, we have an orientation preserving map with mapped to and mapped the out normal vector. Then by our fiber product orientation rule, we have the product orientation is the boundary orientation. The situation for for is the same. ∎
To orient other moduli spaces in §2, §3, we need to assign orientation to for every . Then for , we have an isomorphism at the intersection point on . Therefore orientations of for determines orientation of . The orientation of is determined by the fiber product rule. For , the orientation is determined by fiber product rule and the orientation on the Morse part is given by for . Then by the same argument in Proposition A.2, we have the following.
Proposition A.3**.**
For moduli spaces up to dimension , we have the induced orientations above satisfying the following,
- (1)
; 2. (2)
; 3. (3)
.
The orientations for the continuation map moduli spaces in Proposition 2.10 and §2.2 is done similarly, but there is no factor needed to be quotiented.
For the orientation in §8, by [11, Theorem 3.7], the moduli space encountered in §8 has a one-to-one correspondence to the moduli space using non-degenerate Hamiltonians nearby. Hence we can use the orientation from a perturbed Hamiltonian, then we have coherent orientations from Proposition A.2 and Proposition A.3. Alternative approaches to orient the cascades moduli space directly can be found in [11, §4.4], but they require a twisting depending the number of cascades [11, Proposition 3.9].
A.2. Coherent orientations in §4
We follow the orientation convention for the BV operator in [59]. If we consider a solution to the equation (4.2), i.e.
[TABLE]
If transversality for holds, let denote the linearization of the equation above at , then we have a short exact sequence
[TABLE]
Since , the short exact sequence induces an isomorphism . Hence given orientations of and , we have induced orientation on . Then we can similarly orient for , and by tensoring from the right. One last type is in the construction of homotopy in §4.2.2, similar to the BV operator case, for every solution to (4.18), there is a short exact sequence
[TABLE]
which yields an isomorphism for and . Hence is oriented, and the orientation for is similar. Then we have the following result with the same proof of Proposition A.2.
Proposition A.4**.**
For moduli spaces up to dimension , the orientations above satisfy the following
- (1)
; 2. (2)
; 3. (3)
; 4. (4)
.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] Mohammed Abouzaid. Symplectic cohomology and Viterbo’s theorem. In Free loop spaces in geometry and topology , volume 24 of IRMA Lect. Math. Theor. Phys. , pages 271–485. Eur. Math. Soc., Zürich, 2015.
- 2[2] Mohammed Abouzaid and Paul Seidel. Altering symplectic manifolds by homologous recombination. ar Xiv preprint ar Xiv:1007.3281 , 2010.
- 3[3] Mohammed Abouzaid and Paul Seidel. An open string analogue of Viterbo functoriality. Geometry & Topology , 14(2):627–718, 2010.
- 4[4] Miguel Abreu and Leonardo Macarini. Dynamical convexity and elliptic periodic orbits for Reeb flows. Mathematische Annalen , 369(1-2):331–386, 2017.
- 5[5] Peter Albers, Urs Frauenfelder, and Alexandru Oancea. Local systems on the free loop space and finiteness of the Hofer-Zehnder capacity. Mathematische Annalen , 367(3-4):1403–1428, 2017.
- 6[6] Michèle Audin and Mihai Damian. Morse theory and Floer homology . Springer, 2014.
- 7[7] Kilian Barth, Hansjörg Geiges, and Kai Zehmisch. The diffeomorphism type of symplectic fillings. Journal of Symplectic Geometry , 17:929–971, 2019.
- 8[8] Frédéric Bourgeois. A Morse-Bott approach to contact homology . Ph D thesis, stanford university, 2002.
