We are interested in the 3-Calabi-Yau categories D arising from quivers with potential associated to a triangulated marked surface S (without punctures). We prove that the spherical twist group ST of D is isomorphic to a subgroup (generated by braid twists) of the mapping class group of the decorated marked surface S_Delta. Here S_Delta is the surface obtained from S by decorating with a set of points, where the number of points equals the number of triangles in any triangulations of S. For instance, when S is an annulus, the result implies that the corresponding spaces of stability conditions on D are contractible.
We study derived categories arising from quivers with potential associated to a decorated marked surface S_Delta, in the sense taken in a paper by Qiu. We prove two conjectures from Qiu’s paper in which, under a bijection between certain objects in these categories and certain arcs in S, the dimensions of morphisms between these objects equal the intersection numbers between the corresponding arcs.
We prove that any “finite-type” component of a stability space of a triangulated category is contractible. The motivating example of such a component is the stability space of the Calabi–Yau–N category D(Gamma_N Q) associated to an ADE Dynkin quiver. In addition to showing that this is contractible we prove that the braid group Br(Q) acts freely upon it by spherical twists, in particular that the spherical twist group Br(Gamma_N Q) is isomorphic to Br(Q). This generalises the result of Brav–Thomas for the N=2 case. Other classes of triangulated categories with finite-type components in their stability spaces include locally finite triangulated categories with finite-rank Grothendieck group and discrete derived categories of finite global dimension.
We introduce a homotopy theory of digraphs (directed
graphs) and prove its basic properties, including the relations to
the homology theory of digraphs constructed by the authors in
previous papers. In particular, we prove the homotopy invariance of
homologies of digraphs and the relation between the fundamental
group of the digraph and its first homology group.
The category of (undirected) graphs can be identified by a natural
way with a full subcategory of digraphs. Thus we obtain also
consistent homology and homotopy theories for graphs.