We study the cluster categories arising from marked surfaces (with punctures and non-empty boundaries). By constructing skewed-gentle algebras, we show that there is a bijection between tagged curves and string objects. Applications include interpreting dimensions of $\operatorname{Ext}^1$ as intersection numbers of tagged curves and Auslander-Reiten translation as tagged rotation. An important consequence is that the cluster(-tilting) exchange graphs of such cluster categories are connected.
This is a survey on the project `Decorated Marked Surfaces', where we introduce the decoration $Δ$ on a marked surfaces $\mathbf{S}$, to study Calabi-Yau-2 (cluster) categories, Calabi-Yau-3 (Fukaya) categories, braid groups for quivers with potential, quadratic differentials and stability conditions.
In this note we explain how to obtain cluster algebras from triangulations of (punctured) discs following the approach of S. Fomin, M. Shapiro and D. Thurston. Furthermore, we give a description of m-cluster categories via diagonals (arcs) in (punctured) polygons and of m-cluster categories via powers of translation quivers as given in joint work with R. Marsh.
It follows from the work of Burban and Drozd arXiv:0905.1231 that for nodal curves $C$, the derived category of modules over the Auslander order $\mathcal{A}_C$ provides a categorical (smooth and proper) resolution of the category of perfect complexes $\mathrm{Perf}(C)$. On the A-side, it follows from the work of Haiden-Katzarkov-Kontsevich arXiv:1409.8611 that for punctured surfaces $X$ with stops $Λ$ at their boundary, the partially wrapped Fukaya category $\mathcal{W}(X,Λ)$ provides a categorical (smooth and proper) resolution of the compact Fukaya category $\mathcal{F}(X)$. Inspired by thi…
We construct continuous Frobenius categories of type $D$. The stable categories of these Frobenius categories are cluster categories which contain the standard cluster categories of type $D_n$. When $n=\infty$, maximal compatible sets of indecomposable objects are laminations of the punctured disk. Discrete laminations are clusters. This new construction is topological and it also gives an algebraic interpretation of the "tagged arcs" which occur in Schiffler's geometric description of clusters of type $D_n$.
Let $\mathbf{S}$ be a graded marked surface. We construct a string model for Calabi-Yau-$\mathbb{X}$ category $\mathcal{D}_\mathbb{X}(\mathbf{S}_\bigtriangleup)$, via the graded DMS (=decorated marked surface) $\mathbf{S}_Δ$. We prove an isomorphism between the braid twist group of $\mathbf{S}_\bigtriangleup$ and the spherical twist group of $\mathcal{D}_\mathbb{X}(\mathbf{S}_\bigtriangleup)$, and $\mathbf{q}$-intersection formulas. We also give a topological realization of the Lagrangian immersion $\mathcal{D}_\infty(\mathbf{S})\to\mathcal{D}_\mathbb{X}(\mathbf{S}_\bigtriangleup)$, where $\ma…
We study extension spaces, cotorsion pairs and their mutations in the cluster category of a marked surface without punctures. Under the one-to-one correspondence between the curves, valued closed curves in the marked surface and the indecomposable objects in the associated cluster category, we prove that the dimension of extension space of two indecomposable objects in the cluster categories equals to the intersection number of the corresponding curves. By using this result, we prove that there are no non-trivial $t-$structures in the cluster categories when the surface is connected. Based on …
In this paper, we show that the repetitive cluster category of type $D_n$, defined as the orbit category $\mathcal{D}^b(\mathrm{mod}K D_n)/(τ^{-1}[1])^p$, is equivalent to a category defined on a subset of tagged edges in a regular punctured polygon. This generalizes the construction of Schiffler, \cite{S}, which we recover when $p=1$.
Given a tagged triangulation of a once-punctured polygon $P^*$ with $n$ vertices, we associate an ice quiver with potential such that the frozen part of the associated frozen Jacobian algebra has the structure of a Gorenstein $K[X]$-order $Λ$. Then we show that the stable category of the category of Cohen-Macaulay $Λ$-modules is equivalent to the cluster category $\mathcal{C}$ of type $D_n$. It gives a natural interpretation of the usual indexation of cluster tilting objects of $\mathcal{C}$ by tagged triangulations of $P^*$. Moreover, it extends naturally the triangulated categorification by …
We show that the m-cluster category of type D_n is equivalent to a certain geometrically-defined category of arcs in a punctured regular nm-m+1-gon. This generalises a result of Schiffler for m=1. We use the notion of the mth power of a translation quiver to realise the m-cluster category in terms of the cluster category.
We study the 3-Calabi-Yau categories $\mathcal{D}$ arising from quivers with potential associated to a decorated marked surface $\mathbf{S}_\bigtriangleup$ introduced by the first author. We prove two conjectures in the prequel, that under a bijection between certain objects in $\mathcal{D}$ and certain arcs in $\mathbf{S}_\bigtriangleup$, the dimensions of morphisms between these objects equal the intersection numbers between the corresponding arcs.
We establish a novel relation between the cluster categories associated with marked surfaces and the topological Fukaya categories of the surfaces. We consider a generalization of the triangulated cluster category of the surface by a $2$-Calabi-Yau extriangulated/exact $\infty$-category, which arises via Amiot's construction from the relative Ginzburg algebra of the triangulated surface. This category is shown to be equivalent to the $1$-periodic version of the topological Fukaya category of the marked surface, as well as to Wu's Higgs category. We classify the cluster tilting objects in this …
In general, the existence of a maximal green sequence is not mutation invariant. In this paper we show that it is in fact mutation invariant for cluster quivers of finite mutation type. In particular, we show that a mutation finite cluster quiver has a maximal green sequence unless it arises from a once-punctured closed marked surface, or one of the two quivers in the mutation class of X7. We develop a procedure to explicitly find maximal green sequences for cluster quivers associated to arbitrary triangulations of closed marked surfaces with at least two punctures. As a corollary, it follows …
In the context of representation theory of finite dimensional algebras, string algebras have been extensively studied and most aspects of their representation theory are well-understood. One exception to this is the classification of extensions between indecomposable modules. In this paper we explicitly describe such extensions for a class of string algebras, namely gentle algebras associated to surface triangulations. These algebras arise as Jacobian algebras of unpunctured surfaces. We relate the extension spaces of indecomposable modules to crossings of arcs in the surface and give explicit…
We construct an injective algebra homomorphism of the quantum group $U_q(\mathfrak{sl}_{n+1})$ into a quantum cluster algebra $\mathbf{L}_n$ associated to the moduli space of framed $PGL_{n+1}$-local systems on a marked punctured disk. We obtain a description of the coproduct of $U_q(\mathfrak{sl}_{n+1})$ in terms of the corresponding quantum cluster algebra associated to the marked twice punctured disk, and express the action of the $R$-matrix in terms of a mapping class group element corresponding to the half-Dehn twist rotating one puncture about the other. As a consequence, we realize the …
We study the algebraic symplectic geometry of multiplicative quiver varieties, which are moduli spaces of representations of certain quiver algebras, introduced by Crawley-Boevey and Shaw, called multiplicative preprojective algebras. They are multiplicative analogues of Nakajima quiver varieties. They include character varieties of (open) Riemann surfaces fixing conjugacy class closures of the monodromies around punctures, when the quiver is "crab-shaped". We prove that, under suitable hypotheses on the dimension vector of the representations, or the conjugacy classes of monodromies in the ch…
We study the Ginzburg dg algebra $Γ_\mathbf{T}$ associated to the quiver with potential arising from a triangulation $\mathbf{T}$ of a decorated marked surface $\mathbf{S}_\bigtriangleup$, in the sense of Qiu. We show that there is a canonical way to identify all finite dimensional derived categories $\mathcal{D}_{fd}(Γ_\mathbf{T})$, denoted by $\mathcal{D}_{fd}(\mathbf{S}_\bigtriangleup)$. As an application, we show that the spherical twist group $\operatorname{ST}(\mathbf{S}_\bigtriangleup)$ associated to $\mathcal{D}_{fd}(\mathbf{S}_\bigtriangleup)$ acts faithfully on its space of stability…
We apply the mechanism of factorization homology to construct and compute category-valued two-dimensional topological field theories associated to braided tensor categories, generalizing the $(0,1,2)$-dimensional part of Crane-Yetter-Kauffman 4D TFTs associated to modular categories. Starting from modules for the Drinfeld-Jimbo quantum group $U_q(\mathfrak g)$ we obtain in this way an aspect of topologically twisted 4-dimensional ${\mathcal N}=4$ super Yang-Mills theory, the setting introduced by Kapustin-Witten for the geometric Langlands program. For punctured surfaces, in particular, we pro…
We identify spaces of half-translation surfaces, equivalently complex curves with quadratic differential, with spaces of stability structures on Fukaya-type categories of punctured surfaces. This is achieved by new methods involving the complete classification of objects in these categories, which are defined in an elementary way. We also introduce a number of tools to deal with surfaces of infinite area, where structures similar to those in cluster algebra appear.
We embed triangulated categories defined by quivers with potential arising from ideal triangulations of marked bordered surfaces into Fukaya categories of quasi-projective 3-folds associated to meromorphic quadratic differentials. Together with previous results, this yields non-trivial computations of spaces of stability conditions on Fukaya categories of symplectic 6-manifolds.
We study triangulated categories which can be modeled by an oriented marked surface $\mathcal{S}$ and a line field $η$ on $\mathcal{S}$. This includes bounded derived categories of gentle algebras and -- conjecturally -- all partially wrapped Fukaya categories introduced by Haiden-Katzarkov-Kontsevich. We show that triangle equivalences between such categories induce diffeomorphisms of the associated surfaces preserving orientation, marked points and line fields up to homotopy. This shows that the pair $(\mathcal{S}, η)$ is a triangle invariant of such categories and prove that it is a complet…
We are interested in the 3-Calabi-Yau categories $\mathcal{D}$ arising from quivers with potential associated to a triangulated marked surface $\mathbf{S}$ (without punctures). We prove that the spherical twist group ST of $\mathcal{D}$ is isomorphic to a subgroup (generated by braid twists) of the mapping class group of the decorated marked surface $\mathbf{S}_{\bigtriangleup}$. Here $\mathbf{S}_{\bigtriangleup}$ is the surface obtained from $\mathbf{S}$ by decorating with a set of decorated points, where the number of points equals the number of triangles in any triangulations of $\mathbf{S}…
We show that all strongly non-degenerate trigonometric solutions of the associative Yang-Baxter equation (AYBE) can be obtained from triple Massey products in the Fukaya category of square-tiled surfaces. Along the way, we give a classification result for cyclic $A_\infty$-algebra structures on a certain Frobenius algebra associated with a pair of 1-spherical objects in terms of the equivalence classes of the corresponding solutions of the AYBE. As an application, combining our results with homological mirror symmetry for punctured tori (cf. arXiv:1601.06141), we prove that any two simple vect…
In this paper, we give a complete classification of cotorsion pairs in a cluster category $\mathscr{C}$ of type $A^\infty_\infty$ via certain configurations of arcs, called $τ$-compact Ptolemy diagrams, in an infinite strip with marked points. As applications, we classify $t$-structures and functorially finite rigid subcategories in $\mathscr{C}$, respectively. We also deduce Liu-Paquette's classification of cluster tilting categories of $\mathscr{C}$ and Ng's classification of torsion pairs in the cluster category of type $A_\infty$.
We compute quantum character varieties of arbitrary closed surfaces with boundaries and marked points. These are categorical invariants $\int_S\mathcal A$ of a surface $S$, determined by the choice of a braided tensor category $\mathcal A$, and computed via factorization homology. We identify the algebraic data governing marked points and boundary components with the notion of a {\em braided module category} for $\mathcal A$, and we describe braided module categories with a generator in terms of certain explicit algebra homomorphisms called {\em quantum moment maps}. We then show that the quan…
Given a certain triangulation of a punctured surface with boundary, we construct a new triangulated surface without punctures which covers it. This new surface is naturally equipped with an action of a group of order two, and its quotient by this action recovers the original surface. We show that the group acts on the quivers with potentials associated to the surfaces, and that their Ginzburg dg algebras are skew group algebras of each other, up to Morita equivalence. We then use these results to construct functors between the generalized cluster categories associated to the triangulations. Th…
Cluster categories and cluster algebras encode two dimensional structures. For instance, the Auslander--Reiten quiver of a cluster category can be drawn on a surface, and there is a class of cluster algebras determined by surfaces with marked points. Cluster characters are maps from cluster categories (and more general triangulated categories) to cluster algebras. They have a tropical shadow in the form of so-called tropical friezes, which are maps from cluster categories (and more general triangulated categories) to the integers. This paper will define higher dimensional tropical friezes. One…
We introduce a new class of finite dimensional gentle algebras, the surface algebras, which are constructed from an unpunctured Riemann surface with boundary and marked points by introducing cuts in internal triangles of an arbitrary triangulation of the surface. We show that surface algebras are endomorphism algebras of partial cluster-tilting objects in generalized cluster categories, we compute the invariant of Avella-Alaminos and Geiss for surface algebras and we provide a geometric model for the module category of surface algebras.
