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 -algebra associated to the -nilpotent slice obtained by counting holomorphic discs which satisfy a suitable conormal condition at infinity in a partial compactification . The space is obtained as the Hilbert scheme of a partial compactification of the -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.
"The symplectic arc algebra is formal." Duke Math. J. 165 (6) 985 - 1060, 15 April 2016. https://doi.org/10.1215/00127094-3449459