Fusion-stable structures on triangulated categories
Yu Qiu, Xiaoting Zhang
TL;DR
This work extends tilting, mutation, and stability theory to a fusion-stable setting by allowing a fusion category $\\mathcal{G}$ to act on triangulated categories, and proves a deformation theorem for fusion-stable stability conditions. It then develops fusion-stable tilting theory, exchange graphs, and stability spaces, and shows how fusion-weighted folding provides a uniform way to realize cluster-exchange graphs and hyperplane arrangements in ADE and non-simply laced types. The two main applications show that cluster combinatorics of finite types can be categorified as fusion-stable structures, and that the universal cover of Coxeter-Dynkin hyperplane arrangements arises from the space of fusion-stable stability conditions, yielding a new uniform proof of the $K(\\pi,1)$-conjecture in finite type. Overall, the paper provides a cohesive framework unifying folding, fusion actions, and stability phenomena across quivers, Calabi–Yau completions, and 2-Calabi–Yau categories, with potential impacts on categorification, representation theory, and geometric group theory.
Abstract
Let $\mathcal{G}$ be a fusion category acting on a triangulated category $\mathcal{D}$, in the sense that $\mathcal{D}$ is a $\mathcal{G}$-module category. Our motivation example is fusion-weighted species, which is essentially Heng's construction. We study $\mathcal{G}$-stable tilting, cluster and stability structures on $\mathcal{D}$. In particular, we prove the deformation theorem for $\mathcal{G}$-stable stability conditions. A first application is that Duffield-Tumarkin's categorification of cluster exchange graphs of finite Coxeter-Dynkin type can be naturally realized as fusion-stable cluster exchange graphs. Another application is that the universal cover of the hyperplane arrangements of any finite Coxeter-Dynkin type can be realized as the space of fusion-stable stability conditions for certain ADE Dynkin quiver. This provides an alternative uniform proof of $K(π,1)$-conjecture in the finite Coxeter-Dynkin case.
