Topological constraints on clean Lagrangian intersections from $\mathbb{Q}$-valued augmentations

Abstract

Let $K$ be a knot in ${\mathbb{R}}^3$ which has the $(2,q)$-torus knot for $q\ne \pm 1$ or the figure-eight knot as a component of connected sum. For its conormal bundle $L_K$ in $T^{\ast }{\mathbb{R}}^3$, we show that there is no compactly supported Hamiltonian diffeomorphism $\ddot{I}†$ on $T^{\ast }{\mathbb{R}}^3$ such that $\ddot{I}†(L_K)$ intersects the zero section ${\mathbb{R}}^3$ cleanly along the unknot in ${\mathbb{R}}^3$. Using symplectic field theory, the proof is reduced to studying the augmentation variety $V_{\mathbf{k}}(K)$ of $K$ over a filed $\mathbf{k}$. The key point of this paper is finding an algebraic constraint on $V_{\mathbf{k}}(K)$ which is valid only when $\mathbf{k}$ is not algebraically closed, and the proof is completed by some arithmetic argument with $\mathbf{k}=\mathbb{Q}$.

25 pages, revised following referee's comments, some computations in Section 3.3 are fixed