Cluster exchange groupoids and framed quadratic differentials (Q1985459): Difference between revisions

For a Ginzburg dg algebra \(\Gamma\) associated to a quiver with potential \((Q,W)\), we have the cluster category \(\mathcal{C}(\Gamma) = \operatorname{per} \Gamma/ D_{f d}(\Gamma)\), of which the cluster tilting objects correspond to the vertices of the cluster exchange graph \(\underline{\operatorname{CEG}}(Q)\). A closely related graph is the oriented exchange graph \(\operatorname{EG}^{\circ}(\Gamma)\) whose vertices correspond to silting objects in \(\operatorname{per} \Gamma\). It is a covering of the oriented version \(\operatorname{CEG}(Q)\) of the first exchange graph. This paper introduces an enhancement of these exchange graphs to groupoids \(\mathcal{CEG}(Q)\) and \(\mathcal{EG}^{\circ}(\Gamma)\) by adding some suitable relations. In the case \(\Gamma=\Gamma_T\) arising from a triangulation \(T\) of an unpunctured marked surface \(\mathbf{S}\), it is proved that \(\mathcal{EG}^{\circ}(\Gamma_T)\) is the universal cover of \(\mathcal{CEG}(Q)\). The proof uses a topological model \(\operatorname{EG}^{\mathbb{T}}(\mathbf{S}_{\Delta})\) of \(\operatorname{EG}^{\circ}(\Gamma_T)\) which is associated to the decorated markded surface \(\mathbf{S}_{\Delta}\) and the decoration \(\mathbb{T}\) of \(T\) therein. The exchange graph \(\operatorname{EG}^{\circ}(\Gamma)\) is a skeleton of the principal component \(\operatorname{Stab}^{\circ}(\Gamma)\) of the space of Brideland stability conditions on \(D_{fd}(\Gamma)\). By this fact and the argument explained above, this paper shows that the component \(\operatorname{Stab}^{\circ}(\Gamma)\) is simply connected in the case \(\Gamma=\Gamma_T\) arising from an unpunctured marked surface.