ScalingStacks

1.5. Singular curves

Let ZZ be a singular oriented curve. We associate to ZZ a differential algebra A⁡(Z)=⨁i≥0Ak​(Z)A(Z)=\bigoplus_{i\geq 0}A_{k}(Z).

The algebra Ak​(Z)A_{k}(Z) has a basis given by “braids”: these are pairs (I,([ζi])i∈I)(I,([\zeta_{i}])_{i\in I}), where II is a set of kk singular points of ZZ and [ζi][\zeta_{i}] is a homotopy class of smooth oriented paths starting at ii and ending at a singular point. We require that the end points of ζi\zeta_{i} and ζj\zeta_{j} are distinct if i≠ji\neq j.

We define d⁡(I,([ζi]))d(I,([\zeta_{i}])) to be the sum over intersection points between paths ζi\zeta_{i} of the braid obtained by resolving the intersection point.

The composition (I′,[ζi′′])∘(I,[ζi])(I^{\prime},[\zeta^{\prime}_{i^{\prime}}])\circ(I,[\zeta_{i}]) is 00 or (I,[ζζi​(1)′∘ζi])(I,[\zeta^{\prime}_{\zeta_{i}(1)}\circ\zeta_{i}]) if a number of conditions are satisfied:

  • •

    {ζi​(1)}=I′\{\zeta_{i}(1)\}=I^{\prime}

  • •

    the paths ζζi​(1)′∘ζi\zeta^{\prime}_{\zeta_{i}(1)}\circ\zeta_{i} are smooth

  • •

    there are no representatives in the homotopy class of the concatenated paths with fewer intersections than {ζζi​(1)′∘ζi}i∈I\{\zeta^{\prime}_{\zeta_{i}(1)}\circ\zeta_{i}\}_{i\in I}.

[Uncaptioned image]

A singular curve ZZ with a worst ordinary double points gives rise to a sutured surface F⁡(Z)F(Z) with an arc decomposition (cf the case of a torus below) and we have A⁡(F⁡(Z))=A⁡(Z)A(F(Z))=A(Z): the algebras A⁡(Z)A(Z) generalize those of [LiOzTh1, Za].

[Uncaptioned image]

Given a closed embedding of (0,1](0,1] (resp. [−1,0)[-1,0)) in ZZ avoiding singular points, we construct a higher representation of 𝔤​𝔩​(1|1)+\mathfrak{gl}(1|1)^{+} on A⁡(Z)A(Z). The bimodule EE has a basis given by braids where one path starts at 11 (resp. ends at −1-1).

Given embeddings of [−1,0)[-1,0) and (0,1](0,1] in ZZ as above, we can construct a singular curve Z¯\bar{Z} by attaching [−1,1][-1,1] to ZZ along [−1,0)∪(0,1][-1,0)\cup(0,1]. Our results on algebras associated to the gluing of surfaces is a consequence of the more general result below on singular curves.

0P4K

Theorem 1.5.1. There is an isomorphism of higher representations A⁡(Z¯)→∼Δ​A​(Z)A(\bar{Z})\mathrel{\mathop{\kern 0.0pt\to}\limits^{\sim}}\Delta A(Z).

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:

[Uncaptioned image]

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Andrew Manion, Raphael Rouquier

Original source: arXiv:2009.09627v2