2015/02/28 by Lenhard Ng, Dan Rutherford, Vivek Shende +2 · 2 citations
Mathematics · #math.SG #math.GT
paper · pdf · doi:10.2140/gt.2020.24.2149
published as Geom. Topol. 24 (2020) 2149-2286 · 109 pages; v2: added Legendrian mirror example in section 4.4.4, corrected typos and other minor changes; v3: accepted version
arxiv created 2019/12/08 · arxiv updated 2021/01/01
We show that the set of augmentations of the Chekanov-Eliashberg algebra of a Legendrian link underlies the structure of a unital A-infinity category. This differs from the non-unital category constructed in [BC], but is related to it in the same way that cohomology is related to compactly supported cohomology. The existence of such a category was predicted by [STZ], who moreover conjectured its equivalence to a category of sheaves on the front plane with singular support meeting infinity in the knot. After showing that the augmentation category forms a sheaf over the x-line, we are able to prove this conjecture by calculating both categories on thin slices of the front plane. In particular, we conclude that every augmentation comes from geometry.