Abstract
Let Y be a prequantization bundle over a closed spherically monotone symplectic manifold \(\Sigma \). Adapting an idea due to Diogo and Lisi, we study a split version of Rabinowitz Floer homology for Y in the following two settings. First, \(\Sigma \) is a symplectic hyperplane section of a closed symplectic manifold X satisfying a certain monotonicity condition; in this case, \(X {{\setminus }} \Sigma \) is a Liouville filling of Y. Second, the minimal Chern number of \(\Sigma \) is greater than one, which is the case where the Rabinowitz Floer homology of the symplectization \(\mathbb {R} \times Y\) is defined. In both cases, we construct a Gysin-type exact sequence connecting the Rabinowitz Floer homology of \(X{\setminus }\Sigma \) or \(\mathbb {R} \times Y\) and the quantum homology of \(\Sigma \). As applications, we discuss the invertibility of a symplectic hyperplane section class in quantum homology, the isotopy problem for fibered Dehn twists, the orderability problem for prequantization bundles, and the existence of translated points. We also provide computational results based on the exact sequence that we construct.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \((X,\omega )\) be a closed symplectic manifold satisfying the following condition.
-
(H)
It is spherically monotone, namely \(c_1^{TX} =\tau _X \omega \) on \(\pi _2(X)\) for some \(\tau _X>0\). Moreover, there is a closed connected symplectic submanifold \(\iota :\Sigma \hookrightarrow X\) of codimension two whose homology class in X is Poincaré dual to \([K\omega ]\) for some \(0<K<\tau _X\), that is, \([\Sigma ]=\textrm{PD}([K\omega ])\) in \(\textrm{H}_{{\text {dim}}X-2}(X;\mathbb {R})\).
Here, \(c_1^{TX}\) denotes the first Chern class of the tangent bundle \(TX \rightarrow X\). This condition implies that \([K\omega ]\) is integral, i.e. \([K\omega ]\) is in the image of the map \(\textrm{H}^2(X;\mathbb {Z})\rightarrow \textrm{H}^2(X;\mathbb {R})\) induced by the inclusion \(\mathbb {Z}\hookrightarrow \mathbb {R}\). We denote by \([K\omega ]_\mathbb {Z}\) the integral lift of \([K\omega ]\) that is Poincaré dual to \([\Sigma ]\) in integer coefficients, i.e. \([\Sigma ]=\textrm{PD}([K\omega ]_\mathbb {Z})\) in \(\textrm{H}_{{\text {dim}}X-2}(X;\mathbb {Z})\). We also write \(\omega _\Sigma :=\iota ^*\omega \) and \([K\omega _\Sigma ]_\mathbb {Z}:=\iota ^*[K\omega ]_\mathbb {Z}\in \textrm{H}^2(\Sigma ;\mathbb {Z})\). In this case, we can compactify the complement \(X{\setminus }\Sigma \) by adding a circle subbundle Y of the normal bundle of \(\Sigma \) in X and obtain a Liouville domain W with boundary \(\partial W=Y\). The induced contact form on Y is a connection 1-form \(\theta \) of the principal circle bundle \(Y\rightarrow \Sigma \) with Euler class \(e_Y=-[K\omega _\Sigma ]_\mathbb {Z}\). The pair \((Y,\theta )\) is called a prequantization bundle over \((\Sigma ,[K\omega _\Sigma ]_\mathbb {Z})\).
Another viewpoint to this setting in perspective of Liouville fillings of prequantization bundles is as follows. For a closed symplectic manifold \((\Sigma ,\omega _\Sigma )\), we assume that \([K\omega _\Sigma ]\) admits an integral lift \([K\omega _\Sigma ]_\mathbb {Z}\in \textrm{H}^2(\Sigma ;\mathbb {Z})\) for some \(K>0\). Let \((Y,\theta )\) be a prequantization bundle over \((\Sigma ,[K\omega _\Sigma ]_\mathbb {Z})\). The connection 1-form \(\theta \) is a contact form on Y such that Reeb orbits are exactly fiber circles of \(Y\rightarrow \Sigma \). Suppose that there is a Liouville filling W of \((Y,\theta )\). The symplectic cut of W gives rise to a closed symplectic manifold \((X,\omega )\) such that \((\Sigma ,\omega _\Sigma )\) is symplectically embedded in \((X,\omega )\) with \([\Sigma ]=\textrm{PD}([K\omega ])\). In Sect. 5.3, we discuss sufficient conditions on the filling W, which imply the properties in (H). We refer to Corollary 1.8 and below for the setting that does not require Liouville fillings.
Let us assume the condition (H), and let W be the Liouville domain obtained by compactifying \(X{\setminus }\Sigma \) mentioned above. In this setting, Diogo and Lisi [43, 44] introduced the so called split symplectic homology of W, which is isomorphic to the ordinary symplectic homology of W, and provided a complete description of the associated boundary operator in terms of pseudo-holomorphic spheres in \(\Sigma \) and X.
In this paper, we extend their remarkable results to Rabinowitz Floer homology. More precisely, we investigate boundary operators and continuation homomorphisms for \(\bigvee \)-shaped Hamiltonians to introduce a split version of Rabinowitz Floer homology. Then, building on this result, we construct a Gysin-type exact sequence for Rabinowitz Floer homology and study several applications. Here we use \(\bigvee \)-shaped Hamiltonians as in [40] to define the Rabinowitz Floer homology of \((W,\partial W)\), although the original definition in [64] using the Rabinowitz action functional would be also well suited for our purpose. As studied in [38], the Rabinowitz Floer homology of \((W, \partial W)\) can be understood as the symplectic homology of the trivial cobordism over \(\partial W\). Following [38], we write \(\textrm{SH}_* (\partial W)\) for the Rabinowitz Floer homology of \((W, \partial W)\) rather than \(\textrm{RFH}_* (\partial W)\).
To state our main results, let us denote by \(m_W\in \mathbb {Z}\) the nonnegative generator of the kernel of the map \(\mathbb {Z}\cong \pi _1(Y_p)\rightarrow \pi _1(W)\) induced by the inclusion of the fiber circle \(Y_p\) of \(Y\rightarrow \Sigma \) over \(p\in \Sigma \) into W. We define the ring
In the latter case, when \(\Lambda \) is a Laurent polynomial ring, the degree of the formal variable T is given by \(\frac{2(\tau _X - K)}{K} m_W\in \mathbb {Z}\), the Conley-Zehnder index of the \(m_W\)-iterate of a simple periodic Reeb orbit on Y. In the case that W is a Weinstein domain, the degree of T is equal to the positive generator of \(2(c_1^{TX}-K\omega )(\pi _2(X))\subset \mathbb {Z}\) if \({\text {dim}}W\ge 4\) and to twice the minimal Chern number of \(\Sigma \) if \({\text {dim}}W\ge 6\), see Sect. 2.3. We denote by \(\textrm{H}_*(\Sigma ;\Lambda )\cong \textrm{H}_*(\Sigma ;\mathbb {Z})\otimes _\mathbb {Z}\Lambda \) the singular homology of \(\Sigma \) with coefficients in \(\Lambda \).
Theorem 1.1
We assume (H). Then the Rabinowitz Floer homology \(\textrm{SH}_*(\partial W)\) has a \(\Lambda \)-module structure and fits into a \(\Lambda \)-module long exact sequence
where \(\delta _*\) is the sum of two \(\Lambda \)-linear maps \(\delta ^\Sigma _*\) and \(\delta ^{X,\Sigma }_*\) with the following properties.
-
(a)
The map \(\delta ^\Sigma _*\) is the quantum cap product with \(-[K\omega _\Sigma ]_\mathbb {Z}\).
-
(b)
The map \(\delta ^{X,\Sigma }_*\) is nonzero only if \(m_W\ne 0\), \(m_W\mathbb {Z}=K\omega (\pi _2(X))\), and \(\deg T=2\). In this case, \(\delta ^{X,\Sigma }_*\) is the multiplication by \(c_{X,\Sigma }T^{-1}\), where \(c_{X,\Sigma }\in \mathbb {Z}\) is divisible by \(m_W\).
We refer to [71] for a detailed account of the quantum product structure. The definition of the quantum cap product with \([-K\omega _\Sigma ]_\mathbb {Z}\) using a cycle representing the Poincaré dual of \([-K\omega _\Sigma ]_\mathbb {Z}\) can be found in the proof of Lemma 5.5.
The coefficient \(c_{X,\Sigma }\) in \(\delta _*^{X,\Sigma }\) is given by counting certain pseudo-holomorphic spheres in X intersecting \(\Sigma \). We refer to (5.16) for the explicit description of \(c_{X,\Sigma }\). We point out that the map \(\delta _*\) on \(\textrm{H}_* (\Sigma ;\Lambda )\) depends on X as well as \(\Sigma \) in general. Theorem 1.1 is proved in Sect. 5.2.
Remark 1.2
If \(\delta _*^{X,\Sigma }\ne 0\), then the minimal Chern number of X, i.e. the positive generator of \(c_1^{TX}(\pi _2(X))\subset \mathbb {Z}\), equals \(m_X+1\), where \(m_X\in \mathbb {Z}\) is the positive generator of \(K\omega (\pi _2(X))\subset \mathbb {Z}\). This follows from that \(m_W=m_X\) and \(\frac{\tau _X-K}{K}m_X=1\) due to Theorem 1.1.(b) and the minimal Chern number of X is \(\frac{\tau _X m_X}{K}\). Therefore, we have \(\delta _*^{X,\Sigma }=0\) when the minimal Chern number of X is greater than \(m_X+1\). This is the case if the map \(\pi _2(\Sigma )\rightarrow \pi _2(X)\) induced by the inclusion is surjective and the minimal Chern number of \(\Sigma \) is greater than one, see Lemma 5.6. Note that the map \(\pi _2(\Sigma )\rightarrow \pi _2(X)\) is surjective if W is Weinstein with \({\text {dim}}W\ge 6\) or if W is subcritical Weinstein with \({\text {dim}}W\ge 4\).
Remark 1.3
If \([\omega ]\) is integral and \(K\in {\mathbb {N}}\) is sufficiently large, then, for any integral lift \([\omega ]_\mathbb {Z}\in \textrm{H}^2(X;\mathbb {Z})\), there exists a closed codimension two symplectic submanifold \(\Sigma \) in X such that \(\textrm{PD}([\Sigma ])=K[\omega ]_\mathbb {Z}\) and the complement \(X{\setminus }\Sigma \) is Weinstein, see [46, 54]. Although we focus on the case \(0<K<\tau _X\), in the case that K is sufficiently greater than \(\tau _X\), the exact sequence in Theorem 1.1 still exists and recovers the ordinary Gysin exact sequence. We refer to Proposition 5.7 for a precise statement.
In what follows, we present corollaries of Theorem 1.1. The proofs of the corollaries are given in Sect. 5.4. An immediate consequence of the exact sequence in Theorem 1.1 is that the following equivalence holds:
In fact, for example in the case that W is a Weinstein domain with \(c_1^{TW}|_{\pi _2(W)}=0\) and \(\textrm{SH}_*(\partial W)=0\), our standing assumption in (H) that \((X,\omega )\) is spherically monotone with constant \(\tau _X>K\) automatically holds. Thus this assumption can be dropped in the “if” direction of (1.1) as stated in the corollary below.
Corollary 1.4
Let \((\Sigma ,\omega _\Sigma )\) be a closed connected symplectic submanifold of a closed symplectic manifold \((X,\omega )\) satisfying \(\textrm{PD}([\Sigma ])=[K\omega ]\in \textrm{H}^2(X;\mathbb {R})\) for some \(K>0\). Let W be a Liouville domain whose interior is symplectomorphic to \(X{\setminus }\Sigma \). Assume that W meets one of the following conditions.
-
(i)
The first Chern class \(c_1^{TW} \in \textrm{H}^2(W; \mathbb {Z})\) is torsion.
-
(ii)
The map \(\pi _1(\partial W) \rightarrow \pi _1(W)\) induced by the inclusion is surjective and \(c_1^{TW}|_{\pi _2(W)}=0\).
Assume in addition \(\textrm{SH}_*(\partial W)=0\). Then the map \(\delta _*\) in Theorem 1.1 is an isomorphism, and in turn the following hold.
-
(a)
The cohomology class \([K\omega ]\) is primitive, i.e. \(K\omega (\textrm{H}_2(X;\mathbb {Z}))=\mathbb {Z}\).
-
(b)
If \(\delta ^{X,\Sigma }_*=0\), then \([K\omega _{\Sigma }]\) is invertible in the quantum cohomology \(\textrm{QH}^*(\Sigma ;\mathbb {Z})\).
Let \(\textrm{H}^*_\textrm{free}(X;\mathbb {Z})\) denote the quotient of \(\textrm{H}^*(X;\mathbb {Z})\) by the torsion submodule. There is a unique class in \(\textrm{H}^*_\textrm{free}(X;\mathbb {Z})\) corresponding to \([K\omega ]\in \textrm{H}^*(X;\mathbb {R})\). We abuse notation and denote it again by \([K\omega ]\), likewise for \([K\omega _\Sigma ]\). Then \([K\omega ]\) being primitive is equivalent to saying that if \([K\omega ]=m\mu \) for some \(\mu \in \textrm{H}^*_\textrm{free}(X;\mathbb {Z})\) and \(m\in \mathbb {Z}\), then \(m\in \{-1,1\}\).
Let \(\Lambda _\Sigma \) be the Novikov ring for \(\Sigma \), namely
where the degree of T is twice the minimal Chern number of \(\Sigma \). The quantum cohomology \(\textrm{QH}^*(\Sigma ;\mathbb {Z})\) equals \(\textrm{H}^*_\textrm{free}(\Sigma ;\mathbb {Z})\otimes _\mathbb {Z}\Lambda _\Sigma \) as \(\Lambda _{\Sigma }\)-modules. In Corollary 1.4.(b), we identify \([K\omega _\Sigma ]\) with its image under the inclusion \(\textrm{H}^*_\textrm{free}(\Sigma ;\mathbb {Z})\hookrightarrow \textrm{QH}^*(\Sigma ;\mathbb {Z})\) given by \(\alpha \mapsto \alpha \otimes 1\).
The condition \(\textrm{SH}_*(\partial W)=0\) is equivalent to vanishing of the symplectic homology of W, see [11, Theorem 13.3] and [38, Corollary 9.9]. For example, this is the case if W is a subcritical Weinstein domain, see [35]. Therefore, Corollary 1.4 can be applied to subcritical Weinstein domains W with \(c_1^{TW}|_{\pi _2(W)}=0\).
Remark 1.5
For a closed Kähler manifold \((X,\omega ,J)\) (not necessarily monotone), Biran and Cieliebak [23, p.751] conjectured the following. If \(X{\setminus }\Sigma \) admits a subcritical Stein structure for a complex hypersurface \(\Sigma \) with \(\textrm{PD}([\Sigma ])=[K\omega ]\), then \([K\omega ]\) is primitive. Under the assumption that \(c_1^{TW}=0\), a sketch of the proof of this conjecture using contact homology was given in [47, p.661] and some details were carried out in [60, Proposition 4.2]. Recently this conjecture (actually a more general statement) was proved in [52] using a purely topological argument. Corollary 1.4.(a) can be thought of as a symplectic answer to the conjecture under the additional assumption \(c_1^{TW}|_{\pi _2(W)}=0\).
Biran and Jerby further asked the following question in [24, Section 10]. If \(X{\setminus }\Sigma \) is subcritical, then is the class \([K\omega _\Sigma ]\) in \(\textrm{QH}^*(\Sigma ;\mathbb {Z})\) invertible? Their main result [24, Theorem 4.2], which relies on the Seidel representation, answers the question affirmatively for a certain class of projective manifolds X and the hyperplane section \(\Sigma \subset X\). Results in [25, Section 15] strongly hint that this question can be answered using a Floer Gysin exact sequence. The proof of Corollary 1.4.(b) is one way of realizing this idea.
Remark 1.6
Another conjecture in [23, p.751] says that if \(X{\setminus }\Sigma \) is subcritical Stein, then X is (symplectically) uniruled. In the setting of (H), this should follow from [44, Theorem 9.1] asserting that a Floer cylinder annihilating the unit of the symplectic homology of \(X{\setminus }\Sigma \) corresponds to a pseudo-holomorphic sphere in X passing through a prescribed point representing the unit. See also [60, Theorem 1.7] for a proof using contact homology.
Adapting arguments from [20, 34], we can apply Theorem 1.1 to the study of the isotopy class of a right-handed fibered Dehn twist. See also [86, 92] for earlier results in this direction. We denote by \(\textrm{Symp}_c(W)\) the group of symplectomorphisms on W with support on the interior of W.
Corollary 1.7
We assume (H) and that W is a Weinstein domain. Let \(\tau \) be a right-handed fibered Dehn twist on W along \(\partial W\). If \(\tau \) is trivial in \(\pi _0(\textrm{Symp}_c(W))\), then \([K\omega ]\) is invertible in the quantum cohomology \(\textrm{QH}^*(X;\mathbb {Z})\) of X.
In the following two corollaries, we only consider a closed symplectic manifold \((\Sigma ,\omega _\Sigma )\) with integral \([K\omega _\Sigma ]\) for some \(K>0\) and forget an ambient symplectic manifold \((X,\omega )\). Let \([K\omega _\Sigma ]_\mathbb {Z}\in \textrm{H}^2(\Sigma ;\mathbb {Z})\) be an integral lift of \([K\omega _\Sigma ]\), and let Y be a prequantization bundle over \(\Sigma \) with Euler class \(e_Y=-[K\omega _\Sigma ]_\mathbb {Z}\). Note that we do not assume that a Liouville filling W of Y exists. However, if \((\Sigma ,\omega _\Sigma )\) satisfies a certain condition (a bit stronger than semipositivity), the Rabinowitz Floer homology of the symplectization \(\mathbb {R}\times Y\) is well-defined, and we again have the following Floer Gysin exact sequence.
Corollary 1.8
Let Y and \((\Sigma ,\omega _\Sigma )\) be as above. We assume that for every \(A\in \pi _2(\Sigma )\) with \(\omega _\Sigma (A)>0\), it holds either \(c_1^{T\Sigma }(A)\ge 2\) or \(c_1^{T\Sigma }(A)\le 2-\frac{1}{2}{\text {dim}}\Sigma \). Then the Rabinowitz Floer homology \(\textrm{SH}_*(Y)\) of \(\mathbb {R}\times Y\) is defined, carries a \(\Lambda _{\Sigma }\)-module structure, and fits into a \(\Lambda _{\Sigma }\)-module long exact sequence
where \(\delta ^\Sigma _*\) is the quantum cap product with \(e_Y\). In the case that \(\omega _\Sigma |_{\pi _2(\Sigma )}=0\) or \(c_1^{T\Sigma }(A)\le 2-\frac{1}{2}{\text {dim}}\Sigma \) for all \(A\in \pi _2(\Sigma )\) with \(\omega _\Sigma (A)>0\), the long exact sequence recovers the ordinary Gysin exact sequence tensored with \(\Lambda _{\Sigma }\).
Remark 1.9
If there is a Liouville filling W of Y such that the map \(\pi _1(Y)\rightarrow \pi _1(W)\) induced by the inclusion is injective and \(c_1^{TW}|_{\pi _2(W)}=0\), then \(\textrm{SH}_*(\partial W)\cong \textrm{SH}_*(Y)\). In this case, the exact sequence in Corollary 1.8 coincides with the one in Theorem 1.1 with \(\delta ^{X,\Sigma }_* = 0\), see Remark 5.14 for a further discussion.
We denote by \(\xi \) the contact structure on Y and by \(\textrm{Cont}_0(Y,\xi )\) the identity component of the group of contactomorphisms on \((Y,\xi )\).
Corollary 1.10
Let Y and \((\Sigma ,\omega _\Sigma )\) be as in Corollary 1.8. Suppose that the Euler class \(e_Y\in \textrm{H}^2(\Sigma ;\mathbb {Z})\) is not a primitive class. Then, the following hold.
-
(a)
The universal cover \(\widetilde{\textrm{Cont}}_0(Y,\xi )\) of \(\textrm{Cont}_0(Y,\xi )\) is orderable.
-
(b)
Every \(\varphi \in \textrm{Cont}_0(Y,\xi )\) has a translated point with respect to any contact form supporting \(\xi \).
We should mention that [5] first studied the contact topology of Y using a Gysin-type exact sequence. They also proved results in Corollary 1.10.
Remark 1.11
The notion of orderability was introduced by Eliashberg and Polterovich [48] and further studied in [4, 6, 9, 14, 18, 31,32,33, 41, 49, 57, 66, 68, 69, 73, 83, 97, 100].
The notion of translated points was introduced by Sandon [84, 85]. Translated points can be understood as leafwise intersection points of a Hamiltonian lift of a contactomorphism. We also refer to [4, 7, 8, 12, 13, 13, 13, 29, 30, 45, 72, 76, 77, 88, 90, 93, 99] for earlier results on translated points.
Remark 1.12
Gysin-type exact sequences were constructed in [25, 80] for different types of Floer homologies, and recently in [4] for the Rabinowitz Floer homology of negative line bundles. Moreover, it was pointed out in [44, Remark 9.8] that their results would lead to a Gysin-type exact sequence for positive symplectic homology.
Although settings are slightly different, the exact sequence in Corollary 1.8 is isomorphic to the one in [4, Theorem 1.1] and presumably also to the one in [25, Section 14]. Corollary 1.10 generalizes [4, Theorem 1.1.(e)].
Finally in Sect. 6, we compute Rabinowitz Floer homology for some examples using the exact sequence in Theorem 1.1. Our examples include the complements of projective hypersurfaces of degree \(1 \le d \le n + 1\) in \(\mathbb{C}\mathbb{P}^{n+1}\). In particular, we see that the Rabinowitz Floer homology vanishes for degree \(n + 1\) hypersurfaces in \(\mathbb {Q}\)-coefficients.
2 Setup and preliminaries
2.1 Liouville structure on \(X{\setminus }\Sigma \)
As mentioned in the introduction, we assume that a closed symplectic manifold \((X,\omega )\) and a codimension two closed connected symplectic submanifold \(\iota :\Sigma \hookrightarrow X\) with \(\omega _\Sigma =\iota ^*\omega \) satisfy the following. There exist \(0<K<\tau _X\) such that
where \([K\omega ]_\mathbb {Z}\) is an integral lift of \([K\omega ]\in \textrm{H}_{{\text {dim}}X-2}(X;\mathbb {R})\). Note that \(K\omega (B)\) agrees with the intersection number between \(\Sigma \) and a representative of B, and we simply write
Another immediate consequence of our hypothesis is that \((\Sigma ,\omega _\Sigma )\) is also spherically monotone,
Indeed, the symplectic normal bundle of \(\Sigma \),
with respect to \(\iota :\Sigma \hookrightarrow X\) has the first Chern class \(c_1^{E}=[K\omega _\Sigma ]_\mathbb {Z}:=\iota ^*[K\omega ]_\mathbb {Z}\in \textrm{H}^2(\Sigma ;\mathbb {Z})\). Now (2.1) follows from \(\iota ^*c_1^{TX}=c_1^{T\Sigma }+c_1^{E}\).
We endow \(\pi _{E}:E\rightarrow \Sigma \) with a Hermitian structure. We denote by \(\rho =|\cdot |\) the norm induced by the Hermitian structure. There is a connection 1-form \(\Theta \) on \(E {{\setminus }} \Sigma \), where \(\Sigma \) is identified with the zero-section of E, such that
Here \(\partial _t\) denotes the fundamental vector field generated by the U(1)-action on E. We equip E with a non-exact symplectic form \(\omega _E\) defined by
which equals \(d(-\frac{e^{-\rho ^2}}{K}\Theta )\) on \(E{\setminus }\Sigma \). The Liouville vector field \(Z_E=-\frac{1}{2\rho }\frac{\partial }{\partial \rho }\) on \(E {{\setminus }} \Sigma \) satisfying \(\iota _{Z_E} \omega _E = -\frac{e^{-\rho ^2}}{K}\Theta \) points toward the zero-section. According to [79, Lemma 2.1] or [44, Lemma 2.2], there exist an open disk subbundle \({\mathcal {U}}\subset E\) of radius \(\rho _0>0\), a 1-form \(\lambda \) on \(X{\setminus }\Sigma \) satisfying \(d\lambda =\omega |_{X{\setminus }\Sigma }\), and an embedding
which is the identity map on \(\Sigma \) and satisfies \(\varphi ^*\lambda = -\frac{e^{-\rho ^2}}{K}\Theta \) on \(\mathcal U{{\setminus }}\Sigma \).
We also consider the circle bundle
with \(\pi _Y:= \pi _E |_Y\). Then \(\alpha := -\frac{1}{K}\Theta |_{Y}\) is a contact form and the associated Reeb vector field R has \(\frac{1}{K}\)-periodic flow such that each orbit is contained in a fiber of \(Y\rightarrow \Sigma \). In fact, R extends to E, denoted again by R, in such a way that \(-\frac{1}{2\pi K} R\) coincides with the fundamental vector field generated by the U(1)-action on E. As a circle bundle, we orient fibers of Y by R. This implies \(e_Y = -[K\omega _\Sigma ]_{\mathbb {Z}}\), where \(e_Y\) denotes the Euler class of Y.
Now, we consider the exact symplectomorphism
where r denotes the coordinate of \((-\infty , 0) \subset \mathbb {R}\). We have \(\psi _1({\mathcal {U}} {{\setminus }} \Sigma )=(-\rho _0^2,0) \times Y\) and \(d\psi _1 Z_E = \partial _r\). Therefore, using \(\psi _1\) and \(\varphi \) defined in (2.2), we attach \(([0,\infty ) \times Y, d(e^r\alpha ))\) to \(X{\setminus }\Sigma \) and obtain a Liouville manifold
where we also extend the 1-form \(\lambda \) to \(\widehat{W}\) by setting \(\lambda =e^r\alpha \) on \([0, \infty ) \times Y\). The Liouville flow of \(\lambda \) provides an embedding of the whole symplectization \({\mathbb {R}}\times Y\) into \(\widehat{W}\), which we identify with its image and write
We also denote by W the closure of \(X{\setminus }\Sigma \) in \(\widehat{W}\). That is, \((W,\lambda )\) is a Liouville domain whose boundary \(\partial W\) is diffeomorphic to Y satisfying \(\lambda |_{\partial W} = \alpha \). Conversely, it is also possible to recover \((X,\omega )\) from \((W,\lambda )\), see Sect. 5.3 below.
2.2 Morse functions on \(\Sigma \) and Y
For a smooth Morse function \(f_\Sigma :\Sigma \rightarrow \mathbb {R}\), we denote by \(\textrm{Crit}f_\Sigma \) the set of critical points of \(f_\Sigma \) and by \({\text {ind}}_{f_\Sigma } (p)\) the Morse index of \(f_\Sigma \) at a critical point p. Let \(Z_\Sigma \) be a smooth gradient-like vector field for \(f_\Sigma \) on \(\Sigma \), i.e. \(\frac{1}{c}|df_\Sigma |^2 \le Z_\Sigma (f_\Sigma ) \le c|df_\Sigma |^2\) for some Riemannian metric on \(\Sigma \) and \(c>0\). Writing \(\varphi ^t_{Z_\Sigma }\) for the flow of \(Z_\Sigma \), we define the unstable and stable manifolds at \(p \in \textrm{Crit}f_\Sigma \) with respect to \(Z_\Sigma \) by
respectively. Then, we have \({\text {dim}}W^u_{Z_\Sigma }(p) = {\text {dim}}\Sigma - {\text {ind}}_{f_\Sigma }(p)\) and \({\text {dim}}W^s_{Z_\Sigma }(p) = {\text {ind}}_{f_\Sigma }(p)\). We assume that \((f_\Sigma ,Z_\Sigma )\) is a Morse-Smale pair, namely all unstable and stable manifolds intersect transversely.
We also choose a Morse-Smale pair \((f_Y,Z_Y)\) of a smooth Morse function \(f_Y:Y \rightarrow \mathbb {R}\) and a smooth gradient-like vector field \(Z_Y\) for \(f_Y\) such that \(f_Y\) has exactly two critical points on \(\pi _Y^{-1}(p)\) for each \(p\in \textrm{Crit}f_\Sigma \) and \(Z_Y - Z_\Sigma ^\textrm{h}\), where \( Z_\Sigma ^\textrm{h}\) denotes the horizontal lift of \(Z_\Sigma \) to Y with respect to a certain connection 1-form, is tangent to the fibers of \(\pi _Y:Y \rightarrow \Sigma \). For the construction of such \((f_Y, Z_Y)\), we refer to [74] or Sect. 5.1. We denote by \(\hat{p}\) and \(\check{p}\) the maximum and minimum point of \(f_Y|_{\pi _Y^{-1}(p)}\) respectively. Hence, we have
Now, we explain our orientation convention for unstable and stable manifolds. For each \(p \in \textrm{Crit}{f_\Sigma }\), we choose an arbitrary orientation for \(W^s_{Z_\Sigma }(p)\). This induces an orientation on \(W^u_{Z_\Sigma }(p)\) by requiring the isomorphism
to be orientation-preserving, where the orientation on \(\Sigma \) is induced by \(\omega _\Sigma \).
We orient Y such that
preserves orientations where R denotes the Reeb vector field on Y and the isomorphism is given by mapping the horizontal subspace of \(T_yY\) to \(T_{\pi _Y(y)}\Sigma \) by \(d \pi _Y\). We denote the unstable and stable manifolds with respect to \(Z_Y\) by \(W^u_{Z_Y}(\tilde{p})\) and \(W^s_{Z_Y}(\tilde{p})\) respectively for \(\tilde{p} \in \textrm{Crit}f_Y\). Since \(Z_Y-Z_\Sigma ^{\mathrm h}\) is tangent to the fibers, the projection \(\pi _Y\) maps (un)stable manifolds in Y to (un)stable manifolds in \(\Sigma \):
We orient \(W^s_{Z_Y}(\hat{p})\) for every \({\hat{p}} \in \textrm{Crit}f_Y\) so that the second map in (2.6) induces an orientation-preserving isomorphism \(T_{y} W^s_{Z_Y}(\hat{p}) \cong \mathbb {R} R_{y} \oplus T_{\pi _Y(y)}W^s_{Z_\Sigma }(p)\) for \(y\in W^s_{Z_Y}(\hat{p})\). This together with the orientation on Y endows \(W^u_{Z_Y}(\hat{p})\) with an orientation determined by requiring the splitting
to be orientation-preserving. One can readily see that then the first map in (2.6) is orientation-preserving if and only if \({\text {dim}}\Sigma -{\text {ind}}_{f_\Sigma }(p)\) is even. Next, we orient \(W^s_{Z_Y}(\check{p})\) for every \(\check{p} \in \textrm{Crit}f_Y\) so that the second map in (2.7) is orientation-preserving. This induces an orientation on \(W^u_{Z_Y} (\check{p})\) by requiring (2.8) with \({\hat{p}}\) replaced by \(\check{p}\) to be orientation-preserving. Then our convention (2.4) yields that the isomorphism \(T_yW^u_{Z_Y}(\check{p})\cong \mathbb {R} R_y\oplus T_{\pi _Y(y)}W^u_{Z_\Sigma }(p)\) given by the first map in (2.7) is orientation-preserving as well.
2.3 Reeb orbits and indices
Let \(Y_p\) denote the fiber of \(Y\rightarrow \Sigma \) over \(p\in \Sigma \) oriented by R. We define the multiplicity \(\mathfrak {m}(x)\in \mathbb {Z}\) of a continuous loop \(x:{\mathbb {R}}/T{\mathbb {Z}} \rightarrow Y_p\) for \(T>0\) by the degree of x viewed as a map between oriented circles:
Since the flow of R has period 1/K, it follows that a Reeb orbit \(\gamma :{\mathbb {R}}/T{\mathbb {Z}}\rightarrow Y\) of period T has \(\mathfrak {m}(\gamma ) = TK > 0\) and is the TK-th iterate of the underlying simple Reeb orbit, which winds a fiber of Y once.
We consider the map \(\jmath :\mathbb {Z}\cong \pi _1 (Y_p) \rightarrow \pi _1 (W)\) induced by the inclusion \(Y_p \subset W\). Let \(m_W\), \(m_X\), and \(m_\Sigma \) be the nonnegative integers characterized by
One can readily see that \(m_X\) divides \(m_\Sigma \). Our convention is that 0 is divisible by any integer, and 0 divides only 0. We also note that if the map \(\pi _2(\Sigma )\rightarrow \pi _2(X)\) induced by the inclusion is surjective, we have \(m_\Sigma =m_X\). By the definition of \(m_W\), a continuous loop \(x:{\mathbb {R}}/T{\mathbb {Z}} \rightarrow Y_p\) is contractible in W if and only if \(m_W\) divides \(\mathfrak {m}(x)\).
Proposition 2.1
Let \(x:\mathbb {R}/T {\mathbb {Z}} \rightarrow Y_p\) be a continuous loop for some \(p\in \Sigma \) and \(T>0\).
-
(a)
x is contractible in Y if and only if \(m_\Sigma \) divides \(\mathfrak {m}(x)\). In particular, \(m_W\) divides \(m_\Sigma \).
-
(b)
If x is contractible in W, then \(m_X\) divides \(\mathfrak {m}(x)\). In particular, \(m_X\) divides \(m_W\).
Proof
We consider the homotopy long exact sequence
where \(\delta (A)=e_Y(A)=-K\omega _\Sigma (A)\in \mathbb {Z}\cong \pi _1(S^1)\) and \(\mathfrak i\) is induced by \(S^1\cong Y_p\subset Y\). The homotopy class of x in Y is \(\mathfrak {i}(\mathfrak {m}(x))\) where \(\mathfrak {m}(x)\in {\mathbb {Z}}\cong \pi _1(S^1)\), and thus \([x]=[\mathfrak {i}(\mathfrak {m}(x))]=0\) in \(\pi _1(Y)\) exactly when \(m_\Sigma \) divides \(\mathfrak {m}(x)\). This proves (a).
To show (b), suppose that x is contractible in W. We view x as a contractible loop in \(X{\setminus }\Sigma \). Then there is a capping disk \(u: D^2:=\{z\in \mathbb {C}\mid |z|\le 1\} \rightarrow X{{\setminus }} \Sigma \) of x, i.e. u is continuous and \(u(e^{2\pi i t}) = x(Tt)\). We choose another capping disk \(v:D^2 \rightarrow \varphi (\mathcal {U})\subset X\) of x in X such that \(\varphi ^{-1}\circ v(D^2)\) is contained in a fiber of \(E\rightarrow \Sigma \). Gluing u and v with orientation reversed, denoted by \(v^\textrm{rev}\), along x, we obtain \(u\# v^\textrm{rev}:S^2\rightarrow X\) with \((u\# v^\textrm{rev})\cdot \Sigma =\mathfrak {m}(x)\). For the sign, recall that \(\alpha =-\frac{1}{K}\Theta \). This proves that \(\mathfrak {m}(x)\) is divisible by \(m_X\). \(\square \)
Proposition 2.2
Consider the map \(\pi _1(Y) \rightarrow \pi _1({W})\) induced by the inclusion.
-
(a)
If this map is injective, then \(m_W=m_\Sigma \).
-
(b)
If this map is surjective, then \(m_W = m_X\).
Proof
Statement (a) readily follows from Proposition 2.1.(a).
Now we prove (b). Due to Proposition 2.1 (b), it suffices to show that \(m_W\) divides \(m_X\). Suppose that there is a continuous map \(w:S^2\rightarrow X\) with \(w\cdot \Sigma =K\omega ([w])=m_X\). We may assume that w is smooth and intersects \(\Sigma \) at finitely many points \(z_1,\dots ,z_n\in S^2\). Let U be a sufficiently small open tubular neighborhood of \(\Sigma \) in X. To ease the notation, up to a homeomorphism, we identify \(X{\setminus } U\) with W and \(\partial (X{\setminus } U)\) with Y. We may assume that there are mutually disjoint open disk neighborhoods \(D_i\) of \(z_i\) in \(S^2\) such that \(w^{-1}(U)=\bigcup \limits _{i=1}^n D_i\) and \(w(\partial D_i)\subset Y_{w(z_i)}\). We take parametrizations \(l_i: \mathbb {R} / \mathbb {Z} \rightarrow S^2\) of \(\partial D_i\). We also take paths \(c_{i}: [0, 1] \rightarrow S^2{{\setminus }}\bigcup \limits _{i=1}^n D_i\) for \(i = 2, \dots , n\) such that
Let \(p_i:= w \circ l_i (0)\). Let \(\rho _i: \pi _1 (W, p_i) \rightarrow \pi _1 (W, p_1)\) be the isomorphism given by conjugation with \(w \circ c_i\). Then, the homotopy class
is trivial since a contracting disk is given by w restricted to \(S^2{{\setminus }}(\bigcup \limits _{i=1}^n D_i\cup \bigcup \limits _{j=2}^n c_j([0,1]))\).
Since \(\pi _1(Y)\rightarrow \pi _1(W)\) is surjective, there is a homotopy in W between \(w \circ c_i\) and a path \(q_i:[0, 1] \rightarrow Y\) relative to the endpoints for every \(i = 2, \dots , n\). Let \(\rho '_i: \pi _1 (W, p_i) \rightarrow \pi _1 (W, p_1)\) be the isomorphism defined by conjugation with \(q_i\). Due to the homotopies between \(w\circ c_i\) and \(q_i\), we have
Let \(x: {\mathbb {R}} / {\mathbb {Z}} \rightarrow Y_{\pi _Y (p_1)}\) be a continuous loop with \(\mathfrak {m}(x) = m_X\). Since \(m_X = \sum \limits _{i=1}^n\mathfrak {m}(w\circ l_i)\), we have
This proves that \(m_W\) divides \(m_X\). \(\square \)
Now we define the index \(\mu _\textrm{CZ}(\gamma )\in \mathbb {Z}\) of a Reeb orbit \(\gamma :{\mathbb {R}}/T{\mathbb {Z}}\rightarrow Y\) contractible in W. Let \(\varphi ^t_R\) denote the flow of R. We define the index \(\mu _\textrm{CZ}(\gamma )\) by the Conley-Zehnder index of the path of linearized maps \(\{t\mapsto d\varphi _{ R}^t(\gamma (0)) \}_{t\in [0,T]}\) with respect to the trivialization of \(\gamma ^*TW\) induced by a capping disk \({\bar{\gamma }}:D^2\rightarrow W\) of \(\gamma \). Note that the path \(\{t\mapsto d\varphi _{ R}^t(\gamma (0)) \}_{t\in [0,T]}\) is degenerate in the sense that the map \((d\varphi _R^{T}(\gamma (0)) - \textrm{Id})\) is not invertible, and refer to [81] for the definition and properties of the Conley-Zehnder index for a path of symplectic matrices with possibly degenerate endpoints.
As the notation indicates, \(\mu _\textrm{CZ}(\gamma )\) does not depend on the choice of a capping disk in W, see (2.10) below. To compute \(\mu _\textrm{CZ}(\gamma )\), we view \(\gamma \) as a loop in X and take another capping disk \({\bar{\gamma }}_\textrm{fib}:D^2\rightarrow \varphi ({\mathcal {U}})\subset X\) of \(\gamma \) such that \( \varphi ^{-1}\circ {\bar{\gamma }}_\textrm{fib}(D^2)\) is contained in a fiber of \(E\rightarrow \Sigma \). Gluing \({\bar{\gamma }}\) and \({\bar{\gamma }}_\textrm{fib}\) with orientation reversed, denoted by \({\bar{\gamma }}_\textrm{fib}^\textrm{rev}\), along \(\gamma \), we obtain \(B=[{\bar{\gamma }}\#{\bar{\gamma }}_\textrm{fib}^\textrm{rev}]\in \pi _2(X)\) with \(K\omega (B)=B\cdot \Sigma =\mathfrak {m}(\gamma )\). Then, by properties of the Conley-Zehnder index, we have
where \(\mu _\textrm{CZ}(\gamma ,{\bar{\gamma }}_\textrm{fib})\) is the Conley-Zehnder index defined using the trivialization induced by the capping disk \({\bar{\gamma }}_\textrm{fib}\), and a simple computation shows \(\mu _\textrm{CZ}(\gamma ,{\bar{\gamma }}_\textrm{fib})=-2\mathfrak {m}(\gamma )\). The same computation was made in [43, Section 3.1].
For a Reeb orbit \(\gamma :{\mathbb {R}}/T{\mathbb {Z}}\rightarrow Y\) contractible inside Y, the index \(\mu _\textrm{CZ}(\gamma )\) equals the Conley-Zehnder index of \(\{t\mapsto d\varphi _R^t(\gamma (0))|_{\xi }\}_{t\in [0,T]}\) with respect to the trivialization of \(\gamma ^*\xi \), where \(\xi ={\text {ker}}\alpha \), induced by a capping disk \({\bar{\gamma }}\) of \(\gamma \) contained in Y. In this case, we have \(B=[{\bar{\gamma }}\#{\bar{\gamma }}_\textrm{fib}^\textrm{rev}]\in \pi _2(\varphi ({\mathcal {U}}))\cong \pi _2(E)\cong \pi _2(\Sigma )\). Thus, from \(c_1^{TE}(B)=c_1^E(B)+c_1^{T\Sigma }(B)\) and \(c_1^E(B)=K\omega _\Sigma (B)\), we deduce
2.4 Almost complex structures
Following [43, 44], we will work with specific classes of almost complex structures on various spaces, namely \(\Sigma \), E, \(\mathbb {R} \times Y\), X and \(\widehat{W}\), which are correlated to each other. Let \(\mathcal {J}_\Sigma \) denote the space of \(\omega _\Sigma \)-compatible almost complex structures on \(\Sigma \). We split the tangent bundle of E into
where the vertical subspace \(T^\textrm{v}_{{\tilde{p}}}E\) is canonically isomorphic to \(E_p\) and the horizontal subspace \(T^\textrm{h}_{{\tilde{p}}}E\) defined by the connection \(\Theta \) is isomorphic to \(T_p\Sigma \) via \(d\pi _E\). Given \(J_\Sigma \in \mathcal {J}_\Sigma \), we define an almost complex structure on E by
where the decomposition is with respect to (2.12), and i denotes the complex structure of \(\pi _E:E\rightarrow \Sigma \). Then \(J_E\) is \(\omega _E\)-compatible and \(d\pi _E\circ J_E = J_\Sigma \circ d\pi _E\) holds.
Next we consider the diffeomorphism
which is not a symplectomorphism, and the space
Then an almost complex structure \(J_Y \in \mathcal {J}_Y\) on \(\mathbb {R}\times Y\) is \(d(e^r\alpha )\)-compatible and satisfies \(J_Y \partial _r = R\). Furthermore, \(J_Y\) is invariant under the \(\mathbb {R}\times S^1\)-action on \(\mathbb {R}\times Y\) induced by the translation on \({\mathbb {R}}\) and the \(S^1\)-action on Y by the Reeb flow. We denote the induced quotient map by
Then it holds that \(d\pi _{\mathbb {R}\times Y}\circ J_Y = J_\Sigma \circ d\pi _{\mathbb {R}\times Y}\). We point out that each \(J_\Sigma \in \mathcal {J}_\Sigma \) uniquely defines \(J_E\) and \(J_Y\), and call \(J_\Sigma \) the horizontal part of \(J_E\) or of \(J_Y\).
Using the embedding \(\varphi :{\mathcal {U}}\rightarrow X\) given in (2.2), we define the space
We also call \(J_\Sigma \in \mathcal {J}_\Sigma \) uniquely determined by \(J_X \in \mathcal {J}_X\) the horizontal part.
To define a class of almost complex structures on \(\widehat{W}\) we will use, we fix \(\epsilon \in (0,\rho _0^2)\) where \(\rho _0\) is the radius of \({\mathcal {U}}\). We then choose a diffeomorphism \(g:(-\infty ,0)\rightarrow \mathbb {R}\) such that
and set \(G:(-\infty ,0)\times Y\rightarrow \mathbb {R}\times Y\) by \(G(r,y):=(g(r),y)\). We denote by \(\mathcal {J}_{\widehat{W}}\) the space of almost complex structures on \(\widehat{W}\) consisting of \(d\lambda \)-compatible almost complex structures \(J_{\widehat{W}}\) of the form
for \(J_X \in \mathcal {J}_X\), \(J_Y \in \mathcal {J}_Y\), and \(J_E\) in (2.13) sharing the same horizontal part \(J_\Sigma \in \mathcal {J}_\Sigma \). We call \(J_Y\) in (2.14) the cylindrical part of \(J_{{\widehat{W}}}\). The spaces \(\mathcal {J}_\Sigma \), \(\mathcal {J}_Y\), \(\mathcal {J}_X\), and \(\mathcal {J}_{{\widehat{W}}} \) are nonempty and contractible. One can readily see this by adapting standard arguments in [71, Section 2.5]. We point out that \(J_X \in \mathcal {J}_X\) uniquely determines \(J_\Sigma \), \(J_E\), \(J_Y\), and thus also \(J_{\widehat{W}}\). To be explicit, recalling that \(\mathcal {U}{\setminus }\Sigma \cong (-\rho _0^2,0)\times Y\) via \(\psi _1\), we note that the map
is a diffeomorphism satisfying \(\widehat{G}_*(J_X|_{X{{\setminus }}\Sigma })=J_{\widehat{W}}\). As the following proposition shows, certain \(J_X\)-holomorphic spheres can be viewed as \(J_{\widehat{W}}\)-holomorphic planes via \({\widehat{G}}\), and vice versa.
Proposition 2.3
[44, Lemma 2.6] The map \({\widehat{G}}\) defined in (2.15) induces a bijection between \(J_{\widehat{W}}\)-holomorphic planes \(u_{\widehat{W}}:\mathbb {C}\rightarrow \widehat{W}\) asymptotic to periodic Reeb orbits with multiplicity \(k\in \mathbb {N}\) and \(J_X\)-holomorphic spheres \(u_X:\mathbb{C}\mathbb{P}^1\rightarrow X\) with \(u_X^{-1}(\Sigma )=\{\infty \}\) and \(u_X \cdot \Sigma =k\), where the correspondence is given to satisfy \({\widehat{G}}\circ u_X = {u_{\widehat{W}}}\) on \({\mathbb{C}\mathbb{P}^1{\setminus }\{\infty \}}=\mathbb {C}\).
Proof
Let \(u_X:\mathbb{C}\mathbb{P}^1\rightarrow X\) be as in the statement. Since \(\widehat{G}_*(J_X|_{X{{\setminus }}\Sigma })=J_{\widehat{W}}\), the proper map \(u_{\widehat{W}}:={\widehat{G}}\circ u_X|_{\mathbb{C}\mathbb{P}^1{{\setminus }}\{\infty \}}:\mathbb{C}\mathbb{P}^1{{\setminus }}\{\infty \}=\mathbb {C}\rightarrow \widehat{W}\) is \(J_{\widehat{W}}\)-holomorphic. Let \(\lambda \) be the primitive 1-form of \(\omega \) on \(X{\setminus }\Sigma \) mentioned before (2.2). We compute
A straightforward computation shows that \((\widehat{G}^{-1})^*\lambda \) restricted to \(\{r\}\times Y\subset \widehat{W}\) converges to \(\alpha \) as \(r\rightarrow +\infty \). Therefore \(u_{{\widehat{W}}}\) has finite Hofer-energy, see [26, Lemma 3.8], and if \(\gamma \) denotes the asymptotic Reeb orbit of \(u_{{\widehat{W}}}\), then \(\int _\gamma \alpha =\frac{k}{K}\) by the above computation and Stokes’ theorem. Since the Reeb flow of \(\alpha \) is \(\frac{1}{K}\)-periodic, the multiplicity \(\mathfrak {m}(\gamma )\) of \(\gamma \) is k.
Conversely, if \(u_{\widehat{W}}\) is a \(J_{\widehat{W}}\)-holomorphic plane in \(\widehat{W}\) as in the statement, then \(u_X:= \widehat{G}^{-1} \circ u_{\widehat{W}}\) is a \(J_X\)-holomorphic map on \(\mathbb{C}\mathbb{P}^1{\setminus }\{\infty \}\). The above computation together with the removable singularity theorem implies that \(u_X\) extends to a \(J_X\)-holomorphic map on \(\mathbb{C}\mathbb{P}^1\) with \((u_X)^{-1}(\Sigma ) = \{ \infty \}\) and \(u_X \cdot \Sigma = k\). \(\square \)
Remark 2.4
The moduli space of unparametrized \(J_{\widehat{W}}\)-holomorphic planes in \(\widehat{W}\) asymptotic to a Reeb orbit \(\gamma \) has dimension
if it is cut out transversely, see [26, Cor. 5.4]. It is nonnegative due to (2.10).
3 Split Floer complex for \(\bigvee \)-shaped Hamiltonians
We will work with Rabinowitz Floer homology defined using \(\bigvee \)-shaped Hamiltonians as in [40] rather than the original definition using the Rabinowitz action functional in [64]. In this section, following [43, 44], we construct a split version of the Floer complex for \(\bigvee \)-shaped Hamiltonians.
3.1 \(\bigvee \)-shaped Hamiltonians
Let \(\mathcal {H}\) be the set of smooth functions \(H:\widehat{W} \rightarrow \mathbb {R}\) satisfying the following properties:
-
(i)
\(H(r,y)=h(e^r)\) for \((r,y) \in {\mathbb {R}} \times Y \subset \widehat{W}\) where \(h:\mathbb {R}\rightarrow {\mathbb {R}}\) is a smooth function such that
$$\begin{aligned} {h}(1) < 0, \qquad h(\rho ) = {\left\{ \begin{array}{ll} \text {constant}, &{} \rho \in (-\infty ,e^{-\epsilon /8}), \\ -a \rho + b^-, &{} \rho \in (e^{-\epsilon /8 + \eta }, e^{-\eta }), \\ a \rho + b^+, &{} \rho \in (e^\eta ,+\infty ), \end{array}\right. } \end{aligned}$$for some \(a \in {\mathbb {R}}_{> 0}\), \(b^\pm \in {\mathbb {R}}\), and sufficiently small \(\eta \in (0, \epsilon /16)\). Here \(\epsilon >0\) is the constant fixed in (2.14). Moreover, we require
$$\begin{aligned} h''<0 \; \text { on } \; (e^{-\epsilon /8},e^{-\epsilon /8+\eta }), \qquad h''>0 \; \text { on } \; (e^{-\eta }, e^\eta ). \end{aligned}$$ -
(ii)
H is constant on \(\widehat{W} {\setminus } ({\mathbb {R}} \times Y)\).
-
(iii)
\(a \in \mathbb {R}_{>0} {\setminus } \frac{1}{K} \mathbb {Z}\).
The Hamiltonian vector field \(X_H\) of \(H \in \mathcal {H}\), defined by \(\iota _{X_H}\omega =-dH\), coincides with \(h'(e^r)R\) on the symplectization part \(\mathbb {R}\times Y\) of \(\widehat{W}\). Therefore a 1-periodic orbit of \(X_H\) on this part is contained in \(\{b\}\times Y\) for some \(b\in {\mathbb {R}}\) and corresponds to a \(h'(e^b)\)-periodic orbit of R if \(h'(e^b)>0\), to a constant orbit if \(h'(e^b)=0\), and to a \(-h'(e^b)\)-periodic orbit of \(-R\) if \(h'(e^b)<0\). Since \(a \notin \frac{1}{K} {\mathbb {Z}}\) and the flow of R is \(\frac{1}{K}\)-periodic, a 1-periodic orbit of \(X_H\) is one of the following types:
-
(I)
constant orbits on \(\widehat{W} {\setminus } ((-\epsilon /8,+\infty ) \times Y)\),
-
(II)
nonconstant orbits on \((-\epsilon /8,-\epsilon /8+\eta ) \times Y\),
-
(III)
constant and nonconstant orbits on \((-\eta ,\eta ) \times Y\).
In the construction of Rabinowitz Floer complex, we will discard orbits of type I and type II, and take only orbits of type III into account. Let \(Y^H_k\) be the space of 1-periodic orbits x of \(X_H\) of type III with multiplicity \(\mathfrak {m}(x) = k\). It is diffeomorphic to Y through
where \(\beta ^H_k\in (-\eta ,\eta )\) is uniquely determined by \(h'(e^{\beta ^H_k})=k/K\). The index \(\mu _\textrm{CZ}(x)\) of \(x\in Y^H_k\) contractible in \(\widehat{W}\) is defined in the same way as in Sect. 2.3 using the linearized flow \(\{t\mapsto d\varphi _{X_H}^t(x(0)) \}_{t\in [0,1]}\).
The same computation gives
We point out that the multiplicity \(\mathfrak {m}(x)\) of 1-periodic orbits x of \(X_H\) can be positive, zero, or negative, as opposed to periodic orbits of R.
Throughout this paper, we equate \(S^1=\mathbb {R}/\mathbb {Z}\). Given \(H \in \mathcal {H}\), the action functional \(\mathcal {A}_H:C^\infty (S^1,\widehat{W})\rightarrow \mathbb {R}\) is defined by
Critical points of \(\mathcal {A}_H\) are exactly 1-periodic orbits of \(X_H\), and critical values of \(\mathcal {A}_H\) are easily computed. If \(x\in \textrm{Crit}\mathcal {A}_H\) is of type I, then \(\mathcal {A}_H(x)=-h(0)\). If \(x\in \textrm{Crit}\mathcal {A}_H\) is a type II or type III orbit lying on \(\{b\}\times Y\), then \(\mathcal {A}_H(x)=e^b h' (e^b) -h (e^b)\). We also note that type II orbits x have \(\mathcal {A}_H(x)<-h(0)\) since \(h''<0\) on the region where x are located.
The spaces \(Y^H_k\) are Morse-Bott critical manifolds of \(\mathcal {A}_H\). We choose auxiliary Morse functions on \(Y^H_k\) as follows. Let \((f_Y,Z_Y)\) be a Morse-Smale pair as in Sect. 2.2. Through the diffeomorphism in (3.1), this gives rise to a Morse-Smale pair \((f_{Y^H_k}, Z_{Y^H_k})\) for each k. We denote by \({\tilde{p}}_k \in \textrm{Crit}f_{Y^H_k}\) the 1-periodic orbit corresponding to \({\tilde{p}} \in \textrm{Crit}f_Y\). We define the index of \(\tilde{p}_k \in \textrm{Crit}f_{Y^H_k}\) by
We refer to [39, Proposition 2.2] and [28, Lemma 3.4] for discussion on index in the case that a critical manifold is a disjoint union of circles, see also (5.19) below.
3.2 Chains of pearls
Before studying moduli spaces of Floer cylinders for \(\bigvee \)-shaped Hamiltonians in \({\widehat{W}}\), in this section, we recall from [43, 44] the definition of moduli spaces of chains of pearls in \(\Sigma \), which is reminiscent of the pearl complex for Lagrangian submanifolds studied in [19, 21, 78].
Definition 3.1
For \(N \in \mathbb {N}=\{1,2,\dots \}\), let \({\textbf {A}}=(A_1,\dots ,A_N) \in (\pi _2(\Sigma ))^N\). For \(J_\Sigma \in \mathcal {J}_\Sigma \) and \(\ell \in \mathbb {N} \cup \{ 0 \}\), we define the moduli space
consisting of tuples \(( {\textbf {w}}, {\textbf {z}} )= \big ( ( w_1, \dots , w_N ), ( \Gamma _1, \dots , \Gamma _N )\big )\) where for every \(i=1,\dots ,N\)
-
(1)
\(w_i:\mathbb{C}\mathbb{P}^1 \rightarrow \Sigma \) is a \(J_\Sigma \)-holomorphic map which represents \(A_i \in \pi _2 (\Sigma )\),
-
(2)
\(\Gamma _i: = ( z_{i,1}, \dots , z_{i, \ell _i} )\) is a finite sequence of pairwise distinct elements of \(\mathbb{C}\mathbb{P}^1 {{\setminus }} \left\{ 0, \infty \right\} \) for some \(\ell _i \in \mathbb N \cup \left\{ 0 \right\} \) with \(\ell = \sum \limits _{i=1}^{N} \ell _i\). If \(\ell _i = 0\), we set \(\Gamma _i = \emptyset \).
The subspace
consists of elements satisfying the following additional properties:
-
(i)
each \(w_i\) is either somewhere injective in the sense of [70] or constant,
-
(ii)
the image of \(w_i\) is not entirely contained in that of \(w_j\) for any \(i \ne j\).
For a Morse-Smale pair \((f_\Sigma , Z_\Sigma )\) as in Sect. 2.2, we consider the map
where \(\mathbb {R}_{>0}:=(0,\infty )\) and \({\textbf {t}} = (t_1, \dots , t_{N-1})\). For \(N = 1\), this means \(\textrm{ev}_{Z_\Sigma }: \mathcal {N}_{N = 1, \ell }({\textbf {A}}; J_\Sigma ) \rightarrow \Sigma ^2\) with \(\textrm{ev}_{Z_\Sigma }(w, {\textbf {z}}) = (w(\infty ), w(0))\).
Definition 3.2
For \(p, q \in \textrm{Crit}f_\Sigma \), \(N\in \mathbb {N}\), \(\ell \in \mathbb {N}\cup \{0\}\), \({\textbf {A}}\in (\pi _2(\Sigma ))^N\), and \(J_\Sigma \in \mathcal {J}_\Sigma \), the moduli space of chains of pearls from q to p is defined by
where \(\Delta _\Sigma := \left\{ (x, y) \in \Sigma \times \Sigma \mid x = y \right\} \)Footnote 1, see Fig. 2. The subspace of simple chain of pearls is defined by
We also define
Remark 3.3
For every \((({\textbf {w}}, {\textbf {z}}),{\textbf {t}})\in \mathcal {N}_{N, \ell }(q, p; {\textbf {A}}; J_\Sigma )\), one can obtain an underlying simple chain of pearls by replacing \(w_i\) with a somewhere injective underlying map, omitting (sequences of) \(w_i\) and \(\Gamma _i\), and reparametrizing \(w_i\) if necessary. See [21, Section 3.3].
Next, we define chains of pearls that also contain \(J_X\)-holomorphic spheres in X.
Definition 3.4
For \(\ell \in \mathbb {N}\), let \({\textbf {B}}=(B_1,\dots ,B_\ell ) \in (\pi _2(X))^\ell \) with \(B_j\cdot \Sigma \ne 0\) for all \(j = 1, \dots , \ell \). For \(J_X \in \mathcal {J}_X\), we define the moduli space
consisting of \(\ell \)-tuples of equivalence classes \({\textbf {u}}=\big ( [u_1], \dots , [u_\ell ] \big )\) where \(u_1,\dots ,u_\ell :\mathbb{C}\mathbb{P}^1 \rightarrow X\) are \(J_X\)-holomorphic maps satisfying the following conditions for every \(j = 1, \dots , \ell \):
-
(1)
\(u_j\) represents \(B_j \in \pi _2 (X)\) and \(u^{-1}_j(\Sigma )=\left\{ \infty \right\} \),
-
(2)
the image of \(u_j\) is not entirely contained in the neighborhood \(\varphi ({\mathcal {U}})\) of \(\Sigma \),
-
(3)
the equivalence relation on \(u_j\) is given by reparametrization by maps in \(\textrm{Aut}(\mathbb{C}\mathbb{P}^1;\infty )\), where \(\textrm{Aut}(\mathbb{C}\mathbb{P}^1;\infty )\) is the group of biholomorphic maps on \(\mathbb{C}\mathbb{P}^1\) fixing \(\infty \).
We also consider the subspace
which consists of elements satisfying the following additional properties:
-
(i)
\(u_j\) is somewhere injective in the sense of [70] for every \(j = 1, \dots , \ell \),
-
(ii)
the image of \(u_i\) is not entirely contained in that of \(u_j\) for every \(i \ne j\).
We point out that if \(\mathcal {P}_\ell ({\textbf {B}};J_X)\ne \emptyset \), then \(B_j\cdot \Sigma >0\) for every \(j=1,\dots ,\ell \) thanks to the positivity of intersection property between \(J_X\)-holomorphic maps.
For \(\ell \in \mathbb {N}\), we define
Putting these and the evaluation map in (3.5) together, we define
When considering this map, we always take \(J_\Sigma \) to be the horizontal part of \(J_X\).
Definition 3.5
For \(p,q\in \textrm{Crit}f_\Sigma \), \(N,\ell \in \mathbb {N}\), \({\textbf {A}}\in (\pi _2(\Sigma ))^N\), \({\textbf {B}}\in (\pi _2(X))^\ell \), and \(J_X\in \mathcal {J}_X\), we define the moduli space of augmented chains of pearls from q to p by
where \(\Delta _{\Sigma ^\ell }:= \left\{ ({\textbf {x}}, {\textbf {y}}) \in \Sigma ^\ell \times \Sigma ^\ell \mid {\textbf {x}} = {\textbf {y}} \right\} \)Footnote 2, see Fig. 3. The subspace of simple elements is defined by
The following result shows that moduli spaces consisting of simple elements are cut out transversely for a suitable choice of almost complex structures.
Proposition 3.6
[43, Proposition 5.26]
-
(a)
There is a residual set \(\mathcal {J}^{\textrm{reg}}_\Sigma \subset \mathcal {J}_\Sigma \) such that, for any \(J_\Sigma \in \mathcal {J}^{\textrm{reg}}_\Sigma \), \(p,q \in \textrm{Crit}f_\Sigma \), \(N\in \mathbb {N}\), \(\ell \in \mathbb {N}\cup \{0\}\), and \({\textbf {A}}=(A_1,\dots ,A_N) \in (\pi _2(\Sigma ))^N\), the moduli space \(\mathcal {N}^*_{N, \ell }(q,p; {\textbf {A}}; J_\Sigma )\) is a smooth manifold of dimension
$$\begin{aligned} {\text {dim}}\mathcal {N}^*_{N, \ell }(q,p;{\textbf {A}};J_\Sigma ) = {\text {ind}}_{f_\Sigma } (p) - {\text {ind}}_{f_\Sigma } (q) + N-1 + \sum _{i=1}^N 2c_1^{T\Sigma }(A_i) + 2\ell . \end{aligned}$$ -
(b)
There is a residual set \(\mathcal {J}^{\textrm{reg}}_X \subset \mathcal {J}_X\) such that, for any \(J_X \in \mathcal {J}^{\textrm{reg}}_X\), \(p,q \in \textrm{Crit}f_\Sigma \), \(N,\ell \in \mathbb {N}\), \({\textbf {A}} = (A_1,\dots ,A_N) \in (\pi _2(\Sigma ))^N \), and \({\textbf {B}} = (B_1,\ldots ,B_\ell ) \in (\pi _2(X))^\ell \), the moduli spaces \(\mathcal {P}^*_\ell ({\textbf {B}};J_X)\) and \(\mathcal {N}^*_{N, \ell }(q,p;{\textbf {A}},{\textbf {B}};J_X)\) are smooth manifolds of dimensions
$$\begin{aligned} {\text {dim}}\mathcal {P}^*_\ell ({\textbf {B}};J_X)&= \sum _{j=1}^\ell \big ({\text {dim}}X +2 c_1^{TX}(B_j) - 2K\omega (B_j) -4 \big ),\\ {\text {dim}}\mathcal {N}^{*}_{N, \ell }(q,p;{\textbf {A}}, {\textbf {B}};J_X)&= {\text {ind}}_{f_\Sigma } (p) - {\text {ind}}_{f_\Sigma } (q) + N-1 + \sum _{i=1}^N 2c_1^{T\Sigma }(A_i) \\&\quad + \sum _{j=1}^{\ell } \big (2c_1^{TX}(B_j)-2 K\omega (B_j)\big ). \end{aligned}$$Moreover, the map \(\mathcal {J}^{\textrm{reg}}_X \rightarrow \mathcal {J}^{\textrm{reg}}_\Sigma \) sending \(J_X\) to its horizontal part \(J_\Sigma \) is well-defined and surjective.
Remark 3.7
The dimension of \(\mathcal {P}^*_\ell ({\textbf {B}};J_X)\) can also be computed in the following way. Due to Proposition 2.3, we can view \(\mathcal {P}_\ell ({\textbf {B}}; J_X)\) as the moduli space of \(\ell \)-tuples of unparametrized \(J_{\widehat{W}}\)-holomorphic planes \([u_j]\) in \(\widehat{W}\), where \(j=1,\dots ,\ell \), asymptotic to Reeb orbits \(\gamma _j\) with multiplicity \(\mathfrak {m}(\gamma _j)=B_j\cdot \Sigma =K\omega (B_j)\in m_W\mathbb {Z}\). The dimension of the latter moduli space can be computed as \( \sum \limits _{j=1}^\ell (\mu _\textrm{CZ}(\gamma _i)+{\text {dim}}\Sigma -2) \) if it is cut out transversly, see (2.16) or [26], and by (2.10) this indeed agrees with the dimension computation for \(\mathcal {P}^*_\ell ({\textbf {B}};J_X)\) above, which follows from [36, Lemma 6.7].
We endow \(\mathcal {N}^*_{N, \ell }(q,p;{\textbf {A}};J_\Sigma )\) and \(\mathcal {N}^{*}_{N, \ell }(q,p;{\textbf {A}}, {\textbf {B}};J_X)\) with orientations according to the following fibered sum rule, the convention used in [4, 28, 43].
Definition 3.8
Let W be an oriented vector space. Let \(V\subset W\) be an oriented subspace. The quotient space W/V is oriented so that the isomorphism \(V\oplus (W/V)\rightarrow W\) given by a splitting of the exact sequence \(0\rightarrow V\rightarrow W\rightarrow W/V\rightarrow 0\) is orientation-preserving. Let \(f_1: V_1 \rightarrow W\) and \(f_2: V_2 \rightarrow W\) be linear maps between oriented vector spaces such that \(f_1 - f_2: V_1 \oplus V_2 \rightarrow W\) defined by \((f_1 - f_2)(v_1, v_2) = f_1(v_1)-f_2(v_2)\) is surjective. We orient \({V_1} {{}^{}_{f_1}\oplus ^{}_{f_{2}}} V_{2}:= {\text {ker}}(f_{1} - f_{2})\) to satisfy the isomorphism \((V_1 \oplus V_2) / (V_1 {}^{}_{f_{1}}\oplus ^{}_{f_{2}} V_{2}) \rightarrow W\) given by \(f_1 - f_2\) being orientation-preserving if and only if \((-1)^{{\text {dim}}V_2 \cdot {\text {dim}}W}=1\).
We explain orientations for two particular cases, namely
which are relevant in our situation, see Proposition 3.17 below. We first observe that the space \(\mathcal {N}^*_{N=1,\ell = 0} (A; J_\Sigma )\) carries a canonical orientation due to the fact that the associated linearized operator is a compact perturbation of a complex linear Cauchy-Riemann operator, see [70, Theorem 3.1.6.(i)]. To orient \(\mathcal {N}^*_{N=1,\ell = 0} (q,p;A; J_\Sigma )\), we view this space as a fiber product space as follows:
where \(\iota ^s\) and \(\iota ^u\) are natural inclusion maps, and \(\textrm{ev}_0\) and \(\textrm{ev}_\infty \) refer to the evaluation maps at 0 and \(\infty \), respectively. The orientations on \(W^u_{Z_\Sigma }(q)\) and \(W^s_{Z_\Sigma }(p)\) chosen in Sect. 2.2 and the orientation on \(\mathcal {N}^*_{N=1,\ell = 0} (A; J_\Sigma )\) induce an orientation on the fiber product space in (3.7) according to the fibered sum rule in Definition 3.8. Note that the fibered sum rule is associative, namely the resulting orientation is independent of the order of taking fiber products. This determines an orientation on \(\mathcal {N}^*_{N=1,\ell = 0} (q,p;A; J_\Sigma )\) via (3.7).
For the latter space in (3.6), we use the natural diffeomorphism
which follows from the fact that \(J_\Sigma \)-holomorphic spheres representing \(A=0\) are constant maps. The space on the right-hand side is oriented by \(\omega _\Sigma \) and the complex structure on \(\mathbb{C}\mathbb{P}^1\), and thus \(\mathcal {N}^*_{N = 1, \ell = 1}(A=0;J_\Sigma ) \) inherits an orientation via (3.8). Let \(\widetilde{\mathcal {P}}^*_{\ell = 1} (B; J_X)\) be the space consisting of \(J_X\)-holomorphic parametrizations of elements in \(\mathcal {P}^*_{\ell = 1} (B; J_X)\). The space \(\widetilde{\mathcal {P}}^*_{\ell = 1} (B; J_X)\) carries a canonical orientation induced by the associated linearized operator as explained above. This induces an orientation on \(\mathcal {P}^*_{\ell = 1} (B; J_X)=\widetilde{\mathcal {P}}^*_{\ell = 1} (B; J_X)/\textrm{Aut}(\mathbb{C}\mathbb{P}^1;\infty )\). Like (3.7), we identify \(\mathcal {N}^*_{N = 1, \ell = 1} (p, p; A = 0, B; J_X)\) with the fiber product space
which is oriented by the fibered sum rule. This endows \(\mathcal {N}^*_{N = 1, \ell = 1} (p, p; A = 0, B; J_X)\) with an orientation.
3.3 Split Floer cylinders
In this section, we study moduli spaces of split Floer cylinders which lead to a split version of the Floer chain complex. Although Hamiltonians used in [43, 44] are different from our \(\bigvee \)-shaped Hamiltonians in \(\mathcal {H}\), analysis in those articles carries over to our setting.
Recalling that \({\mathbb {R}}\times Y\subset \widehat{W}\), we view \(H\in \mathcal {H}\) as a Hamiltonian on \({\mathbb {R}}\times Y\), which is constant on \((-\infty ,-\epsilon /8)\times Y\). Let \(\Gamma \subset {\mathbb {R}}\times S^1\) be a finite subset, which we also allow to be empty. For \(J_Y\in \mathcal {J}_Y\), we refer to smooth solutions \(\tilde{v} = (b, v):\mathbb {R}\times S^1 {{\setminus }}\Gamma \rightarrow {\mathbb {R}}\times Y\) of the Floer equation
asymptotic to critical points of \(\mathcal {A}_H\) at negative and positive ends, i.e.
as Floer cylinders. A Floer cylinder is said to be nontrivial if \(\partial _s{\tilde{v}}\ne 0\). Without loss of generality, we assume that \(\Gamma \) consists of non-removable punctures throughout the paper. On the region \((-\infty ,-\epsilon /8)\times Y\) where \(X_H\) vanishes, equation (3.9) reduces to the Cauchy-Riemann equation, and we may apply the neck stretching technique.
A straightforward computation using \(J_Y\partial _r=R\) and \(d\pi _{\mathbb {R}\times Y}\circ J_Y = J_\Sigma \circ d\pi _{\mathbb {R}\times Y}\) shows that equation (3.9) for \(\tilde{v}=(b,v)\) is equivalent to
The last line yields that \(\pi _{\mathbb {R}\times Y}\circ {\tilde{v}}=\pi _Y\circ v:\mathbb {R}\times S^1{{\setminus }}\Gamma \rightarrow \Sigma \) is \(J_\Sigma \)-holomorphic.
The energy of a Floer cylinder \(\tilde{v}\) is defined by
where the supremum is taken over the set
for \(\epsilon >0\) chosen in Sect. 2.4. The condition \(\psi (r)=e^r\) for \(r\ge -\epsilon \) implies that \(E(\tilde{v})\) is equal to the sum of the energy for Floer cylinders on the region \(\tilde{v}^{-1}([-\epsilon ,+\infty )\times Y)\) and the Hofer energy on the complement.
Therefore a Floer cylinder \(\tilde{v}=(b,v):\mathbb {R} \times S^1 {{\setminus }} \Gamma \rightarrow \mathbb {R}\times Y\) has finite energy if and only if the following asymptotic behavior holds for every \(z\in \Gamma \): for holomorphic polar coordinates \(\epsilon _{z}:(-\infty ,0] \times S^1 \rightarrow \mathbb {R}\times S^1\) near \(z \in \Gamma \), the map \({\tilde{v}}\circ \epsilon _z(s,t)\) converges to the orbit cylinder \((-\infty ,0)\times \gamma _z(Tt)\) for some periodic Reeb orbit \(\gamma _z:{\mathbb {R}}/T{\mathbb {Z}}\rightarrow Y\) in the sense of [61, 63] as \(s\rightarrow -\infty \). In particular,
If \({\tilde{v}}\) has finite energy, then so does \(\pi _Y\circ v\), namely \(\int _{{\mathbb {R}} \times S^1 {{\setminus }} \Gamma }(\pi _Y \circ v)^* \omega _\Sigma <\infty \). Hence, due to the removable singularity theorem, \( \pi _Y\circ v \) extends to a \(J_\Sigma \)-holomorphic map defined on \(\mathbb{C}\mathbb{P}^1\), where \(\mathbb{C}\mathbb{P}^1{\setminus }\{0,\infty \}\) is equated with \(\mathbb {R}\times S^1\). Since we will only deal with finite energy solutions \({\tilde{v}}\) of (3.9), we abuse notation and write
where
for \(z\in \Gamma \). Here we equated the constant curves \(\pi _Y\circ (\textrm{ev}_\pm (v))\) and \(\pi _Y\circ \gamma _z\) with their images.
Let \({\tilde{v}}=(b,v):\mathbb {R}\times S^1{{\setminus }}\Gamma \rightarrow \mathbb {R}\times Y\) be a Floer cylinder with finite energy such that v converges to periodic Reeb orbits \(\gamma _{z_j}\) with period \(\mathfrak {m}(\gamma _{z_j})/K > 0\) at \(z_j\in \Gamma \). Then Stokes’ theorem yields
The first inequality follows from \(E_{\psi =e^r}({\tilde{v}}) = \int _{{\mathbb {R}} \times S^1 {{\setminus }} \Gamma } |\partial _s \tilde{v}|^2dsdt\), where the norm is induced by \(d(e^r \alpha )\) and \(J_Y\). In particular, \(\mathcal {A}_H(\textrm{ev}_+({\tilde{v}}))\ge \mathcal {A}_H(\textrm{ev}_-({\tilde{v}}))\). Moreover, by a property of \(c_1^E\), (2.10), and (3.2), we have
Here the inequality follows from \(c_1^{T\Sigma }([\pi _Y\circ v])=(\tau _X-K)\omega ([\pi _Y\circ v])\ge 0\). The last equality holds for contractible \(\textrm{ev}_+(\tilde{v})\), \(\textrm{ev}_-(\tilde{v})\), and \(\gamma _{z_j}\). Furthermore, \(\omega ([\pi _Y\circ v])= 0\), i.e. \(\pi _Y\circ v\) is constant, if and only if \(\mathfrak {m}(\textrm{ev}_+(v))=\mathfrak {m}(\textrm{ev}_-(v)) + \sum \limits _{z_j\in \Gamma } \mathfrak {m}(\gamma _{z_j})\). In the case of \(\mathfrak {m}(\textrm{ev}_+(v))=\mathfrak {m}(\textrm{ev}_-(v))\), we have \(\Gamma =\emptyset \) and \(\pi _Y\circ v\) being constant. If in addition both \(\textrm{ev}_+({\tilde{v}})\) and \(\textrm{ev}_-({\tilde{v}})\) are of type III, then \(\mathcal {A}_H(\textrm{ev}_+({\tilde{v}}))=\mathcal {A}_H(\textrm{ev}_-({\tilde{v}}))\) and thus \({\tilde{v}}\) maps to the orbit \(\textrm{ev}_+({\tilde{v}})=\textrm{ev}_-({\tilde{v}})\) lying over the point \(\pi _Y\circ v\) by (3.13).
Next, we define moduli spaces which contribute to the split Floer chain complex. From now on, \(H \in \mathcal {H}\) and \(J_X \in \mathcal {J}_X\). As before, we write \(J_Y\) and \(J_\Sigma \) for the cylindrical and horizontal parts of \(J_X\), respectively. We also fix a Morse-Smale pair \((f_Y, Z_Y)\) as in Sect. 2.2. Let \(N\in \mathbb {N}\) and \(\ell \in \mathbb {N}\cup \{0\}\). Let \({\textbf {A}}:= (A_1, \dots , A_N) \in (\pi _2(\Sigma ))^N\) as in Sect. 3.2.
Definition 3.9
The moduli space
consists of pairs \(({\textbf {v}},{\textbf {z}})=\big ((\tilde{v}_1, \dots , \tilde{v}_N), ( \Gamma _1, \dots , \Gamma _N )\big )\) such that for every \(i=1,\dots ,N\)
-
(1)
\(\Gamma _i = ( z_{i,1}, \dots , z_{i, \ell _i} )\) is a finite sequence of pairwise distinct elements of \({\mathbb {R}} \times S^1\) for some \(\ell _i \in {\mathbb {N}} \cup \left\{ 0 \right\} \) with \(\ell = \sum \limits _{i=1}^{N} \ell _i\). For \(\ell _i = 0\), we set \(\Gamma _i = \emptyset \),
-
(2)
\(\tilde{v}_i = (b_i, v_i): \mathbb {R} \times S^1 {{\setminus }} \Gamma _i \rightarrow \mathbb {R} \times Y\) is a nontrivial Floer cylinder with finite energy such that \(\pi _Y \circ v_i\) represents \(A_i\),
and in addition for every \(i=1,\dots , N-1\)
We also define the subspace
consisting of simple elements \(({\textbf {v}},{\textbf {z}})\), namely
Remark 3.10
Punctures \({\textbf {z}}\) are free to move on the domain \(\mathbb {R}\times S^1\). In order to study the moduli space in (3.15) using a linearized operator, we may fix the position of punctures at the cost of working with a family of complex structures on \(\mathbb {R}\times S^1\), see [43, p.21].
We consider the map
where \({\textbf {t}}: = (t_1, \dots , t_{N-1})\) and \(\textrm{ev}_{\pm ,0}(\tilde{v}):= \lim \limits _{s \rightarrow \pm \infty } v(s,0)\) for \(\tilde{v}=(b,v)\). In the case of \(N = 1\), this means \(\widetilde{\textrm{ev}}_{Z_Y}: \mathcal {M}_{N, \ell ; k_-, k_+} ({\textbf {A}}; H; J_Y) \rightarrow Y^2\) with \((\tilde{v}, {\textbf {z}}) \mapsto \big ( \textrm{ev}_{+,0}(\tilde{v}), \textrm{ev}_{-,0}(\tilde{v}) \big )\).
Let \(f_{Y_{k_\pm }^H}\) be the Morse functions on \(Y_{k_\pm }^H\) corresponding to \(f_Y\) as in Sect. 3.1. Let
be 1-periodic orbits of type III corresponding to \({\tilde{p}},{\tilde{q}}\in \textrm{Crit}f_Y\), respectively.
Definition 3.11
For \(\ell \in \mathbb {N} \cup \left\{ 0 \right\} \), we define the moduli space
where \(\widetilde{\textrm{ev}}_{Z_Y}\) is given in (3.16) and \(\Delta _Y:= \left\{ (x,y) \in Y \times Y \, \mid \, x = y \right\} \).Footnote 3 The subspace of simple elements is defined by
For \(\ell = 0\), we write \(\mathcal {M}_{N, \ell = 0} (\tilde{q}_{k_-}, \tilde{p}_{k_+}; {\textbf {A}}; H; J_Y)\) and \(\mathcal {M}^*_{N, \ell = 0} (\tilde{q}_{k_-}, \tilde{p}_{k_+}; {\textbf {A}}; H; J_Y)\).
Remark 3.12
If one wants to investigate the case \(\mu ({\tilde{p}_{k_+}}) - \mu ({\tilde{q}_{k_-}}) \ge 2\), then it is more reasonable to consider \(\mathbb {R}_{\ge 0}^{N-1}\) in (3.16), as opposed to \(\mathbb {R}_{>0}^{N-1}\). However, we only need to study the case \(\mu ({\tilde{p}_{k_+}}) - \mu ({\tilde{q}_{k_-}}) = 1\) for our purpose. To this end, it suffices to deal only with the case \(\mathbb {R}_{>0}^{N-1}\). Note that, for \((({\textbf {v}},{\textbf {z}}),{\textbf {t}})\) with \(t_i=0\) for some i, \(\tilde{v}_i\) and \(\tilde{v}_{i+1}\) can be glued, and therefore \((({\textbf {v}},{\textbf {z}}),{\textbf {t}})\) is an interior point after Floer-Gromov compactification.
Let \({\textbf {B}}:= ( B_1, \dots , B_\ell ) \in (\pi _2(X) )^\ell \), for \(\ell \in {\mathbb {N}}\), with \(B_j \cdot \Sigma \ne 0\) for every \(j = 1, \dots , \ell \) as in Definition 3.4. We consider two maps
where \(\gamma _{z_{i,j}}\) are periodic Reeb orbits that \(v_i\) converges to at \(z_{i,j}\in \Gamma _i\), and \({\textbf {u}} = ([u_1], \dots , [u_\ell ])\). Putting these maps and the one in (3.16) together, we define
Definition 3.13
For \(\ell \in {\mathbb {N}}\), we define the moduli space
where \({\Delta }_{(\Sigma \times \mathbb {N})^\ell }: = \left\{ ({\textbf {x}}, {\textbf {y}}) \in (\Sigma \times \mathbb {N})^{\ell } \times (\Sigma \times {\mathbb {N}})^{\ell } \, \Big | \, {\textbf {x}} = {\textbf {y}} \right\} \),Footnote 4 see Fig. 4. The subspace of simple elements is defined by
Remark 3.14
In view of Proposition 2.3 and Remark 3.7, we think of \([u_1],\dots ,[u_\ell ]\) in \(\ ( (({\textbf {v}},{\textbf {z}}), {\textbf {t}}), {\textbf {u}} ) \in \mathcal {M}_{N, \ell }(\tilde{q}_{k_-},\tilde{p}_{k_+};{\textbf {A}}, {\textbf {B}}; H; J_X)\) as unparametrized \(J_{\widehat{W}}\)-holomorphic planes in \(\widehat{W}\) whose asymptotic orbits coincide with the periodic Reeb orbits that \(v_1,\dots ,v_N\) converge to at \({\textbf {z}}\).
There are canonical projection maps
defined by \(\Pi (({\textbf {v}},{\textbf {z}}), {\textbf {t}}): = (({\textbf {w}},{\textbf {z}}), {\textbf {t}})\), and \(\Pi ((({\textbf {v}},{\textbf {z}}), {\textbf {t}}), {\textbf {u}}):= ((({\textbf {w}},{\textbf {z}}), {\textbf {t}}), {\textbf {u}})\), where \({\textbf {w}}:= (\pi _{ Y}\circ {v}_1,\dots ,\pi _{Y}\circ {v}_{N})\). We have the same projections with \(\mathcal {M}_{N, \ell }\) and \(\mathcal {N}_{N, \ell }\) replaced by \(\mathcal {M}_{N, \ell }^*\) and \(\mathcal {N}_{N, \ell }^*\). The following transversality result is, roughly speaking, a consequence of an automatic transversality property in the fiber direction of \(\Pi \). A corresponding statement for Floer continuation cylinders will be discussed in Proposition 4.5 and below.
Proposition 3.15
[43, Proposition 5.9] Let \(\mathcal {J}_X^\textrm{reg}\) be the residual subset of \(\mathcal {J}_X\) given in Proposition 3.6. For \(J_X\in \mathcal {J}_X^\textrm{reg}\) and its cylindrical part \(J_Y\), the moduli spaces
are smooth manifolds of dimension
Definition 3.16
We define the moduli space of split Floer cylinders
and the subspace of simple elements by
where the unions \(\bigcup \limits _{\textbf {A}}\) and \(\bigcup \limits _{\textbf {B}}\) range over \({\textbf {A}}\in (\pi _2(\Sigma ))^N\) and \({\textbf {B}}:=(B_1,\dots ,B_\ell ) \in (\pi _2(X))^\ell \) with \(B_j\cdot \Sigma \ne 0\) for all j, respectively in both cases.
There is a free \(\mathbb {R}^N\)-action on \(\mathcal {M}_{N}(\tilde{q}_{k_-},\tilde{p}_{k_+}; H; J_X)\) given by translating the domain \(\mathbb {R}\times S^1\) (together with punctures \({\textbf {z}}\)) of each \(\tilde{v}_i\) in the \(\mathbb {R}\)-direction. For \(N=0\), let
It inherits an orientation from oriented stable and unstable manifolds, see Sect. 5.1. It also carries a natural \(\mathbb {R}\)-action. Putting all these together, we define
The latter space is a smooth manifold of dimension \(\mu (\tilde{p}_{k_+})-\mu (\tilde{q}_{k_-})-1\) by the Morse-Smale property of \((f_Y,Z_Y)\) and Proposition 3.15.
Next we endow \(\mathcal {M}^*_{N, \ell =0}(\tilde{q}_{k_-},\tilde{p}_{k_+};{\textbf {A}}; H; J_Y)\) and \(\mathcal {M}^*_{N, \ell }(\tilde{q}_{k_-},\tilde{p}_{k_+};{\textbf {A}},{\textbf {B}}; H; J_X)\) with orientations according to the fibered sum rule introduced in Definition 3.8. We offer an explanation only for those contributing to the split Floer chain complex, namely
see Proposition 3.17 below. We first orient \(\mathcal {M}^*_{N=1, \ell = 0; k_-, k_+}(A; H; J_Y)\) as follows. For \(\tilde{v} \in \mathcal {M}^*_{N=1, \ell = 0; k_-, k_+}(A; H; J_Y)\), the operator \(D_{\tilde{v}}\) obtained by linearizing the Floer equation (3.9) at \(\tilde{v}\) is Fredholm on suitable Sobolev spaces,
We refer to [43, Section 5.2] for the precise definition of such Sobolev spaces and for properties of \(D_{{\tilde{v}}}\) we recall below. The operator \(D_{\tilde{v}}\) can be expressed as
with respect to the splitting \(\tilde{v}^* T ({\mathbb {R}} \times Y) \cong ({\mathbb {R}}{\partial _r} \oplus {\mathbb {R}} R) \oplus (\pi _Y \circ v)^* T \Sigma \). The operator \(\dot{D}^{\Sigma }_{\pi _Y \circ v}\) is the linearized operator associated with the \(J_\Sigma \)-holomorphic curve \(\pi _Y \circ v\) and has Fredholm index \({\text {dim}}\Sigma + 2 c_1^{T\Sigma }([\pi _Y \circ v])\). Moreover, \(D^{{\mathbb {C}}}_{\tilde{v}}\) is a surjective Fredholm operator with Fredholm index equal to 1. The kernel of \(D^{{\mathbb {C}}}_{\tilde{v}}\) is generated by the Reeb vector field R, which amounts to rotating \(\tilde{v}\) using the flow of R. We orient \({\text {ker}}D^\mathbb {C}_{\tilde{v}}\) by R. The off-diagonal entry M is a compact operator. Hence, the Fredholm index of \(D_{\tilde{v}}\) can be computed as
We have the exact sequence \(0\rightarrow {\text {ker}}D^\mathbb {C}_{\tilde{v}} \rightarrow {\text {ker}}D_{\tilde{v}} \rightarrow {\text {ker}}\dot{D}^\Sigma _{\pi _Y \circ v}\rightarrow 0\) given by inclusion and projection. This leads to a canonical isomorphism
where \(R_{{\tilde{v}}}\) is the Reeb vector field along \({\tilde{v}}\).
As mentioned after (3.6), \(\mathcal {N}^*_{N=1, \ell = 0}(A; J_\Sigma )\) carries a natural orientation. This defines an orientation on \(\mathcal {M}^*_{N=1, \ell = 0; k_-, k_+}(A; H; J_Y)\) by declaring the isomorphism in (3.21) to be orientation-preserving.
To orient \(\mathcal {M}^*_{N = 1, \ell = 0} (\hat{q}_{k_-},\check{p}_{k_+}; A; H; J_Y)\), we use the identification
where \(\iota ^s_Y\) and \(\iota ^u_Y\) are natural inclusions. The fiber product space is oriented by the fibered sum rule, where the orientations on \(W^s_{Z_Y} (\check{p})\) are \(W^u_{Z_Y} (\hat{q})\) are chosen in Sect. 2.2. The space \(\mathcal {M}^*_{N = 1, \ell = 0} (\hat{q}_{k_-},\check{p}_{k_+}; A; H; J_Y)\) inherits an orientation from the above identification.
Next we orient the latter space in (3.18). Like (3.21), we have an isomorphism
Using the orientation on \(\mathcal {N}^*_{N = 1, \ell = 1}(A=0; J_\Sigma )\) chosen after Definition 3.8 and the above isomorphism, we endow \(\mathcal {M}^*_{N=1, \ell = 1; k_-, k_+}(A=0; H; J_Y)\) with an orientation.
Then we identify \(\mathcal {M}^*_{N = 1, \ell = 1} (\hat{p}_{k_-},\check{p}_{k_+};A = 0, B;H; J_X)\) with the fiber product space
which is oriented by the fibered sum rule. Note that \(\mathcal {P}^*_{\ell = 1}(B;J_X)\) is oriented as discussed after Definition 3.8. This induces an orientation on \(\mathcal {M}^*_{N = 1, \ell = 1} (\hat{p}_{k_-},\check{p}_{k_+};A = 0, B;H; J_X)\).
We are now in a position to introduce the following remarkable result due to Diogo and Lisi. As the following proposition is one crucial ingredient of the main result of this paper, we provide an outline of their proof. To state the result, we denote by \(\# \mathcal {M}\) the cardinality of \(\mathcal {M}\) counted with sign for a compact oriented zero-dimensional manifold \(\mathcal {M}\).
Proposition 3.17
[44, Theorem 9.1] Let \(H\in \mathcal {H}\) and \(J_X \in \mathcal {J}^{\textrm{reg}}_X\). Let \(\tilde{p}_{k_+}\in \textrm{Crit}f_{Y^H_{k_+}}\) and \(\tilde{q}_{k_-} \in \textrm{Crit}f_{Y^H_{k_-}}\) be 1-periodic orbits of type III with \(\mu ({\tilde{p}_{k_+}}) - \mu ({\tilde{q}_{k_-}}) =1\). Then all elements of \(\hspace{0.83328pt}\overline{\hspace{-0.83328pt}\mathcal {M}\hspace{-0.83328pt}}\hspace{0.83328pt}(\tilde{q}_{k_-},\tilde{p}_{k_+};H;J_X)\) are simple, i.e.
Moreover if \(\hspace{0.83328pt}\overline{\hspace{-0.83328pt}\mathcal {M}\hspace{-0.83328pt}}\hspace{0.83328pt}(\tilde{q}_{k_-},\tilde{p}_{k_+};H;J_X)\) is not empty, then it is one of the following forms:
-
(a)
It holds \(k_-=k_+\) and therefore
$$\begin{aligned} \hspace{0.83328pt}\overline{\hspace{-0.83328pt}\mathcal {M}\hspace{-0.83328pt}}\hspace{0.83328pt}(\tilde{q}_{k_-},\tilde{p}_{k_+};H;J_X) = \mathcal {M}_{N=0}(\tilde{q}_{k_-},\tilde{p}_{k_+})/\mathbb {R}. \end{aligned}$$ -
(b)
We have
$$\begin{aligned} \hspace{0.83328pt}\overline{\hspace{-0.83328pt}\mathcal {M}\hspace{-0.83328pt}}\hspace{0.83328pt}(\tilde{q}_{k_-},\tilde{p}_{k_+};H;J_X) = \bigcup _{A\in \pi _2(\Sigma )}\mathcal {M}_{N=1, \ell = 0}(\hat{q}_{k_-},\check{p}_{k_+};A;H;J_Y)/\mathbb {R} \end{aligned}$$where the union is taken over all nonzero \( A \in \pi _2(\Sigma )\) satisfying \({\text {ind}}_{f_\Sigma }(p)-{\text {ind}}_{f_\Sigma }(q)+2c_1^{T\Sigma }(A)=2\) and \(K\omega _\Sigma (A)=k_+- k_-\). Moreover, for all such A, we have
$$\begin{aligned}{} & {} \# \big (\mathcal {M}^*_{N = 1, \ell = 0} (\hat{q}_{k_-}, \check{p}_{k_+};A;H;J_Y)/\mathbb {R}\big )\\{} & {} \quad =-K\omega _\Sigma (A) \cdot \#\big ( \mathcal {N}^*_{N = 1, \ell = 0} (q,p;A;J_\Sigma ) / \mathbb {C}^*\big ) \end{aligned}$$where \(\mathbb {C}^*\) acts on \(\mathbb{C}\mathbb{P}^1\) fixing 0 and \(\infty \). See the left-hand side of Fig. 5.
-
(c)
We have \(q=p\) and
$$\begin{aligned} \hspace{0.83328pt}\overline{\hspace{-0.83328pt}\mathcal {M}\hspace{-0.83328pt}}\hspace{0.83328pt}(\tilde{q}_{k_-},\tilde{p}_{k_+};H;J_X) = \bigcup _{B\in \pi _2(X)} \mathcal {M}_{N=1, \ell = 1}(\hat{p}_{k_-},\check{p}_{k_+};A=0, B;H;J_X)/\mathbb {R} \end{aligned}$$where the union is taken over all \(B \in \pi _2(X)\) satisfying \(c_1^{TX}(B)-K\omega (B)=1\) and \(K\omega (B)=k_+ - k_-\). Moreover, for all such B, we have
$$\begin{aligned}&\#\big (\mathcal {M}^*_{N = 1, \ell = 1} (\hat{p}_{k_-}, \check{p}_{k_+}; A=0,B;H;J_X) / {\mathbb {R}} \big ) \\&\quad = K\omega (B)\cdot \#\big ( \mathcal {N}^*_{N=1, \ell = 1} (p,p;A=0,B;J_X) / \mathbb {C}^*\big ). \end{aligned}$$See the right-hand side of Fig. 5.
Sketch of the proof
Each connected component of the space \({\mathcal {M}}(\tilde{q}_{k_-},\tilde{p}_{k_+};H;J_X)\) is fibered over some \(\mathcal {N}_{N, \ell }(q,p;{\textbf {A}},{\textbf {B}};J_X)\) as pointed out in (3.17). From the hypothesis \(\mu ({\tilde{p}_{k_+}}) - \mu ({\tilde{q}_{k_-}})=1\) and the transversality result in Proposition 3.6, we deduce that it is actually fibered over \(\mathcal {N}_{N, \ell }^*(q,p;{\textbf {A}},{\textbf {B}};J_X)\). Then we can conclude that only three cases (a), (b), and (c) can occur for dimension reasons. We refer to Proposition 4.5.(b) below for an analogous statement and its proof for Floer continuation cylinders.
Statement (a) follows from the fact that there is no nontrivial Floer cylinder with both asymptotic ends in \(Y^H_{k_-=k_+}\) for energy reasons.
Statement (b) is proved by showing that the projection
induced by (3.17) is a surjective orientation-reversing \(K\omega _\Sigma (A)\)-to-1 map. Each \(({\textbf {v}},{\textbf {z}})=({\tilde{v}}=(b,v),\emptyset )\in \mathcal {M}^*_{N = 1, \ell = 0} (\hat{q}_{k_-}, \check{p}_{k_+};A;H;J_Y)\) yields a \(S^1\times S^1\)-family of solutions
in \(\mathcal {M}^*_{N=1, \ell =0; k_-, k_+ }(A; H; J_Y )\) since \(J_Y\) is \(S^1\)-invariant and H does not depend on the \(S^1\)-coordinate. Then, \({\tilde{v}}_{(\theta ,\vartheta )}\) belongs to \(\mathcal {M}^*_{N = 1, \ell = 0} (\hat{q}_{k_-}, \check{p}_{k_+};A;H;J_Y)\) if and only if
This is equivalent to \(\theta +\vartheta k_-\in \mathbb {Z}\) and \(\theta +\vartheta k_+\in \mathbb {Z}\), and in turn also to \((k_+-k_-)\vartheta \in \mathbb {Z}\) with \(\theta \) uniquely determined by \(\vartheta \). This holds for
Furthermore, for any \(({\textbf {w}},{\textbf {z}})=(w,\emptyset )\in \mathcal {N}^*_{N = 1, \ell = 0} (q,p;A;J_\Sigma )\), there exists a unique \(({\tilde{v}},\emptyset )\in \mathcal {M}^*_{N=1, \ell =0; k_-, k_+ }(A; H; J_Y )\) fibered over \((w,\emptyset )\) up to the \(S^1\times S^1\)-action. This is proved by establishing a correspondence between Floer cylinders and \(J_Y\)-holomorphic cylinders, see [44, Sections 6 and 7] for details and see also Remark 3.18 below. This uniqueness property and (3.23) yield that if \(\widehat{\Pi }([(\tilde{v},\emptyset )])=[(w,\emptyset )]\), then \(\widehat{\Pi }^{-1}([(w,\emptyset )])\) has cardinality \(k_+-k_-\), which equals \(K\omega _\Sigma (A)\). From our orientation conventions, one can check that \(\widehat{\Pi }\) is orientation-reversing. This completes the proof of statement (b).
Statement (c) is proved analogously. \(\square \)
Remark 3.18
The correspondence between Floer cylinders and \(J_Y\)-holomorphic cylinders established in [44, Sections 6 and 7] continues to hold for \(\bigvee \)-shaped Hamiltonians. We remark that, in contrast to the setting in [44], our Floer cylinder could have \(\mathfrak {m}(\textrm{ev}_\pm (v))<0\), and the corresponding \(J_Y\)-holomorphic cylinder (a, u) satisfies
Remark 3.19
Our orientation conventions in Sect. 2.2 and (3.18) differ from those in [44], and this is why Proposition 3.17.(b) and the corresponding result in [44, Theorem 9.1] have different signs.
Remark 3.20
The signed count \(\#\big ( \mathcal {N}^*_{N=1, \ell = 1} (p,p;A=0,B;J_X) / \mathbb {C}^* \big )\) in Proposition 3.17.(c) and (5.16) is independent of \(p \in \textrm{Crit}f_\Sigma \), which can be shown by a cobordism argument, see [37, Section 3.2].
3.4 Split Floer chain complex
Let \(a,b \in \mathbb {R}\) with \(a<b\). We take \(H \in \mathcal {H}\), which is of the form \(H(r, y)=h(e^r)\) on \(\mathbb {R} \times Y\subset \widehat{W}\) by definition, such that \(h(0) > -a\). We define a finite set
A 1-periodic orbit \(x\in \textrm{Crit}\mathcal {A}_H\) of \(X_H\) with \(\mathfrak {m}(x) \in \mathfrak {m}(a,b\,; H)\) is contractible in \(\widehat{W}\) by the definition of \(m_W\) and of type III by the action computation after (3.3). Thus, for \(k\in \mathfrak {m}(a,b\,;H)\), the constant \(\beta ^H_k\) is uniquely determined and appears in \((-\eta ,\eta )\).
Now, we define the split Floer complex of H and \(J_X \in \mathcal {J}^{\textrm{reg}}_X\). The chain module is generated by critical points of \(f_{Y^H_k}\) with \(k\in \mathfrak {m}(a,b\,;H)\), i.e.
with grading given by \(\mu (\tilde{p}_k)\) defined in (3.4). The boundary operator is defined to be the \({\mathbb {Z}}\)-linear extension of
where the first and second sums run over all generators \(\tilde{q}_{k_-}\) satisfying \(\mu (\tilde{p}_{k_+})-\mu (\tilde{q}_{k_-})=1\) and \([\tilde{v}] \in \hspace{0.83328pt}\overline{\hspace{-0.83328pt}\mathcal {M}\hspace{-0.83328pt}}\hspace{0.83328pt}(\tilde{q}_{k_-},\tilde{p}_{k_+}; H; J_X)\), respectively. The orientation sign \(\epsilon ([\tilde{v}]) \in \{1, -1\}\) of \([\tilde{v}]\) is given by \(\epsilon ([\tilde{v}]) = 1\) if the orientation on the moduli space at \(\tilde{v}\) coincides with the orientation induced by the \(\mathbb {R}\)-action, and \(\epsilon ([\tilde{v}]) = -1\) otherwise. This split chain complex can be identified with the corresponding ordinary Floer chain complex with a sufficiently stretched almost complex structure thanks to the neck-streching argument, see [27, 44] and also Remark 4.6. It follows that the homology
is well-defined, isomorphic to the ordinary Floer homology of H, and independent of the choice of \(J_X\in \mathcal {J}^{\textrm{reg}}_X\) up to canonical isomorphisms.
4 Split Rabinowitz Floer homology
4.1 Split Floer continuation cylinders
We endow \(\mathcal {H}\) with the standard strict partial order \(\prec \), namely \(H\prec L\) if \(H < L\) pointwise. A smooth family of smooth maps \(H_s:\widehat{W} \rightarrow \mathbb {R}\) parametrized by \(s \in {\mathbb {R}}\) is said to be a monotone homotopy for \(H \prec L\) if the following conditions are fulfilled:
-
(i)
\(H_s\) satisfies the conditions (i) and (ii) in the definition of \(\mathcal {H}\) (see Sect. 3.1).
-
(ii)
\(H_s \equiv L\) for \(s \le -1\) and \(H_s \equiv H\) for \(s \ge 1\).
-
(iii)
\(\frac{\partial }{\partial s} H_s \le 0\).
As we will study split Floer cylinders for \(H_s\), we again view \(H,L\in \mathcal {H}\) and a monotone homotopy \(H_s\) for \(H \prec L\) as functions defined on \(\mathbb {R}\times Y\) using the embedding \(\mathbb {R}\times Y \subset \widehat{W}\). In particular, \(H_s(r,y)=h_s(e^r)\) for some smooth family of smooth maps \(h_s:\mathbb {R}\rightarrow \mathbb {R}\), and \(X_{H_s}\) vanishes on \((-\infty ,-\epsilon /8)\times Y\) for \(\epsilon \) as in Sect. 2.4.
Let \(H_s\) be a monotone homotopy for \(H \prec L\), and let \(\Gamma = \left\{ z_1, \dots , z_\ell \right\} \) be a possibly empty finite subset of \(\mathbb {R} \times S^1\). For \(J_Y\in \mathcal {J}_Y\), we refer to smooth solutions \(\tilde{v}=(b,v):\mathbb {R}\times S^1 {{\setminus }}\Gamma \rightarrow {\mathbb {R}}\times Y\) of
which converge to a critical point of \(\mathcal {A}_L\) at the negative end and to a critical point of \(\mathcal {A}_H\) at the positive end, i.e.
as Floer continuation cylinders. Note that a usual maximum principle applies to Floer continuation cylinders. There is no loss of generality in assuming that \(\Gamma \) consists of non-removable punctures. We define the energy \(E(\tilde{v})\) of a Floer continuation cylinder \(\tilde{v}\) by (3.11) with H replaced by \(H_s\). A direct computation gives
which implies \(\mathcal {A}_H(\textrm{ev}_+({\tilde{v}})) \ge \mathcal {A}_L(\textrm{ev}_-({\tilde{v}}))\). A Floer continuation cylinder \(\tilde{v}\) has finite energy if and only if \(\tilde{v}\) converges at every \(z\in \Gamma \) to the orbit cylinder of some periodic Reeb orbit as in (3.12). Moreover, (3.14) holds also for \({\tilde{v}}\). Thus every nontrivial Floer continuation cylinder \(\tilde{v}=(b,v)\) has \(\mathfrak {m}(\textrm{ev}_+(v))\ge \mathfrak {m}(\textrm{ev}_-(v))\). However, in contrast to nontrivial Floer cylinders, nontrivial Floer continuation cylinders \({\tilde{v}}=(b,v)\) can have \(\mathfrak {m}(\textrm{ev}_+(v))= \mathfrak {m}(\textrm{ev}_-(v))\).
We observe that system of equations (3.10) holds again with h replaced by \(h_s\). In particular, \({\tilde{v}}=(b,v)\) with finite energy projects to a \(J_\Sigma \)-holomorphic map \(\pi _Y \circ v:\mathbb {R}\times S^1{{\setminus }} \Gamma \rightarrow \Sigma \) with finite energy. As before, due to the removable singularity theorem, this extends to a \(J_\Sigma \)-holomorphic map defined on \(\mathbb{C}\mathbb{P}^1\), denoted again by \(\pi _Y \circ v:\mathbb{C}\mathbb{P}^1\rightarrow \Sigma \).
Now we define moduli spaces which will be used in the construction of a split version of continuation homomorphisms. Let \(H_s\) be a monotone homotopy for \(H \prec L\). Let \(J_X \in \mathcal {J}_X\), and let \(J_Y\) and \(J_\Sigma \) be the cylindrical and horizontal parts of \(J_X\), respectively. Let
and let
Definition 4.1
We define the moduli space
consisting of pairs
such that for every \(i=1,\dots ,N_H\) and \(j=1,\dots ,N_L\)
-
(1)
\(\Gamma ^H_i: = ( z^{H}_{i,1}, \dots , z^{H}_{i, \ell _{H,i}} )\) is a finite sequence of pairwise distinct elements of \({\mathbb {R}} \times S^1\) for some \(\ell _{H,i} \in {\mathbb {N}} \cup \left\{ 0 \right\} \) with \(\ell _H = \sum \limits _{i=1}^{N_H} \ell _{H, i}\). For \(\ell _{H,i} = 0\), we set \(\Gamma ^H_i = \emptyset \),
-
(2)
\(\tilde{v}^H_i=(b^H_i,v^H_i): \mathbb {R}\times S^1 {{\setminus }} \Gamma ^H_i \rightarrow \mathbb {R} \times Y\) is a nontrivial Floer cylinder with finite energy with respect to H such that \(\pi _Y \circ v^H_i\) represents \(A^H_i\),
-
(3)
\(\Gamma : = (z_{1}, \dots , z_{\ell _\textrm{c}} )\) is a finite sequence of pairwise distinct elements of \({\mathbb {R}} \times S^1 \). For \(\ell _{\textrm{c}} = 0\), we set \(\Gamma = \emptyset \).
-
(4)
\(\tilde{v}=(b,v): \mathbb {R}\times S^1 {{\setminus }} \Gamma \rightarrow \mathbb {R}\times Y\) is a Floer continuation cylinder with finite energy with respect to \(H_s\) such that \(\pi _Y \circ v\) represents A,
-
(5)
\(\Gamma ^{L}_j: = ( z^{L}_{j,1}, \dots , z^{L}_{j, \ell _{L,j}} )\) is a finite sequence of pairwise distinct elements of \({\mathbb {R}} \times S^1\) for some \(\ell _{L,j} \in {\mathbb {N}} \cup \left\{ 0 \right\} \) with \(\ell _{L} = \sum \limits _{j=1}^{N_L} \ell _{L, j}\). For \(\ell _{L,j} = 0\), we set \(\Gamma ^{L}_j = \emptyset \),
-
(6)
\(\tilde{v}^{L}_j=(b^{L}_j,v^{L}_j): \mathbb {R}\times S^1 {{\setminus }} \Gamma ^{L}_j \rightarrow \mathbb {R} \times Y\) is a nontrivial Floer cylinder with finite energy with respect to L satisfying \(\pi _Y \circ v^{L}_j\) represents \(A^{L}_j\),
and in addition for every \(i=1,\dots ,N_{H}-1\) and \(j=1,\dots ,N_L-1\)
We also define the subspace of simple elements by
consisting of elements \(({\textbf {v}},{\textbf {z}})\) such that
Next, we consider the map
where \({\textbf {t}}:= (t^H_1, \dots ,t^H_{N_H-1}, t_c, t^L_1, \dots , t^L_{N_{L}})\). For \(N = 1\), this means \(\widetilde{\textrm{ev}}^c_{Z_Y}: \mathcal {M}_{N, \ell ; k_-, k_+} ({\textbf {A}}; H_s; J_Y) \rightarrow Y^2\) with \((\tilde{v}, {\textbf {z}}) \mapsto (\textrm{ev}_{+,0}(\tilde{v}), \textrm{ev}_{-,0}(\tilde{v}))\).
Let \(\tilde{p}^H_{k_+} \in \textrm{Crit}f_{Y^H_{k_+}}\) and \(\tilde{q}^L_{k_-} \in \textrm{Crit}f_{Y^L_{k_-}}\) be 1-periodic orbits of type III for \(k_\pm \in m_W\mathbb {Z}\).
Definition 4.2
For \(\ell \in \mathbb {N} \cup \left\{ 0 \right\} \), we define
where \(\widetilde{\textrm{ev}}^c_{Z_Y}\) is given in (4.2).Footnote 5 The subspace of simple elements is defined by
For \(\ell = 0\), we write \(\mathcal {M}_{N, \ell = 0} (\tilde{q}^L_{k_-}, \tilde{p}^H_{k_+}; {\textbf {A}}; H_s; J_Y)\) and \(\mathcal {M}^*_{N, \ell = 0} (\tilde{q}^L_{k_-}, \tilde{p}^H_{k_+}; {\textbf {A}}; H_s; J_Y)\).
If \(\ell =\ell _H+\ell _c+\ell _L \ge 1\), we consider
where \(\gamma _{z_i}\) are Reeb orbits that v converges to at \(z_{i}\) and similarly for \(\gamma _{z^H_{i,j}}\) and \(\gamma _{z^L_{k,l}}\). For \({\textbf {B}}:= ( B_1, \dots , B_\ell ) \in ( \pi _2(X) )^\ell \) satisfying \(B_j \cdot \Sigma >0\) for every \(j = 1, \dots , \ell \), we define
Definition 4.3
For \(\ell \ge 1\), we define
see Fig. 6.Footnote 6 The subspace of simple elements is defined by
Analogous to (3.17), we have the projection maps
defined by \(\Pi ( ({\textbf {v}},{\textbf {z}}), {\textbf {t}} ):= ( ({\textbf {w}},{\textbf {z}}), {\textbf {t}} )\) and \(\Pi ((({\textbf {v}},{\textbf {z}}), {\textbf {t}}), {\textbf {u}}):= ((({\textbf {w}},{\textbf {z}}), {\textbf {t}}), {\textbf {u}})\) where
These maps remain valid with \(\mathcal {M}_{N, \ell }\) and \(\mathcal {N}_{N, \ell }\) replaced by \(\mathcal {M}_{N, \ell }^*\) and \(\mathcal {N}_{N, \ell }^*\).
Definition 4.4
Taking unions over all \({\textbf {A}}\in (\pi _2(\Sigma ))^N\) and \({\textbf {B}}:=(B_1,\dots ,B_\ell ) \in (\pi _2(X))^\ell \) with \(B_j\cdot \Sigma \ne 0\) for all j, we define
and the subspace of simple elements by
We orient the space \(\mathcal {M}_{N}^*(\tilde{q}^{L}_{k_-},\tilde{p}^H_{k_+}; H_s; J_X)\) in the same way as moduli spaces of split Floer cylinders, see above Proposition 3.17. There is a natural free \(\mathbb {R}^{N-1}\)-action on \(\mathcal {M}_{N}(\tilde{q}^L_{k_-},\tilde{p}^H_{k_+}; H_s; J_X)\) given by translating the domain \(\mathbb {R}\times S^1\) of \(\tilde{v}^{H}_i\) and \(\tilde{v}^L_j\) (together with punctures \({\textbf {z}}\)) in the \(\mathbb {R}\)-direction. We write
We are now in a position to state the main result of Sect. 4, which implies that the continuation homomorphism induced by \(H_s\) between the split Floer chain complexes \(\textrm{FC}_*(H)\) and \(\textrm{FC}_*(L)\) is essentially the identity map, see (4.26) below.
Proposition 4.5
Let \(H_s\) be a monotone homotopy for \(H \prec L\) as above. Then the following assertions hold for every \(J_X \in \mathcal {J}^{\textrm{reg}}_X\), \(\tilde{p}^H_{k_+} \in \textrm{Crit}f_{Y^H_{k_+}}\), and \(\tilde{q}^L_{k_-} \in \textrm{Crit}f_{Y^L_{k_-}}\), where \(k_\pm \in m_W \mathbb {Z}\).
-
(a)
The moduli space \(\mathcal {M}^{*}_{N}(\tilde{q}^{L}_{k_-},\tilde{p}^H_{k_+}; H_s; J_X)\) is cut out transversely and has dimension
$$\begin{aligned} {\text {dim}}\mathcal {M}^{*}_{N}(\tilde{q}^{L}_{k_-},\tilde{p}^H_{k_+}; H_s; J_X) = \mu ( \tilde{p}^H_{k_+} ) - \mu ( \tilde{q}^{L}_{k_-} ) + N-1. \end{aligned}$$ -
(b)
Suppose that \(\mu ( \tilde{q}^{L}_{k_-} )=\mu ( \tilde{p}^H_{k_+} )\). Then \(\mathcal {M}_{N}(\tilde{q}^{L}_{k_-},\tilde{p}^H_{k_+}; H_s; J_X)\) is not empty if and only if
$$\begin{aligned} N=1,\;\; q=p,\;\; k_-=k_+,\;\; (\tilde{q}^{L}_{k_-},\tilde{p}^H_{k_+})\in \big \{(\hat{p}^L_{k_+},\hat{p}^{H}_{k_+}),(\check{p}^L_{k_+},\check{p}^{H}_{k_+})\big \}. \end{aligned}$$Moreover, \(\hspace{0.83328pt}\overline{\hspace{-0.83328pt}\mathcal {M}\hspace{-0.83328pt}}\hspace{0.83328pt}(\hat{p}^{L}_{k_+},\hat{p}^H_{k_+}; H_s;J_X)\) consists of a single element \([{\textbf {v}}]=[{\tilde{v}}]\) with \(\ell =0\), and this projects to a constant curve, i.e. \(\pi _{\mathbb {R}\times Y}\circ \tilde{v}=p\). In particular,
$$\begin{aligned} \hspace{0.83328pt}\overline{\hspace{-0.83328pt}\mathcal {M}\hspace{-0.83328pt}}\hspace{0.83328pt}(\hat{p}^L_{k_+},\hat{p}^H_{k_+}; H_s;J_X)=\hspace{0.83328pt}\overline{\hspace{-0.83328pt}\mathcal {M}\hspace{-0.83328pt}}\hspace{0.83328pt}^*(\hat{p}^L_{k_+},\hat{p}^H_{k_+}; H_s;J_X). \end{aligned}$$Furthermore, every element of \(\hspace{0.83328pt}\overline{\hspace{-0.83328pt}\mathcal {M}\hspace{-0.83328pt}}\hspace{0.83328pt}(\hat{p}^L_{k_+},\hat{p}^H_{k_+}; H_s;J_X)\) is positively oriented. The corresponding statement holds for the case \((\tilde{q}^{L}_{k_-},\tilde{p}^H_{k_+})=(\check{p}^L_{k_+},\check{p}^{H}_{k_+})\), see Fig. 7.
Remark 4.6
In the moduli spaces considered in Proposition 3.17 or Proposition 4.5, we do not take Floer-holomorphic buildings with more than two levels into account since ordinary (continuation) Floer cylinders of index one (zero) do not converge to such limit buildings through the neck-stretching procedure under our standing hypothesis. This can be seen by similar computations made in the proof of Proposition 4.5.(b).
4.2 Proof of Proposition 4.5
Recalling that \(Y_p\) is the fiber of \(Y\rightarrow \Sigma \) over \(p\in \Sigma \), we denote by \(J_p\) the complex structure on \(\mathbb {R} \times Y_p\cong \mathbb {R}\times S^1\) for \(p \in \Sigma \) defined by \(J_p\partial _r=R\). This coincides with the restriction of any \(J_Y\in \mathcal {J}_Y\) to \(\mathbb {R} \times Y_p\). Before proving Proposition 4.5, we need the following proposition. We refer to [10, Theorem 2.2] for a related result.
Proposition 4.7
Let \(H_s\) be a monotone homotopy for \(H \prec L\). Let \(x^H\) and \(x^L\) be 1-periodic orbits of type III of \(X_H\) and \(X_L\) respectively such that \(\mathfrak {m}(x^H) = \mathfrak {m}(x^L)\) and \(\pi _{\mathbb {R}\times Y} \circ x^H =\pi _{\mathbb {R}\times Y} \circ x^L = p \in \Sigma \). Then the space
is a nonempty connected smooth 1-dimensional manifold. More precisely, there exists \(b \in C^\infty ({\mathbb {R}})\) such that, for \(b_0(s,t)=b(s)\) and \(v(s,t)=\varphi _R^{\mathfrak {m}(x^H)t/K}(y)\) with any \(y\in Y_p\), we have \(\tilde{v}=(b_0,v) \in \mathcal {M}\). Conversely, any \(\tilde{v}=(b_0,v) \in \mathcal {M}\) is of such form.
Proof
The first part of the proof is essentially the same as the proof of [43, Lemma 5.24]. To explain this, we briefly describe a necessary functional setting. We choose a smooth function
We denote by \({\textbf {e}}_1=(1,0)\) and \({\textbf {e}}_2=(0,1)\) the standard basis of \(\mathbb {R}^2\) and by \(J_0\) the standard complex structure given by \(J_0{\textbf {e}}_1={\textbf {e}}_2\). For \(p>2\) and \(\delta >0\), we consider the Banach space \(W^{k,p,\delta }_{{\textbf {e}}_2}(\mathbb {R}\times S^1, \mathbb {R}^2)\) which consists of maps \(\sigma : \mathbb {R} \times S^1 \rightarrow \mathbb {R}^2\) such that
belongs \(W^{k,p}(\mathbb {R}\times S^1, \mathbb {R}^2)\) for some \( c,d\in {\mathbb {R}}\). Similarly, a map \(\sigma : \mathbb {R} \times S^1 \rightarrow \mathbb {R}^2\) is in \(L^{p,\delta }(\mathbb {R}\times S^1, \mathbb {R}^2)\) if and only if \((s,t)\mapsto e^{ \delta \beta (s) s - \delta (1-\beta (s)) s } \sigma (s,t)\) is of class \(L^p\). For \(\tilde{v} = (b,v) \in \mathcal {M}\), we choose a unitary trivialization
sending \({\partial _r}\) and R to \({\textbf {e}}_1\) and \({\textbf {e}}_2\), respectively. Linearizing the Floer equation at \(\tilde{v}\), we obtain an operator \(D_{{\tilde{v}}}\) such that \({\text {ker}}D_{{\tilde{v}}}=T_{{\tilde{v}}}\mathcal {M}\). We do not give a precise formula of \(D_{{\tilde{v}}}\). Instead, in the above trivialization, \(D_{{\tilde{v}}}\) is of the form
The same operator with \(h_s\) replaced by s-independent function h is studied in [43, Lemma 5.24]. Since \(h_s\) is independent of s outside \([-1,1]\), the asymptotic operators of D have the form considered in [43, Lemma 5.24], and the proof therein holds verbatim. For sufficiently small \(\delta \), the operator D is Fredholm of index 1 and surjective due to an automatic transversality result in [98, Prop.2.2]. Since \({\text {ker}}D\) is 1-dimensional and contains \({\textbf {e}}_2\) by (4.4), it is generated by \({\textbf {e}}_2\). This reflects the fact that \({\textbf {e}}_2\) corresponds to R in the above trivialization and \(R({\tilde{v}})\in {\text {ker}}D_{{\tilde{v}}}=T_{{\tilde{v}}}\mathcal {M}\) since \(\varphi ^{t}_R\circ {\tilde{v}}\in \mathcal {M}\) for all \(t \in \mathbb {R}\). This proves that each connected component of \(\mathcal {M}\) is a smooth 1-dimensional manifold diffeomorphic to \(S^1\).
Next we observe that if \({\tilde{v}}\in \mathcal {M}\), then \(\tilde{v}(s,t+t_0)\in \mathcal {M}\) for any \(t_0 \in S^1\). Thus \(\partial _t \tilde{v}\in {\text {ker}}D_{\tilde{v}}\). As we have shown above, \({\text {ker}}D_{{\tilde{v}}}\) is generated by \(R({\tilde{v}})\), and hence
for some \(a \in \mathbb {R}\). This implies that b is independent of t. Moreover since we have
for some \(\tau ^H\in S^1\), we obtain \(a=\mathfrak {m}(x^H)/K\). Recall from (3.10) that \({\tilde{v}}=(b, v)\) solves
The second line together with \(\partial _t b =0\) implies \(\partial _s v =0\). Therefore v is independent of s, and by (4.5)
We have shown the converse part of the proposition.
Now the first line of (4.6) simplifies to an ODE
and the asymptotic conditions on \({\tilde{v}}\) implies
where \(\beta ^L_{k} \in (-\eta ,\eta )\) is the \(\mathbb {R}\)-coordinate of the type III orbit \(x^L\) in \(\mathbb {R}\times Y_p\), and likewise for \(\beta ^H_{k}\in (-\eta ,\eta )\). Once we prove that there exists a unique solution \(b\in C^\infty (\mathbb {R})\) of (4.7) and (4.8), then the above computations imply that the unique solution b together with \(v(s,t)=\varphi _R^{\mathfrak {m}(x^H)t/K}(y)\) for any \(y\in Y_p\) belongs to \({\mathcal {M}}\).
To prove the existence and the uniqueness of such solution b, we recall that \(H_s\) satisfies the conditions (i) and (ii) of \(\mathcal {H}\) in Sect. 3.1, namely
for some \(a_s, b^-_s, b^+_s \in {\mathbb {R}}\). Moreover, it holds
We first claim
Assume on the contrary that there is \(s_0 \in {\mathbb {R}}\) with \(b(s_0) \ge \eta \). Let \(s_1:= \inf \left\{ s \in {\mathbb {R}} \mid b(s) = \eta \right\} \). We note that \(s_1\) is finite due to the first condition in (4.8) and \(\frac{d}{ds}b|_{s=s_1}\ge 0\) holds. On the other hand, (4.9) yields
This contradiction shows \(b(s)<\eta \) for every \(s\in \mathbb {R}\). Analogously, \(b(s)>-\eta \) for every \(s\in \mathbb {R}\).
Our next claim is
By the first condition in (4.8), \({\textbf {b}}:=\inf \{ b(s)\mid s\le -1\}\) is finite and \({\textbf {b}}\le \beta _k^L\). We argue by contradiction and assume \({\textbf {b}} < \beta ^L_{k}\). Then there is \(s_2\in (-\infty ,-1]\) such that \(b(s_2)={\textbf {b}}\). Since b takes its values in \((-\eta ,\eta )\) by (4.10) on which \(h_s''>0\),
The last equality is due to \(H_s=L\) for \(s\le -1\). However, this inequality implies \(b(s_2-\epsilon )<b(s_2)={\textbf {b}}\) for small \(\epsilon >0\). This contradicts the definition of \({\textbf {b}}\). Thus \({\textbf {b}}=\beta _k^L\) for \(s\le -1\). Analogously, we can show that \(\sup \{ b(s)\mid s\le -1\}=\beta _k^L\) for \(s\le -1\), and (4.11) follows.
Let \(b\in C^\infty (\mathbb {R})\) be a solution of (4.7) satisfying (4.11), which uniquely exists due to the existence and uniqueness theorem of ODE. It remains to verify that b meets the second condition in (4.8). Let \(s_3\ge 1\) be arbitrary. In the case of \(b(s_3)<\beta ^H_{k}\), we have
The last equality is due to \(H_s=H\) for \(s\ge 1\). A similar estimate shows that
These imply that b converges to \(\beta ^H_{k}\) as s goes to \(\infty \). This completes the proof. \(\square \)
4.2.1 Proof of Proposition 4.5.(a)
The proof goes along the same lines as the proof of [43, Proposition 5.9]. For completeness, we give an outline of the proof and add some details when additional care is needed.
For \(J_X \in \mathcal {J}^{\textrm{reg}}_X\), as usual \(J_Y\) and \(J_\Sigma \) denote the cylindrical and horizontal parts, respectively. Let \(\tilde{v}=(b, v)\) be a Floer cylinder or a Floer continuation cylinder, which appears in \({\textbf {v}}\) of an element of \(\mathcal {M}^*_{N, \ell ;k_-,k_+}({\textbf {A}};H_s;J_Y)\). The operator obtained by linearizing (3.9) or (4.1) defined on suitable Sobolev spaces is of the form (3.19). Following the discussion after (3.19), we also obtain the index computation (3.20). Since the \(J_\Sigma \)-holomorphic sphere \(\pi _Y\circ v\) is either constant or somewhere injective, the associated Cauchy-Riemann operator \(\dot{D}^\Sigma _{\pi _Y \circ v}\) is surjective. Note that \(J_\Sigma \in \mathcal {J}^{\textrm{reg}}_\Sigma \) by Proposition 3.6. The operator \(D^{\mathbb {C}}_{\tilde{v}}\) is the same as the operator D in (4.4) studied in the proof of Proposition 4.7, which is also surjective. Thus, \(D_{\tilde{v}}\) is surjective by (3.19). We note that in the case \({\tilde{v}}\) is a Floer continuation cylinder, the exact form of the operator \(D^\mathbb {C}_{\tilde{v}}=D\) in (4.4) is slightly different from that in [43, Proposition 5.9] due to the dependence on s in the homotopy \(H_s\). This does not cause any problem since the proof of [43, Proposition 5.9] relies on the asymptotic formula of the operator and \(H_s\) depends on s only in the finite interval \([-1,1]\). This proves that \(\mathcal {M}^*_{N, \ell ;k_-,k_+}({\textbf {A}};H_s;J_Y)\) is a smooth manifold of dimension
To prove that \(\mathcal {M}^*_{N, \ell =0}(\tilde{q}^L_{k_-},\tilde{p}^H_{k_+};{\textbf {A}};H_s;J_Y)\) given in Definition 4.2 is a smooth manifold, we want to show that the following transversality holds:
We consider the following commutative diagram
where \(\Pi \) is defined in (4.3) and \(\textrm{id}\) is the identity map on \({\mathbb {R}}^{N - 1}_{> 0}\). In the proof of Proposition 3.6, the horizontal part of (4.12), i.e. \(\textrm{ev}_{Z_\Sigma }\pitchfork (W^s_{Z_\Sigma }(p)\times \Delta ^{N-1}_\Sigma \times W^u_{Z_\Sigma }(q))\), is proved. Hence, it suffices to establish the vertical part of (4.12), namely
for any \((({\textbf {v}},\emptyset ), {\textbf {t}}) \in \mathcal {M}^*_{N, \ell =0}(\tilde{q}^L_{k_-},\tilde{p}^H_{k_+};{\textbf {A}};H_s;J_Y)\). As shown in the proof of [43, Proposition 5.41], this holds provided that \({\textbf {v}}\) contains a nontrivial Floer cylinder \(\tilde{v}_0\). A key input here is \(\mathfrak {m}(\textrm{ev}_-(\tilde{v}_0))\ne \mathfrak {m}(\textrm{ev}_+(\tilde{v}_0))\). The same proof carries over to the case when \({\textbf {v}}\) contains a Floer continuation cylinder \({\tilde{v}}\) with \(\mathfrak {m}(\textrm{ev}_-({\tilde{v}}))\ne \mathfrak {m}(\textrm{ev}_+({\tilde{v}}))\).
The remaining case is that \({\textbf {v}}\) consists of a single Floer continuation cylinder, i.e. \({\textbf {v}}={\tilde{v}}\), with \(\mathfrak {m}(\textrm{ev}_-({\tilde{v}}))=\mathfrak {m}(\textrm{ev}_+({\tilde{v}}))\). In this case \([ \pi _{\mathbb {R}\times Y}\circ {\tilde{v}} ] = 0\) by (3.14), and (4.12) reads
where \(k=\mathfrak {m}(\textrm{ev}_-({\tilde{v}}))=\mathfrak {m}(\textrm{ev}_+({\tilde{v}}))\). By Proposition 4.7, the image of \(\widetilde{\textrm{ev}}^c_{Z_Y}\) is the diagonal \(\Delta _Y\), and it is indeed transverse to \(W^s_{Z_Y}(\tilde{p}) \times W^u_{Z_Y}(\tilde{q})\) since \((f_Y, Z_Y)\) is a Morse-Smale pair. This completes the proof of (4.12).
Next, we deal with the case \(\ell \ge 1\). According to Definition 4.3, we want to prove the following transversality result:
Due to (4.12), which also holds for \(\ell \ne 0\), this is equivalent to showing
which follows from the fact that \(\widetilde{\textrm{aug}}_X\) is a submersion, see [43, Proposition 5.29]. This proves that the moduli space \(\mathcal {M}^*_{N,\ell }(\tilde{q}^L_{k_-}, \tilde{p}^H_{k_+};{\textbf {A}}, {\textbf {B}};H_s;J_X)\) is a smooth manifold, and its dimension is computed as follows:
The last line follows from (2.10), (3.4), and (3.14). A similar computation also yields
This completes the proof of Proposition 4.5.(a). \(\square \)
4.2.2 Proof of Proposition 4.5.(b)
We first prove that, under the assumption \(\mu ( \tilde{p}^H_{k_+} ) =\mu ( \tilde{q}^L_{k_-})\),
for any \(N\in \mathbb {N}\) and \(\ell \in \mathbb {N}\cup \{0\}\).Footnote 7 For any \(\big ( (({\textbf {v}},{\textbf {z}}), {\textbf {t}}), {\textbf {u}} \big ) \in \mathcal {M}_{N, \ell }(\tilde{q}^L_{k_-},\tilde{p}^H_{k_+}; {\textbf {A}}, {\textbf {B}};H_s;J_X)\), we consider its shadow \(\Pi (({\textbf {v}},{\textbf {z}}),{\textbf {t}}) \in \mathcal {N}_{N, \ell }(q,p;{\textbf {A}};J_\Sigma )\), see (4.3). We prove (4.13) by showing that \(\Pi (({\textbf {v}},{\textbf {z}}),{\textbf {t}})\) is simple, \(\ell \le 1\), and \({\textbf {u}}=[u]\) is somewhere injective when \(\ell =1\). As mentioned in Remark 3.3, we take an underlying simple chain of pearls of \(\Pi (({\textbf {v}},{\textbf {z}}), {\textbf {t}})\) and denote the space that it belongs to by
It is obvious that \(1\le N^*\le N\) and \(\ell ^*\le \ell \). To ease the notation, we simply write
where \(I^*:=\{n_1,\dots ,n_{N^*}\}\) is a subset of \(I:=\{1,\dots ,N\}\), and do not indicate which Hamiltonian \(A_i\), \(A_{n_i}^*\), and \({\tilde{v}}_i\) are associated with. We denote by \(N^*_0\) the number of zero entries in \({\textbf {A}}^*\). We also denote by \(\gamma _j\) for \(j = 1,\dots , \ell \) the periodic Reeb orbits in Y that Floer (continuation) cylinders in \({\textbf {v}}\) converge to at punctures. Using (3.14) we compute
For the definitions of \(i({\tilde{p}})\) and \(|\gamma _j|\), see (2.3) and (2.16). The last two lines follow from
which is due to Proposition 3.6.(a) and the existence of a free \(\mathbb {C}^*\)-action on each nonconstant \(J_\Sigma \)-holomorphic map in \(\mathcal {N}^*_{N^*, \ell ^*}(q,p;{\textbf {A}}^{*};J_\Sigma )\). Rearranging (4.14), we obtain
We claim that all the terms on the right-hand side are nonnegative. Indeed, \(|\gamma _j|\ge 0\) by (2.16), and
holds since every nontrivial Floer cylinder \({\tilde{v}}_i\) which projects to a point in \(\Sigma \) must have at least one puncture since otherwise \(\mathfrak {m}(\textrm{ev}_+(v_i))=\mathfrak {m}(\textrm{ev}_-(v_i))\) and \(\partial _s{\tilde{v}}_i=0\) by (3.14) and the discussion afterwards. Here the contribution \(-1\) is due to the fact that, in contrast to a nontrivial Floer cylinder, a nontrivial Floer continuation cylinder may project to a point in \(\Sigma \) and have no punctures. Moreover, since \(A_i\) is represented by a \(J_\Sigma \)-holomorphic map and \(c_1^{T\Sigma }=(\tau _X-K)\omega _\Sigma \) on \(\pi _2(\Sigma )\), we have \(2c_1^{T\Sigma }(A_i)\ge 0\) with equality if and only if \(A_i=0\). The same holds for \(A_i-A_i^*\) when \(i \in I^*\) since either \(A_i=A_i^*=0\) or \(A_i\) is a positive multiple of \(A_i^*\). This proves the claim. Therefore equation (4.15) yields
We next show \(I= I^*\). Assume \(I\ne I^*\) for contradiction. Then (4.17) implies that \({\tilde{v}}_i\) for \(i\in I{{\setminus }} I^*\) does not have a puncture, i.e. \({\tilde{v}}\) is defined on the whole \(\mathbb {R}\times S^1\), and \(c_1^{T\Sigma }( [\pi _Y\circ v_i ] )=0\). As discussed after (3.14), this implies that \(\partial _s{\tilde{v}}_i=0\) for a Floer cylinder \({\tilde{v}}_i\), which is not allowed. Thus \({\tilde{v}}_i\) for \(i\in I{{\setminus }} I^*\) cannot be a Floer cylinder but is a Floer continuation cylinder without a puncture. Therefore we actually have \(\ell =\ell ^*\ge N^*_0\) rather than (4.16). Now equation (4.15) reads
and all five terms on the right-hand side are nonnegative. We deduce that \(\ell =0\), \(N^*_0=0\), and \(N^*=0\). This contradicts \(N^*\ge 1\), and hence \(I=I^*\).
Hence, by (4.17), \({\textbf {A}}={\textbf {A}}^*\). Moreover, if \(\ell =1\) and \({\textbf {u}}=[u]\) is not somewhere injective, the asymptotic Reeb orbit \(\gamma \) of u at the puncture is multiply covered. Then (2.10) and (2.16) imply \(|\gamma |\ge 2\), which contradicts (4.15). Thus u is somewhere injective. This completes the proof of (4.13).
To prove the rest of Proposition 4.5.(b), we continue to assume \(\mu ( \tilde{p}^H_{k_+} ) =\mu ( \tilde{q}^L_{k_-} )\). Let \(\big ( (({\textbf {v}},{\textbf {z}}), {\textbf {t}}), {\textbf {u}} \big ) \in \mathcal {M}_{N, \ell }^*(\tilde{q}^L_{k_-},\tilde{p}^H_{k_+}; {\textbf {A}}, {\textbf {B}}; H_s;J_X)\). We use the same notation as above and denote by \(N_0\) the number of zero entries in \({\textbf {A}}\). Now equation (4.15) simplifies to
Since \(\Pi \big ((({\textbf {v}}, {\textbf {z}}),{\textbf {t}}),{\textbf {u}}\big )\) is simple, we also have
see (4.14). We investigate all possible cases of (4.18) separately. There are six cases, and we show that only the fourth case can happen.
-
(1)
\(N-N_0={\textbf {1}}\), \(\ell -N_0+1=0\), \(\ell =0\), \(i(\tilde{p})-i(\tilde{q})+1=0\), \(\sum \limits _{j=1}^{\ell } | \gamma _j | = 0\):
Since \(N_0=1\) and \(N=2\), by (4.19) we have \({\text {dim}}\mathcal {N}^*_{N=2, \ell = 0}(q,p;{\textbf {A}};J_\Sigma )=2\). Let us denote \(\Pi (({\textbf {v}}, \emptyset ), t ) = (({\textbf {w}},\emptyset ),t) \in \mathcal {N}^*_{N=2, \ell = 0}(q,p;{\textbf {A}};J_\Sigma )\), \({\textbf {v}}=({\tilde{v}}_1,{\tilde{v}}_2)\), \({\textbf {w}}:= (w_1, w_2)\), and \(t \in \mathbb {R}_{> 0}\) as usual. Without loss of generality, we may assume that \(w_1\) is a nonconstant \(J_\Sigma \)-holomorphic sphere and \(w_2\) is a constant one. Since \((({\textbf {w}},\emptyset ), t)\) is simple, \(w_1(-\infty )\) is different from the image of \(w_2\) and thus \(((w_1,\varphi _{Z_\Sigma }^{t'}\circ w_2), t - t' ) \in \mathcal {N}^*_{N=2, \ell = 0}(q,p;{\textbf {A}};J_\Sigma )\) for any \(0< t' < t\). Together with the \(\mathbb {C}^*\)-action on the domain of \(w_1\), we get \({\text {dim}}\mathcal {N}^*_{N=2, \ell = 0}(q,p;{\textbf {A}};J_\Sigma )\ge 3\) which leads to a contradiction.
-
(2)
\(N-N_0=0\), \(\ell -N_0+1={\textbf {1}}\), \(\ell =0\), \(i(\tilde{p})-i(\tilde{q})+1=0\), \(\sum \limits _{j=1}^{\ell } | \gamma _j | = 0\):
This contradicts \(N \ge 1\) which is due to the presence of a Floer continuation cylinder.
-
(3)
\(N-N_0=0\), \(\ell -N_0+1=0\), \(\ell ={\textbf {1}}\), \(i(\tilde{p})-i(\tilde{q})+1=0\), \(\sum \limits _{j=1}^{\ell } | \gamma _j | = 0\):
By (4.19), \({\text {ind}}_{f_\Sigma } (p) - {\text {ind}}_{f_\Sigma } (q) = -1\). Since \(N=N_0 = 2\), we have
$$\begin{aligned} \Pi \big ((({\textbf {v}}, z), t),u\big ) = \big ((({\textbf {w}},z), t),u \big ) \in \mathcal {N}^*_{N=2, \ell = 1} \big (q,p;{\textbf {A}}=(0,0),{\textbf {B}}=B;J_X\big ). \end{aligned}$$Thus there is a gradient flow line of \(Z_\Sigma \) from q to p. This derives a contradiction \({\text {ind}}_{f_\Sigma }(p)\ge {\text {ind}}_{f_\Sigma }(q)\).
-
(4)
\(N-N_0=0\), \(\ell -N_0+1=0\), \(\ell =0\), \(i(\tilde{p})-i(\tilde{q})+1={\textbf {1}}\), \(\sum \limits _{j=1}^{\ell } | \gamma _j | = 0\):
We have \(N_0=N=1\), i.e. \({\textbf {A}}=A=0\), and \((\tilde{p},\tilde{q})=(\hat{p},\hat{q})\) or \((\tilde{p},\tilde{q})=(\check{p},\check{q})\). By (4.19), \({\text {ind}}_{f_\Sigma }(p)={\text {ind}}_{f_\Sigma }(q)\), and this together with \(A=0\) yields \(p=q\). Moreover, (3.14) implies \(k_-=k_+\). Therefore, due to Proposition 4.7, \(\mathcal {M}_{N=1, \ell =0}^*(\hat{p}^L_{k_+},\hat{p}^H_{k_+}; A=0; H_s;J_Y)\) consists of a single element \(({\textbf {v}}={\tilde{v}},{\textbf {z}}=\emptyset )\) with \(\pi _{\mathbb {R}\times Y}\circ {\tilde{v}}=p\). The same holds with \((\hat{p}^L_{k_+},\hat{p}^H_{k_+})\) replaced by \((\check{p}^L_{k_+},\check{p}^H_{k_+})\).
-
(5)
\(N-N_0=0\), \(\ell -N_0+1=0\), \(\ell =0\), \(i(\tilde{p})-i(\tilde{q})+1=0\), \(\sum \limits _{j=1}^{\ell } | \gamma _j | = {\textbf {1}}\):
This is absurd as \(\ell =0\).
-
(6)
\(N-N_0=0\), \(\ell -N_0+1=0\), \(\ell =0\), \(i(\tilde{p})-i(\tilde{q})+1=0\), \(\sum \limits _{j=1}^{\ell } | \gamma _j | = 0\):
We have \(N_0=N=1\), i.e. \({\textbf {A}}=A=0\), \(({\tilde{p}},{\tilde{q}})=(\check{p},{\hat{q}})\), and \({\text {ind}}_{f_\Sigma }(p)-{\text {ind}}_{f_\Sigma }(q)=1\) by (4.19). Thus, \({\text {ind}}_{f_Y}(\check{p})= {\text {ind}}_{f_Y}({\hat{q}})\) and \(k_-=k_+\) by (3.14). Applying Proposition 4.7, we observe \(\textrm{ev}_+(v)=\textrm{ev}_-(v)\) for \(\tilde{v}=(b,v)\in \mathcal {M}_{N=1, \ell =0}^*(\hat{q}^L_{k_+},\check{p}^H_{k_+}; A=0; H_s;J_Y) \). This yields a nontrivial gradient flow line of \(Z_Y\) connecting \(\check{p}\) and \({\hat{q}}\). This contradicts \({\text {ind}}_{f_Y}(\check{p})= {\text {ind}}_{f_Y}({\hat{q}})\).
We have shown that only case (4) occurs, and in this case Floer continuation cylinders are exactly as described in the statement of Proposition 4.5.(b). It remains to show that such Floer continuation cylinders are positively oriented. This is verified in the following lemma. Hence the proof of Proposition 4.5.(b) is complete. \(\square \)
Lemma 4.8
Every element in \(\mathcal {M}_{N=1,\ell =0}^*(\hat{p}^{L}_{k},\hat{p}^H_{k};A=0; H_s;J_Y)\) is positively oriented. The same statement holds with \(\hat{p}^{L}_{k}\) and \(\hat{p}^H_{k}\) replaced by \(\check{p}^{L}_{k}\) and \(\check{p}^H_{k}\), respectively.
Proof
We only prove the first assertion, and the second one follows analogously. As in (3.8) and (3.22), we observe
where \(\pi _Y\circ v=p\) and \(\textrm{ev}_{+,0}({\tilde{v}})={\tilde{p}}\). All the isomorphisms in (4.20) preserve orientations, see our orientation conventions (2.5) and (3.22). We denote by \(\mu _\xi \in T_{{\tilde{v}}}(\mathcal {M}^*_{N=1, \ell = 0; k, k} (A = 0; H_s; J_Y))\) the tangent vector corresponding to \(\xi \in T_{\tilde{p}}Y\).
As usual, \(\mathcal {M}^*_{N = 1, \ell = 0}(\hat{p}^L_{k}, \hat{p}^H_{k}; A = 0; H_s; J_Y)\) inherits an orientation from the natural isomorphism to the fiber product
whose elements have the form \((\hat{p},\tilde{v},\hat{p})\) with \(\hat{p}=\textrm{ev}_{\pm ,0}({\tilde{v}})\). Let \((\hat{p},\tilde{v},\hat{p})\) be an element in this fiber product. We first consider
Note that
We orient this space by requiring the isomorphism
to be orientation-preserving and check this obeys the fibered sum rule in Definition 3.8. Then the isomorphism
induced by \(d_{{\hat{p}}}\iota _Y^s-d_{{\tilde{v}}}\textrm{ev}_{+,0}\) is orientation-reversing due to the negative sign in front of \(d_{{\tilde{v}}}\textrm{ev}_{+,0}\) and the fact that the dimension of Y is odd. This indeed obeys the fibered sum rule since both \(\mathcal {M}^*_{N=1, \ell = 0; k, k}(A = 0; H_s; J_Y)\) and Y have odd dimension.
Next we consider
Due to the transversality result in Proposition 4.5.(a), this map is an isomorphism and its trivial kernel equals the tangent space of the fiber product in (4.21) at \(({\hat{p}},{\tilde{v}}, {\hat{p}})\). The isomorphism in (4.23) is orientation-preserving exactly when
see our orientation conventions in (2.8) and (4.22). Let us write \(\Theta \in \{-1,1\}\) for the orientation of the trivial kernel of the map in (4.23) given by the fibered sum rule, i.e. \(\Theta =1\) if and only if the kernel is positively oriented. In this case, the fibered sum rule translates into that the isomorphism in (4.23) is orientation preserving if and only if \((-1)^{{\text {dim}}W^u_{Z_Y}({\hat{p}})\cdot {\text {dim}}Y}=\Theta \). Thus (4.24) is equivalent to \((-1)^{{\text {dim}}W^u_{Z_Y}({\hat{p}})\cdot {\text {dim}}Y}=\Theta \), and in turn \(\Theta =1\). This proves that every element in the space in (4.21) is positively oriented. \(\square \)
4.3 Split Rabinowitz Floer homology
For \(a,b \in \mathbb {R}\) with \(a<b\), we take \(H \in \mathcal {H}\), which is of the form \(H(r, y)=h(e^r)\) for \((r,y) \in \mathbb {R} \times Y\subset \widehat{W}\) by definition, satisfying \(h(0) > -a\). For \(J_X \in \mathcal {J}^{\textrm{reg}}_X\) and a monotone homotopy \(H_s\) for \(H \prec L\), we define a continuation homomorphism
where the first sum runs over all \(\tilde{q}^L_{k_-}\) with \(k_-\in \mathfrak {m}(a,b;L)\) and \(\mu (\tilde{p}^H_{k_+})-\mu (\tilde{q}^L_{k_-})= 0\), and the second one is over all \([ \tilde{v} ] \in \hspace{0.83328pt}\overline{\hspace{-0.83328pt}\mathcal {M}\hspace{-0.83328pt}}\hspace{0.83328pt}(\tilde{q}^L_{k_-},\tilde{p}^H_{k_+}; H_s; J_X)\). Here, the orientation sign \(\epsilon ( [\tilde{v}] ) \in \left\{ 1, -1 \right\} \) is determined as \(\epsilon ([\tilde{v}]) = 1\) if \([\tilde{v}]\) is positively oriented and \(\epsilon ( [\tilde{v}] ) = -1\) otherwise. The map \(\sigma \) corresponds to a continuation homomorphism in the ordinary Floer homology via neck-stretching, see also Remark 4.6. Hence \(\sigma \) is a chain map. Proposition 4.5.(b) yields
for every \(p \in \textrm{Crit}f_{\Sigma }\) and \(k \in \mathfrak {m}(a,b;H)\). As shown in Proposition 3.17, the coefficient of \(\tilde{q}_{k_-}^H\) in \(\partial \tilde{p}_{k_+}^H\) (and likewise for L), where \(\partial \) denotes the boundary operator in (3.24), is independent of H (and of L). This together with (4.26) provides an alternative proof of the fact that \(\sigma \) is a chain map in this case.
The modules \(\textrm{FH}_*^{(a,b)}(H)\) and the homomorphisms induced by (4.25) at the homology level form a direct system over \((\mathcal {H},\prec )\). We define the Rabinowitz Floer homology of \(\partial W\) for finite action-window \((a,b)\subset \mathbb {R}\) by
Using this and natural action filtration chain homomorphisms
for \(a<a'<b<b'\) which induce a bidirect system on \(\textrm{SH}^{(a,b)}(\partial W)\), we complete the action-window and define the Rabinowitz Floer homology of \(\partial W\) by
This split version of Rabinowitz Floer homology is isomorphic to the ordinary one defined in [40] via neck-stretching.
For index reasons, see (3.4), there are at most finitely many generators in each degree. Therefore, for a given degree j, the two limits on action-window stabilize for sufficiently negative a and positive b. Moreover, the limit on \({\mathcal {H}}\) also stabilizes eventually at each degree due to (4.26). We conclude that, for each \(j\in \mathbb {Z}\), there exist \(a,b\in \mathbb {R}\) and \(H\in {\mathcal {H}}\) such that all three direct systems become trivial after this stage, and hence
In fact, the identities in (4.26) imply that \((\textrm{FC}_*^{(a,b)}(H), \sigma )\) is a direct system already at the chain level. We define
and denote the induced boundary operators again by \(\partial \) for both cases. In view of (4.26), we can write
where \({\hat{\mathfrak {p}}}_k\) and \({\check{\mathfrak {p}}}_k\) are the limits of \({\hat{p}}_k^H\) and \(\check{p}_k^H\) respectively for \(p \in \textrm{Crit}f_\Sigma \) and large \(H\in \mathcal {H}\). For the same reason as above, all three limits in (4.27) stabilize for each degree j. Therefore, even the inverse limit commutes with taking homology, and we have
5 Floer Gysin exact sequence
Before embarking on the construction of a Gysin-type exact sequence for \(\textrm{SH}_{*} (\partial W)\), we first review the ordinary Gysin exact sequence in the context of Morse homology, see also [4, 51, 53, 74].
5.1 Ordinary Gysin exact sequence
Let \((f_\Sigma , Z_\Sigma )\) be a Morse-Smale pair. For each \(p \in \textrm{Crit}f_\Sigma \), we choose an arbitrary orientation on \(W^s_{Z_\Sigma } (p)\) as in Sect. 2.2. In order to orient \(W^s_{Z_\Sigma } (p) \cap W^u_{Z_\Sigma } (q)\) for \(p, q \in \textrm{Crit}f_\Sigma \), we consider the exact sequence
for \(r \in W^s_{Z_\Sigma }(p) \cap W^u_{Z_\Sigma }(q)\), where two nontrivial maps are induced by canonical inclusion and projection. Translating the oriented space \(T_qW^s_{Z_\Sigma }(q)\), we obtain an oriented vector space \(N_r\) in \(T_r \Sigma \) such that \(T_r \Sigma = T_r W^u_{Z_\Sigma } (q) \oplus N_r\). The canonical isomorphism \(N_r\cong T_r \Sigma / T_r W^u_{Z_\Sigma }(q)\) induces an orientation on the latter space. This together with the orientation on \(W^s_{Z_\Sigma }(p)\) gives rise to an orientation on \(W^s_{Z_\Sigma }(p) \cap W^u_{Z_\Sigma }(q)\) according to (5.1).
Suppose that \({\text {ind}}_{f_\Sigma } (p) - {\text {ind}}_{f_\Sigma } (q) = 1\). Recalling that \(W^s_{Z_\Sigma } (p) \cap W^u_{Z_\Sigma } (q)\) carries a natural \({\mathbb {R}}\)-action induced by the flow of \(Z_\Sigma \), we define the sign
by \(\epsilon ([r])=1\) if the orientation on \(T_{r}(W^s_{Z_\Sigma }(p)\cap W^u_{Z_\Sigma }(q))\) agrees with the one given by \(Z_\Sigma \) and by \(\epsilon ([r])=-1\) otherwise. We refer to [94] for a detailed discussion on orientations.
We define the Morse chain module of \(f_\Sigma \) by
with grading given by \({\text {ind}}_{f_\Sigma }(p)\). The boundary operator associated with \(Z_\Sigma \) is defined by the \(\mathbb {Z}\)-linear extension of
where the sums range over all \(q \in \textrm{Crit}f_\Sigma \) with \({\text {ind}}_{f_\Sigma }(q)={\text {ind}}_{f_\Sigma }(p)-1\) and \([r]\in (W^s_{Z_\Sigma }(p)\cap W^u_{Z_\Sigma }(q))/\mathbb {R}\). The homology of this chain complex, denoted by \(\textrm{MH}_*(f_\Sigma )=\textrm{MH}_* (f_\Sigma , Z_\Sigma )\), is isomorphic to the singular homology of \(\Sigma \) with \(\mathbb {Z}\)-coefficients.
Next, we recall the circle bundle \(\pi _Y:Y\rightarrow \Sigma \) oriented by the Reeb vector field R. We choose a closed oriented smooth submanifold \(\mathfrak {N} \subset \Sigma \) of codimension 2 such that
-
(i)
the homology class of \(\mathfrak {N}\) is Poincaré dual to the Euler class \(e_Y \in \textrm{H}^2(\Sigma ; {\mathbb {Z}})\) of \(Y \rightarrow \Sigma \),
-
(ii)
\(\mathfrak {N}\) intersects \(W^s_{Z_\Sigma } (p) \cap W^u_{Z_\Sigma } (q)\) transversely when \({\text {ind}}_{f_\Sigma } (p) - {\text {ind}}_{f_\Sigma } (q) \le 2\).
Condition (ii) implies that \(\mathfrak {N}\) and \((W^s_{Z_\Sigma } (p) \cap W^u_{Z_\Sigma } (q))\) are disjoint if \({\text {ind}}_{f_\Sigma } (p) - {\text {ind}}_{f_\Sigma } (q) \le 1\). We choose a small neighborhood \(U_{\mathfrak {N}}\) of \(\mathfrak {N}\) in \(\Sigma \) such that
The bundle \(\pi _Y:Y\rightarrow \Sigma \) restricted to \(\Sigma {{\setminus }} U_{\mathfrak {N}}\) is trivial, and we fix a trivialization
We choose a connection 1-form \(\theta \) on Y which corresponds to dt on \(Y|_{\Sigma {{\setminus }} U_{\mathfrak {N}}}\) via the isomorphism in (5.4) where t is the coordinate on \(S^1\). We also choose a perfect Morse function \(h_{S^1}: S^1 \rightarrow {\mathbb {R}}\) and a smooth gradient-like vector field \(Z_{S^1}\) for \(h_{S^1}\). We extend these to \(Y|_{\Sigma {\setminus } U_{\mathfrak {N}}}\) in a trivial way using the trivialization (5.4) and use the same notations. For each \(p \in \textrm{Crit}f_\Sigma \), we take a small neighborhood \(U_p \subset \Sigma {\setminus } U_{\mathfrak {N}}\) and a smooth cutoff function \(\beta : \Sigma \rightarrow [0,1]\) which has support in the union of \(U_p\) over \(p\in \textrm{Crit}f_\Sigma \) and is identically 1 even nearer to \(p \in \textrm{Crit}f_\Sigma \). We define the pair \((f_Y, Z_Y)\) by
for sufficiently small \(\epsilon > 0\). Here \(Z^\textrm{h}_\Sigma \) denotes the horizontal lift of \(Z_\Sigma \) to Y with respect to \(\theta \). We note that
in the trivialization (5.4) due to our choice of \(\theta \) and that \(Z_Y\) is a gradient-like vector field for the Morse function \(f_Y\) satisfying (2.3). Adapting arguments in [74, Section 3.3], we can perturb \(\theta \) inside \(Y|_{U_{\mathfrak {N}}}\) so that \((f_Y, Z_Y)\) satisfies the Morse-Smale condition.
For \(p, q \in \textrm{Crit}f_\Sigma \) with \({\text {ind}}_{f_\Sigma } (p) - {\text {ind}}_{f_\Sigma } (q) = 2\), the space \( ( W^s_{Z_\Sigma } (p) \cap W^u_{Z_\Sigma } (q) ) \cap \mathfrak {N}\) consists of finitely many points. In this case, for \(r \in ( W^s_{Z_\Sigma } (p) \cap W^u_{Z_\Sigma } (q) ) \cap \mathfrak {N}\), the sign \(\epsilon (r) \in \left\{ 1, -1 \right\} \) is defined by \(\epsilon (r) = 1\) if the splitting \(T_r ( W^s_{Z_\Sigma } (p) \cap W^u_{Z_\Sigma } (q) ) \oplus T_r \mathfrak {N} \cong T_r \Sigma \) is orientation-preserving and by \(\epsilon (r) = -1\) otherwise.
Proposition 5.1
Let \(\tilde{p}, \tilde{q} \in \textrm{Crit}f_Y\) satisfy \({\text {ind}}_{f_Y} (\tilde{p}) - {\text {ind}}_{f_Y} (\tilde{q}) = 1\). Recall that \({\tilde{p}} \in \{{\hat{p}},\check{p}\}\), where \(\hat{p}\) and \(\check{p}\) denote the maximum and the minimum point of \(f_Y|_{Y_p}\). If \(W^s_{Z_Y}(\tilde{p}) \cap W^u_{Z_Y} (\tilde{q})\) is not empty, then one of the following holds:
-
(a)
\((\tilde{p}, \tilde{q}) = (\hat{p}, \check{p})\) and \(\# \big ( W^s_{Z_Y} (\hat{p}) \cap W^u_{Z_Y} (\check{p}) / {\mathbb {R}} \big ) = 0\).
-
(b)
\((\tilde{p}, \tilde{q}) =(\check{p}, \check{q}) \) with \({\text {ind}}_{f_\Sigma } (p) - {\text {ind}}_{f_\Sigma } (q) = 1\) and
$$\begin{aligned} \# \big ( W^s_{Z_Y} (\check{p}) \cap W^u_{Z_Y} (\check{q}) / {\mathbb {R}} \big ) = \# \big ( W^s_{Z_\Sigma } (p) \cap W^u_{Z_\Sigma } (q) / {\mathbb {R}} \big ). \end{aligned}$$ -
(c)
\((\tilde{p}, \tilde{q}) = (\hat{p}, \hat{q})\) with \({\text {ind}}_{f_\Sigma } (p) - {\text {ind}}_{f_\Sigma } (q) = 1\) and
$$\begin{aligned} \# \big ( W^s_{Z_Y} (\hat{p}) \cap W^u_{Z_Y} (\hat{q}) / {\mathbb {R}} \big ) = -\# \big ( W^s_{Z_\Sigma } (p) \cap W^u_{Z_\Sigma } (q) / {\mathbb {R}} \big ). \end{aligned}$$ -
(d)
\((\tilde{p}, \tilde{q}) = (\check{p}, \hat{q})\) with \({\text {ind}}_{f_\Sigma } (p) - {\text {ind}}_{f_\Sigma } (q) = 2\) and
$$\begin{aligned} \# \big ( W^s_{Z_Y} (\check{p}) \cap W^u_{Z_Y} (\hat{q}) / {\mathbb {R}} \big ) = \# \big ( ( W^s_{Z_\Sigma } (p) \cap W^u_{Z_\Sigma } (q) ) \cap \mathfrak {N} \big ). \end{aligned}$$
Here, \(\#\) denotes the signed cardinality with respect to orientation signs \(\epsilon \) defined above.
Proof
The fact that flow lines of \(Z_Y\) project to flow lines of \(Z_\Sigma \) together with a simple index computation shows that only these four cases may occur. In case (a), there are exactly two flow lines of \(Z_Y\) contained in the fiber \(Y_p\) with opposite signs.
Next, we prove (b), and an analogous argument also proves (c). Let \(p, q \in \textrm{Crit}f_\Sigma \) with \({\text {ind}}_{f_\Sigma } (p) - {\text {ind}}_{f_\Sigma } (q) = 1\). Let \(\tilde{\gamma }:\mathbb {R}\rightarrow Y\) be a trajectory of \(Z_Y\) converging to \(\check{p}\) and \(\check{q}\) as \(s\in \mathbb {R}\) goes to \(+\infty \) and \(-\infty \) respectively. Then \(\pi _Y \circ \tilde{\gamma }\) is a trajectory of \(Z_\Sigma \) connecting p and q. Conversely, let \(\gamma \) be a flow line of \(Z_\Sigma \) converging to p and q asymptotically. Then \(\gamma \) has its image inside \(\Sigma {\setminus } U_{\mathfrak {N}}\). For the minimum point \(m \in S^1\) of \(h_{S^1}\), we set \(\tilde{\gamma } (s): = (\gamma (s), m)\) which we view as a curve in Y via the trivialization (5.4). Due to (5.5), it is a unique flow line of \(Z_Y\) which connects \(\check{p}\) and \(\check{q}\) and projects to \(\gamma \). This proves that the projection
is a diffeomorphism. Moreover, according to our orientation conventions in Sect. 2.2, this preserves orientations.
For (d), we recall a related result from [4], where a corresponding identity is proved in the context of the Morse-Bott chain complex of \((\pi _Y^* f_\Sigma , h_{S^1}|_{\textrm{Crit}\pi _Y^* f_\Sigma })\). We orient \(\pi _Y^{-1}(W^s_{Z_\Sigma }(p))\) and \(\pi _Y^{-1}(W^u_{Z_\Sigma }(q))\) so that the isomorphisms
induced by the projection \(\pi _Y\) preserve orientations. In particular, \(\pi _Y\) gives an orientation-preserving isomorphism
where \(\iota \) denote natural inclusion maps into Y or \(\Sigma \). This is coherent with the orientation convention in [4]. For \(\tilde{p} \in \textrm{Crit}f_Y\), we denote by \(W^u_{Z_{S^1}} (\tilde{p})\) and \(W^s_{Z_{S^1}}(\tilde{p})\) the unstable and stable manifolds of \(Z_{S^1}|_{Y_p}\), respectively. We orient \(W^s_{Z_{S^1}} (\hat{p})\) and \(W^u_{Z_{S^1}} (\check{p})\) by the Reeb vector field R. Recalling that \(Y_p\) is also oriented by R, we orient \(W^u_{Z_{S^1}} (\hat{p})\) and \(W^s_{Z_{S^1}} (\check{p})\), each of which consists of a single point, positively. For \(\check{p},{\hat{q}}\in \textrm{Crit}f_Y\) with \({\text {ind}}_{f_Y} (\check{p}) - {\text {ind}}_{f_Y} (\hat{q}) = 1\), we consider the fiber product space
where \(\iota \) are natural inclusion maps into \(Y_p\), \(Y_q\), or Y, and
Then it is proved in [4, Proposition 2.7.(c)] that the signed cardinality of this space equals that of \(( W^s_{Z_\Sigma } (p) \cap W^u_{Z_\Sigma } (q) ) \cap \mathfrak {N}\), see Remark 5.2 below.
Therefore, it suffices to verify that the natural map
is an orientation-preserving diffeomorphism. This map is well-defined, i.e. \(\textrm{ev}_+(r)=\check{p}\) and \(\textrm{ev}_-(r)={\hat{q}}\), since
Equation (5.6) follows from that if \(( \beta \circ \pi _Y ) Z_{S^1}(r)\) does not vanish at such r, the flow line \(\varphi _{Z_Y}^t(z)\) would converge to \({\hat{p}}\) and \(\check{q}\) as \(t\in \mathbb {R}\) goes to \(+\infty \) and \(-\infty \) respectively. For the same reason, the map \(\chi \) is bijective. To see that \(\chi \) is orientation-preserving, we decompose it to the following chain of orientation-preserving diffeomorphisms.
The first and the second lines follow from straightforward computations using our orientation conventions. The last one uses the associativity property of the fibered sum orientation rule. This finishes the proof of (d). \(\square \)
Remark 5.2
In [4], they take \(\mathfrak {N}\) to satisfy \([\mathfrak {N}]=\textrm{PD}(-e_Y)\) and the \(\mathbb {R}\)-action given by negative gradient vector fields, as opposed to positive gradient-like vector fields \(Z_Y\) and \(Z_\Sigma \). These conventions differ from ours and result in two negative signs in Proposition 5.1.(d) which cancel out.
Let \((\textrm{MC}_*(f_Y), \partial _{Z_Y})\) be a Morse chain complex defined exactly in the same way as for \((f_\Sigma , Z_\Sigma )\). The induced homology \(\textrm{MH}_*(f_Y)=\textrm{MH}_*(f_Y,Z_Y)\) is isomorphic to the singular homology \(\textrm{H}_*(Y;\mathbb {Z})\). We decompose the chain module \(\textrm{MC}_*(f_Y)\) into
where \(\widehat{\textrm{MC}}_*(f_Y)\) and are the submodules generated by \({\hat{p}}\) and \(\check{p}\) respectively for all \(p \in \textrm{Crit}f_\Sigma \). Proposition 5.1 readily implies that with respect to this decomposition the boundary operator \(\partial _{Z_Y}\) is of the form
where \(\check{\partial }\), \(\hat{\partial }\), and \(\delta \) correspond to (b), (c), and (d) in Proposition 5.1, respectively. Then \(\widehat{\textrm{MC}}_*(f_Y)\) is a subcomplex with \(\partial |_{\widehat{\textrm{MC}}_*(f_Y)}={\hat{\partial }}\), and the induced quotient complex is isomorphic to . We denote the homologies of these chain complexes by \(\widehat{\textrm{MH}}_* (f_Y)\) and . The short exact sequence of chain complexes gives rise to the long exact sequence
Moreover, (b) and (c) in Proposition 5.1 yield the isomorphisms
induced by \(\hat{p} \mapsto p\) and \(\check{p} \mapsto p\), respectively. Due to Proposition 5.1.(d), through the above isomorphisms, the map \(\delta \) corresponds to the homomorphism
where the sums range over all \(q \in \textrm{Crit}f_\Sigma \) with \({\text {ind}}_{f_\Sigma } (p) - {\text {ind}}_{f_\Sigma } (q) = 2\) and \(r \in ( W^s_{Z_\Sigma } (p) \cap W^u_{Z_\Sigma } (q) ) \cap \mathfrak {N}\). The induced homomorphism at the homology level is isomorphic to the cap product with \(e_Y\) via \(\textrm{MH}_*(f_\Sigma )\cong \textrm{H}_*(\Sigma ;\mathbb {Z})\). Hence, the exact sequence in (5.7) recovers the Gysin exact sequence for \(\pi _Y:Y\rightarrow \Sigma \),
5.2 Floer Gysin exact sequence
We decompose the chain module \(\textrm{SC}_*(\partial W)\) defined in (4.28) into
where \(\widehat{\textrm{SC}}{}_*(\partial W)\) and are the submodules generated by \({\hat{\mathfrak {p}}}_k\) and \({\check{\mathfrak {p}}}_k\), respectively. In view of Proposition 3.17, (4.26), and Proposition 5.1, the boundary operator \(\partial \) on \(\textrm{SC}_*(\partial W)\) with respect to the above decomposition is of the form
such that
-
(i)
\(\hat{\partial }\), \(\check{\partial }\), and \(\Delta ^Y_a\) count solutions in Proposition 3.17.(a),
-
(ii)
\(\Delta ^Y_b\) counts solutions in Proposition 3.17.(b),
-
(iii)
\(\Delta ^{W,Y}\) counts solutions in Proposition 3.17.(c).
A direct consequence of (5.9) is that \((\widehat{\textrm{SC}}{}_*(\partial W),{\hat{\partial }})\) is a subcomplex. Moreover, the induced quotient complex is isomorphic to . We denote the respective homologies by \(\widehat{\textrm{SH}}{}_*(\partial W)\) and . The short exact sequence of chain complexes gives rise to the long exact sequence
To relate this with the Morse homology of \(f_\Sigma \), we recall the coefficient ring from the introduction:
The formal variable T in the Laurent polynomial ring has degree
where \(\gamma \) is a Reeb orbit on Y with multiplicity \(\mathfrak {m}(\gamma )=m_W\), see (2.10). As computed in Sect. 2.3, in case of \(m_W=m_\Sigma \), \(\deg T\) equals twice the minimal Chern number of \(\Sigma \). Replacing the coefficient ring \(\mathbb {Z}\) by \(\Lambda \) in (5.2) and extending the boundary operator in (5.3) \(\Lambda \)-linearly, we obtain the chain complex \((\textrm{MC}_{*}(f_\Sigma ;\Lambda ), \partial _{Z_\Sigma })\) with grading \(\deg (T^ip):={\text {ind}}_{f_\Sigma }(p)+ i \deg T\). Its homology is isomorphic to the singular homology of \(\Sigma \) with coefficients in \(\Lambda \),
We observe that the \(\mathbb {Z}\)-homomorphism
is an isomorphism, see (3.4) for the degree convention. Furthermore, due to Proposition 3.17.(a) and Proposition 5.1, the above two modules are isomorphic as chain complexes:
Similarly, we also have an isomorphism
Through the isomorphisms in (5.12) and (5.13), the map \(\Delta = \Delta ^Y_a + \Delta ^Y_b + \Delta ^{W,Y}\) in (5.9) corresponds to
such that
-
(i)
according to Proposition 3.17.(a) and Proposition 5.1.(d)
$$\begin{aligned} \delta ^{\Sigma }_a \big (T^{\frac{k}{m_W}} p\big ) =\sum _{q} \#\Big ( \big ( W^s_{Z_\Sigma } (p) \cap W^u_{Z_\Sigma } (q) \big ) \cap \mathfrak {N} \Big ) \, T^{\frac{k}{m_W}} q , \end{aligned}$$(5.14)where the sum ranges over all \(q\in \textrm{Crit}f_\Sigma \) with \({\text {ind}}_{f_\Sigma } (p) - {\text {ind}}_{f_\Sigma } (q) = 2\),
-
(ii)
according to Proposition 3.17.(b)
$$\begin{aligned} \delta ^{\Sigma }_b \big ( T^{\frac{k}{m_W}} p \big ) = \sum _{(q,A) } -K\omega _\Sigma (A) \, \cdot \, \# \Big ( \mathcal {N}^*_{N=1, \ell = 0}(q, p; A; J_\Sigma )/ {{\mathbb {C}}}^* \Big )\, T^{\frac{k-K\omega _\Sigma (A)}{m_W}} q \,,\nonumber \\ \end{aligned}$$(5.15)where the sum is taken over all possible pairs \((q,A)\in \textrm{Crit}f_\Sigma \times \pi _2(\Sigma )\) satisfying \({\text {ind}}_{f_\Sigma } (p) - {\text {ind}}_{f_\Sigma } (q) = 2 - 2c_1^{T\Sigma }(A)\),
-
(iii)
according to Proposition 3.17.(c)
$$\begin{aligned} \delta ^{X, \Sigma } \big ( T^{\frac{k}{m_W}} p \big ) = \sum _{ B } K\omega (B) \, \cdot \, \#\Big ( \mathcal {N}^*_{N=1, \ell = 1} (p,p;A=0,B;J_X) / \mathbb {C}^* \Big )\, T^{\frac{k-K\omega (B)}{m_W}} p,\nonumber \\ \end{aligned}$$(5.16)where the sum ranges over all \(B\in \pi _2(X)\) satisfying \(c_1^{TX}(B)-K\omega (B)=1\) and \(K\omega (B)\in m_W\mathbb {Z}\). The condition on B holds only if \(K\omega (B) = m_X=m_W\). Therefore, \(\delta ^{X,\Sigma }\) is of the form
$$\begin{aligned} \delta ^{X, \Sigma }(T^{\frac{k}{m_W}}p) = c_{X,\Sigma } T^{\frac{k}{m_W}-1} p, \end{aligned}$$where \(c_{X,\Sigma } \in {\mathbb {Z}}\) is independent of p due to Remark 3.20 and divisible by \(m_X=m_W\).
These computations show that all of \(\delta ^{\Sigma }_a\), \(\delta ^{\Sigma }_b\), and \(\delta ^{X, \Sigma }\) are \(\Lambda \)-linear chain maps. From (5.9), (5.12), and (5.13) we conclude that the mapping cone of \(\delta \), namely
is isomorphic to the chain complex \(\textrm{SC}_*(\partial W)\) up to degree shift, explicitly
Moreover, since \((C_*(\delta ),\partial _{C(\delta )})\) admits a \(\Lambda \)-module structure, so does \((\textrm{SC}_*(\partial W),\partial )\) given by \(T\cdot \tilde{\mathfrak {p}}_k=\tilde{\mathfrak {p}}_{k+ m_W}\), and in turn
Finally, the long exact sequence (5.10) reads
where all maps are \(\Lambda \)-linear.
Remark 5.3
In case that \(\delta ^{X,\Sigma }\) vanishes, the \(\Lambda \)-module structure on \((\textrm{SC}_*(\partial W),\partial )\) coincides with the one introduced in [91] using a generalization of the Seidel representation.
Remark 5.4
We can also define the Rabinowitz Floer homology \(\textrm{SH}_* (\partial W;\kappa )\) using periodic Reeb orbits with free homotopy class \(\kappa \) in W. In this case, statements analogous to Proposition 3.17 and Proposition 4.5 hold with the same proof. Therefore the chain complex for \(\textrm{SH}_* (\partial W;\kappa )\) is also isomorphic to the mapping cone \(C_*(\delta )\), and in turn \(\textrm{SH}_* (\partial W;\kappa )\) is isomorphic to \(\textrm{SH}_* (\partial W)\) up to degree shift.
5.2.1 Proof of Theorem 1.1
The long exact sequence claimed in the theorem is constructed in (5.17) with \(\delta ^\Sigma = \delta _a^\Sigma + \delta _b^\Sigma \). The following lemma proves Theorem 1.1.(a).
Lemma 5.5
The homomorphisms \((\delta _a^\Sigma )_*\) and \((\delta _a^\Sigma + \delta _b^\Sigma )_*\) on \(\textrm{H}_{*}(\Sigma ;\Lambda )\) coincide with the ordinary and the quantum cap product with \(e_Y\), respectively.
Proof
The thesis that \((\delta _a^\Sigma )_*\) is the ordinary cap product with \(e_Y\) follows from (5.8) and (5.14). We consider the evaluation map
We take a triple (p, q, A) as in (5.15) so that \(\mathcal {N}^*_{N = 1, \ell = 0}(q, p; A; J_\Sigma )\) has dimension 2. We may assume that \(\textrm{ev}_1\) is transverse to \(\mathfrak {N}\). Then we have
where the orientation of \(\textrm{ev}_1^{-1}(\mathfrak {N})\) is determined by the orientation of \(\mathcal {N}^*_{N = 1, \ell = 0}(q, p; A; J_\Sigma )\) and the coorientation of \(\mathfrak {N}\). The right-hand side of the above equality multiplied with \(T^{\frac{e_Y(A)}{m_W}}\) agrees with the coefficient of the map \(\delta ^{\Sigma }_b\) in (5.15). The cardinality \(\#\textrm{ev}_1^{-1}(\mathfrak {N})\) multiplied with \(T^{\frac{e_Y(A)}{m_W}}\) is exactly the quantum contribution part of the quantum cap product with \(e_Y\), see [71, Remark 12.3.3]. This proves that \((\delta ^{\Sigma }_a+\delta ^{\Sigma }_b)_*\) agrees with the quantum cap product with \(e_Y\). \(\square \)
Next, we prove Theorem 1.1.(b). We recall from (5.16) that \(\delta ^{X, \Sigma }\) counts \(J_X\)-holomorphic spheres in X representing \(B\in \pi _2(X)\) with \(c_1^{TX}(B)-K\omega (B)=1\). Therefore if \(\delta ^{X, \Sigma }\) is nonzero, then the homomorphism \(c_1^{TX}-K\omega :\pi _2(X)\rightarrow \mathbb {Z}\) is surjective and accordingly \(\deg T=2\). The rest follows from the formula of \(\delta ^{X,\Sigma }\) in (5.16). This completes the proof of Theorem 1.1. \(\square \)
Next we prove the claim in Remark 1.2, which was observed in [25, Proposition 5.1] and [43, Lemma 6.6]. We include the proof for completeness.
Lemma 5.6
Suppose that the map \(\pi _2(\Sigma )\rightarrow \pi _2(X)\) induced by the inclusion is surjective and the minimal Chern number of \(\Sigma \) greater than one. Then \(\delta ^{X, \Sigma }\) vanishes.
Proof
By the hypothesis, any \(B\in \pi _2(X)\) is the image of some \(A\in \pi _2(\Sigma )\), and we have \(c_1^{TX}(B)-K\omega (B)=c_1^{T\Sigma }(A)\ne \pm 1\). As observed above, this yields \(\delta ^{X, \Sigma }=0\). \(\square \)
Finally, we show if K is sufficiently larger than \(\tau _X\), as opposed to our standing assumption \(K<\tau _X\), we recover the ordinary Gysin exact sequence, as claimed in Remark 1.3.
Proposition 5.7
Let \((X,\omega )\) and \((\Sigma ,\omega _\Sigma )\) be exactly the same as before except that the condition \(K<\tau _X\) is replaced by
Then, \(\textrm{SH}_*(\partial W)\cong \textrm{H}_{*+\frac{{\text {dim}}\Sigma }{2}}(Y;\Lambda )\) as \(\Lambda \)-modules. Moreover, the exact sequence in (5.17) exists and is isomorphic to the ordinary Gysin exact sequence tensored with \(\Lambda \):
where \(\delta _*\) is the ordinary cap product with \(-[K\omega _{\Sigma }]_{{\mathbb {Z}}}\).
Proof
We show that the split Floer complex is well-defined in this case as well. In fact, we show that only trajectories of \(Z_Y\) contribute to the boundary operator. More precisely, let \(\mu (\tilde{p}_{k_+}) - \mu (\tilde{q}_{k_-}) = 1\). Due to the SFT compactness, through the neck-stretching procedure, a sequence (with respect to a stretching parameter) of chains of ordinary (nontrivial) Floer cylinders with trajectories of \(Z_Y\) in \(\widehat{W}\) connecting \(\tilde{p}_{k_+}\) and \(\tilde{q}_{k_-}\) converges to a (nontrivial) Floer-holomorphic building with trajectories of \(Z_Y\) whose top component is an element of \(\mathcal {M}_{N, \ell } (\tilde{q}_{k_-}, \tilde{p}_{k_+};{\textbf {A}};H;J_Y)\). We claim that, under the assumption (5.18), such a limit does not exist.
Assume for contradiction that such a limit exists. As mentioned above, the top component of this limit is of the form \((({\textbf {v}},{\textbf {z}}),{\textbf {t}})\in \mathcal {M}_{N, \ell } (\tilde{q}_{k_-}, \tilde{p}_{k_+};{\textbf {A}};H;J_Y)\). We first observe that, by the assumption (5.18), if \(\omega _\Sigma (A)>0\) for \(A\in \pi _2(\Sigma )\), then \(c_1^{T\Sigma }(A)=(\tau _X-K)\omega _\Sigma (A)\le -\frac{{\text {dim}}\Sigma }{2}\). Thus, for a dimension reason, there is no nonconstant \(J_\Sigma \)-holomorphic sphere. In particular, we have \({\textbf {A}} = 0\) and \(\ell \ge 1\).
Using (2.10) and (5.18), we estimate
This yields \(\frac{2(\tau _X - K)}{K} (k_+ - k_-) = - {\text {dim}}\Sigma \), and in turn \(k_+ - k_- = m_X\) by (5.18).
On the other hand, there exists at least one holomorphic plane u in \(\widehat{W}\) in the limit Floer-holomorphic building. As pointed out in Remark 3.7, we may view u as an element of \(\mathcal {P}_{\ell = 1} (B; J_X)\) for some \(B\in \pi _2(X)\). The multiplicity \(K\omega (B)\) of the asymptotic periodic Reeb orbit of u is at most \(k_+-k_-=m_X\) by (3.14). Therefore \(K\omega (B)=m_X\), and every element of \(\mathcal {P}_{\ell = 1} (B; J_X)\) is simple. But, by Proposition 3.6.(b), \(\mathcal {P}_{\ell = 1} (B; J_X) = \mathcal {P}^*_{\ell = 1} (B; J_X)\) has dimension
This contradiction proves the claim. Therefore the boundary operator for the split Floer complex (also for the ordinary Floer complex with a sufficiently stretched almost complex structure) counts only trajectories of \(Z_Y\).
A similar argument for continuation Floer cylinders shows that continuation homomorphisms are essentially the identity maps, see (4.26). Therefore, we have \(\textrm{SH}_*(\partial W)\cong \textrm{H}_{*+\frac{{\text {dim}}\Sigma }{2}}(Y;\Lambda )\), and the construction in Sect. 5.2 gives rise to the ordinary Gysin exact sequence for \(Y\rightarrow \Sigma \). This completes the proof of Proposition 5.7. \(\square \)
5.3 Index positivity and fillability conditions on Y
The goal of this section is two-fold. First, we observe that the index-positivity condition on Y is equivalent to saying that the minimal Chern number of \(\Sigma \) is at least two. This is the setting of Corollary 1.8 and Corollary 1.10. Second, we investigate relations between our standing hypothesis on \((X,\Sigma )\) and certain fillability conditions of Y. This will be used in the proof of Corollary 1.4.
In this section, let \((\Sigma ,\omega _\Sigma )\) be a closed connected symplectic manifold such that \([K\omega _\Sigma ]\) is integral for some \(K>0\) as before. But we do not assume the presence of an ambient space \((X,\omega )\) where \(\Sigma \) embeds into. We take any integral lift \([K\omega _\Sigma ]_\mathbb {Z}\in \textrm{H}^2(\Sigma ;\mathbb {Z})\) of \([K\omega _\Sigma ]\). We keep writing \(\pi _Y:Y\rightarrow \Sigma \) for an oriented circle bundle with Euler class \(e_Y=-[K\omega _\Sigma ]_\mathbb {Z}\) and \(\alpha \) for a contact form on Y such that \(d\alpha =\pi _Y^*\omega _\Sigma \). We consider the following conditions on \((Y, \alpha )\).
-
(a1)
For \(\xi :={\text {ker}}\alpha \), the first Chern class \(c_1^\xi \) of \(\xi \rightarrow Y\) vanishes on \(\pi _2(Y)\), and \(\mu _\textrm{CZ}(\gamma )\ge 4\) for every Reeb orbit \(\gamma \) of \(\alpha \) contractible in Y.
-
(a2)
There exists a Liouville filling \((W,\lambda )\) of \((Y,\alpha )\) such that \(c_1^{TW}\) vanishes on \(\pi _2(W)\), and \(\mu _\textrm{CZ}(\gamma )\ge 2\) for every Reeb orbit \(\gamma \) of \(\alpha \) contractible in W.
Remark 5.8
Following [91, Section 3.3] and [38, Section 9.5], the pair \((Y,\alpha )\) is called index-positive if either (a1) is fulfilled or (a2) with \(\mu _\textrm{CZ}(\gamma )\ge 2\) replaced by \(\mu _\textrm{CZ}(\gamma )>2\). Due to the periodicity of the Reeb flow of \(\alpha \) in our setting, periodic Reeb orbits come in Y-family. To break this symmetry, we may consider a perturbation \(\alpha _{f_\Sigma }:=((1+f_\Sigma )\circ \pi _Y)\alpha \) of \(\alpha \) by a \(C^2\)-small Morse function \(f_\Sigma :\Sigma \rightarrow \mathbb {R}\). Then periodic Reeb orbits of \(\alpha _{f_\Sigma }\) with period less than some threshold (depending on \(f_\Sigma \)) correspond to periodic Reeb orbits of \(\alpha \) over critical points of \(f_\Sigma \). If \(\gamma _p\) denotes a periodic Reeb orbit of \(\alpha _{f_\Sigma }\) corresponding to a periodic Reeb orbit \(\gamma \) of \(\alpha \) over \(p\in \textrm{Crit}f_\Sigma \), then the Conley-Zehnder index of \(\gamma _p\) equals
See [26, Section 2.2]. This shows that our index conditions indeed agree with those in [38, 91].
The geometric setting of our paper is one of the following two conditions on X and \(\Sigma \).
-
(b1)
There exists \(\tau _\Sigma >0\) such that \(c_1^{T\Sigma }=\tau _\Sigma \omega _\Sigma \) on \(\pi _2(\Sigma )\), and the minimal Chern number of \(c_1^{T\Sigma }\) is at least 2, i.e.
$$\begin{aligned} \inf \{k>0\mid \exists A\in \pi _2(\Sigma ) \;\text { such that }\; c_1^{T\Sigma }(A)=k\}\ge 2. \end{aligned}$$ -
(b2)
Our standing hypothesis is satisfied, namely \((\Sigma ,\omega _\Sigma )\) embeds as a codimension two symplectic submanifold into a closed symplectic manifold \((X,\omega )\) such that \(c_1^{TX}=\tau _X\omega \) on \(\pi _2(X)\) with \(\tau _X>K\) and \([K\omega ]\) admits an integral lift \([K\omega ]_\mathbb {Z}\) satisfying \(\textrm{PD}([\Sigma ])=[K\omega ]_\mathbb {Z}\) and \([K\omega ]_\mathbb {Z}|_\Sigma =[K\omega _\Sigma ]_\mathbb {Z}\).
The infimum of the empty set is \(+\infty \) in (b1), that is, the minimal Chern number is \(+\infty \) when \(c_1^{T\Sigma }\) vanishes on \(\pi _2(\Sigma )\).
Lemma 5.9
The conditions (a1) and (b1) are equivalent.
Proof
We first assume (a1) and prove (b1). By (2.9), we have
Since the pullback bundle \(\pi _Y^*(T\Sigma )\) is isomorphic to \(\xi \), using condition (a1) we get
Therefore, if \(c_1^{T\Sigma }(A)\ne 0\) for some \(A\in \pi _2(\Sigma )\), then \(A\notin (\pi _Y)_*\pi _2(Y)\) and thus \(\omega _\Sigma (A)\ne 0\). This implies that there exists \(\tau _\Sigma \in \mathbb {R}\) such that
see [62, proof of Lemma 1.1] or [4, Remark 2.6.(i)]. Suppose that \(\omega _\Sigma \) vanishes on \(\pi _2(\Sigma )\). This corresponds to the case that all periodic Reeb orbits are not contractible in Y, see (2.9). Then \(c_1^{T\Sigma }\) also vanishes on \(\pi _2(\Sigma )\) and the minimal Chern number is \(+\infty \). In this case, \(\tau _\Sigma \) can be any real number.
Next suppose that \(\omega _\Sigma \) does not vanish on \(\pi _2(\Sigma )\). We take arbitrary \(A\in \pi _2(\Sigma )\). We may assume \(K\omega _\Sigma (A)=-e_Y(A)>0\) by changing A to \(-A\) if necessary. For any \(p\in \Sigma \), let \(s:(D^2,\partial D^2)\rightarrow (\Sigma ,p)\) be a continuous map representing A. Then it lifts to \({\tilde{s}}:(D^2,\partial D^2)\rightarrow (Y,Y_p)\) such that \(\mathfrak {m}({\tilde{s}}|_{\partial D^2})=-e_Y(A)\). Let \(\gamma \) be any periodic Reeb orbit with \(\mathfrak {m}(\gamma )=-e_Y(A)\). Then (2.11) and condition (a1) imply \(c_1^{T\Sigma }(A)=\frac{1}{2}\mu _\textrm{CZ}(\gamma )\ge 2\). Moreover, since \(K\omega _\Sigma (A)=-e_Y(A)>0\), we have \(\omega _\Sigma (A)>0\) and in turn \(\tau _\Sigma >0\) by (5.20).
Now we assume (b1) and prove (a1). Let \(\gamma \) be a contractible Reeb orbit on Y. By (2.11) and condition (b1), \(\mu _\textrm{CZ}(\gamma )=2c_1^{T\Sigma }(A)\ge 4\) where \(A\in \pi _2(\Sigma )\) is the class induced by a capping disk of \(\gamma \) contained in Y. Furthermore, using condition (b1), we deduce
where the last equality follows from that \(\omega _\Sigma |_{(\pi _Y)_*\pi _2(Y)}=-\frac{1}{K}e_Y|_{(\pi _Y)_*\pi _2(Y)}=0\) by (2.9). \(\square \)
According to Section 2, the following is true.
Lemma 5.10
The condition (b2) implies the condition (a2).
Proof
By Sect. 2.1, we obtain a Liouville domain \((W, \lambda )\) from \((X, \Sigma )\) satisfying the condition (b2). Let \(\gamma \) be a periodic Reeb orbit contractible in W. Since \(\frac{\tau _X}{K}\mathfrak {m}(\gamma )=c_1^{TX}(B)\) is an integer, where \(B\in \pi _2(X)\) is as in (2.10), the hypothesis \(\tau _X>K\) implies \(\mu _\textrm{CZ}(\gamma )=\frac{2(\tau _X-K)}{K}\mathfrak {m}(\gamma )\ge 2\). Moreover, for any continuous map \(w:S^2\rightarrow W\) which can be viewed also as a map to \(X{\setminus }\Sigma \), we have \(c_1^{TW}([w])=c_1^{TX}([w])=\tau _X\omega ([w])=0\) since \(\omega \) is exact on \(X{\setminus }\Sigma \). \(\square \)
To prove a partial converse, we consider two conditions on \((Y, \alpha )\) stronger than (a2).
-
(a2-1)
A Liouville filling \((W,\lambda )\) in (a2) exists and satisfies \(\pi _1 (W, Y) = 0\).
-
(a2-2)
A Liouville filling \((W,\lambda )\) in (a2) exists, and \(c_1^{TW} \in \textrm{H}^2(W;{\mathbb {Z}})\) is torsion.
Remark 5.11
Suppose that there is a Liouville filling \((W,\lambda )\) of \((Y,\alpha )\). Then there is a Hamiltonian \(S^1\)-action near \(\partial W\) which restricts to the \(S^1\)-action on \(\partial W=Y\). The symplectic cut with respect to this \(S^1\)-action is a closed symplectic manifold \((X,\omega )\) such that \(\Sigma \) embeds symplectically into X and \((X{\setminus }\Sigma ,\omega |_{X{\setminus }\Sigma })\) is symplectomorphic to the interior of \((W,d\lambda )\), see [67]. Moreover, the first Chern class of the symplectic normal bundle of \(\Sigma \) in X coincides with \(-e_Y=[K\omega _\Sigma ]_\mathbb {Z}\), and accordingly there is an integral lift \([K\omega ]_\mathbb {Z}\in \textrm{H}^2(X;\mathbb {Z})\) such that \(\textrm{PD}([\Sigma ])=[K\omega ]_\mathbb {Z}\) and \([K\omega ]_\mathbb {Z}|_{\Sigma }=[K\omega _\Sigma ]_\mathbb {Z}\).
Lemma 5.12
Let W be as in the condition (a2), and let X be the symplectic cut of W as recalled in Remark 5.11. For any \(B \in \pi _2 (X)\) with \(\omega (B) = 0\), the following hold.
-
(i)
There is a continuous map \(w: S \rightarrow X\) from a closed orientable surface S such that w does not intersect \(\Sigma \) and the homology class \(w_*([S] )\) coincides with the image of B in \(\textrm{H}_2 (X; {\mathbb {Z}})\) under the Hurewicz homomorphism.
-
(ii)
If furthermore (a2-1) holds, then we can take the surface S in (i) as \(S^2\).
Proof
Let \(v: S^2 \rightarrow X\) be a smooth map such that it represents \(B \in \pi _2 (X)\) satisfying \(\omega (B) = 0\) and intersects \(\Sigma \) transversely at \(\{z_1,\dots ,z_j\}\). Since \(v\cdot \Sigma =K\omega (B)=0\), we know that j is even. For the sake of simplicity, we only give a proof for the case \(j=2\).
We first prove (i). Let U be a sufficiently small open tubular neighborhood of \(\Sigma \) in X. Up to a homeomorphism, we may identify \(X {\setminus } U\) with W and \(\partial (X {\setminus } U)\) with Y. We may assume that there exist disjoint open disk neighborhoods \(D_i \subset S^2\) of \(z_i\), for \(i=1,2\), such that \(v^{-1}(U)=D_1\cup D_2\) and each \(v(\partial D_i)\) is contained in the fiber \(Y_{v(z_i)}\) over \(v(z_i)\). Next we take a path P in \(\Sigma \) joining \(v(z_1)\) and \(v(z_2)\) and denote by \(Y_P:=\pi _Y^{-1}(P)\) the cylinder over P. Note that \(Y_P\) capped with \(v(D_1)\) and \(v(D_2)\) is null-homologous in X. Gluing \(v|_{S^2{\setminus }(D_1\cup D_2)}\) and this cylinder, we obtain a map w from the torus \(T^2\) to X satisfying the properties required in statement (i). In the general case, we would obtain a map w defined on the closed orientable surface of genus j/2.
To prove (ii), we assume \(\pi _1(W,Y)=0\). Then, for a path L in \(S^2{\setminus }(D_1\cup D_2)\) from a point in \(\partial D_1\) to a point in \(\partial D_2\), v(L) is homotopic in W to a path Q in Y relative to the endpoints. We take the cylinder \(Y_{\pi _Y(Q)}\) containing Q, glue this with \(v|_{S^2{\setminus }(D_1\cup D_2)}\), and obtain \(u:T^2\rightarrow X\) meeting all the properties in statement (i). In addition, due to the homotopy between v(L) and Q, we may assume that \(u|_{S^1\times \{0\}}\) is contractible in W and thus has a capping disk D in W. Let \(S^2=\{x^2+y^2+z^2=1\}\) be the unit sphere in \(\mathbb {R}^3\), and let \(\varphi :S^2\cap \{-\frac{1}{2}<z<\frac{1}{2}\}\rightarrow T^2{{\setminus }} (S^1\times \{0\})\) be a homeomorphism. Then statement (ii) follows with a continuous map \(w:S^2\rightarrow W\) satisfying
\(\square \)
Lemma 5.13
The condition (a2-1) or (a2-2) implies the condition (b2).
Proof
Let \(B\in \pi _2(X)\) satisfy \(\omega (B)=0\). We take \(w:S\rightarrow X\) as in Lemma 5.12. As w does not intersect \(\Sigma \), we may view w as a map into W. In the case of (a2-2), namely \(c_1^{TW}\) is torsion, we have
The same holds in the case of (a2-1) since \(c_1^{TW}|_{\pi _2(W)}=0\) and we can take \(S=S^2\). As mentioned in the proof of Lemma 5.9, this implies that there exists \(\tau _X\in \mathbb {R}\) such that \(c_1^{TX}=\tau _X\omega \) on \(\pi _2(X)\) (even in \(\textrm{H}_2(X;\mathbb {Z})\) in the case of (a2-2)). We next verify \(\tau _X>K\). If \(\omega \) vanishes on \({\pi _2(X)}\), so does \(c_1^{TX}\). Thus, \(\tau _X\) can be an arbitrary real number, and we take any \(\tau _X>K\). Suppose that \(\omega \) is nonzero on \({\pi _2(X)}\). Then, by Proposition 2.1.(b), there is a periodic Reeb orbit \(\gamma \) contractible in W whose index equals \(\mu _\textrm{CZ}(\gamma )=\frac{2(\tau _X-K)}{K}\mathfrak {m}(\gamma )\) as computed in (2.10). From the hypothesis \(\mu _\textrm{CZ}(\gamma )\ge 2\), we conclude \(\tau _X>K\). It remains to prove that \([K\omega ]\) admits an integral lift \([K\omega ]_\mathbb {Z}\) satisfying \(\textrm{PD}([\Sigma ])=[K\omega ]_\mathbb {Z}\) and \([K\omega ]_\mathbb {Z}|_\Sigma =[K\omega _\Sigma ]_\mathbb {Z}\). This follows from Remark 5.11. \(\square \)
Remark 5.14
Let us assume that (a2) with \(\mu _\textrm{CZ}(\gamma )\ge 2\) replaced by \(\mu _\textrm{CZ}(\gamma )>2\) holds. We call this condition (a2+). For example, this is the case if \(\pi _1(Y)\rightarrow \pi _1(W)\) induced by the inclusion is injective and the minimal Chern number of \(\Sigma \) is greater than one. In this case, the map \(\delta ^{X,\Sigma }\) in (5.16) vanishes. Indeed, if \(\delta ^{X,\Sigma }\ne 0\), then there is \(B\in \pi _2(X)\) satisfying \(c_1^{TX}(B)-K\omega (B)=1\) which leads to a periodic Reeb orbit \(\gamma \) with \(\mu _\textrm{CZ}(\gamma )=2\), see (2.10). Therefore, the boundary operators of \(\textrm{SC}_*(\partial W)\) count only Floer cylinders in \(\mathbb {R}\times Y\), and the Rabinowitz Floer homology is independent of Liouville filling in the following sense. Let \(W_1\) and \(W_2\) be two Liouville fillings of \((Y,\alpha )\) such that both satisfy the condition (a2+) and \(\pi _1(Y)\rightarrow \pi _1(W_i)\) induced by the inclusion is injective for both \(i=1,2\). Then the split chain complex for \(W_1\) is identical to that for \(W_2\), and accordingly \(\textrm{SH}_*(\partial W_1)=\textrm{SH}_*(\partial W_2)\). If we take all periodic orbits into account, as opposed to contractible ones, we can drop injectivity of \(\pi _1(Y)\rightarrow \pi _1(W_i)\) at the cost of having independence of Liouville filling up to grading-shift, see also [91, Remark 3.8].
5.4 Proofs of corollaries
5.4.1 Proof of Corollary 1.4
As in the proof of Lemma 5.13, our assumption implies \(c_1^{TX} = \tau _X \omega \) on \(\pi _2(X)\) for some \(\tau _X \in {\mathbb {R}}\). Next we use the hypothesis \(\textrm{SH}_*(\partial W)=0\) to deduce \(\tau _X>K\). Since \(\textrm{SH}_* (\partial W) = 0\), the unit of \(\textrm{SH}_*(\partial W)\) or of the symplectic homology of W, which has degree \(\frac{1}{2} {\text {dim}}X\), is zero, see [38, Section 10]. Thus there is \(\tilde{p}_k \in \textrm{Crit}f_{Y^H_k}\) for some \(H\in \mathcal {H}\) with \(k>0\) whose index \(\mu (\tilde{p}_k) = {\text {ind}}_{f_Y} (\tilde{p}) - \frac{1}{2} {\text {dim}}\Sigma + 2\frac{(\tau _X-K)}{K}k\) equals \(\frac{1}{2} {\text {dim}}X + 1\), see (3.4). Since \({\text {ind}}_{f_Y} (\tilde{p}) - \frac{1}{2} {\text {dim}}\Sigma \le \frac{1}{2} {\text {dim}}X\), we conclude \(\tau _X - K > 0\).
Therefore we can apply Theorem 1.1, and the hypothesis \(\textrm{SH}_*(\partial W)=0\) implies that the map \(\delta _*:\textrm{H}_{*+2}(\Sigma ;\Lambda )\rightarrow \textrm{H}_{*}(\Sigma ;\Lambda )\) is an isomorphism. In particular, the induced map on the free part \(\textrm{H}_*^{\textrm{free}}(\Sigma ; {\mathbb {Z}})\otimes _\mathbb {Z}\Lambda \), which we also denote by \(\delta _*\), is an isomorphism. To prove (a), we assume for contradiction that \([K\omega ]\) is not primitive. Then, there exist an integer \(d \ge 2\) with \(K\omega (\textrm{H}_2(X; {\mathbb {Z}})) = d {\mathbb {Z}}\) and a class \(\mu \in \textrm{H}^2_{\textrm{free}}(X; {\mathbb {Z}})\) such that \([K \omega ] = d \mu \). Here we abuse notation and \([K\omega ]\) also refers to the unique class in \(\textrm{H}^2_{\textrm{free}} (X; {\mathbb {Z}})\) corresponding to \([K\omega ] \in \textrm{H}^2 (X; {\mathbb {R}})\). We claim that the map \(\delta _*\) on \(\textrm{H}_*^{\textrm{free}}(\Sigma ; {\mathbb {Z}})\otimes _\mathbb {Z}\Lambda \) is divisible by d, namely \(\delta _*\) is the composition of a \(\Lambda \)-linear map and the scalar multiplication by d. By Lemma 5.5, \(\delta ^\Sigma _*\) is the quantum cap product with \(-[K\omega _\Sigma ]=-d\mu |_{\Sigma }\) on \(\textrm{H}_*^{\textrm{free}}(\Sigma ; {\mathbb {Z}})\otimes _\mathbb {Z}\Lambda \). Thus it is divisible by d. Moreover (5.16) yields that \(\delta ^{X, \Sigma }_*\) is also divisible by d. This proves the claim. Since \(d\ge 2\) and \(\textrm{H}^{\textrm{free}}_*(\Sigma ;\mathbb {Z})\) is nonzero, \(\delta _*\) cannot be an isomorphism. This contradiction proves statement (a).
According to the Morse theoretic description of the quantum product, the map \(\delta ^\Sigma _*\) modulo torsion corresponds to the quantum cup product with \(-[K\omega _\Sigma ]\) on \(\textrm{H}^*_\textrm{free}(\Sigma ;\mathbb {Z})\otimes _\mathbb {Z}\Lambda \), see [70, Chapter 12]. In particular, the quantum cup product with \(-[K\omega _\Sigma ]\) on \(\textrm{QH}^*(\Sigma ;\mathbb {Z})=\textrm{H}^*_\textrm{free}(\Sigma ;\mathbb {Z})\otimes _\mathbb {Z}\Lambda _\Sigma \) is an isomorphism. This proves statement (b). \(\square \)
5.4.2 Proof of Corollary 1.7
Let \(\tau \in \textrm{Symp}_c(W)\) be a right-handed fibered Dehn twist:
where we identify \((-\infty ,0]\times Y\) with its image in W by the Liouville flow, and \(\beta :(-\infty ,0]\rightarrow \mathbb {R}\) is a smooth function which has compact support and is constant \(-\frac{1}{K}\) near 0.
Following [20], see also [34, Theorem 6.3], we consider the closed contact manifold \(\textrm{OB}(W,\tau )\) obtained by gluing the mapping torus of \(\tau \) and \(\partial W\times D^2\), which is contactomorphic to the prequantization bundle over \((X,[K\omega ]_\mathbb {Z})\). Suppose that \(\tau \) is symplectically isotopic to the identity \(\textrm{id}_W\) relative to \(\partial W\). Then \(\textrm{OB}(W,\tau )\) is contactomorphic to \(\textrm{OB}(W,\textrm{id}_W)\), and therefore has a subcritical Weinstein filling \(W\times D^2\), see [34, Theorem 2.12]. Since \(c_1^{TW}\) is zero on \(\pi _2(W)\) by Lemma 5.10, \(c_1^{T(W\times D^2)}\) is zero on \(\pi _2(W\times D^2)\). Moreover since \([K\omega ]_\mathbb {Z}\) is integral and \(\tau _X>K\), the minimal Chern number of X is greater than one. Therefore, Theorem 1.1 yields the long exact sequence
where \(\Lambda _X\) is defined as in (1.2) with \(\Sigma \) replaced by X and \(\delta _*\) is the quantum cap product with \(-[K\omega ]_\mathbb {Z}\). Since \(W\times D^2\) is subcritical Weinstein, \(\textrm{SH}_*(\partial (W\times D^2))=0\) by [35]. One can also deduce this using \(\textrm{SH}_*(D^2)=0\) and the Künneth formula in [75]. Hence, due to Corollary 1.4.(b), \([K\omega ]\) is invertible in \(\textrm{QH}^*(X;\mathbb {Z})\). \(\square \)
5.4.3 Proof of Corollary 1.8
Let us assume the condition (b1), which is equivalent to (a1) as observed in Lemma 5.9. It is well known that, under the condition (a1), Rabinowitz Floer homology can be defined without reference to symplectic fillings. We take type III periodic orbits of \(\bigvee \)-shaped Hamiltonians \(H:\mathbb {R}\times Y\rightarrow \mathbb {R}\) contractible in Y as generators and count rigid elements of
to define boundary operators as in (3.24). An analogous argument to the proof of Proposition 4.5.(b) implies that the latter moduli space in (5.21) consists of simple elements provided \(\mu (\tilde{p}_{k_+}) - \mu (\tilde{q}_{k_-}) \le 2\). Moreover, due to the condition (a1), we can apply [91, Corollary 3.7] to ensure that elements of \(\mathcal {M}_{N, \ell = 0}(\tilde{q}_{k_-}, \tilde{p}_{k_+}; {\textbf {A}};H;J_Y)\) with \(\mu (\tilde{p}_{k_+}) - \mu (\tilde{q}_{k_-}) \le 2\) do not escape to the negative end of the symplectization \(\mathbb {R}\times Y\).
Alternatively one can argue as follows. We assume \(\mu (\tilde{p}_{k_+}) - \mu (\tilde{q}_{k_-}) \le 2\) and consider sequences
Note that \(\ell =0\) implies that all entries of \({\textbf {A}}\) are nonzero, see after (3.14). Assume on the contrary that \({\textbf {v}}^n\) escapes to the negative end of \(\mathbb {R}\times Y\) as n goes to infinity. This leads to bubbling-off of holomorphic spheres in the limit of \((({\textbf {w}}^n,\emptyset ),{\textbf {t}}^n)\). For simplicity, suppose that there is exactly one holomorphic sphere bubble, namely \((({\textbf {w}}^n,\emptyset ),{\textbf {t}}^n)\) converges to \((({\textbf {w}}^\infty =(w_1^\infty ,\dots ,w_N^\infty ),\emptyset ),{\textbf {t}}^\infty )\) and a holomorphic sphere bubble \(w'\) attached to \(w_N^\infty \) as n goes to infinity. Then \(w'\) takes index at least twice the minimal Chern number away from the index of \((({\textbf {w}}^n,\emptyset ),{\textbf {t}}^n)\), which is equal to \(\mu (\tilde{p}_{k_+}) - \mu (\tilde{q}_{k_-})-i(\tilde{p})+i(\tilde{q})+N-1\le N+2\), see Proposition 3.6.(a) and (3.14). Therefore, by the condition (b1) which is equivalent to the condition (a1), the index of \((({\textbf {w}}^\infty ,\emptyset ),{\textbf {t}}^\infty )\) is at most \(N-2\). This is absurd for any \(N\in \mathbb {N}\) since \((({\textbf {w}}^\infty ,\emptyset ),{\textbf {t}}^\infty )\) carries a free \(\mathbb {R}\times S^1\)-action on each \(w_j^\infty \) for \(j=1,\dots ,N-1\).
Similarly, one can prove simpleness and compactness for Floer continuation cylinders in \(\mathbb {R}\times Y\) connecting \(\tilde{p}^H_{k_+}\) and \(\tilde{q}^L_{k_-}\) with \(\mu (\tilde{p}^H_{k_+}) - \mu (\tilde{q}^L_{k_-})\le 1\). Hence, we can define the Rabinowitz Floer homology for \(\mathbb {R}\times Y\) and denote it by \(\textrm{SH}_*(Y)\). Furthermore, the construction in Sect. 5.2 carries over verbatim to this setting, and \(\textrm{SH}_*(Y)\) fits into the long exact sequence
Moreover, the connecting map \(\delta _*\) coincides with the quantum cap product with the Euler class \(e_Y\) since we only count rigid elements in \(\mathbb {R} \times Y\).
If there is no nonconstant \(J_\Sigma \)-holomorphic sphere in \(\Sigma \), we still have the above exact sequence and it recovers the ordinary Gysin sequence (5.8) with coefficients in \(\Lambda _{\Sigma }\). This is the case for example if \(\omega _\Sigma \) vanishes on \(\pi _2(\Sigma )\) or \(c_1^{T\Sigma }(A)\le 2-\frac{1}{2}{\text {dim}}\Sigma \) for every \(A\in \pi _2(\Sigma )\) with \(\omega _\Sigma (A)>0\). This completes the proof of Corollary 1.8. \(\square \)
5.4.4 Proof of Corollary 1.10
As in the proof of Corollary 1.4.(a), since \([K\omega _\Sigma ]\) is not a primitive class, \(\textrm{SH}_*(Y)\) is nonzero. Hence, \(\widetilde{\textrm{Cont}}_0(Y,\xi )\) is orderable due to [8].
The existence of a translated point follows from \(\textrm{SH}_*(Y)\ne 0\) as proved in [72]. Although they dealt with hypertight contact manifolds, which corresponds to the case \(\omega _\Sigma |_{\pi _2(\Sigma )}=0\) in our setting, their proof remains valid because our hypothesis on \((\Sigma ,\omega _\Sigma )\) ensures necessary compactness properties of Floer cylinders in \(\mathbb {R}\times Y\) as shown in the proof of Corollary 1.8.
Rabinowitz Floer homology used in [8, 72] is defined with the Rabinowitz action functional. Thus, to be exact, we need an isomorphism between the homology defined with the Rabinowitz action functional on \(\mathbb {R}\times Y\) and \(\textrm{SH}_*(Y)\). Such an isomorphism is constructed in [40] in the Liouville fillable case, and proofs in [40] readily carry over to our situation again thanks to our hypothesis on \((\Sigma ,\omega _\Sigma )\). \(\square \)
6 Some computations
To ease the notation, we write
where \(X, \Sigma ,\) and W are as in Sect. 2.1. All Liouville domains W in this section are Weinstein satisfying \(\pi _1 (W, Y) = 0\), in particular \(m_W = m_X\) by Proposition 2.2.(b).
6.1 Unit cotangent bundles of spheres
The goal of this section is to compute the Rabinowitz Floer homology of the unit cotangent bundle of a sphere using the Floer Gysin sequence in Theorem 1.1 and Corollary 1.8 and to see that the computation indeed agrees with earlier results in [2, 40]. Let \(S^{n+1}\subset \mathbb {R}^{n+2}\) be the Euclidean sphere of radius \(\frac{1}{2\pi }\) so that all simple closed geodesics have arc-length 1. Let \(\lambda \) denote the tautological 1-form on the cotangent bundle \(T^*S^{n+1}\). Then the unit cotangent bundle \(S^*S^{n+1}\) is a contact manifold with the 1-form \(\alpha := \lambda |_{S^*S^{n+1}}\). The flow of the Reeb vector field of \(\alpha \) on \(S^*S^{n+1}\), which is the cogeodesic flow, defines a free \(S^1\)-action, and the quotient space is the Grassmannian \(\widetilde{\textrm{Gr}}(2,\mathbb {R}^{n+2})\) of oriented 2-planes in \(\mathbb {R}^{n+2}\) equipped with the symplectic form induced by \(d\alpha \). This Grassmannian is symplectomorphic to the smooth quadric
with the symplectic form \(\omega :=\omega _\textrm{FS}|_{Q^n}\) given by the restriction of the Fubini-Study form \(\omega _\textrm{FS}\) on \(\mathbb{C}\mathbb{P}^{n+1}\), which is normalized by \(\int _{\mathbb{C}\mathbb{P}^{1}}\omega _\textrm{FS}=1\), see [15, Exercise III.15] and [71, Exercise 6.3.7]. Thus we obtain the oriented circle bundle
with the Euler class \(-[\omega ]\in \textrm{H}^2(Q^n;\mathbb {Z})\). Applying the homotopy exact sequence in (2.9) and using the fact \(\pi _1(S^*S^2)\cong \mathbb {Z}/2\) and \(\pi _1(S^*S^{n+1})=0\) for \(n\ge 2\), we deduce
The singular homology of \(Q^n\cong \widetilde{\textrm{Gr}}(2,\mathbb {R}^{n+2})\) is as follows. For \(n=2m+1\) odd,
and, for \(n=2m\) even,
Since the formal variable T in \(\Lambda =\mathbb {Z}[T,T^{-1}]\) has even degree, \(\textrm{H}_*(Q^{n};\Lambda )\) vanishes for every odd degree. Hence the Floer Gysin sequence in Theorem 1.1 (or Corollary 1.8 for \(n \ge 2\)) splits into
for every \(i\in 2\mathbb {Z}+n\). For \(n\ge 2\), the contact form \(\alpha \) on \(S^*S^{n+1}\) is index-positive (condition (b1) in Sect. 5.3) and \(\pi _1(S^*S^{n+1})\) is trivial. Thus \(\textrm{SH}_{*}(S^*S^{n+1})\) makes sense without reference to Liouville fillings, see Corollary 1.8 and Remark 5.14. For \(n=1\), we need a Liouville filling of \(S^*S^2\), and here we mean \(\textrm{SH}_{*}(S^*S^{2}):= \textrm{SH}_{*}(\partial D^*S^{2})\), where \(D^*S^2\) is the unit disk cotangent bundle over \(S^2\). As explained below, \(D^*S^2\) can be seen as the complement of the diagonal in \(\mathbb{C}\mathbb{P}^1 \times \mathbb{C}\mathbb{P}^1\), and thus the assumption of Theorem 1.1 is fulfilled. To compute \(\textrm{SH}_{*}(S^*S^{n+1})\) using (6.2), we will investigate the map \(\delta _*\). We deal with the cases \(n=1\) and \(n\ge 2\) separately.
6.1.1 Case \(n=1\): \(S^*S^2\rightarrow Q^1\cong \mathbb{C}\mathbb{P}^1\)
We note that \((Q^1,\omega )\) is symplectomorphic to \((\mathbb{C}\mathbb{P}^1,2\omega _\textrm{FS})\). As in [44, Section 10], we use the fact that the diagonal \(\Delta _{\mathbb{C}\mathbb{P}^1}\) in \((\mathbb{C}\mathbb{P}^1\times \mathbb{C}\mathbb{P}^1,\omega _\textrm{FS}\oplus \omega _\textrm{FS})\) with the symplectic form \(\omega :=(\omega _\textrm{FS}\oplus \omega _\textrm{FS})|_{\Delta _{\mathbb{C}\mathbb{P}^1}}\) is symplectomorphic to \((\mathbb{C}\mathbb{P}^1,2\omega _\textrm{FS})\), and \(\mathbb{C}\mathbb{P}^1\times \mathbb{C}\mathbb{P}^1{\setminus }\Delta _{\mathbb{C}\mathbb{P}^1}\) is symplectomorphic to the disk cotangent bundle \(D^*S^2\) of \(S^2\). We endow \(\mathbb{C}\mathbb{P}^1\times \mathbb{C}\mathbb{P}^1{{\setminus }}\Delta _{\mathbb{C}\mathbb{P}^1}\) with the pull back of the canonical 1-form on \(D^*S^2\) so that \(\mathbb{C}\mathbb{P}^1\times \mathbb{C}\mathbb{P}^1{{\setminus }}\Delta _{\mathbb{C}\mathbb{P}^1}\) and \(D^*S^2\) are exact symplectomorphic. Thus we will compute the Rabinowitz Floer homology of \(\partial (\mathbb{C}\mathbb{P}^1\times \mathbb{C}\mathbb{P}^1{{\setminus }}\Delta _{\mathbb{C}\mathbb{P}^1})\). In this case,
and thus \((\mathbb{C}\mathbb{P}^1 \times \mathbb{C}\mathbb{P}^1, \Delta _{\mathbb{C}\mathbb{P}^1})\) meets the assumption of Theorem 1.1. Moreover, the degree of the formal variable T in \(\Lambda =\mathbb {Z}[T,T^{-1}]\) equals 2. We choose a lacunary Morse function \(f:\Delta _{\mathbb{C}\mathbb{P}^1}\rightarrow \mathbb {R}\) such that \(\textrm{Crit}f=\{p^0,p^1\}\) with \({\text {ind}}_f(p^i)=2i\). Then the chain module \(\textrm{MC}_*(f;\Lambda )\) is isomorphic to \(\mathbb {Z}\oplus \mathbb {Z}\) in every even degree, and hence the same holds for the homology \(\textrm{H}_*(\Delta _{\mathbb{C}\mathbb{P}^1};\Lambda )\). More precisely,
The connecting map \(\delta \) in (6.2) at chain level consists of two parts. The contribution given by the quantum cap product with \(e_{S^*S^2}=-[\omega ]\) is
and the other contribution given by the number of holomorphic spheres in \(\mathbb{C}\mathbb{P}^1\times \mathbb{C}\mathbb{P}^1\) intersecting \(\Delta _{\mathbb{C}\mathbb{P}^1}\) and homologous to \(\mathbb{C}\mathbb{P}^1\times \{\textrm{pt}\}\) or \(\{\textrm{pt}\}\times \mathbb{C}\mathbb{P}^1\) is
as computed in [44, Section 11]. Therefore
where the vertical isomorphisms are given by (6.3). This together with the exact sequence in (6.2) implies that
6.1.2 Case \(n\ge 2\): \(S^*S^{n+1}\rightarrow Q^n\)
To describe the ring structure, we denote by \(h\in \textrm{H}_{2n-2}(Q^n;\mathbb {Z})\) the hyperplane class and by \(\bullet \) the intersection product. For \(n=2m+1\) odd, the homology of \(Q^n\) is generated by
where a is a generator of \(\textrm{H}_{2m}(Q^{2m+1};\mathbb {Z})\) satisfying \(h^{\bullet (m+1)}=2a\). For \(n=2\,m\) even,
where generators a and b in degree 2m can be chosen to satisfy \(h^{\bullet m}=a+b\) and \(a\bullet h=b\bullet h\). In both odd and even dimensional cases, \(h^{\bullet 0}=[Q^n]\) is the fundamental class and \(a\bullet h^{\bullet m}=[\textrm{pt}]\) is the point class, see [58, 95].
The quantum product structure on \({\textrm{H}}_*(Q^n;\Lambda )\) is fully revealed in [17], see also [22, Section 6.3]. Here we only recall the necessary information, namely the relation involving the Euler class \(e_{S^*S^{n+1}}\) of \(S^*S^{n+1}\rightarrow Q^n\). We denote by \(*\) the quantum intersection product on \({\textrm{H}}_*(Q^n;\Lambda )\). Since \(e_{S^*S^{n+1}}=-[\omega ]\) is the negative generator in \(\textrm{H}^2(Q^n;\mathbb {Z})\) by (6.1), it equals \(-\textrm{PD}(h)\) and we need to understand the map \(*(-h)\), the multiplication by \(-h\). The variable T in \(\Lambda =\mathbb {Z}[T,T^{-1}]\) has degree 2n since \(c_1^{TQ^n}(\pi _2(Q^n))=n\omega (\pi _2(Q^n))=n\mathbb {Z}\). Therefore, \(*h\) is equal to \(\bullet h\) except degrees 0 and 2 in \(\textrm{H}_*(Q^n;\mathbb {Z})\). Moreover, in both odd and even dimensional cases, it holds that
where \(m=\lfloor n/2\rfloor \) as above.
We first consider the case that \(n=2m+1\) is odd. Then \(h^{*(m + 1)}=h^{\bullet (m + 1)}=2a\) implies that for all \(j\in \mathbb {Z}\)
and thus by (6.2)
Next, (6.4) and \([Q^n]*h=[Q^n]\bullet h=h\) yield
and hence by (6.2) again
Finally, in all other degrees, \(*(-h):\textrm{H}_i(Q^n;\Lambda )\rightarrow \textrm{H}_{i-2}(Q^n;\Lambda )\) is an isomorphism, and therefore \(\textrm{SH}_*(S^*S^{n+1})\) is nonzero only in the above three cases by (6.2). We have computed
The other case that \(n=2m\) is even can be treated similarly. Using \(h^{*m}=h^{\bullet m}=a+b\) and \(a\bullet h =b\bullet h=a*h=b*h\), we compute that for all \(j\in \mathbb {Z}\)
and thus by (6.2)
As in the previous case, (6.4) and \([Q^n]*h=[Q^n]\bullet h=h\) yield
and hence by (6.2) again
Finally, in all other degrees, \(*(-h):\textrm{H}_i(Q^n;\Lambda )\rightarrow \textrm{H}_{i-2}(Q^n;\Lambda )\) is an isomorphism, and therefore \(\textrm{SH}_*(S^*S^{n+1})\) is nonzero only in the above four cases by (6.2). We have computed
Remark 6.1
The Rabinowitz Floer homology of \(S^*S^n\) for \(n\ge 4\) was computed in [64]. More generally, the Rabinowitz Floer homology of the unit cotangent bundle of a closed manifold N is computed in [2, 40] in terms of the homology and the cohomology of the free loop space of N. One can readily check that \(\textrm{SH}_*(S^*S^n)\) computed in this way indeed agrees with our computations.
6.2 Complements of projective hypersurfaces
In this section, we compute the Rabinowitz Floer homology of the complements of smooth projective hypersurfaces \(\Sigma ^n_d\) of degree \(d = 1, \dots , n+1\) in \(\mathbb{C}\mathbb{P}^{n + 1}\) using Theorem 1.1. Since \(c_1^{T\mathbb{C}\mathbb{P}^{n+1}}=(n+2)[\omega _{\textrm{FS}}]\) and \([\Sigma _d^{n}]=\textrm{PD}(d[\omega _{\textrm{FS}}])\), the assumptions of Theorem 1.1 are satisfied. We note that projective hypersurfaces in \(\mathbb{C}\mathbb{P}^{n+1}\) of the same degree are isomorphic due to Moser’s argument. First, we show that the Rabinowitz Floer homology vanishes when \(d = 1\). Next, we provide computations when hypersurfaces are quadrics \(Q^n\), i.e. \(d = 2\).
Then, we provide computations for general hypersurfaces of degree \(d = 3, \dots , n\). Finally, we show that the Rabinowitz Floer homology also vanishes for \(d = n + 1\). We note that the map \(\delta _c\) is nonzero in the case \(d=1\) and \(n=0\) and the case \(d=n+1\).
6.2.1 Case \(d = 1\)
Let \(\Sigma ^n_1 \subset (\mathbb{C}\mathbb{P}^{n + 1}, \omega _{\textrm{FS}})\) denote a smooth projective hypersurface of degree 1. In this case, \(\Sigma _1^n\) and \(\mathbb{C}\mathbb{P}^{n + 1} {{\setminus }} \Sigma ^n_1\) are symplectomorphic to \(\mathbb{C}\mathbb{P}^n\) and an open ball in \(\mathbb {C}^{n+1}\). Thus we already know that \(\textrm{SH}_*(\mathbb{C}\mathbb{P}^{n + 1} {{\setminus }} \Sigma ^n_1)\) vanishes. We give an alternative proof using Theorem 1.1. We deal with the cases \(n \ge 1\) and \(n = 0\) separately.
Let \(n = 0\). Then, \(\Sigma ^{0}_1 \subset \mathbb{C}\mathbb{P}^1\) is a point, \(\textrm{H}_*(\Sigma ^{0}_1;\Lambda )\cong \Lambda =\mathbb {Z}[T,T^{-1}]\) with \(\deg T=2\), and both \(\delta _a\) and \(\delta _b\) vanish. On the other hand, there is exactly one unparametrized holomorphic sphere passing through \(\Sigma ^{0}_1\), which contributes to the map \(\delta _c\) in the Floer Gysin sequence as multiplication by \(T^{-1}\), see (5.16). Therefore, \(\delta _*=(\delta _c)_*\) in the Floer Gysin exact sequence is an isomorphism and
Let \(n \ge 1\). The homology of \(\Sigma ^n_1\cong \mathbb{C}\mathbb{P}^n\) is given by
where h stands for the hyperplane class, \(\deg T=2(n+1)\), and the quantum intersection product relations are given by \( h^{*i}=h^{\bullet i}\) for \(i=0,\dots ,n\) and \(h^{*(n+1)}=h^{\bullet 0}T^{-1}\), where \(h^{\bullet 0}=[\Sigma ^n_1]\), see [70, Example 11.1.12]. In this case, \(\delta _c\) vanishes by Lemma 5.6. Thus the connecting map \(\delta _*\) in the Floer Gysin sequence (5.17) is the quantum cap product with \(-[\omega _{\textrm{FS}}]\), or equivalently the quantum intersection product with \(-h\). Therefore, \(\delta _*=(\delta _a)_*+(\delta _b)_*\) in the Floer Gysin exact sequence is an isomorphism and
6.2.2 Case \(d = 2\) with \(n\ge 2\)
We now consider smooth hypersurfaces \(\Sigma _2^n\subset \mathbb{C}\mathbb{P}^{n+1}\) of degree 2 for \(n\ge 2\). The case \(n = 1\) will be treated in Sect. 6.2.4 below. We write \(Q^n=\Sigma _2^n\) following the notation in Sect. 6.1. Since \(\deg T = 2n\), hence \(\textrm{H}_*(Q^n; \Lambda )\) vanishes in odd degrees, and the Floer Gysin sequence splits into
By Lemma 5.6 or (5.16), the map \(\delta _c\) vanishes, and \(\delta _*\) equals the quantum cap product with \(-2[\omega ]\), or equivalently the quantum intersection product with \(-2\,h\), where \(h\in \textrm{H}_{2n-2}(Q^n;\mathbb {Z})\) denotes the hyperplane class as before.
Let \(n=2m+1\) be odd. Adapting computations made in Sect. 6.1, we obtain
for all \(k\in \mathbb {Z}{\setminus }(n\mathbb {Z}+\{-1,0,m\})\) and for all \(j\in \mathbb {Z}\). Then (6.5) yields
Similarly, we have
and (6.5) implies that for all \(j \in {\mathbb {Z}}\),
We have computed for odd \(n\ge 2\)
In particular, \(\textrm{SH}_* (\partial ( \mathbb{C}\mathbb{P}^{n+1}{\setminus } Q^n))\) is nonzero for all even degrees.
Next, let \(n=2m\) be even. Due to computations in Sect. 6.1, we have
for all \(k \in \mathbb {Z} {\setminus } (m \mathbb {Z}+\{-1, 0\})\). Then (6.5) yields
In addition, the computation
and (6.5) imply that for all \(j \in {\mathbb {Z}}\),
We have computed for even \(n\ge 2\)
In particular, \(\textrm{SH}_* (\partial ( \mathbb{C}\mathbb{P}^{n+1}{\setminus } Q^n))\) is nonzero for all odd degrees.
6.2.3 Case \(2 \le d \le n\) with \(n \ge 2\)
Now we consider projective hypersurfaces \(\Sigma ^n_d\subset \mathbb{C}\mathbb{P}^{n+1}\) of degree \(d\in \{2,\dots ,n\}\). To simplify computations, we use \(\mathbb {Q}\)-coefficients below. Since \(\textrm{SH}(\cdot ;\mathbb {Q})\cong \textrm{SH}(\cdot )\otimes _\mathbb {Z}\mathbb {Q}\) and tensoring \(\mathbb {Q}\) is an exact functor, we have the Floer Gysin sequence with \(\mathbb {Q}\)-coefficients. Note that the case \(d=2\) was carried out with \(\mathbb {Z}\)-coefficients in the previous section.
The cohomology ring \(\textrm{H}_*(\Sigma ^n_d;\mathbb {Q})\) is generated by the hyperplane section class \(h\in \textrm{H}_{2n-2}(\Sigma ^n_d;\mathbb {Q})\) and primitive classes in \(\textrm{H}_n(\Sigma ^n_d;\mathbb {Q})_0\), i.e. \(\textrm{H}_n(\Sigma ^n_d;\mathbb {Q})_0\) is the kernel of \(\bullet h\). In particular \(\textrm{H}_n(\Sigma ^n_d;\mathbb {Q})=\textrm{H}_n(\Sigma ^n_d;\mathbb {Q})_0 \oplus V\) where \(V=0\) if n is odd and \(V=\mathbb {Q}\langle h^{n/2}\rangle \) otherwise. Since \(c_1^{T\Sigma ^n_d}=(n-d+2)[\omega _\textrm{FS}|_{\Sigma ^n_d}]\), the formal parameter T in \(\Lambda ^\mathbb {Q}=\mathbb {Q}[T,T^{-1}]\) has degree \(2(n-d+2)\). The monotonicity constant \((n-d+2)\) is at least 2 due to the assumption \(2\le d\le n\), and thus \(\delta _c\) vanishes by Lemma 5.6. We abbreviate
The rank of \(\textrm{H}_n(\Sigma ^n_d;\mathbb {Q})\) can be deduced from the Euler characteristic \(\Sigma ^n_d\), see [50], and all \(b_i\) can be explicitly computed. Due to the periodicity given by multiplying \(T^{\pm 1}\), we have \(b_i=b_{i+ 2(n-d+2)}\) for all \(i\in \mathbb {Z}\). The quantum (co)homology ring of \(\Sigma ^n_d\) with \(\mathbb {Q}\)-coefficients was computed in [42, 55]. We recall relations that are relevant to our purpose:
We first consider the case that n is even. Then \(\textrm{H}_*(\Sigma ^n_d;\Lambda ^\mathbb {Q})\) vanishes on all odd degrees, and thus it suffices to study the map \(\delta _* =(\delta _a)_*+(\delta _b)_*= *(-dh)\) in
The exact sequence (6.8) directly implies
Below \(x\equiv y\) means that x equals y modulo \(2(n-d+2)\), and similarly for \(x\not \equiv y\). Using the relations in (6.7), we compute
Note that since \(n\ge d\), or equivalently \(2(n-d+2)\ge 4\), the case \(n\equiv n+2\) does not occur, and any three of \(\{0,n,n+2,2n+2\}\) cannot be simultaneously the same modulo \(2(n-d+2)\).
From (6.9) and (6.10), we conclude for even n
where, in the case of \(n \in 2(n+d-2)\mathbb {Z}\), this should read \(\textrm{SH}_{j}(\partial (\mathbb{C}\mathbb{P}^{n+1}{{\setminus }} \Sigma ^n_d);\mathbb {Q})\cong \mathbb {Q}^{b'+1}\) for \(j \in 2(n-d+2)\mathbb {Z}+\{0,1\}\) and \(\textrm{SH}_{j}(\partial (\mathbb{C}\mathbb{P}^{n+1}{{\setminus }} \Sigma ^n_d);\mathbb {Q})=0\) otherwise.
Next we treat the case that n is odd. In this case, \(\textrm{H}_{i}(\Sigma ^n_d;\Lambda ^\mathbb {Q})=0\) for all odd i except \(i\equiv n\). We look at the following piece of the long exact sequence.
If \(2i\not \equiv n+1\), then \(\textrm{H}_{2i-1}(\Sigma ^n_d;\Lambda ^\mathbb {Q})=0\) and we again have (6.8) and (6.9). If \(2i\equiv n+1\), then \(\textrm{H}_{2i+1}(\Sigma ^n_d;\Lambda ^\mathbb {Q})=0\) and we get
Using the relations in (6.7) again, we compute
Hence, using (6.13) together with (6.9) and (6.12), we conclude for odd n
As before, in the case of \(n+1 \in 2(n-d+2)\mathbb {Z}\), this should read \(\textrm{SH}_{j}(\partial (\mathbb{C}\mathbb{P}^{n+1}{{\setminus }} \Sigma ^n_d);\mathbb {Q})\cong \mathbb {Q}^{b'+1}\) for \(j \in 2(n-d+2)\mathbb {Z}+\{0,1\}\) and \(\textrm{SH}_{j}(\partial (\mathbb{C}\mathbb{P}^{n+1}{{\setminus }} \Sigma ^n_d);\mathbb {Q})=0\) otherwise.
6.2.4 Case \(d = n + 1\)
Finally, we consider projective hypersurfaces \(\Sigma ^n_{n+1}\) of degree \(n+1\) in \(\mathbb{C}\mathbb{P}^{n+1}\) and show that the Rabinowitz Floer homologies of the complements with \(\mathbb {Q}\)-coefficients vanish. As above, we denote \(\textrm{H}_*(\Sigma ^n_{n+1}; {\mathbb {Q}}) \cong \textrm{H}_*(\Sigma ^n_{n+1}; {\mathbb {Q}})_{\mathrm H} \oplus \textrm{H}_n(\Sigma ^n_{n+1}; {\mathbb {Q}})_0\), where the former is generated by the hyperplane section class \(h \in \textrm{H}_{2n - 2}(\Sigma ^n_{n+1})\) and the latter by primitive classes. Since \(K = n+1\), \(\tau _X = n +2\), we have \(\tau _\Sigma = 1\) and the formal parameter T in \(\Lambda ^{{\mathbb {Q}}} = {\mathbb {Q}} [T, T^{-1}]\) has degree 2. Thus all \(\textrm{H}_j(\Sigma ^n_{n + 1}; \Lambda ^{{\mathbb {Q}}})\) for \(j\in 2\mathbb {Z}\) have the same rank, and likewise for \(j\in 2\mathbb {Z}+1\). The quantum relations discovered in [42, 55] relevant to our computation are
Here \(h^{\bullet 0}=[\Sigma ^n_{n+1}]\) is the fundamental class. Following [89, Cor 7.10], we set
where \(\deg x_i=2n-2i-2\) and \(\deg y=0\). These form a basis of \(\textrm{H}_*(\Sigma ^n_{n+1}; \Lambda ^{{\mathbb {Q}}})_{\mathrm H}\) over \(\Lambda ^{{\mathbb {Q}}}\). Then (6.14) read
For \(n = 1\), we ignore the first line of (6.15). Since \(e_Y = -(n + 1) [\omega _\textrm{FS}|_{\Sigma ^n_{n+1}}]\), the map \((\delta _a)_* + (\delta _b)_* \) is the quantum intersection product with \(-(n + 1)h \), see Lemma 5.5. Therefore, due to (6.15), \((\delta _a)_* + (\delta _b)_* \) restricted to \({\textrm{H}_*(\Sigma ^n_{n + 1}; \Lambda ^{{\mathbb {Q}}})_{\textrm{H}}}\) is lower-triangular with nonzero diagonal entries with respect to the basis formed by \(x_i\) and y multiplied with appropriate powers of T:
By the second line of (6.14), we also have \(( (\delta _a)_* + (\delta _b)_* ) |_{\textrm{H}_*(\Sigma ^n_{n + 1}; \Lambda ^{{\mathbb {Q}}})_0} = (n + 1)(n + 1)! \, T^{-1}\textrm{id}\).
In contrast to projective hypersurfaces of degree \( d\in \{2,\dots , n\}\), the map \(\delta _c\) is nonzero. Indeed, for \(B = [\mathbb{C}\mathbb{P}^1] \in \textrm{H}_*(\mathbb{C}\mathbb{P}^{n + 1})\), we have
where the first equality is given by a direct calculation using fibered sum orientation rule, and the second equality is computed in [37, Prop 3.4]. The class \(B = [\mathbb{C}\mathbb{P}^1]\) is the only class satisfying \(c_1^{TX}(B)-K\omega (B) = \omega (B) = 1\). Due to (5.16) and (6.16), we have
Hence, \(\delta _*=(\delta _a)_*+(\delta _b)_*+(\delta _c)_*\) restricted to \(\textrm{H}_*(\Sigma ^n_{n + 1}; \Lambda ^{{\mathbb {Q}}})_{\textrm{H}}\) is also lower-triangular with nonzero diagonal entries:
Moreover, \(\delta _* |_{\textrm{H}_*(\Sigma ^n_{n + 1}; \Lambda ^{{\mathbb {Q}}})_{0}} = (n + 2)! \, T^{-1}\textrm{id}\). Therefore \(\delta _*\) is an isomorphism in every degree, and the Floer Gysin sequence in Theorem 1.1 readily implies
Note that this implies that the symplectic homology of \(\mathbb{C}\mathbb{P}^{n + 1} {\setminus } \Sigma ^n_{n + 1}\) with \(\mathbb {Q}\)-coefficients vanishes as well. We also point out that the above computation shows that the Rabinowitz Floer homology of \(\partial ( \mathbb{C}\mathbb{P}^{n + 1} {\setminus } \Sigma ^n_{n + 1} )\) and thus also the symplectic homology of \(\mathbb{C}\mathbb{P}^{n + 1} {{\setminus }} \Sigma ^n_{n + 1}\) do not vanish with coefficients in \(\mathbb {Z}\) or \(\mathbb {Z}_2\).
6.3 Unit cotangent bundle of \(\mathbb{C}\mathbb{P}^2\)
In the unpublished note [87], Seidel showed that the symplectic homology of \(T^*\mathbb{C}\mathbb{P}^2\) with \(\mathbb {Q}\)-coefficients vanishes. In this section, we provide an alternative proof of this fact using the Floer Gysin exact sequence. Consider \(\mathbb{C}\mathbb{P}^2 \times \mathbb{C}\mathbb{P}^2\) with the symplectic form \(\omega = \omega _{\textrm{FS}} \oplus \omega _{\textrm{FS}}\) and let
Then, \((F_3, \omega |_{F_3})\) is a symplectic submanifold representing \(\textrm{PD}([\omega ])\) in \(\textrm{H}_*(\mathbb{C}\mathbb{P}^2 \times \mathbb{C}\mathbb{P}^2;\mathbb {Z})\) and can be viewed as the full flag manifold consisting of all nested sequences of subspaces in \(\mathbb {C}^3\), see [70, Section 11.3.2]. The singular homology of \(F_3\) with \(\mathbb {Z}\)-coefficients is given by
with relations
Since \(c_1^{T(\mathbb{C}\mathbb{P}^2 \times \mathbb{C}\mathbb{P}^2)} = 3[\omega ]\) and \([F_3]=\textrm{PD}([\omega ])\), we have \(c_1^{TF_3} = 2 \, [\omega |_{F_3}]\). Thus the minimal Chern number of \(F_3\) is equal to 2, and the variable T in \(\Lambda = \mathbb {Z} [T, T^{-1}]\) has \(\deg T = 4\). The quantum (co)homology structures of full flag manifolds are revealed in [56, 65], see also [59, Example 8.2] and [70, Section 11.3.2]. As \([\omega |_{F_3}] = \textrm{PD}(a + b)\), quantum product relations relevant to our purpose are the following.
The complement \(\mathbb{C}\mathbb{P}^2 \times \mathbb{C}\mathbb{P}^2 {\setminus } F_3\) is symplectomorphic to a disk cotangent bundle \(D^*\mathbb{C}\mathbb{P}^2\) of \(\mathbb{C}\mathbb{P}^2\), see [16]. The Rabinowitz Floer homology \(\textrm{SH}_* (S^* \mathbb{C}\mathbb{P}^2)\) of the unit cotangent bundle \(S^* \mathbb{C}\mathbb{P}^2\) of \(\mathbb{C}\mathbb{P}^2\) and the associated Floer Gysin exact sequence exist without reference to Liouville fillings due to Corollary 1.8, see also Remark 5.14. Since \(\textrm{H}_{*}(F_3;\Lambda )\) vanishes in every odd degree, the Floer Gysin exact sequence splits as
Note that it suffices to consider the above two cases \(i=2,4\) since the Floer Gysin sequence is 4-periodic in degree as \(\deg T = 4\). By (6.18), the map \(\delta _* = *( - a - b)\) is given by
with respect to the base \(\left\{ a^{\bullet 2} T, b^{\bullet 2} T, [F_3] \right\} \) and \(\left\{ [\textrm{pt}]T, a, b \right\} \) for the former one and \(\left\{ [\textrm{pt}]T, a, b \right\} \) and \(\left\{ a^{\bullet 2}, b^{\bullet 2}, [F_3] T^{-1} \right\} \) for the latter one. Both are isomorphisms in \(\mathbb {Q}\)-coefficients. Hence,
and the symplectic homology of \(T^* \mathbb{C}\mathbb{P}^2\) with \(\mathbb {Q}\)-coefficients vanishes as well.
Remark 6.2
The case of \(T^*\mathbb{C}\mathbb{P}^2\) is one instance that the isomorphism between the symplectic homology of a cotangent bundle \(T^*N\) and the homology of the free loop space of N constructed in [1, 82, 96] holds after twisting one side by local coefficients (except for \(\mathbb {Z}_2\)-coefficients), see [3].
Similar phenomenon also happens for \(\mathbb{R}\mathbb{P}^2\). The complement \(\mathbb{C}\mathbb{P}^{n+1}{\setminus }\Sigma ^n_{2}\) is symplectomorphic to a disk cotangent bundle over \(\mathbb{R}\mathbb{P}^{n+1}\), see e.g. [16]. Therefore (6.17) implies
and the symplectic homology of \(T^*\mathbb{R}\mathbb{P}^2\) with \(\mathbb {Q}\)-coefficients vanishes.
Data Availability
Data sharing not applicable to this article as no data sets were generated or analyzed during the current study.
Notes
For \(N=1\), this means \(\textrm{ev}_{Z_\Sigma }^{-1}( W^s_{Z_\Sigma }(p) \times W^u_{Z_\Sigma }(q))\).
For \(N=1\), this means \(\textrm{EV}^{-1} \big ( W^s_{Z_\Sigma }(p) \times W^u_{Z_\Sigma }(q) \times \Delta _{\Sigma ^\ell } \big )\).
For \(N = 1\), this means \((\widetilde{\textrm{ev}}_{Z_Y})^{-1} \big ( W^s_{Z_Y}(\tilde{p}) \times W^u_{Z_Y}(\tilde{q}) \big )\).
In the case of \(N=1\), this means \(\widetilde{\textrm{EV}}^{-1} \big ( W^s_{Z_Y} (\tilde{p}) \times W^u_{Z_Y}(\tilde{q}) \times {\Delta }_{(\Sigma \times \mathbb {N})^\ell } \big )\).
For \(N = 1\), or equivalently \(N_H = N_L = 0\), this means \((\widetilde{\textrm{ev}}^c_{Z_Y})^{-1} \big ( W^s_{Z_Y}(\tilde{p}) \times W^u_{Z_Y}(\tilde{q}) \big )\).
If \(N=1\), we ignore \(\Delta _Y^{N-1}\) as usual.
For \(\ell =0\), this means \(\mathcal {M}_{N, \ell =0}(\tilde{q}^L_{k_-},\tilde{p}^H_{k_+}; {\textbf {A}}; H_s;J_X)=\mathcal {M}_{N, \ell =0}^*(\tilde{q}^L_{k_-},\tilde{p}^H_{k_+}; {\textbf {A}}; H_s;J_X)\)
References
Abbondandolo, A., Schwarz, M.: On the Floer homology of cotangent bundles. Comm. Pure Appl. Math. 59(2), 254–316 (2006)
Abbondandolo, A., Schwarz, M.: Estimates and computations in Rabinowitz–Floer homology. J. Topol. Anal. 1(4), 307–405 (2009)
Abouzaid, M.: Symplectic cohomology and Viterbo’s theorem, Free loop spaces in geometry and topology, IRMA Lect. Math. Theor. Phys., vol. 24, Eur. Math. Soc., Zürich, pp. 271–485 (2015)
Albers, P., Kang, J.: Rabinowitz Floer homology of negative line bundles and Floer Gysin sequence. Adv. Math. 431 109252 (2023)
Albers, P., Shelukhin, E., Zapolsky, F.: Spectral invariants for contactomorphisms of prequantization bundles and applications (2016). Video available at: https://www.youtube.com/watch?v=DWel-3BOQrI
Albers, P., Fauenfelder, U.: A variational approach to Givental’s nonlinear Maslov index. Geom. Funct. Anal. 22(5), 1033–1050 (2012)
Albers, P., Hein, D.: Cuplength estimates in Morse cohomology. J. Topol. Anal. 8(2), 243–272 (2016)
Albers, P., Merry, W.J.: Orderability, contact non-squeezing, and Rabinowitz Floer homology. J. Symplect. Geom. 16(6), 1481–1547 (2018)
Albers, P., Fuchs, U., Merry, W.J.: Orderability and the Weinstein conjecture. Compos. Math. 151(12), 2251–2272 (2015)
Albers, P., Gutt, J., Hein, D.: Periodic Reeb orbits on prequantization bundles. J. Mod. Dyn. 12, 123–150 (2018)
Alexander, F.: Ritter, Topological quantum field theory structure on symplectic cohomology. J. Topol. 6(2), 391–489 (2013)
Allais, S.: On the minimal number of translated points in contact lens spaces. Proc. Am. Math. Soc. 150(6), 2685–2693 (2022)
Allais, S.: Morse estimates for translated points on unit tangent bundles (2022). arXiv:2205.13946
Allais, S., Arlove, P.-A.: Spectral selectors and contact orderability (2023). arXiv:2309.10578
Audin, M.: Torus actions on symplectic manifolds, revised ed., Progress in Mathematics, vol. 93, Birkhäuser, Basel (2004)
Audin, M.: Lagrangian skeletons, periodic geodesic flows and symplectic cuttings. Manuscripta Math. 124(4), 533–550 (2007)
Beauville, A.: Quantum cohomology of complete intersections, R.C.P. 25, Vol. 48, Prépubl. Inst. Rech. Math. Av., vol. 1997/42, Univ. Louis Pasteur, Strasbourg, pp. 57–68 (1997)
Bhupal, M.: A partial order on the group of contactomorphisms of \(\mathbb{R} ^{2n+1}\) via generating functions. Turkish J. Math. 25(1), 125–135 (2001)
Biran, P., Cornea, O.: A Lagrangian quantum homology, New perspectives and challenges in symplectic field theory, CRM Proc. Lecture Notes, vol. 49, Amer. Math. Soc., Providence, RI, pp. 1–44 (2009)
Biran, P., Giroux, E.: Symplectic mapping classes and fillings. Unpublished manuscript
Biran, P., Cornea, O.: Quantum structures for Lagrangian submanifolds (2007). arXiv:0708.4221
Biran, P., Cornea, O.: Rigidity and uniruling for Lagrangian submanifolds. Geom. Topol. 13(5), 2881–2989 (2009)
Biran, P., Cieliebak, K.: Symplectic topology on subcritical manifolds. Comment. Math. Helv. 76(4), 712–753 (2001)
Biran, P., Jerby, Y.: The symplectic topology of projective manifolds with small dual. Int. Math. Res. Not. IMRN 19, 4413–4450 (2013)
Biran, P., Khanevsky, M.: A Floer–Gysin exact sequence for Lagrangian submanifolds. Comment. Math. Helv. 88(4), 899–952 (2013)
Bourgeois, F.: A Morse–Bott approach to contact homology, ProQuest LLC, Ann Arbor, MI, Thesis (Ph.D.)–Stanford University (2002)
Bourgeois, F., Oancea, A.: An exact sequence for contact- and symplectic homology. Invent. Math. 175(3), 611–680 (2009)
Bourgeois, F., Oancea, A.: Symplectic homology, autonomous Hamiltonians, and Morse–Bott moduli spaces. Duke Math. J. 146(1), 71–174 (2009)
Cant, D.: Contactomorphisms of the sphere without translated points (2022). arXiv:2210.11002
Cant, D.: Shelukhin’s Hofer distance and a symplectic cohomology barcode for contactomorphisms (2023). arXiv:2309.00529
Casals, R., Presas, F.: On the strong orderability of overtwisted 3-folds. Comment. Math. Helv. 91(2), 305–316 (2016)
Chantraine, B., Colin, V., Dimitroglou, R.: Georgios: positive legendrian isotopies and Floer theory. Ann. Inst. Fourier (Grenoble) 69(4), 1679–1737 (2019)
Chernov, V., Nemirovski, S.: Legendrian links, causality, and the Low conjecture. Geom. Funct. Anal. 19(5), 1320–1333 (2010)
Chiang, R., Ding, F., van Koert, O.: Open books for Boothby–Wang bundles, fibered Dehn twists and the mean Euler characteristic. J. Symplect. Geom. 12(2), 379–426 (2014)
Cieliebak, K.: Handle attaching in symplectic homology and the chord conjecture. J. Eur. Math. Soc. (JEMS) 4(2), 115–142 (2002)
Cieliebak, K., Mohnke, K.: Symplectic hypersurfaces and transversality in Gromov–Witten theory. J. Symplect. Geom. 5(3), 281–356 (2007)
Cieliebak, K., Mohnke, K.: Punctured holomorphic curves and Lagrangian embeddings. Invent. Math. 212(1), 213–295 (2018)
Cieliebak, K., Oancea, A.: Symplectic homology and the Eilenberg–Steenrod axioms. Algebr. Geom. Topol. 18(4), 1953–2130 (2018). (Appendix written jointly with Peter Albers)
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)
Cieliebak, K., Frauenfelder, U., Oancea, A.: Rabinowitz–Floer homology and symplectic homology. Ann. Sci. Éc. Norm. Supér. (4) 43(6), 957–1015 (2010)
Colin, V., Ferrand, E., Pushkar, P.: Positive isotopies of Legendrian submanifolds and applications. Int. Math. Res. Not. IMRN 20, 6231–6254 (2017)
Collino, A., Jinzenji, M.: On the structure of the small quantum cohomology rings of projective hypersurfaces. Comm. Math. Phys. 206(1), 157–183 (1999)
Diogo, L., Lisi, S.T.: Morse–Bott split symplectic homology. J. Fixed Point Theory Appl. 21(3), 77 (2019)
Diogo, L., Lisi, S.T.: Symplectic homology of complements of smooth divisors. J. Topol. 12(3), 967–1030 (2019)
Djordjević, D., Uljarević, I., Zhang, J.: Quantitative characterization in contact Hamiltonian dynamics – I (2023). arXiv:2309.00527
Donaldson, S.K.: Symplectic submanifolds and almost-complex geometry. J. Differ. Geom. 44(4), 666–705 (1996)
Eliashberg, Y., Givental, A., Hofer, H.: Introduction to symplectic field theory, no. Special Volume, Part II, 2000, GAFA 2000 (Tel Aviv), pp. 560–673 (1999)
Eliashberg, Y., Polterovich, L.: Partially ordered groups and geometry of contact transformations. Geom. Funct. Anal. 10(6), 1448–1476 (2000)
Eliashberg, Y., Sang, S.K., Leonid, P.: Geometry of contact transformations and domains: orderability versus squeezing. Geom. Topol. 10, 1635–1747 (2006)
Ewing, J., Moolgavkar, S.: Euler characteristics of complete intersections. Proc. Am. Math. Soc. 56, 390–391 (1976)
Furuta, M.: Morse theory and Thom-Gysin exact sequence, Einstein metrics and Yang–Mills connections (Sanda, 1990). Lecture Notes in Pure and Appl. Math., vol. 145, Dekker, New York, pp. 69–77 (1993)
Geiges, H., Sporbeck, K., Zehmisch, K.: Subcritical polarisations of symplectic manifolds have degree one. Arch. Math. (Basel) 117(2), 227–231 (2021)
Ginzburg, V.L., Gürel, B.Z.: Lusternik–Schnirelmann theory and closed Reeb orbits. Math. Z. 295(1–2), 515–582 (2020)
Giroux, E.: Remarks on Donaldson’s symplectic submanifolds. Pure Appl. Math. Q. 13(3), 369–388 (2017)
Givental, A.: Equivariant Gromov–Witten invariants. Internat. Math. Res. Not. 13, 613–663 (1996)
Givental, A., Kim, B.: Quantum cohomology of flag manifolds and Toda lattices. Comm. Math. Phys. 168(3), 609–641 (1995)
Granja, G., Karshon, Y., Pabiniak, M., Sandon, S.: Givental’s non-linear Maslov index on lens spaces. Int. Math. Res. Not. IMRN 23, 18225–18299 (2021)
Griffiths, P., Harris, J.: Principles of algebraic geometry. Wiley Classics Library, Wiley, New York (1994). (Reprint of the 1978 original)
Guest, M.: Introduction to quantum cohomology. Vietnam J. Math. 33(Special Issue), 29–59 (2005)
He, J.: Correlators and descendants of subcritical Stein manifolds. Internat. J. Math. 24(2), 1350004 (2013)
Hofer, H.: Pseudoholomorphic curves in symplectizations with applications to the Weinstein conjecture in dimension three. Invent. Math. 114(3), 515–563 (1993)
Hofer, H., Salamon, D.A.: Floer homology and Novikov rings, The Floer memorial volume, Progr. Math., vol. 133, Birkhäuser, Basel, pp. 483–524 (1995)
Hofer, H., Wysocki, K., Zehnder, E.: Properties of pseudoholomorphic curves in symplectisations I. Asymptotics. Ann. Inst. H. Poincaré Anal. Non Linéaire 13(3), 337–379 (1996)
Kai, C., Urs, A.F.: A Floer homology for exact contact embeddings. Pacific J. Math. 239(2), 251–316 (2009)
Kim, B.: Quantum cohomology of flag manifolds \(G/B\) and quantum Toda lattices. Ann. Math. (2) 149(1), 129–148 (1999)
Kwon, M., van Koert, O.: Brieskorn manifolds in contact topology. Bull. Lond. Math. Soc. 48(2), 173–241 (2016)
Lerman, E.: Symplectic cuts. Math. Res. Lett. 2(3), 247–258 (1995)
Liu, G.: Positive loops of loose Legendrian embeddings and applications. J. Symplect. Geom. 18(3), 867–887 (2020)
Matthew, S.B., Frol, Z.: Quasimorphisms on contactomorphism groups and contact rigidity. Geom. Topol. 19(1), 365–411 (2015)
McDuff, D., Salamon, D.: \(J\)-holomorphic curves and symplectic topology, second ed., American Mathematical Society Colloquium Publications, vol. 52. American Mathematical Society, Providence, RI (2012)
McDuff, D., Salamon, D.: Introduction to symplectic topology, third ed., Oxford Graduate Texts in Mathematics. Oxford University Press, Oxford (2017)
Meiwes, M., Naef, K.: Translated points on hypertight contact manifolds. J. Topol. Anal. 10(2), 289–322 (2018)
Milin, I.: Orderability of contactomorphism groups of lens spaces, ProQuest LLC, Ann Arbor, MI, Thesis (Ph.D.)–Stanford University (2008)
Oancea, A.: La suite spectrale de Leray-Serre en homologie de Floer des varietes symplectiques compactes a bord de type contact. Université Paris Sud - Paris XI, Theses (2003)
Oancea, A.: The Künneth formula in Floer homology for manifolds with restricted contact type boundary. Math. Ann. 334(1), 65–89 (2006)
Oh, Y.-G.: Contact instantons, anti-contact involution and proof of Shelukhin’s conjecture (2023). arXiv:2212.03557
Oh, Y.-G.: Geometry and analysis of contact instantons and entanglement of legendrian links I (2023). arXiv:2111.02597
Oh, Y.-G.: Relative Floer and quantum cohomology and the symplectic topology of Lagrangian submanifolds, Contact and symplectic geometry (Cambridge, 1994), Publ. Newton Inst., vol. 8, Cambridge Univ. Press, Cambridge, pp. 201–267 (1996)
Opshtein, E.: Polarizations and symplectic isotopies. J. Symplect. Geom. 11(1), 109–133 (2013)
Perutz, T.: A symplectic Gysin sequence (2008). arXiv:0807.1863
Robbin, J., Salamon, D.: The Maslov index for paths. Topology 32(4), 827–844 (1993)
Salamon, D.A., Weber, J.: Floer homology and the heat flow. Geom. Funct. Anal. 16(5), 1050–1138 (2006)
Sandon, S.: Equivariant homology for generating functions and orderability of lens spaces. J. Symplect. Geom. 9(2), 123–146 (2011)
Sandon, S.: On iterated translated points for contactomorphisms of \({\mathbb{R} }^{2n+1}\) and \({\mathbb{R} }^{2n}\times S^1\). Internat. J. Math. 23(2), 1250042 (2012)
Sandon, S.: A Morse estimate for translated points of contactomorphisms of spheres and projective spaces. Geom. Dedicata 165, 95–110 (2013)
Seidel, P.: Floer homology and the symplectic isotopy problem, Thesis (Ph.D.), Oxford University (1997)
Seidel, P.: A remark on the symplectic cohomology of cotangent bundles, after Kragh, informal note (2010)
Shelukhin, E.: The Hofer norm of a contactomorphism. J. Symplect. Geom. 15(4), 1173–1208 (2017)
Sheridan, N.: On the Fukaya category of a Fano hypersurface in projective space. Publ. Math. Inst. Hautes Études Sci. 124, 165–317 (2016)
Tervil, B.: Translated points for contactomorphisms of prequantization spaces over monotone symplectic toric manifolds. J. Symplect. Geom. 19(6), 1421–1493 (2021)
Uebele, P.: Periodic Reeb flows and products in symplectic homology. J. Symplect. Geom. 17(4), 1201–1250 (2019)
Uljarevic, I.: Floer homology of automorphisms of Liouville domains. J. Symplect. Geom. 15(3), 861–903 (2017)
Uljarević, I., Zhang, J.: Hamiltonian perturbations in contact Floer homology. J. Fixed Point Theory Appl. 24(4), 20 (2022)
Usher, M.: Linking and the Morse complex. Ann. Fac. Sci. Toulouse Math. (6) 23(1), 25–94 (2014)
Vanžura, J.: The cohomology of \(\tilde{G}_{m,2}\) with integer coefficients, no. 59, 1999, The 18th Winter School “Geometry and Physics” (Srní), pp. 201–208 (1998)
Viterbo, C.: Functors and computations in Floer homology with applications, Part II (1996). arXiv:1805.01316
Weigel, P.: Orderable contact structures on Liouville-fillable contact manifolds. J. Symplectic Geom. 13(2), 463–496 (2015)
Wendl, C.: Automatic transversality and orbifolds of punctured holomorphic curves in dimension four. Comment. Math. Helv. 85(2), 347–407 (2010)
Will, J.: Merry and Igor Uljarevic, Maximum principles in symplectic homology. Israel J. Math. 229(1), 39–65 (2019)
Zapolsky, F.: Quasi-morphisms on contactomorphism groups and Grassmannians of 2-planes. Geom. Dedicata 207, 287–309 (2020)
Acknowledgements
This work is supported by National Research Foundation of Korea grant NRF-2020R1A5A1016126 and RS-2023-00211186. The research of Sungho Kim is supported by the POSCO Science Fellowship of POSCO TJ Park Foundation. We are grateful to Peter Albers, Urs Frauenfelder, and Otto van Koert for stimulating discussions. We also thank Luís Diogo and Egor Shelukhin for their feedback.
Funding
Open Access funding enabled and organized by Seoul National University.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no Conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Bae, J., Kang, J. & Kim, S. Rabinowitz Floer homology for prequantization bundles and Floer Gysin sequence. Math. Ann. (2024). https://doi.org/10.1007/s00208-024-02878-w
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00208-024-02878-w