Abstract
We consider morphisms \(\pi : X \to \mathbb{P}^{1}\) of smooth projective varieties over \(\mathbb{C}\). We show that if π has at most one singular fibre, then X is uniruled and π admits sections. We reach the same conclusions, but with genus zero multisections instead of sections, if π has at most two singular fibres, and the first Chern class of X is supported in a single fibre of π.
To achieve these result, we use action completed symplectic cohomology groups associated to compact subsets of convex symplectic domains. These groups are defined using Pardon’s virtual fundamental chains package for Hamiltonian Floer cohomology. In the above setting, we show that the vanishing of these groups implies the existence of unirulings and (multi)sections.
Similar content being viewed by others
1 Introduction
1.1 Statement of results
In this paper, we study complex projective varieties. When we refer to a variety, we will always mean a variety over \(\mathbb{C}\). The primary goal of this paper is to prove the following results.
Theorem 1.1
If \(\pi : \overline{M} \to \mathbb{P}^{1}\) is a morphism of smooth projective varieties that is smoothFootnote 1away from ∞, then \(\overline{M}\) is uniruled and admits sections.
Theorem 1.2
If \(\pi : \overline{M} \to \mathbb{P}^{1}\) is a morphism of smooth projective varieties that is smooth away from 0 and ∞ and the first Chern class of \(\overline{M} \smallsetminus \pi ^{-1}(\infty )\) vanishes, then \(\overline{M}\) is uniruled and admits genus zero multisections.
These results hold in the category of complex algebraic varieties. Our approach to understanding the geometry of these families is fundamentally new and purely symplectic in nature.
Remark 1.3
The motivation for our results comes from Hodge theory. By the work of Griffiths [Gri68], given a projective morphism of smooth varieties π:X→S, one obtains a holomorphic map \(\Phi : \widetilde{S^{*}} \to D\), where D is a classifying space of polarized Hodge structures, which carries a complex structure and is referred to as a period domain, and \(\widetilde{S^{*}}\) is the universal cover of the complement in S of the singular values of π. Roughly, Φ sends a point \(\widetilde{s}\) to the marked polarized Hodge structure of the fibre \(X_{\widetilde{s}}\). If \(X_{\widetilde{s}}\) is a smooth genus g curve, then D is the Seigel upper half-space \(\mathbb{H}_{g}\), which has negative holomorphic sectional curvature. So in this case, when S∗ is a curve of non-negative genus, Φ is constant and, the variation of Hodge structures of the fibres over S∗ is trivial. In general, D can be either positively or negatively curved. Nevertheless, a distance decreasing principle of Griffiths [Gri70] implies the analogous result in general: the variation of Hodge structures of the fibres over S∗ is trivial when S∗ is a curve of non-negative genus.
In our case, \(S = \mathbb{P}^{1}\) and π has at most two singular values. So the variation of Hodge structures of the fibres of π is trivial. It was expected that this Hodge theoretic triviality should be witnessed by algebraic cycles (that is, sections) or complex geometric features. By using symplectic methods, we construct such algebraic cycles and constrain the actual geometry (as opposed to Hodge theory) of these families.
Remark 1.4
We point out partially related work. Viehweg-Zuo [VZ01, Theorem 0.2] show that if \(X \to \mathbb{P}^{1}\) is a morphism of smooth projective varieties that has two or less singular fibres, then the Kodaira dimension of X is negative, answering a question of Catanese-Schneider [CS95, Question 4.1] (cf. [Mig95, Kov96, Kov97, Kov00, BV00, OV01]). Every uniruled variety has negative Kodaira dimension; however, the converse is a very difficult open conjecture in the minimal model program. So the uniruling conclusion of Theorem 1.1 is a strengthening of [VZ01, Theorem 0.2] in the case with one or less singular fibres.
Deng [Den22, Theorem A] shows that if \(X \to \mathbb{P}^{1}\) is a morphism with two or less singular fibres such that the smooth fibres are good minimal models, then the family is isotrivial over its smooth locus (cf. [VZ01, HK10, KK08, Sch12, PS17, PTW19, Den22, Taj20] and the references therein.). So when the smooth fibres have numerically trivial canonical bundles (cf. Theorem 1.2), [Den22, Theorem A], the Fischer-Grauert theorem, and [KL09, Lemma 17] imply that such a family is biholomorphic to a trivial family after base change along a finite étale covering of the smooth locus. The conclusions of Theorem 1.2 follow. When the family has one or less singular fibres and the smooth fibres are good minimal models, [Den22, Theorem A] and the Fischer-Grauert theorem imply that such a family is biholomorphic to a trivial family over its smooth locus. In this specific good minimal model case, the conclusions of Theorem 1.2 follow. We stress that our techniques are completely orthogonal to the techniques used in the above algebraic geometry literature, ours being symplectic in nature. The only non-elementary result from algebraic geometry that is used in our proof is Hironaka’s resolution of singularities.
On the symplectic side, Seidel’s construction of his eponymously named representation [Sei97] implies that if π (as in Theorem 1.1) is smooth over all of \(\mathbb{P}^{1}\), then π admits a section. Seidel’s original work assumed a relationship between the first Chern class and the symplectic form of the space. Later, McDuff introduced virtual techniques to prove the result without this assumption [McD00]. Similar ideas also appear in [LMP99]. Our results generalize this corollary of Seidel’s and McDuff’s work. However, our work does not generalize the main results of the above papers, which are on the Seidel representation. Finally, while our proofs and the proofs of Seidel and McDuff are both symplectic, they are nevertheless vastly different.
Remark 1.5
Finally, we note: if \(\pi : \overline{M} \to \mathbb{P}^{1}\) is a morphism of smooth, projective varieties, and \(\overline{M}\) is Fano, then by [KMM92] \(\overline{M}\) is rationally connected. This implies that π is actually uniruled by genus zero multisections.
1.2 Sketch of proof
We now sketch the proofs of our main results.
Degenerating to the normal cone: We consider the degeneration of \(\mathbb{P}^{1}\) to the normal cone of {∞} in \(\mathbb{P}^{1}\), that is, the blowup
We have a projection \(\pi _{{B}}: {B} \to \mathbb{C}\) by composing β0 with the projection to \(\mathbb{C}\). \(\pi _{B}^{-1}(z)\) for z≠0 is biholomorphic to \(\mathbb{P}^{1}\), and \(\pi _{B}^{-1}(0)\) is a union of two curves F0∪E0, where E0 is the exceptional divisor, and F0 is a curve that is biholomorphic to \(\mathbb{P}^{1}\). As z→0, the curves \(\pi _{B}^{-1}(z)\) converge in the Gromov topology to the nodal curve \(\pi _{B}^{-1}(0)\).
Now consider the degeneration of \(\overline{M}\) to the normal cone of π−1(∞) in \(\overline{M}\).Footnote 2 This is a quasi-projective variety P along with a map \(\widetilde{\pi }: P \to B\). Let \(\pi _{P} :=\widetilde{\pi } \circ \pi _{B}\). \(\pi _{P}^{-1}(z)\) for z≠0 is biholomorphic to \(\overline{M}\), and \(\widetilde{\pi }\) over \(\pi _{B}^{-1}(z)\) is identified with \(\pi : \overline{M} \to \mathbb{P}^{1}\). \(\pi _{P}^{-1}(0) = F \cup E\), where F is a subscheme that is birational to \(\overline{M}\) and E is an exceptional divisor. \(\widetilde{\pi }\) over F0 is identified with π up to composing with a birational morphism, and \(\widetilde{\pi }^{-1}(E_{0}) = E\). Roughly, we are degenerating the family \(\pi : \overline{M} \to \mathbb{P}^{1}\) into two families that meet along a fibre. One family lives over E0, and the other family lives over F0, and can be identified with our original family.
Consider a sequence of holomorphic disks \(u_{z}: \mathbb{D}\to \pi _{P}^{-1}(z)\) for z≠0 with uniformly bounded energies such that
As z→0 (with an appropriate choice of symplectic form on B), the \(\widetilde{\pi }\circ u_{z}\) converge in the Gromov topology to a nodal holomorphic curve with boundary in \(\pi _{B}^{-1}(0)\). One component of the holomorphic curve has image given by F0 and the other component is a holomorphic disk whose boundary is completely contained in E0∖(E0∩F0). Now consider the sequence uz in P. A Gromov-type compactness result (see Lemma 15.2) implies that these holomorphic curves with boundaries degenerate to a nodal holomorphic curve with boundary in \(\pi _{P}^{-1}(0)\). The boundary of the limit curve (as above) is completely contained in E∖(E∩F). This limit curve also has an irreducible component in F whose projection to F0 is non-constant. This gives the (multi)section described in our main results since the projection from F to F0 may be identified with π. With this procedure, we turn (sufficiently large) holomorphic disks in \(\overline{M}\) into closed holomorphic curves in \(\overline{M}\). In actuality, the uz will be genus zero curves with boundaries; however, this will not change the argument. We will run a similar degeneration for holomorphic curves (possibly with boundaries) in \(\pi _{P}^{-1}(z)\) that have point constraints, which will give rise to the uniruling parts of our main results.
Arranging to do Floer theory: The above procedure reduces our task to producing holomorphic disks in the \(\pi _{P}^{-1}(z)\). The variety P is Kähler, and, thus, gives rise to a Kähler form on each \(\pi _{P}^{-1}(z)\). Via symplectic parallel transport, we symplectically (but not biholomorphically) identify \(\pi _{P}^{-1}(z)\) for z≠0 with \(\pi _{P}^{-1}(1)\). Pushing forward the almost complex structure on \(\pi _{P}^{-1}(z)\) to \(\pi _{P}^{-1}(1) \cong \overline{M}\), we can reduce our task to producing holomorphic disks inside of \(\overline{M}\) for an arbitrary choice of compatible almost complex structure.
To produce these disks, we will do Floer theory in the complement \(M = \overline{M} \smallsetminus \pi ^{-1}(\infty )\). A priori, an arbitrary Kähler form on M does not need to be convex in any sense that is amenable to doing Floer theory. So we show in Part 3 that we can symplectically embed M into a convex symplectic domain (see Definition 2.6) that is diffeomorphic to \(M_{c} :=\pi ^{-1}(\mathbb{D}_{c})\) for some c>0. A collar neighborhood of the boundary of Mc will be modeled after a symplectic mapping cylinder. It has well-defined Floer theory for appropriate choices of admissible Hamiltonians and almost complex structures. Producing our needed embedding is rather non-trivial. First, via a symplectic deformation that preserves the Kähler class, we “push” M away from π−1(∞) and into Mc, see Sect. 13. Then we realize \(\pi : M_{c} \to \mathbb{D}_{c}\) as a Hamiltonian fibration with a singularity over 0. Using this description, we symplectically deform a collar neighborhood of the boundary of Mc, “straightening it out”, to a symplectic mapping cylinder, see Sect. 14. To continue, let us assume that the constructed embedding has image lying in Ma⊂Mc.
Action completed symplectic cohomology: The above embeddings will reduce our task to producing holomorphic disks (for arbitrary compatible almost complex structures) in Mc that are sections over \(\mathbb{D}_{a}\). To do this, we will use Floer theory. Using Pardon’s virtual fundamental chains package [Par16], we define the action completed symplectic cohomology group of a compact subset K inside of Mc (and for compact subsets in more general convex symplectic domains, see Sect. 5.4). For the moment, we denote this group by \(\widehat{SH}(K \subset M_{c})\) even though it depends on the choice of symplectic form and other data. Roughly, \(\widehat{SH}(K \subset M_{c})\) is computed by taking a Novikov completion (see Sect. 17.2) of the colimit of the Hamiltonian Floer chain complexes of an increasing sequence of Hamiltonians on Mc that converge to zero on K and diverge to infinity on Mc∖K. A useful feature of these groups is that if K is stably displaceable inside of Mc, then \(\widehat{SH}(K \subset M_{c})\otimes \Lambda \) vanishes, where Λ denotes the universal Novikov field, see Sect. 6.2. A second feature is that when \(K = M_{a} = \pi ^{-1}(\mathbb{D}_{a}) \subset M_{c}\), we have a long exact sequence, see Proposition 6.1 item (iii),
where H(Mc) denotes the cohomology of Mc with coefficients in Λ, and \(\widehat{SH}_{+}(M_{a},\subset M_{c})\) is a chain complex that is generated by orbits that correspond to Reeb orbits of a stable Hamiltonian structure associated to the collar of ∂Mc. In particular, these are orbits that when projected by π to \(\mathbb{D}_{a}\) wrap positively around \(\partial \mathbb{D}_{a}\). This should be thought of as some action completed version of positive symplectic cohomology. Notice that we work in a non-exact setting. So this long exact sequence does not arise from an action filtration (as the action functional is multi-valued). Instead we prove an integrated maximum principle, see Sect. 18, for our convex symplectic domains and use this to topologically construct a filtration of our Floer chain complexes that gives rise to the above long exact sequence.
From these two features, one finds that if Ma is stably displaceable inside of Mc, then the boundary homomorphism of this long exact sequence is an isomorphism over Λ. Unwinding the definition of the boundary homomorphism, one finds that there exists a Floer trajectory connecting a Reeb orbit near the boundary of Ma to an index zero critical point of a Hamiltonian that represents the unit inside of the cohomology of Mc. This produce a Floer trajectory whose projection under π covers \(\mathbb{D}_{a}\).
However, a Floer trajectory is not a holomorphic curve, which is what we desire. To remedy this, we prove a Gromov-Floer-type compactness result for sequences of Floer trajectories associated to sequences of Hamiltonians that converge to zero on compact subsets. We show that these sequences of Floer trajectories converge to pearl necklaces,Footnote 3 that is, holomorphic curves adjoined by negative gradient trajectories of some background Morse function, see Sect. 16. In particular, when the negative end of our Floer trajectory is an index zero critical point, the negative end of the pearl necklace must be a non-constant holomorphic curve and not a negative gradient trajectory. The positive end of the necklace wraps positively around \(\partial \mathbb{D}_{a}\).
By ignoring the trajectories and curves in between the two ends of the necklace, this “turning off” of the Hamiltonian perturbation gives a genuine (possibly disconnected) holomorphic curve that has a component whose projection under π covers \(\mathbb{D}_{a}\) and has a non-constant component with a point constraint. Assuming that the image of M under our symplectic embeddings above is completely contained in Ma, we can use these holomorphic curves to produce our desired disks. Considering continuation maps associated to varying Hamiltonians and almost complex structures, one can show that the existence and energy of the resulting holomorphic curves above are independent of the choice of point constraint and almost complex structure. In this manner, we will obtain our desired holomorphic curves with boundaries (assuming that \(\widehat{SH}(M_{a} \subset M_{c}) \otimes \Lambda \equiv 0\)).
Vanishing of action completed symplectic cohomology: We now explain why \(\widehat{SH}(M_{a} \subset M_{c}) \otimes \Lambda \) vanishes in our setup. There are two cases to consider, each corresponding to one of our main theorems.
When π is smooth over 0, the symplectic embedding of M into Mc that we produce above can actually be made into a symplectic embedding into the product symplectic manifold \(\mathbb{D}_{c} \times F\), where F is the smooth fibre of π. Every compact subset of \(\mathbb{C}\times F\) is displaceable in some Mc for c sufficiently large. In this manner, we obtain vanishing for \(\widehat{SH}(M_{a} \subset M_{c}) \otimes \Lambda \).
When M has vanishing first Chern class, we proceed as follows. First, a result of McLean [McL20, Corollary 6.21] implies that π−1(0) is stably displaceable inside of Mc. Consequently, \(\widehat{SH}(M_{\varepsilon }\subset M_{c}) \otimes \Lambda \) vanishes for some small ε>0. However, most likely Mε⊂Ma. So we consider a rescaling morphism
Roughly, we radially rescale our Hamiltonian vector fields and identity the generators of the associated Hamiltonian Floer chain complexes. This rescaling sends an orbit x to x⋅T(a−ε)⋅w(x), where T is the Novikov parameter, and w(x) denotes the winding number of x about the origin in \(\mathbb{C}^{\times}\). In general this morphism is not a bounded map of the associated uncompleted complexes, and, thus, fails to be an isomorphism after completing our complexes. To remedy this, we use that c1(M)=0 to obtain a grading on our Hamiltonian Floer chain complexes. So to conclude that this rescaling morphism is an isomorphism, it now suffices to show that it is degree-wise bounded. More explicitly, one need to show that if the Conley-Zehnder index of the orbit x is bounded by n, then the winding number w(x) is bounded by some constant Cn that is independent of x. To achieve this, we construct an explicit sequence of Hamiltonians that are adapted to a normal crossings resolution of the singular fibre π−1(0) that have this index-bounded property, see Sect. 11 for the construction of such Hamiltonians, see Remark 12.1 for a discussion on the necessity of such Hamiltonians, and see Lemma 10.8 for the statement of the required relationship between indices and winding numbers. The Conley-Zehnder indices of the orbits for these Hamiltonians will be controlled by the winding numbers about the divisors in the normal crossings resolution and the discrepancy of the resolution. So this sequence of Hamiltonians (when rescaled) will give rise to the desired isomorphism, and (after relabeling the value c) the vanishing of \(\widehat{SH}(M_{a} \subset M_{c}) \otimes \Lambda \).
1.3 Structure of the exposition
Part 1 discusses Hamiltonian Floer cohomology and the proofs of our main results. In Sect. 2, we define convex symplectic domains, which are a class of symplectic domains that satisfy convexity properties with respect to pseudo-holomorphic curves and are the spaces for which we define Hamiltonian Floer cohomology and its analogues. In Sect. 3, we define admissible families of Hamiltonians and almost complex structures for convex symplectic domains. In Sect. 4, we discuss moduli spaces of Floer trajectories and give some basic energy estimates for Floer trajectories. In Sect. 5, we import Pardon’s virtual fundamental chains package [Par16] to define both Hamiltonian Floer cohomology and action completed symplectic cohomology for convex symplectic domains. In Sect. 6, we discuss some properties of action completed symplectic cohomology, deriving a long exact sequence that relates action completed symplectic cohomology with the Morse cohomology of the symplectic domain and discussing the vanishing of action completed symplectic cohomology groups associated to stably displaceable subsets. In Sect. 7, we prove a condition, phrased in terms of the vanishing of action completed symplectic cohomology, that ensures the existence of genus zero, holomorphic curves with boundaries through every point in a domain. We also show that the energies of these curves are well controlled under deformations of almost complex structures. In Sect. 8, we give the proofs of our main results.
The second part discusses the part of the proof of our main result that is specific to the Calabi-Yau case. In Sect. 9, we discuss Conley-Zehnder indices of contractible 1-periodic orbits of Hamiltonians, and define pseudo Morse-Bott families of orbits of Hamiltonians. In Sect. 10, we establish a rescaling isomorphism for the action completed symplectic cohomology of convex symplectic domains whose collar neighborhoods are symplectic mapping cylinders. In Sect. 11, we discuss symplectic normal crossings divisors and their standard tubular neighborhoods, and using these neighborhoods, we construct sequences of Hamiltonians whose dynamics are well-adapted to the normal crossings structure.
The third part discusses Hamiltonian fibrations and establishes the symplectic deformations that are used to construct the “modified parallel transport maps” (the symplectic embeddings) in the proofs of our main results. In Sect. 13, we prove a self-embedding result for complements of normal crossings divisors in Kähler manifolds. In Sect. 14, we discuss the relationship between Hamiltonian fibrations and convex symplectic domains. In particular, we focus on Hamiltonian fibrations over \(\mathbb{C}^{\times}\), relating them to symplectic mapping cylinders.
The forth part establishes Gromov-Floer-type compactness results. In Sect. 15, we prove a compactness result for sequences of holomorphic curves with boundaries in spaces of the form given by our degeneration to the normal cone setup. In Sect. 16, we prove a Gromov-Floer type compactness result for sequences of Floer trajectories associated to Hamiltonians that degenerate to the zero Hamiltonian on a compact subset.
The fifth part is a string of appendices. In Sect. 17, we discuss the requisite homological algebra (over the universal Novikov ring) that is needed to define action completed symplectic cohomology. In Sect. 18, we establish an integrated maximum principle for our convex symplectic domains. In Sect. 19, we discuss stable displaceability properties of neighborhoods of fibres of proper holomorphic maps to Riemann surfaces.
Part I. Floer theory
In this part, we define action completed symplectic cohomology groups associated to compact subsets of convex symplectic domains, and establish some of their properties. The setting in which we do Floer theory is more general than most of the literature. First, we do not assuming any relationship between our symplectic forms and first Chern classes. Second, our symplectic domains do not necessarily have contact-type boundaries. Instead, we consider symplectic domains whose boundaries admit stable Hamiltonian structures with admissible almost complex structures. To deal with the first issue, we import Pardon’s virtual fundamental chain package to define Hamiltonian Floer chain complexes [Par16]. To deal with the second issue, we establish an integrated maximum principle for our convex symplectic domains that ensures that the images of pseudo-holomorphic curves are disjoint from the boundaries.
2 Convex symplectic domains
We work with compact symplectic manifolds whose boundaries admit stable Hamiltonian structures with admissible almost complex structures. We refer to such symplectic domains as convex symplectic domains. Our definition of convex symplectic domains is analogous to the definition of symplectic domains with contact-type boundaries; however, our notion of convexity is more general. We briefly review stable Hamiltonian structures before giving the definition of convex symplectic domains.
Definition 2.1
[HZ94]
A stable Hamiltonian structure on a manifold Y of dimension 2n−1 is a pair (ω,α), where ω is a 2-form and α is a 1-form, that satisfies:
-
(i)
dω=0,
-
(ii)
α∧ωn−1>0, and
-
(iii)
ker(ω)⊂ker(dα).
Definition 2.2
The hyperplane distribution of a stable Hamiltonian structure (ω,α) on Y is the distribution ξ:=ker(α). The Reeb vector field of a stable Hamiltonian structure (ω,α) on Y is the (unique) vector field \(\mathcal{R}\) determined by \(\iota _{\mathcal{R}}\omega \equiv 0\) and \(\iota _{\mathcal{R}} \alpha = 1\). The Reeb vector field is non-degenerate if for all orbits γ of \(\mathcal{R}\), the linearized return map
where T is the period of γ and \(\varphi _{T}^{\mathcal{R}}\) is the time T flow of \(\mathcal{R}\), has no eigenvalues equal to 1.
When ω=dα, Y is a contact manifold with contact 1-form α. The hyperplane distribution and Reeb vector field in Definition 2.2 agree with the usual hyperplane distribution and Reeb vector field associated to the contact 1-form α. Like with contact manifolds, we can take symplectizations of stable Hamiltonian structures and define a class of admissible almost complex structures on them.
Definition 2.3
The symplectization of a stable Hamiltonian structure (ω,α) on Y is the symplectic manifold ((1−ε,1+ε)×Y,Ω) with
where r is the coordinate on (1−ε,1+ε) and 0<ε is sufficiently small so that Ω is symplectic.
After rescaling, we can (and always will) assume that ε=1 in Definition 2.3.
Definition 2.4
An almost complex structure J on the symplectization of a stable Hamiltonian structure is admissible if
-
(i)
J is Ω-compatible,
-
(ii)
−dr∘J=r⋅α,
-
(iii)
dα|ξ(⋅,J⋅) is positive semi-definite on ξ, and
-
(iv)
J(ξ)=ξ.
Remark 2.5
The third condition in Definition 2.4 could make the resulting space of admissible almost complex structures non-contractible. In essence, the contracting homotopy of the space of compatible almost complex structures (on ξ), which is produced by the polarization decomposition (see [Sil01]), a priori, does not need to preserve the subspace of compatible almost complex structures that make dα|ξ(⋅,J⋅) positive semi-definite on ξ. Regardless, this possible non-contractibility does not affect our setup. See Remark 3.8 for further discussion.
Definition 2.6
A compact symplectic manifold with boundary (M,Ω) is a convex symplectic domain if
-
(i)
there exists a collar neighborhood N(∂M) of the boundary that is symplectomorphic to the (bottom half of the) symplectization of a stable Hamiltonian structure (Ω|∂M,α) on ∂M for some 1-form α on ∂M,Footnote 4 and
-
(ii)
there exists an Ω-compatible almost complex structure J on M such that J|N(∂M) is admissible with respect to the symplectization.
Using the identification with the symplectization, the radial/collar coordinate is
The associated Liouville 1-form on M is λ:=r⋅α.Footnote 5 Denote a convex symplectic domain by (M,Ω,λ). Finally, an almost complex structure J as above is admissible for (M,Ω,λ).
Example 2.7
Our key example, discussed in Sect. 14.2 of a convex symplectic domain is a symplectic domain whose boundary is the mapping torus of a symplectomorphism.
Notation 2.8
Ma=r−1([0,a]), where r is extended by zero outside of the collar.
Remark 2.9
We stress two features of convex symplectic domains. First, the dynamics of radial Hamiltonians on the collar N(∂M) are given by the dynamics of the Reeb vector field \(\mathcal{R}\) of the stable Hamiltonian structure, since the Ω-dual of −dr is given by the Reeb vector field \(\mathcal{R}\). Second, convex symplectic domains satisfy an integrated maximum principle with respect to radial Hamiltonians. This allows us to define Hamiltonian Floer cohomology for Hamiltonians that are radial near the boundary. More importantly, this integrated maximum principle allows for the collar coordinate r to give rise to filtrations of the associated Hamiltonian Floer chain complexes that are preserved by continuation maps. Normally such filtrations are constructed using the action filtration, say for Liouville domains. However, in the non-exact setting, the action functional is multi-valued, and not well-suited for defining filtrations. The filtrations derived from the integrated maximum principle will essentially agree with the usual action filtration for Liouville domains.
Notation 2.10
-
(i)
Let (M,Ω,λ) be a convex symplectic domain.
-
(ii)
Let Js be an \(\mathbb{R}\)-family of admissible almost complex structures for (M,Ω,λ).
-
(iii)
Let \(H: \mathbb{R}\times S^{1} \times M \to \mathbb{R}\) be a family of Hamiltonians such that Hs|N(∂M)=hs, where hs is a family of radial functions in r that satisfies ∂s∂rhs≤0.
-
(iv)
Let \(u: \mathbb{R}\times S^{1} \to M\) be a smooth map that satisfies
$$ 0 = (du-X_{H} \otimes dt)^{0,1}. $$
We prove the following integrated maximum principle in Sect. 18.
Proposition 2.11
If
then r∘u≤max(c±). Moreover, if ∂r∂rhs≥0, then r∘u≤c+, and if c−=c+, then r∘u is constant.
3 Admissible Floer data
We define two semisimplicial complexes associated to a convex symplectic domain (M,Ω,λ). The sets of ℓ-simplices will be Δℓ-families of pairs of Hamiltonians and admissible almost complex structures on (M,Ω,λ) that satisfy admissibility conditions that allow their associated Floer theoretic objects to be well-defined.
3.1 Morse flow lines on the simplex
We review the Morse theory of the standard simplex. We give this discussion because we need to “count” possibly broken, possibly nodal Floer trajectories when defining our Floer differentials, continuations, and higher homotopies. The Morse theory of the standard simplex gives a way to express our Floer trajectories of interest.
Notation 3.1
The standard ℓ-simplex is
For 0≤i≤ℓ, the ith vertex of Δℓ, denoted \(\underline{e_{i}}\), is the point with coordinates
Let \(f_{\ell}: \Delta ^{\ell }\to \mathbb{R}\) denote the Morse function
The vertex \(\underline{e_{i}}\) is the unique index ℓ−i critical point of fℓ. The gradient of fℓ is
which is tangent to faces of Δℓ. Moreover, restrictions of these gradient vector fields are compatible with inclusions/restrictions of faces Δℓ−1↪Δℓ.
Definition 3.2
A Morse flow line from \(\underline{e_{0}}\) to \(\underline{e_{\ell}}\) in Δℓ is a map
such that γi is a (possibly constant) negative gradient flow line of fℓ and
Two Morse flow lines γ and γ′ are isomorphic if there exist translations \(\varphi _{i}: \mathbb{R}\to \mathbb{R}\) such that \(\gamma _{i} = \gamma _{i}' \circ \varphi _{i}\).
3.2 Kan complex of admissible Floer data
We define the semisimplicial sets of admissible Floer data. Let (M,Ω,λ) be a convex symplectic domain with collar coordinate r.
Definition 3.3
A smooth family of almost complex structures \(J^{\sigma}: \Delta ^{\ell }\to \operatorname{End}(TM)\) is admissible if for each \(\underline{s} \in \Delta ^{\ell}\), \(J^{\sigma}_{\underline{s}}\) is an admissible almost complex structure for (M,Ω,λ). Denote the set of Δℓ-families of admissible almost complex structures by \(\mathcal{J}_{\ell}(M,\Omega ,\lambda )\).
Definition 3.4
A smooth family of Hamiltonians \(H^{\sigma}: \Delta ^{\ell }\times S^{1} \times M \to \mathbb{R}\) is admissible if
-
the Hamiltonian \(H^{\sigma}_{\underline{e_{i}}}\) associated to each vertex is non-degenerate, and
-
\(H^{\sigma}_{\underline{s}}\) is locally constant about each vertex \(\underline{e_{i}}\) in Δℓ,
and near ∂M
-
\(H^{\sigma}_{\underline{s}}\) is a linear function in r, and
-
\(\partial _{\underline{s}} \partial _{r} H^{\sigma}_{\gamma _{i}(s)}(r) (\gamma _{i}'(s)) \leq 0\) for each Morse flow line γ=⊔γi in Δℓ,
where \(\partial _{\underline{s}} \partial _{r} H^{\sigma}_{\gamma _{i}(s)}(r)\) denotes the derivative of ∂rHσ in the Δℓ-direction evaluated at (γi(s),r) and \(\partial _{\underline{s}} \partial _{r} H^{\sigma}_{\gamma _{i}(s)}(r) (\gamma _{i}'(s))\) denotes this derivative applied to the vector \(\gamma _{i}'(s)\).Footnote 6 Denote the set of admissible Δℓ-families of Hamiltonians by \(\mathcal{H}_{\ell}(M,\Omega ,\lambda )\).
To define action completed symplectic cohomology, we will need our continuation maps to be defined over the universal Novikov ring. This will be ensured for continuations associated to families of the following Hamiltonians.
Definition 3.5
A family of admissible Hamiltonians \(H^{\sigma}: \Delta ^{\ell }\times S^{1} \times M \to \mathbb{R}\) is monotonically admissible if \(\partial _{\underline{s}} H^{ \sigma}_{\gamma _{i}(s)}(t,x)(\gamma _{i}'(s)) \leq 0\) for each Morse flow line γ=⊔γi in Δℓ, where \(\partial _{\underline{s}} H^{\sigma}_{\gamma _{i}(s)}(t,x)\) denotes the derivative of Hσ in the Δℓ-direction evaluated at (γi(s),t,x) and \(\partial _{\underline{s}} H^{\sigma}_{\gamma _{i}(s)}(t,x)(\gamma _{i}'(s))\) denotes this derivative applied to the vector \(\gamma _{i}'(s)\).Footnote 7 Denote the set of Δℓ monotonically admissible families of Hamiltonians by \(\mathcal{H}^{+}_{\ell}(M,\Omega ,\lambda )\).
Ranging over ℓ, the sets \(\mathcal{J}_{\ell}(M,\Omega ,\lambda )\), \(\mathcal{H}_{\ell}(M,\Omega ,\lambda )\) and \(\mathcal{H}_{\ell}^{+}(M,\Omega ,\lambda )\) assemble into semisimplicial sets, denote \(\mathcal{J}(M,\Omega ,\lambda )\), \(\mathcal{H}(M,\Omega ,\lambda )\), and \(\mathcal{H}^{+}(M,\Omega ,\lambda )\) respectively. Define the product semisimplicial set \(\mathcal{J}\mathcal{H}(M,\Omega ,\lambda )\) whose ℓ-simplicies are pairs \((H^{\sigma},J^{\sigma}) \in \mathcal{H}_{\ell}(M,\Omega ,\lambda ) \times \mathcal{J}_{\ell}(M,\Omega ,\lambda )\). Similarly, define \(\mathcal{J}\mathcal{H}^{+}(M,\Omega ,\lambda )\).
Remark 3.6
We explain when ℓ-simplices of Floer data will be used in our constructions.
-
(i)
As is standard, we need 0-simplices and 1-simplices to define Hamiltonian Floer cohomology groups and continuation maps between them respectively
-
(ii)
We need 1-simplices to define action completed symplectic cohomology; however, 2-simplices and 3-simplices are further needed to show that action completed symplectic cohomology is well-defined and independent of all choices.
-
(iii)
We also use 2-simplices and 3-simplices to derive further invariance properties of action completed symplectic cohomology in Sect. 6.1.
So the reader can ignore ℓ-simplices of Floer data for ℓ≥4.
3.3 Connectivity
The semisimplicial sets \(\mathcal{H}(M,\Omega ,\lambda )\) and \(\mathcal{H}^{+}(M,\Omega ,\lambda )\) are not contractible (or even 0-connected) because of the condition \(\partial _{\underline{s}} \partial _{r} H^{\sigma}_{\underline{s},t} \circ \gamma _{i}'(s) \leq 0\) (and the monotone property for \(\mathcal{H}^{+}(M,\Omega ,\lambda )\)). We point out that while these semisimplicial sets are not contractible, their geometric realizations are contractible. This is because in forming the geometric realization one has to “add in” all of the “opposite” edges and simplices. Nevertheless, to obtain invariance properties for our constructions, the connectivity given by Lemma 3.7 suffices.
Lemma 3.7
Every map of ∂Δℓ to either \(\mathcal{H}(M,\Omega ,\lambda )\) or \(\mathcal{H}^{+}(M,\Omega ,\lambda )\) extends to Δℓ for ℓ≥2.
Proof
This follows from the proof of [Var21, Proposition 3.2.13] and the work leading up to it. The only difference between our setup and the setup of [Var21] is that we need to incorporate the condition that \(\partial _{\underline{s}} \partial _{r} H^{\sigma}_{\underline{s}} \circ \gamma _{i}'(s) \leq 0\) when interpolating families of Hamiltonians. However, incorporating this condition is the same as incorporating the condition that families be monotone as in the proof of [Var21, Proposition 3.2.13]. Incorporating these conditions follows from a parameterized version of the Whitney Extention theorem (or rather a study of the construction used to prove the Whitney Extension theorem). □
Remark 3.8
The analogue of Lemma 3.7 for \(\mathcal{J}\mathcal{H}(M,\Omega ,\lambda )\) and \(\mathcal{J}\mathcal{H}^{+}(M,\Omega ,\lambda )\) need not hold, since the semisimplicial set \(\mathcal{J}(M,\Omega ,\lambda )\) could be non-connected. To obtain an analogue of Lemma 3.7 for \(\mathcal{J}\mathcal{H}(M,\Omega ,\lambda )\) and \(\mathcal{J}\mathcal{H}^{+}(M,\Omega ,\lambda )\), one could do one of the following.
-
(i)
Begin with the assumption that \(\mathcal{J}(M,\Omega ,\lambda )\) is contractible (which occurs if ∂M is of contact-type or is a mapping torus of a symplectomorphism).
-
(ii)
Fix an admissible almost complex structure J near ∂M and replace \(\mathcal{J}(M,\Omega ,\lambda )\) with the semisimplicial set of Δℓ-families of admissible almost complex structures that agree with J near the boundary of M. This replacement semisimplicial set is contractible.
When we define Hamiltonian Floer cohomology and action completed symplectic cohomology, we implicitly assume that either \(\mathcal{J}(M,\Omega ,\lambda )\) is contractible, or we have fixed data for the second item. If \(\mathcal{J}(M,\Omega ,\lambda )\) is not contractible, then our constructions depend on this extra data.
4 Moduli spaces of Floer trajectories
Let (M,Ω,λ) be a convex symplectic domain with collar coordinate r. We define moduli spaces of Floer trajectories associated to simplices in \(\mathcal{J}\mathcal{H}(M,\Omega ,\lambda )\) (and \(\mathcal{J}\mathcal{H}^{+}(M,\Omega ,\lambda )\)).
4.1 Moduli spaces of Floer trajectories
The following definitions are extremely well-known (see, for example, [Par16, Sect. 10.2] and [Sal97]). So we give them in our notation with little discussion.
Definition 4.1
Let \(\gamma :\mathbb{R}\to \Delta ^{\ell}\) be a (possibly constant) Morse flow line and let \(u: \mathbb{R}\times S^{1} \to M\) be a smooth map. The continuation operator associated to a simplex σ in \(\mathcal{J}\mathcal{H}_{\ell}(M,\Omega ,\lambda )\) is
where \(J^{\sigma}(\gamma ,u)(s,t) = J^{\sigma}_{\gamma (s)}(u(s,t))\) and \(X_{H^{\sigma}}(\gamma ,u) = (X_{H^{\sigma}})_{\gamma (s),t}(u(s,t))\), where \((X_{H^{\sigma}})_{\underline{s},t}\) is the Δℓ×S1-family of vector fields on M determined by
Remark 4.2
In Definition 4.1, σ in \(\mathcal{J}\mathcal{H}_{\ell}(M,\Omega ,\lambda )\) does not necessarily have to be 1-dimensional. The continuation operator associated to σ takes as inputs a Morse flow line in Δℓ and a map of the infinite cylinder into M. This operator depends on the ℓ-dimensional family of almost complex structures and Hamiltonians associated to σ. This dependence is seen by the Morse flow lines varying in Δℓ. In particular, the continuation operator associated to σ does not just depend on a single Morse flow line.
Definition 4.3
Let σ be a simplex in \(\mathcal{J}\mathcal{H}_{\ell}(M,\Omega ,\lambda )\). Let x0 and xℓ be 1-periodic orbits of \(H^{\sigma}_{\underline{e_{0}}}\) and \(H^{\sigma}_{\underline{e_{\ell}}}\) respectively. A Floer trajectory of type (σ,x0,xℓ) is a pair (γ,u), where
-
(i)
\(\gamma = \sqcup _{i=1}^{k} \gamma _{i}: \sqcup _{i=1}^{k} \mathbb{R} \to \Delta ^{\ell}\) is a Morse flow line with
$$ \underline{e_{0}} = \lim _{s \to -\infty} \gamma _{1}(s), \dots , \lim _{s \to + \infty} \gamma _{i}(s) = \lim _{s \to - \infty} \gamma _{i+1}(s), \dots , \lim _{s \to + \infty} \gamma _{k}(s) = \underline{e_{\ell}}, $$(Write vi:=lims→−∞γi+1(s) for 0≤i≤k−1 and \(v_{k} :=\underline{e_{\ell}}\).) and
-
(ii)
\(u : C :=\sqcup _{i=1}^{k} C_{i} \to M\) is a smooth map with each Ci being a nodal curve of type (0,2) with punctures \(p_{i}^{\pm}\) both contained in the same irreducible component, denoted \(C_{i}^{0}\). (So \(C_{i}^{0} \cong \mathbb{R}\times S^{1}\) and Ci is \(\mathbb{R}\times S^{1}\) with bubble trees attached along a finite set of points in \(\mathbb{R}\times S^{1}\).) Write \(C^{0} = \sqcup _{i=1}^{k} C_{i}^{0}\).
The pair (γ,u) satisfies the following. There exists 1-periodic orbits xi of \(H^{\sigma}_{v_{i}}\) (for 1≤i≤k−1) such that
-
(i)
lims→−∞ui+1(s,t)=xi(t), and
-
(ii)
lims→+∞ui(s,t)=xi(t).
The components ui satisfy
-
(i)
\(\overline{\partial}_{\sigma}(\gamma _{i},u_{i}|_{C_{i}^{0}}) = 0\), and
-
(ii)
\(u_{i}|_{C_{i} \smallsetminus C_{i}^{0}}\) is holomorphic.
Definition 4.4
Two Floer trajectories u and u′ are isomorphic if there exist an isomorphism of curves of type (0,2), \(\sqcup _{i=1}^{k} \psi _{i}: \sqcup _{i=1}^{k} C_{i} \to \sqcup _{i=1}^{k} C_{i}'\), and translations \(\sqcup _{i=1}^{k} \phi _{i}: \sqcup _{i=1}^{k} \mathbb{R}\to \sqcup _{i=1}^{k} \mathbb{R}\), such that \(u'_{i} \circ \psi _{i} = u_{i}\) and \(\gamma _{i}' \circ \phi _{i} = \gamma _{i}\). A Floer trajectory is stable if its automorphism group (that is, the group of self-isomorphisms) is finite.
Definition 4.5
The moduli space of Floer trajectories of type (σ,x0,xℓ), denoted \(\overline{\mathcal{M}}(\sigma ,x_{0},x_{\ell})\), is the space of isomorphism classes of stable Floer trajectories of type (σ,x0,xℓ), endowed with the Gromov topology.
Notation 4.6
We will drop γ from our notation for a Floer trajectory, and refer to the map u as the Floer trajectory.
4.2 Energy
We discuss the geometric energy and topological energy of a Floer trajectory.
Definition 4.7
The geometric energy of a Floer trajectory u of type (σ,x0,xℓ) is
The topological energy of u is
Lemma 4.8
Let u be a Floer trajectory of type (σ,x0,xℓ).
In particular, if \(\sigma \in \mathcal{J}\mathcal{H}_{\ell}^{+}(M,\Omega ,\lambda )\), then
We will typically apply energy estimates to families given by the following construction.
Construction 4.9
Consider two Hamiltonians H0 and H1 with H0≤H1, globally, and ∂rH0≤∂rH1, near ∂M. Let ℓ:[0,1]→[0,1] be a smooth function that satisfies:
-
(i)
ℓ(s)≡1 near 0,
-
(ii)
ℓ(s)≡0 near 1, and
-
(iii)
ℓ′≤0.
Define \(H^{\sigma}_{s} :=\ell (s) \cdot H_{1} + (1-\ell (s)) \cdot H_{0}\). It is straight-forward to verify that this family is monotonically admissible and satisfies \(H^{\sigma}_{\underline{e_{1}}} = H_{0}\) and \(H^{\sigma}_{\underline{e_{0}}} = H_{1}\).
Corollary 4.10
Let u be a Floer trajectory of type (σ,x0,x1), where Hσ is as in Construction 4.9 with H1−H0≥c.
4.3 Compactness
Implicitly, we always assume that our Hamiltonians have no orbits on the boundaries of our domains. Given this, we have the following compactness result.
Lemma 4.11
The image of every element of \(\overline{\mathcal{M}}(\sigma ,x_{0},x_{\ell})\) in M is disjoint from the boundary of M and the subspace
is a compact, Hausdorff space for every constant E0.
Proof
The proof when ∂M is contact carries over almost identically to our setting. We omit standard details; however, we mention where our proof would diverge from the standard proof. If ∂M is not necessarily of contact-type, then Ω need not be exact near ∂M. So images of Floer trajectories near ∂M could have non-trivial bubbles; however, the argument for Proposition 18.4 with hs≡0 shows that any holomorphic map \(\mathbb{P}^{1} \to M\) that meets the collar N(∂M) must be contained in a single slice {r}×∂M of the collar. By continuity of u, the image of the bubbles of u are disjoint from ∂M if and only is the image of the main component of u is disjoint from ∂M. With this in mind, the standard proof carries through. □
5 Hamiltonian Floer cohomology
To prove our main result, we need to define Hamiltonian Floer cohomology without assuming a relationship between the first Chern class and the symplectic form. So we need to use virtual techniques. For a guide through the literature on virtual fundamental chains, see [Par16], [M+19], and the references therein. Such techniques have been studied in the context of Hamiltonian Floer cohomology by Fukaya-Ono [FO99], Liu-Tian [LT98], Pardon [Par16], and Abouzaid-Blumberg [AB21]. We use Pardon’s virtual fundamental chains package [Par16] to define Hamiltonian Floer cohomology for convex symplectic domains. After giving the definition, we discuss the usage of radial Hamiltonians to define Hamiltonian Floer cohomology. Finally, we define action completed symplectic cohomology groups associated to compact subsets of convex symplectic domains. More explicitly, we adapt the construction given by [Var21] to convex symplectic domains. Other flavors of action completed symplectic cohomology in various settings were studied in [Var21], [Gro20], [Ven18], and [McL20].
5.1 Pardon’s virtual fundamental chains package
Roughly, to define Hamiltonian Floer cohomology, we need a (contravariant) functor from \(\mathcal{J}\mathcal{H}(M,\Omega ,\lambda )\) (respectively \(\mathcal{J}\mathcal{H}^{+}(M,\Omega ,\lambda )\)) to the ∞-category of chain complexes over the universal Novikov field Λ (respectively universal Novikov ring Λ≥0). That is, to every vertex, we associate a chain complex. To every 1-simplex, we associated a chain map. To every 2-simplex, we associate a chain homotopy. Etc..
By Lemma 4.11, all Floer trajectories lie in the interior of M. So the analysis performed in [Par16] goes through without change. We provide a cursory outline of Pardon’s construction and explain how we obtain our desired functor.
To begin, the moduli spaces \(\overline{\mathcal{M}}(\sigma ,{x_{0}},{x_{\ell}})\), furnished with choices of implicit atlases \(\mathcal{A}\) and coherent orientations \(\mathfrak{o}\), can be assembled into a flow category \(\overline{\mathcal{M}}\) over \(\mathcal{J}\mathcal{H}(M,\Omega ,\lambda )\). From this data, Pardon constructs a trivial Kan fibration
Roughly, a section of this fibration is a coherent choice of virtual fundamental chains for the above moduli spaces. Pardon constructs a diagram
where \(\text{N}_{\operatorname{dg}}(\operatorname{Ch}(\Lambda ))\) is the differential graded nerve of \(\operatorname{Ch}(\Lambda )\) and \(H^{0}(\operatorname{Ch}(\Lambda _{\geq 0}))\) is the associated homotopy category, see [Lur17, Construction 1.3.1.6]. To obtain the dashed arrow \(\mathbb{H}(\mathcal{M},\mathcal{A},\mathfrak{o})\), one must choose a section of π. The functor \(\mathbb{H}(\mathcal{M},\mathcal{A},\mathfrak{o})\) does not depend on the choice of section. Fixing a coherent choice of virtual fundamental chains (a section of π),
gives a contravariant functor
where we have denoted all the dependencies. A concrete description of \(\mathbb{H}(\mathcal{M},\mathcal{A},\mathfrak{o},\mathfrak{c})\) for simplices of dimensions ℓ=0 and 1 is given below.
In what follows, we do not show that our Floer theoretic objects are independent of the above choices, that is, the choice of implicit atlas \(\mathcal{A}\), the choice of coherent orientations \(\mathfrak{o}\), and the choice of coherent virtual fundamental chains \(\mathfrak{c}\). We do not establish independence because we do not need it to prove our main result. All we need is the existence of such data. Consequently, in our constructions, we can either fix some universal choice of data associated to each simplex in \(\mathcal{J}\mathcal{H}(M,\Omega ,\lambda )\) or we can fix such choices inductively as we work through our constructions. The latter is the approach taken by Pardon in [Par16]. The former and latter approaches are also both considered by Varolgunes in [Var21]. Regardless, we omit such data from our notation.
5.2 Hamiltonian Floer chain complexes
We give a more explicit description of the functor from the above discussion and discuss some of its properties.
Notation 5.1
Let σ be a simplex in \(\mathcal{J}\mathcal{H}_{\ell}(M,\Omega , \lambda )\). Given orbits x0 and xℓ, let π(x0,xℓ) denote the set of homotopy classes of Floer trajectories of type (σ,x0,xℓ). Define
If u and u′ are both in \(\overline{\mathcal{M}}(\sigma ,x_{0},x_{\ell};A)\), then Etop(u)=Etop(u′). So given A∈π(x0,xℓ), define Etop(A):=Etop(u), where u is any Floer trajectory with [u]=A.
Definition 5.2
The Floer chain complex associated to a 0-simplex \((H,J) \in \mathcal{J}\mathcal{H}_{0}(M,\Omega ,\lambda )\) is the chain complex (CF•(H,J;M,Ω,λ),∂) that is defined over the universal Novikov field Λ (see Definition 17.7) where
-
(CF•(H,J;M,Ω,λ) is the \(\mathbb{Z}\)-graded, free Λ-module generated by the contractible 1-periodic orbits of H, that is,
$$ CF^{\bullet}(H,J;M,\Omega ,\lambda ) :=\Lambda \cdot \langle x \mid x \text{ is a 1-periodic orbit of } H, \, \operatorname{ind}(x) = \bullet \quad \mathrm{mod}\ 2 \rangle $$ -
∂:CF•(H,J;M,Ω,λ)→CF•+1(H,J;M,Ω,λ) is the Λ-linear map given by
$$ \partial (x_{+}) = \sum _{{ \begin{smallmatrix} x_{-} \\ \operatorname{ind}(x_{-})-\operatorname{ind}(x_{+}) = 1 \quad \mathrm{mod}\ 2 \end{smallmatrix} }} \left ( \sum _{A \in \pi (x_{-},x_{+})} \#_{vir}( \overline{\mathcal{M}}(\sigma ,x_{-},x_{+};A)) \cdot x_{-} \cdot T^{E_{top}(A)} \right ) $$where \(\#_{vir}(\overline{\mathcal{M}}(\sigma ,x_{-},x_{+};A)) \in \mathbb{Q}\) is determined by Pardon’s virtual fundamental chains package.
The continuation map associated to a 1-simplex \(\sigma \in \mathcal{J}\mathcal{H}_{1}(M,\Omega ,\Lambda )\) is the Λ-linear map
given by
where \(\#_{vir}(\overline{\mathcal{M}}(\sigma ,x_{-},x_{+};A)) \in \mathbb{Q}\) is determined by Pardon’s virtual fundamental chains package.
A word on grading conventions is in order. \(\operatorname{ind}(x)\) denotes the Conley-Zehnder index of the orbit x, which is only well-defined modulo 2. So CF•(H,J;M,Ω,λ) is, a priori, only a \(\mathbb{Z}/2\)-graded complex. Here we extend 2-periodically to obtain a \(\mathbb{Z}\)-graded complex. When (M,Ω) has vanishing first Chern class, \(\operatorname{ind}(x)\) is a well-defined integer and gives CF•(H,J;M,Ω) an honest \(\mathbb{Z}\)-graded. The “2-periodification” of this \(\mathbb{Z}\)-grading agrees with the a fore mentioned \(\mathbb{Z}\)-grading. When the grading of CF•(H,J;M,Ω) is important, we will mention it; however, if there is no need for gradings, we will drop the grading notation from our chain complexes.
Notation 5.3
When the context is clear, we will drop M, Ω, λ, and sometimes J from the notation for CF(H,J;M,Ω,λ) and c(σ;M,Ω,λ), writing CF(H) and c(σ). One may also wish to recall our convention for Hamiltonian vector fields given in Definition 4.1.
By Lemma 4.8, if σ lies in \(\mathcal{J}\mathcal{H}^{+}(M,\Omega ,\lambda )\), one can replace Λ in Definition 5.2 with Λ≥0, the universal Novikov ring (see Definition 17.9). To conclude, we point out some features of Pardon’s virtual fundamental chains package.
Theorem 5.4
-
(i)
[Par16, Lemma 5.2.6] If \(\overline{\mathcal{M}}(\sigma ,x_{0},x_{\ell};A)\) is a single point and it is regular, then
$$ \#_{vir}(\overline{\mathcal{M}}(\sigma ,x_{0},x_{\ell};A)) \neq 0. $$ -
(ii)
If \(\#_{vir}(\overline{\mathcal{M}}(\sigma ,x_{0},x_{\ell};A)) \neq 0\), then \(\overline{\mathcal{M}}(\sigma ,x_{0},x_{\ell};A)\) is non-empty.
5.3 Using radial Hamiltonians
It is convenient to work with Hamiltonians that only depend on r near ∂M to define Hamiltonian Floer chain complexes. Let (M,Ω) be a convex symplectic domain whose boundary admits the stable Hamiltonian structure (Ω|∂M,α). Recall, λ=rα. We assume that the Reeb vector field \(\mathcal{R}\) of the stable Hamiltonian structure is non-degenerate. The Ω-dual of −dr is \(\mathcal{R}\). So the Hamiltonian vector field Xh of any radial Hamiltonian \(h: (0,1] \times \partial M \to \mathbb{R}\) satisfies: \(X_{h} = \partial _{r}h \cdot \mathcal{R}\). So the 1-periodic orbits of Xh are of the form (r0,y(∂rh(r0)⋅t))∈(0,1]×∂M, where y(t) is a periodic orbit of \(\mathcal{R}\) with period ∂rh(r0).
Definition 5.5
For a∈(0,1), a Hamiltonian \(H: S^{1} \times M \to \mathbb{R}\) is a-radially admissible if
-
(i)
on M∖r−1([0,a]), H is non-degenerate, and
-
(ii)
on r−1([a,1]), H=h for some radial function \(h: [a,1] \to \mathbb{R}\) that satisfies
-
(i)
h′(r) is locally constant near a and 1,
-
(ii)
h′(a)>0 is smaller than the smallest period of all the orbits of \(\mathcal{R}\),
-
(iii)
h″(r)≥0, and
-
(iv)
h″(r)=0 implies that h′(r) is not a period of an orbit of \(\mathcal{R}\).
-
(i)
Definition 5.6
A family of Hamiltonians \(H^{\sigma}: \Delta ^{\ell }\times S^{1} \times M \to \mathbb{R}\) is a-radially admissible if
-
(i)
each \(H^{\sigma}_{\underline{e_{i}}}\) is a-radially admissible,
-
(ii)
\(H^{\sigma}_{\underline{s}}\) is locally constant about each vertex \(\underline{e_{i}}\) in Δℓ, and
-
(iii)
\(\partial _{\underline{s}} H^{\sigma}_{\gamma _{i}(s)} \circ \gamma _{i}'(s) \leq 0\) for each Morse flow line γ=⊔γi in Δℓ,
and on r−1([a,1])
-
(i)
\(H^{\sigma}_{\underline{s}}\) is a radial function in r,
-
(ii)
\(\partial _{\underline{s}} \partial _{r} H^{\sigma}_{\underline{s}} \circ \gamma _{i}'(s) \leq 0\) for each Morse flow line γ=⊔γi in Δℓ.
Remark 5.7
A radially admissible Hamiltonian is a degenerate Hamiltonian as the orbits corresponding to Reeb orbits occur in S1-families (parameterized by a choice of starting point). As is standard (see for example [C+96]), we introduce a time-dependent perturbation locally about each S1-family of orbits. The perturbed Hamiltonian has two non-degenerate orbits for each S1-family of orbits of the unperturbed Hamiltonian. Both of these orbits can be made to lie in the same r-slice as the original S1-family. This produces an admissible Hamiltonian (in the sense of Definition 3.4). Similarly, perturbing near each of the vertices of a radially admissible family of Hamiltonians will yield a monotonically admissible family of Hamiltonians (in the sense of Definition 3.5). Whenever we refer to radially admissible data, we implicitly assume that we have introduced these needed perturbations and will not specify them.
Radial Hamiltonians have filtrations on their Hamiltonian Floer chain complexes for purely topological reasons. The filtrations follow via the integrated maximum principle, Proposition 2.11.
Lemma 5.8
Let Hσ be a radially admissible family of Hamiltonians. If r(xℓ)<r(x0), then \(\overline{\mathcal{M}}(\sigma ,x_{0},x_{\ell})\) is empty.
5.4 Action completed symplectic cohomology
We define action completed symplectic cohomology for convex symplectic domains. The reader may wish to recall the notions of rays, mapping telescopes, and completions of mapping telescopes over Λ≥0 in Sect. 17.
Let K⊂M∖∂M be a compact subset and let \(f: M \to \mathbb{R}\) be a continuous function. Define the lower semi-continuous functionFootnote 8\(f_{K}: M \to \mathbb{R}\) by
Define \(\mathcal{H}^{+}(K \subset M, \Omega ,\lambda ; f)\) to be the full subcomplex of \(\mathcal{H}^{+}(M,\Omega ,\lambda )\) spanned by Hamiltonians that are strictly less than fK. The opposite edge relation, denoted ≼, on the vertices of \(\mathcal{H}^{+}(K \subset M, \Omega ,\lambda ;f)\) says H0≼H1 if and only if pointwise H0≤H1 and (near ∂M) ∂rH0≤∂rH1.
Lemma 5.9
The opposite edge relation endows \(\mathcal{H}_{0}^{+}(K \subset M, \Omega ,\lambda ; f)\) with the structure of a directed system that has countable cofinality.Footnote 9
Proof
It suffices to prove that the poset structure given by ≼ admits a countable, cofinal sequence. It further suffices to construct a cofinal sequence of admissible Hamiltonians Hn such that pointwise Hn<Hn+1 and (near the boundary) ∂rHn<∂rHn+1. Because we can introduce small time dependent perturbations to continuous functions to obtain non-degenerate Hamiltonians, it further suffices to construct a cofinal sequence of continuous functions \(F_{n}: M \to \mathbb{R}\) such that pointwise Fn<Fn+1 and (near ∂M) ∂rFn<∂rFn+1.
Note, if f and g are two continuous functions on M that both agree over K, then fK=gK. So without loss of generality, assume that f≡0 near ∂M. Also any cofinal sequence Fn for (0)K gives rise to a cofinal sequence for fK by considering the sequence Fn+f. So it suffices to prove the claim for f≡0.
We construct such Fn by hand. Fix a background metric on M with associated distance function dist. Fix rK∈(0,1) such that r(K)<rK. Fix an integer \(N \in \mathbb{N}\) such that dist(K,r−1(rK))>1/N. For n≥N, we define the following compact subsets:
and
Define continuous functions \(g_{n}: [0,1/n] \to \mathbb{R}\) that satisfy:
-
(i)
gn(0)=−1/n,
-
(ii)
gn(1/n)=n,
-
(iii)
gn is increasing, and
-
(iv)
gn<gn+1.
Define continuous functions \(f_{n}: [r_{K},1] \to \mathbb{R}\) that satisfy:
-
(i)
fn≡n locally about rK,
-
(ii)
fn is a linear function of slope mn locally about 1,
-
(iii)
\(f'_{n} \geq 0\),
-
(iv)
fn<fn+1,
-
(v)
mn<mn+1, and
-
(vi)
limn→∞mn=+∞.
Define continuous functions \(F_{n}: M \to \mathbb{R}\) by
For an example of a choice of functions gn, fn, and Fn, see Figure 1.
For all n, Fn<Fn+1<(0)K and near ∂M, ∂rFn<∂rFn+1. It remains to show that for each H in \(\mathcal{H}_{0}^{+}(K \subset M, \Omega ,\lambda ; 0)\) there exists n≫0 so that pointwise H<Fn and (near ∂M) ∂rH<∂rFn. Since each Cn is compact, there exists some fixed n0 so that \(H|_{C_{n_{0}}} < -1/n_{1}\) for all n1≫n0. Since M is compact, we have that H≤n2 for some n2. Again by compactness, there exists n3 such that \((\partial _{r} H)(1) < m_{n_{3}}\). Setting N=n2+n3≫n0 gives that pointwise H<FN and (near ∂M) ∂rH<∂rFN, as desired. □
Continuing our construction, let (Hn,Jn) be a sequence of vertices in \(\mathcal{J}\mathcal{H}_{0}^{+}(K \subset M,\Omega ,\lambda ;f)\) such that
-
(i)
there exists 1-simplices \(\sigma _{n} \in \mathcal{J}\mathcal{H}_{1}^{+}(M,\Omega ,\lambda )\) with \((H^{\sigma _{n}}_{\underline{e_{1}}}, J^{\sigma _{n}}_{ \underline{e_{1}}}) = (H_{n},J_{n})\) and \((H^{\sigma _{n}}_{\underline{e_{0}}}, J^{\sigma _{n}}_{ \underline{e_{0}}}) = (H_{n+1},J_{n+1})\), and
-
(ii)
the sequence Hn is cofinal.
By Lemma 5.9, such a sequence exists. This determines a ray of chain complexes over Λ≥0,
By Lemma 5.9 and Lemma 3.7 (In particular, one has to utilize 2-simplices and 3-simplices.), the quasi-isomorphism type of \(\widehat{\operatorname{Tel}}(\mathcal{C}\mathcal{F}(\{H_{n}\}))\) is independent of the choice of sequence σn (and thus also independent of the choice of sequence (Hn,Jn)), for example, see [Var21, Sect. 3.3]. So we can make the following definition.
Definition 5.10
The action completed symplectic cohomology of (M,Ω,λ) with respect to K and f is the Λ≥0-module
The above independence gives flexibility to future arguments. Different sequences of Hamiltonians will be more amenable to establishing different properties of action completed symplectic cohomology.
We conclude by discussing a variant of Definition 5.10. Let \(\mathcal{H}^{+}(K \subset M, \Omega ,\lambda ; f,\tau )\) to be the full subcomplex of \(\mathcal{H}^{+}(M,\Omega ,\lambda )\) spanned by Hamiltonians that are strictly less than fK and have slope ∂rH=τ near the boundary of M. Analogous to Lemma 5.9, the opposite edge relation endows \(\mathcal{H}_{0}^{+}(K \subset M, \Omega ,\lambda ; f,\tau )\) with the structure of a directed system that has countable cofinality.Footnote 10 As with \(\mathcal{H}^{+}(K \subset M, \Omega ,\lambda ;f)\), we can consider a cofinal sequence of Hamiltonians Hn,τ in \(\mathcal{H}^{+}(K \subset M, \Omega ,\lambda ;f,\tau )\) connected by monotonically admissible 1-simplicies σn,τ and obtain a well-defined invariant.
Definition 5.11
The action completed symplectic cohomology of (M,Ω,λ) of slope τ with respect to K and f is the Λ≥0-module
In Proposition 6.1 item (iv), we show that
We introduce \(\widehat{SH}(K \subset M; f,\tau )\) (despite this isomorphism) because in the setting of our main result, we can construct cofinal sequences of Hamiltonians in \(\mathcal{H}^{+}(K \subset M, \Omega ,\lambda ;f,\tau )\) (but not in \(\mathcal{H}^{+}(K \subset M, \Omega ,\lambda ;f)\)) that satisfy certain index-bounded assumptions. Such sequences of Hamiltonians are used to establishing a rescaling isomorphism for action completed symplectic cohomology in the Calabi-Yau setting, see Sect. 10.
6 Properties of action completed symplectic cohomology
We establish the following properties of action completed symplectic cohomology.
Proposition 6.1
-
(i)
Given any two continuous functions \(f: M \to \mathbb{R}\) and \(g: M \to \mathbb{R}\), there is an isomorphism that is induced from a zig-zag of continuation maps
$$ \widehat{SH}(K \subset M; f) \otimes \Lambda \cong \widehat{SH}(K \subset M; g) \otimes \Lambda . $$ -
(ii)
If K is a stably displaceable subset of (M,Ω), then for every continuous function fFootnote 11
$$ \widehat{SH}(K \subset M; f) \otimes \Lambda = 0. $$ -
(iii)
There is a function f (see Construction 6.8) so that there exists a long exact sequence
where \(\widehat{SH}_{+}(M_{a} \subset M;f)\) is a completion of a complex that is generated by pairs of orbits that correspond to the Reeb orbits of ∂M.
-
(iv)
There is an isomorphism for all τ>0
$$ \widehat{SH}(K \subset M; f,\tau ) \cong \widehat{SH}(K \subset M; f). $$
Remark 6.2
There are other properties of action completed symplectic cohomology that should hold. In [TV23, Proposition 2.5], it was shown that relative symplectic cohomology has a unit, which determines the non-vanishing of relative symplectic cohomology, and that the unit is preserved under restriction maps. This should hold in our more general setting for action completed symplectic cohomology and the proofs should be analogous; however, in our general setting, there remains the technical issue of defining the pair-of-pants product using Pardon’s virtual fundamental chains package [Par16]. This is beyond the scope of this paper. However, if the symplectic manifold is monotone or has vanishing first Chern class, then classical techniques can be used to define Hamiltonian Floer cohomology and the proofs in [TV23] carry over word-for-word to show that our action completed symplectic cohomology has these above properties.
We prove each item in turn. We will assume that the boundaries of our convex symplectic domains have non-degenerate Reeb vector fields.
6.1 Partial invariance under changing the function
We discuss the dependence of \(\widehat{SH}(K \subset M; f)\) on the function f, proving Proposition 6.1 item (i). We begin with the following.
Lemma 6.3
Given a continuous function \(f: M \to \mathbb{R}\) and a constant c≥0, there is an isomorphism induced from a continuation map
Proof
Let Hn be a cofinal sequence of Hamiltonians for fK. Define \(\sigma _{n} \in \mathcal{J}\mathcal{H}_{1}^{+}(M,\Omega , \lambda )\) using Construction 4.9,
This data computes \(\widehat{SH}(K \subset M; f)\). The sequences \(H_{n}' :=H_{n} + c\) and \(\sigma _{n}' \in \mathcal{J}\mathcal{H}_{1}^{+}(M,\Omega ,\lambda )\) with associated families \(H^{\sigma _{n}}+c\) compute \(\widehat{SH}(K \subset M;f+c)\). There is a bijection between the data of CF(Hn) and the data of \(CF(H_{n}')\). We upgrade these bijections to isomorphisms.
Consider the continuation map of the 1-simplex τn with \(H^{\tau _{n}}_{\underline{e_{0}}} = H_{n}'\) and \(H^{\tau _{n}}_{\underline{e_{1}}} = H_{n}\) constructed using Construction 4.9. So \(H^{\tau _{n}}_{s} = \ell (s) \cdot c + H_{n}\), and \(X_{H^{\tau _{n}}}\) is independent of s. Consider the constant Floer trajectories, which are isolated, regular, and have topological energy equal to c. By Corollary 4.10, all other Floer trajectories have topological energy strictly greater than c. So by Theorem 5.4,Footnote 12
We used the chain level bijection from above to specify our map. These continuation maps fit into a homotopy commutative diagram:
with homotopies \(\nu _{n}: CF(H_{n}) \to CF(H_{n+1}')[1]\). To get this homotopy commutative diagram, consider the I×I family of Hamiltonians
with \(\underline{s} = (s_{1},s_{2}) \in I \times I\) and ℓ as in Construction 4.9. One divides this I×I family into two 2-simplicies glued along the diagonal of I×I. As a matrix,
So arguing as in Corollary 4.10, νn(⋅) has valuation strictly greater than c. Equivalently, \(\nu _{n}(\cdot ) \in \Lambda _{>c} \cdot CF(H_{n+1}')[1]\). By the discussion at the end of Sect. 17.1, we obtain a morphism of the associated mapping telescopes of the rays of σn and \(\sigma _{n}'\) that is given by
From this description, we see that after tensoring with Λ, this map induces an isomorphism on the associated completed mapping telescopes. This proves the claim. □
Lemma 6.4
Given a continuous function \(f: M \to \mathbb{R}\) and a constant a such that f<a, there is an isomorphism that is induced from a continuation map
Proof
Fix constants a<b<c so that f<a<f+b<c. As in the proof of Lemma 6.3, let Hn be a cofinal sequence of Hamiltonians for fK. Define \(\sigma _{n} \in \mathcal{J}\mathcal{H}_{1}^{+}(M,\Omega ,\lambda )\) using Construction 4.9. So
This data computes \(\widehat{SH}(K \subset M; f)\). Similarly, let \(\widetilde{H}_{n}\) and \(\widetilde{\sigma}_{n}\) denote the data that computes \(\widehat{SH}(K \subset M; a)\), defining \(\widetilde{\sigma}_{n}\) via Construction 4.9. Assume without loss of generality that pointwise \(H_{n} < H_{n}'\) and near ∂M, \(\partial _{r} H_{n} = \partial _{r} H_{n}'\) for all n. Again, as in the proof of Lemma 6.3, the data \(H_{n}' :=H_{n}+b\) and \(H^{\sigma _{n}'} :=H^{\sigma _{n}} + b\) computes \(\widehat{SH}(K \subset M,;f+b)\). Similarly, the data \(\widetilde{H}_{n}' :=\widetilde{H}_{n}+c-a\) and \(H^{\widetilde{\sigma}_{n}' } :=H^{\widetilde{\sigma}_{n}} + c-a\) computes \(\widehat{SH}(K \subset M; c)\).
Using Lemma 3.7, we may fix continuations \(\tau _{n}^{i}\) and homotopies \(\nu _{n}^{i}\) for i=0,1,2 and obtain a homotopy commutative diagram
One can fix \(\tau _{n}^{i}\) and \(\nu _{n}^{i}\) arbitrarily so long as they are monotonically admissible. This diagram induces maps on completed mapping telescopes
To prove the claim, it suffices to show that Ψ1∘Ψ0 and Ψ2∘Ψ1 are both isomorphisms after tensoring with Λ and passing to cohomology. By symmetry, it suffices to prove this for Ψ1∘Ψ0.
Using Lemma 3.7, construct a homotopy commutative diagram
where, τi is the continuation considered in Lemma 6.3, and our unspecified homotopies (and higher homotopies) can be chosen arbitrarily so long as they are monotonically admissible. In this manner, we obtain a homotopy commutative diagram
where the top map is Ψ1∘Ψ0, the bottom map is the map from Lemma 6.3, and the vertical maps are the identities. So Ψ1∘Ψ0 must be an isomorphism after tensoring with Λ and passing to cohomology. This completes the proof. □
We now give the proof of Proposition 6.1 item (i).
Proof
Fix a constant c such that c>f and c>g. By Lemma 6.4, we have a zig-zag of continuations maps, inducing isomorphisms
□
Remark 6.5
Notice that the proof of Proposition 6.1 item (i) also proves the natural invariance of \(\widehat{SH}(K \subset M; f,\tau ) \otimes \Lambda \) under changing the function f.
6.2 Vanishing for stably displaceable subsets
The group \(\widehat{SH}(K \subset M; f)\) encodes dynamical information about the subset K in M. The key consequence is Proposition 6.1 item (ii). We elaborate below.
Definition 6.6
A subset B of a symplectic manifold (M,Ω) is Hamiltonian displaceable if there exists a compactly supported Hamiltonian diffeomorphism ϕ:M→M that is supported away from the boundary of M such that ϕ(B)∩B=∅.
Let us fix polar coordinates (σ,τ) for \(\mathbb{R}\times S^{1}\).
Definition 6.7
A subset B of a symplectic manifold (M,Ω) is stably displaceable if the subset B×S1 of \((M \times \mathbb{R}\times S^{1}, \Omega \oplus (d\sigma \wedge d \tau ))\) is Hamiltonian displaceable.
Using Proposition 6.1 item (i), it suffices to prove Proposition 6.1 item (ii) f≡0, which follows from the same line of arguing given in [Var18, Sect. 4.2].
6.3 A long exact sequence
For Liouville domains, the action long exact sequence relates the (Morse) cohomology and the symplectic cohomology of the Liouville domain. Here we deduce the analogous long exact sequence for action completed symplectic cohomology, Proposition 6.1 item (iii). To construct it, we construct a specific function f on M that we will use to relate H(M;Λ) with \(\widehat{SH}(K \subset M; f) \otimes \Lambda \) for K=Ma as in Notation 2.8.
Construction 6.8
We fix a>δ>0. Define a function \(\widetilde{f}: M \to \mathbb{R}\) by
For 0≤s<δ, consider the family \(\widetilde{f}_{s}: M \to \mathbb{R}\) given by
Fix δ>ε>0 so that for all r≤a−δ+ε, \(\widetilde{f}'(r)\) is strictly less than all periods of the Reeb orbits of \(\mathcal{R}\). Let \(f: M \to \mathbb{R}\) satisfy:
-
(i)
f is a negative C2-small Morse function on Ma−δ,
-
(ii)
\(f \leq \widetilde{f}\), and
-
(iii)
\(f \equiv \widetilde{f}\) for r(x)≥a−δ+ε.
For ε≤s<δ, define a family
Fix a strictly increasing sequence of real numbers ε<s0<s1<⋯<sn<⋯ that converges to δ. Define \(H_{n}:M \to \mathbb{R}\) by (or rather, we consider an appropriately small smoothing of these Hamiltonians) \(H_{n} :=f_{s_{n}} - {1}/{n}\). Please see Figure 2 for depictions of these functions.
Notice that the sequence Hn is cofinal sequence among admissible Hamiltonians that are less than \(f_{M_{a}}\), each Hn is (a−δ+ε)-radially admissible (for a generic choice of sequence sn), and ∂rHn+1>∂rHn. Using Construction 4.9, build (a−δ+ε)-radially admissible families of Hamiltonians \(H^{\sigma _{n}}\) with \(H^{\sigma _{n}}_{\underline{e_{1}}} = H_{n}\) and \(H^{\sigma _{n}}_{\underline{e_{0}}} = H_{n+1}\).
We now construct the desired long exact sequence. Assume the notation and data from Construction 6.8. CF(Hn) is generated by the critical points of f on Ma−δ and the pairs of orbits that correspond to Reeb orbits of \(\mathcal{R}\) with periods less than \(\widetilde{f}_{a-\delta +s_{n}}'(a-\delta +\varepsilon )\). By Lemma 5.8, the critical points form a subcomplex
with quotient
generated by the orbits that correspond to Reeb orbits. Since each σn is radially admissible, their associated continuation maps preserve this filtration. So we obtain (a map of) short exact sequences
Here the \(\operatorname{colim}\) means the ordinary colimit of our directed systems.Footnote 13 The right-hand-terms are filtered colimits of finitely generated, free Λ≥0-modules. So by [TS21, Tag 058G], they are flat Λ≥0-modules. So by [TS21, Tag 0315], we have short exact sequences of completions with vertical maps being quasi-isomorphisms (by Lemma 17.12).
By similar arguments as in Lemma 6.3 and [Par16, Theorem 10.7.1], the cohomology of the left-hand-terms tensored with Λ is the cohomology of Ma with coefficients in Λ, which is also the cohomology of M with coefficients in Λ. From this discussion, we can deduce Proposition 6.1 item (iii) by defining \(\widehat{SH}_{+}(M_{a} \subset M)\) to be the cohomology of the right-hand-terms tensored with Λ. The long exact sequence does not depend on any of our choices; however, we do not prove or further discuss this independence as it is not needed.
Remark 6.9
To explicitly construct the complexes in Proposition 6.1 item (iii), one needs the sequence of Hamiltonians Hn to be connected via radially admissible families of Hamiltonians. There are several possible choices of such sequences and we only give one here. However, the reader should note that a naive construction with f being given by the zero function will not necessarily produce the desired complexes as the values of the r-derivatives of the associated cofinal sequence of Hamiltonians might eventually decrease with increasing n. Consequently, the associated continuation maps need not preserve the filtration.
6.4 Invariance of the slope near the boundary
We show that \(\widehat{SH}(K \subset M; f,\tau )\) does not depend on τ, proving Proposition 6.1 item (iv).
Proof
Let Hn,τ be a cofinal sequence of Hamiltonians in \(\mathcal{H}^{+}(K \subset M; f,\tau )\). Without loss of generality, assume that
on {1−δ≤r≤1}. Let σn,τ be 1-simplices in \(\mathcal{J}\mathcal{H}^{+}(M,\Omega ,\lambda )\) with \(H^{\sigma _{n,\tau}}_{\underline{e_{0}}} = H_{n+1,\tau}\) and \(H^{\sigma _{n,\tau}}_{\underline{e_{1}}} = H_{n,\tau}\) as in Construction 4.9. This means
on {1−δ≤r≤1} where ℓ is the cut-off function in Construction 4.9. Define Hn and σn as follows. First, fix sn<δ such that
where \(\widetilde{f}\) is as in Construction 6.8 with a=1. For convenience, define
Define
Please see Figure 3 for a depiction of these functions.
Define \(H^{\sigma _{n}}\) via Construction 4.9. Notice that CF(Hn) has two types of generators: The generators that correspond to the generators of CF(Hn,τ) that have associated orbits lying in the region where r≤1−δ+s1, and the generators that have associated orbits lying in the region where r≥1−δ+s1. By Lemma 5.8, the first type of generators may be canonically identified with CF(Hn,τ) and be realized as a subcomplex in:CF(Hn,τ)↪CF(Hn). The map in is not necessarily induced from a continuation.Footnote 14 In this manner, we obtain a strictly commutative diagram
Indeed, when r≤1−δ+s1, the Floer data Hn,τ and σn,τ agrees identically with the Floer data Hn and σn. Moreover, by Lemma 5.8, there is a bijection between their associated Floer trajectories that have ends lying in the region where r≤1−δ+s1. So with the above identifications of subcomplexes the diagram strictly commutes.
Consider the quotient
which is generated by the orbits that lie in the region where r≥1−δ+s1. The continuation maps c(σn) induce maps φn:C(in)→C(in+1) as follows. Let x be a generator in C(in), lift it to the corresponding generator \(\widetilde{x}\) in CF(Hn), define φn(x) to be the composition of \(c(\sigma _{n})(\widetilde{x})\) with the quotient map from CF(Hn)→C(in). We have a strictly commutative diagram of rays:
Notice that the complex \(\operatorname{Tel}(\{C(i_{n})\})\) is a filter colimit of finitely generated, free Λ≥0-modules. So by [TS21, Tag 058G], it is a flat Λ≥0-module. So by [TS21, Tag 0315], we have a short exact sequence of completed mapping telescopes:
The cohomology of the left complex is \(\widehat{SH}(K \subset M; f, \tau )\). The cohomology of the middle complex is \(\widehat{SH}(K \subset M; f)\). So to complete the proof, it suffices to show that \(\widehat{\operatorname{Tel}}(\{C(i_{n})\})\) is acyclic. Using Lemma 17.6, we prove the stronger claim that \(\widehat{\operatorname{colim}}(\{C(i_{n})\})\) is trivial. We will show that for each generator x∈C(in), the valuation of the sequence of elements φm+n∘⋯∘φn(x) diverges with m. This implies that each element of the completed colimit is equivalent (as a Cauchy sequence) to the trivial element.
We will use induction to prove that φm+n∘⋯∘φn(x) diverges with m. We fix some conventions. First, the generators of C(in) may be identified with a subset of the generators of C(in+k) for all k>0. These are the generators of C(in+k) whose orbits lie in the region where 1−δ+s1≤r≤1−δ+sn. We will use this identification when computing φm+n∘⋯∘φn(x). Second, there exists an increasing sequence of real numbers r1,r2,… and an increasing sequence of natural numbers k1,k2,… such that the orbits that correspond to generators of C(in) lie in
We claim that the following holds: for all n and for each generator x of C(in) with r(x)=rj,
for all m≥−j. Given this, it follows that for every generator x in C(in) that φm+n∘⋯∘φn(x) diverges with m, as desired. So it just remains to prove this claim. We will prove it via a double induction on j and m. We will begin with the base case: j=0.
We claim that the following holds: for all n and for each generator x of C(in) with r(x)=r0,
for all m≥0.
Use the identification of the generators of C(in) as a subset of the generators of C(in+1) to write
where yi is a generator (not equal to x) of C(in+1) whose orbits lie in the region where 1−δ+s1≤r≤1−δ+sn. By Lemma 5.8, we have that r(yi)≤r(x)=r0. But since r0 is minimal, we have that r(yi)=r0=r(x). Considering the constant Floer trajectory at x, which is regular, isolated, and has topological energy equal to 1, Theorem 5.4 and Corollary 4.10 give that \(\operatorname{val}(\lambda _{0}) \geq 1\). Since r(yi)=r(x), by Proposition 18.4, any Floer trajectory of type (σn,yi,x) must be contained in the r-slice {r=r(x)}. Consequently, by Corollary 4.10 and our description of σn (which induces the map φn), we have that \(\operatorname{val}(\lambda _{i}) \geq 1\).Footnote 15 It follows that \(\operatorname{val}(\varphi _{n}(x)) \geq 1\). But since r(x)=r0=r(yi), by induction on m, we have that
for all m≥0, as desired.
Now we move onto the inductive step for j. Inductively, suppose that we have shown the following: for all n and for each generator x of C(in) with r(x)=rj with j≤N,
for m≥−j. We will prove this for j=N+1, which we will prove via induction on m. The base case becomes m=−j and showing the following: for all n and for each generator x of C(in) with r(x)=rN+1,
However, this is vacuously always satisfied since \(\operatorname{val}(\varphi _{n}(x))\) is always non-negative. Now we induct on m. Our inductive hypothesis becomes the following: for all n and for each generator x of C(in) with r(x)=rj for j≤N+1,
for M≥m≥−j. We now what to prove this for m=M+1 and j=N+1. To this end, suppose that x is a generator of C(in) with r(x)=rN+1. As above, write
As we argued above, \(\operatorname{val}(\lambda _{0}) \geq 1\) and when r(yi)=r(x), then \(\operatorname{val}(\lambda _{i}) \geq 1\). If r(yi)≠r(x), then r(yi)<r(x) by Lemma 5.8. By relabeling, suppose that r(yi)=rN+1=r(x) for i≤ℓ and r(yi)<rN+1 for i>ℓ. Computing, we have that
Now we analyze each element in turn. First, by induction on m, we have that
For i≤ℓ, by induction on m, we have that
For i>ℓ, assume that \(r(y_{i}) = r_{N_{i}}\) so that Ni≤N. Then by induction on j, we have that
So we have shown that
This completes the induction on m and, consequently, completes the double induction on m and j. This completes the proof. □
7 Unirulings by disks
This section presents a Floer theoretic result that is needed to establish our main result. It is divided into two parts. The first states the main result and gives its proof, assuming a technical lemma. The second proves the technical lemma.
7.1 Main result
We consider a convex symplectic domain (M,Ω,λ) whose boundary has a non-degenerate Reeb vector field. We also assume that the symplectic form Ω is integral.Footnote 16
Proposition 7.1
Suppose that \(\widehat{SH}(M_{a} \subset M; 0) \otimes \Lambda = 0\). For each δ>0 there exists a constant E>0 such that for each
-
Ω-compatible almost complex structure J on Ma−δ, and
-
\(p \in \operatorname{int}(M_{a-\delta})\)
there exists a non-empty open subset \(\mathcal{I}\subset (0,a-\delta ]\) that depends on J and p such that for each \(a' \in \mathcal{I}\) there exists a (possibly disconnected) genus zero, compact, holomorphic curve u:Σ→Ma′ with non-empty boundary that satisfies:
-
(i)
u(∂Σ)⊂∂Ma′,
-
(ii)
u is non-constant on each of its components,
-
(iii)
u(Σ)∩p≠∅, and
-
(iv)
the energy of u with respect to Ω and J is bounded by E.
We will use the curves from Proposition 7.1 to produce unirulings and (multi)sections. To prove the above result, we apply the following technical lemma, the convergence result from Proposition 16.3, and the removal of singularities theorem.
Lemma 7.2
Under the assumptions of Proposition 7.1, there exist constants E>0, and ε<δ, and \(p_{0} \in \operatorname{int}(M_{a-\delta})\) and a sequence of (a−δ+ε)-radially admissible Hamiltonians Hν on M with
-
Hν=Hν+1 for a−δ+ε≤r(x), and
-
Hν=g/ν on Ma−δ, where g is a negative C2-small Morse function that is Morse-Smale with respect to J,
and a sequence of Floer trajectories \(u_{\nu }\in \overline{\mathcal{M}}((H_{\nu},J),x_{-},x_{+})\), where
-
r(x−) is an index zero critical point of g at p0,
-
r(x+)>a−δ+ε, and
-
E(uν)<E.
Moreover, E is independent of J.
We prove Lemma 7.2 in the next subsection. Assuming it, we prove Proposition 7.1.
Proof
We immediately reduce to the case where p=p0. By [McL12, Lemma 5.16], there exists a Hamiltonian diffeomorphism φ that is supported in \(\operatorname{int}(M_{a-\delta})\) so that φ(p0)=p. Notice that the pull-back of J along φ is Ω-compatible. So in order to find the desired J-holomorphic curve through p, it suffices to find a φ∗J-holomorphic curve through p0. So we have reduced our work to proving the result for fixed \(p_{0} \in \operatorname{int}(M_{a-\delta})\).
Using the sequence of Floer trajectories from Lemma 7.2, Proposition 16.3 implies that for each J there exists a Morse-Bott broken Floer trajectory of type ((H∞,J),x−,x+), say
that satisfies:
-
(i)
\(\underline{ev}(\gamma ^{0}) = x_{-}\),
-
(ii)
lims→+∞um(s,t)=x+, and
-
(iii)
\(\sum _{i=1}^{m} E(u^{i}) \leq E\).
Since x−=p0 is an index zero critical point of the Morse function g, Proposition 16.3 implies (without loss of generality) that γ0 is constant and u1 is non-constant.
Suppose that the image of ui is contained inside \(\operatorname{int}(M_{a})\) for all i<ℓ and uℓ is not contained inside \(\operatorname{int}(M)\). It follows that lims→+∞uℓ(s,t) lies in the region where r≥a−δ+ε. By Sard’s theorem, there exists a non-empty open subset \(\mathcal{I}\subset (0,a-\delta ]\) that depends on J such that for each \(a' \in \mathcal{I}\), \((u^{\ell})^{-1}(M_{a'}) \cap C^{\ell}_{0}\) is a smooth Riemann surface with non-empty boundary. There is an irreducible component of this Riemann surface with a single puncture whose image is (asymptotic to) a point on \(\operatorname{int}(M_{a})\). Let Σ′ denote the surface composed of C1 and the truncated curve \((u^{\ell})^{-1}(M_{a'}) \cap C^{\ell}_{0}\). Let u′:Σ′→Ma′ be the J-holomorphic (In this region, the Hamiltonian is zero and, thus, the maps are genuinely holomorphic.) curve given by u′=⊔i=0,ℓui. Notice that u′ has energy bounded by E. So by the removal of singularities theorem, see [MS12, Theorem 4.1.2], u′ may be extended to a holomorphic map over its punctures. Write this extension as u:Σ→Ma′.
We wrap up. First, the classification of surfaces with boundaries gives that Σ is a genus zero curve with boundary. Second, by construction, the image of boundary of Σ under u is contained in ∂Ma′. Third, by construction, u is non-constant on each of its components. Fourth, since lims→−∞u1(s,t)=p0, u(Σ) meets the point p0. Fifth, the energy of u with respect to Ω and J is bounded by E independently of J. This completes the proof. We mention that the image of u does not need to be connected (however, it will be connected when the γi are constant or uℓ=u1). □
7.2 Proof of technical lemma
To prove Lemma 7.2, we consider the sequence of radially admissible Hamiltonians as in Construction 6.8 and explicitly exhibit a non-trivial differential in a Floer chain complex that computes \(\widehat{SH}(M_{a-\delta} \subset M; f)\). This non-trivial differential will give rise to the desired Floer trajectory.
Put differently, the vanishing of action completed symplectic cohomology gives an isomorphism \(H(M;\Lambda ) \cong \widehat{SH}_{+}(M_{a-\delta} \subset M;f)\). Under this isomorphism, a (completed) element of \(\widehat{SH}_{+}(M_{a-\delta} \subset M;f)\) is mapped onto the point class in H(M;Λ). We show that the count of Floer trajectories that defines this mapping is non-zero and deduce that there exists a Floer trajectory connecting a Reeb orbit to the point class of the interior Morse function. Of course, we need to preserve these (virtual) counts of Floer trajectories for varying J and g and show that the resulting Floer trajectories have energies bounded independent of these choices. The main technical difficulty is that the point class will only be hit by a completed element, that is, we will only hit the point class plus higher order terms in the Novikov parameter. When deforming J or g, we need to ensure that these higher order terms do not pair off with the point class, leaving us with no differential hitting the point class. This requires a chain level homological analysis of Floer complexes. We use the integrality of the symplectic form to carry out this analysis.
To begin, by rescaling Ω, we may assume that for every map u:S2→M, \(\int u^{*}\Omega \in 5 \cdot \mathbb{Z}\). We point out two simple consequences of this integrality and Lemma 4.8.
Lemma 7.3
Consider a monotonically admissible family of Hamiltonians Hσ. Let u be a Floer trajectory of type (σ,x0,xℓ) such that x0, and xℓ are constant. If
then
If
then
Notation 7.4
Let J0 be an admissible almost complex structure on M. Let \(g_{0}: M_{a-\delta} \to \mathbb{R}\) be a negative C2-small Morse function as in Construction 6.8. We assume that J0 and g0 further satisfy:
-
g0 is Morse-Smale with respect to the metric Ω(⋅,J0⋅),
-
p0 is the unique index zero critical point of g0,
-
g0(p0)/2−g0(x)≤0 for all critical points x≠p0, and
-
|g0|≤1.
Consider the cofinal sequence of Hamiltonians Hn and connecting families σn as in Construction 6.8, where the Morse function part is g0.
Lemma 7.5
Assuming that \(\widehat{SH}(M_{a-\delta} \subset M;0) \otimes \Lambda \) vanishes, there exists λ′∈Λ≥0 and \(n \in \mathbb{N}\) such that
for some y∈CF(Hn,J0), where p0 denotes the critical point of g0 at p0.
Proof
By Lemma 5.8 and [Par16, Theorem 10.7.1], p0 is closed in each CF(Hi,J0). In particular, p0 is closed in CF(H0,J0). By assumption (and Proposition 6.1 item (i)),
By Lemma 17.14, there exists λ′∈Λ≥0 and y∈CF(Hn,J0) (for some n) such that
as desired. □
To understand Lemma 7.5, consider elements of \(\overline{\mathcal{M}}(\sigma _{i},x,y)\). By Lemma 5.8, all the elements lie in \(\operatorname{int}(M_{a-\delta})\) when y is a critical point of g0. Notice that the associated family of Hamiltonians on \(\operatorname{int}(M_{a-\delta})\) is given by
By our choice of g0 and Lemma 7.3, all elements of \(\overline{\mathcal{M}}(\sigma _{i},x,y)\), where x and y are critical points of g0, have energy greater than or equal to
So by considering the constant Floer trajectory in \(\overline{\mathcal{M}}(\sigma _{i},p_{0},p_{0})\) (as we have done before), Corollary 4.10 implies that
where \(\operatorname{val}(\eta _{i}) = 0\), and Ci is a Λ≥0-linear combination of critical points of g0 (not including p0) such that the valuation of Ci along any critical point x is at least g0(x)−g0(p0). Define λ=λ′⋅T1−1/n⋅∏iηi. Inductively (considering the constant Floer trajectories in the \(\overline{\mathcal{M}}(\sigma _{i},x,x)\)), we have that
where C is a Λ≥0-linear combination of critical points of g0 (not including p0) such that the valuation of C along any critical point x is at least \(g_{0}(x) - g_{0}(p_{0}) + \operatorname{val}(\lambda )\), and D is a Λ≥0-linear combination of orbits with \(\operatorname{val}(D) > \operatorname{val}(\lambda )+2\). In particular, we have shown that
Consider Hn from Lemma 7.5. We will modify it and the almost complex structure J0 to a sequence of Hamiltonians Hν and the desired almost complex structure J that satisfy the conditions of the lemma. We complete the proof of Lemma 7.2.
Proof
For \(\nu \in \mathbb{N}\), fix (a−δ+ε)-radially admissible Hamiltonians Gν that satisfy:
-
Gν≤Gν+1
-
for r≤a−δ, Gν=g0/2ν, and
-
for r≤a−δ+ε, Gν=Hn+δ+1/n.
Using Construction 4.9, we have continuations \(G^{\sigma _{\nu}}\) with \(G^{\sigma _{\nu}}_{\underline{e_{0}}} = G_{\nu +1}\) and \(G^{\sigma _{\nu}}_{\underline{e_{1}}} = G_{\nu}\). We consider how d(y)=λ⋅p0+C+D transforms under these continuations.
To begin, the continuations σν are monotone. So
Suppose that x and y are critical points of g0. When g0(x)/2−g0(y)≥0, Lemma 7.3 implies that all elements of \(\overline{\mathcal{M}}(\sigma _{\nu},x,y)\) have energy greater than or equal to g0(x)/2ν+1−g0(y)/2ν. When g0(x)/2−g0(y)<0, Lemma 7.3 implies that all elements of \(\overline{\mathcal{M}}(\sigma _{\nu},x,y)\) have energy greater than or equal to
In particular, since g0(p0)/2−g0(x)<0 for all critical points x≠p0, we (inductively) have that the valuation of
along p0 is at least \(\operatorname{val}(\lambda )+3\). Also, we can (inductively) conclude that the valuation of
along any critical point x≠p0 is at least
The only element of \(\overline{\mathcal{M}}(\sigma _{\nu},p_{0},p_{0})\) with energy equal to −g0(p0)(1/2ν−1/2ν+1) is the constant Floer trajectory. So inductively, combining the above observations, we have that
where λν∈Λ≥0 has valuation given by \(\operatorname{val}(\lambda ) -g_{0}(p_{0}) + g_{0}(p_{0})/2^{\nu }< \operatorname{val}( \lambda ) +2\).
Fix a negative C2-small Morse function \(g: M_{a-\delta} \to \mathbb{R}\) that satisfies:
-
g is Morse-Smale with respect to Ω(⋅,J⋅),
-
g has a unique index zero critical point at \(p_{0} \in \operatorname{int}(M_{a-\delta})\), and
-
g≥g0 with g(p0)=g0(p0).
Fix (a−δ+ε)-radially admissible Hamiltonians Hν that satisfy:
-
Hν≤Hν+1
-
for r≤a−δ, Hν=g/2ν, and
-
for r≤a−δ+ε, Hν=Hn+δ+1/n.
Let J1 denote an admissible almost complex structure on M that agrees with J0 for r≥a−δ+ε and agrees with J on Ma−δ. Define simplices \(\tau _{\nu }\in \mathcal{J}\mathcal{H}_{1}^{+}(M,\Omega ,\lambda )\) connecting Gν and Hν via Construction 4.9, and by fixing a family of almost complex structures that connects J0 to J1 that is the identity for r≥a−δ+ε.Footnote 17
the family connecting J0 to J1 can be an arbitrary family. In particular, This gives continuation maps
By considering the constant Floer trajectories in \(\overline{\mathcal{M}}(\sigma _{\nu}, p_{0},p_{0})\), which have zero energy, and the monotonicity of the τν, the above work for the σν gives that
We wrap up. First, the sequence of Hamiltonians Hν defines a sequence of Hamiltonians as stated in the lemma modulo interchanging ν and 2ν. Set \(E = \operatorname{val}(\lambda )+2\). This bound is independent of the choice of almost complex structure J. By Theorem 5.4, Lemma 4.8, and our explicit description of the differential for Floer chain complexes, there exists an element \(u_{\nu }\in \overline{\mathcal{M}}((H_{\nu},J_{1}),p_{0},x_{+})\) with Egeo(uν)≤Etop(uν)≤E. Finally, by Proposition 6.1 item (iii) and [Par16, Theorem 10.7.1], x+ corresponds to a Reeb orbit and thus satisfies r(x+)≥a−δ+ε. □
Remark 7.6
In lieu of our above approach, one could observe that, since transversality for the associated moduli spaces of Morse flow lines can be achieved, the work of Pardon prior to [Par16, Theorem 10.7.1] gives that (after fixing an appropriate choice of additional data) the only Floer trajectories needed to compute the above continuation maps are, in fact, the Morse flow lines. This simplifies the homological analysis. However, we have opted for our more elementary approach. We also point out that if c1(M)=0, then using the resulting \(\mathbb{Z}\)-grading on the Floer chain complexes greatly simplifies the above analysis.
7.3 An addendum on the product case
Consider \(M = \mathbb{C}\times F\), where (F,ωF) is a closed symplectic manifold with symplectic form \(\omega _{\mathbb{C}}+ \omega _{F}\), where \(\omega _{\mathbb{C}}\) is the standard symplectic form on \(\mathbb{C}\). The associated stable Hamiltonian structure has a degenerate Reeb vector field. However, with the radial coordinate, |⋅|2, on \(\mathbb{C}\), the orbits arise as S1×F-families of orbits. So as in Remark 5.7, we may appropriately define Hamiltonian Floer theory for these spaces by using radial Hamiltonians and introducing small perturbations near the families of orbits, which we now suppress.
Each \(\mathbb{D}_{a} \times F\) is displaceable in \(\mathbb{D}_{b} \times F\) for some b≫a. So Proposition 6.1 item (ii) implies that Proposition 7.1 gives a uniruling via disks. However, we can conclude this result with a stronger conclusion.
Proposition 7.7
In the above setup, Lemma 7.2 holds with the additional conclusion that x+ corresponds to a Reeb orbit whose projection down to \(\mathbb{C}\) winds once around the origin.
So the holomorphic curves in Proposition 7.1 all have an irreducible component (the one that contains the boundary) whose degree is one when projected to \(\mathbb{C}\) (since the Gromov-Floer compactness used in the proof of Proposition 16.3 preserves this winding).
Proof
To establish this winding condition, one needs to understand the bounding cochain y in the proof of Lemma 7.2. Let J0=j⊕JF be the product almost complex structure (which is admissible), where j is the standard complex structure on \(\mathbb{C}\) and JF is an Ω-compatible almost complex structure on F. Fix a C2-small Morse function f on F that is Morse-Smale with respect to the metric ωF(⋅,JF⋅) and let H=c⋅exp(|⋅|2)+f, where c is some small positive constant. The associated Hamiltonian vector field is given by the sum of the ωF-dual of −df and the \(\omega _{\mathbb{C}}\)-dual of −d(c⋅exp(|⋅|2)). So the Floer data decouples, and we obtain a Künneth decomposition
Here, the left-hand-side computes the symplectic cohomology of M as in [Sei08]. But now an explicit analysis of the complex CF(c⋅exp(|⋅|2),j) shows that it is acyclic and the orbit at 0 is the boundary of an orbit that corresponds to a Reeb orbit (in \(\mathbb{C}\)) that winds once around the origin. So via Künneth, the point class of f is the boundary of an orbit y that corresponds to a Reeb orbit (in M) that winds once around the origin. Using this data, one runs Lemma 7.2 and studies the bounding cochain y. One can arrange to “turn off” H away from the Reeb orbits of the Hamiltonian H, and Lemma 5.8 ensures that the continuation of y under our deformations never has image composed of orbits with winding numbers greater than 1. In this manner, we get the additional conclusion. □
8 Proof of main theorem
We do not delay giving the proofs of our main results any further. We will pull results from later sections; however, these results can easily be black boxed for the moment.
Notation 8.1
-
(i)
Let \(\pi : \overline{M} \to \mathbb{P}^{1}\) be a proper morphism of smooth projective varieties that is smooth over \(\mathbb{P}^{1} \smallsetminus \{0,\infty \}\).
-
(ii)
Let \(M :=\overline{M} \smallsetminus \pi ^{-1}(\infty )\) and also write \(\pi : M \to \mathbb{C}\) for the restriction of π to M.
-
(iii)
Let p be a point in M.
-
(iv)
Let \(M_{a} :=\pi ^{-1}(\mathbb{D}_{a})\), where \(\mathbb{D}_{a}\) is the disc of radius a in \(\mathbb{C}\).
To orient the reader: We prove Theorem 1.1 and Theorem 1.2 by using Proposition 7.1 to produce holomorphic curves with boundaries in M and then apply Lemma 15.2 to turn these holomorphic curves with boundaries into closed holomorphic curves in \(\overline{M}\) that have the desired properties. We divide this into a sequence of lemmas, which we discuss below; however, we defer the proofs until the later subsections.
We first define a space in which we will apply Lemma 15.2. We will use the degeneration of \(\overline{M}\) to the normal cone of π−1(∞) (or rather a resolution of this possibly singular space.). This will be the P given in the lemma below.
Lemma 8.2
There exists a smooth, quasi-projective variety P, equipped with a proper, surjective, holomorphic map \(\pi _{P}: P \to \mathbb{C}\) which satisfies:
-
(i)
\(\pi _{P}^{-1}(\mathbb{C}^{\times})\) is isomorphic to \(\mathbb{C}^{\times }\times \overline{M}\) with \(P_{z} :=\pi _{P}^{-1}(z) \cong \overline{M}\) for z≠0, and
-
(ii)
\(\pi _{P}^{-1}(0) = F \cup E\), where E is a (possibly singular) subscheme and F is a (possibly singular) proper subscheme that is birational to \(\overline{M}\) via a morphism that is an isomorphism over F∖(E∩F)→M,
and a map \(h: P \to \mathbb{P}^{1}\), which satisfies:
-
(i)
F⊂h−1(0), and
-
(ii)
h restricted to \(\pi _{P}^{-1}(\mathbb{C}^{\times}) \cong \mathbb{C}^{\times }\times \overline{M}\) is identified with the composition
We denote the restriction of h to Pz by \(h_{z}: P_{z} \to \mathbb{P}^{1}\).
For each k>0 and any Kähler form ΩP on P, \(h^{-1}(\mathbb{D}_{k}) \subset P\) satisfies the setup Lemma 15.2. So if there exists a sequence of holomorphic curves with boundaries in the fibres \(h_{1/\nu}^{-1}(\mathbb{D}_{k})\) that satisfy the conditions of Lemma 15.2, then this compactness will give closed holomorphic curves in \(\overline{M}\). The precise sequences of holomorphic curves that we construct are below.
Lemma 8.3
Given a Kähler form ΩP on P, there exists a constant k>0 and sequences of (possibly disconnected) genus zero, compact holomorphic curves uν:Σν→Q with boundaries, where \(Q :=h^{-1}(\mathbb{D}_{k})\). These curves satisfy:
-
(i)
\(\pi _{P} \circ u_{\nu }\equiv z_{\nu }\in \mathbb{C}\) with zν→0,
-
(ii)
uν(xν)→p∈F∖E∩F for some xν∈Σν,
-
(iii)
uν is non-constant on each of its components,
-
(iv)
uν(∂Σν)⊂∂Q and \(u_{\nu}(\operatorname{int}(\Sigma _{\nu})) \subset \operatorname{int}(Q)\), and
-
(v)
the energies of the uν are uniformly bounded in ν independent of p.
Moreover, if π is smooth over 0, then a component of uν with boundary projects to \(\mathbb{D}_{k}\) via a degree one map.
To construct these curves, we construct a symplectic form Ω on M for which the end M∖Ma is modeled after a symplectic mapping cylinder for some a>0. This gives the subsets Mc for c>a the structures of convex symplectic domains, see Sect. 14.2. Given Ω, we may define action complete symplectic cohomology for (Mc,Ω). Under the additional assumption of either π being smooth over 0 or M having vanishing first Chern class,
where c>b>a. We also construct a symplectic embedding of each fibre \((h_{z}^{-1}(\mathbb{C}), \Omega _{P}|_{h_{z}^{-1}(\mathbb{C})})\) into (M,Ω) with image in Ma. Via these embeddings, we push forward the almost complex structures of the fibres \(h_{z}^{-1}(\mathbb{C})\) to Ω-compatible almost complex structures on Ma. Applying Proposition 7.1, we produce holomorphic curves for these pushed forward almost complex structures. Finally, to produce the afore mentioned curves in the fibres \(h_{z}^{-1}(\mathbb{C})\), we pull-back the curves in Ma along the embeddings and appropriately “trim” their domains using Sard’s theorem to lie in some appropriate \(h^{-1}(\mathbb{D}_{k})\). The explicit description of the symplectic form Ω and the symplectic embeddings, which the reader should think of as some type of modified parallel transport maps, is given in the following two lemmas. They correspond to Theorem 1.1 and Theorem 1.2 respectively. We prove Lemma 8.4 in a later subsection of this section; however, we defer the proof of Lemma 8.5 to a later part of this exposition as it is quite a bit more involved.
Lemma 8.4
Suppose that π is smooth over 0 with fibre F. There exists a symplectic form \(\Omega = \omega _{\mathbb{C}} + \omega _{F}\) on \(M \cong \mathbb{C}\times F\), where \(\omega _{\mathbb{C}}\) is the standard symplectic form on \(\mathbb{C}\) and ωF is a symplectic form on F, constants c>b>a>0, and symplectic embeddings
for each \(z \in \mathbb{C}^{\times}\) that satisfy
-
(i)
Ω is integral,
-
(ii)
\(\widehat{SH}(M_{b} \subset M_{c}; 0) \otimes \Lambda = 0\),
-
(iii)
\(\psi _{z}(h_{z}^{-1}(\mathbb{C})) \subset M_{a}\), and
-
(iv)
\(\psi _{z}(h_{z}^{-1}(0)) = \pi ^{-1}(0) \cong 0 \times F\) via the diffeomorphism \(M \cong \mathbb{C}\times F\) over \(\mathbb{C}\).
Lemma 8.5
Suppose that M has vanishing first Chern class. There exists a symplectic form Ω on M, constants c>b>a>0, and symplectic embeddings
for each \(z \in \mathbb{C}^{\times}\) that satisfy
-
(i)
Ω is integral,
-
(ii)
(M∖Ma,Ω) is symplectomorphic to a symplectic mapping cylinder, whose associated Reeb vector field is non-degenerate,
-
(iii)
\(\widehat{SH}(M_{b} \subset M_{c}; 0) \otimes \Lambda = 0\), and
-
(iv)
\(\psi _{z}(h_{z}^{-1}(\mathbb{C})) \subset M_{a}\).
Assuming the above lemmas, we give the proofs of Theorem 1.1 and Theorem 1.2. They are analogous. So we give them simultaneously.
Proof
Let k, Q, and uν be as in Lemma 8.3. We first discuss unirulings, and then discuss (multi)sections.
Each uν has a component with the point constraint at xν with uν(xν)→p. If for ν≫0, these components are genus zero curves with boundaries in ∂Q, then by Lemma 15.2, there exists a non-constant rational curve \(u: \Sigma \to \overline{M}\) with u(x)=p for some x∈Σ. If for ν≫0, these components have empty boundaries, then applying the classical Gromov compactness to the uν gives a non-constant rational curve \(u: \Sigma \to \overline{M}\) with u(x)=p for some x∈Σ. To obtain non-constant rational curves for points \(p \in \pi ^{-1}(\infty ) = \overline{M} \smallsetminus M\), one observes that the curves produced above all have uniformly bounded energies. Consequently, by the classical Gromov compactness theorem, we can obtain rational curves through all \(p \in \overline{M}\). This produces a uniruling.
Each uν has a component with boundary. Without loss of generality, replace the domain of uν with a component that has non-empty boundary. It is again a genus zero curve with boundary. We claim that the image of uν must pass through \(\pi ^{-1}(0) \subset \overline{M} \cong P_{z_{\nu}}\).
Indeed, by Lemma 8.3, the curve uν is contained in \(P_{z_{\nu}}\) and satisfies uν(∂Σν)⊂∂Q and \(u_{\nu}(\operatorname{int}(\Sigma _{\nu})) \subset \operatorname{int}(Q)\). By Lemma 8.2,
So we find that \(u_{\nu}(\partial \Sigma _{\nu}) \subset \pi ^{-1}(\partial \mathbb{D}_{k})\) and \(u_{\nu}(\operatorname{int}(\Sigma _{\nu})) \subset \pi ^{-1}(\operatorname{int}(\mathbb{D}_{k}))\) when we identify \(P_{z_{\nu}}\) and \(\overline{M}\). Now consider the composition
We claim that this map is surjective. Since \(\operatorname{int}(\mathbb{D}_{k})\) is connected, to show that this map is surjective, it suffices to show that it is open and closed. The map is open by the open mapping theorem from complex analysis. To see that it is closed, notice that π∘uν is proper. So \(\pi \circ u_{\nu}|_{\operatorname{int}(\Sigma _{\nu})}\) is proper. Since \(\operatorname{int}(\Sigma _{\nu})\) and \(\operatorname{int}(\mathbb{D}_{k})\) are both locally compact and Hausdorff, \(\pi \circ u_{\nu}|_{\operatorname{int}(\Sigma _{\nu})}\) being proper implies that it is closed. So it follows that \(\pi \circ u_{\nu}|_{\operatorname{int}(\Sigma _{\nu})}\) is surjective. Consequently, uν must pass through \(\pi ^{-1}(0) \subset \overline{M} \cong P_{z_{\nu}}\), as claimed.
After fixing a marked point for uν on Σν that passes through π−1(0), Lemma 8.2 and Lemma 8.3 imply that Q and uν satisfy the hypotheses of Lemma 15.2. So by Lemma 15.2, there exists genus zero, compact, holomorphic curve \(u: \Sigma \to \overline{M}\) with empty boundary such that the image of u is connected and intersects both π−1(0) and π−1(∞). In particular, there exists an irreducible component of the domain of u such that π∘u restricted to this irreducible component is non-constant. This produces a (multi)section.
Finally, when π is smooth over 0 as in Theorem 1.1, we need to show that u restricted to an irreducible component is an actual section. It suffices to show that u restricted to some irreducible component has degree one. This follows from the additional conclusion of Lemma 8.3 and by noting that the degree is preserved in the limiting curve u. □
The remainder of this section is divided into three additional subsections, each of which contains a proof of one of the above three lemmas.
8.1 Defining the degeneration space
We prove Lemma 8.2. But first, we discuss the degeneration of \(\overline{M}\) to the normal cone of \(\pi ^{-1}(\infty ) \subset \overline{M}\), see [Ful84, Chap. 5].
Construction 8.6
Define
Define the blowup
P′ is a (possibly singular) quasi-projective variety. The map β is referred to as the degeneration of \(\overline{M}\) to the normal cone C of \(\pi ^{-1}(\infty ) \subset \overline{M}\). It is an isomorphism over \((\mathbb{C}\times \overline{M}) \smallsetminus Z\). Post-composing β with the projection to the first factor \(\mathbb{C}\times \overline{M} \to \mathbb{C}\) gives a surjective, holomorphic map \(\pi _{P'}: P' \to \mathbb{C}\) such that \(\pi _{P'}^{-1}(\mathbb{C}^{\times}) \cong \mathbb{C}^{\times } \times \overline{M}\). In particular, \(\pi ^{-1}_{P'}(z) \cong \overline{M}\) for \(z \in \mathbb{C}^{\times}\). Over 0, \(\pi _{P'}^{-1}(0) = F' \cup E'\) and the following holds.
-
(i)
E′ is the exceptional divisor of the blowup. It is isomorphic to the projective completion of the normal cone of π−1(∞) in \(\overline{M}\), that is, \(E' \cong \mathbb{P}(C\oplus \mathbb{C})\).
-
(ii)
F′ is isomorphic to the blow up of \(\overline{M}\) along π−1(∞). So F′ is birational to \(\overline{M}\) via \(\beta |_{F'}: F' \to \overline{M}\), which is an isomorphism over F′∖(E′∩F′)→M.
-
(iii)
E′∩F′ is given by the projectivization of the normal cone of π−1(∞) in \(\overline{M}\), that is, \(E' \cap F' \cong \mathbb{P}(C)\). The inclusion E′∩F′↪E′ is the inclusion of the hyperplane at infinity in \(\mathbb{P}(C \oplus \mathbb{C})\). The inclusion E′∩F′↪F′ is the inclusion of the exceptional divisor of the blowup \(\beta |_{F'}: F' \to \overline{M}\).
Construction 8.7
Apply Construction 8.6 to the identity \(\mathbb{P}^{1} \to \mathbb{P}^{1}\). Define the blowup
and the projection \(\pi _{{B}}: {B} \to \mathbb{C}\) as in Construction 8.6.
Write \(\pi _{B}^{-1}(0) = F_{0} \cup E_{0}\). F0 is a (−1)-curve. So we may blow down F0 to obtain a smooth, quasi-projective variety, which in this case is isomorphic to a Hirzeburch surface with the fibre over infinity removed. This space is isomorphic \(\mathbb{C}\times \mathbb{P}^{1}\). Denote this blow-down map by \(\beta _{1}: B \to \mathbb{C}\times \mathbb{P}^{1}\).
We now prove Lemma 8.2.
Proof
By [Har77, II.7.15], we have a morphism πBl:P′→B and a commutative diagram
Since π is proper, πBl is proper.
P′ is not necessarily smooth (smoothness could fail in E′). By Hironaka’s resolution of singularities [Hir64], there exists a smooth, quasi-projective variety P (which is the P in the statement of the lemma) and a birational morphism S:P→P′ that is an isomorphism over P′∖E′. This gives a commutative diagram
Define:
-
(i)
πP:=πB∘πBl∘S=πP′∘S,
-
(ii)
\(h :=pr_{\mathbb{P}^{1}} \circ \beta _{1} \circ \pi _{Bl} \circ S\),
-
(iii)
\(F :=\overline{S^{-1}(F' \smallsetminus E')}\), and
-
(iv)
E:=S−1(E′).
By [Har77, II.7.16], S|F:F→F′ is a blowup of F′ that is supported away from (F′∖E′∩F′)≅M. By Construction 8.6, \(\beta |_{F'} \circ S|_{F}: F \to \overline{M}\) is a birational map that is an isomorphism over F∖(F∩E)→M, as desired. A pictorial description of this data is given in Fig. 4. The remaining claims of the lemma are easily verified.
□
8.2 Finding symplectic embeddings
We prove Lemma 8.4, using work in Sect. 13 and Proposition 14.20.
Proof
Let ΩP be any integral Kähler form on P (which exists since P is projective). Let \(\Omega _{z} :=\Omega _{P}|_{P_{z}}\). For each \(z \in \mathbb{C}^{\times}\), we have a symplectic parallel transport map from (Pz,Ωz) to (P1,Ω1). By [McL12, Lemma 5.16], we may pre-compose this parallel transport map with a symplectomorphism such that the composition, φz:(Pz,Ωz)→(P1,Ω1), maps \(h_{z}^{-1}(\infty )\) to \(h_{1}^{-1}(\infty )\) and \(h_{z}^{-1}(0)\) to \(h_{1}^{-1}(0)\). We identify (P1,Ω1) and h1 with \((\overline{M},\Omega _{1})\) and π respectively. Applying Proposition 13.1 to π−1(∞) in \(\overline{M}\), there exists a Kähler form \(\widetilde{\Omega}\) on M and a symplectic embedding \(\psi : (M,\Omega _{1}) \hookrightarrow (M,\widetilde{\Omega})\) that is the identity near π−1(0) and whose image, ψ(M), is a compact subset of M. Since the subsets Ma for a>0 give a compact exhaustion of the space M, we have that there exists a constant a>0 such that ψ(M) is contained in Ma/2.
Since \(\widetilde{\Omega}\) is Kähler, it is compatible with the almost complex structure that makes the projection \(\pi : M \to \mathbb{C}\) holomorphic. Consequently, the fibres of π are symplectic submanifolds with respect to \(\widetilde{\Omega}\), and \((M,\pi , \widetilde{\Omega})\) defines a Hamiltonian fibration over \(\mathbb{C}\). By Proposition 14.13, there exists a symplectic form \({\Omega} = \omega _{\mathbb{C}} + \omega _{F}\) on M, where ωF is the restriction of \(\widetilde{\Omega }\) to F, and a symplectic embedding \(\mu : (M,\widetilde{\Omega}) \hookrightarrow (M,{\Omega})\). The image of μ∘ψ(M) lands in Ma (after we replace our old a by a possibly larger a). Moreover, μ fixes π−1(0)≅0×F.
Now for each c>0, (Mc,Ω) admits the structure of a convex symplectic domain. So action completed symplectic cohomology is well-defined for the subdomains (Mc,Ω). Since Mc is symplectically given by the product \(\mathbb{D}_{c} \times F\), for some c≫b>a, Mb is displaceable in (Mc,Ω). Thus, by Proposition 6.1 item (ii), \(\widehat{SH}(M_{b} \subset M_{c};0) \otimes \Lambda = 0\).
Define
by the composite ψz:=μ∘ψ∘φz. ψz fixes π−1(0). To see that Ω is integral, one can either notice that Ω is cohomologous to the original Kähler form, which is integral (as all of the above embeddings are produced via Moser’s argument), or that ωF is the restriction of an integral form, and, thus, is integral. So these maps and the symplectic form Ω satisfy the conclusions of the lemma. □
8.3 Producing a sequence of curves
We prove Lemma 8.3.
Notation 8.8
-
(i)
Let \(z_{\nu }:=1/\nu \in \mathbb{C}\) for \(\nu \in \mathbb{Z}_{\geq 1}\).
-
(ii)
Let \(p_{\nu }\in h_{z_{\nu}}^{-1}(\mathbb{D}_{1})\) be a sequence of points such that limν→∞pν=p∈M.
-
(iii)
Let \(A_{\nu }:=h_{z_{\nu}}^{-1}([0,3])\).
-
(iv)
Let \(\Omega _{\nu }:=\Omega _{P}|_{P_{z_{\nu}}}\).
-
(v)
Let \(J_{\nu }:=J_{P}|_{A_{\nu}}\).
Proof
We assume the notation and results of Lemma 8.4 and Lemma 8.5. Since \(\psi _{z_{\nu}}|_{A_{\nu}}\) is a symplectic embedding, we may extend the almost complex structure \((\psi _{z_{\nu}}|_{A_{\nu}})_{*}(J_{\nu})\) to an admissible almost complex structures on (Mc,Ω), which we denote by \(J_{\nu}'\). Also, we set \(p_{\nu}' :=\psi _{z_{\nu}}(p_{\nu})\).
By Proposition 7.1, there exists a constant E>0 and (possibly disconnected) genus zero, compact, \(J_{\nu}'\)-holomorphic curves \(u_{\nu}': \Sigma _{\nu}' \to M\) with boundaries that satisfy:
-
(i)
\(u_{\nu}'(\partial \Sigma _{\nu}') \subset M \smallsetminus M_{a}\),
-
(ii)
\(u_{\nu}'\) is nowhere constant,
-
(iii)
\(u_{\nu}'(\Sigma ') \cap p_{\nu}' \neq \varnothing \), and
-
(iv)
the energy of \(u_{\nu}'\) with respect to Ω and \(J_{\nu}'\) is bounded by E.
The image of \(\psi _{z_{\nu}}\) is contained in Ma. So by Sard’s theorem, there exists a measure 1 subset of [1,2] such that for ν and all k in said subset
is a smooth Riemann surfaces with boundary. In particular, this is achieved when all \(u_{\nu}'\) are transverse to \(h^{-1}(\partial \mathbb{D}_{k})\). Define \(Q :=h^{-1}(\mathbb{D}_{k})\) and uν:Σν→Q by \(u_{\nu }:=(\psi _{z_{\nu}})^{-1} \circ u_{\nu}'|_{\Sigma _{ \nu}}\). The curves uν satisfy the conditions of the lemma by construction. In particular, \(u_{\nu}(\operatorname{int}(\Sigma _{\nu})) \subset \operatorname{int}(Q)\) by the fact that \(u_{\nu}'\) is transverse to ∂Q. The degree one assumption on the uν in the case where π is smooth over 0 follows from Lemma 8.4, Proposition 7.7, and the fact that this degree is preserved by the maps ψz (since they are homotopy equivalences that fix the central fibre π−1(0)). □
Part II. Discussion of the Calabi-Yau case
In this part, we prove Lemma 8.5. First, we discuss Conley-Zehnder indices of orbits of Hamiltonians. Second, we discuss a rescaling isomorphism for action complete symplectic cohomology groups of convex symplectic domains with vanishing first Chern class whose ends are modeled after symplectic mapping cylinders. This isomorphism is established by assuming the existence of cofinal sequences of Hamiltonians that satisfy certain index bounded assumptions. Thirdly, we discuss symplectic normal crossings divisors and a sequence of Hamiltonians whose dynamics are nicely captured by the normal crossings structure, and, in particular, satisfy an index bounded assumption. Finally, we will combined our work from the above three sections with the symplectic deformations from Part 3 to conclude Lemma 8.5.
9 Conley-Zehnder indices
We discuss Conley-Zehnder indices of contractible 1-periodic orbits of Hamiltonians.
Definition 9.1
The Conley-Zehnder index CZ(At) is a half-integer associated to a path of symplectic matrices (At)t∈[a,b] [RS93]. It satisfies the following properties [Gut14]:
-
(CZ1)
CZ((exp(it))t∈[0,2π])=2,
-
(CZ2)
CZ((At)t∈[a,b]⊕(Bt)t∈[a,b])=CZ(At)+CZ(Bt),
-
(CZ3)
the Conley-Zehnder index of a concatenation of two paths of symplectic matrics is the sum of the Conley-Zehnder indices of the individual paths,
-
(CZ4)
the Conley-Zehnder index is invariant under homotopies of paths of symplectic matrices relative to the end points, and
-
(CZ5)
if CZ(At) is a loop of symplectic matrices, then CZ(At) is equal to two times the Maslov index of the loop At.
Consider an arbitrary symplectic manifold (M,Ω). When c1(M)≠0, a capping of a period orbit defines a Conley-Zehnder index for the orbit, which depends on the choice of capping.
Definition 9.2
Let γ:S1→M be a contractible periodic orbit of a Hamiltonian H. Let \(v: \mathbb{D}\to M\) be a smooth map with v(exp(it))=γ(t). Let \(\tau _{v}: v^{*} TM \to \mathbb{D}\times \mathbb{C}^{n}\) be a symplectic trivialization. The Conley-Zehnder index of γ with respect to v, CZ(γ,v), is the Conley-Zhender index of the path of symplectic matrices
The index CZ(γ,v) is independent of the choice of trivialization τv. Moreover, given any two cappings of γ, say v0 and v1,
Recall that the anti-canonical bundle of M, denoted \(\mathcal{K}^{*} = \Lambda ^{n}_{\mathbb{C}}TM\), is represented as a complex line bundle by the cohomology class \(c_{1}(M) \colon M \to K(\mathbb{Z},2) = \mathbb{C}\mathbb{P}^{\infty}\). So when c1(M)=0, the anti-canonical bundle of M is trivializable as a complex line bundle.
Now suppose c1(M)=0. A trivialization of the anti-canonical bundle of M defines a Conley-Zehnder index for a periodic orbit.
Notation 9.3
Let \(\mathcal{K}^{*}\) denote the anti-canonical bundle of M. We assume that c1(M)=0. So there is a trivialization \(\tau : \mathcal{K}^{*} \to M \times \mathbb{C}\).
Definition 9.4
Let γ:S1→M be a contractible periodic orbit of a Hamiltonian H. Fix a trivialization \(\tau _{\gamma}: \gamma ^{*}TM \to M \times \mathbb{C}^{n}\) such that the top exterior power of τγ agrees with τ. The Conley-Zehnder index of γ with respect to τ, CZ(γ,τ), is the Conley-Zhender index of the path of symplectic matrices
Extending the argument of [McL16, Lemma 4.3] from Reeb orbits to contractible Hamiltonian orbits gives:
Lemma 9.5
Suppose c1(M)=0. If γ is a contractible periodic orbit of a Hamiltonian H on M, then
for any choice of capping v and any choice of trivialization τ. In particular, both definitions agree and are independent of all choices.
Notation 9.6
In light of Lemma 9.5, if γ is a contractible periodic orbit of a Hamiltonian H on M and c1(M)=0, write
We now discuss Conley-Zehnder indices of pseudo Morse-Bott families of 1-periodic orbits of Hamiltonians and how these indices change under small perturbations. Our discussion is analogous to that of McLean’s [McL16], who defined pseudo Morse-Bott families of Reeb orbits.
Definition 9.7
Let Γ be a collection of 1-periodic orbits of a Hamiltonian H. The fixed points of Γ is the set
The collection Γ is isolated if there exists an open neighborhood UΓ of Γ(0) such that if γ(0) is in Uγ, then γ∈Γ.
Definition 9.8
A pseudo Morse-Bott family of 1-periodic orbits of a Hamiltonian H is an isolated collection of 1-periodic orbits Γ such that
-
(i)
is constant on Γ(0), and
-
(ii)
Γ(0) is path connected.
The size of Γ is defined to be .
We now assume for the remainder of this subsection that c1(M)=0.
Definition 9.9
The Conley-Zehnder index of a pseudo Morse-Bott family Γ is CZ(Γ):=CZ(γ) for any γ∈Γ.
If a Hamiltonian has a pseudo Morse-Bott family (that is not comprised of a single isolated orbit), then the Hamiltonian will be degenerate. So we would like to perturb the Hamiltonian to obtain a non-degenerate Hamiltonian. The following lemma relates the Conley-Zehnder index of the pseudo Morse-Bott family and the Conley-Zehnder indices of the orbits of the perturbed Hamiltonian. It follows from extending the argument of [McL16, Lemma 4.10] from Reeb orbits to contractible Hamiltonian orbits.
Lemma 9.10
Let Γ be a pseudo Morse-Bott family of size k. There exists a constant δ>0 and a neighborhood U of Γ(0) such that if \(\widetilde{H}\) is a Hamiltonian that satisfies
-
(i)
\(\widetilde{H}|_{U}\) is non-degenerate, and
-
(ii)
\(|\widetilde{H} - H|_{C^{2}} < \delta \),
and \(\widetilde{\gamma }\) is a 1-periodic orbit of \(\widetilde{H}\) with \(\widetilde{\gamma }(0) \in U\), then
10 A rescaling isomorphism
We assume (M,Ω,λ) is a convex domain with stable Hamiltonian boundary given by the mapping torus of a symplectomorphism. We will be using some of the discussion on these spaces from Sect. 14.2.
Fix polar coordinates for the collar of the boundary, (0,1]×∂M, and write Ω=η+dr∧dθ, where η=Ω|∂M, as in Lemma 14.9. With this stable Hamiltonian structure, λ=rdθ. Let J be an admissible almost complex structure for (M,Ω,λ). As in Lemma 14.11, write
with respect to the splitting \(r \cdot \partial _{r} \oplus \widetilde{\partial _{\theta}} \oplus TF\). We assume that the family JF is independent of r. Define Mc for c>1 by
The data Ω, λ, and J on (0,1]×∂M extend to data on Mc in the obvious manner.
Suppose that K is a compact, codimension zero submanifold of Mc with connected boundary such that ∂K is properly contained in the collar neighborhood of the boundary of Mc. Let
with the convention that if r−δ<0, then (r−δ,x)∈K. See Figure 5 for a depiction of K versus Kδ in the case where \(M = \mathbb{C}\).
For example, (Mb)δ=Mb+δ. The goal is to establish sufficient conditions for an isomorphism
We study how the Floer theory of our spaces behaves with respect to rescaling of the collar coordinate.
Remark 10.1
This type of rescaling isomorphism for action completed symplectic cohomology groups is not new. Similar ideas appeared in [McL20], and were later systematically studied in [TV23]. The novelty in our approach lies in that we establish the rescaling isomorphism for boundaries given by mapping tori of symplectomorphisms as opposed to contact-type boundaries. In light of this, our analogue of an index-bounded type assumption that appears in the above papers is also different. See Lemma 10.8 for an explicit formulation of our index-bounded type assumption.
Given constants 0<a<b<c and δ>0, let ℓ:(0,+∞)→(0,+∞) be a smooth function that satisfies:
-
ℓ(r)=r for r≤a,
-
ℓ(r)=δ+r for r≥b, and
-
ℓ′(r)≥1 for all r.
We have a diffeomorphism (0,c]×∂M→(0,δ+c]×∂M given by
As φ is the identity for r≤a, it extends to a diffeomorphism Mc→Mc+δ. Notice that φ is not a symplectomorphism; nevertheless, the almost complex structure J transforms nicely with respect to φ.
Lemma 10.2
The almost complex structure \(\varphi _{*} J = \varphi _{*} \circ J \circ \varphi _{*}^{-1}\) is Ω-compatible.
Proof
We need to show that \(\Omega (\cdot , \varphi _{*} \circ J \circ \varphi _{*}^{-1} \cdot )\) is a metric. It suffices to show that pulling-back this 2-tensor along φ produces a metric. Computing
Ω(⋅,J⋅) is a metric since J is Ω-compatible. Also, since ℓ′≥1 and the local projection N(∂M)→(0,c]×S1 is holomorphic, (ℓ′−1)⋅dr∧dθ(⋅,J⋅) is symmetric and non-negative definite. So the pull-back is a metric, as desired. □
In the collar neighborhood, φ∗J is not an admissible almost complex structure in the sense of Definition 2.4. Indeed, for r≥c+δ−ε with ε>0 sufficiently small,
with respect to the basis obtained from r⋅∂r and \(\widetilde{\partial _{\theta}}\) and a basis for the vertical distribution. Define \(\kappa : [c+\delta -\varepsilon , c+\delta ] \to \mathbb{R}\) by
-
κ(r)=1 locally near r=c+δ−ε,
-
κ(r)=0 locally near r=c+δ, and
-
κ′≤0.
Define \(\widetilde{J}\) via
for r≥c+δ−ε and \(\widetilde{J} = \varphi _{*} J\) for r≤c+δ−ε. \(\widetilde{J}\) is admissible for (Mc+δ,Ω,λ) in the sense of Definition 2.4 with collar taken sufficiently close to ∂Mc+δ. Moreover, \(\widetilde{J}\) is weakly admissible for (Mc+δ,Ω,λ) in the sense of Definition 18.1 with the collar taken to be r≥c+δ−ε. Indeed, one sets f to be the anti-derivative of r/(r−δ⋅κ(r)).
We now discuss rescalings of Hamiltonians.
Definition 10.3
A (monotonically) admissible family of Hamiltonians Hσ is φ-scalable if
-
(i)
\(H^{\sigma}_{\underline{s}} = m_{\underline{s}}^{\sigma }\cdot r + k_{ \underline{s}}^{\sigma}\) for some family of constants \(m_{\underline{s}}^{\sigma}\) and \(k_{\underline{s}}^{\sigma}\) for a≤r≤b, and
-
(ii)
\(H^{\sigma}_{\underline{s}}\) is radial with constant slope (independent of \(\underline{s}\)) for r≥c−ε.
Remark 10.4
We could work with more general Hamiltonians, but it is hardly worth the effort.
Lemma 10.5
If Hσ is φ-scalable, then there exists a (monotonically) admissible family of Hamiltonians \(H^{\widetilde{\sigma}}\) on Mc+δ such that \(\varphi _{*} X_{H^{\sigma}} = X_{{H}^{\widetilde{\sigma}}}\).
Proof
Define
By Lemma 14.5, over [a,b]×∂M,
So \(\varphi _{*} X_{H^{\sigma}} = m^{\sigma }\cdot \widetilde{\partial _{\theta}} = X_{H^{\widetilde{\sigma}}}\) for a≤r≤b+δ. Also,
for r≤a and r≥b+δ since
Finally, the (monotonic) admissibility of \(H^{\widetilde{\sigma}}\) follows from its construction and the (monotonic) admissibility of Hσ. □
Suppose that Hσ is φ-scalable. Since \(\varphi _{*} X_{H^{\sigma}} = X_{H^{\widetilde{\sigma}}}\), we obtain a bijection between the 1-periodic orbits of \(H^{\sigma}_{\underline{e_{i}}}\) and the 1-periodic orbits of \(H^{\widetilde{\sigma}}_{\underline{e_{i}}}\) for all i. Denote this by \(x \leftrightarrow \widetilde{x}\).
If u is a Floer trajectory of type ((Hσ,J),x0,xℓ), then φ∘u is a Floer trajectory of type \(((H^{\widetilde{\sigma}}, \widetilde{J}),\widetilde{x}_{0}, \widetilde{x}_{\ell})\). Moreover, every Floer trajectory of type \(((H^{\widetilde{\sigma}}, \widetilde{J}),\widetilde{x}_{0}, \widetilde{x}_{\ell})\) arises in this manner. Indeed, since \(H^{\widetilde{\sigma}}\) is radial with constant slope for r≥c+δ−ε, all of its orbits lie in the region where r<c−ε. Since \(\widetilde{J}\) is admissible in the sense of Definition 18.1 for r≥c+δ−ε, Proposition 18.4 implies that any Floer trajectory of type \(((H^{\widetilde{\sigma}},\widetilde{J}), \widetilde{x}_{0}, \widetilde{x}_{\ell})\) lies completely in Mc+δ−ε. Consequently, if v is of type \(((H^{\widetilde{\sigma}}, \widetilde{J}),\widetilde{x}_{0}, \widetilde{x}_{\ell})\), then φ−1∘v is of type ((Hσ,J),x0,xℓ). We have used that φ−1 is \((\widetilde{J},J)\)-holomorphic over the image of v. This gives a canonical identification of \(\overline{\mathcal{M}}((H^{\sigma},J),x_{0},x_{\ell})\) and \(\overline{\mathcal{M}}(({H}^{\widetilde{\sigma}}, \widetilde{J}), \widetilde{x}_{0},\widetilde{x}_{\ell})\). We denote it by \(u \leftrightarrow \widetilde{u} = \varphi \circ u\).
Lemma 10.6
For every φ-scalable Hamiltonian H, there is an isomorphism over Λ,
where
Moreover, for each (monotonically) admissible family Hσ, there exists a strictly commutative diagram
Proof
Define
where C(x) is given in the statement of the lemma. Clearly, Φ is an isomorphism over Λ. It just remains to show that it is a chain map. It suffices to show that
where u is of type ((Hσ,J),x−,x+).
An analogous computation shows the diagram for continuation maps is also commutative. □
Now we can establish the rescaling isomorphism that we will need to prove Lemma 8.5. Suppose that K is a compact, codimension zero submanifold of Mc with connected boundary such that r(∂K)⊂(b,c). In particular, the boundary of K does not need to be contained in a single r-slice. We only require that the boundary of K be completely contained above the r-slice {r=b}.
Lemma 10.7
Let Hn be a cofinal sequence of Hamiltonians in \(\mathcal{H}^{+}(K \subset M_{c};f,\tau )\). Suppose that each Hn is φ-scalable. Then \(\widetilde{H}_{n}\) is a cofinal sequence of Hamiltonians in \(\mathcal{H}^{+}(K_{\delta} \subset M_{c+\delta}; \widetilde{f},\tau )\), where \(\widetilde{f}\) is some function on Mc+δ.
Proof
Since the Hn are φ-scalable, this sequence must converge to a linear function when a≤r≤b. Write f=m⋅r+k for a≤r≤b. Define
By definition of \(\widetilde{H}_{n}\), it is a cofinal sequence of Hamiltonians in \(\mathcal{H}^{+}(K_{\delta} \subset M_{c+\delta}; \widetilde{f},\tau )\). □
Lemma 10.8
Suppose that c1(M)=0. If there exists a cofinal sequence of φ-scalable Hamiltonians Hn in \(\mathcal{H}^{+}(K \subset M_{c}; f,\tau )\) and constants Wℓ>0 for each \(\ell \in \mathbb{N}\) such that all 1-periodic orbits x of the Hamiltonians Hn satisfy
then \(\widehat{SH}(K \subset M_{c}; f,\tau ) \otimes \Lambda \cong \widehat{SH}(K_{\delta }\subset M_{c+\delta}; \widetilde{f},\tau ) \otimes \Lambda \).
Proof
By Construction 4.9, we can construct monotonically admissible families \(H^{\sigma _{n}}\) such that \(H^{\sigma _{n}}_{\underline{e_{0}}} = H_{n+1}\) and \(H^{\sigma _{n}}_{\underline{e_{1}}} = H_{n}\). We may assume that \(H^{\sigma _{n}}\) is φ-scalable. So by Lemma 10.6, we have a strictly commutative diagram
This induces an isomorphism of mapping telescopes
Since c1(M)=0, we obtain a genuine \(\mathbb{Z}\)-grading on our Floer chain complexes by the Conley-Zehnder index (not the 2-periodic grading mentioned in Sect. 5.2). Since Definition 17.10 is a degree-wise completion, if the above isomorphism is degree-wise bounded, then it will give the desired isomorphism of action completed symplectic cohomology groups.
So we need to show that for each \(\ell \in \mathbb{N}\) there exists Cℓ such that if x is a 1-periodic orbit of Hn with |CZ(x)|=ℓ, then |C(x)|≤Cℓ. Consider such an x. By construction r(x)≤a or r(x)≥b. If r(x)≤a, then \(\widetilde{H}_{n}(\widetilde{x}) - H_{n}(x) = 0\). If r(x)≥b, then \(\widetilde{H}_{n}(\widetilde{x}) - H_{n}(x) = \delta \cdot m_{n} \leq \delta \cdot m\), where m is as in the construction of \(\widetilde{f}\). Setting Cℓ=δ⋅Wℓ+δ⋅m, we have that
□
11 Hamiltonians adapted to normal crossings divisors
We wish to use Lemma 10.8 to establish Lemma 8.5. So we need to construct an appropriate sequence of cofinal Hamiltonians that satisfy the index-bounded assumptions of Lemma 10.8. We consider the set up in Sect. 8 and note that [Hir64] gives a birational map \(\widetilde{M} \to M\) that is an isomorphism away from π−1(0) such that its composition with π, \(\widetilde{\pi }: \widetilde{M} \to \mathbb{C}\), is smooth away from \(\widetilde{\pi }^{-1}(0)\), and \(\widetilde{\pi }^{-1}(0) \subset \widetilde{M}\) is a normal crossings divisor. We will associate to a neighborhood of this normal crossings divisor a cofinal sequence of Hamiltonians whose Conley-Zehnder indices are controlled by the algebraic topology of the divisor. These Hamiltonians will give rise to our desired sequence of index-bounded Hamiltonians. To construct these Hamiltonians, we need to deform a neighborhood of the normal crossings divisor in such a manner that the neighborhoods of the open strata of the normal crossings divisor admit a system of compatible, symplectic tubular neighborhoods. So the remainder of this subsection is divided up as follows. First, we discuss a purely symplectic notion of normal crossings divisors, and the existence of a standard symplectic neighborhood of these divisors. Our discussion closely follows that of [McL20, Sect. 6.2], and we claim no originality for this material. Second, we construct the above mentioned Hamiltonians.
For now, we consider an arbitrary symplectic manifold (M,Ω).
Definition 11.1
[McL20, Definition 6.10]
A tubular neighborhood of a smooth submanifold Q⊂M is an open neighborhood U of Q in M and a smooth fibration π:U→Q such that
-
(i)
for a Riemannian metric g on M, U=exp−1(DQ), where
$$ DQ :=\{ (x,v) \in TM \mid x \in Q, g(v,v) < 1, g(v,w) = 0 \text{ for all }w \in T_{x} Q\}, $$and
-
(ii)
π=πDQ∘exp−1, where πDQ:DQ→Q is the natural projection.
Notation 11.2
Let \(\mathcal{I}\) be a finite indexing set. Given \(I \subset \mathcal{I}\), set U(1)I:=∏i∈IU(1){i} and \(\mathbb{D}^{I} :=\prod _{i \in I} \mathbb{D}^{\{i\}}\), where U(1) is the 1-dimensional unitary group and \(\mathbb{D}\) is the unit disk.
Definition 11.3
[McL20, Sect. 6.2]
For \(I \subset \mathcal{I}\), a symplectic U(1)I neighborhood of a symplectic submanifold Q⊂(M,Ω) is a tubular neighborhood π:U→Q of Q such that
-
(i)
π−1(x) is a symplectic submanifold, symplectomorphic to \(\mathbb{D}^{I}\),
-
(ii)
π has structure group U(1)I:=∏i∈IU(1){i} given by acting on the \(\mathbb{D}^{I}\) diagonally, and
-
(iii)
the symplectic parallel transport map of (U,π,Ω|U) is well-definedFootnote 18 and has holonomy lying in U(1)I.Footnote 19
Let π:U→Q be a symplectic U(1)I neighborhood. Given J⊂I, the action of U(1)J⊂U(1)I on U gives rise to a U(1)J-bundle πJ:U→UJ, where UJ is the fixed locus of the U(1)J⊂U(1)I action. The restriction of πJ to a fibre of π is the projection \(\mathbb{D}^{I} \to \mathbb{D}^{J}\). This gives rise to a symplectic U(1)J neighborhood of UJ inside of U.
Definition 11.4
[McL20, Sect. 6.2]
A symplectic crossings divisor in (M,Ω) is a finite collection \((D_{i})_{i \in \mathcal{I}}\) of transversally intersecting real codimension 2 submanifolds of (M,Ω) such that
-
(i)
DI=∩i∈IDi is symplectic in (M,Ω),
-
(ii)
the orientation of DI from \(\Omega |_{D_{I}}\) agrees with the orientation of DI from the orientation of M from Ω and the orientation of the normal bundle of DI, denoted NDI, induced from the splitting \(ND_{I} = \oplus _{i \in I} N D_{i}|_{D_{I}}\).
Definition 11.5
[McL20, Sect. 6.2]
A standard tubular neighborhood of a symplectic crossing divisor \((D_{i})_{i \in \mathcal{I}}\) is a collection of symplectic U(1)I neighborhoods πI:UI→DI for each \(I \subset \mathcal{I}\) such that
-
(i)
UI∩UJ=UI∪J, and
-
(ii)
πJ(UI)=UI∩DJ for \(J \subset I \subset \mathcal{I}\), and
-
(iii)
\(\pi _{I}^{J}: U_{I} \to U_{I}^{J}\) is equal to πJ|UI:UI→UI∩DJ as U(1)J bundles for \(J \subset I \subset \mathcal{I}\).
Notation 11.6
-
Given a U(1){i} trivialization of πi, let (ri,θi) denote the polar coordinates on the fibre \(\mathbb{D}^{\{i\}}\).
-
Let \(\rho _{i}: U_{i} \to \mathbb{R}\) denote the map whose restriction to a U(1){i} trivialization of πi is \(\rho _{i} = r_{i}^{2}/2\).
-
Let αi denote the 1-form on Ui whose restriction to a U(1){i} trivialization of πi is αi=dθi.
-
Define \(N^{\delta }= \cup _{i} \rho _{i}^{-1}((-\infty ,\delta ])\), and \(V_{I} = U_{I} \smallsetminus \cup _{j \in \mathcal{I}\smallsetminus I} U_{j}\).
By [McL12, Lemma 5.3 and Lemma 5.14] or by [TMZ18, Theorem 2.12]), for δ>0 sufficiently small, there exists an open neighborhood N(∪iDi) of ∪iDi in M and a symplectomorphism
such that (Nϵ,Ω0) admits a standard tubular neighborhood as in Definition 11.5. In particular,
-
(i)
\(\Omega _{0}|_{V_{I}} = \Omega |_{D_{I}} + \sum _{i} d(\rho _{i} \cdot \alpha _{i})\), and
-
(ii)
for all x∈∪iDi, ψ(x)=x.
After rescaling, we can (and do) assume that ε=1.
Now our discussion diverges from the discussion in [McL20, Sect. 6.2]. We now move on to construct a cofinal sequence of Hamiltonians that are adapted to our standard tubular neighborhood. To be precise, we fix the following.
Notation 11.7
Let \(f: [0,+\infty ) \to \mathbb{R}\) be the C1-function given by
See Figure 6 for a depiction of the function f.
Let \(H: N^{1} \to \mathbb{R}\) be given by \(H|_{V_{I}} = \sum _{i} f(\rho _{i})\). Note, \(dH|_{V_{I}} = \sum _{i \in I} f'(\rho _{i}) d \rho _{i}\). So H−1(δ) is a regular submanifold of codimension 1 in N1 for each δ<0. For each δ>−1/2, Nε⊂H−1((−∞,δ]) for some ε>0 sufficiently small. Indeed, in VI∩Nε, H is bounded by ∑i∈If(ε). As ε→0, ∑i∈If(ε) convergences to −|I|/2≤−1/2<δ. So for εI sufficiently small, \(H|_{V_{I} \cap N^{\varepsilon _{I}}}< \delta \). Take \(\varepsilon :=\min _{I \subset \mathcal{I}} \{\varepsilon _{I} \}\) to obtain the result. See Figure 7 for a toric representation.
Lemma 11.8
There exists a sequence of Hamiltonians \(H_{n}: N^{1} \to \mathbb{R}\) that satisfy:
-
(i)
If y∈H−1((δ,0]), then limn→∞Hn(y)=+∞.
-
(ii)
If x∈H−1((−∞,δ]), then limn→∞Hn(x)=0.
-
(iii)
Hn(x)>Hm(x) for all x and n>m.
Construction 11.9
Let \(\widetilde{\ell }_{n}: \mathbb{R}\to \mathbb{R}\) be the C2-function given by
Consider the C1-function \(\widetilde{H}_{n} :=\widetilde{\ell }_{n} \circ H\). The Ω0-dual of \(-d\widetilde{H}_{n}\) is
Since f′(ρi) goes to zero as ρi goes to 1 and since \(\widetilde{\ell }_{n}'(H)\) goes to zero as H goes to either δ+1/n or δ+2/n, the 1-periodic orbits of \(\widetilde{H}_{n}\) occur in the regions where f and \(\widetilde{\ell }_{n}(H)\) are smooth. So we may perturb f and \(\widetilde{\ell }_{n}\) to smooth functions fn, and ℓn such that they and the composition Hn:=ℓn∘(∑ifn(ρi))−1/n satisfy the following. First, fn satisfies:
-
(i)
\(|f-f_{n}|_{C^{1}} < \varepsilon _{n}\), and
-
(ii)
fn(r)≡1 for r≥1,
where εn>0 is some small constant that depends on n. In our estimates below, it suffices to take εn=1/n5. Second, ℓn satisfies:
-
(i)
\(|\widetilde{\ell }_{n} - \ell _{n}|_{C^{2}} < \varepsilon _{n}\),
-
(ii)
ℓn(r)≡0 for r≤δ+1/n, and
-
(iii)
ℓn(r)≡n for r≥δ+2/n.
Third Hn satisfies:
-
(i)
the collections of orbits and fixed points agree: \(\Gamma _{H_{n}} = \Gamma _{\widetilde{H}_{n}}\) with \(\Gamma _{H_{n}}(0) = \Gamma _{\widetilde{H}_{n}}(0)\), and
-
(ii)
in an open neighborhood of \(\Gamma _{H_{n}}(0) = \Gamma _{\widetilde{H}_{n}}(0)\), the flows agree \(\varphi _{t}^{\widetilde{H}_{n}} = \varphi _{t}^{{H_{n}}}\).
We prove Lemma 11.8.
Proof
We handle each of the three statements individually.
-
(i)
Suppose that H(y)=δ+ε for ε>0. Then for n≫0,
$$ \sum _{i} f_{n}(\rho _{i}(y)) > H(y) - \varepsilon _{n} \cdot | \mathcal{I}| = \delta +\varepsilon - \varepsilon _{n} \cdot | \mathcal{I}| > \delta + \frac{2}{n}. $$So
$$ H_{n}(y) = \ell _{n}\left (\sum _{i} f_{n}(\rho _{i}(y))\right ) - 1/n = n - 1/n. $$ -
(ii)
Suppose that H(x)≤δ. Then
$$ \sum _{i} f_{n}(\rho _{i}(x)) \leq \delta + \varepsilon _{n} \cdot | \mathcal{I}| \leq \delta + 1/n. $$So
$$ H_{n}(x) = \ell _{n}\left (\sum _{i} f_{n}(\rho _{i}(x))\right ) - 1/n = -1/n. $$ -
(iii)
Suppose that n>m. Set Fn(x)=∑ifn(ρi(x)), and F(x)=∑if(ρi(x)). So \(\left |F_{n}(x) - F(x)\right | \leq |\mathcal{I}| \cdot \varepsilon _{n}\). Via the triangle inequality,
$$\begin{aligned} \left |\ell _{n}(F_{n}(x)) - \widetilde{\ell }_{n}(F(x)) \right | & \leq \left | \ell _{n}(F_{n}(x)) - \widetilde{\ell }_{n}(F_{n}(x)) \right | + \left | \widetilde{\ell }_{n}(F_{n}(x)) - \widetilde{\ell }_{n}(F(x)) \right | \\ & \leq \varepsilon _{n} + | \widetilde{\ell }_{n}'|_{\sup} \cdot |F_{n}(x) - F(x)| \\ & = \varepsilon _{n} + \frac{3n^{2}}{2} \cdot |F_{n}(x) - F(x)| \\ & \leq \varepsilon _{n} + \frac{3n^{2}}{2} \cdot |\mathcal{I}| \cdot \varepsilon _{n} \\ & \leq \varepsilon _{n} \cdot (1+2n^{2} \cdot |\mathcal{I}|). \end{aligned}$$Continuing to estimate coarsely,
$$\begin{aligned} &\ell _{n}(F_{n}(x)) - \ell _{m}(F_{m}(x)) \\ & \quad= \ell _{n}(F_{n}(x)) - \widetilde{\ell }_{n}(F(x))+ \widetilde{\ell }_{n}(F(x)) - \widetilde{\ell }_{m}(F(x)) + \widetilde{\ell }_{m}(F_{m}(x)) - \ell _{m}(F_{m}(x)) \\ & \quad\geq - \varepsilon _{n}(1+2n^{2} \cdot |\mathcal{I}|) + \widetilde{\ell }_{n}(F(x)) - \widetilde{\ell }_{m}(F(x)) - \varepsilon _{m}(1+2m^{2} \cdot |\mathcal{I}|) \\ & \quad\geq - \varepsilon _{n} \cdot (1+2n^{2} \cdot |\mathcal{I}|)- \varepsilon _{m} \cdot (1 + 2m^{2} \cdot |\mathcal{I}|) \\ & \quad\geq - \varepsilon _{n} \cdot (4n^{2} \cdot |\mathcal{I}|) - \varepsilon _{m} \cdot (4m^{2} \cdot |\mathcal{I}|) \\ & \quad\geq -8 |\mathcal{I}| \cdot (1/m^{3}). \end{aligned}$$So
$$\begin{aligned} H_{n} - H_{m} & = \ell _{n}(F_{n}(x)) - 1/n - \ell _{m}(F_{m}) + 1/m \\ & \geq -8 |\mathcal{I}| \cdot (1/m^{3}) + 1/m - 1/n \\ & \geq -8 |\mathcal{I}| \cdot (1/m^{3}) + 1/m^{2} \\ & > 0 \end{aligned}$$with the last line holding when m and n are greater than \(8 \cdot | \mathcal{I}|\).
This completes the proofs of all the items. □
We now study the orbits of the Hamiltonians Hn. The associated Hamiltonian vector field of Hn is
Notation 11.10
-
(i)
Let \(\underline{d} = (d_{1},\dots ,d_{|\mathcal{I}|}) \in \mathbb{Z}^{| \mathcal{I}|}_{\geq 0}\).
-
(ii)
Let \(I(\underline{d}) = \{ i \in \mathcal{I}\mid d_{i} \neq 0\}\).
-
(iii)
Let
$$\begin{aligned} \Gamma ^{n}_{\underline{d}}(0) & = \left \{ x \in N^{1} \mid \ell _{n}' \left (\sum _{i} f_{n}(\rho _{i})\right ) \cdot f_{n}'(\rho _{i}) = 2 \pi \cdot d_{i}\right \} \\ & = \left \{ x \in N^{1} \mid \widetilde{\ell }_{n}'\left (\sum _{i} f( \rho _{i})\right ) \cdot f'(\rho _{i}) = 2\pi \cdot d_{i}\right \}. \end{aligned}$$This is the fixed points of a collection of 1-periodic orbits of Hn, which we denote by \(\Gamma _{\underline{d}}^{n}\). \(\Gamma _{\underline{d}}^{n}\) lies completely in \(V_{I(\underline{d})}\). Geometrically, \(\Gamma _{\underline{d}}^{n}\) is a \(T^{|I(\underline{d})|}\) torus bundle over the \(D_{I(\underline{d})} \smallsetminus \cup _{j \notin I( \underline{d})} V_{i}\), which is a manifold with corners. The flow \(\varphi _{t}^{H_{n}}\) is given by rotation in the fibres. As n increases, the flow rotates the fibres by a greater and greater amount.
Lemma 11.11
The (path components of) \(\Gamma _{\underline{d}}^{n}(0)\) are pseudo Morse-Bott families of size
Also, for each \(\gamma \in \Gamma _{\underline{d}}^{n}\), there exists a capping v in N1 such that
Remark 11.12
At this point in our construction, c1(N1) does not necessarily vanish. So \(CZ(\Gamma _{\underline{d}}^{n})\) is not well-defined, which is why Lemma 11.11 is stated in terms of cappings.
Proof
Since the fixed points \(\Gamma _{\underline{d}}^{n}(0)\) lie completely in \(V_{I(\underline{d})}\), we work in \(V_{I(\underline{d})}\). Suppose that \(I(\underline{d}) = \{1,\dots ,m\}\). In this region, \(\varphi _{t}^{H_{n}}\) is given fibrewise over \(\pi _{I(\underline{d})}\) by
where \((z_{1},\dots ,z_{|I(\underline{d})|})\) are the complex coordinates for the fibre. The return map \(d \varphi _{t}^{H_{n}}\) with respect to the basis \(\partial _{\rho _{i}}\), \(\partial _{\theta _{i}}\), and the horizontal distribution determined by \(\pi _{I(\underline{d})}\) is
where
To prove the first claim, we just need to show that the matrix Fij(1) is non-singular. Notice that \({\ell}_{n}' \cdot f'(\rho _{i}) = 2\pi \cdot d_{i}\). So f′(ρi)/di=f′(ρj)/dj for all i and j. Since f′ is linear near our orbits, ρi=aij⋅ρj for some \(a_{ij} \in \mathbb{Q}\). If det(Fij(1))=0, then the values of the ρi are algebraic for all i, which implies that π is algebraic, a contradiction.
To estimate the Conley-Zehnder index, notice that if γ is a 1-periodic orbit in \(\Gamma _{\underline{d}}^{n}\), then γ is completely contained in a fibre \(\pi _{I(\underline{d})}^{-1}(p)\) for some \(p \in D_{I(\underline{d})}\). So there exists a map \(v: \mathbb{D}\to \pi _{I(\underline{d})}^{-1}(p)\) such that v(exp(2πit))=γ(t). To show that CZ(γ,v) satisfies the statement of the lemma, one argues as in [McL20, Proof of Proposition 6.17 following equation (15)]. □
Now we consider \(\widetilde{\pi }: \widetilde{M} \to \mathbb{C}\) from the beginning of this section. Let \(\beta : \widetilde{M} \to M\) denote the resolution map. For convenience, set U=M∖π−1(0), and \(\widetilde{U} = \widetilde{M} \smallsetminus \widetilde{\pi }^{-1}(0)\). So β is an isomorphism from \(\widetilde{U}\) to U and \(\widetilde{M} \smallsetminus \widetilde{U}\) is a collection of transversally intersecting complex hypersurfaces D1,…,Dn that comprise our normal crossings divisor.
We will consider the Hamiltonians as above that are adapted to a neighborhood of \(\widetilde{\pi }^{-1}(0) \subset \widetilde{M}\). We will need a procedure for descending these Hamiltonians and their Hamiltonian vector fields to M. To this end, we prove the following lemma:
Lemma 11.13
Given a Kähler form on M, there exists a symplectic form \(\widetilde{\Omega }\) on \(\widetilde{M}\) and a symplectic embedding that is isotopic to the identity
that can be made to agree with β on the complement of any open neighborhood of \(\widetilde{\pi }^{-1}(0)\).
Proof
The proof follows from Proposition 13.1 and the construction of a symplectic form on a blow up of a Kähler manifold. Let us recall the latter. If Y is a Kähler manifold and Z⊂Y is a smooth complex submanifold, then the blow up of Y along Z, denoted b:BlZY→Y, has a symplectic form that is compatible with the integrable almost complex structure. Indeed, let E denote the exceptional locus of the blow up. By [Voi07, Sect. 3], a symplectic form on BlZY is obtained by adding a sufficiently small multiple of the curvature (1,1)-form associated to a Hermitian metric on \(\mathcal{O}(-E)\) to the pull-back b∗ωY, where ωY is the Kähler form on Y. The curvature form of a Hermitian line bundle is the negative of the curvature form of the dual Hermitian line bundle, and \(\mathcal{O}(E)\) is the dual of \(\mathcal{O}(-E)\). So equivalently, a symplectic form on BlZY is obtained by subtracting a sufficiently small multiple of the curvature (1,1)-form associated to a Hermitian metric on \(\mathcal{O}(E)\). Let us be more explicit. Let s be a holomorphic section of \(\mathcal{O}(E)\) with s−1(0)=E. Let |⋅| denote the norm of a Hermitian metric on \(\mathcal{O}(E)\). Fix a smooth function \(\ell : \mathbb{R}_{\geq 0} \to \mathbb{R}_{\geq 0}\) that satisfies:
-
(i)
ℓ(r)=r for 0≤r≤δ/2,
-
(ii)
ℓ(r) is constant for δ≤r, and
-
(iii)
ℓ′(r)≥0
for some small δ>0. For \(k \in \mathbb{Z}_{>0}\) sufficiently large,
is symplectic, where ωY denotes the symplectic form on Y. Note that the expression log(ℓ(|s|)) is only well-defined outside of E. However, the expression ddc(log(ℓ(|s|))) extends over E. This extension yields the global symplectic form.
We now apply this construction to the resolution \(\beta : \widetilde{M} \to M\). By Hironaka’s resolution of singularity [Hir64], the resolution \(\beta : \widetilde{M} \to M\) is obtained from a sequence of blow ups in smooth complex submanifolds:
Let Ei⊂Mi denote the exceptional locus of βi. Fix holomorphic sections σi and Hermitian metrics with associated norms |⋅|i for the \(\mathcal{O}(E_{i})\) with \(\sigma _{i}^{-1}(0) = E_{i}\). Let \(\widetilde{\sigma _{i}}\) and ∥⋅∥i denote the pull-back of σi and |⋅|i respectively to \((\beta _{m} \cdots \beta _{i+1})^{*} \mathcal{O}(E_{i}) = \mathcal{O}((\beta _{m} \cdots \beta _{i+1})^{-1}(E_{i}))\). We remark that (βm⋯βi+1)−1(Ei) is an effective sum of the divisors Di in \(D :=\widetilde{\pi }^{-1}(0) = \cup _{i} D_{i}\). Fix a holomorphic section σ and a Hermitian metric with associated norm ∥⋅∥ for \(\mathcal{O}(D)\). Finally, let ℓ:[0,1]→[0,1] be as above.
By our discussion above on symplectic forms of blow ups, for \(k_{i} \in \mathbb{Z}_{>0}\) sufficiently large and for ki⋅ai=k with \(a_{i} \in \mathbb{Z}_{>0}\),
is symplectic (this follows by taking k sufficiently large as adding a sufficiently small closed 2-form to any symplectic form is symplectic). Computing near \(\widetilde{\pi }^{-1}(0)\), we have that
Note that
is effective and its support is all of \(\widetilde{\pi }^{-1}(0)\). Also
So if s is the holomorphic section of \(\mathcal{O}(E)\) given by \(\sigma \otimes (\otimes _{i=1}^{m} \otimes _{j=1}^{a_{i}} \widetilde{\sigma _{i}})\) and |⋅|E denotes the corresponding tensor product Hermitian metric, then
So
is a Kähler form on \(\widetilde{M}\). Vacuously,
is symplectic on \(\widetilde{M}\smallsetminus \widetilde{\pi }^{-1}(0)\). Observing the proof of Proposition 13.1, over \(\widetilde{M} \smallsetminus \widetilde{\pi }^{-1}(0)\), we get a symplectic embedding
The map \(\widetilde{\psi }\) is produced via Moser’s argument and, thus, is isotopic to the identity map. Now \(\psi :=\beta \circ \widetilde{\psi }\) gives the desired embedding. □
Suppose c1(M)=0. Let \(\tau : \mathcal{K}^{*}_{M} \to M \times \mathbb{C}\) be a trivialization of the anti-canonical bundle of M, and let \(\widetilde{\tau } = \tau \circ \beta \) be the induced trivialization of the anti-canonical bundle of \(\widetilde{U}\). Fix a generic section s of \(\mathcal{K}^{*}_{\widetilde{M}}\) that satisfies \(s(x) :=\widetilde{\tau }^{-1}(x,1)\) for all x outside of a compact subset that contains an open neighborhood of ∪iDi.
\(\widetilde{M}\) smoothly deformation retracts onto ∪iDi. So \(H_{2n-2}(\widetilde{M};\mathbb{Z}) \cong \oplus _{i} [D_{i}]\). Write [s−1(0)]=−∑iai⋅[Di]. These terms are the discrepancy of the resolution β. By [McL20, Lemma 6.15], each ai is non-negative. ([McL20] works in the setting where U and \(\widetilde{U}\) are affine; however, this assumption is not used in the presented argument.) Similarly, consider the 1-form dθ that is defined on \(\mathbb{C}^{\times}\). Consider a smooth bump function φ that is one near the divisors and zero outside of a compact subset that contains an open neighborhood of the divisor. Then \(d(\varphi \cdot d \theta ) \in H^{2}_{c}(\widetilde{M};\mathbb{Z})\). So by Poincaré duality, it may be written as ∑iwi⋅[Di].
Notation 11.14
Consider Hamiltonians \(\widetilde{H}_{n}: N(\cup _{i} D_{i}) \to \mathbb{R}\) from Construction 11.9 (there they are denoted by Hn). Since these Hamiltonians are constant near the boundary of \(N(\cup _{i} D_{i}) \subset \widetilde{M}\), they extend to Hamiltonians on \(\widetilde{M}\), abusively denoted by \(\widetilde{H}_{n}: \widetilde{M} \to \mathbb{R}\).
The \(\widetilde{H}_{n}: \widetilde{M} \to \mathbb{R}\) in Construction 11.9 descend to Hamiltonians on M as follows: Consider the symplectic embedding ψ from Lemma 11.13. \(\psi _{*} \widetilde{H}_{n}\) defines a Hamiltonian on the image of ψ. Since the \(\widetilde{H}_{n}\) are constant near \(\widetilde{\pi }^{-1}(0)\), \(\psi _{*}\widetilde{H}_{n}\) extends to a Hamiltonian on M, denoted \(H_{n} : M \to \mathbb{R}\).
Using that ψ is a symplectic embedding, every non-constant orbit of the Hamiltonian vector field of Hn with respect to Ω is given by ψ∘γ for the corresponding non-constant orbit γ of the Hamiltonian vector field of \(\widetilde{H}_{n}\) with respect to \(\widetilde{\Omega }\). We identify these orbits and consequently identify the families of orbits corresponding to \(\Gamma _{\underline{d}}^{n}\). Similarly, given \(\gamma \in \Gamma _{\underline{d}}^{n} \subset \widetilde{M}\) with capping v as in Lemma 11.11, the capping v extends via the isotopy of ψ to a capping of \(\gamma \in \Gamma _{\underline{d}}^{n} \subset M\).
Using the discrepancy and items (CZ2), (CZ3) and (CZ5), we obtain the following.
Lemma 11.15
For each \(\gamma \in \Gamma _{\underline{d}}^{n}\) with capping v as in Lemma 11.11, we have
where the left most Conley-Zehnder index is computed in M. Consequently,
As a corollary of Lemma 11.15 and our construction, we have the following.
Lemma 11.16
There exists perturbations \(H'_{n}\) as in Lemma 9.10 of our Hamiltonians Hn on M with the following property: for each \(n \in \mathbb{Z}\), there exists a constant Cn such that if γ is a 1-periodic orbit of any \(H_{n}'\) and CZ(γ)≤n, then
Proof
We begin with a warm-up. Suppose that we do not perturb Hn. In this case, an orbit in \(\Gamma ^{n}_{\underline{d}}\) wraps ∑idiwi around the origin when projected to \(\mathbb{C}\), that is,
By Lemma 11.16, since the ai are all non-negative, any bound on CZ(γ) implies a bound on the possible values of each di, and, thus, a bound on ∫γ∗dθ. This proves the result when we do not perturb our Hamiltonians.
To prove the result for the perturbed Hamiltonians, it is easiest to fix a very explicit perturbation. In particular, we perturb each Hn about the collections of orbits \(\Gamma ^{n}_{\underline{d}}\), which are torus bundles over manifolds with corners. First, one perturbs the Hamiltonian by adding a C2-small Morse function near the manifold with corners along \(D_{I(\underline{d})}\), in such a manner that the Hamiltonian vector field has no orbits point near the corners. After this perturbation, the orbits of \(\Gamma ^{n}_{\underline{d}}\) break up as torus families worth of orbits, with a torus family over each critical point of the added Morse function. Finally, one further perturbs these torus families to break them up into \(2|I(\underline{d})|\) individual orbits. This is analogous to the types of perturbations we discussed in Remark 5.7. Each resulting orbit of these perturbed Hamiltonians is C0 close to an orbit from the associated unperturbed Hamiltonian. This perturbation scheme is carried out in [McL12, Proof of Lemma 6.8.]. In particular, the proof there works equally as well for our setting. From this, Lemma 9.10, and the warm-up above, we conclude the lemma. □
12 Proof of Lemma 8.5
We prove Lemma 8.5. We assume the notation from the setup of Sect. 8.
Proof
Let ΩP be any integral Kähler form on P. Let \(\Omega _{z} :=\Omega _{P}|_{P_{z}}\). For each \(z \in \mathbb{C}^{\times}\), we have a symplectic parallel transport map from (Pz,Ωz) to (P1,Ω1). By [McL12, Lemma 5.16], we may pre-compose this parallel transport map with a symplectomorphism such that the composition φz:(Pz,Ωz)→(P1,Ω1) maps \(h_{z}^{-1}(\infty )\) to \(h_{1}^{-1}(\infty )\) and \(h_{z}^{-1}(0)\) to \(h_{1}^{-1}(0)\). We may identify (P1,Ω1) and h1 with \((\overline{M},\Omega _{1})\) and π respectively. Applying Proposition 13.1 to π−1(∞) in \(\overline{M}\), there exists a Kähler form Ω′ on M and a symplectic embedding
that is the identity near π−1(0) and maps M into a compact subset of M, which we can choose to be \(M_{r_{1}}\).
Let \(\beta : \widetilde{M} \to M\) and \(\widetilde{\pi }: \widetilde{M} \to \mathbb{C}\) denote the resolution data of π as in the beginning of Sect. 11. We fix a Kähler form on \(\widetilde{M}\) as in Lemma 11.13 and let ψ denote the corresponding symplectic embedding. As in Sect. 11, after deforming a small open neighborhood of the divisor \(\widetilde{\pi }^{-1}(0)\) in \(\widetilde{M}\), we obtain a compact, codimension zero submanifold of \(\widetilde{M}\), say \(\widetilde{K}\), such that \(\widetilde{\pi }^{-1}(0) \subset \widetilde{K}\), and \(\widetilde{K} \subset (\widetilde{M})_{r_{1}}\). Here \(\widetilde{K}\) is the space H−1((−∞,δ]) given in Notation 11.7. So \(K :={\psi}(\widetilde{K})\) is a compact, codimension zero submanifold of M with π−1(0)⊂K, and \({K} \subset {M}_{r_{1}}\). By Lemma 19.5, there exists r0>0 such that r(∂K)⊂(r0,r1). By Corollary 19.3 and Lemma 11.13, after shrinking K and possibly modifying \(\widetilde{\Omega }\) and ψ, we can arrange for K to be stably displaceable inside of \((M_{r_{1}},\Omega ')\).
Using Notation 11.14, we obtain Hamiltonians \(H_{n}: \widetilde{M} \to \mathbb{R}\). In this manner, we obtain a sequence of Hamiltonians \(H_{n}': M \to \mathbb{R}\) from Lemma 11.16 that satisfy \(H_{n}' < H_{n+1}'\) and \(H_{n}' \to (0)_{K}\). Without loss of generality, assume that \(H_{n}' \equiv -1/n\) for r≤r0.
Since Ω′ is Kähler, it is compatible with the almost complex structure that makes the projection \(\pi : M \to \mathbb{C}\) holomorphic. So the fibres of π are symplectic submanifolds with respect to Ω′, and (M,π,Ω′) defines a Hamiltonian fibration over \(\mathbb{C}^{\times}\). By Proposition 14.13 with the constants a, b, c in the statement being chosen such that 0<a<b<c≪r0, we obtain a symplectic form Ω″ on M, and a symplectic embedding μ:(M,Ω′)↪(M,Ω″). We may push-forward (and extend by constancy) the \(H_{n}'\) to (M,Ω″) via \(H_{n}'' :=(\mu ^{-1})^{*}H_{n}'\). The conclusions of Lemma 11.16 still hold for these \(H_{n}''\) since μ is a smooth isotopy that is the identity near π−1(0).
After relabeling, by our application of Proposition 14.13 above, we can fix 0<r0<r1<r2<r3 such that
-
μ∘ψ(M) and μ(K) are both properly contained in the interior of \(M_{r_{3}}\),
-
\(M \smallsetminus M_{r_{0}}\) is symplectomorphic to a symplectic mapping cylinder, whose associated Reeb vector field is non-degenerate,
-
r2<r(∂μ(K))<r3, and
-
\(H_{n}'' \equiv -1/n\) for r≤r2.
The \(H_{n}''\) are degenerate Hamiltonians with families of constant orbits \(\{ H_{n}'' \equiv -1/n\}\) and \(\{H_{n}'' \equiv n\}\). Both of these are pseudo Morse-Bott families as in Definition 9.8. Moreover, by item (CZ1), the Conley-Zehnder indices of these constant orbits are zero. So by Lemma 9.10 and Lemma 11.16, we may pick C2-small perturbation of the \(H_{n}''\), say to obtain \(H_{n}'''\), such that
-
for r1≤r≤r2, \(H_{n}'''\) is a linear function in r (and thus φ-scalable as in Definition 10.3),
-
near r=r3, \(H_{n}'''\) is a linear function in r with fixed slope τ that is independent of n,
-
the \(H_{n}'''\) satisfy the hypotheses of Lemma 10.8 (with a=r1, b=r2, and c=r3),
-
\(H_{n}''' < H_{n+1}'''\), and
-
the sequence \(H_{n}'''\) is cofinal in \(\mathcal{H}^{+}(\mu (K) \subset M_{r_{3}}, \Omega ''; 0,\tau )\).
Since K was stably displaceable, μ(K) is stably displaceable inside of \(M_{r_{3}}\). So by Lemma 10.8 and Proposition 6.1 item (ii),
for all δ>0. For δ≫0 sufficiently large, μ∘ψ(M) is contained in \(M_{r_{3}} \subset M_{r_{3}+1} \subset (\mu (K))_{\delta +1} \subset M_{r_{3}+1+ \delta}\). Now by [TV23, Proposition 2.5] (see Remark 6.2) and Proposition 6.1 item (iv),
Setting ψz=μ∘ψ∘φz, a=r3, b=r3+1, and c=r3+1+δ, we almost have completed the proof of the lemma. It just remains to explain why Ω is integral. To see this, one can either notice that Ω is cohomologous to the original Kähler form, which is integral (as all of the above embeddings are produced via Moser’s argument), or that ψz preserves the Kähler form near π−1(0) and so any sphere in M is homotopy equivalent to a sphere in π−1(0), and thus, its integral of Ω will be an integer. □
Remark 12.1
Notice that in the proof above, the Reeb orbits of the stable Hamiltonian structure arising from the symplectic mapping cylinder like end do not need to satisfy any index bounded assumption. Consequently, if we tried to construct our isomorphism by using radial Hamiltonians whose slopes go to infinity as n increases, then a priori, we would not know if we could apply Lemma 10.8. It was the divisor model that explicitly gave us the index bounded assumption. Typically, one has a neighborhood of a divisor whose boundary is a contact manifold and one deforms the contact form to have the nice dynamical properties that our Hamiltonians have above. In our case, there is no contact form to be found. So we take the novel approach of working directly with Hamiltonians that are adapted to divisors.
Part III. Hamiltonian fibrations and symplectic deformations
In this part, we establish requisite symplectic embedding/deformation results that are used to construct the “modified parallel transport maps” in the proof of our main result, see Lemma 8.4 and Lemma 8.5. We also discuss Hamiltonian fibrations and their relationships with symplectic mapping cylinders and convex symplectic domains.
13 Symplectic self-embeddings of divisor complements
We discuss a Kähler embedding result, which allows one to symplectically push divisor complements away from divisors via a symplectic deformation that lies in a fixed Kähler class.
Proposition 13.1
Let (X,Ω,J) be a Kähler manifold and let D be an effective normal crossings divisor in X. There exists a Kähler form \(\widetilde{\Omega}\) for (X,J) and a symplectic embedding
that satisfy:
-
(i)
ψ(X∖D)⊂X∖N(D) for an open neighborhood N(D) of D in X, and
-
(ii)
ψ can be made the identity away from any fixed open neighborhood of D.
We begin with a local model for the embedding in Sect. 13.1. Using this local model, we prove Proposition 13.1 in Sect. 13.2.
13.1 Computing in a local model
Here we understand the local model for the symplectic embedding introduced above.
Notation 13.2
-
(i)
Let Ωstd denote the standard symplectic form on \(\mathbb{C}^{n}\) with respect to the holomorphic coordinates z1,…,zn,
$$ \Omega _{std} :=\sum _{i} \frac{i}{2} dz_{i} \wedge d \overline{z_{i}} = \sum _{i} r_{i} d r_{i} \wedge d \theta _{i}, $$where \(z_{i} = r_{i} e^{\theta _{i}}\) in polar coordinates.
-
(ii)
Let \(\sigma : \mathbb{C}^{n} \to \mathbb{C}\) be given by
$$ \sigma (z_{1},\dots ,z_{n}) = z_{1}^{\alpha _{1}} \cdots z_{n}^{ \alpha _{n}}, $$where α=(α1,…,αn) is a tuple of non-negative integers.
-
(iii)
Let D:=σ−1(0) be the associated normal crossings divisor.
-
(iv)
Let Vstd denote the vector field on \(\mathbb{C}^{n} \smallsetminus D\) given by
$$ \Omega _{std}( V_{std},\cdot ) = \sum _{i} \alpha _{i} d \theta _{i} = -d^{c} \log |\sigma |(\cdot ), $$where |⋅| is the standard metric on \(\mathbb{C}\). Equivalently,
$$ \Omega _{std}(V_{std},J \cdot ) = \sum _{i} \frac{\alpha _{i}}{r_{i}} d r_{i} = \sum _{i} d(\log (r_{i}^{\alpha _{i}})) = d(\log |\sigma |)( \cdot ). $$Explicitly,
$$ V_{std} = \sum _{i} \frac{\alpha _{i}}{r_{i}} \cdot \partial _{r_{i}}. $$ -
(v)
Let \(\rho : \mathbb{C}^{n} \to \mathbb{R}\) be a smooth function whose gradient vector field with respect to Ωstd(⋅,J⋅) is denoted by ∇ρ,
$$ \Omega _{std}(\nabla \rho , J \cdot ) = d \rho (\cdot ). $$ -
(vi)
For 0≤s≤1, let Ωs be a family of Kähler forms on \(\mathbb{C}^{n}\).
-
(vii)
Let Vs denote the family of vector fields on \(\mathbb{C}^{n} \smallsetminus D\) given by
$$ \Omega _{s}(V_{s},J\cdot ) = d(\log |\sigma |)(\cdot ). $$ -
(viii)
Let (∇ρ)s denote the family of vector fields on \(\mathbb{C}^{n}\) given by
$$ \Omega _{s}((\nabla \rho )_{s},J \cdot ) = d \rho (\cdot ) . $$
We want the following estimate.
Lemma 13.3
There exists ε>0 and a>0 so that
on \(\mathbb{D}_{\varepsilon}^{n} \subset \mathbb{C}^{n}\).
Our strategy is to relate Vs to Vstd via simple matrix algebra and bootstrap off of the analogue of Lemma 13.3 for Vstd, which follows from a computation:
Lemma 13.4
There exists ε>0 so that
on \(\mathbb{D}_{\varepsilon}^{n} \subset \mathbb{C}^{n}\).
We need the following estimate.
Lemma 13.5
Given non-negative constants b1, b2, c1, and c2, there exists ε>0 such that if 0≤x≤ε and 0≤y≤ε, then
Proof
Without loss of generality, we may assume that
By L’Hopital’s rule, there exists ε>0 such that if c1⋅x≤ε, then
So
as desired. □
We prove Lemma 13.4.
Proof
For each ε>0, dri(∇ρ) and |∇ρ|2 are bounded on \(\mathbb{D}_{\varepsilon}^{n} \subset \mathbb{C}^{n}\). So for ε>0 sufficiently small, there exists c>0 such that
on \(\mathbb{D}_{\varepsilon}^{n}\). Since
Lemma 13.5 implies that (after shrinking ε)
on \(\mathbb{D}_{\varepsilon}^{n}\), as desired. □
We prove Lemma 13.3.
Proof
Relate Vs to Vstd via some simple matrix algebra: Consider the standard basis of \(T \mathbb{C}^{n} \cong T \mathbb{R}^{2n}\) and use the standard metric Ωstd(⋅,J⋅) to extend it to a dual basis of \(T^{*} \mathbb{C}^{n} \cong T ^{*} \mathbb{R}^{2n}\). With respect to these bases, we may write
-
(i)
d(log|σ|+ρ)=β, a covector, and
-
(ii)
Ωs(⋅,J⋅)=As, a family of symmetric, positive definite matrices.
Note that As and β both vary with respect to points in \(\mathbb{C}^{n}\). With these identifications,
and
Since \(A_{s}^{-1}\) is also symmetric and positive definite,
for all \(v \in T^{*} \mathbb{D}_{1}^{n}\) and some a>0 (which is independent of v). So
on \(\mathbb{D}_{1}^{n}\). The lemma follows from this inequality and Lemma 13.4. □
13.2 Proof of proposition
Here we apply the local computations from Sect. 13.1 to prove Proposition 13.1.
Proof
Consider the line bundle \(\mathcal{O}(D)\), a Hermitian metric ∥⋅∥ on \(\mathcal{O}(D)\), and a holomorphic section σ with σ−1(0)=D. Fix a smooth function \(\ell : \mathbb{R}_{\geq 0} \to \mathbb{R}_{\geq 0}\) that satisfies:
-
(i)
ℓ(r)=r for 0≤r≤δ/2,
-
(ii)
ℓ(r) is constant for δ≤r, and
-
(iii)
ℓ′(r)≥0.
Consider \(f: X \smallsetminus D \to \mathbb{R}\) given by f=log(ℓ(∥σ∥)). This gives rise to a (1,1)-form on X, ddcf. Fix c>0 sufficiently small so that
is non-degenerate (and consequently Kähler).
dcf is not globally defined. So ddcf is not globally exact on X and \(\widetilde{\Omega}\) is not cohomologous to Ω. However, on the complement of D, dcf is well-defined and ddcf is exact. So we have a family of cohomologous Kähler forms on X∖D given by
We would like to use Moser’s argument, to determine a symplectic embedding
obtained by taking the time 1 flow along Vs determined by
The goal of the rest of this proof is to bound Vs in order to show that its time s flow, ψs, is well-defined and satisfies the desired properties.
We claim there exists a neighborhood N(D) of D in X and a>0 such that
on N(D). To see this, fix p∈D and local holomorphic coordinates z1,…,zn such that
In this trivialization, the Hermitian metric ∥⋅∥ may be written as eρ⋅|⋅| where |⋅| is the standard metric on \(\mathbb{C}\). So sufficiently close to p,
Moreover, in this local chart, Vs is determined by
So our setup in this local chart (or rather a rescaling of it by c) agrees with our local model from Sect. 13.1. By Lemma 13.3, we have that there exists ap>0 and a neighborhood N(p) of p in X such that
on N(p). Since D is compact, we may find a neighborhood N(D) of D in X and a single a>0 such that
on N(D), as desired.
We now show that the flow ψs of Vs is well-defined for all s and address the claims in the proposition. Let γ be a flow line of Vs. Fix 1/2>ε>0 such that ∥σ∥−1([0,2ε])⊂N(D). By the above inequality,
when ∥σ∥∘γ(s)≤2ε. So when ∥σ∥∘γ(s0)≤2ε, we may solve this differential inequality to get that
when ∥σ∥∘γ(s)≤2ε and s≥s0. From this, we see when ∥σ∥∘γ(s0)≤2ε that
-
(i)
∥σ∥∘γ(s)≥∥σ∥∘γ(s0), and
-
(ii)
\(\|\sigma \| \circ \gamma (s) \geq \exp \left ( \frac{-1}{a \cdot (s-s_{0})} \right )\)
for s0≤s≤s1, where
To show that ψs is well-defined, it suffices to show that, first, no flow line runs into D in finite time, and, second, ψs is the identity outside of a compact neighborhood of D. To see that no flow line runs into D in finite time, suppose by way of contradiction that γ is not bounded away from D for all s. This implies that there exists an increasing sequence sν such that
-
(i)
∥σ∥∘γ(sν)≤2ε, and
-
(ii)
limν→∞γ(sν)∈D.
The second item implies that
The first item combined with the fact that
implies that
a contradiction. To see that ψs is the identity outside of a compact neighborhood of D notice that ℓ is constant on ∥σ∥−1([δ,+∞). So dcf=0 on ∥σ∥−1([δ,∞)). This implies that Vs=0 on ∥σ∥−1([δ,∞)) and thus that ψs is the identity on ∥σ∥−1([δ,∞)).
To show that ψ(X∖D) is contained in the complement of an open neighborhood of D in X, it suffices to show that ∥σ∥−1∘γ(1)>ε. The above work implies that if ∥σ∥∘γ(s0)>ε, then ∥σ∥∘γ(s)>ε for all s≥s0. So it suffices to show that if ∥σ∥∘γ(0)≤ε, then for some s0, ∥σ∥∘γ(s0)>ε. However, when ε<exp(−1/a), the above work implies that such an s0 must exist. So after shrinking ε, we obtain the desired inclusion.
Finally, to see that we can make the support of ψ be contained in any arbitrarily small neighborhood of D, notice that (when we showed that ψs was well-defined) we showed that ψs is the identity on ∥σ∥−1([δ,∞)). So taking δ to be arbitrarily small forces the support of ψ to be contained in any arbitrarily small neighborhood of D, as desired. □
14 Hamiltonian fibrations
14.1 Definitions
We give basic definitions that pertain to Hamiltonian fibrations.
Definition 14.1
Let (F,ωF) be a closed symplectic manifold. A Hamiltonian fibration over (a possibly open) Riemann surface Σ with fibre (F,ωF) is a tuple (M,π,Ω) where
-
(i)
M is a manifold,
-
(ii)
π:M→Σ is a proper submersion, and
-
(iii)
Ω is a closed 2-form on M whose restriction to each fibre Fz=π−1(z) is symplectic and agrees with ωF, that is, \((F_{z},\Omega |_{F_{z}}) \cong (F,\omega _{F})\).
Ω is the coupling form. If the coupling form Ω is non-degenerate, then (M,π,Ω) is called a non-degenerate Hamiltonian fibration.
Definition 14.2
The vertical distribution of a Hamiltonian fibration (M,π,Ω) is
If a vector field is contained in \(\operatorname{Ver}\), then it is called vertical. The horizontal distribution of a Hamiltonian fibration (M,π,Ω) is
If a vector field is contained in \(\operatorname{Hor}\), then it is called horizontal.
There is a splitting \(T_{p}M \cong \operatorname{Hor}_{p} \oplus \operatorname{Ver}_{p}\).
Definition 14.3
The horizontal lift of a vector field W on Σ is the horizontal vector field \(\widetilde{W}\) that satisfies
Definition 14.4
The curvature of a Hamiltonian fibration (M,π,Ω) with respect to the symplectic form ωΣ on Σ is the function \(R: M \to \mathbb{R}\) determined by
where v and w are vectors in Tπ(p)Σ and \(\widetilde{v}\) and \(\widetilde{w}\) are their horizontal lifts in TpM respectively.
A Hamiltonian fibration is non-degenerate if and only if the curvature with respect to any symplectic form on the base Σ is everywhere positive. So the non-degenerate Hamiltonian fibrations are precisely the positively curved Hamiltonian fibrations. Any Hamiltonian fibration which is degenerate can be made non-degenerate by adding π∗(h⋅ωΣ) to Ω for any smooth function \(h: \Sigma \to \mathbb{R}\) that satisfies R+π∗h>0, where R is the curvature with respect to ωΣ. This produces a new coupling form that is non-degenerate.
It will be useful to consider the following situation. Let (M,Ω,π) be a non-degenerate Hamiltonian fibration and let \(f: M \to \mathbb{R}\) be a smooth function on M. Given a 1-form α on Σ, consider the ωΣ-dual of α, denoted by Xα. We wish to compute the Ω-dual of f⋅π∗α in terms of Xα and the curvature R of this Hamiltonian fibration with respect to ωΣ.
Lemma 14.5
The Ω-dual of the 1-form f⋅π∗α is the vector field
Proof
Let X denote the Ω-dual of f⋅α. Notice that X is horizontal since
So we need to show that
where W is an arbitrary vector field on Σ. But this is easy:
□
14.2 Symplectic mapping cylinders
We discuss Hamiltonian fibrations given by symplectizations of stable Hamiltonian structures associated to mapping tori of symplectomorphisms. These Hamiltonian fibrations naturally arise in the context of our main result.
Let (F,ωF) be a closed symplectic manifold of dimension 2n−2 and let ψ:(F,ωF)→(F,ωF) be a symplectomorphism. The mapping torus of the symplectomorphism ψ is
Equivalently, Mψ is the quotient of \(\mathbb{R}\times F\) by the action (t,x)↦(t+2π,ψ(x)). The projection [0,2π]×F→[0,2π] gives a projection Mψ→S1. So the pull-back of the angular 1-form dθ on S1 is a non-vanishing 1-form on Mψ, which we will also denote by dθ.
Lemma 14.6
Let Mψ be the mapping torus of the symplectomorphism ψ with a closed 2-form η that restricts to ωF on each fibre. The pair (η,dθ) defines a stable Hamiltonian structure on Mψ.
The hyperplane distribution of (η,dθ) is ker(dθ), which is the tangent spaces of the fibres of the projection to S1. Similarly, the Reeb vector field is the horizontal lift of the angular vector field ∂θ on S1.
The stable Hamiltonian structure obtained in Lemma 14.6 could have a degenerate Reeb vector field. However, this can be rectified by adding a generic perturbation to η.
Lemma 14.7
Consider a stable Hamiltonian structure (η,dθ) on Mψ as in Lemma 14.6. For a generic choice of Hamiltonian, \(H: M_{\psi }\to \mathbb{R}\), the pair (η+d(H⋅dθ),dθ) defines a stable Hamiltonian structure on Mψ with non-degenerate Reeb vector field.
Proof
View Mψ as the quotient of \(\mathbb{R}\times F\) by the action (θ,x)↦(θ+2π,ψ(x)), where θ denotes both the angular coordinate on S1 and the Cartesian coordinate on \(\mathbb{R}\). Fix a Hamiltonian \(H: M_{\psi} \to \mathbb{R}\). By [Oh15, Example 4.2.3], pulling-back η+d(H⋅dθ) to \(\mathbb{R}\times F\) gives
where dGθ is an \(\mathbb{R}\)-family of exact 1-forms on F that satisfy ψ∗dGθ+2π=d(Gθ) and Hθ is the pull-back of H (so ψ∗Hθ+2π=Hθ). In this trivialization, the Reeb vector field is ∂θ+Vθ, where
If ψθ:F→F is the time θ flow along Vθ, then the Reeb flow is given by (⋅+θ,ψθ(⋅)). So the Reeb orbits have periods in \(2\pi \cdot \mathbb{Z}\) and correspond to fixed points of ψ∘ψθ. So Reeb vector field will be non-degenerate if the derivative of ψ∘ψθ at any fixed point has no eigenvalues equal to 1; however, ψθ is a Hamiltonian diffeomorphism. So for generic H, at the fixed points, the derivative of ψ∘ψθ will have no eigenvalues equal to 1, as desired. □
We now discuss the relationship between mapping tori of symplectomorphisms and Hamiltonian fibrations. Considering the product (0,∞)×Mψ, we obtain a proper submersion π:(0,∞)×Mψ→(0,∞)×S1. Fix polar coordinates (r,θ) for (0,∞)×S1.
Definition 14.8
Given a closed 2-form η on Mψ that restricts to ωF on each fibre, the symplectization of Mψ with respect to η is the Hamiltonian fibration
Such a Hamiltonian fibration is a symplectic mapping cylinder.
The following characterizes the relationship between symplectic mapping cylinders and Hamiltonian fibrations over (0,∞)×S1.
Lemma 14.9
The symplectic mapping cylinder ((0,∞)×Mψ,π,η+π∗(dr∧dθ)) defines a non-degenerate Hamiltonian fibration whose curvature with respect to π∗(dr∧dθ) is constant and equal to 1. Conversely, if a Hamiltonian fibration (M,π,η+π∗(dr∧dθ)) satisfies π:M→(0,∞)×S1, \(\eta (\partial _{r},\cdot )|_{\operatorname{Ver}} \equiv 0\), and ∂r(η)≡0, then it is given by a symplectic mapping cylinder.
Proof
To prove the first claim, it suffices to check that the curvature is always equal to one (the other elements of the first claim being clear). Let ∂r and ∂θ be the vector fields associated to coordinates (r,θ). The horizontal lift of ∂r is ∂r:
So the curvature is always one:
Consequently, R≡1.
The converse follows from [Oh15, Theorem 4.2.4]. Briefly, one considers the family of symplectomorphisms
obtained from parallel transporting along γ(θ)=(1,θ)∈(0,∞)×S1. These parallel transport maps give trivializations of M that agree with trivializations of \((0,\infty )\times M_{\psi _{2\pi}}\). So the two spaces are fibrewise diffeomorphic, giving the result. □
Remark 14.10
It should be clear from Definition 2.3 and Definition 14.8 that these two definitions of symplectizations agree for mapping tori of symplectomorphisms.
We conclude by discussing admissible almost complex structures.
Lemma 14.11
The space of admissible almost complex structures of a convex symplectic domain with boundary given by a mapping torus of a symplectomorphism is non-empty and contractible.
Proof
Fix a collar: ((0,1]×Mψ,η+dr∧dθ). Recall the definition of an admissible almost complex structure from Definition 2.4. The condition that d(dθ)(⋅,J⋅) is non-negative definite on all J-complex lines in T(Mψ) is vacuously satisfied. The conditions that J(ker(dθ))=ker(dθ) and −dr∘J=rdθ imply that J (with respect to the basis \((r \cdot \partial _{r}) \oplus \widetilde{\partial _{\theta}} { \oplus} T F\)) is
where JF is an (0,1]×S1 family of almost complex structures on the fibre. The condition that J be (η+dr∧dθ))-compatible implies that JF is ωF-compatible. So a choice of admissible almost complex structure (in the collar) corresponds to a choice of ωF-compatible almost complex structures on the vertical distribution. The space of such choices is non-empty and contractible. This gives the desired result. □
Remark 14.12
As an upshot of the proof of Lemma 14.11, any admissible almost complex structure makes the projection (0,1]×Mψ→(0,1]×S1 holomorphic. Moreover, for a radially admissible choice of Hamiltonian, Floer trajectories in the collar will project to Floer trajectories in (0,1]×S1.
14.3 Flattening Hamiltonian fibrations
We investigate the relationship between symplectic mapping cylinders and (more general) non-degenerate Hamiltonian fibrations over (0,∞)×S1. Let (M,Ω) be a symplectic manifold. Let \(\pi : M \to \mathbb{C}\) be a smooth, proper map that is a submersion over \(\mathbb{C}^{\times}\). Assume that \((\pi ^{-1}(\mathbb{C}^{\times}), \Omega , \pi )\) is a non-degenerate Hamiltonian fibration. For example, this holds when M admits an Ω-compatible almost complex structure that makes π holomorphic. Finally, let ω:=d(fdθ) be a symplectic form on (0,∞)×S1, where f is a smooth function in r with non-negative second derivative. We assume that ω induces the same orientation on \(\mathbb{C}\) as dr∧dθ. So since ω is symplectic, it follows that f′>0. This will be used frequently in the lemmas to come. Similarly as in Notation 2.8, let \(M_{a} :=\pi ^{-1}(\mathbb{D}_{a})\), where \(\mathbb{D}_{a}\) denotes the disk of radius a in \(\mathbb{C}\).
Proposition 14.13
Given c>b>a>0, there exists a symplectic form \(\overline{\Omega}\) on M and a symplectic embedding
that satisfy:
-
(i)
φ is the identity on Ma,
-
(ii)
\(M_{b} \subset \varphi (\operatorname{int}(M_{c}))\), and
-
(iii)
on M∖Mb, \(\overline{\Omega} = \overline{\eta} + \pi ^{*}\omega \),
where \(\overline{\eta}\) is a closed 2-form that satisfies:
-
the restriction to each fibre agrees with ωF,
-
\(\overline{\eta}(\partial _{r},\cdot )|_{\operatorname{Ver}} \equiv 0\),
-
\(\partial _{r}(\overline{\eta}) \equiv 0\), and
-
the Reeb vector field of the stable Hamiltonian structure \((\overline{\eta},d\theta )\) on ∂Mb is non-degenerate.
Remark 14.14
When ω=dr∧dθ, Lemma 14.9 combined with Proposition 14.13 implies that (M,Ω) may be symplectically embedded inside a symplectic manifold whose end is modeled after a symplectic mapping cylinder with non-degenerate Reeb vector field. Condition (i) implies that one can arrange for this embedding to be supported in the end of M. Condition (ii) implies that one can further arrange for the image of a fixed slice of the end of M under φ to be properly contained inside the symplectization region.
To prove Proposition 14.13, we study Proposition 14.15 and combine it with Lemma 14.7.
Proposition 14.15
Given c>b>a>0, there exists a symplectic form \(\widetilde{\Omega}\) on M and a symplectic embedding
that satisfy:
-
(i)
ψ is the identity on Ma,
-
(ii)
\(M_{b} \subset \psi (\operatorname{int}(M_{c}))\), and
-
(iii)
on M∖Mb, \(\widetilde{\Omega} = \eta + \pi ^{*}\omega \), where \(\eta = \Omega |_{M_{b}}\).
The proof of Proposition 14.15 is technical and quite involved. The idea is the following. Consider the obvious radial deformation retraction φ:M→Mb. The pull-back φ∗Ω is cohomologous to Ω; however, it is not symplectic. Nevertheless, φ∗Ω+ω is symplectic and still cohomologous to Ω. So by Moser’s argument, we expect a symplectic embedding
Given this, condition (iii) in Proposition 14.15 would be satisfied by construction. However, this map is not the identity over Ma and, a priori, need not satisfy condition (ii) in Proposition 14.15. So to achieve conditions (i) and (ii), above, one could replace φ∗Ω+ω with φ∗Ω+ℓ⋅ω, where ℓ is an appropriately defined radial cut-off function on M that vanishes on Ma.
There are issues that arise when trying to make this rigorous. First, the symplectic embedding obtained from Moser’s argument need not be well-defined. The flow that gives this symplectic embedding may have solutions that exit all compact subsets of M in finite time. Second, the retraction φ is never smooth and thus φ∗Ω is not a differential 2-form. To deal with these complications, we break up the desired symplectic embedding into three separate symplectic deformations, each of which is explicit enough for us to control the solutions to the flow equation given by Moser’s argument and, thus, obtain well-defined symplectic mappings as well as our desired properties. But first, we fix coordinates and a description of Ω.
Notation 14.16
Using polar coordinates (r,θ) for \((a,\infty ) \times S^{1} \subset \mathbb{C}^{\times}\), the composition r∘π is a proper submersion (and thus a fibre bundle)
Trivialize π−1((a,∞)×S1) over (a,∞):
Define S:=π−1(b×S1). So π−1((a,∞)×S1)≅(a,∞)×S with the first factoring agreeing with r∘π. We will refer to this coordinate as r. The projection (a,∞)×S→S is a (smooth) homotopy equivalence with (smooth) homotopy inverse given by the inclusion of S. So over (a,∞), Ω is cohomologous to the pull-back of a closed 2-form on S. More precisely, Ω=η+d(ξ), where η is the closed 2-form given by pulling-back Ω along the composition
By this description, η(∂r,⋅) and ∂r(η) are both zero and ξ may be chosen to be a 1-form whose restriction to S is zero. Indeed, if ξ did not vanish along S, then restricting η+d(ξ) to S gives that ξ restricted to S is closed. So we can replace ξ by ξ−(ξ|S) (where we abusively use ξ|S to denote the pull-back of the restriction of ξ to S along the projection (a,∞)×S→S) and the resulting form will now vanish along S.
Lemma 14.17
The first symplectic deformation
Given c>b>a>0 as in Proposition 14.15, for δ>0 sufficiently small, there exists a symplectic form Ω′ on (a,∞)×S and a symplectic embedding
that satisfy:
-
(i)
ψ′ is the identity for r≤a+(b−a)/2,
-
(ii)
Ω′=η+d(ξ′) with
$$ \xi ' = \left (f+c_{\delta}\right ) \pi ^{*} d\theta $$for b−δ≤r≤b+δ, where cδ is a fixed constant, and
-
(iii)
r−1((a,b+δ])⊂ψ′(r−1((a,c))).
The idea for Lemma 14.17 is to pull-back Ω along a radial self-map of (a,∞)×S that smoothly collapses a small annular neighborhood of π−1(b×S1) onto π−1(b×S1). One then add a small multiple of ω (multiplied by an appropriate radial cut-off function) to this pull-back to obtain a symplectic form that is cohomologous to the original Ω. One then applies Moser’s argument to obtain the desired symplectic embedding. If this self-map is the identity near a×S and one collapses a sufficiently small annular neighborhood of π−1(b×S1) onto π−1(b×S1), then by adding a sufficiently small multiple of ω as above, we can obtain the additional conditions of the lemma.
Proof
For each δ>0 sufficiently small, fix a smooth function \(\ell _{\delta}: \mathbb{R}_{\geq 0} \to \mathbb{R}_{\geq 0}\) that satisfies:
-
ℓδ(r)=r for 0≤r≤a+(b−a)/2 and c−(c−b)/2≤r,
-
ℓδ(r)=b for b−δ≤r≤b+δ, and
-
\(\ell _{\delta}'(r) \geq 0\) for all r with ℓ′(r)=0 if and only if b−δ≤r≤b+δ.
For each δ, we have a smooth family of maps
for 0≤s≤1. This gives the family \((\phi ^{\delta}_{s})^{*} \Omega \) of cohomologous 2-forms on (a,∞)×S. Since for each s, each \((\phi ^{\delta}_{s})^{*}\Omega \) is a coupling form for (a,∞)×S with respect to π. However, each form is not necessarily non-degenerate and thus is not necessarily symplectic. Note, \(\det (d\phi ^{\delta}_{s}) \geq 0\) and \(\det (d \phi ^{\delta}_{s}) = 0\) if and only if b−δ≤r≤b+δ and s=1. So \((\phi ^{\delta}_{s})^{*} \Omega \) is degenerate if and only if b−δ≤r≤b+δ and s=1. Let Rs denote the curvature of Ωs with respect to ω. We have Rs≥0 with Rs=0 if and only if b−δ≤r≤b+δ and s=1.
To rectify the degeneracy, for each ε>2bδ sufficient small, fix a smooth function \(H_{\varepsilon}: \mathbb{R}_{\geq 0} \to \mathbb{R}_{\geq 0}\) that satisfies:
-
Hε(r)=0 for 0≤r≤a+(b−a)/2,
-
Hε(r)=f+cε for b−δ≤r≤b+δ, where cε is some constant,
-
Hε(r)=ε for c−(c−b)/2≤r, and
-
\(H_{\varepsilon}'(r) \geq 0\) for all r.
Define a smooth family of 2-forms on (a,∞)×S,
By construction, Ωs is a smooth family of cohomologous symplectic forms on (a,∞)×S.
We wish to apply Moser’s argument to this symplectic deformation to obtain our desired symplectic embedding. Using our description of Ω=η+d(ξ) and the fact that \((\phi _{s}^{\delta})^{*}\eta = \eta \) (η is independent of r),
Define Vs by Ωs(Vs,⋅)=−ξs. Let ψs denote the time s flow of Vs. By Moser’s argument, if ψs is well-defined, then it is a symplectic embedding. We claim that ψ′:=ψ1 and Ω′=Ω1 define the desired pieces of data for δ and ε sufficiently small.
First, we show that ψs is well-defined for 0≤s≤1 and is the identity for r≤a+(b−a)/2. Since \(\phi _{s}^{\delta}\) is the identity for r≤a+(b−a)/2 and c−(c−b)/2≤r, we have for said values of r that
Also for r≤a+(b−a)/2, Hε=0 and for c−(c−b)/2≤r, Hε is constant and equal to ε. So for r≤a+(b−a)/2, Vs=0 and, consequently, ψs is the identity and well-defined for 0≤s≤1 on this end. On the other end, by Lemma 14.5, for c−(c−b)/2≤r,
So Vs is always pointing inward with respect to r and thus ψs is well-defined for 0≤s≤1 on this end. It follows that ψs is well-defined for 0≤s≤1.
Second, we show Ω′=η+d(ξ′) with \(\xi ' = \left (f+c_{\varepsilon}\right ) \pi ^{*} d\theta \) for b−δ≤r≤b+δ. Notice that for b−δ≤r≤b+δ, the map \(\phi ^{\delta}_{1}\) agrees with the projection (a,∞)×S→S. So \((\phi _{1}^{\delta})^{*} \Omega = \eta \) and \((\phi _{1}^{\delta})^{*}\xi = 0\) for b−δ≤r≤b+δ. Setting
the desired result follows.
Finally, we explain the inclusion r−1((a,b+δ])⊂ψs(r−1((a,c))). For c−(c−b)/2≤r, our description of Vs (and compactness) implies that
on all compact subsets. So the inclusion holds by taking ε and δ sufficiently small. □
Lemma 14.18
The second symplectic deformation
Assuming the notation of Lemma 14.17, there exists a symplectic form Ω″ on (a,∞)×S and a symplectic embedding
that satisfy:
-
(i)
ψ″ is the identity for r≤b+δ/3, and
-
(ii)
Ω″=η+d(ξ″) with
$$ \xi '' = F \cdot \pi ^{*}d\theta $$for b−δ≤r, where F is a smooth function in r that satisfies F(r)=f+C for b−δ≤r≤b+δ/3 with C being some fixed constant.
The idea of Lemma 14.18 is to pull-back Ω along a radial self-map of (a,∞)×S that smoothly collapses the entire positive end of (a,∞)×S onto π−1((b+δ/2)×S1) for some small δ. One then add a sufficiently large, radially varying, symplectic form from the base (a,∞)×S1 (again, multiplied by an appropriate radial cut-off function) to this pull-back to obtain a symplectic form that is cohomologous to the original Ω. When the symplectic area of this base form is sufficiently large, one can show that the flow obtained from Moser’s argument is well-defined. The additional conditions of the lemma will follow as in Lemma 14.18.
Proof
Fix a smooth function \(\ell : \mathbb{R}_{\geq 0} \to \mathbb{R}_{\geq 0}\) that satisfies
-
ℓ(r)=r for 0≤r≤b+δ/3,
-
ℓ(r)=b+δ/2 for b+δ/2≤r, and
-
ℓ′(r)≥0 for all r with ℓ′(r)=0 if and only if b+δ/2≤r.
As in Lemma 14.17, we have a smooth family of maps
for 0≤s≤1, which gives rise to the family \((\phi _{s}')^{*} \Omega '\) of cohomologous coupling forms (with respect to π) on (a,∞)×S. Let \(R_{s}'\) denote the curvature of the coupling form \((\phi _{s}')^{*} \Omega '\) with respect to ω. As in Lemma 14.17, \(R_{s}' \geq 0\) with \(R_{s}' = 0\) if and only if b+δ/2≤r and s=1. To run Moser’s argument, we again need to rectify this degeneracy; however, there is the complication that the support of \(\phi _{s}'\) is not compact. So we need a more delicate construction.
Let rn be a strictly increasing sequence of real numbers that diverges to infinity and satisfies rn>c for each n. Let Un be a collection of connected, pairwise disjoint open intervals in \(\mathbb{R}_{>c}\) such that rn∈Un. For each increasing sequence of positive real numbers cn, fix a smooth function \(H_{\{c_{n}\}}: \mathbb{R}_{\geq 0} \to \mathbb{R}_{\geq 0}\) that satisfies:
-
\(H_{\{c_{n}\}}(r) = 0\) for 0≤r≤b+δ/3,
-
\(H_{\{c_{n}\}}'(r) \geq 0\) with \(H_{\{c_{n}\}}'(r) > 0\) for b+δ/2≤r, and
-
\(H_{\{c_{n}\}}(r) = r+c_{n}\) for r∈Un.
Define a smooth family of 2-forms on (a,∞)×S by
\(\Omega _{s}'\) is a smooth family of cohomologous symplectic forms on (a,∞)×S.
As in Lemma 14.17, we apply Moser’s argument to obtain our symplectic embedding. Like before,
Define \(V_{s}'\) by \(\Omega _{s}'(V_{s}',\cdot ) = -\xi _{s}'\). Let \(\psi _{s}'\) denote the time s flow of \(V_{s}'\). We claim that for a particular choice of sequence cn, the flow \(\psi _{s}'\) is well-defined and is the identity for r≤b+δ/3.
We first show that \(\psi _{s}'\) is the identity (and thus well-defined) for r≤b+δ/3. Notice that \(\phi _{s}'\) is the identity for r≤b+δ/3. So for said values of r,
Also for r≤b+δ/3, \(H_{\{c_{n}\}} = 0\). So for r≤b+δ/3, \(V_{s}' = 0\) and, consequently, \(\psi _{s}'\) is the identity on this end.
We now show that \(\psi _{s}'\) is well-defined for c≤r. By Lemma 14.5, for b+δ/2≤r, the \(\Omega _{s}'\)-dual of \(-H_{\{c_{n}\}} \cdot \pi ^{*} d\theta \) is the vector field
Let Zs denote the vector field determined by
Using the splitting of the tangent space into vertical and horizontal components, write \(Z_{s} = f_{s} \cdot \widetilde{\partial _{r}} + Y_{s}\), where Ys is orthogonal to \(\widetilde{\partial _{r}}\). The sign of the function fs determines whether the vector field Zs is pointing inwards along the radial coordinate r (this occurs when fs<0) or is pointing outwards along the radial coordinate r (this occurs when fs>0). The vector field \(V_{s}'\) is given by Zs+Ws. Notice that if
then the flow of \(V_{s}'\) is inward pointing. Notice that over each Un,
So \(\Omega _{s}'\) does not depend on the choice of function \(H_{\{c_{n}\}}\) over each Un. Also notice that \((\phi _{s}')^{*}\xi '\) is independent of the choice of function \(H_{\{c_{n}\}}\). So from the defining equation for Zs, over each Un, fs is independent of the choice of function \(H_{\{c_{n}\}}\). In particular, if one were to choose different constants cn when defining \(H_{\{c_{n}\}}\), then the description of fs would not change over Un. On r−1(Un), the above equation is
By compactness, pick cn sufficiently large so that this inequality holds over Un. Again, by fixing cn, we do not alter the description of fs over Un. So the flow \(\psi _{s}'\) is inward pointing over each Un. It follows that the flow of \(\psi _{s}'\) is well-defined for 0≤s≤1 on every compact subset of (a,∞)×S and thus is globally well-defined for 0≤s≤1, as desired.
Fix cn so that the above flow \(\psi _{s}'\) is well-defined. Let \(\psi '' :=\psi _{1}'\) and let \(\Omega '' :=\Omega _{1}'\). To complete the proof, we need to show that Ω″=η+d(ξ″) with ξ″=F⋅π∗dθ for b−δ≤r, where F is a smooth function in r that satisfies F(r)=f+C for b−δ≤r≤b+δ/3 with C being some fixed constant. As before, we have
Notice that for b−δ≤r, the composition, \(\phi _{1} \circ \phi _{1}'\), is given by the projection onto S. So \((\phi _{1}')^{*}(\phi _{1}^{*}\xi ) = 0\). Since \(\phi _{1}'\) only depends on the variable r, \(F :=(\phi _{1}')^{*}H_{\varepsilon}+H_{\{c_{n}\}}\) is a smooth function only depending on r and ξ″=F⋅π∗dθ for b−δ≤r. Finally, F agrees with f+C for b−δ≤r≤b+δ/3. Indeed, \(\phi _{1}'\) is the identity for r≤b+δ/3, \(H_{\{c_{n}\}} \equiv 0\) for r≤b+δ/3, and Hε=f+C for b−δ≤r≤b+δ. So for b−δ≤r≤b+δ/3,
□
Lemma 14.19
The third symplectic deformation
Assuming the notation of Lemma 14.17 and Lemma 14.18, there exists a symplectic form Ω‴ on (b−δ,∞)×S and a symplectic embedding
that satisfy:
-
(i)
ψ‴ is the identity for r≤b+δ/3, and
-
(ii)
Ω‴=η+d(ξ‴) with ξ‴=(f+C)⋅π∗dθ, where C is some constant.
We indicate the idea. The form Ω″ in Lemma 14.18 almost satisfies the conditions of Lemma 14.19. For r≥b+δ, Ω″=η+d(F⋅π∗dθ). So we need to alter the form so that for r≥b+δ, Ω‴=η+d(f⋅π∗dθ). In the case where η=0 (that is, when our total space is \(\mathbb{C}\)), we can always construct (the obvious) symplectic deformation between these two forms. The associated flow from Moser’s argument can be explicitly computed using that it is radially determined and area preserving. When one explicitly solves, one sees that the flow is well-defined when the symplectic areas of d(f⋅π∗dθ) and d(F⋅π∗dθ) are infinite, which is ensured by our construction. So to produce the result for η≠0, we relate its associated flow from Moser’s argument to the flow in case where η=0.
Proof
Consider the smooth function \(G: \mathbb{R}_{\geq b-\delta} \to \mathbb{R}_{\geq 0}\), G(r)=f+C, where C is the constant in Lemma 14.18. We have a smooth family of symplectic forms
for 0≤s≤1. By Lemma 14.5 and the discussion in the proof of Lemma 14.9, the vector field \(V_{s}''\),
is
Let \(\psi _{s}''\) denote the time s flow along \(V_{s}''\). We claim that \(\psi _{s}''\) is well-defined and the identity for r≤b+δ/3.
Notice that the flow of \(V_{s}''\) is well-defined if and only if the flow of Ws is well-defined, where Ws is the vector field on (b−δ,∞)×S1 determined by
that is,
Let us define ωs=d(((1−s)⋅F+s⋅G)⋅dθ). By Moser’s argument, the flow along Ws, which we denote by Φs, is a symplectomorphism (\(\Phi _{s}^{*}\omega _{s} = \omega _{0}\)) and thus an area preserving map with respect to the area forms ωs and ω0. Since Ws is independent of θ, Φs may be written as (r,θ)↦(φs(r),θ), where \(\varphi _{s}: \mathbb{R}_{ \geq 0} \to \mathbb{R}_{\geq 0}\). Computing, we have that
where the second equality follows from Stokes’s Theorem, the third equality follows from Φs being a symplectomorphism, the forth equality follows from the change of variables formula and the fact that ϕs(b)=b (indeed, since F=G for r≤b+δ/3, Ws=0 and thus φs is the identity in this region), the sixth equality follows from Stoke’s Theorem, and the remaining equalities should be clear. Canceling terms (recall that F(b)=G(b)),
The derivative of the right-hand-side is positive for 0≤s≤1. So for 0≤s≤1, the right-hand-side is invertible. So we can solve for \(\psi _{s}''\) when the range of the left-hand-side is contained in the range of the right-hand-side. Notice that when s>0, the range of the right-hand-side is [f(b)+C,∞), because G(r)=f(r)+C is exhaustive (since f′ and f″ are both positive) and F(b)=G(b). Since F′ is positive and F(b)=f(b)+C, the range of the left-hand-side is contained in [f(b)+C,∞). So we can solve for \(\psi _{s}''\) and the flow is well-defined.
Finally, since F=G for r≤b+δ/3, \(V_{s}'' = 0\) and thus \(\psi _{s}''\) is the identity for said values of r. Setting \(\psi ''' :=\psi _{1}''\) and
yields the desired data. □
We now chain together the above deformations and prove Proposition 14.15.
Proof
First, the symplectic embeddings and symplectic forms constructed in the above lemmas all extend to symplectic (self) embeddings and symplectic forms on all of M, because ψ′, ψ″, and ψ‴ are all the identity near a, a, and b−δ respectively. We do not distinguish between the original maps and forms and their respective extensions to M. Set ψ=ψ‴∘ψ″∘ψ′ and \(\widetilde{\Omega} = \Omega '''\). Notice that for b−δ≤r, Ω‴=η+π∗ω. ψ is the identity over \(\mathbb{D}_{a} \subset \mathbb{C}\) because ψ′, ψ″, and ψ‴ are each the identity in this region. Finally, the inclusion, \(M_{b} \subset \psi (\operatorname{int}(M_{c}))\), follows from the inclusion property of ψ′ from Lemma 14.17 and the fact that ψ″ and ψ‴ are both the identity for r≤b+δ/3. This finally completes the proof. □
Now we produce one final deformation to prove Proposition 14.13. The idea is to introduce a small perturbation as in Lemma 14.7 to the symplectic form \(\widetilde{\Omega}\) from Proposition 14.15. If we make the perturbation sufficiently small, then applying Moser’s argument will produce a symplectomorphism from \(\widetilde{\Omega}\) to the perturbed form that still preserves the additional conditions of the propositions.
Proof
Assume the notation and conclusions of Proposition 14.15. For δ>0 sufficiently small, consider a generic Hamiltonian \(H: M \to \mathbb{R}\) that satisfies:
-
(i)
H≡0 for r≤a+δ,
-
(ii)
H is independent of r for r≥b−δ, and
-
(iii)
H≥0.
Define
For |H| sufficiently small, \(\overline{\Omega}_{s}\) will be symplectic. Consider the vector field Vs,
By Lemma 14.5, for r>0,
where Rs is the curvature of \(\overline{\Omega}_{s}\) with respect to ω. Let ψs be the time s flow along Vs. We claim that the symplectic form \(\overline{\Omega} :=\overline{\Omega}_{1}\) and the symplectic mapping
define the desired data.
We argue that ψs is well-defined for all 0≤s≤1. For r≤a+δ, H≡0. So for r≤a+δ, Vs vanishes and ψs is the identity in this region. For r≥b−δ, H is independent of r. So by Lemma 14.9, Rs≡1. Since H≥0, for r≥b−δ, Vs is inward pointing along ∂r. So the flow ψs is globally well-defined for 0≤s≤1.
Next, by Proposition 14.15 and the discussion above, ψ1∘ψ is the identity on Ma. To obtain the inclusion \(M_{b} \subset (\psi _{1} \circ \psi )(\operatorname{int}(M_{c}))\), we argue as follows. Over the support of ψs, the curvature Rs is bounded below independently of s. Consequently, as |H|→0, ψs converges to the identity map. So using that \(M_{b} \subset \psi (\operatorname{int}(M_{c}))\), we may take H to be sufficiently small so that ψ1 preserves this inclusion. Finally, on M∖Mb, we have that
Define \(\overline{\eta} = \eta +d(H \cdot d \theta )\). By Lemma 14.7, for a generic choice of H, \(\overline{\eta}\) will satisfy the conditions of the lemma. □
14.4 Flattening more Hamiltonian fibrations
We show that every Hamiltonian fibration over \(\mathbb{C}\) can be embedded into the product Hamiltonian fibration over \(\mathbb{C}\). Let (M,Ω) be a symplectic manifold. Let \(\pi : M \to \mathbb{C}\) be a smooth, proper map that is a submersion over all of \(\mathbb{C}\), which we assume gives a Hamiltonian fibration. Let F=π−1(0) denote the fibre of π over the origin. Let ΩF denote the restriction of Ω to F. Let ω:=d(fdθ) be a symplectic form on (0,∞)×S1, where f is a smooth function in r that vanishes at the origin and has non-negative second derivative.
Proposition 14.20
There exists a symplectic embedding
which is a smooth homotopy equivalence and is the identity from π−1(0) to F×{0}.
The construction is very similar to the construction of the embedding in Proposition 14.13. So when elements of the construction are entirely analogous to elements of the construction in Proposition 14.13, we will leave it to the reader to check that the previous arguments carry over. We now fix a nice system of coordinates and a nice description of Ω.
Notation 14.21
Fix polar coordinates (r,θ) for \(\mathbb{C}\). Since π is everywhere a proper submersion, fix a trivialization of π. Namely, identify M with \(F \times \mathbb{C}\) and π with the projection to the second component, \(\pi : F \times \mathbb{C}\to \mathbb{C}\). Let \(\pi _{F}: F \times \mathbb{C}\to F\) denote the projection to the first component. This is a smooth homotopy equivalence with smooth homotopy inverse given by the inclusion of F as F×{0}. So the closed 2-form Ω is cohomologous to the pull-back of a closed 2-form ΩF on F. We have Ω=ΩF+d(ξ). Moreover, ξ may be chosen to be a 1-form whose restriction to F is zero. Indeed, if ξ does not vanish along F, then restricting ΩF+d(ξ) to F gives that ξ restricted to F is closed. Consequently, we can replace ξ by ξ−(ξ|F) and the resulting form will now vanish along F, as desired.
Lemma 14.22
There exists a function \(H: \mathbb{R}\to \mathbb{R}\) such that d(H(r)dθ) is symplectic on \(\mathbb{C}\) and there exists a symplectic embedding
which is a smooth homotopy equivalence and is the identity from π−1(0) to F×{0}.
Proof
Consider the smooth family of maps \(\psi _{s}: F \times \mathbb{C}\to F \times \mathbb{C}\) given by ψs(x,z)=(x,s⋅z). Notice that ψ1 is the projection to F and ψs(x,0)=(x,0) for all x∈F. This gives rise to the family (ϕs)∗Ω of cohomologous coupling forms (with respect to π). Let Rs denote the curvature of the coupling form (ϕs)∗Ω with respect to ω. Analogous to the argument in Lemma 14.17, Rs≥0 with Rs=0 if and only if s=1. We consider the family of cohomologous symplectic forms
for some radial function H to be determined. The curvature of the coupling forms Ωs is
As in Lemma 14.17, we apply Moser’s argument to obtain our symplectic embedding. We have
Define the vector field Vs by Ωs(Vs,⋅)=−ξs. Let ψs denote the time s flow of Vs. For a particular choice of function H, the flow ψs is well-defined and is the identity on F×{0}. To see this, one constructs a sufficiently large function H as in the proof of Lemma 14.18 that vanishes at the origin. As in Lemma 14.18, this will ensure that the flow ψs is well-defined. To see that ψs fixes F×{0} for all s, observe that ξs|F×{0}=ξ|F×{0}=0. So Vs vanishes along F×{0} and ψs is the identity along F×{0}. Setting ψ′:=ψ1 proves the lemma. □
Lemma 14.23
Let f be as above. Given \(H: \mathbb{R}\to \mathbb{R}\) such that d(H(r)dθ) is symplectic on \(\mathbb{C}\) and H(0)=0, there exists a symplectic embedding
such that ψ″ is a smooth homotopy equivalence that is the identity from π−1(0) to F×{0}.
Proof
We have a smooth family of symplectic forms
for 0≤s≤1. By Lemma 14.5 and the discussion in the proof of Lemma 14.9, the vector field Vs determined by Ωs(Vs,⋅)=(H−f)⋅dθ is
Let ψs denote the time s flow along Vs. To see that the flow ψs is well-defined, one argues almost identically to the proof of Lemma 14.19. To see that ψs is the identity on F×{0}, one observes that Vs vanishes along F×{0} and thus the flow is the identity along F×{0}, as desired. Setting ψ″:=ψ1 proves the lemma. □
Proposition 14.20 now follows immediately from composing the embeddings constructed in Lemma 14.22 and Lemma 14.23.
Part IV. Gromov-type compactness results
In this part, we discuss Gromov-type compactness results that are necessary for our main results. We will prove a compactness result for sequences of holomorphic curves with boundaries that arise in the proof of our main result; namely, the sequences of curves that degenerate to the center fibre of our degeneration to the normal cone. We also prove a Gromov-Floer-type compactness result for sequences of Floer trajectories associated to sequences of Hamiltonians that uniformly converge to the zero Hamiltonian on a compact subset. This is the key ingredient that allows us to produce holomorphic curves from Floer trajectories.
15 Compactness for degenerations à la fish
We establish a compactness result (specific to our setting) for holomorphic curves with boundaries.
Notation 15.1
Let (Q,Ω,J) be an almost Kähler, symplectic manifold with boundary such that \(\operatorname{int}(Q)\) is an open complex analytic manifold. Let \(\pi _{Q}: Q \to \mathbb{C}\) be a proper, surjective map with \(\pi _{Q}^{-1}(0) = F \cup E\), where E is a compact subset of Q, and F is a (possibly singular) proper, complex analytic subscheme of the interior of Q that is not strictly contained in E.
Let M be a smooth quasi-projective variety with a smooth, projective compactification \(\overline{M}\). We assume that there exists a birational map \(\varphi : F \to \overline{M}\) that gives an isomorphism φ:(F∖E∩F)→M.
To orient the reader, Q will be a “trimming” of the degeneration of the normal cone of π−1(∞) to \(\overline{M}\) in Lemma 8.3. The below lemma is inspired by a result of McLean [McL14, Lemma 4.6]. As with McLean’s result, Lemma 15.2 relies on a compactness result due to Fish [Fis11, Theorem A].
Lemma 15.2
Suppose that there is a sequence of (possibly disconnected) genus zero, compact, holomorphic curves uν:Σν→Q with non-empty boundariesFootnote 20 that satisfy:
-
\(\pi _{Q} \circ u_{\nu }\equiv z_{\nu }\in \mathbb{C}\) with zν→0,
-
uν(xν)→p∈F∖E∩F for some xν∈Σν,
-
uν(∂Σν)⊂∂Q,
-
uν(Σν) is connected, and
-
the energies of the uν (with respect to Ω and J) are uniformly bounded in ν.
There exists a genus zero, compact, holomorphic curve \(u: \Sigma \to \overline{M}\) with empty boundary such that u(Σ) is connected, and the image of u intersects φ(p) and \(\overline{M} \smallsetminus M\).
Proof
Fix a background metric on Q with distance function \(\operatorname{dist}\). After passing to a subsequence of the uν, assume the images of the uν lie in a fixed compact subset of Q. So by [Fis11, Theorem A], there exists a subsequence of the uν, ε>0, and a dense open subset \(\mathcal{I}\subset [0,\varepsilon )\) such that for each \(\delta \in \mathcal{I}\), the sequence of curves \(u_{\nu}^{\delta}: \Sigma _{\nu}^{\delta }\to Q^{\delta}\), where
and
Gromov converges (see [Fis11, Definition 2.11]). For each \(\delta \in \mathcal{I}\) and each ν, \(\Sigma _{\nu}^{\delta}\) is a compact surface with boundary. Now fix \(\delta \in \mathcal{I}\) such that the \(u_{\nu}^{\delta}\) Gromov converges and such that F is a proper subset of \(\operatorname{int}(Q^{\delta})\). Since uν(Σν) is connected for each ν, there exists a (possibly non-unique) subset of connected components \({\Sigma _{\nu}^{\delta}}' \subset \Sigma _{\nu}^{\delta}\) such that \(u_{\nu}^{\delta}({\Sigma _{\nu}^{\delta}}')\) is connected and intersects both \(\widetilde{p}\) and ∂Qδ. After passing to a subsequence, assume that the subsequence \(u_{\nu}^{\delta}|_{{\Sigma _{\nu}^{\delta}}'}: \Sigma _{\nu}^{ \delta '} \to Q^{\delta}\) Gromov converges. Denote the limiting stable holomorphic curve by v:C→Qδ.
The map v will not satisfy the conclusions of the lemma. However, restricting v to a subdomain will yield the desired curve. To this end, denote the associated map with “smoothed” domain by \(\widetilde{v}^{r}: \widetilde{C}^{r} \to Q^{\delta}\) (see [Fis11, Discussion before Definition 2.11]). By Gromov convergence, there exist diffeomorphisms \(\phi _{\nu}: {\Sigma _{\nu}^{\delta}}' \to \widetilde{C}^{r}\) such that the maps \(v_{\nu }:=u_{\nu}^{\delta }\circ \phi _{\nu}^{-1}: \widetilde{C}^{r} \to Q^{\delta}\) converge to \(\widetilde{v}^{r}\) in \(C^{0}(\widetilde{\Sigma}^{r})\). Using this and our hypotheses, we deduce that
-
(i)
v(C) is contained in E∪F,
-
(ii)
v(∂C)⊂E∖(E∩F),
-
(iii)
v(C)∩E≠∅,
-
(iv)
there exists x∈C∖∂C such that v(x)=p, and
-
(v)
v(C) is connected.
Now we define our desired curve. By items (i), (iii), (iv), and (v) above, there exists a sequence of connected components C0,…,Ck⊂C such that x∈C0, v(Ci)∩v(Ci+1)≠∅, and v(Ck)∩E≠∅.
Since F is a proper, complex analytic subscheme of \(\operatorname{int}(Q)\) and v:C→F∪E is a holomorphic map, if v(Ci)∩(F∖(E∩F))≠∅, then v(Ci)⊂F. Let 0≤ℓ≤k be the smallest integer such that v(Cℓ)∩(F∖(E∩F))≠∅ and v(Cℓ)∩(F∩E)≠∅. So Cℓ is the first component in the sequence that is completely contained in F and non-trivially intersects E. Given this ℓ, if i≤ℓ, then v(Ci)⊂F. Set \(\Sigma :=\sqcup _{i=0}^{\ell }C_{i}\) and define \(u: \Sigma \to \overline{M}\) by composing v|Σ with \(\varphi : F \to \overline{M}\).
It remains to show that \(u: \Sigma \to \overline{M}\) satisfies the conclusions of the lemma. To see that u defines a genus zero, compact, holomorphic curve with empty boundary, we proceed as follows. First, Σ is compact by construction. Second, the genus is zero by the classification of surfaces with boundaries. Third, to see that the boundary of Σ is empty, argue as follows: Since ∂Σ⊂∂C, v|Σ(∂Σ)⊂v(∂C)⊂E∖(E∪F) (using item (ii) above). But v|Σ(Σ)⊂F. So v|Σ(∂Σ)=∅, that is, ∂Σ=∅. Finally, that u(Σ) is connected and intersects φ(p) and \(\overline{M} \smallsetminus M\) is immediate from our construction. This completes the proof. □
16 Gromov-Floer compactness with turning off Hamiltonians
Let (M,Ω,λ) be a convex symplectic domain with an admissible almost complex structure J. We also assume that the boundary of M has non-degenerate Reeb vector field. We consider how to produce holomorphic curves from sequences of Floer trajectories associated to Hamiltonians that become zero on the interiors of domains via a Gromov-Floer-type compactness result. Consider a degenerating sequence of Hamiltonians.
Notation 16.1
Let Hν be a sequence of (a−δ+ε)-radially admissible Hamiltonians on M with
-
Hν=Hν+1 for a−δ+ε≤r(x), and
-
Hν=εν⋅g on Ma−δ, where g is a negative C2-small Morse function that is Morse-Smale with respect to J and limν→∞εν=0.
Let H∞ be the limiting Hamiltonian, which we assume to be smooth. We assume that these Hamiltonians have been chosen so that they have no 1-periodic orbits in the cylindrical region (a−δ,a−δ+ε). There is an obvious identification of the orbits of Hν with the orbits of Hν+1. So we do not distinguish between the orbits of these different Hamiltonians.
Given H∞, we define a notion of a Morse-Bott broken Floer trajectory, which is an appropriate gluing of Floer trajectories associated to (H∞,J) with segments of negative gradient trajectories of g. Similar definitions appear in [DL19] and [BO09]. The main difference is that our Hamiltonian H∞ is non-degenerate in the collar neighborhood of the boundary. We added in perturbations near our S1-families of orbits (see Remark 5.7). Consequently, we do not need to consider “cascades” that arise when one “turns off” the Hamiltonian perturbation term about these orbits.
Definition 16.2
A Morse-Bott broken Floer trajectory of type ((H∞,J,g),x−,x+) is a tuple (γ0,u1,γ1,…,uk,γk,uk+1,uk+2,…,um) where
-
(i)
ui:Ci→M is a smooth map with each Ci being a nodal curve of type (0,2) with punctures \(p_{i}^{\pm}\) both contained in the same irreducible component, denoted \(C_{i}^{0}\), and
-
(ii)
γi:Ii→M is a smooth map with Ii being a closed, connected subset of \(\mathbb{R}\).Footnote 21
These maps satisfy
-
(i)
\(\lim _{s \to \pm \infty} u^{i}|_{C_{i}^{0}} = x_{\pm}^{i}\) are orbits of H∞,Footnote 22
-
(ii)
lims→−∞γ0(s)=x−,
-
(iii)
lims→+∞um(s,t)=x+,
-
(iv)
\(\underline{ev}(\gamma ^{i}) = x_{+}^{i}\) for 1≤i≤k,
-
(v)
\(\overline{ev}(\gamma ^{i}) = x_{-}^{i+1}\) for 0≤i≤k, and
-
(vi)
\(x_{+}^{i} = x_{-}^{i+1}\) for k+1≤i≤m−1,
and
-
(i)
\(\overline{\partial}_{(H_{\infty},J)} u^{i}|_{C_{i}^{0}} \equiv 0\),
-
(ii)
\(u^{i}|_{C_{i} \smallsetminus C_{i}^{0}}\) is holomorphic, and
-
(iii)
−∇g∘γi=(γi)′.
See Figure 8 for a depiction of a Morse-Bott broken Floer trajectory. Notice that in Definition 16.2, the orbit x+ does not necessarily need to be a non-constant orbit. Similarly, the orbit x− does not necessarily need to be a constant orbit. We point out that if x− is non-constant and x+ is constant, then by Proposition 18.4 no such Morse-Bott broken Floer trajectory can exist. In our applications, x− will be a constant orbit and x+ will be a non-constant orbit.
We want the following compactness result.
Proposition 16.3
Let \(u_{\nu }\in \overline{\mathcal{M}}((H_{\nu},J),x_{-},x_{+})\) be a sequence of Floer trajectories with energies uniformly bounded by a constant E, and suppose that each uν has a single irreducible component. There exists a Morse-Bott broken Floer trajectory of type ((H∞,J,g),x−,x+), (γ0,u1,γ1,…,uk,γk,uk+1,uk+2,…,um), and shifts \(s_{\nu}^{i} \in \mathbb{R}\) so that \(u_{\nu}(\cdot + s_{\nu}^{i},\cdot )\) converges to ui in the Gromov-Floer sense, and \(\sum _{i=0}^{m} E(u^{i}) \leq E\).
To drop the assumption that uν has a single irreducible component and still obtain a Morse-Bott broken Floer trajectory, one simply inducts, keeping track of bubbles. The proof of Proposition 16.3 is long and slightly tedious. We give it as a sequence of claims. Now we fix notation.
Notation 16.4
Fix a background metric on M with injectivity radius less than 1. Let dist denote its associated distance function. Let
denote the open metric ball of radius c about a 1-periodic orbit x of Hν. Without loss of generality, we may assume that
-
the B1(x) are pairwise disjoint among 1-periodic orbits of Hν, and
-
if r(x)≥a−δ+ε, then r(B1(x))≥a−δ+ε.
We construct the Morse-Bott broken Floer trajectory inductively. We will start at the orbit x+ and construct our way down to the orbit x−.
Lemma 16.5
If r(x+)≥a−δ+ε, then there exists sequences of shifts \(s_{\nu}^{i}\) for 1≤i≤ℓ (for some ℓ) such that (after extracting a subsequence) \(u_{\nu}(\cdot + s_{\nu}^{i},\cdot )\) converges in the Gromov topology to an element ui of \(\overline{\mathcal{M}}((H_{\infty},J),x_{-}^{i},x_{+}^{i})\), where \(x_{-}^{i}\) and \(x_{+}^{i}\) are 1-periodic orbits of H∞ that satisfy:
-
(i)
\(x_{+}^{1} = x_{+}\),
-
(ii)
\(x_{-}^{i} = x_{+}^{i+1}\) for 1≤i≤ℓ−1,
-
(iii)
\(r(x_{+}^{i}) \geq a - \delta +\varepsilon \) for 1≤i≤ℓ,
-
(iv)
\(r(x_{-}^{i}) \geq a - \delta +\varepsilon \) for 1≤i≤ℓ−1, and
-
(v)
either \(x_{-}^{\ell }= x_{-}\) or \(r(x_{-}^{\ell}) \leq a - \delta \).
The proof of Lemma 16.5 follows the classical proof of Floer’s original global compactness result [Flo89, Proposition 3b]. We closely follow the proof in [AD14, Theorem 9.1.7] in order to fix notation and establish some properties for our sequences of shifts, both of which will be used later.
Proof
Define
Consider \(u_{\nu}(\cdot + s_{\nu}^{1},\cdot )\). After extracting a subsequence, it converges in the Gromov topology to an element u1 of \(\overline{\mathcal{M}}((H_{\infty},J),x_{-}^{1},x_{+}^{1})\) by Floer’s original compactness theorem [Flo89, Proposition 3c]. By construction,
for all s>0. Also, \(u_{\nu}(s_{\nu}^{1},t) \in \partial B_{1}(x_{+})\) for some t. So u1 must satisfy:
-
u1(s,⋅)∩B1(x+)≠∅ for s>0, and
-
u1(0,⋅)∩∂B1(x+)≠∅.
Since the 1-periodic orbits of H∞ are isolated for r≥a−δ+ε,
If \(r(x_{-}^{1}) \leq r - \delta \), then we are done. If not, then \(r(x_{-}^{1}) \geq a - \delta + \varepsilon \), and we iterate the following argument below until we do obtain a 1-periodic orbit \(x_{-}^{\ell}\) with \(r(x_{-}^{\ell}) \leq a - \delta \).
Since \(\lim _{s \to -\infty} u^{1}(s,t) = x_{-}^{1}\), there exists s− so that \(u^{1}(s,\cdot ) \in B_{1}(x_{-}^{1})\) for all s≤s−. Since \(u_{\nu}(s^{-} +s_{\nu}^{1},\cdot )\) converges to u1(s−,⋅), we have that
for ν≫0. Since \(x_{-}^{1} \neq x_{-}\), uν must exit \(B_{1}(x_{-}^{1})\) for \(s\ll s^{-}+s_{\nu}^{1}\). So define
Consider \(u_{\nu}(\cdot + s_{\nu}^{2}, \cdot )\). After extracting a subsequence, this sequence converges in the Gromov topology to an element u2 of \(\overline{\mathcal{M}}((H_{\infty},J),x_{-}^{2},x_{+}^{2})\). We claim that \(x_{+}^{2} = x_{-}^{1}\), and \(x_{-}^{2} \neq x_{-}^{1}\).
We first observe that \(s_{\nu}^{1} - s_{\nu}^{2} \to + \infty \). Indeed, suppose by way of contradiction that \(s_{\nu}^{1} - s_{\nu}^{2} \leq C\) for some constant C. Then \([s_{\nu}^{2} - s_{\nu}^{1},s^{-}] \subset [-C,s^{-}]\). Since \(u_{\nu}(\cdot + s_{\nu}^{1},\cdot ) \to u^{1}\) uniformly on all compact subsets modulo bubbling, it does so on [−C,s−]×S1. By definition of s−, \(u^{1}([-C,s^{-}],\cdot ) \subset B_{1}(x_{-}^{1})\). So for ν≫0,
In particular, \(u(s_{\nu}^{2},\cdot ) \subset B_{1}(x_{-}^{1})\), which is a contradiction since \(u_{\nu}(s_{\nu}^{2},\cdot ) \cap \partial B_{1}(x_{-}^{1}) \neq \varnothing \).
Now for fixed s>0, there exists ν≫0 such that
So for this fixed s>0 and ν≫0,
So \(u^{2}(s,\cdot ) \cap B_{1}(x_{-}^{1}) \neq \varnothing \) for all s>0. Since \(x_{-}^{1}\) is an isolated orbit,
Also, \(u^{2}(0,\cdot ) \cap \partial B_{1}(x_{+}^{2}) \neq \varnothing \). So u2 must exit this ball, and, consequently, \(x_{-}^{2} \neq x_{+}^{2}\).
We iterate this argument to obtain shifts \(s_{\nu}^{i}\) for 1≤i≤ℓ and Floer trajectories \(u^{i} \in \overline{\mathcal{M}}((H_{\infty},J),x_{-}^{i},x_{+}^{i})\) that satisfy the conclusions of the lemma. □
Given Lemma 16.5, either \(x_{-}^{\ell }= x_{-}\), or \(r(x_{-}^{\ell}) \leq a - \delta \). In the former case, we are done. So we assume that \(r(x_{-}^{\ell}) \leq a - \delta \) and continue our argument. Now our argument starts to differ from the standard argument presented in [AD14].
Lemma 16.6
There exists a sequence of shifts \(s_{\nu}^{\ell +1}\) such that (after extracting a subsequence) \(u_{\nu}(\cdot + s_{\nu}^{\ell +1},\cdot )\) convergences in the Gromov topology to an element uℓ+1 of \(\overline{\mathcal{M}}((H_{\infty},J),x_{-}^{\ell +1},x_{+}^{\ell +1})\), where \(x_{-}^{\ell +1}\) and \(x_{+}^{\ell +1}\) are 1-periodic orbits of H∞ with
-
(i)
\(s_{\nu}^{\ell} - s_{\nu}^{\ell +1} \to +\infty \),
-
(ii)
\(x_{+}^{\ell +1} \in \overline{B_{1}(x_{-}^{\ell})}\), and
-
(iii)
r(uℓ+1)≤a−δ.
Proof
As in Lemma 16.5, since \(\lim _{s \to -\infty} u^{\ell}(s,t) = x_{-}^{\ell}\), there exists \(s_{n}^{-}\) such that \(u^{\ell}(s,t) \in B_{1/n}(x_{-}^{\ell})\) for all \(s \leq s_{n}^{-}\). Since \(u_{\nu}(s_{n}^{-}+s_{\nu}^{\ell},t)\) converges to \(u^{\ell}(s_{n}^{-},t)\),
for ν≫0. Since \(\lim _{s \to -\infty} u_{\nu}(s,t) = x_{-} \neq x_{-}^{\ell}\), uν must exit \(B_{1/n}(x_{-}^{\ell})\) for \(s \ll s_{n}^{-}+s_{\nu}^{\ell}\). So define
and set \(s_{\nu}^{\ell +1} :=s_{\nu ,1}^{\ell +1}\). Consider the sequence of Floer trajectories \(u_{\nu}(\cdot +s_{\nu}^{\ell +1},\cdot )\). After extracting a subsequence, this sequence converges in the Gromov topology to an element uℓ+1 of \(\overline{\mathcal{M}}((H_{\infty},J),x_{-}^{\ell +1},x_{+}^{\ell +1})\). To wrap up the proof, we make remarks.
-
(i)
As in Lemma 16.5, \(s_{\nu}^{\ell }- s_{\nu}^{\ell +1} \to +\infty \).
-
(ii)
As in Lemma 16.5, \(u^{\ell +1}(s) \in \overline{B_{1}(x_{-}^{\ell})}\) for s≥0. In particular, \(x_{+}^{\ell }\in \overline{B_{1}(x_{-}^{\ell})}\). However, since the orbits of H∞ are non-isolated in r≤a−δ, we can not conclude that \(x_{+}^{\ell +1}\) is \(x_{-}^{\ell}\).
-
(iii)
A priori, uℓ+1 could be constant. However, if it is constant, then \(x_{-}^{\ell +1} \neq x_{-}^{\ell}\) because uℓ+1(0,⋅) meets \(\partial B_{1}(x_{-}^{\ell})\).
-
(iv)
Since the positive end of uℓ+1 is contained in {r≤a−δ}, Lemma 5.8 implies that all of uℓ+1 is contained in {r≤a−δ}, as desired.
□
We now construct a possibly broken negative gradient fragment of g that starts at \(x_{+}^{\ell +1}\) and ends at \(x_{-}^{\ell}\).
Lemma 16.7
There exists a sequence of shifts \(s_{\nu}^{top}\) such that (after extracting a subsequence) \(u_{\nu}(\cdot + s_{\nu}^{\ell +1},\cdot )\) converges in the Gromov topology to the constant curve at \(x_{+}^{\ell +1}\).
Proof
We will need to extract a subsequence and relabel our sequence in order to construct the \(s_{\nu}^{top}\). First, if uℓ+1 is constant, then we are done and set \(s_{\nu}^{top} = s_{\nu}^{\ell +1}\). Now assume that uℓ+1 is non-constant.
As before, there exists constants \(s_{n}^{+}>0\) such that \(u^{\ell +1}(s,t) \in B_{1/n}(x_{+}^{\ell +1})\) for all \(s \geq s_{n}^{+}\), and there exists νn such that if ν≥νn, then
Since \(s_{\nu}^{\ell} - s_{\nu}^{\ell +1} \to \infty \), we may assume that if ν≥νn, then \(s_{\nu}^{\ell }- s_{\nu}^{\ell +1} > n+s_{n}^{+}\). Now diagonalize and relabel. Set \(\widetilde{u}_{\nu }:=u_{\nu _{\nu}}\) and \(\widetilde{s}_{\nu}^{i} :=s_{\nu _{\nu}}^{i}\) for all i. Notice that
-
\(\widetilde{u}_{\nu}(\cdot +\widetilde{s}_{\nu}^{i}, \cdot )\) converges to ui,
-
\(\widetilde{u}_{\nu}(\widetilde{s}_{\nu}^{\ell +1}+s_{\nu}^{+},\cdot ) \in B_{1/\nu}(x_{+}^{\ell +1})\),
-
\(\widetilde{s}_{\nu}^{\ell }- (\widetilde{s}_{\nu}^{\ell +1}+{s}_{\nu}^{+}) \to \infty \), and
-
\({s}_{\nu}^{+} - \widetilde{s}_{\nu}^{\ell +1} \to \infty \).Footnote 23
Write uν for \(\widetilde{u}_{\nu}\) and \(s_{\nu}^{i}\) for \(\widetilde{s}_{\nu}^{i}\). We define \(s_{\nu}^{top} :=s_{\nu}^{\ell +1}+s_{\nu}^{+}\). Consider \(u_{\nu}(\cdot +s_{\nu}^{top},\cdot )\). After extracting a subsequence, this converges in the Gromov topology to some utop. For each s fixed,
for ν≫0, where s− is as in Lemma 16.6. It follows that \(u^{top}(s) \in B_{1}(x_{-}^{\ell})\) for all s and, consequently, utop is constant. In particular, utop converges to the constant curve at \(x_{+}^{\ell +1}\). □
Lemma 16.8
For each n sufficiently large, there exists a sequence of shifts \(s_{\nu ,n}^{\ell +1}\) such that (after extracting a subsequence) \(u_{\nu}(\cdot + s_{\nu ,n}^{\ell +1},\cdot )\) converges in the Gromov topology to a constant curve vn at a point \(x_{n} \in \partial B_{1/n}(x_{-}^{\ell})\). Moreover, \(s_{\nu ,n}^{\ell +1} - s_{\nu}^{top} \to \infty \), and \(s_{\nu}^{\ell }- s_{\nu ,n}^{\ell +1} \to \infty \).
Proof
Recall the shifts \(s_{\nu ,n}^{\ell +1}\) from equation (1). Fix N≫0 such that \(dist(x_{+}^{\ell +1},x_{-}^{\ell}) > 1/N\). Define vn to be the Gromov limit of the curves \(u_{\nu}(s_{\nu ,n}^{\ell +1}+\cdot , \cdot )\) for n≥N. We first show that for each n, \(s_{\nu ,n}^{\ell +1} - s_{\nu}^{top} \to \infty \), and \(s_{\nu}^{\ell }- s_{\nu ,n}^{\ell +1} \to \infty \). The second item follows from the same argument used to show that \(s_{\nu}^{\ell }- s_{\nu}^{\ell +1} \to \infty \). For the first item, suppose by way of contradiction that \(0 \leq s_{\nu ,n}^{\ell +1} - s_{\nu}^{top} \leq C\). Since \(u_{\nu}(\cdot + s_{\nu}^{top},\cdot )\) converges to \(x_{+}^{\ell +1}\) on all compact subsets, it does so on [0,C]. So
But vn(0,⋅) meets the boundary of \(B_{1/n}(x_{-}^{\ell})\), a contradiction.
As before, vn(s,t) is contained in \(B_{1/n}(x_{-}^{\ell})\) for s>0; however, we further claim that vn(s) is contained in \(B_{1}(x_{-}^{\ell})\) for s<0. For fixed s<0 and ν≫0,
It follows that \(u_{\nu}(s+s_{\nu ,n}^{\ell},t) \in B_{1}(x_{-}^{\ell})\). Consequently, vn must be constant and contained in the boundary of \(B_{1/n}(x_{-}^{\ell})\). □
Lemma 16.9
There exists a possibly broken negative gradient fragment of g that starts at \(x_{+}^{\ell +1}\) and ends at \(x_{-}^{\ell}\) with length \(\lim _{n} \lim _{\nu} \varepsilon _{\nu }\cdot (s_{\nu}^{top} - s_{ \nu ,n}^{\ell +1})\).
Proof
We will prove that there exists a possibly broken negative gradient fragment of g from \(x_{+}^{\ell +1}\) to xn. As the xn converge to \(x_{-}^{\ell}\), a diagonalization produces the desired trajectory from \(x_{+}^{\ell +1}\) to \(x_{-}^{\ell}\).
The energies of the \(u_{\nu}(\cdot +s_{\nu ,n}^{\ell +1},\cdot )\) over the intervals \([s_{\nu}^{top} - s_{\nu ,n}^{\ell +1},0]\) converge to zero since their Gromov limits over these intervals are constant. So by the work in [Oh05] (see [OZ22, Theorem 4.7] for a statement), there exists a possibly broken negative gradient fragment of g from \(x_{+}^{\ell +1}\) to xn of length \(\lim _{\nu} \varepsilon _{\nu }\cdot (s_{\nu}^{top} - s_{\nu ,n}^{ \ell +1})\). □
One inducts upon the arguments in Lemma 16.6, Lemma 16.7, Lemma 16.8, and Lemma 16.9 to obtain the desired Morse-Bott broken Floer trajectory in Proposition 16.3. The energy equality in the statement of Proposition 16.3 follows from the fact that after ignoring the gradient trajectory pieces, the sequence of curves uν Gromov-Floer converges to ⊔iui. Since Gromov-Floer convergence preserves energy (see, for example, [Sal97, Sect. 3.1] and [Flo89, Proposition 3c] and note that the proofs therein do not need that the sequence uν converges to Floer trajectories of a non-degenerate Hamiltonian). The stated energy inequality follows. This completes the proof of Proposition 16.3.
Part V. Appendix
17 Algebraic preliminaries
17.1 Chain complexes and conventions
We fix conventions for chain complexes and mapping telescopes.
Definition 17.1
Let \(\mathbb{K}\) be a unital, commutative ring of characteristic zero. Let \(\operatorname{Ch}(\mathbb{K})\) denote the category whose objects are \(\mathbb{Z}\)-graded chain complexes over \(\mathbb{K}\) and whose morphisms are chain maps. We use cohomological grading conventions for our chain complexes. So the differentials increase the grading by +1.
Definition 17.2
A ray of chain complexes (a ray) is a sequence of chain maps
Definition 17.3
The mapping telescope of a ray \(\mathcal{A}\) is the chain complex with terms
and differential
Remark 17.4
Pictorially, the differential of a mapping telescope is represented by the following diagram. Notice that all maps have degree +1.
Remark 17.5
The mapping telescope of a ray gives a representative for the homotopy colimit of the associated diagram.
There is a filtration
We have induced maps \(F^{n} \operatorname{Tel}(\mathcal{A}) \to A_{n}\),
The maps \(F^{n} \operatorname{Tel}(\mathcal{A}) \to A_{n}\) are quasi-isomorphisms and fit into a strictly commutative diagram
This induces a map
Since colimits commute with cohomology, we can deduced the following.
Lemma 17.6
The canonical map \(\operatorname{Tel}(\mathcal{A}) \to \operatorname{colim}_{n} A_{n}\) is a quasi-isomorphism.
Using the filtration, we describe how homotopy commutative diagrams of rays induce morphisms of the associated mapping telescopes. Consider a homotopy commutative diagram of rays
This gives rise to a strictly commutative diagram of the filtered complexes
where
Passing to colimits, one obtains the desired morphism of the associated mapping telescopes.
17.2 Completions of chain complexes over the Novikov ring
We discuss completions of chain complexes over the universal Novikov ring and how mapping telescopes and colimits of rays behave with respect to such completions.
Definition 17.7
The universal Novikov field overFootnote 24\(\mathbb{Q}\) is
with addition and multiplication defined as they are for power series.
Definition 17.8
The valuation map \(\operatorname{val}: \Lambda \to \mathbb{R}\cup \{\infty \}\) is
Definition 17.9
The universal Novikov ring over \(\mathbb{Q}\) is \(\Lambda _{\geq 0} :=\operatorname{val}^{-1}([0,\infty ))\). Define \(\Lambda _{\geq R} :=\operatorname{val}^{-1}([R,\infty ))\) and \(\Lambda _{> R} :=\operatorname{val}^{-1}((R,\infty ))\), which are ideals in Λ≥0.
Given a chain complex A over Λ≥0 that is a free Λ≥0-module, the valuation map extends to a valuation map \(\operatorname{val}: A \to \mathbb{R}\cup \{\infty \}\) by
If A is finitely generated with basis a0,…,ak, the valuation of a=∑iλi⋅ai is \(\min \{ \operatorname{val}(\lambda _{i})\}\).
Definition 17.10
The completion functor \(\widehat{\cdot}: \operatorname{Ch}(\Lambda _{\geq 0}) \to \operatorname{Ch}(\Lambda _{\geq 0})\) sends chain complexes to their degree-wise completions,
with degree-wise completed differentials \(\widehat{d}\).
Remark 17.11
It is useful to think of completions in terms of Cauchy sequences. A Cauchy sequence in A is a sequence (a1,a2,…) of elements of A such that for every R≥0 there exists \(N \in \mathbb{N}\) so that if n,m≥N, then \(\operatorname{val}(a_{n}-a_{m}) \geq R\). Two Cauchy sequences (a1,a2,…,) and \((a_{1}',a_{2}',\dots ,)\) are equivalent if and only if for every R≥0 there exists \(N \in \mathbb{N}\) so that if n,m≥N, then \(\operatorname{val}(a_{n}-a_{m}') \geq R\). The completion \(\widehat{A}\) is given by the set of Cauchy sequences in A. The completion of a map φ:A→B is given by the induced map on Cauchy sequences,
There is a canonical map \(A \to \widehat{A}\) given by the inclusion of constant Cauchy sequences, \(a \mapsto \widehat{a} :=(a,a,a,\dots )\).
For the case where A is a free Λ≥0-module, we have the following description.
and
From this description, it becomes clear that if A is a degree-wise finitely generated, free Λ≥0-module, then the induced map \(A \to \widehat{A}\) is an isomorphism, that is, A is complete.
In general, the functor \(\widehat{\cdot}: \operatorname{Ch}(\Lambda _{\geq 0}) \to \operatorname{Ch}(\Lambda _{\geq 0})\) is not exact. It is a limit and thus the obstruction to exactness is given by the non-vanishing of the associated lim1 functor. Nevertheless, we still have the following analogue of Lemma 17.6 for completions, for example, see [Var21, Lemma 2.3.7].
Lemma 17.12
The canonical map \(\operatorname{Tel}(\mathcal{A}) \to \operatorname{colim}\mathcal{A}\) induces a quasi-isomorphism \(\widehat{\operatorname{Tel}}(\mathcal{A}) \to \widehat{\operatorname{colim}}\mathcal{A}\).
17.3 From completed differentials to uncompleted differentials
We discuss how non-trivial differentials in completed complexes give rise to non-trivial differentials in the original (uncompleted) complexes. This is spelled out in the following two lemmas.
Lemma 17.13
Let A be a chain complex over Λ≥0 with x∈A closed. If \([\widehat{x}] \in H(\widehat{A}) \otimes \Lambda \) is null-homologous, then there exists λ∈Λ≥0 such that for each R≥0 there exists y∈A with
So if \(\operatorname{val}(\lambda \cdot x) \leq R\), then y is non-zero.
Proof
Using Remark 17.11, there exists a Cauchy sequence (y0,y1,…) such that the Cauchy sequence (d(y0),d(y1),…) is equivalent to the Cauchy sequence λ⋅(x,x,…) for some λ∈Λ≥0. So for each \(R \in \mathbb{R}_{\geq 0}\), there exists NR such that for all n≥NR, \(\operatorname{val}(\lambda \cdot x - d(y_{n})) > R\). We take \(y = y_{N_{R}}\). □
Lemma 17.14
Let \(\mathcal{A}\) be a ray of chain complexes over Λ≥0 with x∈A0 closed. If \([\widehat{x}]\) maps to zero under
then there exists λ∈Λ≥0 such that for each R≥0 there exists y∈An (for some n dependent on R) with
So if \(\operatorname{val}(\lambda \cdot \alpha _{n-1} \circ \cdots \circ \alpha _{0}(x)) \leq R\), then y is non-zero.
Proof
By Lemma 17.13, there exists λ∈Λ≥0 such that for each R≥0, there exists \(\widetilde{y} \in \operatorname{Tel}(\mathcal{A})\) with
where we have used x to denote the image of x in \(\operatorname{Tel}(\mathcal{A})\). This inequality is realized in, say, \(F^{n} \operatorname{Tel}(\mathcal{A})\). Write
Applying the map \(F^{n} \operatorname{Tel}(\mathcal{A}) \to A_{n}\),
So we set
□
18 An integrated maximum principle for convex symplectic domains
We establish a maximum principle for compact symplectic manifolds (M,Ω) with boundaries of a slightly weaker form than those of convex symplectic domains.
Definition 18.1
A compact symplectic manifold with boundary (M,Ω) is a weakly convex symplectic domain if the following hold.
-
(i)
There exists a collar neighborhood N(∂M) of the boundary that is symplectomorphic to the (bottom half of the) symplectization of a stable Hamiltonian structure (Ω|∂M,α) on ∂M for some 1-form α on ∂M.
Using the identification with the symplectization, the radial/collar coordinate is
The associated Liouville 1-form on M is λ=r⋅α.
-
(i)
There exists an Ω-compatible almost complex structure J on M such that on N(∂M),
-
a)
−df∘J=λ for some function f (dependent on J) in r with f′(r)>0, and
-
b)
dα|ξ(⋅,J⋅) is semi-positive definite on ξ.
-
a)
Denote a weakly convex symplectic domain by (M,Ω,λ). Finally, an almost complex structure J as above is weakly admissible for the tuple (M,Ω,λ).
Remark 18.2
A convex symplectic domain is a weakly convex symplectic domain. We could have phrased all of our Floer theoretic constructions, arguments, and properties in terms of weakly convex symplectic domains. In particular, we could define action completed symplectic cohomology for these domains. The additional assumptions for convex symplectic domains are not (vitally) used in any of our constructions or arguments. We introduce these weakly convex symplectic domains now because we need this weaker notion of convexity and its associated integrated maximum principle when we deform our rescaled almost complex structure in our rescaling argument, see Sect. 10.
The usage of some flavor of the convexity is standard in pseudo-holomorphic curve theory since it gives maximum principles for pseudo-holomorphic curves. Our’s is no exception.
Notation 18.3
-
(i)
Let (M,Ω,λ) be a weakly convex symplectic manifold.
-
(ii)
Let Js be an \(\mathbb{R}\)-family of admissible almost complex structures for this tuple. We assume that −df∘Js=λ for a single function f (as opposed to some family fs).
-
(iii)
Let \(H: \mathbb{R}\times S^{1} \times M \to \mathbb{R}\) be a family of Hamiltonians such that Hs|N(∂M)=hs, where hs is a family of radial functions in r that satisfies ∂s∂rhs≤0.
-
(iv)
Let \(u: \mathbb{R}\times S^{1} \to M\) be a smooth map that satisfies
$$ 0 = (du-X_{H} \otimes dt)^{0,1}. $$
We now give our integrated maximum principle for weakly convex symplectic domains. It is inspired by the integrated maximum principle in [AS10, Sect. 7] and the maximum principle in [Sei08, Section (3c)]. In our case, the exterior derivative of the Liouville 1-form need not be the symplectic form and so some variant of the argument is required.
Proposition 18.4
If
then r∘u≤max(c±). Moreover, if ∂r∂rhs≥0, then r∘u≤c+, and if c−=c+, then r∘u is constant.
Proof
For the first statement, since f satisfies f′(r)>0, it suffices to show if lims→±∞f∘u(s,t)≤f(c±), then f∘u≤max(f(c±)). As in [Sei08, Section (3c)], one finds
So f∘u satisfies a maximum principle, giving the first claim.
For the second part, assume by way of contradiction that c−>c+. So f∘u≤f(c−). For each fixed s,
The first inequality follows from Stokes’ Theorem, and the positivity of u∗dα. The second inequality follows from the assumptions that ∂s∂rhs≤0, ∂r∂rhs≥0, and the fact that ∂s(r∘u) must be non-positive near lims→−∞u(s,t). So the average value of ∂s(f∘u)(s) on each s-slice of the domain of u is positive. Thus, f∘u must be constant, which implies that c−=c+, a contradiction.
For the final statement, if c−=c+, then the above argument (does not lead to a contradiction but instead) implies that r∘u is constant, as desired. □
19 Stable displaceability of neighborhoods of divisors
The reader should recall the definition of stably displaceability from Definition 6.7. Here we will discuss and prove the following.
Lemma 19.1
Let \(\pi : M \to \mathbb{C}\) be a proper surjective morphism of smooth, quasi-projective varieties. Given a Kähler form Ω on M, any fibre of π is stably displaceable in (M,Ω).
Lemma 19.2
Let (M,Ω) be a symplectic manifold with a proper surjective map \(\pi : M \to \mathbb{C}\) that is submersive on a punctured neighborhood of the origin. If π−1(0) is stably displaceable in (M,Ω), then there exists ε>0 such that \(\pi ^{-1}(\mathbb{D}_{\varepsilon})\) is stably displaceable in (M,Ω).
Combining Lemma 19.1 and Lemma 19.2, we obtain the following.
Corollary 19.3
Let \(\pi : {M} \to \mathbb{C}\) be a proper surjective morphism of smooth, quasi-projective varieties. Given a Kähler form Ω on M, there exists ε>0 such that \(\pi ^{-1}(\mathbb{D}_{\varepsilon})\) is stably displaceable in (M,Ω).
Proof
By Lemma 19.1, π−1(0) is stably displaceable in (M,Ω). Since π is surjective, the critical values of π are isolated. So π is submersive in a punctured neighborhood of the origin. Applying Lemma 19.2 gives the desired result. □
Lemma 19.1 follows immediately from a result of McLean:
Theorem 19.4
[McL20, Corollary 6.21]
Every proper, positive codimension subvariety of a Kähler manifold is stably displaceable.
Lemma 19.2 follows from point-set topology.
Lemma 19.5
Let f:Y→X be a continuous surjective proper map of metric spaces. Let U⊂Y be an open subset and suppose D⊂U with f−1(f(D))=D. If f(U∖D) is open, then f(U) is open.
Proof
First, if x∈f(U)∖f(D)⊂f(U∖D), then since f(U∖D) is open there exists an open subset V⊂f(U∖D)⊂f(U) that contains x. Consequently, x is an interior point of f(U).
Second, suppose that x∈f(D). Suppose by way of contradiction that it is not an interior point of f(U). There must exist xn∈B1/n(x)∖f(U) for each \(n \in \mathbb{N}\). Since f is surjective, there exists yn∈f−1(B1/n(x))∖U. Since f is proper, the yn are contained in the compact subset \(f^{-1}(\overline{B_{1}(x))}\). Passing to a subsequence and relabeling, the sequence yn converges to some point y. By continuity, f(y)=x and thus y∈D. Since U is an open subset containing D, we must have that yn∈U for n≫0, a contradiction. Consequently, each x∈f(D) is an interior point of f(U). So all the point of f(U) are interior points. □
We prove Lemma 19.2.
Proof
By assumption, π−1(0) is stably displaceable. So π−1(0)×S1⊂M×T∗S1 is Hamiltonian displaceable. Since π−1(0)×S1⊂M×T∗S1 is a compact subset, it admits an open neighborhood which is Hamiltonian displaceable. After shrinking said open neighborhood, assume it is a product U1×U2⊂M×T∗S1. By Lemma 19.5, π(U1) is open. So find ε>0 such that \(\mathbb{D}_{\varepsilon }\subset \pi (U_{1})\). Now \(\pi ^{-1}(\mathbb{D}_{\varepsilon}) \times S^{1}\) is contained in the Hamiltonian displaceable subset U1×U2 and thus \(\pi ^{-1}(\mathbb{D}_{\varepsilon})\) is stably displaceable. □
Notes
Here we mean smooth in the algebro-geometric sense, that is, π is a holomorphic submersion.
Technically speaking, if π−1(∞) is not smooth, then the total space of the degeneration to the normal cone will not be smooth. So instead we will actually work with a resolution of this variety.
We warn the reader that we use different nomenclature in Sect. 16 to state our result.
In fact, by a symplectic neighborhood theorem, it suffices for there to exist a 1-form α such that (Ω|∂M,α) is a stable Hamiltonian structure on ∂M.
The Liouville 1-form λ is only defined on N(∂M). Extending r by zero outside of N(∂M) extends λ=r⋅α to a 1-form on all of M. We do not distinguish between this extension and the original 1-form.
By the chain rule, \(\partial _{\underline{s}} \partial _{r}H^{\sigma}_{\gamma _{i}(s)}(r)( \gamma _{i}'(s)) = \partial _{s}\left (\partial _{r}H^{\sigma}_{ \gamma _{i}(s)}(r)\right )\).
By the chain rule, \(\partial _{\underline{s}} H^{\sigma}_{\gamma _{i}(s)}(t,x)(\gamma _{i}'(s)) = \partial _{s}\left (H^{\sigma}_{\gamma _{i}(s)}(t,x)\right )\).
Recall that a function \(\phi : X \to \mathbb{R}\cup \{\infty \}\) is lower semi-continuous if ϕ−1((c,∞)) is open for each \(c \in \mathbb{R}\).
A directed system is a poset \((\mathcal{D},\leq )\), which satisfies the common refinement condition, that is, for each \(A_{0},A_{1} \in \mathcal{D}\) there exists \(A_{2} \in \mathcal{D}\) such that A0,A1≤A2. A subposet \(\mathcal{D}'\) of a directed system \(\mathcal{D}\) is cofinal if for each \(A \in \mathcal{D}\) there exists an \(A' \in \mathcal{D}'\) such that A≤A′. A directed system has countable cofinality if there exists a cofinal subposet whose collection of objects is countable.
Indeed, the only element of the proof that changes is the definition of the functions fn. One would change \(f_{n}: [r_{K},1] \to \mathbb{R}\) to now satisfy:
-
(i)
fn≡n locally about rK,
-
(ii)
fn is a linear function of slope τ locally about 1,
-
(iii)
\(f'_{n} \geq 0\), and
-
(iv)
fn<fn+1.
-
(i)
The result also holds with \(\widehat{SH}(K \subset M; f)\) replaced by \(\widehat{SH}(K \subset M; f,\tau )\).
or rather this quantity scaled by an element of \(\mathbb{Q}^{\times}\) which depends on the input orbit. For conciseness, we omit this constant here and in future arguments.
The reason that we consider both colimits and mapping telescopes (that is, homotopy colimits) is two fold.
-
There associated completions are quasi-isomorphic via Lemma 17.6. So when constructing our desired long exact sequence, we can choose to work with either.
-
The chain complexes \(\operatorname{colim}(\mathcal{C}\mathcal{F}_{0}(\{H_{n}\}))\) and \(\operatorname{colim}(\mathcal{C}\mathcal{F}_{+}(\{H_{n}\}))\) are, actually, generated by the critical points of f and the pairs of orbits that correspond to Reeb orbits of the boundary’s stable Hamiltonian structure respectively. However, these descriptions are not needed to construct our long exact sequence.
-
As a result of this, our isomorphism will not be natural in the sense that it is induced from a continuation map. Of course, we could consider continuations to construct this subcomplex; however, the strictly commutative diagram in this argument will become only homotopy commutative. In light of this, we would need to consider the associated mapping cones (as opposed to quotients) and a more delicate homological analysis would be required (similar to, but different than the homological analysis given in the proof of Lemma 6.3).
We remark that Corollary 4.10 does not immediately apply here since Hn+1−Hn is not globally greater than or equal to 1. However, since any Floer trajectory of type (σn,yi,x) must be contained in the r0-slice and Hn+1−Hn is greater than or equal to 1 on this slice, the same computation shows that \(\operatorname{val}(\lambda _{i}) \geq 1\). We will continue to implicitly use similar lines of reasoning below.
The symplectic form Ω is integral if for every map u:S2→M, the integral \(\int u^{*}\Omega \in \mathbb{Z}\).
We remind the reader that since we are using Pardon’s virtual fundamental chains package, for our almost complex structures, we neither need to introduce time-dependent perturbations to them nor require them to be generically chosen. In particular, in this proof, neither J1 nor the family connecting J0 and J1 needs to be regular.
This tuple defines a Hamiltonian fibration (with open fibre) and thus determines a horizontal distribution with respect to which we can parallel transport. Given that the fibre is open, this parallel transport need not be well-defined.
that is, the symplectic parallel transport maps respect the UI structure groups.
We do not place any constraints on the topological type of the boundaries.
In other words, Ii is either of the form [a,b], [a,+∞), or (−∞,b] for some constants a and b.
If any of the orbits \(x_{\pm}^{i}\) of H∞ are contained in Ma−δ, then they could be any points (constant orbits) in Ma−δ since H∞ vanishes in this region. These orbits are not necessarily critical points of g.
Indeed, if \(s_{\nu}^{+} - s_{\nu _{\nu}}^{\ell +1}\) is bounded, then uℓ+1 would have to be constant, which we have assumed not to be the case.
For the discussion in this section, one could replace \(\mathbb{Q}\) with any unitial, commutiative ring. For the discussion of the total exposition, one could replace \(\mathbb{Q}\) with any field of characteristic zero.
References
Abouzaid, M., Blumberg, A.: Arnold conjecture and Morava K-theory (2021). arXiv:2103.01507. ArXiv preprint
Audin, M., Damian, M.: Morse Theory and Floer Homology. Universitext. Springer, London (2014). Translated from the 2010 French original by Reinie Erné
Abouzaid, M., Seidel, P.: An open string analogue of Viterbo functoriality. Geom. Topol. 14(2), 627–718 (2010)
Bourgeois, F., Oancea, A.: Symplectic homology, autonomous Hamiltonians, and Morse-Bott moduli spaces. Duke Math. J. 146(1), 71–174 (2009)
Bedulev, E., Viehweg, E.: On the Shafarevich conjecture for surfaces of general type over function fields. Invent. Math. 139(3), 603–615 (2000)
Cannas da Silva, A.: Lectures on Symplectic Geometry. Lecture Notes in Mathematics, vol. 1764. Springer, Berlin (2001)
Cieliebak, K., Floer, A., Hofer, H., Wysocki, K.: Applications of symplectic homology. II. Stability of the action spectrum. Math. Z. 223(1), 27–45 (1996)
Catanese, F., Schneider, M.: Polynomial bounds for Abelian groups of automorphisms, vol. 97 pp. 1–15 (1995). Special issue in honour of Frans Oort
Deng, Y.: On the hyperbolicity of base spaces for maximally variational families of smooth projective varieties. J. Eur. Math. Soc. 24(7), 2315–2359 (2022). With an appendix by Dan Abramovich
Diogo, L., Lisi, S.T.: Morse-Bott split symplectic homology. J. Fixed Point Theory Appl. 21(3), 77 (2019)
Fish, J.W.: Target-local Gromov compactness. Geom. Topol. 15(2), 765–826 (2011)
Floer, A.: Symplectic fixed points and holomorphic spheres. Commun. Math. Phys. 120(4), 575–611 (1989)
Fukaya, K., Ono, K.: Arnold conjecture and Gromov-Witten invariant. Topology 38(5), 933–1048 (1999)
Fulton, W.: Intersection Theory. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 2. Springer, Berlin (1984)
Griffiths, P.A.: Periods of integrals on algebraic manifolds. II. Local study of the period mapping. Am. J. Math. 90, 805–865 (1968)
Griffiths, P.A.: Periods of integrals on algebraic manifolds. III. Some global differential-geometric properties of the period mapping. Publ. Math. Inst. Hautes Études Sci. 38, 125–180 (1970)
Groman, Y.: Floer theory and reduced cohomology on open manifolds. Geometry and Topology (2020). ArXiv preprint, to appear in. arXiv:1510.04265
Gutt, J.: Generalized Conley-Zehnder index. Ann. Fac. Sci. Toulouse Math. (6) 23(4), 907–932 (2014)
Hartshorne, R.: Algebraic Geometry. Graduate Texts in Mathematics, vol. 52. Springer, New York (1977)
Hironaka, H.: Resolution of singularities of an algebraic variety over a field of characteristic zero. I, II. Ann. Math. (2) 79, 109–203 (1964). Ibid., 79, 205–326, 1964
Hacon, C.D., Kovács, S.J.: Classification of Higher Dimensional Algebraic Varieties. Oberwolfach Seminars, vol. 41. Birkhäuser, Basel (2010)
Hofer, H., Zehnder, E.: Symplectic Invariants and Hamiltonian Dynamics. Birkhäuser Advanced Texts: Basler Lehrbücher. [Birkhäuser Advanced Texts: Basel Textbooks]. Birkhäuser, Basel (1994)
Kebekus, S., Kovács, S.J.: Families of varieties of general type over compact bases. Adv. Math. 218(3), 649–652 (2008)
Kollár, J., Larsen, M.: Quotients of Calabi-Yau varieties. In: Algebra, Arithmetic, and Geometry: In Honor of Yu. I. Manin. Vol. II. Progr. Math., vol. 270, pp. 179–211. Birkhäuser, Boston (2009)
Kollár, J., Miyaoka, Y., Mori, S.: Rational connectedness and boundedness of Fano manifolds. J. Differ. Geom. 36(3), 765–779 (1992)
Kovács, S.J.: Smooth families over rational and elliptic curves. J. Algebraic Geom. 5(2), 369–385 (1996)
Kovács, S.J.: On the minimal number of singular fibres in a family of surfaces of general type. J. Reine Angew. Math. 487, 171–177 (1997)
Kovács, S.J.: Algebraic hyperbolicity of fine moduli spaces. J. Algebraic Geom. 9(1), 165–174 (2000)
Lalonde, F., McDuff, D., Polterovich, L.: Topological rigidity of Hamiltonian loops and quantum homology. Invent. Math. 135(2), 369–385 (1999)
Liu, G., Tian, G.: Floer homology and Arnold conjecture. J. Differ. Geom. 49(1), 1–74 (1998)
Lurie, J.: Higher Algebra. Available for Download (2017). https://www.math.ias.edu/~lurie/papers/HA.pdf
McDuff, D.: Quantum homology of fibrations over S2. Int. J. Math. 11(5), 665–721 (2000)
McLean, M.: The growth rate of symplectic homology and affine varieties. Geom. Funct. Anal. 22(2), 369–442 (2012)
McLean, M.: Symplectic invariance of uniruled affine varieties and log Kodaira dimension. Duke Math. J. 163(10), 1929–1964 (2014)
McLean, M.: Reeb orbits and the minimal discrepancy of an isolated singularity. Invent. Math. 204(2), 505–594 (2016)
McLean, M.: Birational Calabi-Yau manifolds have the same small quantum products. Ann. Math. (2) 191(2), 439–579 (2020)
Migliorini, L.: A smooth family of minimal surfaces of general type over a curve of genus at most one is trivial. J. Algebraic Geom. 4(2), 353–361 (1995)
McDuff, D., Salamon, D.: J-Holomorphic Curves and Symplectic Topology, 2nd edn. American Mathematical Society Colloquium Publications., vol. 52. Am. Math. Soc., Providence (2012)
McDuff, D., Tehrani, M., Fukaya, K., Joyce, D.: Virtual Fundamental Cycles in Symplectic Topology. Mathematical Surveys and Monographs, vol. 237. Am. Math. Soc., Providence (2019). Papers based on the lecture courses held at Simons Center for Geometry and Physics, 2013–2014, Edited by John W. Morgan
Oh, Y.-G.: Spectral invariants, analysis of the Floer moduli space, and geometry of the Hamiltonian diffeomorphism group. Duke Math. J. 130(2), 199–295 (2005)
Oh, Y.-G.: Symplectic Geometry and Pseudoholomorphic Curves. Vol. 1 Symplectic Topology and Floer Homology. New Mathematical Monographs, vol. 28. Cambridge University Press, Cambridge (2015)
Oguiso, K., Viehweg, E.: On the isotriviality of families of elliptic surfaces. J. Algebraic Geom. 10(3), 569–598 (2001)
Oh, Y.-G., Zhu, K.: Partial collapsing degeneration of Floer trajectories and adiabatic gluing (2022). ArXiv preprint. arXiv:1103.3525
Pardon, J.: An algebraic approach to virtual fundamental cycles on moduli spaces of pseudo-holomorphic curves. Geom. Topol. 20(2), 779–1034 (2016)
Popa, M., Schnell, C.: Viehweg’s hyperbolicity conjecture for families with maximal variation. Invent. Math. 208(3), 677–713 (2017)
Popa, M., Taji, B., Wu, L.: Brody hyperbolicity of base spaces of certain families of varieties. Algebra Number Theory 13(9), 2205–2242 (2019)
Robbin, J., Salamon, D.: The Maslov index for paths. Topology 32(4), 827–844 (1993)
Salamon, D.: Lectures on Floer Homology. Available for Download (1997). https://people.math.ethz.ch/salamon/PREPRINTS/floer.pdf
Schumacher, G.: Positivity of relative canonical bundles and applications. Invent. Math. 190(1), 1–56 (2012)
Seidel, P.: π1 of symplectic automorphism groups and invertibles in quantum homology rings. Geom. Funct. Anal. 7(6), 1046–1095 (1997)
Seidel, P.: A biased view of symplectic cohomology. In: Current Developments in Mathematics, 2006, pp. 211–253. Int. Press, Somerville (2008)
The Stacks Project Authors. Stacks Project. https://stacks.math.columbia.edu (2021)
Taji, B.: Birational geometry of smooth families of varieties admitting good minimal models (2020). arXiv:2005.01025. ArXiv preprint
Tehrani, M.F., McLean, M., Zinger, A.: Normal crossings singularities for symplectic topology. Adv. Math. 339, 672–748 (2018)
Tonkonog, D., Varolgunes, U.: Super-rigidity of certain skeleta using relative symplectic cohomology. J. Topol. Anal. 15(1), 57–105 (2023)
Varolgunes, U.: Mayer-Vietoris property for relative symplectic cohomology (2018). https://umutvg.people.Stanford.edu/sites/g/files/sbiybj8196/f/thesis_0.pdf
Varolgunes, U.: Mayer-Vietoris property for relative symplectic cohomology. Geom. Topol. 25(2), 547–642 (2021)
Venkatesh, S.: Rabinowitz Floer homology and mirror symmetry. J. Topol. 11(1), 144–179 (2018)
Voisin, C.: Hodge Theory and Complex Algebraic Geometry. I, Cambridge Studies in Advanced Mathematics, vol. 76. Cambridge University Press, Cambridge (2007). English edn. Translated from the French by Leila Schneps
Viehweg, E., Zuo, K.: On the isotriviality of families of projective manifolds over curves. J. Algebraic Geom. 10(4), 781–799 (2001)
Acknowledgements
I would like to thank my thesis advisor, Mohammed Abouzaid, for suggesting this project, for numerous conversations, and for his comments on drafts of this paper. I would like to thank Daniel Litt for partially conjecturing our main results, and for conversations about their algebro-geometric motivation. Finally, I would like to thank Mark McLean for conversations pertaining to this paper.
Funding
Open Access funding provided by the MIT Libraries.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author was supported by the National Science Foundation Graduate Student Fellowship Program through NSF grant DGE 16-44869. The author was also partially supported by NSF grants DMS-1609148, and DMS1564172, and by the Simons Foundation through its “Homological Mirror Symmetry” Collaboration grant. The author was supported by a National Science Foundation Postdoctoral Research Fellowship through NSF grant DMS-2202941.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Pieloch, A. Sections and Unirulings of Families over \(\mathbb{P}^{1}\). Geom. Funct. Anal. (2024). https://doi.org/10.1007/s00039-024-00679-6
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00039-024-00679-6