Curves on surfaces and moduli of associative algebras

TL;DR

This paper provides an explicit method to compute the $A_
$-algebra of immersed circles in punctured surfaces within Fukaya categories, classifying certain finite-dimensional algebras as endomorphism algebras of Lagrangian objects.

Contribution

It introduces a finite computational technique for $A_
$-algebras associated with immersed curves and classifies which small algebras can be realized in Fukaya categories of surfaces.

Findings

Explicit computation of $A_
$-products for curves with up to three self-intersections.

All associative algebras of dimension ≤ 4 (except one) are realizable as endomorphism algebras of Lagrangian immersions.

Finite-dimensional algebras with radical square zero arise as endomorphism algebras in Fukaya categories.

Abstract

Given an immersion of a circle in a punctured surface $\Sigma$, we give an explicit (and finite) computation of the $A_\infty$-algebra associated with this curve when viewed as an object in a (relative) Fukaya category of $\Sigma$ in terms of the signed Gauss word recording the double points in a traversal of the curve and the visible polygons that it bounds in $\Sigma$. We illustrate our computational technique by fully determining the $A_\infty$-products for immersions with up to three self-intersections. In particular, it is proved that, over an algebraically closed field, all associative algebras of dimension $\leq 4$, with one exception, can be realized as the (degree 0) endomorphism algebra of some Lagrangian immersion of a circle equipped with a bounding cochain computed in some relative Fukaya category $\mathcal{F}(\Sigma,D)$. We also note that any finite-dimensional algebra with radical square zero arises as the (degree 0) endomorphism algebra of an object in the Fukaya category $\mathcal{F}(\Sigma)$ of some punctured surface $\Sigma$.