Abstract:Given a closed connected relatively-spin Lagrangian submanifold of a closed symplectic manifold, we associate to it a curved, gapped, filtered $A_{n, K}$-algebra over the Novikov ring with integer coefficients.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: in a closed symplectic manifold, given a closed, connected and relatively spin Lagrangian sub - manifold, how to associate it with a filtered \(A_{\infty}\)-algebra structure with curvature and gap defined on the Novikov ring. Specifically, the author aims to prove that the Morse complex \(CM(f;\Lambda)\) carries a filtered \(A_{\infty}\)-algebra structure with curvature and gap.
The following is the specific description of this problem:
1. **Background setting**:
- Let \((X,\omega)\) be a closed symplectic manifold.
- Let \(\Delta\subset X\) be a closed, connected and relatively spin Lagrangian sub - manifold.
- Fix a Morse - Smale pair \((f,g)\) on \(\Delta\), and denote \(Crit(f)\) as the set of critical points of \(f\).
2. **Definition of the Novikov ring**:
- Define the Novikov ring \(\Lambda:=\Lambda_{0,nov}^{\mathbb{Z}}\) as:
\[
\Lambda := \left\{ \sum_i a_i T^{\lambda_i} e^{n_i}:a_i,n_i\in\mathbb{Z},0\leq\lambda_1\leq\lambda_2\leq\cdots,\lim_{i\rightarrow\infty}\lambda_i = \infty\right\}
\]
where \(T\) and \(e\) are formal variables with degrees 0 and 2 respectively.
3. **Fundamental group and Morse complex**:
- Define \(\Pi(\Delta):=\pi_2(X,\Delta)/\sim\), where \(\alpha\sim\beta\) if and only if \(\omega(\alpha)=\omega(\beta)\) and \(\mu(\alpha)=\mu(\beta)\), here \(\mu:\pi_2(X,\Delta)\to 2\mathbb{Z}\) is the Maslov index.
- Denote \(CM(f;\mathbb{Z}):=\mathbb{Z}\langle Crit(f)\rangle\) as the Morse complex generated by \(Crit(f)\).
4. **Main theorem**:
- The author proves that the Morse complex \(CM(f;\Lambda):=CM(f;\mathbb{Z})\hat{\otimes}_{\mathbb{Z}}\Lambda\) carries a filtered \(A_{\infty}\)-algebra structure \(\{m_k\}_{k\geq0}\) with curvature and gap. Specifically,
\[
m_k=\sum_{\beta\in\Pi(X,\Delta)}m_{k,\beta}T^{\omega(\beta)}e^{\frac{\mu(\beta)}{2}}
\]
where \(m_k:CM(f;\Lambda)^{\otimes k}\to CM(f;\Lambda)\) satisfies the \(A_{\infty}\)-axioms, and \(\hat{\otimes}\) represents the tensor product completion with respect to the \(T\)-adic topology.
Through the solutions to these problems, the author hopes to provide new tools and perspectives for understanding Lagrangian sub - manifolds and their related algebraic structures.