Künneth formula in Rabinowitz Floer homology (Q353133): Difference between revisions
From MaRDI portal
Created a new Item |
Normalize DOI. |
||
(9 intermediate revisions by 7 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.1007/s00526-012-0537-9 / rank | |||
Property / review text | |||
Rabinowitz Floer homology (RFH) has become object of study because of its interrelation with the leafwise intersection problem. The paper's main aim is to show the existence of intersection points and to define the RFH for the class of manifolds which are not of contact type. The existence of infinitely many lifewise intersection points is shown by proving the Künneth formula for RFH. Throughout the paper, the coefficients are in \(\mathbb{Z}_{2}\), the authors hope that the Künneth formula holds with \(\mathbb{Z}\)-coefficients. Let \((\Sigma_{1},\lambda_{1})\) and \((\Sigma_{2},\lambda_{2})\) be restricted contact hypersurfaces in exact symplectic manifolds \((M_{1},\omega_{1}=d\lambda_{1})\) and \((M_{2},\omega_{2}=d\lambda_{2})\). Moreover, it is assumed that (i) both hypersurfaces \(\Sigma_{1}\) and \(\Sigma_{2}\) bound a compact region in \(M_{1}\) and \(M_{2}\), respectively, (ii) \(M_{1}\) and \(M_{2}\) are convex at infinity, that is, they are symplectomorphic to the symplectization of a compact contact manifold at infinity. Given \(F_{1}\in C^{\infty}(S^{1}\times M_{1})\), \(F_{2}\in C^{\infty}(S^{1}\times M_{2})\), the operation \[ (F_{1}\oplus F_{2})(t,x,y)=F_{1}(t,x)+F_{2}(t,y),\quad (t,x,y)\in S^{1}\times M_{1}\times M_{2}, \] defines a time-dependent Hamiltonian function \(F_{1}\oplus F_{2}\in C^{\infty}(S^{1}\times M_{1}\times M_{2})\). By considering the projection maps \(\pi_{1}:M_{1}\times M_{2}\rightarrow M_{1}\) and \(\pi_{2}:M_{1}\times M_{2}\rightarrow M_{2}\), on \(M_{1}\times M_{2}\) the symplectic structure \(\omega_{1}\oplus \omega_{2}=\pi^{*}_{1}\omega_{1}+\pi^{*}_{2}\omega_{2}\) is obtained. On \((\Sigma_{1}\times \Sigma_{2},M_{1}\times M_{2})\) a perturbation \(\mathcal{A}^{\overline{H}_{1},\overline{H}_{2}}_{F}\) of the Rabinowitz action functional is considered, as defined in the paper. Taking \(F=0\), the Rabinowitz Floer homology \(\mathrm{HF}(\mathcal{A}^{\overline{H}_{1},\overline{H}_{2}}_{F})\) of \(\mathcal{A}^{\overline{H}_{1},\overline{H}_{2}}_{F}\) can be defined because \(\Sigma_{1}\times \Sigma_{2}\) is a stable submanifold, see [\textit{J. Kang}, ``Generalized Rabinowitz Floer homology and coisotropic intersection'', Int. Math. Res. Not. (2012; \url{doi:10.1093/imrn/rns113})]. It is denoted here by \(\mathrm{RFH}(\Sigma_{1}\times \Sigma_{2},M_{1}\times M_{2})\). Theorem A: The Floer homologies \(\mathrm{RFH}(\Sigma_{1}\times \Sigma_{2},M_{1}\times M_{2})\) and \(\mathrm{HF}(\mathcal{A}^{\overline{H}_{1},\overline{H}_{2}}_{F_{1}\oplus F_{2}})\) are well-defined. Moreover, the following Künneth formula in RFH holds: \[ \mathrm{RFH}(\Sigma_{1}\times \Sigma_{2},M_{1}\times M_{2})\simeq \bigoplus_{p=0}^{n}\mathrm{RFH}_{p}(\Sigma_{1},M_{1})\otimes \mathrm{RFH}_{n-p}(\Sigma_{2},M_{2}). \] (\(\mathrm{RFH}_{p}(\Sigma_{i},M_{i})\) is the RFH for the restricted contact hypersurfaces \(\Sigma_{i}\subset M_{i}\), see [\textit{P. Albers} and \textit{U. Frauenfelder}, J. Topol. Anal. 2, No. 1, 77--98 (2010; Zbl 1196.53050)]). The author calls attention upon the fact that he establishes compactness of gradient flow lines of the Rabinowitz functional only for perturbations of the form \(F=F_{1}\oplus F_{2}\). So, he asks which perturbations have a leafwise intersection point on \((\Sigma_{1}\times \Sigma_{2},M_{1}\times M_{2})\). Theorem B: Let \((M_{2},\omega_{2})\) be a closed and symplectically aspherical manifold. Then, although \(\Sigma_{1}\times M_{2}\) is not a contact hypersurface, the following holds: (i) \(\Sigma_{1}\times M_{2}\) has a leafwise intersection point for \(\phi\in \mathrm{Ham}_{c}(M_{1}\times M_{2},\omega_{1}\oplus\omega_{2})\) with Hofer-norm \(\|\phi\|< \mathcal{P}(\Sigma_{1},\lambda_{1})\) even if \(\Sigma_{1}\) does not bound a compact region im \(M_{1}\). \noindent (ii) The \(\mathrm{RFH}(\Sigma_{1}\times \Sigma_{2},M_{1}\times M_{2})\) \(\mathbb{Z}_{2}\)-module can be defined when \(\Sigma_{1}\) bounds a compact region in \(M_{1}\). Moreover, we have the following Künneth formula: \[ \mathrm{RFH}(\Sigma_{1}\times \Sigma_{2},M_{1}\times M_{2})\simeq \bigoplus_{p=0}^{n}\mathrm{RFH}_{p}(\Sigma_{1},M_{1})\otimes \mathrm{RFH}_{n-p}(M_{2}). \] \noindent As applications, the author proves the following corollaries: \noindent{Corollary A}: Let \(N\) be a closed Riemannian manifold of \(\dim(N)\geq 2\) with \(\dim(H_{*}(\Lambda N))=\infty\) where \(\Lambda N\) is the free loop space of \(N\). Then, there exist infinitely many leafwise intersection points for a generic \(\phi\in \mathrm{Ham}_{c}(T^{*}S^{1}\times T^{*}N)\) on \((S^{*}S^{1}\times S^{*}SN,T^{*}S^{1}\times T^{*}N)\). \noindent {Corollary B}: Let \(M\) be a closed and symplectic aspherical manifold and \(N\) be as above. Then a generic \(\phi\in \mathrm{Ham}_{c}(T^{*}N\times M)\) has infinitely many leafwise intersection points on \((S^{*}N\times M,T^{*}N\times M)\). | |||
Property / review text: Rabinowitz Floer homology (RFH) has become object of study because of its interrelation with the leafwise intersection problem. The paper's main aim is to show the existence of intersection points and to define the RFH for the class of manifolds which are not of contact type. The existence of infinitely many lifewise intersection points is shown by proving the Künneth formula for RFH. Throughout the paper, the coefficients are in \(\mathbb{Z}_{2}\), the authors hope that the Künneth formula holds with \(\mathbb{Z}\)-coefficients. Let \((\Sigma_{1},\lambda_{1})\) and \((\Sigma_{2},\lambda_{2})\) be restricted contact hypersurfaces in exact symplectic manifolds \((M_{1},\omega_{1}=d\lambda_{1})\) and \((M_{2},\omega_{2}=d\lambda_{2})\). Moreover, it is assumed that (i) both hypersurfaces \(\Sigma_{1}\) and \(\Sigma_{2}\) bound a compact region in \(M_{1}\) and \(M_{2}\), respectively, (ii) \(M_{1}\) and \(M_{2}\) are convex at infinity, that is, they are symplectomorphic to the symplectization of a compact contact manifold at infinity. Given \(F_{1}\in C^{\infty}(S^{1}\times M_{1})\), \(F_{2}\in C^{\infty}(S^{1}\times M_{2})\), the operation \[ (F_{1}\oplus F_{2})(t,x,y)=F_{1}(t,x)+F_{2}(t,y),\quad (t,x,y)\in S^{1}\times M_{1}\times M_{2}, \] defines a time-dependent Hamiltonian function \(F_{1}\oplus F_{2}\in C^{\infty}(S^{1}\times M_{1}\times M_{2})\). By considering the projection maps \(\pi_{1}:M_{1}\times M_{2}\rightarrow M_{1}\) and \(\pi_{2}:M_{1}\times M_{2}\rightarrow M_{2}\), on \(M_{1}\times M_{2}\) the symplectic structure \(\omega_{1}\oplus \omega_{2}=\pi^{*}_{1}\omega_{1}+\pi^{*}_{2}\omega_{2}\) is obtained. On \((\Sigma_{1}\times \Sigma_{2},M_{1}\times M_{2})\) a perturbation \(\mathcal{A}^{\overline{H}_{1},\overline{H}_{2}}_{F}\) of the Rabinowitz action functional is considered, as defined in the paper. Taking \(F=0\), the Rabinowitz Floer homology \(\mathrm{HF}(\mathcal{A}^{\overline{H}_{1},\overline{H}_{2}}_{F})\) of \(\mathcal{A}^{\overline{H}_{1},\overline{H}_{2}}_{F}\) can be defined because \(\Sigma_{1}\times \Sigma_{2}\) is a stable submanifold, see [\textit{J. Kang}, ``Generalized Rabinowitz Floer homology and coisotropic intersection'', Int. Math. Res. Not. (2012; \url{doi:10.1093/imrn/rns113})]. It is denoted here by \(\mathrm{RFH}(\Sigma_{1}\times \Sigma_{2},M_{1}\times M_{2})\). Theorem A: The Floer homologies \(\mathrm{RFH}(\Sigma_{1}\times \Sigma_{2},M_{1}\times M_{2})\) and \(\mathrm{HF}(\mathcal{A}^{\overline{H}_{1},\overline{H}_{2}}_{F_{1}\oplus F_{2}})\) are well-defined. Moreover, the following Künneth formula in RFH holds: \[ \mathrm{RFH}(\Sigma_{1}\times \Sigma_{2},M_{1}\times M_{2})\simeq \bigoplus_{p=0}^{n}\mathrm{RFH}_{p}(\Sigma_{1},M_{1})\otimes \mathrm{RFH}_{n-p}(\Sigma_{2},M_{2}). \] (\(\mathrm{RFH}_{p}(\Sigma_{i},M_{i})\) is the RFH for the restricted contact hypersurfaces \(\Sigma_{i}\subset M_{i}\), see [\textit{P. Albers} and \textit{U. Frauenfelder}, J. Topol. Anal. 2, No. 1, 77--98 (2010; Zbl 1196.53050)]). The author calls attention upon the fact that he establishes compactness of gradient flow lines of the Rabinowitz functional only for perturbations of the form \(F=F_{1}\oplus F_{2}\). So, he asks which perturbations have a leafwise intersection point on \((\Sigma_{1}\times \Sigma_{2},M_{1}\times M_{2})\). Theorem B: Let \((M_{2},\omega_{2})\) be a closed and symplectically aspherical manifold. Then, although \(\Sigma_{1}\times M_{2}\) is not a contact hypersurface, the following holds: (i) \(\Sigma_{1}\times M_{2}\) has a leafwise intersection point for \(\phi\in \mathrm{Ham}_{c}(M_{1}\times M_{2},\omega_{1}\oplus\omega_{2})\) with Hofer-norm \(\|\phi\|< \mathcal{P}(\Sigma_{1},\lambda_{1})\) even if \(\Sigma_{1}\) does not bound a compact region im \(M_{1}\). \noindent (ii) The \(\mathrm{RFH}(\Sigma_{1}\times \Sigma_{2},M_{1}\times M_{2})\) \(\mathbb{Z}_{2}\)-module can be defined when \(\Sigma_{1}\) bounds a compact region in \(M_{1}\). Moreover, we have the following Künneth formula: \[ \mathrm{RFH}(\Sigma_{1}\times \Sigma_{2},M_{1}\times M_{2})\simeq \bigoplus_{p=0}^{n}\mathrm{RFH}_{p}(\Sigma_{1},M_{1})\otimes \mathrm{RFH}_{n-p}(M_{2}). \] \noindent As applications, the author proves the following corollaries: \noindent{Corollary A}: Let \(N\) be a closed Riemannian manifold of \(\dim(N)\geq 2\) with \(\dim(H_{*}(\Lambda N))=\infty\) where \(\Lambda N\) is the free loop space of \(N\). Then, there exist infinitely many leafwise intersection points for a generic \(\phi\in \mathrm{Ham}_{c}(T^{*}S^{1}\times T^{*}N)\) on \((S^{*}S^{1}\times S^{*}SN,T^{*}S^{1}\times T^{*}N)\). \noindent {Corollary B}: Let \(M\) be a closed and symplectic aspherical manifold and \(N\) be as above. Then a generic \(\phi\in \mathrm{Ham}_{c}(T^{*}N\times M)\) has infinitely many leafwise intersection points on \((S^{*}N\times M,T^{*}N\times M)\). / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53D40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 37J10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 58J05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6187298 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Rabinowitz Floer homology | |||
Property / zbMATH Keywords: Rabinowitz Floer homology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Künneth formula | |||
Property / zbMATH Keywords: Künneth formula / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Floer homology | |||
Property / zbMATH Keywords: Floer homology / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Celso Melchiades Doria / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963047921 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1006.0810 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: LEAF-WISE INTERSECTIONS AND RABINOWITZ FLOER HOMOLOGY / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Infinitely many leaf-wise intersections on cotangent bundles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spectral invariants in Rabinowitz-Floer homology and global Hamiltonian perturbations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a theorem by Ekeland-Hofer / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rabinowitz Floer Homology: A Survey / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-displaceable contact embeddings and infinitely many leaf-wise intersections / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cup-length estimates for leaf-wise intersections / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ESTIMATES AND COMPUTATIONS IN RABINOWITZ–FLOER HOMOLOGY / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On fixed points of symplectic maps / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4864653 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A contact condition for \(p\)-codimensional submanifolds of a symplectic manifold \((2\leq p\leq n)\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fredholm theory and transversality for the parametrized and for the \(S^{1}\)-invariant symplectic action / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Floer homology for exact contact embeddings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rabinowitz Floer homology and symplectic homology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symplectic topology of Mañé's critical values / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symplectic rigidity, symplectic fixed points, and global perturbations of Hamiltonian systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two symplectic fixed-point theorems with applications to Hamiltonian dynamics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4655871 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Transversality in elliptic Morse theory for the symplectic action / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coisotropic intersections / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Leafwise Coisotropic Intersections / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the topological properties of symplectic maps / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Existence of leafwise intersection points in the unrestricted case / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized Rabinowitz Floer Homology and Coisotropic Intersections / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Rabinowitz Floer homology of twisted cotangent bundles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A fixed point theorem in symplectic geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Künneth formula in Floer homology for manifolds with restricted contact type boundary / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Maslov index for paths / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The homology theory of the closed geodesic problem / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.1007/S00526-012-0537-9 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:10, 9 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Künneth formula in Rabinowitz Floer homology |
scientific article |
Statements
Künneth formula in Rabinowitz Floer homology (English)
0 references
12 July 2013
0 references
Rabinowitz Floer homology (RFH) has become object of study because of its interrelation with the leafwise intersection problem. The paper's main aim is to show the existence of intersection points and to define the RFH for the class of manifolds which are not of contact type. The existence of infinitely many lifewise intersection points is shown by proving the Künneth formula for RFH. Throughout the paper, the coefficients are in \(\mathbb{Z}_{2}\), the authors hope that the Künneth formula holds with \(\mathbb{Z}\)-coefficients. Let \((\Sigma_{1},\lambda_{1})\) and \((\Sigma_{2},\lambda_{2})\) be restricted contact hypersurfaces in exact symplectic manifolds \((M_{1},\omega_{1}=d\lambda_{1})\) and \((M_{2},\omega_{2}=d\lambda_{2})\). Moreover, it is assumed that (i) both hypersurfaces \(\Sigma_{1}\) and \(\Sigma_{2}\) bound a compact region in \(M_{1}\) and \(M_{2}\), respectively, (ii) \(M_{1}\) and \(M_{2}\) are convex at infinity, that is, they are symplectomorphic to the symplectization of a compact contact manifold at infinity. Given \(F_{1}\in C^{\infty}(S^{1}\times M_{1})\), \(F_{2}\in C^{\infty}(S^{1}\times M_{2})\), the operation \[ (F_{1}\oplus F_{2})(t,x,y)=F_{1}(t,x)+F_{2}(t,y),\quad (t,x,y)\in S^{1}\times M_{1}\times M_{2}, \] defines a time-dependent Hamiltonian function \(F_{1}\oplus F_{2}\in C^{\infty}(S^{1}\times M_{1}\times M_{2})\). By considering the projection maps \(\pi_{1}:M_{1}\times M_{2}\rightarrow M_{1}\) and \(\pi_{2}:M_{1}\times M_{2}\rightarrow M_{2}\), on \(M_{1}\times M_{2}\) the symplectic structure \(\omega_{1}\oplus \omega_{2}=\pi^{*}_{1}\omega_{1}+\pi^{*}_{2}\omega_{2}\) is obtained. On \((\Sigma_{1}\times \Sigma_{2},M_{1}\times M_{2})\) a perturbation \(\mathcal{A}^{\overline{H}_{1},\overline{H}_{2}}_{F}\) of the Rabinowitz action functional is considered, as defined in the paper. Taking \(F=0\), the Rabinowitz Floer homology \(\mathrm{HF}(\mathcal{A}^{\overline{H}_{1},\overline{H}_{2}}_{F})\) of \(\mathcal{A}^{\overline{H}_{1},\overline{H}_{2}}_{F}\) can be defined because \(\Sigma_{1}\times \Sigma_{2}\) is a stable submanifold, see [\textit{J. Kang}, ``Generalized Rabinowitz Floer homology and coisotropic intersection'', Int. Math. Res. Not. (2012; \url{doi:10.1093/imrn/rns113})]. It is denoted here by \(\mathrm{RFH}(\Sigma_{1}\times \Sigma_{2},M_{1}\times M_{2})\). Theorem A: The Floer homologies \(\mathrm{RFH}(\Sigma_{1}\times \Sigma_{2},M_{1}\times M_{2})\) and \(\mathrm{HF}(\mathcal{A}^{\overline{H}_{1},\overline{H}_{2}}_{F_{1}\oplus F_{2}})\) are well-defined. Moreover, the following Künneth formula in RFH holds: \[ \mathrm{RFH}(\Sigma_{1}\times \Sigma_{2},M_{1}\times M_{2})\simeq \bigoplus_{p=0}^{n}\mathrm{RFH}_{p}(\Sigma_{1},M_{1})\otimes \mathrm{RFH}_{n-p}(\Sigma_{2},M_{2}). \] (\(\mathrm{RFH}_{p}(\Sigma_{i},M_{i})\) is the RFH for the restricted contact hypersurfaces \(\Sigma_{i}\subset M_{i}\), see [\textit{P. Albers} and \textit{U. Frauenfelder}, J. Topol. Anal. 2, No. 1, 77--98 (2010; Zbl 1196.53050)]). The author calls attention upon the fact that he establishes compactness of gradient flow lines of the Rabinowitz functional only for perturbations of the form \(F=F_{1}\oplus F_{2}\). So, he asks which perturbations have a leafwise intersection point on \((\Sigma_{1}\times \Sigma_{2},M_{1}\times M_{2})\). Theorem B: Let \((M_{2},\omega_{2})\) be a closed and symplectically aspherical manifold. Then, although \(\Sigma_{1}\times M_{2}\) is not a contact hypersurface, the following holds: (i) \(\Sigma_{1}\times M_{2}\) has a leafwise intersection point for \(\phi\in \mathrm{Ham}_{c}(M_{1}\times M_{2},\omega_{1}\oplus\omega_{2})\) with Hofer-norm \(\|\phi\|< \mathcal{P}(\Sigma_{1},\lambda_{1})\) even if \(\Sigma_{1}\) does not bound a compact region im \(M_{1}\). \noindent (ii) The \(\mathrm{RFH}(\Sigma_{1}\times \Sigma_{2},M_{1}\times M_{2})\) \(\mathbb{Z}_{2}\)-module can be defined when \(\Sigma_{1}\) bounds a compact region in \(M_{1}\). Moreover, we have the following Künneth formula: \[ \mathrm{RFH}(\Sigma_{1}\times \Sigma_{2},M_{1}\times M_{2})\simeq \bigoplus_{p=0}^{n}\mathrm{RFH}_{p}(\Sigma_{1},M_{1})\otimes \mathrm{RFH}_{n-p}(M_{2}). \] \noindent As applications, the author proves the following corollaries: \noindent{Corollary A}: Let \(N\) be a closed Riemannian manifold of \(\dim(N)\geq 2\) with \(\dim(H_{*}(\Lambda N))=\infty\) where \(\Lambda N\) is the free loop space of \(N\). Then, there exist infinitely many leafwise intersection points for a generic \(\phi\in \mathrm{Ham}_{c}(T^{*}S^{1}\times T^{*}N)\) on \((S^{*}S^{1}\times S^{*}SN,T^{*}S^{1}\times T^{*}N)\). \noindent {Corollary B}: Let \(M\) be a closed and symplectic aspherical manifold and \(N\) be as above. Then a generic \(\phi\in \mathrm{Ham}_{c}(T^{*}N\times M)\) has infinitely many leafwise intersection points on \((S^{*}N\times M,T^{*}N\times M)\).
0 references
Rabinowitz Floer homology
0 references
Künneth formula
0 references
Floer homology
0 references
0 references
0 references
0 references
0 references