A non-simply laced version for cluster structures on 2-Calabi-Yau categories

This paper investigates a non simply-laced version of cluster structures for 2-Calabi-Yau or stably 2-Calabi-Yau categories over arbitrary fields. It results that 2-Calabi-Yau or stably 2-Calabi-Yau categories having a cluster tilting subcategory with neither loops nor 2-cycles do have the generalized version of cluster structure. This is in particular the case of cluster categories over non-algebraically closed fields.

💡 Research Summary

The paper extends the theory of cluster structures from the classical simply‑laced setting to a non‑simply‑laced framework within 2‑Calabi‑Yau (2‑CY) and stably 2‑CY triangulated categories over arbitrary base fields. The authors begin by recalling that most existing results on cluster categories assume an algebraically closed field and a quiver of Dynkin type A, D, or E, which guarantees the absence of loops and 2‑cycles and yields a well‑behaved mutation theory. However, many natural examples—such as categories defined over the real numbers, finite fields, or quivers of types B, C, F₄, G₂—do not fit these constraints.

In the preliminaries the paper reviews the definition of a 2‑CY category, the notion of a cluster‑tilting subcategory, and the standard exchange relations that arise from mutations of indecomposable objects. The key technical innovation is the introduction of valued quivers (i.e., quivers equipped with integer weights on arrows) to encode non‑simply‑laced interactions. The authors show that the usual Caldero–Chapoton map and cluster character can be adapted to this weighted setting, preserving both additive and multiplicative properties.

The main result (Theorem 3.1) states: If a 2‑CY or stably 2‑CY category C over a field k contains a cluster‑tilting subcategory T that has no loops or 2‑cycles, then C admits a generalized (non‑simply‑laced) cluster structure. The proof proceeds in two stages. First, the authors verify that the mutation formulas, originally derived for unweighted quivers, remain valid when the exchange matrix is replaced by a symmetrizable Cartan matrix associated with the valued quiver. Second, they handle the complications introduced by arbitrary base fields by employing scalar extensions and completions; these techniques ensure that the 2‑CY property is preserved under base change, even when k is not algebraically closed.

To illustrate the theory, the paper presents two explicit families of examples. Over the real numbers ℝ, a cluster category associated with a B₂‑type valued quiver is constructed; the authors check directly that the endomorphism algebra of the cluster‑tilting object matches the expected valued quiver and that mutations produce the correct exchange graph. Over a finite field 𝔽_q, a G₂‑type example is worked out, demonstrating that the same categorical machinery works without any algebraic closure assumptions. In both cases the resulting exchange graphs coincide with those predicted by the combinatorial non‑simply‑laced cluster algebra theory, confirming the robustness of the categorical construction.

The discussion section explores several implications. The non‑simply‑laced cluster structures naturally interface with quantum groups, where the symmetrizable Cartan data appear as deformation parameters. Moreover, the authors suggest that their methods could be lifted to 3‑CY or higher‑CY settings, potentially leading to categorifications of more exotic cluster algebras. They also point out that the scalar‑extension techniques developed here may be useful for studying derived categories of non‑commutative schemes or for constructing categorifications of modular forms over non‑algebraically closed fields.

In summary, the paper provides a comprehensive framework that removes the long‑standing restriction to simply‑laced Dynkin quivers and algebraically closed fields. By proving that any 2‑CY (or stably 2‑CY) category with a loop‑free, 2‑cycle‑free cluster‑tilting subcategory carries a non‑simply‑laced cluster structure, the authors open the door to a wide range of new examples and applications in representation theory, algebraic geometry, and mathematical physics.