# A wrapped Fukaya category of knot complement

**Authors:** Youngjin Bae, Seonhwa Kim, Yong-Geun Oh

arXiv: 1901.02239 · 2019-03-14

## TL;DR

This paper constructs a wrapped Fukaya category for the cotangent bundle of a knot complement in a 3-manifold, demonstrating its invariance under metric choices and setting the stage for further hyperbolic knot analysis.

## Contribution

It introduces a new wrapped Fukaya category for knot complements, showing its independence from metric adjustments and providing a foundation for hyperbolic knot invariants.

## Key findings

- Category and algebra are independent of metric choices
- Construction applies to hyperbolic knots with specific properties
- Sets the stage for future hyperbolic boundary formality results

## Abstract

This is the first of a series of two articles where we construct a version of wrapped Fukaya category $\mathcal W\mathcal F(M\setminus K;H_{g_0})$ of the cotangent bundle $T^*(M \setminus K)$ of the knot complement $M \setminus K$ of a compact 3-manifold $M$, and do some calculation for the case of hyperbolic knots $K \subset M$. For the construction, we use the wrapping induced by the kinetic energy Hamiltonian $H_{g_0}$ associated to the cylindrical adjustment $g_0$ on $M \setminus K$ of a smooth metric $g$ defined on $M$. We then consider the torus $T = \partial N(K)$ as an object in this category and its wrapped Floer complex $CW^*(\nu^*T;H_{g_0})$ where $N(K)$ is a tubular neighborhood of $K \subset M$. We prove that the quasi-equivalence class of the category and the quasi-isomorphism class of the $A_\infty$ algebra $CW^*(\nu^*T;H_{g_0})$ are independent of the choice of cylindrical adjustments of such metrics depending only on the isotopy class of the knot $K$ in $M$. In a sequel [BKO], we give constructions of a wrapped Fukaya category $\mathcal W\mathcal F(M\setminus K;H_h)$ for hyperbolic knot $K$ and of $A_\infty$ algebra $CW^*(\nu^*T;H_h)$ directly using the hyperbolic metric $h$ on $M \setminus K$, and prove a formality result for the asymptotic boundary of $(M \setminus K, h)$.

## Full text

_Full body text omitted from this summary view._ Fetch the complete paper as Markdown: https://tomesphere.com/paper/1901.02239/full.md

## Figures

3 figures with captions in the complete paper: https://tomesphere.com/paper/1901.02239/full.md

## References

37 references — full list in the complete paper: https://tomesphere.com/paper/1901.02239/full.md

---
Source: https://tomesphere.com/paper/1901.02239