1. Formality of Floer complex of the ideal boundary of hyperbolic knot complement
- Author
-
Seonhwa Kim, Yong-Geun Oh, and Youngjin Bae
- Subjects
Knot complement ,Noncommutative ring ,Degree (graph theory) ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Mathematics::Geometric Topology ,01 natural sciences ,Cohomology ,Combinatorics ,Mathematics - Geometric Topology ,Knot (unit) ,Mathematics - Symplectic Geometry ,Cotangent bundle ,Ideal (ring theory) ,0101 mathematics ,Mathematics::Symplectic Geometry ,Fukaya category ,Mathematics - Abstract
This is a sequel to the authors' article [BKO](arXiv:1901.02239). We consider a hyperbolic knot $K$ in a closed 3-manifold $M$ and the cotangent bundle of its complement $M \setminus K$. We equip $M \setminus K$ with a hyperbolic metric $h$ and its cotangent bundle $T^*(M \setminus K)$ with the induced kinetic energy Hamiltonian $H_h = \frac{1}{2} |p|_h^2$ and Sasakian almost complex structure $J_h$, and associate a wrapped Fukaya category to $T^*(M\setminus K)$ whose wrapping is given by $H_h$. We then consider the conormal $\nu^*T$ of a horo-torus $T$ as its object. We prove that all non-constant Hamiltonian chords are transversal and of Morse index 0 relative to the horo-torus $T$, and so that the structure maps satisfy $\widetilde{\mathfrak m}^k = 0$ unless $k \neq 2$ and an $A_\infty$-algebra associated to $\nu^*T$ is reduced to a noncommutative algebra concentrated to degree 0. We prove that the wrapped Floer cohomology $HW(\nu^*T; H_h)$ with respect to $H_h$ is well-defined and isomorphic to the Knot Floer cohomology $HW(\partial_\infty(M \setminus K))$ that was introduced in [BKO] for arbitrary knot $K \subset M$. We also define a reduced cohomology, denoted by $\widetilde{HW}^d(\partial_\infty(M \setminus K))$, by modding out constant chords and prove that if $\widetilde{HW}^d(\partial_\infty(M \setminus K))\neq 0$ for some $d \geq 1$, then $K$ cannot be hyperbolic. On the other hand, we prove that all torus knots have $\widetilde{HW}^1(\partial_\infty(M \setminus K)) \neq 0$., Comment: 52 pages, 1 figure; v2 57 pages, 2 figures, calculations for torus knots added, abstract and introduction rewritten, mistakes in the statements and proofs of Proposition 2.1 and Lemma 9.4 corrected, old Section 11 moved to Appendix B, typos corrected
- Published
- 2021
- Full Text
- View/download PDF