The symplectic arc algebra is formal

We prove a formality theorem for the Fukaya categories of the symplectic manifolds underlying symplectic Khovanov cohomology over fields of characteristic zero. The key ingredient is the construction of a degree-one Hochschild cohomology class on a Floer A$_\infty$-algebra associated to the ($k$,$k$...

Full description

Saved in:
Bibliographic Details
Main Authors: Abouzaid, Mohammed, Smith, Ivan
Language:English
Published: Duke University Press 2019
Online Access:https://demo7.dspace.org/handle/123456789/469
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We prove a formality theorem for the Fukaya categories of the symplectic manifolds underlying symplectic Khovanov cohomology over fields of characteristic zero. The key ingredient is the construction of a degree-one Hochschild cohomology class on a Floer A$_\infty$-algebra associated to the ($k$,$k$)-nilpotent slice $y_k$ obtained by counting holomorphic discs which satisfy a suitable conormal condition at infinity in a partial compactification $\bar y$$_k$. The space $\bar y$$_k$ is obtained as the Hilbert scheme of a partial compactification of the A$_{2k-1}$-Milnor fiber. A sequel to this paper will prove formality of the symplectic cup and cap bimodules and infer that symplectic Khovanov cohomology and Khovanov cohomology have the same total rank over characteristic zero fields.