Theorem 1.5.1. There is an isomorphism of higher representations .
1.5. Singular curves
Let be a singular oriented curve. We associate to a differential algebra .
The algebra has a basis given by “braids”: these are pairs , where is a set of singular points of and is a homotopy class of smooth oriented paths starting at and ending at a singular point. We require that the end points of and are distinct if .
We define to be the sum over intersection points between paths of the braid obtained by resolving the intersection point.
The composition is or if a number of conditions are satisfied:
- •
- •
the paths are smooth
- •
there are no representatives in the homotopy class of the concatenated paths with fewer intersections than .
A singular curve with a worst ordinary double points gives rise to a sutured surface with an arc decomposition (cf the case of a torus below) and we have : the algebras generalize those of [LiOzTh1, Za].
Given a closed embedding of (resp. ) in avoiding singular points, we construct a higher representation of on . The bimodule has a basis given by braids where one path starts at (resp. ends at ).
Given embeddings of and in as above, we can construct a singular curve by attaching to along . Our results on algebras associated to the gluing of surfaces is a consequence of the more general result below on singular curves.
A version of this result allowing partially oriented singular curves contains as a special case the construction of nil affine Hecke algebras from nil Hecke algebras.
The reconstruction of the partially wrapped Fukaya categories for the torus depicted in §1.3 corresponding to the following decomposition of the corresponding singular curve:
Original source: arXiv:2009.09627v2