Abstract:For an oriented manifold $M$ and a compact subanalytic Legendrian $\Lambda \subseteq S^*M$, we construct a canonical strong smooth relative Calabi--Yau structure on the microlocalization at infinity and its left adjoint $m_\Lambda^l: \operatorname{\mu sh}_\Lambda(\Lambda) \rightleftharpoons \operatorname{Sh}_\Lambda(M)_0 : m_\Lambda$ between compactly supported sheaves on $M$ with singular support on $\Lambda$ and microsheaves on $\Lambda$. We also construct a canonical strong Calabi-Yau structure on microsheaves $\operatorname{\mu sh}_\Lambda(\Lambda)$. Our approach does not require local properness and hence does not depend on arborealization. We thus obtain a canonical smooth relative Calabi-Yau structure on the Orlov functor for wrapped Fukaya categories of cotangent bundles with Weinstein stops, such that the wrap-once functor is the inverse dualizing bimodule.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct a relative Calabi - Yau structure in the context of microlocalization. Specifically, for an oriented manifold \(M\) and a compact analytic Legendrian subset \(\Lambda\) in its ideal contact boundary \(S^*M\), the author hopes to construct a strongly smooth relative Calabi - Yau structure between the microlocalization at infinity and its left adjoint. In addition, the author also hopes to construct a strongly Calabi - Yau structure on the microsheaves \(\mu sh_\Lambda(\Lambda)\).
### Main contributions
1. **Constructing relative Calabi - Yau structures**:
- The author constructs a strongly smooth relative Calabi - Yau structure between the microlocalization \(m_\Lambda\) and its left adjoint \(ml_\Lambda\).
- The author also constructs a strongly smooth Calabi - Yau structure on the microsheaves \(\mu sh_\Lambda(\Lambda)\).
2. **Not depending on local properties**:
- Different from the previous arborealization method, the method in this paper does not require local regularity and is therefore more general.
3. **Application to partially wrapped Fukaya categories**:
- The author proves that in the partially wrapped Fukaya category, the Orlov functor has a strongly smooth relative Calabi - Yau structure.
### Specific results
- **Theorem 1.1**: For an oriented real - analytic manifold \(M\) and a compact analytic Legendrian subset \(\Lambda\) in its ideal contact boundary \(S^*M\), there exists a strongly smooth relative Calabi - Yau structure between the microlocalization \(m_\Lambda\) and its left adjoint \(ml_\Lambda\).
- **Corollary 1.3**: For an oriented real - analytic manifold \(M\) and a compact analytic Legendrian subset \(\Lambda\) in its ideal contact boundary \(S^*M\), there exists a strongly relative regular Calabi - Yau structure on the microlocalization functor \(m_\Lambda\) at infinity.
- **Corollary 1.4**: For a closed oriented real - analytic manifold \(M\) and a Weinstein hypersurface \(F\) in its ideal contact boundary \(S^*M\), there exists a canonical strongly smooth relative Calabi - Yau structure on the Orlov functor \(\cup F: W(F)\to W(T^*M, F)\).
### Application examples
- **Relative Calabi - Yau structures in topology**:
- For example, pairs such as \(\text{Loc}(\partial M)\leftrightarrows\text{Loc}(M)\) and \(\text{Loc}(S^*_{N}M)\oplus\text{Loc}(\partial M)\leftrightarrows A(M, N)\).
- **Relative Calabi - Yau structures in algebraic geometry**:
- Through homological mirror symmetry, the consistency of relative Calabi - Yau structures between constructive sheaves and coherent sheaves is expected.
### Related work
- **Fukaya categories**: Many studies focus on the Calabi - Yau properties of Fukaya categories, such as the wrapped Fukaya category of non - degenerate Liouville manifolds.
- **Legendrian contact dg algebras**: Some works explore the weakly smooth Calabi - Yau structures of Legendrian contact dg algebras.
In conclusion, this paper provides a new method by constructing relative Calabi - Yau structures.