Abstract categorical residues and duality in Rabinowitz Floer theory

Yuan Gao
2024-12-08
Abstract:Inspired by the simple fact that a compact $n$-dimensional manifold-with-boundary which satisfies Poincaré-Lefschetz duality of dimension $n$ has a boundary which itself satisfies Poincaré duality of dimension $n-1$, we show that the categorical formal punctured neighborhood of infinity, a canonical categorical construction associated to every $A_{\infty}$-category, has a weak proper Calabi-Yau structure of dimension $n-1$ whenever the original $A_{\infty}$-category admits a weak smooth Calabi-Yau structure of dimension $n$. Through the functoriality in Rabinowitz Floer theory, this leads to a chain-level weak proper Calabi-Yau structure on the Rabinowitz Fukaya category of a nondegenerate Liouville manifold, which homotopically perturbs the rigid but restrictive open-string pairing. This proper Calabi-Yau structure is also related to the closed-string Rabinowitz Floer cohomology, to which we construct a geometric map from Hochschild homology of the wrapped Fukaya category with coefficients in the Rabinowitz Fukaya category, comparing the dualities in the open and closed strings.
Symplectic Geometry,Algebraic Topology
What problem does this paper attempt to address?
### Problems the paper attempts to solve The main purpose of this paper is to study the duality in Rabinowitz Floer theory and the residual structure of categorification. Specifically, the author attempts to prove that the Rabinowitz Fukaya category (denoted as \(RW(X)\)) has a weakly proper Calabi - Yau structure under certain conditions. #### Specific problem description 1. **Poincaré Duality**: - In topology, the boundary of a compact n - dimensional manifold with a boundary is itself a closed (n - 1)-dimensional manifold and satisfies Poincaré duality. Inspired by this, the author poses the question: Does the Rabinowitz Fukaya category \(RW(X)\) of a non - degenerate Liouville manifold \(X\) also have a similar duality property? 2. **Weakly proper Calabi - Yau structure**: - The author defines a weakly proper Calabi - Yau structure and proves that if an A∞ - category \(C\) has a weakly smooth Calabi - Yau structure, then its formal neighborhood at infinity \(\hat{C}_\infty\) has a weakly proper Calabi - Yau structure. - Specifically, the author proves that the Rabinowitz Fukaya category \(RW(X)\) of a non - degenerate Liouville manifold \(X\) has a weakly proper Calabi - Yau structure of dimension \(n - 1\) (Theorem 1.2). 3. **Chain - level structure and homological algebra**: - By introducing the concept of categorified residue, the author transforms geometric problems into homological algebra problems. By constructing chain - level A∞ - operations, the author proves that these structures are non - degenerate pairings at the homological level. 4. **Relationship between open strings and closed strings**: - The author explores the relationship between open strings and closed strings, especially the connection between the Rabinowitz Fukaya category and the closed - string Rabinowitz Floer cohomology. The author constructs a geometric map from Hochschild homology to Rabinowitz Floer cohomology and proves that this map is a quasi - isomorphism under certain conditions. ### Main contributions - **Existence of weakly proper Calabi - Yau structure**: The author proves that the Rabinowitz Fukaya category of a non - degenerate Liouville manifold has a weakly proper Calabi - Yau structure, which is an important discovery for higher - order algebraic structures. - **Improvement of chain - level structure**: Compared with previous work, the author provides improved results at the chain - level without assuming finiteness conditions. - **Connection between geometric and algebraic structures**: The author establishes a connection between open - string and closed - string theories, revealing a profound algebraic structural relationship between them. Through the study of these problems, the author not only promotes the development of Rabinowitz Floer theory but also provides a new perspective for further understanding symplectic geometry and Floer homology.