Abstract:We show that the category of linearly topologized vector spaces over discrete fields constitutes the correct framework for algebraic structures on Floer homologies with field coefficients. Our case in point is the Poincaré duality theorem for Rabinowitz Floer homology. We prove that Rabinowitz Floer homology is a locally linearly compact vector space in the sense of Lefschetz, or, equivalently, a Tate vector space in the sense of Beilinson-Feigin-Mazur. Poincaré duality and the graded Frobenius algebra structure on Rabinowitz Floer homology then hold in the topological sense. Along the way, we develop in a largely self-contained manner the theory of linearly topologized vector spaces, with special emphasis on duality and completed tensor products, complementing results of Beilinson-Drinfeld, Beilinson, Rojas, Positselski, and Esposito-Penkov.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the properties and algebraic structure of Rabinowitz Floer homology (RFH) in symplectic topology. Specifically, the paper explores how to regard Rabinowitz Floer homology as a Tate vector space and proves that it satisfies the Poincaré duality theorem. The following are the main research contents of the paper:
1. **Tate vector space structure of Rabinowitz Floer homology**:
- The paper first defines the concepts of linear topological vector space and Tate vector space.
- Then it is proved that Rabinowitz Floer homology and cohomology can be regarded as Tate vector spaces, where Rabinowitz Floer cohomology is the topological dual of Rabinowitz Floer homology.
2. **Poincaré duality theorem**:
- The paper proves that Rabinowitz Floer homology satisfies the Poincaré duality theorem in the topological sense.
- Specifically, for any Liouville domain \( V \), there exists a topological isomorphism:
\[
\text{PD}: \text{RFH}^*(\partial V)\cong\text{RFH}^{1 - *}(\partial V)
\]
3. **Algebraic structure**:
- The paper further discusses the graded Frobenius algebra structure on Rabinowitz Floer homology.
- It defines the pair - of - pants product \( \mu \) and the secondary pair - of - pants coproduct \( \lambda \), and proves that these operations are continuous linear maps under the appropriate tensor products.
- Through Poincaré duality, these operations are intertwined with their topological duals \( \lambda_* \) and \( \mu_* \).
4. **Technical details**:
- The paper studies in detail the homomorphisms and bilinear maps of linear topological vector spaces, as well as the completion of tensor products.
- In particular, two natural topologies (* and!) are introduced, and the properties of tensor products are studied under these topologies.
5. **Main results**:
- **Theorem 1.1**: Rabinowitz Floer homology and cohomology are Tate vector spaces, and the cohomology is the topological dual of the homology.
- **Theorem 1.2**: For any Liouville domain \( V \), a certain canonical homomorphism is an isomorphism of Tate vector spaces.
- **Theorem 1.3**: The pair - of - pants product and coproduct define continuous linear maps on Rabinowitz Floer homology, and are intertwined with their topological duals through Poincaré duality.
Through these studies, the paper provides a new framework for Rabinowitz Floer homology, enabling it to maintain good algebraic and topological properties even in the infinite - dimensional case. This not only helps to understand the properties of Rabinowitz Floer homology itself, but also provides new tools for the study of symplectic topology in other infinite - dimensional contexts.